Axel.Utils.Recursion

Documentation

exhaustM :: (Eq a, Monad m) => (a -> m a) -> a -> m a

class Recursive a where

Minimal complete definition

bottomUpFmap, bottomUpTraverse, topDownFmap

Methods

bottomUpFmap :: (a -> a) -> a -> a

bottomUpTraverse :: Monad m => (a -> m a) -> a -> m a

topDownFmap :: (a -> a) -> a -> a

Instances

Recursive Expression

Defined in Axel.Parse

Methods

bottomUpFmap :: (Expression -> Expression) -> Expression -> Expression

bottomUpTraverse :: Monad m => (Expression -> m Expression) -> Expression -> m Expression

topDownFmap :: (Expression -> Expression) -> Expression -> Expression

Recursive Expression

Defined in Axel.AST

Methods

bottomUpFmap :: (Expression -> Expression) -> Expression -> Expression

bottomUpTraverse :: Monad m => (Expression -> m Expression) -> Expression -> m Expression

topDownFmap :: (Expression -> Expression) -> Expression -> Expression