state package:ghc-lib-parser

Unit manipulation

ghc-lib-parser GHC.Utils.Monad.State.Strict

A state monad which is strict in the state s, but lazy in the value a. See Note [Strict State monad] for the particular notion of strictness and implementation details.

pattern State :: (s -> (# a, s #)) -> State s a

ghc-lib-parser GHC.Utils.Monad.State.Strict

statePrimTyConKey :: Unique

ghc-lib-parser GHC.Builtin.Names

statePrimTyCon :: TyCon

ghc-lib-parser GHC.Builtin.Types.Prim

mkStatePrimTy :: Type -> Type

ghc-lib-parser GHC.Builtin.Types.Prim

realWorldStatePrimTy :: Type

ghc-lib-parser GHC.Builtin.Types.Prim

isStateHackType :: Type -> Bool

ghc-lib-parser GHC.Core.Opt.Arity

data DynamicTooState

ghc-lib-parser GHC.Driver.DynFlags GHC.Driver.Session

Opt_G_NoStateHack :: GeneralFlag

ghc-lib-parser GHC.Driver.DynFlags GHC.Driver.Flags GHC.Driver.Session

dynamicTooState :: DynFlags -> DynamicTooState

ghc-lib-parser GHC.Driver.DynFlags GHC.Driver.Session

hasNoStateHack :: DynFlags -> Bool

ghc-lib-parser GHC.Driver.DynFlags GHC.Driver.Session

getCmdLineState :: CmdLineP s s

ghc-lib-parser GHC.Driver.Session

putCmdLineState :: s -> CmdLineP s ()

ghc-lib-parser GHC.Driver.Session

ThExoticStatement :: [Stmt GhcRn (LHsExpr GhcRn)] -> ThRejectionReason

ghc-lib-parser GHC.HsToCore.Errors.Types

data TmState

ghc-lib-parser GHC.HsToCore.Pmc.Solver.Types

The term oracle state. Stores VarInfo for encountered Ids. These entries are possibly shared when we figure out that two variables must be equal, thus represent the same set of values. See Note [TmState invariants] in GHC.HsToCore.Pmc.Solver.

data TyState

ghc-lib-parser GHC.HsToCore.Pmc.Solver.Types

The type oracle state. An InertSet that we incrementally add local type constraints to, together with a sequence number that counts the number of times we extended it with new facts.

data LoaderState

ghc-lib-parser GHC.Linker.Types

LoaderState :: LinkerEnv -> LinkableSet -> LinkableSet -> PkgsLoaded -> [(FilePath, String)] -> LoaderState

ghc-lib-parser GHC.Linker.Types

loader_state :: Loader -> MVar (Maybe LoaderState)

ghc-lib-parser GHC.Linker.Types

parseStatement :: P (GenLocated SrcSpanAnnA (StmtLR GhcPs GhcPs (GenLocated SrcSpanAnnA (HsExpr GhcPs))))

ghc-lib-parser GHC.Parser

data PState

ghc-lib-parser GHC.Parser.Lexer

PState :: StringBuffer -> ParserOpts -> Messages PsMessage -> Messages PsMessage -> Maybe RealSrcSpan -> Word -> Maybe (PsLocated Token) -> PsSpan -> PsSpan -> Int -> PsLoc -> [LayoutContext] -> [Int] -> [FastString] -> [PsLocated Token] -> Maybe (PsLocated Token) -> PsSpan -> [ALRContext] -> Maybe ALRLayout -> Bool -> Maybe (Pair RealSrcSpan RealSrcSpan) -> Maybe [LEpaComment] -> [LEpaComment] -> OrdList (PsLocated HdkComment) -> PState

ghc-lib-parser GHC.Parser.Lexer