Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A module signature for reader-like monads carrying a record-of-functions as environment.
To be useful for writing indefinite code, it should be expanded through "signature merging"
to require extra instances for the main monad M
(like MonadIO or MonadUnliftIO) and/or
the environment type E
(like some HasX typeclass).
https://github.com/danidiaz/really-small-backpack-example/tree/master/lesson3-signature-merging