Safe Haskell	Safe-Inferred
Language	Haskell2010

Constrained.Spec.Map

Contents

Orphan instances

Synopsis

data MapSpec fn k v = MapSpec {
- mapSpecHint ∷ Maybe Integer
- mapSpecMustKeys ∷ Set k
- mapSpecMustValues ∷ [v]
- mapSpecSize ∷ Specification fn Integer
- mapSpecElem ∷ Specification fn (k, v)
- mapSpecFold ∷ FoldSpec fn v
}
defaultMapSpec ∷ Ord k ⇒ MapSpec fn k v
dom_ ∷ (HasSpec fn (Map k v), HasSpec fn k, Ord k) ⇒ Term fn (Map k v) → Term fn (Set k)
rng_ ∷ (HasSpec fn k, HasSpec fn v, Ord k) ⇒ Term fn (Map k v) → Term fn [v]

Documentation

data MapSpec fn k v Source #

Constructors

MapSpec
Fields mapSpecHint ∷ Maybe Integer mapSpecMustKeys ∷ Set k mapSpecMustValues ∷ [v] mapSpecSize ∷ Specification fn Integer mapSpecElem ∷ Specification fn (k, v) mapSpecFold ∷ FoldSpec fn v

Instances

Instances details

(HasSpec fn (k, v), HasSpec fn k, HasSpec fn v, HasSpec fn [v]) ⇒ Pretty (WithPrec (MapSpec fn k v)) Source #
Instance details Defined in Constrained.Spec.Map Methods pretty ∷ WithPrec (MapSpec fn k v) → Doc ann Source # prettyList ∷ [WithPrec (MapSpec fn k v)] → Doc ann Source #
(Arbitrary k, Arbitrary v, Arbitrary (TypeSpec fn k), Arbitrary (TypeSpec fn v), Ord k, HasSpec fn k, Foldy fn v) ⇒ Arbitrary (MapSpec fn k v) Source #
Instance details Defined in Constrained.Spec.Map Methods arbitrary ∷ Gen (MapSpec fn k v) Source # shrink ∷ MapSpec fn k v → [MapSpec fn k v] Source #
(HasSpec fn (k, v), HasSpec fn k, HasSpec fn v, HasSpec fn [v]) ⇒ Show (MapSpec fn k v) Source #
Instance details Defined in Constrained.Spec.Map Methods showsPrec ∷ Int → MapSpec fn k v → ShowS Source # show ∷ MapSpec fn k v → String Source # showList ∷ [MapSpec fn k v] → ShowS Source #

defaultMapSpec ∷ Ord k ⇒ MapSpec fn k v Source #

emptySpec without all the constraints

dom_ ∷ (HasSpec fn (Map k v), HasSpec fn k, Ord k) ⇒ Term fn (Map k v) → Term fn (Set k) Source #

rng_ ∷ (HasSpec fn k, HasSpec fn v, Ord k) ⇒ Term fn (Map k v) → Term fn [v] Source #

Orphan instances

(Ord k, HasSpec fn (Prod k v), HasSpec fn k, HasSpec fn v, HasSpec fn [v]) ⇒ HasGenHint fn (Map k v) Source #
Instance details Associated Types type Hint (Map k v) Source # Methods giveHint ∷ Hint (Map k v) → Specification fn (Map k v) Source #
(Ord k, HasSpec fn (Prod k v), HasSpec fn k, HasSpec fn v, HasSpec fn [v]) ⇒ HasSpec fn (Map k v) Source #
Instance details Associated Types type TypeSpec fn (Map k v) Source # type Prerequisites fn (Map k v) Source # Methods emptySpec ∷ TypeSpec fn (Map k v) Source # combineSpec ∷ TypeSpec fn (Map k v) → TypeSpec fn (Map k v) → Specification fn (Map k v) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (Map k v) → GenT m (Map k v) Source # conformsTo ∷ Map k v → TypeSpec fn (Map k v) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (Map k v) → Map k v → [Map k v] Source # toPreds ∷ Term fn (Map k v) → TypeSpec fn (Map k v) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (Map k v) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecOpt ∷ TypeSpec fn (Map k v) → [Map k v] → Specification fn (Map k v) Source # prerequisites ∷ Evidence (Prerequisites fn (Map k v)) Source #
BaseUniverse fn ⇒ Functions (MapFn fn) fn Source #
Instance details Methods propagateSpecFun ∷ ∀ (as ∷ [Type]) a b. (TypeList as, Typeable as, HasSpec fn a, All (HasSpec fn) as) ⇒ MapFn fn as b → ListCtx Value as (HOLE a) → Specification fn b → Specification fn a Source # rewriteRules ∷ ∀ (as ∷ [Type]) b. (TypeList as, Typeable as, HasSpec fn b, All (HasSpec fn) as) ⇒ MapFn fn as b → List (Term fn) as → Maybe (Term fn b) Source # mapTypeSpec ∷ (HasSpec fn a, HasSpec fn b) ⇒ MapFn fn '[a] b → TypeSpec fn a → Specification fn b Source #
Arbitrary (FoldSpec fn (Map k v)) Source #
Instance details Methods arbitrary ∷ Gen (FoldSpec fn (Map k v)) Source # shrink ∷ FoldSpec fn (Map k v) → [FoldSpec fn (Map k v)] Source #
Ord a ⇒ Sized (Map a b) Source #
Instance details Methods sizeOf ∷ Map a b → Integer Source # liftSizeSpec ∷ ∀ (fn ∷ [Type] → Type → Type). HasSpec fn (Map a b) ⇒ SizeSpec → [Integer] → Specification fn (Map a b) Source # liftMemberSpec ∷ ∀ (fn ∷ [Type] → Type → Type). HasSpec fn (Map a b) ⇒ OrdSet Integer → Specification fn (Map a b) Source # sizeOfTypeSpec ∷ ∀ (fn ∷ [Type] → Type → Type). HasSpec fn (Map a b) ⇒ TypeSpec fn (Map a b) → Specification fn Integer Source #
Ord k ⇒ Forallable (Map k v) (k, v) Source #
Instance details Methods fromForAllSpec ∷ ∀ (fn ∷ [Type] → Type → Type). (HasSpec fn (Map k v), HasSpec fn (k, v), BaseUniverse fn) ⇒ Specification fn (k, v) → Specification fn (Map k v) Source # forAllToList ∷ Map k v → [(k, v)] Source #