|
|
|
|
|
| Description |
| This module is about types that can be defined in Haskell, but which
must be wired into the compiler nonetheless.
|
|
| Synopsis |
|
|
|
|
| All wired in things
|
|
| wiredInTyCons :: [TyCon] |
|
| Bool
|
|
| boolTy :: Type |
|
| boolTyCon :: TyCon |
|
| trueDataCon :: DataCon |
|
| trueDataConId :: Id |
|
| false_RDR :: RdrName |
|
| Char
|
|
| charTyCon :: TyCon |
|
| charDataCon :: DataCon |
|
| charTy :: Type |
|
| stringTy :: Type |
|
| Double
|
|
| doubleTyCon :: TyCon |
|
| doubleDataCon :: DataCon |
|
| doubleTy :: Type |
|
| Float
|
|
| floatTyCon :: TyCon |
|
| floatDataCon :: DataCon |
|
| floatTy :: Type |
|
| Int
|
|
| intTyCon :: TyCon |
|
| intDataCon :: DataCon |
|
| intTy :: Type |
|
| Word
|
|
| wordTyCon :: TyCon |
|
| wordDataCon :: DataCon |
|
| wordTy :: Type |
|
| List
|
|
| listTyCon :: TyCon |
|
| nilDataCon :: DataCon |
|
| consDataCon :: DataCon |
|
| mkListTy :: Type -> Type |
|
| Tuples
|
|
| mkTupleTy :: Boxity -> Int -> [Type] -> Type |
|
| tupleTyCon :: Boxity -> Arity -> TyCon |
|
| tupleCon :: Boxity -> Arity -> DataCon |
|
| unitTyCon :: TyCon |
|
| unitDataCon :: DataCon |
|
| unitDataConId :: Id |
|
| pairTyCon :: TyCon |
|
| unboxedSingletonTyCon :: TyCon |
|
| unboxedSingletonDataCon :: DataCon |
|
| unboxedPairTyCon :: TyCon |
|
| unboxedPairDataCon :: DataCon |
|
| Unit
|
|
| unitTy :: Type |
|
| Parallel arrays
|
|
| mkPArrTy :: Type -> Type |
| Construct a type representing the application of the parallel array constructor
|
|
| parrTyCon :: TyCon |
Represents the type constructor of parallel arrays
- This must match the definition in PrelPArr
NB: Although the constructor is given here, it will not be accessible in
user code as it is not in the environment of any compiled module except
PrelPArr.
|
|
| parrFakeCon :: Arity -> DataCon |
Fake array constructors
- These constructors are never really used to represent array values;
however, they are very convenient during desugaring (and, in particular,
in the pattern matching compiler) to treat array pattern just like
yet another constructor pattern
|
|
| isPArrTyCon :: TyCon -> Bool |
| Check whether a type constructor is the constructor for parallel arrays
|
|
| isPArrFakeCon :: DataCon -> Bool |
| Checks whether a data constructor is a fake constructor for parallel arrays
|
|
| Produced by Haddock version 2.3.0 |
