copilot-1.0.2: A stream DSL for writing embedded C monitors.

Language.Copilot.Libs.ErrorChks

Description

Basic error checking for other libraries.

Documentation

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

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

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