ghc-7.2.1: The GHC API

HsTypes

Documentation

type LHsType name = Located (HsType name)Source

data HsTyVarBndr name Source

Constructors

UserTyVar name PostTcKind 
KindedTyVar name Kind 

Instances

type HsContext name = [LHsPred name]Source

data HsPred name Source

Constructors

HsClassP name [LHsType name] 
HsEqualP (LHsType name) (LHsType name) 
HsIParam (IPName name) (LHsType name) 

Instances

Typeable1 HsPred 
Data name => Data (HsPred name) 
OutputableBndr name => Outputable (HsPred name) 

type LHsPred name = Located (HsPred name)Source

type LBangType name = Located (BangType name)Source

type BangType name = HsType nameSource

data ConDeclField name Source

Instances

hsExplicitTvs :: LHsType name -> [name]Source

hsTyVarNames :: [HsTyVarBndr name] -> [name]Source

hsLTyVarNames :: [LHsTyVarBndr name] -> [name]Source

splitHsInstDeclTy :: OutputableBndr name => HsType name -> ([LHsTyVarBndr name], HsContext name, name, [LHsType name])Source

splitHsFunType :: LHsType name -> ([LHsType name], LHsType name)Source