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.Basic

Synopsis

Documentation

leqPairSpecification (Int, Int) Source #

sizeAddOrSub4Specification Integer Source #

We expect a negative Integer, so ltSpec tests for that.

orPairSpecification (Int, Int) Source #

data Foo Source #

Constructors

Foo Int 
Bar Int Int 

Instances

Instances details
Generic Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

Associated Types

type Rep Foo ∷ Type → Type

Methods

fromFoo → Rep Foo x

to ∷ Rep Foo x → Foo

Show Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

Methods

showsPrec ∷ Int → Foo → ShowS

showFoo → String

showList ∷ [Foo] → ShowS

HasSpec Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

Associated Types

type TypeSpec Foo Source #

type Prerequisites Foo Source #

HasSimpleRep Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

Associated Types

type SimpleRep Foo Source #

type TheSop Foo ∷ [Type] Source #

Eq Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

Methods

(==)FooFoo → Bool

(/=)FooFoo → Bool

Ord Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

Methods

compareFooFoo → Ordering

(<)FooFoo → Bool

(<=)FooFoo → Bool

(>)FooFoo → Bool

(>=)FooFoo → Bool

maxFooFooFoo

minFooFooFoo

type Rep Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

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

Defined in Constrained.Examples.Basic

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

Defined in Constrained.Examples.Basic

type SimpleRep Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

type TheSop Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

type TheSop Foo = SOPOf (Rep Foo)

intSpecSpecification (Int, Int) Source #

testRewriteSpecSpecification ((Int, Int), (Int, Int)) Source #

reifyYuckySpecification (Int, Int, Int) Source #

canFollowLikeSpecification ((Int, Int), (Int, Int)) Source #

data Three Source #

Constructors

One 
Two 
Three 

Instances

Instances details
Generic Three Source # 
Instance details

Defined in Constrained.Examples.Basic

Associated Types

type Rep Three ∷ Type → Type

Methods

fromThree → Rep Three x

to ∷ Rep Three x → Three

Show Three Source # 
Instance details

Defined in Constrained.Examples.Basic

Methods

showsPrec ∷ Int → Three → ShowS

showThree → String

showList ∷ [Three] → ShowS

HasSpec Three Source # 
Instance details

Defined in Constrained.Examples.Basic

Associated Types

type TypeSpec Three Source #

type Prerequisites Three Source #

HasSimpleRep Three Source # 
Instance details

Defined in Constrained.Examples.Basic

Associated Types

type SimpleRep Three Source #

type TheSop Three ∷ [Type] Source #

Eq Three Source # 
Instance details

Defined in Constrained.Examples.Basic

Methods

(==)ThreeThree → Bool

(/=)ThreeThree → Bool

Ord Three Source # 
Instance details

Defined in Constrained.Examples.Basic

Methods

compareThreeThree → Ordering

(<)ThreeThree → Bool

(<=)ThreeThree → Bool

(>)ThreeThree → Bool

(>=)ThreeThree → Bool

maxThreeThreeThree

minThreeThreeThree

type Rep Three Source # 
Instance details

Defined in Constrained.Examples.Basic

type Rep Three = D1 ('MetaData "Three" "Constrained.Examples.Basic" "constrained-generators-0.2.0.0-inplace" 'False) (C1 ('MetaCons "One" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Two" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Three" 'PrefixI 'False) (U1 ∷ Type → Type)))
type Prerequisites Three Source # 
Instance details

Defined in Constrained.Examples.Basic

type TypeSpec Three Source # 
Instance details

Defined in Constrained.Examples.Basic

type SimpleRep Three Source # 
Instance details

Defined in Constrained.Examples.Basic

type TheSop Three Source # 
Instance details

Defined in Constrained.Examples.Basic

type TheSop Three = SOPOf (Rep Three)

ifElseManySpecification (Bool, Int, Int) Source #

chooseBackwards'Specification ([(Int, [Int])], (Int, [Int])) Source #

wtfSpecSpecification ([Int], Maybe ((), [Int])) Source #