ghc-9.2.0.20210331: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Core.Opt.Simplify.Monad

Synopsis

Documentation

data SimplM result Source #

Instances

Instances details
MonadIO SimplM # 
Instance details

Defined in GHC.Core.Opt.Simplify.Monad

Methods

liftIO :: IO a -> SimplM a Source #

Applicative SimplM # 
Instance details

Defined in GHC.Core.Opt.Simplify.Monad

Methods

pure :: a -> SimplM a Source #

(<*>) :: SimplM (a -> b) -> SimplM a -> SimplM b Source #

liftA2 :: (a -> b -> c) -> SimplM a -> SimplM b -> SimplM c Source #

(*>) :: SimplM a -> SimplM b -> SimplM b Source #

(<*) :: SimplM a -> SimplM b -> SimplM a Source #

Functor SimplM # 
Instance details

Defined in GHC.Core.Opt.Simplify.Monad

Methods

fmap :: (a -> b) -> SimplM a -> SimplM b Source #

(<$) :: a -> SimplM b -> SimplM a Source #

Monad SimplM # 
Instance details

Defined in GHC.Core.Opt.Simplify.Monad

Methods

(>>=) :: SimplM a -> (a -> SimplM b) -> SimplM b Source #

(>>) :: SimplM a -> SimplM b -> SimplM b Source #

return :: a -> SimplM a Source #

HasDynFlags SimplM # 
Instance details

Defined in GHC.Core.Opt.Simplify.Monad

MonadUnique SimplM # 
Instance details

Defined in GHC.Core.Opt.Simplify.Monad

HasLogger SimplM # 
Instance details

Defined in GHC.Core.Opt.Simplify.Monad

class Monad m => MonadUnique m where Source #

A monad for generating unique identifiers

Minimal complete definition

getUniqueSupplyM

Methods

getUniqueSupplyM :: m UniqSupply Source #

Get a new UniqueSupply

getUniqueM :: m Unique Source #

Get a new unique identifier

getUniquesM :: m [Unique] Source #

Get an infinite list of new unique identifiers

Instances

Instances details
MonadUnique NatM # 
Instance details

Defined in GHC.CmmToAsm.Monad

MonadUnique LlvmM # 
Instance details

Defined in GHC.CmmToLlvm.Base

MonadUnique CoreM # 
Instance details

Defined in GHC.Core.Opt.Monad

MonadUnique SimplM # 
Instance details

Defined in GHC.Core.Opt.Simplify.Monad

MonadUnique LiftM # 
Instance details

Defined in GHC.Stg.Lift.Monad

MonadUnique CmmParse # 
Instance details

Defined in GHC.StgToCmm.ExtCode

MonadUnique FCode # 
Instance details

Defined in GHC.StgToCmm.Monad

MonadUnique TcS # 
Instance details

Defined in GHC.Tc.Solver.Monad

MonadUnique UniqSM # 
Instance details

Defined in GHC.Types.Unique.Supply

MonadUnique (IOEnv (Env gbl lcl)) # 
Instance details

Defined in GHC.Tc.Utils.Monad