calculus/Control/Monad/Classes/EffectsFix.hs

   1 {-# LANGUAGE EmptyDataDecls #-}
   2 {-# LANGUAGE KindSignatures #-}
   3 module Control.Monad.Classes.EffectsFix where
   4 -- | Effects whose state is parameterized by the 'Monad' stack.
   5
   6 -- * Types of effects
   7
   8 -- | Writer effect
   9 data EffWriterFix (w :: {-m-}(* -> *) -> *)
  10
  11 -- | Reader effect
  12 data EffReaderFix (e :: {-m-}(* -> *) -> *)
  13
  14 -- | Local state change effect
  15 data EffLocalFix (e :: {-m-}(* -> *) -> *)
  16
  17 -- | State effect
  18 data EffStateFix (s :: {-m-}(* -> *) -> *)