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

Copilot.Verifier.Examples.ShouldPass.Array

Description

This is a simple example for arrays. As a program, it does not make much sense, however it shows of the features of arrays nicely.

Documentation

arr :: Stream (Array 2 Bool) Source #

spec :: Spec Source #

verifySpec :: Verbosity -> IO () Source #