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

Methods

fromFooRep Foo x Source #

toRep Foo x → Foo Source #

Show Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

Methods

showsPrecIntFooShowS Source #

showFooString Source #

showList ∷ [Foo] → ShowS 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 Source #

(/=)FooFooBool Source #

Ord Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

Methods

compareFooFooOrdering Source #

(<)FooFooBool Source #

(<=)FooFooBool Source #

(>)FooFooBool Source #

(>=)FooFooBool Source #

maxFooFooFoo Source #

minFooFooFoo Source #

BaseUniverse fn ⇒ HasSpec fn Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

Associated Types

type TypeSpec fn Foo Source #

type Prerequisites fn Foo Source #

type Rep 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 Prerequisites fn Foo Source # 
Instance details

Defined in Constrained.Examples.Basic

type Prerequisites fn Foo = ()
type TypeSpec fn 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 Source #

Methods

fromThreeRep Three x Source #

toRep Three x → Three Source #

Show Three Source # 
Instance details

Defined in Constrained.Examples.Basic

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

(/=)ThreeThreeBool Source #

Ord Three Source # 
Instance details

Defined in Constrained.Examples.Basic

Methods

compareThreeThreeOrdering Source #

(<)ThreeThreeBool Source #

(<=)ThreeThreeBool Source #

(>)ThreeThreeBool Source #

(>=)ThreeThreeBool Source #

maxThreeThreeThree Source #

minThreeThreeThree Source #

BaseUniverse fn ⇒ HasSpec fn Three Source # 
Instance details

Defined in Constrained.Examples.Basic

Associated Types

type TypeSpec fn Three Source #

type Prerequisites fn Three Source #

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 SimpleRep Three Source # 
Instance details

Defined in Constrained.Examples.Basic

type TheSop Three Source # 
Instance details

Defined in Constrained.Examples.Basic

type Prerequisites fn Three Source # 
Instance details

Defined in Constrained.Examples.Basic

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

Defined in Constrained.Examples.Basic