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

fooSpec ∷ Specification BaseFn Foo Source #

intSpec ∷ Specification BaseFn (Int, Int) Source #

mapElemKeySpec ∷ Specification BaseFn Int Source #

intRangeSpec ∷ Int → Specification BaseFn Int Source #

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

pairSingletonSpec ∷ Specification BaseFn (Int, Int) Source #

parallelLet ∷ Specification BaseFn (Int, Int) Source #

letExists ∷ Specification BaseFn (Int, Int) Source #

letExistsLet ∷ Specification BaseFn (Int, Int) Source #

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

parallelLetPair ∷ Specification BaseFn (Int, Int) Source #

existsUnfree ∷ Specification BaseFn Int Source #

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

basicSpec ∷ Specification BaseFn Int Source #

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

ifElseBackwards ∷ Specification BaseFn (Int, Int) Source #

assertReal ∷ Specification BaseFn Int Source #

assertRealMultiple ∷ Specification BaseFn (Int, Int) Source #

reifiesMultiple ∷ Specification BaseFn (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 Source # Methods from ∷ Three → Rep Three x Source # to ∷ Rep Three x → Three Source #
Show Three Source #
Instance details Defined in Constrained.Examples.Basic Methods showsPrec ∷ Int → Three → ShowS Source # show ∷ Three → String Source # showList ∷ [Three] → ShowS 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 Source # (/=) ∷ Three → Three → Bool Source #
Ord Three Source #
Instance details Defined in Constrained.Examples.Basic Methods compare ∷ Three → Three → Ordering Source # (<) ∷ Three → Three → Bool Source # (<=) ∷ Three → Three → Bool Source # (>) ∷ Three → Three → Bool Source # (>=) ∷ Three → Three → Bool Source # max ∷ Three → Three → Three Source # min ∷ Three → Three → Three 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 # Methods emptySpec ∷ TypeSpec fn Three Source # combineSpec ∷ TypeSpec fn Three → TypeSpec fn Three → Specification fn Three Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Three → GenT m Three Source # conformsTo ∷ Three → TypeSpec fn Three → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn Three → Three → [Three] Source # toPreds ∷ Term fn Three → TypeSpec fn Three → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn Three → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn Three → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn Three → BinaryShow Source # monadConformsTo ∷ Three → TypeSpec fn Three → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn Three → [Three] → Specification fn Three Source # guardTypeSpec ∷ [String] → TypeSpec fn Three → Specification fn Three Source # prerequisites ∷ Evidence (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) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Two" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Three" 'PrefixI 'False) (U1 ∷ Type → Type)))
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)
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 type TypeSpec fn Three = TypeSpec fn (SimpleRep Three)

trueSpecUniform ∷ Specification BaseFn Three Source #

three ∷ Specification BaseFn Three Source #

three' ∷ Specification BaseFn Three Source #

threeSpecific ∷ Specification BaseFn Three Source #

threeSpecific' ∷ Specification BaseFn Three Source #

posNegDistr ∷ Specification BaseFn Int Source #

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

propBack ∷ Specification BaseFn (Int, Int) Source #

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

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

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

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

whenTrueExists ∷ Specification BaseFn Int Source #

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