MonadicBang.Utils

Documentation

type DList a = Endo [a]

type Handler m a = a -> m a

Handle a specific AST node

type Try m a = Handler (MaybeT m) a

Try handling an AST node, but may fail (usually because the handler is not applicable)

fromDList :: DList a -> [a]

(??) :: Functor f => f (a -> b) -> a -> f b

hoistMaybe :: Applicative m => Maybe a -> MaybeT m a

panic :: HasCallStack => String -> a