Safe Haskell	Safe-Inferred
Language	Haskell2010

Constrained.Examples.Map

Documentation

mapElemSpec ∷ Specification BaseFn (Map Int (Bool, Int)) Source #

mapPairSpec ∷ Specification BaseFn (Map Int Int, Set Int) Source #

mapEmptyDomainSpec ∷ Specification BaseFn (Map Int Int) Source #

mapSubSize ∷ Specification BaseFn (Map Int Int) Source #

knownDomainMap ∷ Specification BaseFn (Map Int Int) Source #

data Three Source #

Constructors

One
Two
Three

Instances

Instances details

Generic Three Source #
Instance details Defined in Constrained.Examples.Map 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.Map Methods showsPrec ∷ Int → Three → ShowS Source # show ∷ Three → String Source # showList ∷ [Three] → ShowS Source #
HasSimpleRep Three Source #
Instance details Defined in Constrained.Examples.Map 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.Map Methods (==) ∷ Three → Three → Bool Source # (/=) ∷ Three → Three → Bool Source #
Ord Three Source #
Instance details Defined in Constrained.Examples.Map 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.Map 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 # typeSpecOpt ∷ TypeSpec fn Three → [Three] → Specification fn Three Source # prerequisites ∷ Evidence (Prerequisites fn Three) Source #
type Rep Three Source #
Instance details Defined in Constrained.Examples.Map type Rep Three = D1 ('MetaData "Three" "Constrained.Examples.Map" "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.Map type SimpleRep Three = SOP (TheSop Three)
type TheSop Three Source #
Instance details Defined in Constrained.Examples.Map type TheSop Three = SOPOf (Rep Three)
type Prerequisites fn Three Source #
Instance details Defined in Constrained.Examples.Map type Prerequisites fn Three = ()
type TypeSpec fn Three Source #
Instance details Defined in Constrained.Examples.Map type TypeSpec fn Three = TypeSpec fn (SimpleRep Three)

mapSizeConstrained ∷ Specification BaseFn (Map Three Int) Source #

sumRange ∷ Specification BaseFn (Map Word64 Word64) Source #

fixedRange ∷ Specification BaseFn (Map Int Int) Source #

rangeHint ∷ Specification BaseFn (Map Int Int) Source #