copilot-0.21: A lazy-list language for generating constant-time and constant-space C programs. Uses Atom as a backend.

Language.Copilot.Libs.ErrorChks

Description

Basic error checking for other libraries.

Documentation

nOneChk :: String -> Int -> Spec a -> Spec aSource

nPosChk :: String -> Int -> Spec a -> Spec aSource

int16Chk :: String -> Int -> Spec a -> Spec aSource