Generic Three Source #
Instance details Defined in Constrained.Examples.ManualExamples 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.ManualExamples Methods showsPrec ∷ Int → Three → ShowS # show ∷ Three → String # showList ∷ [Three] → ShowS #
HasSpec Three Source #
Instance details Defined in Constrained.Examples.ManualExamples 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.ManualExamples 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.ManualExamples Methods (==) ∷ Three → Three → Bool # (/=) ∷ Three → Three → Bool #
Ord Three Source #
Instance details Defined in Constrained.Examples.ManualExamples 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.ManualExamples type Rep Three = D1 ('MetaData "Three" "Constrained.Examples.ManualExamples" "constrained-generators-0.2.0.0-inplace" 'False) (C1 ('MetaCons "One" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "Two" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "Three" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))
type Prerequisites Three Source #
Instance details Defined in Constrained.Examples.ManualExamples type Prerequisites Three = ()
type TypeSpec Three Source #
Instance details Defined in Constrained.Examples.ManualExamples type TypeSpec Three = TypeSpec (SimpleRep Three)
type SimpleRep Three Source #
Instance details Defined in Constrained.Examples.ManualExamples type SimpleRep Three = SOP (TheSop Three)
type TheSop Three Source #
Instance details Defined in Constrained.Examples.ManualExamples type TheSop Three = SOPOf (Rep Three)

ex10 ∷ Specification Three Source #

ex11 ∷ Specification Three Source #

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

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

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

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

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

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

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

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

ex16 ∷ Specification Three Source #

ex17 ∷ Specification Three Source #

ex18 ∷ Specification Three Source #

ex19 ∷ Specification (Maybe Bool) Source #

data Dimensions where Source #

Constructors

Dimensions
Fields ∷ { length ∷ Int , width ∷ Int , depth ∷ Int } → Dimensions

Instances

Instances details

Generic Dimensions Source #
Instance details Defined in Constrained.Examples.ManualExamples Associated Types type Rep Dimensions ∷ Type → Type # Methods from ∷ Dimensions → Rep Dimensions x # to ∷ Rep Dimensions x → Dimensions #
Show Dimensions Source #
Instance details Defined in Constrained.Examples.ManualExamples Methods showsPrec ∷ Int → Dimensions → ShowS # show ∷ Dimensions → String # showList ∷ [Dimensions] → ShowS #
HasSpec Dimensions Source #
Instance details Defined in Constrained.Examples.ManualExamples Associated Types type TypeSpec Dimensions Source # type Prerequisites Dimensions Source # Methods emptySpec ∷ TypeSpec Dimensions Source # combineSpec ∷ TypeSpec Dimensions → TypeSpec Dimensions → Specification Dimensions Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Dimensions → GenT m Dimensions Source # conformsTo ∷ Dimensions → TypeSpec Dimensions → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Dimensions → Dimensions → [Dimensions] Source # toPreds ∷ Term Dimensions → TypeSpec Dimensions → Pred Source # cardinalTypeSpec ∷ TypeSpec Dimensions → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Dimensions → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Dimensions → BinaryShow Source # monadConformsTo ∷ Dimensions → TypeSpec Dimensions → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec Dimensions → [Dimensions] → Specification Dimensions Source # guardTypeSpec ∷ [String] → TypeSpec Dimensions → Specification Dimensions Source # prerequisites ∷ Evidence (Prerequisites Dimensions) Source #
HasSimpleRep Dimensions Source #
Instance details Defined in Constrained.Examples.ManualExamples Associated Types type SimpleRep Dimensions Source # type TheSop Dimensions ∷ [Type] Source # Methods toSimpleRep ∷ Dimensions → SimpleRep Dimensions Source # fromSimpleRep ∷ SimpleRep Dimensions → Dimensions Source #
Eq Dimensions Source #
Instance details Defined in Constrained.Examples.ManualExamples Methods (==) ∷ Dimensions → Dimensions → Bool # (/=) ∷ Dimensions → Dimensions → Bool #
Ord Dimensions Source #
Instance details Defined in Constrained.Examples.ManualExamples Methods compare ∷ Dimensions → Dimensions → Ordering # (<) ∷ Dimensions → Dimensions → Bool # (<=) ∷ Dimensions → Dimensions → Bool # (>) ∷ Dimensions → Dimensions → Bool # (>=) ∷ Dimensions → Dimensions → Bool # max ∷ Dimensions → Dimensions → Dimensions # min ∷ Dimensions → Dimensions → Dimensions #
type Rep Dimensions Source #
Instance details Defined in Constrained.Examples.ManualExamples type Rep Dimensions = D1 ('MetaData "Dimensions" "Constrained.Examples.ManualExamples" "constrained-generators-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Dimensions" 'PrefixI 'True) (S1 ('MetaSel ('Just "length") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "width") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "depth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))
type Prerequisites Dimensions Source #
Instance details Defined in Constrained.Examples.ManualExamples type Prerequisites Dimensions = ()
type TypeSpec Dimensions Source #
Instance details Defined in Constrained.Examples.ManualExamples type TypeSpec Dimensions = TypeSpec (SimpleRep Dimensions)
type SimpleRep Dimensions Source #
Instance details Defined in Constrained.Examples.ManualExamples type SimpleRep Dimensions = SOP (TheSop Dimensions)
type TheSop Dimensions Source #
Instance details Defined in Constrained.Examples.ManualExamples type TheSop Dimensions = SOPOf (Rep Dimensions)

ex20a ∷ Specification Dimensions Source #

ex20b ∷ Specification Dimensions Source #

width_ ∷ Term Dimensions → Term Int Source #

ex21 ∷ Specification Dimensions Source #

ex22a ∷ Specification (Int, Int) Source #

ex22b ∷ Specification (Int, Int) Source #

ex24 ∷ Specification Int Source #

ex25 ∷ Specification Int Source #

data Rectangle Source #

Constructors

Rectangle
Fields wid ∷ Int len ∷ Int square ∷ Bool

Instances

Instances details

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

ex26 ∷ Specification Rectangle Source #

ex27 ∷ Specification Rectangle Source #

ex28a ∷ Specification (Set Int) Source #

ex28b ∷ Specification (Set Int) Source #

ex29 ∷ Specification Int Source #

ex30 ∷ Specification (Int, Int) Source #

prop31 ∷ Property Source #

ex32 ∷ IO () Source #

ex11m ∷ Specification Three Source #

propex11 ∷ Property Source #

ex33 ∷ IO () Source #

data Nested Source #

Constructors

Nested Three Rectangle [Int]

Instances

Instances details

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

skeleton2 ∷ Specification Nested Source #

truePred ∷ Pred Source #

skeleton ∷ Specification Nested Source #

newtype Coin Source #

Constructors

Coin
Fields unCoin ∷ Integer

Instances

Instances details

Show Coin Source #
Instance details Defined in Constrained.Examples.ManualExamples Methods showsPrec ∷ Int → Coin → ShowS # show ∷ Coin → String # showList ∷ [Coin] → ShowS #
HasSpec Coin Source #
Instance details Defined in Constrained.Examples.ManualExamples Associated Types type TypeSpec Coin Source # type Prerequisites Coin Source # Methods emptySpec ∷ TypeSpec Coin Source # combineSpec ∷ TypeSpec Coin → TypeSpec Coin → Specification Coin Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Coin → GenT m Coin Source # conformsTo ∷ Coin → TypeSpec Coin → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Coin → Coin → [Coin] Source # toPreds ∷ Term Coin → TypeSpec Coin → Pred Source # cardinalTypeSpec ∷ TypeSpec Coin → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Coin → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Coin → BinaryShow Source # monadConformsTo ∷ Coin → TypeSpec Coin → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec Coin → [Coin] → Specification Coin Source # guardTypeSpec ∷ [String] → TypeSpec Coin → Specification Coin Source # prerequisites ∷ Evidence (Prerequisites Coin) Source #
HasSimpleRep Coin Source #
Instance details Defined in Constrained.Examples.ManualExamples Associated Types type SimpleRep Coin Source # type TheSop Coin ∷ [Type] Source # Methods toSimpleRep ∷ Coin → SimpleRep Coin Source # fromSimpleRep ∷ SimpleRep Coin → Coin Source #
Eq Coin Source #
Instance details Defined in Constrained.Examples.ManualExamples Methods (==) ∷ Coin → Coin → Bool # (/=) ∷ Coin → Coin → Bool #
type Prerequisites Coin Source #
Instance details Defined in Constrained.Examples.ManualExamples type Prerequisites Coin = ()
type TypeSpec Coin Source #
Instance details Defined in Constrained.Examples.ManualExamples type TypeSpec Coin = TypeSpec (SimpleRep Coin)
type SimpleRep Coin Source #
Instance details Defined in Constrained.Examples.ManualExamples type SimpleRep Coin = Natural
type TheSop Coin Source #
Instance details Defined in Constrained.Examples.ManualExamples type TheSop Coin = SOPOf (Rep Coin)

integerToNatural ∷ Integer → Maybe Natural Source #

naturalToCoin ∷ Natural → Coin Source #

ex34 ∷ Specification Coin Source #