Safe Haskell | None |
---|---|
Language | Haskell2010 |
GHC.Tc.Types.LclEnv
Documentation
Constructors
TcLclEnv | |
Fields
|
Constructors
TcLclCtxt | |
Fields
|
getLclEnvArrowCtxt :: TcLclEnv -> ArrowCtxt #
getLclEnvThBndrs :: TcLclEnv -> ThBindEnv #
getLclEnvTypeEnv :: TcLclEnv -> TcTypeEnv #
getLclEnvErrCtxt :: TcLclEnv -> [ErrCtxt] #
getLclEnvLoc :: TcLclEnv -> RealSrcSpan #
getLclEnvRdrEnv :: TcLclEnv -> LocalRdrEnv #
getLclEnvTcLevel :: TcLclEnv -> TcLevel #
getLclEnvThStage :: TcLclEnv -> ThStage #
setLclEnvTcLevel :: TcLevel -> TcLclEnv -> TcLclEnv #
setLclEnvLoc :: RealSrcSpan -> TcLclEnv -> TcLclEnv #
setLclEnvRdrEnv :: LocalRdrEnv -> TcLclEnv -> TcLclEnv #
setLclEnvBinderStack :: TcBinderStack -> TcLclEnv -> TcLclEnv #
setLclEnvErrCtxt :: [ErrCtxt] -> TcLclEnv -> TcLclEnv #
setLclEnvThStage :: ThStage -> TcLclEnv -> TcLclEnv #
setLclEnvTypeEnv :: TcTypeEnv -> TcLclEnv -> TcLclEnv #
lclEnvInGeneratedCode :: TcLclEnv -> Bool #
addLclEnvErrCtxt :: ErrCtxt -> TcLclEnv -> TcLclEnv #
Constructors
NoArrowCtxt | |
ArrowCtxt LocalRdrEnv (TcRef WantedConstraints) |
type ThBindEnv = NameEnv (TopLevelFlag, ThLevel) #