monadic-bang-0.2.2.0: GHC plugin to desugar ! into do-notation

Safe Haskell	Safe-Inferred
Language	GHC2021

MonadicBang.Internal.Utils

Synopsis

type DList a = Endo [a]
type Handler m a = a -> m a
type Try m a = Handler (MaybeT m) a
fromDList :: DList a -> [a]
(??) :: Functor f => f (a -> b) -> a -> f b
panic :: HasCallStack => String -> a

Documentation

type DList a = Endo [a] Source #

type Handler m a = a -> m a Source #

Handle a specific AST node

type Try m a = Handler (MaybeT m) a Source #

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

fromDList :: DList a -> [a] Source #

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

panic :: HasCallStack => String -> a Source #