Generic FooBarBaz Source #
Instance details Defined in Constrained.Examples.CheatSheet Associated Types type Rep FooBarBaz ∷ Type → Type Source # Methods from ∷ FooBarBaz → Rep FooBarBaz x Source # to ∷ Rep FooBarBaz x → FooBarBaz Source #
Show FooBarBaz Source #
Instance details Defined in Constrained.Examples.CheatSheet Methods showsPrec ∷ Int → FooBarBaz → ShowS Source # show ∷ FooBarBaz → String Source # showList ∷ [FooBarBaz] → ShowS Source #
HasSimpleRep FooBarBaz Source #
Instance details Defined in Constrained.Examples.CheatSheet Associated Types type SimpleRep FooBarBaz Source # type TheSop FooBarBaz ∷ [Type] Source # Methods toSimpleRep ∷ FooBarBaz → SimpleRep FooBarBaz Source # fromSimpleRep ∷ SimpleRep FooBarBaz → FooBarBaz Source #
Eq FooBarBaz Source #
Instance details Defined in Constrained.Examples.CheatSheet Methods (==) ∷ FooBarBaz → FooBarBaz → Bool Source # (/=) ∷ FooBarBaz → FooBarBaz → Bool Source #
BaseUniverse fn ⇒ HasSpec fn FooBarBaz Source #
Instance details Defined in Constrained.Examples.CheatSheet Associated Types type TypeSpec fn FooBarBaz Source # type Prerequisites fn FooBarBaz Source # Methods emptySpec ∷ TypeSpec fn FooBarBaz Source # combineSpec ∷ TypeSpec fn FooBarBaz → TypeSpec fn FooBarBaz → Specification fn FooBarBaz Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn FooBarBaz → GenT m FooBarBaz Source # conformsTo ∷ FooBarBaz → TypeSpec fn FooBarBaz → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn FooBarBaz → FooBarBaz → [FooBarBaz] Source # toPreds ∷ Term fn FooBarBaz → TypeSpec fn FooBarBaz → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn FooBarBaz → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn FooBarBaz → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn FooBarBaz → BinaryShow Source # monadConformsTo ∷ FooBarBaz → TypeSpec fn FooBarBaz → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn FooBarBaz → [FooBarBaz] → Specification fn FooBarBaz Source # prerequisites ∷ Evidence (Prerequisites fn FooBarBaz) Source #
type Rep FooBarBaz Source #
Instance details Defined in Constrained.Examples.CheatSheet type Rep FooBarBaz = D1 ('MetaData "FooBarBaz" "Constrained.Examples.CheatSheet" "constrained-generators-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Foo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "Bar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "Baz" 'PrefixI 'False) (U1 ∷ Type → Type)))
type SimpleRep FooBarBaz Source #
Instance details Defined in Constrained.Examples.CheatSheet type SimpleRep FooBarBaz = SOP (TheSop FooBarBaz)
type TheSop FooBarBaz Source #
Instance details Defined in Constrained.Examples.CheatSheet type TheSop FooBarBaz = SOPOf (Rep FooBarBaz)
type Prerequisites fn FooBarBaz Source #
Instance details Defined in Constrained.Examples.CheatSheet type Prerequisites fn FooBarBaz = ()
type TypeSpec fn FooBarBaz Source #
Instance details Defined in Constrained.Examples.CheatSheet type TypeSpec fn FooBarBaz = TypeSpec fn (SimpleRep FooBarBaz)

fooBarBaz ∷ Specification BaseFn FooBarBaz Source #

reifyExample ∷ Specification BaseFn (Int, Int) Source #

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

monitorExample ∷ Specification BaseFn (Either Int Int) Source #

prop_monitoring ∷ Property Source #

chooseSpecExample ∷ Specification BaseFn Int Source #

prop_chooseSpec ∷ Property Source #