category_theory

• category_theory package
  • Submodules
  • category_theory.applicative module
    • Just
      • Just.apply()
    • Maybe
      • Maybe.pure()
    • Validation
    • maybe()
  • category_theory.core module
    • Applicative
      • Applicative.apply()
      • Applicative.pure()
    • Atomic
    • CommutativeMonoid
    • Functor
      • Functor.map()
    • Monoid
      • Monoid.e()
  • category_theory.functor module
    • Just
      • Just.map()
    • List
      • List.map()
    • Maybe
    • maybe()
  • category_theory.monoid module
    • All
      • All.e()
    • Any
      • Any.e()
    • IntPlus
      • IntPlus.e()
    • IntProd
      • IntProd.e()
    • MaybeIntPlus
      • MaybeIntPlus.e()
    • MaybeIntProd
      • MaybeIntProd.e()
    • String
      • String.e()
  • category_theory.operations module
    • compose()
    • fold()
    • foldr()
    • identity()
    • is_nothing()
  • category_theory.par_operations module
    • chunkify()
    • fold()
  • Module contents
    • fold()
    • foldr()
    • par_fold()