Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.Types.TcRef

Synopsis

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

Packageghc-10.0.0.20260917
Exports6
LanguageGHC2024
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 ()