TyCoRep.hs-boot

module TyCoRep where

import GhcPrelude

import Outputable ( SDoc )
import Data.Data  ( Data )

data Type
data TyThing
data Coercion
data UnivCoProvenance
data TCvSubst
data TyLit
data TyCoBinder
data MCoercion

type PredType = Type
type Kind = Type
type ThetaType = [PredType]
type CoercionN = Coercion
type MCoercionN = MCoercion

pprKind :: Kind -> SDoc
pprType :: Type -> SDoc

isRuntimeRepTy :: Type -> Bool

instance Data Type
  -- To support Data instances in CoAxiom