ghc-7.4.1: The GHC API

Safe HaskellSafe-Infered

HsTypes

Documentation

type LHsType name = Located (HsType name)Source

type HsKind name = HsType nameSource

type LHsKind name = Located (HsKind name)Source

data HsTyVarBndr name Source

Constructors

UserTyVar name PostTcKind 
KindedTyVar name (LHsKind name) PostTcKind 

Instances

type HsContext name = [LHsType 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

replaceTyVarName :: Monad m => HsTyVarBndr name1 -> name2 -> (LHsKind name1 -> m (LHsKind name2)) -> m (HsTyVarBndr name2)Source

replaceLTyVarName :: Monad m => LHsTyVarBndr name1 -> name2 -> (LHsKind name1 -> m (LHsKind name2)) -> m (LHsTyVarBndr name2)Source

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

splitHsForAllTy :: HsType name -> ([LHsTyVarBndr name], HsContext name, HsType name)Source

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

mkHsOpTy :: LHsType name -> Located name -> LHsType name -> HsType nameSource