std.transformer

Types

type Transformer t = { wrap_monad : forall a m . [Monad m] -> m a -> t m a }

Values

let wrap_monad ?_ ?tr ma : forall a t m . [Monad m] -> [Transformer t] -> m a -> t m a