std.transformer

Utilities for writing Monad transformers

Types

#[implicit]
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