| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
GHC.Tc.Zonk.Monad
Description
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.
Synopsis
- data ZonkM a where
- pattern ZonkM :: (ZonkGblEnv -> IO a) -> ZonkM a
- data ZonkGblEnv = ZonkGblEnv {}
- getZonkGblEnv :: ZonkM ZonkGblEnv
- getZonkTcLevel :: ZonkM TcLevel
- traceZonk :: String -> SDoc -> ZonkM ()
The ZonkM monad, a stripped down TcM for zonking
A stripped down version of TcM which is sufficient for zonking types.
Bundled Patterns
| pattern ZonkM :: (ZonkGblEnv -> IO a) -> ZonkM a |
data ZonkGblEnv Source #
Information needed by the ZonkM monad, which is a slimmed down version
of TcM with just enough information for zonking.
Constructors
| ZonkGblEnv | |
Fields | |