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

Copilot.Verifier.Examples.ShouldPass.Counter

Description

Example showing an implementation of a resettable counter.

Documentation

counter :: (Typed a, Integral a) => Stream Bool -> Stream Bool -> Stream a Source #

bytecounter :: Stream Int32 Source #

resetcounter :: Stream Word32 Source #

bytecounter2 :: Stream Int32 Source #

spec :: Spec Source #

verifySpec :: Verbosity -> IO () Source #