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

Copilot.Verifier.Examples.ShouldPass.ArrayOfStructs

Documentation

data S Source #

Constructors

S 

Fields

Instances

Instances details
Struct S Source # 
Instance details

Defined in Copilot.Verifier.Examples.ShouldPass.ArrayOfStructs

Methods

typeName :: S -> String #

toValues :: S -> [Value S] #

updateField :: S -> Value t -> S #

Typed S Source # 
Instance details

Defined in Copilot.Verifier.Examples.ShouldPass.ArrayOfStructs

Methods

typeOf :: Type S #

simpleType :: Type S -> SimpleType #

spec :: Spec Source #

verifySpec :: Verbosity -> IO () Source #