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

sizeAddOrSub4Specification Integer Source #

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

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 FooTypeType #

Methods

fromFooRep Foo x #

toRep Foo x → Foo #

Show Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

Methods

showsPrecIntFooShowS #

showFooString #

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

(==)FooFooBool #

(/=)FooFooBool #

Ord Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

Methods

compareFooFooOrdering #

(<)FooFooBool #

(<=)FooFooBool #

(>)FooFooBool #

(>=)FooFooBool #

maxFooFooFoo #

minFooFooFoo #

type Rep Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

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

data Three Source #

Constructors

One 
Two 
Three 

Instances

Instances details
Generic Three Source # 
Instance details

Defined in Constrained.Examples.Basic

Associated Types

type Rep ThreeTypeType #

Methods

fromThreeRep Three x #

toRep Three x → Three #

Show Three Source # 
Instance details

Defined in Constrained.Examples.Basic

Methods

showsPrecIntThreeShowS #

showThreeString #

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

(==)ThreeThreeBool #

(/=)ThreeThreeBool #

Ord Three Source # 
Instance details

Defined in Constrained.Examples.Basic

Methods

compareThreeThreeOrdering #

(<)ThreeThreeBool #

(<=)ThreeThreeBool #

(>)ThreeThreeBool #

(>=)ThreeThreeBool #

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) (U1TypeType) :+: (C1 ('MetaCons "Two" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Three" 'PrefixI 'False) (U1TypeType)))
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