functor-monad

functor-monad

FFunctor is a type class for endofunctors on the category of Functors.

FMonad is a type class for monads in the category of Functors.

Modules

functor-monad-0.1.2.0

Control
Submodules
- Monad
  Submodules
  - Control.Monad.Trail
Data
Submodules
- Functor
  Submodules
  - Data.Functor.Bicompose
  - Day
    Submodules
    Data.Functor.Day.Extra
  - Data.Functor.Exp
  - Data.Functor.Flip1
  - Data.Functor.Precompose
FComonad
Submodules
- FComonad.Adjoint
FFunctor
Submodules
- FFunctor.Adjunction
- FFunctor.FCompose
FMonad
Submodules
- FMonad.Adjoint
- Cont
  Submodules
  - FMonad.Cont.Curried
  - FMonad.Cont.Exp
- FMonad.FFree
- FMonad.FreeT
- State
  Submodules
  - FMonad.State.Day
  - FMonad.State.Lan
  - FMonad.State.Ran
  - Simple
    Submodules
    FMonad.State.Simple.Inner
    FMonad.State.Simple.Outer
FStrong