copilot-verifier-4.3: System for verifying the correctness of generated Copilot programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Copilot.Verifier.Examples.ShouldPass.IntOps

Documentation

spec :: Spec Source #

triggerOp1 :: String -> (Stream Int16 -> Stream Int16) -> Stream Int16 -> Spec Source #

triggerOp2 :: String -> (Stream Int16 -> Stream Int16 -> Stream Int16) -> Stream Int16 -> Stream Int16 -> Spec Source #

testOp1 :: (Stream Int16 -> Stream Int16) -> Stream Int16 -> Stream Bool Source #

testOp2 :: (Stream Int16 -> Stream Int16 -> Stream Int16) -> Stream Int16 -> Stream Int16 -> Stream Bool Source #

verifySpec :: Verbosity -> IO () Source #