Clash.Rewrite.Combinators

Rewriting combinators and traversals

Documentation

allR

Arguments

:: forall m. Monad m

=> Transform m

The transformation to apply to the subtrees

-> Transform m

Apply a transformation on the subtrees of an term

(!->) :: Rewrite m -> Rewrite m -> Rewrite m infixr 5

Only apply the second transformation if the first one succeeds.

(>-!) :: Rewrite m -> Rewrite m -> Rewrite m infixr 5

Only apply the second transformation if the first one fails.

(>-!->) :: Monad m => Transform m -> Transform m -> Transform m infixr 6

Apply two transformations in succession, and perform a deepseq in between.

(>->) :: Monad m => Transform m -> Transform m -> Transform m infixr 6

Apply two transformations in succession

bottomupR :: Monad m => Transform m -> Transform m

Apply a transformation in a bottomup traversal

repeatR :: Rewrite m -> Rewrite m

Keep applying a transformation until it fails.

topdownR :: Rewrite m -> Rewrite m

Apply a transformation in a topdown traversal