some package:incipit-base
Convert a character into an unknown type-level char.
Convert an integer into an unknown type-level natural.
Convert a string into an unknown type-level symbol.
The SomeException type is the root of the exception type
hierarchy. When an exception of type e is thrown, behind the
scenes it is encapsulated in a SomeException.
This type represents unknown type-level natural numbers.
This type represents unknown type-level symbols.
Convert a
Char into an
SChar c value, where
c is a fresh type-level character.
Attempt to convert an
Integer into an
SNat n
value, where
n is a fresh type-level natural number. If the
Integer argument is non-negative, invoke the continuation with
Just sn, where
sn is the
SNat n
value. If the
Integer argument is negative, invoke the
continuation with
Nothing.
For a version of this function where the continuation uses
'SNat n
instead of Maybe (
SNat n)@,
see
withSomeSNat in
GHC.TypeNats.
Convert a
String into an
SSymbol s value, where
s is a fresh type-level symbol.