Generic Foo Source #
Instance details Defined in Constrained.Examples.Basic Associated Types type Rep Foo ∷ Type → Type Methods from ∷ Foo → Rep Foo x to ∷ Rep Foo x → Foo
Show Foo Source #
Instance details Defined in Constrained.Examples.Basic Methods showsPrec ∷ Int → Foo → ShowS show ∷ Foo → String showList ∷ [Foo] → ShowS
HasSpec Foo Source #
Instance details Defined in Constrained.Examples.Basic Associated Types type TypeSpec Foo Source # type Prerequisites Foo Source # Methods emptySpec ∷ TypeSpec Foo Source # combineSpec ∷ TypeSpec Foo → TypeSpec Foo → Specification Foo Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Foo → GenT m Foo Source # conformsTo ∷ Foo → TypeSpec Foo → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Foo → Foo → [Foo] Source # toPreds ∷ Term Foo → TypeSpec Foo → Pred Source # cardinalTypeSpec ∷ TypeSpec Foo → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Foo → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Foo → BinaryShow Source # monadConformsTo ∷ Foo → TypeSpec Foo → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec Foo → [Foo] → Specification Foo Source # guardTypeSpec ∷ [String] → TypeSpec Foo → Specification Foo Source # prerequisites ∷ Evidence (Prerequisites Foo) Source #
HasSimpleRep Foo Source #
Instance details Defined in Constrained.Examples.Basic Associated Types type SimpleRep Foo Source # type TheSop Foo ∷ [Type] Source # Methods toSimpleRep ∷ Foo → SimpleRep Foo Source # fromSimpleRep ∷ SimpleRep Foo → Foo Source #
Eq Foo Source #
Instance details Defined in Constrained.Examples.Basic Methods (==) ∷ Foo → Foo → Bool (/=) ∷ Foo → Foo → Bool
Ord Foo Source #
Instance details Defined in Constrained.Examples.Basic Methods compare ∷ Foo → Foo → Ordering (<) ∷ Foo → Foo → Bool (<=) ∷ Foo → Foo → Bool (>) ∷ Foo → Foo → Bool (>=) ∷ Foo → Foo → Bool max ∷ Foo → Foo → Foo min ∷ Foo → Foo → Foo
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 TypeSpec Foo = TypeSpec (SimpleRep Foo)
type SimpleRep Foo Source #
Instance details Defined in Constrained.Examples.Basic type SimpleRep Foo = SOP (TheSop Foo)
type TheSop Foo Source #
Instance details Defined in Constrained.Examples.Basic type TheSop Foo = SOPOf (Rep Foo)

fooSpec ∷ Specification Foo Source #

intSpec ∷ Specification (Int, Int) Source #

mapElemKeySpec ∷ Specification Int Source #

intRangeSpec ∷ Int → Specification Int Source #

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

pairSingletonSpec ∷ Specification (Int, Int) Source #

parallelLet ∷ Specification (Int, Int) Source #

letExists ∷ Specification (Int, Int) Source #

letExistsLet ∷ Specification (Int, Int) Source #

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

parallelLetPair ∷ Specification (Int, Int) Source #

existsUnfree ∷ Specification Int Source #

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

basicSpec ∷ Specification Int Source #

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

ifElseBackwards ∷ Specification (Int, Int) Source #

assertReal ∷ Specification Int Source #

assertRealMultiple ∷ Specification (Int, Int) Source #

reifiesMultiple ∷ Specification (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 from ∷ Three → Rep Three x to ∷ Rep Three x → Three
Show Three Source #
Instance details Defined in Constrained.Examples.Basic Methods showsPrec ∷ Int → Three → ShowS show ∷ Three → String showList ∷ [Three] → ShowS
HasSpec Three Source #
Instance details Defined in Constrained.Examples.Basic Associated Types type TypeSpec Three Source # type Prerequisites Three Source # Methods emptySpec ∷ TypeSpec Three Source # combineSpec ∷ TypeSpec Three → TypeSpec Three → Specification Three Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Three → GenT m Three Source # conformsTo ∷ Three → TypeSpec Three → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Three → Three → [Three] Source # toPreds ∷ Term Three → TypeSpec Three → Pred Source # cardinalTypeSpec ∷ TypeSpec Three → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Three → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Three → BinaryShow Source # monadConformsTo ∷ Three → TypeSpec Three → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec Three → [Three] → Specification Three Source # guardTypeSpec ∷ [String] → TypeSpec Three → Specification Three Source # prerequisites ∷ Evidence (Prerequisites Three) Source #
HasSimpleRep Three Source #
Instance details Defined in Constrained.Examples.Basic Associated Types type SimpleRep Three Source # type TheSop Three ∷ [Type] Source # Methods toSimpleRep ∷ Three → SimpleRep Three Source # fromSimpleRep ∷ SimpleRep Three → Three Source #
Eq Three Source #
Instance details Defined in Constrained.Examples.Basic Methods (==) ∷ Three → Three → Bool (/=) ∷ Three → Three → Bool
Ord Three Source #
Instance details Defined in Constrained.Examples.Basic Methods compare ∷ Three → Three → Ordering (<) ∷ Three → Three → Bool (<=) ∷ Three → Three → Bool (>) ∷ Three → Three → Bool (>=) ∷ Three → Three → Bool max ∷ Three → Three → Three min ∷ Three → Three → Three
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 Prerequisites Three = ()
type TypeSpec Three Source #
Instance details Defined in Constrained.Examples.Basic type TypeSpec Three = TypeSpec (SimpleRep Three)
type SimpleRep Three Source #
Instance details Defined in Constrained.Examples.Basic type SimpleRep Three = SOP (TheSop Three)
type TheSop Three Source #
Instance details Defined in Constrained.Examples.Basic type TheSop Three = SOPOf (Rep Three)

trueSpecUniform ∷ Specification Three Source #

three ∷ Specification Three Source #

three' ∷ Specification Three Source #

threeSpecific ∷ Specification Three Source #

threeSpecific' ∷ Specification Three Source #

posNegDistr ∷ Specification Int Source #

ifElseMany ∷ Specification (Bool, Int, Int) Source #

propBack ∷ Specification (Int, Int) Source #

propBack' ∷ Specification (Int, Int) Source #

propBack'' ∷ Specification (Int, Int) Source #

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

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

whenTrueExists ∷ Specification Int Source #

wtfSpec ∷ Specification ([Int], Maybe ((), [Int])) Source #