mlir-hs-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

MLIR.AST.Rewrite

Documentation

type RewriteBuilderT m = BlockBuilderT (RewriteT m) Source #

type OpRewriteM m = Operation -> RewriteBuilderT m RewriteResult Source #

type OpRewrite = OpRewriteM Identity Source #

data RewriteResult Source #

Constructors

Replace [Value] 
Skip 
Traverse 

pattern ReplaceOne :: Value -> RewriteResult Source #

applyClosedOpRewrite :: OpRewrite -> Operation -> Operation Source #

applyClosedOpRewriteT :: MonadFix m => OpRewriteM m -> Operation -> m Operation Source #