Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Tc.Types.TcRef

Synopsis

type TcRef
value newTcRef
value readTcRef
value writeTcRef
value updTcRef
value updTcRefM

Packageghc-lib-parser-9.14.1.20251220
Exports6
LanguageGHC2021
LicenceBSD-3-Clause
SourceTcRef.hs

typetype TcRef a = IORef a

Type alias for IORef; the convention is we'll use this for mutable bits of data in the typechecker which are updated during typechecking and returned at the end.

valuenewTcRef :: MonadIO m => a -> m (TcRef a)

valuereadTcRef :: MonadIO m => TcRef a -> m a

valuewriteTcRef :: MonadIO m => TcRef a -> a -> m ()

valueupdTcRef :: MonadIO m => TcRef a -> (a -> a) -> m ()

valueupdTcRefM :: MonadIO m => TcRef a -> (a -> m a) -> m ()