constrained-generators-0.2.0.0: Framework for generating constrained random data using a subset of first order logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

Constrained.Examples.CheatSheet

Synopsis

Documentation

specInt ∷ Specification Int Source #

specInt' ∷ Specification Int Source #

specProd ∷ Specification (Int, Int) Source #

specProd0 ∷ Specification (Int, Int) Source #

Exception: Simplifying:

specProd1 ∷ Specification (Int, Int) Source #

nested ∷ Specification ((Int, Int), (Int, Int)) Source #

specProd2 ∷ Specification (Int, Int) Source #

solverOrder ∷ Specification (Int, Int) Source #

solverOrder' ∷ Specification (Int, Int) Source #

tightFit0 ∷ Specification (Int, Int) Source #

Exception: genFromPreds:

tightFit1 ∷ Specification (Int, Int) Source #

booleanExample ∷ Specification (Int, Int) Source #

validPVPVersion ∷ Specification (Int, Int) Source #

canFollowExample ∷ Specification ((Int, Int), (Int, Int)) Source #

sumExample ∷ Specification (Either Int Bool) Source #

sumExampleTwo ∷ Specification (Int, Either Int Bool) Source #

setExample ∷ Specification (Set Int, Set Int, Set Int) Source #

forAllFollow0 ∷ Specification ((Int, Int), Set (Int, Int)) Source #

forAllFollow ∷ Specification ((Int, Int), Set (Int, Int)) Source #

existentials ∷ Specification (Set Int, Set Int) Source #

data FooBarBaz Source #

Constructors

Foo Int Int 
Bar Bool 
Baz 

Instances

Instances details
Generic FooBarBaz Source # 
Instance details

Defined in Constrained.Examples.CheatSheet

Associated Types

type Rep FooBarBaz ∷ Type → Type

Methods

from ∷ FooBarBaz → Rep FooBarBaz x

to ∷ Rep FooBarBaz x → FooBarBaz

Show FooBarBaz Source # 
Instance details

Defined in Constrained.Examples.CheatSheet

Methods

showsPrec ∷ Int → FooBarBaz → ShowS

show ∷ FooBarBaz → String

showList ∷ [FooBarBaz] → ShowS

HasSpec FooBarBaz Source # 
Instance details

Defined in Constrained.Examples.CheatSheet

Associated Types

type TypeSpec FooBarBaz Source #

type Prerequisites FooBarBaz Source #

Methods

emptySpec ∷ TypeSpec FooBarBaz Source #

combineSpec ∷ TypeSpec FooBarBaz → TypeSpec FooBarBaz → Specification FooBarBaz Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec FooBarBaz → GenT m FooBarBaz Source #

conformsTo ∷ FooBarBaz → TypeSpec FooBarBaz → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec FooBarBaz → FooBarBaz → [FooBarBaz] Source #

toPreds ∷ Term FooBarBaz → TypeSpec FooBarBaz → Pred Source #

cardinalTypeSpec ∷ TypeSpec FooBarBaz → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec FooBarBaz → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec FooBarBaz → BinaryShow Source #

monadConformsTo ∷ FooBarBaz → TypeSpec FooBarBaz → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec FooBarBaz → [FooBarBaz] → Specification FooBarBaz Source #

guardTypeSpec ∷ [String] → TypeSpec FooBarBaz → Specification FooBarBaz Source #

prerequisites ∷ Evidence (Prerequisites FooBarBaz) Source #

HasSimpleRep FooBarBaz Source # 
Instance details

Defined in Constrained.Examples.CheatSheet

Associated Types

type SimpleRep FooBarBaz Source #

type TheSop FooBarBaz ∷ [Type] Source #

Methods

toSimpleRep ∷ FooBarBaz → SimpleRep FooBarBaz Source #

fromSimpleRep ∷ SimpleRep FooBarBaz → FooBarBaz Source #

Eq FooBarBaz Source # 
Instance details

Defined in Constrained.Examples.CheatSheet

Methods

(==) ∷ FooBarBaz → FooBarBaz → Bool

(/=) ∷ FooBarBaz → FooBarBaz → Bool

type Rep FooBarBaz Source # 
Instance details

Defined in Constrained.Examples.CheatSheet

type Rep FooBarBaz = D1 ('MetaData "FooBarBaz" "Constrained.Examples.CheatSheet" "constrained-generators-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Foo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "Bar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "Baz" 'PrefixI 'False) (U1 ∷ Type → Type)))
type Prerequisites FooBarBaz Source # 
Instance details

Defined in Constrained.Examples.CheatSheet

type Prerequisites FooBarBaz = ()
type TypeSpec FooBarBaz Source # 
Instance details

Defined in Constrained.Examples.CheatSheet

type TypeSpec FooBarBaz = TypeSpec (SimpleRep FooBarBaz)
type SimpleRep FooBarBaz Source # 
Instance details

Defined in Constrained.Examples.CheatSheet

type SimpleRep FooBarBaz = SOP (TheSop FooBarBaz)
type TheSop FooBarBaz Source # 
Instance details

Defined in Constrained.Examples.CheatSheet

type TheSop FooBarBaz = SOPOf (Rep FooBarBaz)

fooBarBaz ∷ Specification FooBarBaz Source #

reifyExample ∷ Specification (Int, Int) Source #

reifyExample' ∷ Specification (Int, Int) Source #

monitorExample ∷ Specification (Either Int Int) Source #

prop_monitoring ∷ Property Source #

chooseSpecExample ∷ Specification Int Source #

prop_chooseSpec ∷ Property Source #