Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
Documentation
inferKind ∷ TypeCtx → Type TyName DefaultUni () → Either String (Kind ()) Source #
Infer the kind of a type in a given kind context
unsafeInferKind ∷ HasCallStack ⇒ TypeCtx → Type TyName DefaultUni () → Kind () Source #
Partial unsafeInferKind, useful for context where invariants are set up to guarantee that types are well-kinded.
checkKind ∷ TypeCtx → Type TyName DefaultUni () → Kind () → Either String () Source #
Check well-kindedness of a type in a context
genList ∷ Int → Int → Gen a → Gen [a] Source #
Generate a list with the given minimum and maximum lengths.
It is similar to Hedgehog.Internal.Gen.list
.
Note that genList 0 n gen
behaves differently than resize n (listOf gen)
, because
resize m (genList 0 n gen) = genList 0 n (resize m gen)
whereas
resize m (resize n (listOf gen)) = resize n (listOf gen)
Orphan instances
PrettyBy config i ⇒ DefaultPrettyBy config (NonNegative i) Source # | |
defaultPrettyBy ∷ config → NonNegative i → Doc ann Source # defaultPrettyListBy ∷ config → [NonNegative i] → Doc ann Source # | |
PrettyDefaultBy config (NonNegative i) ⇒ PrettyBy config (NonNegative i) Source # | |
prettyBy ∷ config → NonNegative i → Doc ann Source # prettyListBy ∷ config → [NonNegative i] → Doc ann Source # | |
Pretty i ⇒ Pretty (NonNegative i) Source # | |
pretty ∷ NonNegative i → Doc ann Source # prettyList ∷ [NonNegative i] → Doc ann Source # | |
Testable (Either String ()) Source # | |