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

Copilot.Verifier.Examples.ShouldPass.FPOps

Documentation

mkSpecFor :: forall a proxy. (RealFloat a, Typed a) => proxy a -> String -> Spec Source #

spec :: Spec Source #

triggerOp1 :: (RealFloat a, Typed a) => String -> (Stream a -> Stream a) -> Stream a -> Spec Source #

triggerOp2 :: (RealFloat a, Typed a) => String -> (Stream a -> Stream a -> Stream a) -> Stream a -> Spec Source #

testOp1 :: (RealFloat a, Typed a) => (Stream a -> Stream a) -> Stream a -> Stream Bool Source #

testOp2 :: (RealFloat a, Typed a) => (Stream a -> Stream a -> Stream a) -> Stream a -> Stream Bool Source #

verifySpec :: Verbosity -> IO () Source #