polynomial-comonad

polynomial-comonad-0.1.0.0

• Control
  Submodules

  • Category
    Submodules

    •  Control.Category.Dual
    •  Control.Category.Indiscrete
    •  Control.Category.NatOrd
    •  Control.Category.OneObject
  • Comonad
    Submodules

    •  Control.Comonad.Travel
      Submodules

      •  Control.Comonad.Travel.Boolean
      •  Control.Comonad.Travel.Env
      •  Control.Comonad.Travel.NonEmpty
      •  Control.Comonad.Travel.Store
      •  Control.Comonad.Travel.Traced
  • Monad
    Submodules

    •  Control.Monad.Flow
• Data
  Submodules

  •  Data.InternalCategory
    Submodules

    •  Data.InternalCategory.Codiscrete
    •  Data.InternalCategory.Discrete
    •  Data.InternalCategory.Morphism
    •  Data.InternalCategory.PolyComonad
  •  Data.InternalQuiver