Moduleghc-9.14.1GHC2021

GHC.Tc.Zonk.Monad

The ZonkM monad, a stripped down TcM, used when zonking within the typechecker in GHC.Tc.Zonk.TcType.

See Note [Module structure for zonking] in GHC.Tc.Zonk.Type.

Contents

Synopsis

The ZonkM monad, a stripped down `TcM` for zonking

newtypenewtype ZonkM a

A stripped down version of TcM which is sufficient for zonking types.

Instances4Monad, Functor, Applicative, MonadIO

patternpattern ZonkM :: (ZonkGblEnv -> IO a) -> ZonkM a

valuerunZonkM :: ZonkM a -> ZonkGblEnv -> IO a

datadata ZonkGblEnv

Information needed by the ZonkM monad, which is a slimmed down version of TcM with just enough information for zonking.

valuegetZonkGblEnv :: ZonkM ZonkGblEnv

valuegetZonkTcLevel :: ZonkM TcLevel

valuetraceZonk :: String -> SDoc -> ZonkM ()

Same as traceTc, but for the ZonkM monad.