ghc-6.12.3: The GHC APISource codeContentsIndex
TysWiredIn
Contents
All wired in things
Bool
Char
Double
Float
Int
Word
List
Tuples
Unit
Parallel arrays
Description
This module is about types that can be defined in Haskell, but which must be wired into the compiler nonetheless.
Synopsis
wiredInTyCons :: [TyCon]
boolTy :: Type
boolTyCon :: TyCon
boolTyCon_RDR :: RdrName
boolTyConName :: Name
trueDataCon :: DataCon
trueDataConId :: Id
true_RDR :: RdrName
falseDataCon :: DataCon
falseDataConId :: Id
false_RDR :: RdrName
charTyCon :: TyCon
charDataCon :: DataCon
charTyCon_RDR :: RdrName
charTy :: Type
stringTy :: Type
charTyConName :: Name
doubleTyCon :: TyCon
doubleDataCon :: DataCon
doubleTy :: Type
doubleTyConName :: Name
floatTyCon :: TyCon
floatDataCon :: DataCon
floatTy :: Type
floatTyConName :: Name
intTyCon :: TyCon
intDataCon :: DataCon
intTyCon_RDR :: RdrName
intDataCon_RDR :: RdrName
intTyConName :: Name
intTy :: Type
wordTyCon :: TyCon
wordDataCon :: DataCon
wordTyConName :: Name
wordTy :: Type
listTyCon :: TyCon
nilDataCon :: DataCon
consDataCon :: DataCon
listTyCon_RDR :: RdrName
consDataCon_RDR :: RdrName
listTyConName :: Name
mkListTy :: Type -> Type
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
unitTy :: Type
mkPArrTy :: Type -> Type
parrTyCon :: TyCon
parrFakeCon :: Arity -> DataCon
isPArrTyCon :: TyCon -> Bool
isPArrFakeCon :: DataCon -> Bool
parrTyCon_RDR :: RdrName
parrTyConName :: Name
All wired in things
wiredInTyCons :: [TyCon]Source
Bool
boolTy :: TypeSource
boolTyCon :: TyConSource
boolTyCon_RDR :: RdrNameSource
boolTyConName :: NameSource
trueDataCon :: DataConSource
trueDataConId :: IdSource
true_RDR :: RdrNameSource
falseDataCon :: DataConSource
falseDataConId :: IdSource
false_RDR :: RdrNameSource
Char
charTyCon :: TyConSource
charDataCon :: DataConSource
charTyCon_RDR :: RdrNameSource
charTy :: TypeSource
stringTy :: TypeSource
charTyConName :: NameSource
Double
doubleTyCon :: TyConSource
doubleDataCon :: DataConSource
doubleTy :: TypeSource
doubleTyConName :: NameSource
Float
floatTyCon :: TyConSource
floatDataCon :: DataConSource
floatTy :: TypeSource
floatTyConName :: NameSource
Int
intTyCon :: TyConSource
intDataCon :: DataConSource
intTyCon_RDR :: RdrNameSource
intDataCon_RDR :: RdrNameSource
intTyConName :: NameSource
intTy :: TypeSource
Word
wordTyCon :: TyConSource
wordDataCon :: DataConSource
wordTyConName :: NameSource
wordTy :: TypeSource
List
listTyCon :: TyConSource
nilDataCon :: DataConSource
consDataCon :: DataConSource
listTyCon_RDR :: RdrNameSource
consDataCon_RDR :: RdrNameSource
listTyConName :: NameSource
mkListTy :: Type -> TypeSource
Tuples
mkTupleTy :: Boxity -> Int -> [Type] -> TypeSource
tupleTyCon :: Boxity -> Arity -> TyConSource
tupleCon :: Boxity -> Arity -> DataConSource
unitTyCon :: TyConSource
unitDataCon :: DataConSource
unitDataConId :: IdSource
pairTyCon :: TyConSource
unboxedSingletonTyCon :: TyConSource
unboxedSingletonDataCon :: DataConSource
unboxedPairTyCon :: TyConSource
unboxedPairDataCon :: DataConSource
Unit
unitTy :: TypeSource
Parallel arrays
mkPArrTy :: Type -> TypeSource
Construct a type representing the application of the parallel array constructor
parrTyCon :: TyConSource

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 -> DataConSource

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 -> BoolSource
Check whether a type constructor is the constructor for parallel arrays
isPArrFakeCon :: DataCon -> BoolSource
Checks whether a data constructor is a fake constructor for parallel arrays
parrTyCon_RDR :: RdrNameSource
parrTyConName :: NameSource
Produced by Haddock version 2.6.1