| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Hat.PreludeBuiltinTypes
- newtype Fun a b = Fun (RefExp -> R a -> R b)
- data Int :: *
- data Char :: *
- data Integer :: *
- data Float :: *
- data Double :: *
- data Bool :: *
- type IOError = IOException
- aTrue :: RefAtom
- aFalse :: RefAtom
- type String = List Char
- toFun :: (RefExp -> c -> R a) -> (RefExp -> R b -> d) -> RefExp -> R (Fun a b) -> c -> d
- fromFun :: (RefExp -> R a -> b) -> (RefExp -> c -> R d) -> RefExp -> (b -> c) -> R (Fun a d)
- toBool :: RefExp -> R Bool -> Bool
- fromBool :: RefExp -> Bool -> R Bool
- toList :: (RefExp -> R a -> b) -> RefExp -> R (List a) -> [b]
- fromList :: (RefExp -> a -> R b) -> RefExp -> [a] -> R (List b)
- toString :: RefExp -> R String -> String
- fromString :: RefExp -> String -> R String
- toIOError :: RefExp -> R IOError -> IOError
- fromIOError :: RefExp -> IOError -> R IOError
- aIOError :: RefAtom
- gerror :: RefSrcPos -> RefExp -> R (Fun String z)
- herror :: R String -> RefExp -> a
- aerror :: RefAtom
- gundefined :: RefSrcPos -> RefExp -> R a
- hundefined :: RefExp -> a
- aundefined :: RefAtom
Documentation
data Int :: *
data Char :: *
The character type Char is an enumeration whose values represent
Unicode (or equivalently ISO/IEC 10646) characters (see
http://www.unicode.org/ for details). This set extends the ISO 8859-1
(Latin-1) character set (the first 256 characters), which is itself an extension
of the ASCII character set (the first 128 characters). A character literal in
Haskell has type Char.
To convert a Char to or from the corresponding Int value defined
by Unicode, use toEnum and fromEnum from the
Enum class respectively (or equivalently ord and chr).
data Integer :: *
Arbitrary-precision integers.
data Float :: *
Single-precision floating point numbers. It is desirable that this type be at least equal in range and precision to the IEEE single-precision type.
Instances
data Double :: *
Double-precision floating point numbers. It is desirable that this type be at least equal in range and precision to the IEEE double-precision type.
Instances
data Bool :: *
type IOError = IOException
The Haskell 2010 type for exceptions in the IO monad.
Any I/O operation may raise an IOError instead of returning a result.
For a more general type of exception, including also those that arise
in pure code, see Control.Exception.Exception.
In Haskell 2010, this is an opaque type.
gundefined :: RefSrcPos -> RefExp -> R a Source
hundefined :: RefExp -> a Source