• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for morphisms-functors-0.1.7 source tarball

morphisms-functors-0.1.7/

• CHANGELOG.md
• LICENSE
• Setup.hs
• morphisms-functors.cabal
• Control/
  • Functor.hs
  • Variance.hs
  • Functor/
    • Contravariant.hs
    • Covariant.hs
    • Invariant.hs
    • Covariant/
      • Alternative.hs
      • Applicative.hs
      • Exclusive.hs
      • Extractable.hs
      • Pointable.hs
      • Composition/
        • Adjoint.hs
        • Bindable.hs
        • Comonad.hs
        • Distributive.hs
        • Extendable.hs
        • Monad.hs
        • Traversable.hs
      • Transformation/
        • Liftable.hs
        • Lowerable.hs
    • Polyvariant/
      • Bicontravariant.hs
      • Bicovariant.hs
      • Orpvariant.hs
      • Provariant.hs
      • Quadcontravariant.hs
      • Quadcovariant.hs
      • Tricontravariant.hs
      • Tricovariant.hs
• Data/
  • Functor.hs
  • Functor/
    • Codensity.hs
    • Constant.hs
    • Identity.hs
    • Product.hs
    • Yoneda.hs
    • Arrow/
      • Opposite.hs
      • Straight.hs
    • Composition/
      • T.hs
      • TT.hs
      • TTT.hs
    • Extension/
      • Kan.hs
    • Transformation/
      • Natural.hs