copilot-verifier-4.0: System for verifying the correctness of generated Copilot programs

Safe Haskell	Safe-Inferred
Language	Haskell2010

Copilot.Verifier.Examples.ShouldPass.Heater

Documentation

temp :: Stream Word8 Source #

ctemp :: Stream Float Source #

window :: Int Source #

avgTemp :: Stream Float Source #

spec :: Spec Source #

verifySpec :: Verbosity -> IO () Source #