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 # typeSpecOpt ∷ TypeSpec fn Foo → [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 #