Documentation

class Has a as whereSource

data Extensions es Source

addExtension :: e -> Extensions es -> Extensions (e : es)Source

data Initializer i m o Source

type Initializer' m a = forall i. Initializer i m (a : i)Source

initializer :: Monad m => m e -> Initializer' m eSource

preAction :: Monad m => m a -> Initializer i m iSource

(+>) :: Monad m => Initializer i m x -> Initializer x m o -> Initializer i m oSource

noExtension :: Monad m => Initializer `[]` m `[]`Source