Documentation

type CheckedLiteralUncheckedFix = 'Text "Possible fix: use 'uncheckedLiteral' from 'CheckedLiterals' to bypass this check." Source #

type AddConstraintFix required actual = ((('Text "Possible fix: add a constraint: " ':<>: 'ShowType required) ':<>: 'Text " <= ") ':<>: 'ShowType actual) ':<>: 'Text "." Source #

type UnsignedBounds (typ :: Type) maxVal = (('ShowType typ ':<>: 'Text " has bounds: [0 .. ") ':<>: 'ShowType maxVal) ':<>: 'Text "]." Source #

type SignedBounds (typ :: Type) minVal maxVal = (((('ShowType typ ':<>: 'Text " has bounds: [-") ':<>: 'ShowType minVal) ':<>: 'Text " .. ") ':<>: 'ShowType maxVal) ':<>: 'Text "]." Source #

type IntegerBitsNote bits = ('Text "Note: integer part needs at least " ':<>: 'ShowType bits) ':<>: 'Text " bit(s)." Source #

type SignedIntegerBitsNote bits = ('Text "Note: integer part needs at least " ':<>: 'ShowType bits) ':<>: 'Text " bit(s), including sign bit." Source #

type FractionalBitsNote bits = ('Text "The fractional part needs at least " ':<>: 'ShowType bits) ':<>: 'Text " bit(s)." Source #

type OutOfBounds strLit details = TypeError (((('Text "Literal " ':<>: strLit) ':<>: 'Text " is out of bounds.") ':$$: details) ':$$: CheckedLiteralUncheckedFix) Source #

type PotentiallyOutOfBounds strLit details required actual = TypeError ((((('Text "Literal " ':<>: strLit) ':<>: 'Text " is (potentially) out of bounds.") ':$$: details) ':$$: AddConstraintFix required actual) ':$$: CheckedLiteralUncheckedFix) Source #

type OutOfBoundsBecause strLit reason = TypeError (((('Text "Literal " ':<>: strLit) ':<>: 'Text " is out of bounds, because ") ':<>: reason) ':$$: CheckedLiteralUncheckedFix) Source #

type NotExactlyRepresentable strLit (typ :: Type) reason = TypeError (((((('Text "Literal " ':<>: strLit) ':<>: 'Text " cannot be represented exactly by ") ':<>: 'ShowType typ) ':<>: 'Text ".") ':$$: reason) ':$$: CheckedLiteralUncheckedFix) Source #

type NotExactlyRepresentableWithConstraint strLit (typ :: Type) reason required actual = TypeError ((((((('Text "Literal " ':<>: strLit) ':<>: 'Text " cannot be represented exactly by ") ':<>: 'ShowType typ) ':<>: 'Text ".") ':$$: reason) ':$$: AddConstraintFix required actual) ':$$: CheckedLiteralUncheckedFix) Source #