GHC.Cmm.Opt

Documentation

constantFoldNode :: forall (e :: Extensibility) (x :: Extensibility). CmmNode e x -> Opt (CmmNode e x)

constantFoldExpr :: Platform -> CmmExpr -> CmmExpr

cmmMachOpFold :: Platform -> MachOp -> [CmmExpr] -> CmmExpr

cmmMachOpFoldM :: Platform -> MachOp -> [CmmExpr] -> Maybe CmmExpr

data Opt a

Instances

MonadGetUnique Opt

Defined in GHC.Cmm.Opt

Methods

getUniqueM :: Opt Unique

Applicative Opt

Defined in GHC.Cmm.Opt

Methods

pure :: a -> Opt a

(<*>) :: Opt (a -> b) -> Opt a -> Opt b

liftA2 :: (a -> b -> c) -> Opt a -> Opt b -> Opt c

(*>) :: Opt a -> Opt b -> Opt b

(<*) :: Opt a -> Opt b -> Opt a

Functor Opt

Defined in GHC.Cmm.Opt

Methods

fmap :: (a -> b) -> Opt a -> Opt b

(<$) :: a -> Opt b -> Opt a

Monad Opt

Defined in GHC.Cmm.Opt

Methods

(>>=) :: Opt a -> (a -> Opt b) -> Opt b

(>>) :: Opt a -> Opt b -> Opt b

return :: a -> Opt a

runOpt :: CmmConfig -> Opt a -> UniqDSM ([CmmNode O O], a)