Documentation

mkHsPar :: LHsExpr id -> LHsExpr id Source

mkHsApp :: LHsExpr name -> LHsExpr name -> LHsExpr name Source

mkHsConApp :: DataCon -> [Type] -> [HsExpr Id] -> LHsExpr Id Source

mkSimpleHsAlt :: LPat id -> Located (body id) -> LMatch id (Located (body id)) Source

mkSimpleMatch :: [LPat id] -> Located (body id) -> LMatch id (Located (body id)) Source

unguardedGRHSs :: Located (body id) -> GRHSs id (Located (body id)) Source

unguardedRHS :: Located (body id) -> [LGRHS id (Located (body id))] Source

mkMatchGroup :: [LMatch id (Located (body id))] -> MatchGroup id (Located (body id)) Source

mkMatch :: [LPat id] -> LHsExpr id -> HsLocalBinds id -> LMatch id (LHsExpr id) Source

mkHsLam :: [LPat id] -> LHsExpr id -> LHsExpr id Source

mkHsIf :: LHsExpr id -> LHsExpr id -> LHsExpr id -> HsExpr id Source

mkHsWrap :: HsWrapper -> HsExpr id -> HsExpr id Source

mkLHsWrap :: HsWrapper -> LHsExpr id -> LHsExpr id Source

mkHsWrapCo :: TcCoercion -> HsExpr id -> HsExpr id Source

mkLHsWrapCo :: TcCoercion -> LHsExpr id -> LHsExpr id Source

coToHsWrapper :: TcCoercion -> HsWrapper Source

mkHsDictLet :: TcEvBinds -> LHsExpr Id -> LHsExpr Id Source

mkHsLams :: [TyVar] -> [EvVar] -> LHsExpr Id -> LHsExpr Id Source

mkHsOpApp :: LHsExpr id -> id -> LHsExpr id -> HsExpr id Source

mkHsDo :: HsStmtContext Name -> [ExprLStmt id] -> HsExpr id Source

mkHsComp :: HsStmtContext Name -> [ExprLStmt id] -> LHsExpr id -> HsExpr id Source

mkHsWrapPat :: HsWrapper -> Pat id -> Type -> Pat id Source

mkHsWrapPatCo :: TcCoercion -> Pat id -> Type -> Pat id Source

mkLHsPar :: LHsExpr name -> LHsExpr name Source

mkHsCmdCast :: TcCoercion -> HsCmd id -> HsCmd id Source

nlHsTyApp :: name -> [Type] -> LHsExpr name Source

nlHsVar :: id -> LHsExpr id Source

nlHsLit :: HsLit -> LHsExpr id Source

nlHsApp :: LHsExpr id -> LHsExpr id -> LHsExpr id Source

nlHsApps :: id -> [LHsExpr id] -> LHsExpr id Source

nlHsIntLit :: Integer -> LHsExpr id Source

nlHsVarApps :: id -> [id] -> LHsExpr id Source

nlHsDo :: HsStmtContext Name -> [LStmt id (LHsExpr id)] -> LHsExpr id Source

nlHsOpApp :: LHsExpr id -> id -> LHsExpr id -> LHsExpr id Source

nlHsLam :: LMatch id (LHsExpr id) -> LHsExpr id Source

nlHsPar :: LHsExpr id -> LHsExpr id Source

nlHsIf :: LHsExpr id -> LHsExpr id -> LHsExpr id -> LHsExpr id Source

nlHsCase :: LHsExpr id -> [LMatch id (LHsExpr id)] -> LHsExpr id Source

nlList :: [LHsExpr id] -> LHsExpr id Source

mkLHsTupleExpr :: [LHsExpr a] -> LHsExpr a Source

mkLHsVarTuple :: [a] -> LHsExpr a Source

missingTupArg :: HsTupArg a Source

toHsType :: Type -> LHsType RdrName Source

toHsKind :: Kind -> LHsKind RdrName Source

mkFunBind :: Located RdrName -> [LMatch RdrName (LHsExpr RdrName)] -> HsBind RdrName Source

mkVarBind :: id -> LHsExpr id -> LHsBind id Source

mkHsVarBind :: SrcSpan -> RdrName -> LHsExpr RdrName -> (Origin, LHsBind RdrName) Source

mk_easy_FunBind :: SrcSpan -> RdrName -> [LPat RdrName] -> LHsExpr RdrName -> (Origin, LHsBind RdrName) Source

mkTopFunBind :: Located Name -> [LMatch Name (LHsExpr Name)] -> HsBind Name Source

mkPatSynBind :: Located RdrName -> HsPatSynDetails (Located RdrName) -> LPat RdrName -> HsPatSynDir RdrName -> HsBind RdrName Source

mkHsIntegral :: Integer -> PostTcType -> HsOverLit id Source

mkHsFractional :: FractionalLit -> PostTcType -> HsOverLit id Source

mkHsIsString :: FastString -> PostTcType -> HsOverLit id Source

mkHsString :: String -> HsLit Source

mkNPat :: HsOverLit id -> Maybe (SyntaxExpr id) -> Pat id Source

mkNPlusKPat :: Located id -> HsOverLit id -> Pat id Source

nlVarPat :: id -> LPat id Source

nlLitPat :: HsLit -> LPat id Source

nlConVarPat :: id -> [id] -> LPat id Source

nlConPat :: id -> [LPat id] -> LPat id Source

nlInfixConPat :: id -> LPat id -> LPat id -> LPat id Source

nlNullaryConPat :: id -> LPat id Source

nlWildConPat :: DataCon -> LPat RdrName Source

nlWildPat :: LPat id Source

nlTuplePat :: [LPat id] -> Boxity -> LPat id Source

mkParPat :: LPat name -> LPat name Source

mkHsAppTy :: LHsType name -> LHsType name -> LHsType name Source

userHsTyVarBndrs :: SrcSpan -> [name] -> [Located (HsTyVarBndr name)] Source

nlHsAppTy :: LHsType name -> LHsType name -> LHsType name Source

nlHsTyVar :: name -> LHsType name Source

nlHsFunTy :: LHsType name -> LHsType name -> LHsType name Source

nlHsTyConApp :: name -> [LHsType name] -> LHsType name Source

mkTransformStmt :: [ExprLStmt idL] -> LHsExpr idR -> StmtLR idL idR (LHsExpr idL) Source

mkTransformByStmt :: [ExprLStmt idL] -> LHsExpr idR -> LHsExpr idR -> StmtLR idL idR (LHsExpr idL) Source

mkBodyStmt :: Located (bodyR idR) -> StmtLR idL idR (Located (bodyR idR)) Source

mkBindStmt :: LPat idL -> Located (bodyR idR) -> StmtLR idL idR (Located (bodyR idR)) Source

mkLastStmt :: Located (bodyR idR) -> StmtLR idL idR (Located (bodyR idR)) Source

emptyTransStmt :: StmtLR idL idR (LHsExpr idR) Source

mkGroupUsingStmt :: [ExprLStmt idL] -> LHsExpr idR -> StmtLR idL idR (LHsExpr idL) Source

mkGroupByUsingStmt :: [ExprLStmt idL] -> LHsExpr idR -> LHsExpr idR -> StmtLR idL idR (LHsExpr idL) Source

emptyRecStmt :: StmtLR idL idR bodyR Source

mkRecStmt :: [LStmtLR idL idR bodyR] -> StmtLR idL idR bodyR Source

mkHsSpliceTy :: LHsExpr RdrName -> HsType RdrName Source

mkHsSpliceE :: LHsExpr RdrName -> HsExpr RdrName Source

mkHsSpliceTE :: LHsExpr RdrName -> HsExpr RdrName Source

mkHsSplice :: LHsExpr RdrName -> HsSplice RdrName Source

mkHsQuasiQuote :: RdrName -> SrcSpan -> FastString -> HsQuasiQuote RdrName Source

unqualQuasiQuote :: RdrName Source

noRebindableInfo :: Bool Source

collectLocalBinders :: HsLocalBindsLR idL idR -> [idL] Source

collectHsValBinders :: HsValBindsLR idL idR -> [idL] Source

collectHsBindListBinders :: [LHsBindLR idL idR] -> [idL] Source

collectHsBindsBinders :: LHsBindsLR idL idR -> [idL] Source

collectHsBindBinders :: HsBindLR idL idR -> [idL] Source

collectMethodBinders :: LHsBindsLR RdrName idR -> [Located RdrName] Source

collectPatBinders :: LPat a -> [a] Source

collectPatsBinders :: [LPat a] -> [a] Source

collectLStmtsBinders :: [LStmtLR idL idR body] -> [idL] Source

collectStmtsBinders :: [StmtLR idL idR body] -> [idL] Source

collectLStmtBinders :: LStmtLR idL idR body -> [idL] Source

collectStmtBinders :: StmtLR idL idR body -> [idL] Source

hsLTyClDeclBinders :: Eq name => Located (TyClDecl name) -> [Located name] Source

hsTyClDeclsBinders :: [TyClGroup Name] -> [Located (InstDecl Name)] -> [Name] Source

hsForeignDeclsBinders :: [LForeignDecl Name] -> [Name] Source

hsGroupBinders :: HsGroup Name -> [Name] Source

hsDataFamInstBinders :: Eq name => DataFamInstDecl name -> [Located name] Source

lStmtsImplicits :: [LStmtLR Name idR (Located (body idR))] -> NameSet Source

hsValBindsImplicits :: HsValBindsLR Name idR -> NameSet Source

lPatImplicits :: LPat Name -> NameSet Source