lude

Haskell prelude alternative
git clone git://git.rr3.xyz/lude | git clone gits://git.rr3.xyz/lude
Log | Files | Refs | README | LICENSE

Category.hs (899B)

      1 module Lude.Algebra.Category (
      2     module X,
      3 ) where
      4 
      5 import Lude.Algebra.Category.Adjunction as X
      6 import Lude.Algebra.Category.Algebra as X
      7 import Lude.Algebra.Category.Bifunctor as X
      8 import Lude.Algebra.Category.Constrained as X
      9 import Lude.Algebra.Category.Core as X
     10 import Lude.Algebra.Category.Discrete as X
     11 import Lude.Algebra.Category.Hom as X
     12 import Lude.Algebra.Category.Initial as X
     13 import Lude.Algebra.Category.Iso as X
     14 import Lude.Algebra.Category.Monad as X
     15 import Lude.Algebra.Category.Terminal as X
     16 
     17 -- TODO: Semicategory? Semimonad? Etc... See semigroups package.
     18 
     19 -- TODO: Free and cofree
     20 
     21 -- TODO: Profunctors? Other special kinds of functors, given distinct names?
     22 -- That would allow being a functor in multiple ways without losing coherence.
     23 -- E.g., lists could be mappable "normally" and filterable (choose is map).
     24 
     25 -- TODO: Filterable is functor from Kleisli Option to Hask