Safe Haskell	Safe-Inferred
Language	Haskell2010

CFG.Optimizations.Optimizer

Documentation

Constructors

CFGOptimizerState
Fields cfg :: CFG

Instances details

Generic CFGOptimizerState Source #
Instance details Defined in CFG.Optimizations.Optimizer Associated Types type Rep CFGOptimizerState :: Type -> Type # Methods from :: CFGOptimizerState -> Rep CFGOptimizerState x # to :: Rep CFGOptimizerState x -> CFGOptimizerState #
MonadState CFGOptimizerState CFGOptimizer Source #
Instance details Defined in CFG.Optimizations.Optimizer Methods get :: CFGOptimizer CFGOptimizerState # put :: CFGOptimizerState -> CFGOptimizer () # state :: (CFGOptimizerState -> (a, CFGOptimizerState)) -> CFGOptimizer a #
type Rep CFGOptimizerState Source #
Instance details Defined in CFG.Optimizations.Optimizer type Rep CFGOptimizerState = D1 ('MetaData "CFGOptimizerState" "CFG.Optimizations.Optimizer" "decaf-0.1.0.0-GF5ZfPyXbr16gB58O7mLnT" 'False) (C1 ('MetaCons "CFGOptimizerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "cfg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CFG)))

Constructors

CFGOptmizer
Fields runOptimizer :: StateT CFGOptimizerState (Except CompileError) a

Instances details

Applicative CFGOptimizer Source #
Instance details Defined in CFG.Optimizations.Optimizer Methods pure :: a -> CFGOptimizer a # (<>) :: CFGOptimizer (a -> b) -> CFGOptimizer a -> CFGOptimizer b # liftA2 :: (a -> b -> c) -> CFGOptimizer a -> CFGOptimizer b -> CFGOptimizer c # (>) :: CFGOptimizer a -> CFGOptimizer b -> CFGOptimizer b # (<*) :: CFGOptimizer a -> CFGOptimizer b -> CFGOptimizer a #
Functor CFGOptimizer Source #
Instance details Defined in CFG.Optimizations.Optimizer Methods fmap :: (a -> b) -> CFGOptimizer a -> CFGOptimizer b # (<$) :: a -> CFGOptimizer b -> CFGOptimizer a #
Monad CFGOptimizer Source #
Instance details Defined in CFG.Optimizations.Optimizer Methods (>>=) :: CFGOptimizer a -> (a -> CFGOptimizer b) -> CFGOptimizer b # (>>) :: CFGOptimizer a -> CFGOptimizer b -> CFGOptimizer b # return :: a -> CFGOptimizer a #
MonadError CompileError CFGOptimizer Source #
Instance details Defined in CFG.Optimizations.Optimizer Methods throwError :: CompileError -> CFGOptimizer a # catchError :: CFGOptimizer a -> (CompileError -> CFGOptimizer a) -> CFGOptimizer a #
MonadState CFGOptimizerState CFGOptimizer Source #
Instance details Defined in CFG.Optimizations.Optimizer Methods get :: CFGOptimizer CFGOptimizerState # put :: CFGOptimizerState -> CFGOptimizer () # state :: (CFGOptimizerState -> (a, CFGOptimizerState)) -> CFGOptimizer a #