std.transformer
Utilities for writing Monad
transformers
Utilities for writing Monad
transformers
#[implicit] type Transformer t = { wrap_monad : forall a m . [Monad m] -> m a -> t m a }
let wrap_monad ?_ ?tr ma : forall a t m . [Monad m] -> [Transformer t] -> m a -> t m a