ghc-8.2.1.20171108: The GHC API

Safe HaskellNone
LanguageHaskell2010

HsUtils

Contents

Synopsis

Documentation

mkHsPar :: LHsExpr id -> LHsExpr id Source #

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

mkHsAppType :: LHsExpr name -> LHsWcType name -> LHsExpr name Source #

mkHsAppTypeOut :: LHsExpr Id -> LHsWcType Name -> LHsExpr Id Source #

mkHsCaseAlt :: LPat id -> Located (body id) -> LMatch id (Located (body id)) Source #

A simple case alternative with a single pattern, no binds, no guards; pre-typechecking

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

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

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

mkMatchGroup :: PostTc name Type ~ PlaceHolder => Origin -> [LMatch name (Located (body name))] -> MatchGroup name (Located (body name)) Source #

mkMatch :: HsMatchContext (NameOrRdrName id) -> [LPat id] -> LHsExpr id -> Located (HsLocalBinds id) -> LMatch id (LHsExpr id) Source #

mkPrefixFunRhs :: Located id -> HsMatchContext id Source #

Make a prefix, non-strict function HsMatchContext

mkHsLam :: [LPat RdrName] -> LHsExpr RdrName -> LHsExpr RdrName 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 :: TcCoercionN -> HsExpr id -> HsExpr id Source #

mkHsWrapCoR :: TcCoercionR -> HsExpr id -> HsExpr id Source #

mkLHsWrapCo :: TcCoercionN -> LHsExpr id -> LHsExpr id 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 RdrName] -> HsExpr RdrName Source #

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

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

mkHsWrapPatCo :: TcCoercionN -> Pat id -> Type -> Pat id Source #

mkLHsPar :: LHsExpr name -> LHsExpr name Source #

mkHsCmdWrap :: HsWrapper -> HsCmd id -> HsCmd id Source #

mkLHsCmdWrap :: HsWrapper -> LHsCmd id -> LHsCmd id Source #

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

nlHsTyApps :: name -> [Type] -> [LHsExpr name] -> LHsExpr name Source #

nlHsVar :: id -> LHsExpr id Source #

nlHsDataCon :: DataCon -> LHsExpr Id Source #

nlHsLit :: HsLit -> LHsExpr id Source #

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

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

nlHsSyntaxApps :: SyntaxExpr id -> [LHsExpr id] -> LHsExpr id Source #

nlHsIntLit :: Integer -> LHsExpr id Source #

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

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

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

nlHsLam :: LMatch RdrName (LHsExpr RdrName) -> LHsExpr RdrName Source #

nlHsPar :: LHsExpr id -> LHsExpr id Source #

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

nlHsCase :: LHsExpr RdrName -> [LMatch RdrName (LHsExpr RdrName)] -> LHsExpr RdrName Source #

nlList :: [LHsExpr RdrName] -> LHsExpr RdrName Source #

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

mkLHsVarTuple :: [a] -> LHsExpr a Source #

missingTupArg :: HsTupArg RdrName Source #

typeToLHsType :: Type -> LHsType RdrName Source #

Converting a Type to an HsType RdrName This is needed to implement GeneralizedNewtypeDeriving.

Note that we use getRdrName extensively, which generates Exact RdrNames rather than strings.

Constructing general big tuples

GHCs built in tuples can only go up to mAX_TUPLE_SIZE in arity, but we might concievably want to build such a massive tuple as part of the output of a desugaring stage (notably that for list comprehensions).

We call tuples above this size "big tuples", and emulate them by creating and pattern matching on >nested< tuples that are expressible by GHC.

Nesting policy: it's better to have a 2-tuple of 10-tuples (3 objects) than a 10-tuple of 2-tuples (11 objects), so we want the leaves of any construction to be big.

If you just use the mkBigCoreTup, mkBigCoreVarTupTy, mkTupleSelector and mkTupleCase functions to do all your work with tuples you should be fine, and not have to worry about the arity limitation at all.

mkChunkified Source #

Arguments

:: ([a] -> a)

"Small" constructor function, of maximum input arity mAX_TUPLE_SIZE

-> [a]

Possible "big" list of things to construct from

-> a

Constructed thing made possible by recursive decomposition

Lifts a "small" constructor into a "big" constructor by recursive decompositon

chunkify :: [a] -> [[a]] Source #

Split a list into lists that are small enough to have a corresponding tuple arity. The sub-lists of the result all have length <= mAX_TUPLE_SIZE But there may be more than mAX_TUPLE_SIZE sub-lists

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

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

mkHsVarBind :: SrcSpan -> RdrName -> LHsExpr RdrName -> LHsBind RdrName Source #

mk_easy_FunBind :: SrcSpan -> RdrName -> [LPat RdrName] -> LHsExpr RdrName -> LHsBind RdrName Source #

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

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

isInfixFunBind :: HsBindLR id1 id2 -> Bool Source #

If any of the matches in the FunBind are infix, the FunBind is considered infix.

mkHsIntegral :: SourceText -> Integer -> PostTc RdrName Type -> HsOverLit RdrName Source #

mkHsFractional :: FractionalLit -> PostTc RdrName Type -> HsOverLit RdrName Source #

mkHsIsString :: SourceText -> FastString -> PostTc RdrName Type -> HsOverLit RdrName Source #

mkHsString :: String -> HsLit Source #

mkHsStringPrimLit :: FastString -> HsLit Source #

mkNPat :: Located (HsOverLit RdrName) -> Maybe (SyntaxExpr RdrName) -> Pat RdrName Source #

mkNPlusKPat :: Located RdrName -> Located (HsOverLit RdrName) -> Pat RdrName Source #

nlVarPat :: id -> LPat id Source #

nlLitPat :: HsLit -> LPat id Source #

nlConVarPat :: RdrName -> [RdrName] -> LPat RdrName Source #

nlConVarPatName :: Name -> [Name] -> LPat Name Source #

nlConPat :: RdrName -> [LPat RdrName] -> LPat RdrName Source #

nlConPatName :: Name -> [LPat Name] -> LPat Name Source #

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

nlNullaryConPat :: id -> LPat id Source #

nlWildConPat :: DataCon -> LPat RdrName Source #

nlWildPat :: LPat RdrName Source #

nlWildPatName :: LPat Name Source #

nlWildPatId :: LPat Id Source #

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

mkParPat :: LPat name -> LPat name Source #

nlParPat :: LPat name -> LPat name Source #

mkBigLHsVarTup :: [id] -> LHsExpr id Source #

mkBigLHsTup :: [LHsExpr id] -> LHsExpr id Source #

mkBigLHsVarPatTup :: [id] -> LPat id Source #

mkBigLHsPatTup :: [LPat id] -> LPat id Source #

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

mkHsAppTys :: LHsType name -> [LHsType name] -> LHsType name Source #

userHsTyVarBndrs :: SrcSpan -> [name] -> [LHsTyVarBndr name] Source #

userHsLTyVarBndrs :: SrcSpan -> [Located name] -> [LHsTyVarBndr name] Source #

mkLHsSigType :: LHsType RdrName -> LHsSigType RdrName Source #

mkLHsSigWcType :: LHsType RdrName -> LHsSigWcType RdrName Source #

mkClassOpSigs :: [LSig RdrName] -> [LSig RdrName] Source #

mkHsSigEnv :: forall a. (LSig Name -> Maybe ([Located Name], a)) -> [LSig Name] -> NameEnv a Source #

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

nlHsTyVar :: name -> LHsType name Source #

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

nlHsParTy :: LHsType name -> LHsType name Source #

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

mkTransformStmt :: PostTc idR Type ~ PlaceHolder => [ExprLStmt idL] -> LHsExpr idR -> StmtLR idL idR (LHsExpr idL) Source #

mkTransformByStmt :: PostTc idR Type ~ PlaceHolder => [ExprLStmt idL] -> LHsExpr idR -> LHsExpr idR -> StmtLR idL idR (LHsExpr idL) Source #

mkBodyStmt :: Located (bodyR RdrName) -> StmtLR idL RdrName (Located (bodyR RdrName)) Source #

mkBindStmt :: PostTc idR Type ~ PlaceHolder => LPat idL -> Located (bodyR idR) -> StmtLR idL idR (Located (bodyR idR)) Source #

mkTcBindStmt :: LPat Id -> Located (bodyR Id) -> StmtLR Id Id (Located (bodyR Id)) Source #

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

emptyTransStmt :: PostTc idR Type ~ PlaceHolder => StmtLR idL idR (LHsExpr idR) Source #

mkGroupUsingStmt :: PostTc idR Type ~ PlaceHolder => [ExprLStmt idL] -> LHsExpr idR -> StmtLR idL idR (LHsExpr idL) Source #

mkGroupByUsingStmt :: PostTc idR Type ~ PlaceHolder => [ExprLStmt idL] -> LHsExpr idR -> LHsExpr idR -> StmtLR idL idR (LHsExpr idL) Source #

emptyRecStmt :: StmtLR idL RdrName bodyR Source #

emptyRecStmtName :: StmtLR Name Name bodyR Source #

emptyRecStmtId :: StmtLR Id Id bodyR Source #

mkRecStmt :: [LStmtLR idL RdrName bodyR] -> StmtLR idL RdrName bodyR Source #

mkHsSpliceTy :: SpliceDecoration -> LHsExpr RdrName -> HsType RdrName Source #

mkHsSpliceE :: SpliceDecoration -> LHsExpr RdrName -> HsExpr RdrName Source #

mkHsSpliceTE :: SpliceDecoration -> LHsExpr RdrName -> HsExpr RdrName Source #

mkUntypedSplice :: SpliceDecoration -> LHsExpr RdrName -> HsSplice RdrName Source #

mkHsQuasiQuote :: RdrName -> SrcSpan -> FastString -> HsSplice RdrName Source #

unqualQuasiQuote :: RdrName Source #

noRebindableInfo :: PlaceHolder Source #

isUnliftedHsBind :: HsBind Id -> Bool Source #

Should we treat this as an unlifted bind? This will be true for any bind that binds an unlifted variable, but we must be careful around AbsBinds. See Note [Unlifted id check in isUnliftedHsBind]. For usage information, see Note [Strict binds check] is DsBinds.

isBangedBind :: HsBind Id -> Bool Source #

Is a binding a strict variable bind (e.g. !x = ...)?

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

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

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

collectHsIdBinders :: HsValBindsLR 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 :: Located (TyClDecl name) -> ([Located name], [LFieldOcc name]) Source #

Returns all the binding names of the decl. The first one is

hsTyClForeignBinders :: [TyClGroup Name] -> [LForeignDecl Name] -> [Name] Source #

hsPatSynSelectors :: HsValBinds id -> [id] Source #

getPatSynBinds :: [(RecFlag, LHsBinds id)] -> [PatSynBind id id] Source #

hsForeignDeclsBinders :: [LForeignDecl name] -> [Located name] Source #

hsGroupBinders :: HsGroup Name -> [Name] Source #

hsDataFamInstBinders :: DataFamInstDecl name -> ([Located name], [LFieldOcc name]) Source #

hsDataDefnBinders :: HsDataDefn name -> ([Located name], [LFieldOcc name]) Source #

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

hsValBindsImplicits :: HsValBindsLR Name idR -> NameSet Source #

lPatImplicits :: LPat Name -> NameSet Source #