ghc-7.4.2: The GHC API

Safe HaskellNone

TysWiredIn

Contents

Description

This module is about types that can be defined in Haskell, but which must be wired into the compiler nonetheless. C.f module TysPrim

Synopsis

All wired in things

Bool

Ordering

Char

Double

Float

Int

Word

List

Tuples

mkBoxedTupleTy :: [Type] -> TypeSource

Build the type of a small tuple that holds the specified type of thing

Unit

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

Equality predicates

Implicit parameter predicates