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

Safe Haskell	None
Language	GHC2021

MonadicBang.Internal.Utils

Synopsis

type DList a = Endo [a]
type Handler (m :: Type -> Type) a = a -> m a
type Try (m :: Type -> Type) 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 :: Type -> Type) a = a -> m a Source #

Handle a specific AST node

type Try (m :: Type -> Type) 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 #