Safe Haskell	Safe-Inferred
Language	Haskell2010

Constrained.Spec.Pairs

Contents

Orphan instances

Documentation

cartesian ∷ (HasSpec fn a, HasSpec fn b) ⇒ Specification fn a → Specification fn b → Specification fn (Prod a b) Source #

data PairSpec fn a b Source #

Constructors

Cartesian (Specification fn a) (Specification fn b)

Instances

Instances details

(Arbitrary (Specification fn a), Arbitrary (Specification fn b)) ⇒ Arbitrary (PairSpec fn a b) Source #
Instance details Defined in Constrained.Spec.Pairs Methods arbitrary ∷ Gen (PairSpec fn a b) Source # shrink ∷ PairSpec fn a b → [PairSpec fn a b] Source #
(HasSpec fn a, HasSpec fn b) ⇒ Show (PairSpec fn a b) Source #
Instance details Defined in Constrained.Spec.Pairs Methods showsPrec ∷ Int → PairSpec fn a b → ShowS Source # show ∷ PairSpec fn a b → String Source # showList ∷ [PairSpec fn a b] → ShowS Source #

pairView ∷ ∀ fn a b. Member (PairFn fn) fn ⇒ Term fn (Prod a b) → Maybe (Term fn a, Term fn b) Source #

Orphan instances

(HasSpec fn a, HasSpec fn b) ⇒ HasSpec fn (Prod a b) Source #
Instance details Associated Types type TypeSpec fn (Prod a b) Source # type Prerequisites fn (Prod a b) Source # Methods emptySpec ∷ TypeSpec fn (Prod a b) Source # combineSpec ∷ TypeSpec fn (Prod a b) → TypeSpec fn (Prod a b) → Specification fn (Prod a b) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (Prod a b) → GenT m (Prod a b) Source # conformsTo ∷ Prod a b → TypeSpec fn (Prod a b) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (Prod a b) → Prod a b → [Prod a b] Source # toPreds ∷ Term fn (Prod a b) → TypeSpec fn (Prod a b) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (Prod a b) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecOpt ∷ TypeSpec fn (Prod a b) → [Prod a b] → Specification fn (Prod a b) Source # prerequisites ∷ Evidence (Prerequisites fn (Prod a b)) Source #
BaseUniverse fn ⇒ Functions (PairFn fn) fn Source #
Instance details Methods propagateSpecFun ∷ ∀ (as ∷ [Type]) a b. (TypeList as, Typeable as, HasSpec fn a, All (HasSpec fn) as) ⇒ PairFn 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) ⇒ PairFn fn as b → List (Term fn) as → Maybe (Term fn b) Source # mapTypeSpec ∷ (HasSpec fn a, HasSpec fn b) ⇒ PairFn fn '[a] b → TypeSpec fn a → Specification fn b Source #