copilot-0.25: 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 aSource

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