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 BaseFn Int Source #

specInt' ∷ Specification BaseFn Int Source #

specProd ∷ Specification BaseFn (Int, Int) Source #

specProd0 ∷ Specification BaseFn (Int, Int) Source #

Exception: Simplifying:

specProd1 ∷ Specification BaseFn (Int, Int) Source #

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

specProd2 ∷ Specification BaseFn (Int, Int) Source #

solverOrder ∷ Specification BaseFn (Int, Int) Source #

solverOrder' ∷ Specification BaseFn (Int, Int) Source #

tightFit0 ∷ Specification BaseFn (Int, Int) Source #

Exception: genFromPreds:

tightFit1 ∷ Specification BaseFn (Int, Int) Source #

booleanExample ∷ Specification BaseFn (Int, Int) Source #

validPVPVersion ∷ Specification BaseFn (Int, Int) Source #

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

sumExample ∷ Specification BaseFn (Either Int Bool) Source #

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

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

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

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

existentials ∷ Specification BaseFn (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

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

BaseUniverse fn ⇒ HasSpec fn FooBarBaz Source # 
Instance details

Defined in Constrained.Examples.CheatSheet

Associated Types

type TypeSpec fn FooBarBaz Source #

type Prerequisites fn FooBarBaz Source #

Methods

emptySpec ∷ TypeSpec fn FooBarBaz Source #

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

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

conformsTo ∷ FooBarBaz → TypeSpec fn FooBarBaz → Bool Source #

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

toPreds ∷ Term fn FooBarBaz → TypeSpec fn FooBarBaz → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn FooBarBaz → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

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

alternateShow ∷ TypeSpec fn FooBarBaz → BinaryShow Source #

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

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

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

prerequisites ∷ Evidence (Prerequisites fn FooBarBaz) Source #

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 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)
type Prerequisites fn FooBarBaz Source # 
Instance details

Defined in Constrained.Examples.CheatSheet

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

Defined in Constrained.Examples.CheatSheet

type TypeSpec fn FooBarBaz = TypeSpec fn (SimpleRep FooBarBaz)

fooBarBaz ∷ Specification BaseFn FooBarBaz Source #

reifyExample ∷ Specification BaseFn (Int, Int) Source #

reifyExample' ∷ Specification BaseFn (Int, Int) Source #

monitorExample ∷ Specification BaseFn (Either Int Int) Source #

prop_monitoring ∷ Property Source #

chooseSpecExample ∷ Specification BaseFn Int Source #

prop_chooseSpec ∷ Property Source #