Copyright | (c) Fumiaki Kinoshita 2017 |
---|---|
License | BSD3 |
Maintainer | Fumiaki Kinoshita <fumiexcel@gmail.com> |
Safe Haskell | None |
Language | Haskell2010 |
Default monad runners and MonadIO
, MonadReader
, MonadWriter
,
MonadState
, MonadError
instances
Documentation
Orphan instances
Associate (* -> *) Symbol "Either" (Const * e) xs => MonadError e (Eff Symbol xs) Source # | |
Associate (* -> *) Symbol "Reader" ((:~:) * r) xs => MonadReader r (Eff Symbol xs) Source # | |
Associate (* -> *) Symbol "State" (State s) xs => MonadState s (Eff Symbol xs) Source # | |
(Monoid w, Associate (* -> *) Symbol "Writer" ((,) w) xs) => MonadWriter w (Eff Symbol xs) Source # | |
Associate (* -> *) Symbol "IO" IO xs => MonadIO (Eff Symbol xs) Source # | |
(Monoid e, Associate (* -> *) Symbol "Either" (Const * e) xs) => Alternative (Eff Symbol xs) Source # | |
(Monoid e, Associate (* -> *) Symbol "Either" (Const * e) xs) => MonadPlus (Eff Symbol xs) Source # | |