ghc-8.4.4: The GHC API

Safe HaskellNone
LanguageHaskell2010

TysPrim

Contents

Description

This module defines TyCons that can't be expressed in Haskell. They are all, therefore, wired-in TyCons. C.f module TysWiredIn

Synopsis

Documentation

mkTemplateKiTyVars :: [Kind] -> ([Kind] -> [Kind]) -> [TyVar] Source #

tYPE :: Type -> Type Source #

Given a RuntimeRep, applies TYPE to it. see Note [TYPE and RuntimeRep]

primRepToRuntimeRep :: PrimRep -> Type Source #

Convert a PrimRep to a Type of kind RuntimeRep Defined here to avoid (more) module loops

funTyCon :: TyCon Source #

The (->) type constructor.

(->) :: forall (rep1 :: RuntimeRep) (rep2 :: RuntimeRep).
        TYPE rep1 -> TYPE rep2 -> *

SIMD