|
|
|
|
|
Documentation |
|
mkHsConApp :: DataCon -> [Type] -> [HsExpr Id] -> LHsExpr Id |
|
mkHsDictLet :: LHsBinds Id -> LHsExpr Id -> LHsExpr Id |
|
mkHsApp :: LHsExpr name -> LHsExpr name -> LHsExpr name |
|
hsLitType :: HsLit -> TcType |
|
hsLPatType :: OutPat Id -> Type |
|
hsPatType :: Pat Id -> Type |
|
mkHsAppTy :: LHsType name -> LHsType name -> LHsType name |
|
mkSimpleHsAlt :: LPat id -> LHsExpr id -> LMatch id |
|
nlHsIntLit :: Integer -> LHsExpr id |
|
mkVanillaTuplePat :: [OutPat Id] -> Boxity -> Pat Id |
|
shortCutLit :: OverLitVal -> TcType -> Maybe (HsExpr TcId) |
|
hsOverLitName :: OverLitVal -> Name |
|
mkArbitraryType :: (SrcSpan -> SDoc -> TcRnIf g l a) -> TcTyVar -> TcRnIf g l Type |
|
type TcId = Id |
|
type TcIdSet = IdSet |
|
type TcDictBinds = DictBinds TcId |
|
zonkTopDecls :: LHsBinds TcId -> [LRuleDecl TcId] -> [LForeignDecl TcId] -> TcM ([Id], Bag (LHsBind Id), [LForeignDecl Id], [LRuleDecl Id]) |
|
zonkTopExpr :: HsExpr TcId -> TcM (HsExpr Id) |
|
zonkTopLExpr :: LHsExpr TcId -> TcM (LHsExpr Id) |
|
zonkId :: TcId -> TcM TcId |
|
zonkTopBndrs :: [TcId] -> TcM [Id] |
|
Produced by Haddock version 2.3.0 |