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

Copilot.Verifier.Examples

Documentation

shouldFailExamples :: Verbosity -> Map (CI Text) (IO ()) Source #

shouldPassExamples :: Verbosity -> Map (CI Text) (IO ()) Source #