(Monoid w, Associate Symbol (* -> *) "Writer" ((,) w) xs) => MonadWriter w (Eff Symbol xs) Source #
Methods writer :: (a, w) -> Eff Symbol xs a # tell :: w -> Eff Symbol xs () # listen :: Eff Symbol xs a -> Eff Symbol xs (a, w) # pass :: Eff Symbol xs (a, w -> w) -> Eff Symbol xs a #
Associate Symbol (* -> *) "State" (State s) xs => MonadState s (Eff Symbol xs) Source #
Methods get :: Eff Symbol xs s # put :: s -> Eff Symbol xs () # state :: (s -> (a, s)) -> Eff Symbol xs a #
Associate Symbol (* -> ) "Reader" ((:~:) r) xs => MonadReader r (Eff Symbol xs) Source #
Methods ask :: Eff Symbol xs r # local :: (r -> r) -> Eff Symbol xs a -> Eff Symbol xs a # reader :: (r -> a) -> Eff Symbol xs a #
Associate Symbol (* -> ) "Either" (Const e) xs => MonadError e (Eff Symbol xs) Source #
Methods throwError :: e -> Eff Symbol xs a # catchError :: Eff Symbol xs a -> (e -> Eff Symbol xs a) -> Eff Symbol xs a #
Associate Symbol (* -> *) "IO" IO xs => MonadIO (Eff Symbol xs) Source #
Methods liftIO :: IO a -> Eff Symbol xs a #
(Monoid e, Associate Symbol (* -> ) "Either" (Const e) xs) => Alternative (Eff Symbol xs) Source #	A bit dubious
Methods empty :: Eff Symbol xs a # (<\|>) :: Eff Symbol xs a -> Eff Symbol xs a -> Eff Symbol xs a # some :: Eff Symbol xs a -> Eff Symbol xs [a] # many :: Eff Symbol xs a -> Eff Symbol xs [a] #
(Monoid e, Associate Symbol (* -> ) "Either" (Const e) xs) => MonadPlus (Eff Symbol xs) Source #
Methods mzero :: Eff Symbol xs a # mplus :: Eff Symbol xs a -> Eff Symbol xs a -> Eff Symbol xs a #