Methods

emptySpec ∷ TypeSpec Int16 Source #

combineSpec ∷ TypeSpec Int16 → TypeSpec Int16 → Specification Int16 Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Int16 → GenT m Int16 Source #

conformsTo ∷ Int16 → TypeSpec Int16 → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Int16 → Int16 → [Int16] Source #

toPreds ∷ Term Int16 → TypeSpec Int16 → Pred Source #

cardinalTypeSpec ∷ TypeSpec Int16 → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec Int16 → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec Int16 → BinaryShow Source #

monadConformsTo ∷ Int16 → TypeSpec Int16 → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Int16 → [Int16] → Specification Int16 Source #

guardTypeSpec ∷ [String] → TypeSpec Int16 → Specification Int16 Source #

prerequisites ∷ Evidence (Prerequisites Int16) Source #

Methods

emptySpec ∷ TypeSpec Int32 Source #

combineSpec ∷ TypeSpec Int32 → TypeSpec Int32 → Specification Int32 Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Int32 → GenT m Int32 Source #

conformsTo ∷ Int32 → TypeSpec Int32 → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Int32 → Int32 → [Int32] Source #

toPreds ∷ Term Int32 → TypeSpec Int32 → Pred Source #

cardinalTypeSpec ∷ TypeSpec Int32 → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec Int32 → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec Int32 → BinaryShow Source #

monadConformsTo ∷ Int32 → TypeSpec Int32 → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Int32 → [Int32] → Specification Int32 Source #

guardTypeSpec ∷ [String] → TypeSpec Int32 → Specification Int32 Source #

prerequisites ∷ Evidence (Prerequisites Int32) Source #

Methods

emptySpec ∷ TypeSpec Int64 Source #

combineSpec ∷ TypeSpec Int64 → TypeSpec Int64 → Specification Int64 Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Int64 → GenT m Int64 Source #

conformsTo ∷ Int64 → TypeSpec Int64 → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Int64 → Int64 → [Int64] Source #

toPreds ∷ Term Int64 → TypeSpec Int64 → Pred Source #

cardinalTypeSpec ∷ TypeSpec Int64 → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec Int64 → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec Int64 → BinaryShow Source #

monadConformsTo ∷ Int64 → TypeSpec Int64 → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Int64 → [Int64] → Specification Int64 Source #

guardTypeSpec ∷ [String] → TypeSpec Int64 → Specification Int64 Source #

prerequisites ∷ Evidence (Prerequisites Int64) Source #

Methods

emptySpec ∷ TypeSpec Int8 Source #

combineSpec ∷ TypeSpec Int8 → TypeSpec Int8 → Specification Int8 Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Int8 → GenT m Int8 Source #

conformsTo ∷ Int8 → TypeSpec Int8 → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Int8 → Int8 → [Int8] Source #

toPreds ∷ Term Int8 → TypeSpec Int8 → Pred Source #

cardinalTypeSpec ∷ TypeSpec Int8 → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec Int8 → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec Int8 → BinaryShow Source #

monadConformsTo ∷ Int8 → TypeSpec Int8 → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Int8 → [Int8] → Specification Int8 Source #

guardTypeSpec ∷ [String] → TypeSpec Int8 → Specification Int8 Source #

prerequisites ∷ Evidence (Prerequisites Int8) Source #

Methods

emptySpec ∷ TypeSpec Word16 Source #

combineSpec ∷ TypeSpec Word16 → TypeSpec Word16 → Specification Word16 Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Word16 → GenT m Word16 Source #

conformsTo ∷ Word16 → TypeSpec Word16 → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Word16 → Word16 → [Word16] Source #

toPreds ∷ Term Word16 → TypeSpec Word16 → Pred Source #

cardinalTypeSpec ∷ TypeSpec Word16 → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec Word16 → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec Word16 → BinaryShow Source #

monadConformsTo ∷ Word16 → TypeSpec Word16 → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Word16 → [Word16] → Specification Word16 Source #

guardTypeSpec ∷ [String] → TypeSpec Word16 → Specification Word16 Source #

prerequisites ∷ Evidence (Prerequisites Word16) Source #

Methods

emptySpec ∷ TypeSpec Word32 Source #

combineSpec ∷ TypeSpec Word32 → TypeSpec Word32 → Specification Word32 Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Word32 → GenT m Word32 Source #

conformsTo ∷ Word32 → TypeSpec Word32 → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Word32 → Word32 → [Word32] Source #

toPreds ∷ Term Word32 → TypeSpec Word32 → Pred Source #

cardinalTypeSpec ∷ TypeSpec Word32 → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec Word32 → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec Word32 → BinaryShow Source #

monadConformsTo ∷ Word32 → TypeSpec Word32 → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Word32 → [Word32] → Specification Word32 Source #

guardTypeSpec ∷ [String] → TypeSpec Word32 → Specification Word32 Source #

prerequisites ∷ Evidence (Prerequisites Word32) Source #

Methods

emptySpec ∷ TypeSpec Word64 Source #

combineSpec ∷ TypeSpec Word64 → TypeSpec Word64 → Specification Word64 Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Word64 → GenT m Word64 Source #

conformsTo ∷ Word64 → TypeSpec Word64 → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Word64 → Word64 → [Word64] Source #

toPreds ∷ Term Word64 → TypeSpec Word64 → Pred Source #

cardinalTypeSpec ∷ TypeSpec Word64 → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec Word64 → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec Word64 → BinaryShow Source #

monadConformsTo ∷ Word64 → TypeSpec Word64 → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Word64 → [Word64] → Specification Word64 Source #

guardTypeSpec ∷ [String] → TypeSpec Word64 → Specification Word64 Source #

prerequisites ∷ Evidence (Prerequisites Word64) Source #

Methods

emptySpec ∷ TypeSpec Word8 Source #

combineSpec ∷ TypeSpec Word8 → TypeSpec Word8 → Specification Word8 Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Word8 → GenT m Word8 Source #

conformsTo ∷ Word8 → TypeSpec Word8 → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Word8 → Word8 → [Word8] Source #

toPreds ∷ Term Word8 → TypeSpec Word8 → Pred Source #

cardinalTypeSpec ∷ TypeSpec Word8 → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec Word8 → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec Word8 → BinaryShow Source #

monadConformsTo ∷ Word8 → TypeSpec Word8 → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Word8 → [Word8] → Specification Word8 Source #

guardTypeSpec ∷ [String] → TypeSpec Word8 → Specification Word8 Source #

prerequisites ∷ Evidence (Prerequisites Word8) Source #

Methods

emptySpec ∷ TypeSpec Natural Source #

combineSpec ∷ TypeSpec Natural → TypeSpec Natural → Specification Natural Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Natural → GenT m Natural Source #

conformsTo ∷ Natural → TypeSpec Natural → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Natural → Natural → [Natural] Source #

toPreds ∷ Term Natural → TypeSpec Natural → Pred Source #

cardinalTypeSpec ∷ TypeSpec Natural → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec Natural → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec Natural → BinaryShow Source #

monadConformsTo ∷ Natural → TypeSpec Natural → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Natural → [Natural] → Specification Natural Source #

guardTypeSpec ∷ [String] → TypeSpec Natural → Specification Natural Source #

prerequisites ∷ Evidence (Prerequisites Natural) Source #

Methods

emptySpec ∷ TypeSpec Float Source #

combineSpec ∷ TypeSpec Float → TypeSpec Float → Specification Float Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Float → GenT m Float Source #

conformsTo ∷ Float → TypeSpec Float → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Float → Float → [Float] Source #

toPreds ∷ Term Float → TypeSpec Float → Pred Source #

cardinalTypeSpec ∷ TypeSpec Float → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec Float → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec Float → BinaryShow Source #

monadConformsTo ∷ Float → TypeSpec Float → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Float → [Float] → Specification Float Source #

guardTypeSpec ∷ [String] → TypeSpec Float → Specification Float Source #

prerequisites ∷ Evidence (Prerequisites Float) Source #

Methods

emptySpec ∷ TypeSpec Int Source #

combineSpec ∷ TypeSpec Int → TypeSpec Int → Specification Int Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Int → GenT m Int Source #

conformsTo ∷ Int → TypeSpec Int → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Int → Int → [Int] Source #

toPreds ∷ Term Int → TypeSpec Int → Pred Source #

cardinalTypeSpec ∷ TypeSpec Int → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec Int → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec Int → BinaryShow Source #

monadConformsTo ∷ Int → TypeSpec Int → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Int → [Int] → Specification Int Source #

guardTypeSpec ∷ [String] → TypeSpec Int → Specification Int Source #

prerequisites ∷ Evidence (Prerequisites Int) Source #

Methods

emptySpec ∷ TypeSpec (Ratio Integer) Source #

combineSpec ∷ TypeSpec (Ratio Integer) → TypeSpec (Ratio Integer) → Specification (Ratio Integer) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Ratio Integer) → GenT m (Ratio Integer) Source #

conformsTo ∷ Ratio Integer → TypeSpec (Ratio Integer) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (Ratio Integer) → Ratio Integer → [Ratio Integer] Source #

toPreds ∷ Term (Ratio Integer) → TypeSpec (Ratio Integer) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (Ratio Integer) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (Ratio Integer) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (Ratio Integer) → BinaryShow Source #

monadConformsTo ∷ Ratio Integer → TypeSpec (Ratio Integer) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (Ratio Integer) → [Ratio Integer] → Specification (Ratio Integer) Source #

guardTypeSpec ∷ [String] → TypeSpec (Ratio Integer) → Specification (Ratio Integer) Source #

prerequisites ∷ Evidence (Prerequisites (Ratio Integer)) Source #