monoidal-functors

Monoidal Functors Library

http://github.com/solomon-b/monoidal-functors

LTS Haskell 24.24:0.2.3.0
Stackage Nightly 2025-12-16:0.2.3.0
Latest on Hackage:0.2.3.0

See all snapshots monoidal-functors appears in

MIT licensed by Solomon Bothwell & Asad Saeeduddin
Maintained by [email protected]
This version can be pinned in stack with:monoidal-functors-0.2.3.0@sha256:05a336237caf1c1776c78ac83b6c85128fde9185d3b449f829df1026b0dee482,3183

Module documentation for 0.2.3.0

  • Control
    • Control.Category
      • Control.Category.Cartesian
      • Control.Category.Tensor
        • Control.Category.Tensor.Expr
  • Data
    • Data.Bifunctor
      • Data.Bifunctor.BiInvariant
      • Data.Bifunctor.Module
      • Data.Bifunctor.Monoidal
        • Data.Bifunctor.Monoidal.Specialized
    • Data.Functor
      • Data.Functor.Invariant
      • Data.Functor.Module
      • Data.Functor.Monoidal
    • Data.Trifunctor
      • Data.Trifunctor.Module
      • Data.Trifunctor.Monoidal
Used by 1 package in nightly-2024-01-16(full list with versions):
monoidal-functors

A typeclass hierarchy for monoidal functors.

Changes

Revision history for monoidal-functors

Upcoming

0.2.3.0 – 2023-08-03

  • Add support for GHC 9.6

0.2.2.0 – 2023-06-26

  • Adds co-log example.
  • Switch to Ormolu formatting and a Makefile to manage local development.
  • Remove Arrow terminology from haddocks.
  • Adds missing Star and Kleisli instances.
  • Adds Unital and Monoidal instances for Divisible and Decidable.

0.2.1.0 – 2023-01-29

  • Rewrite Semigroupal, Unital, and Monoidal Functor instances to use deriving via

0.2.0.0 – 2023-01-29

  • Adds Tensored Type
  • Rewrites haddocks
  • Adds Control.Category.Cartesian module
  • Adds a number of specialized combinators to Data.Bifunctor.Monoidal.Specialized

0.1.1.0 – 2021-12-13

  • Removes redundant Iso types.
  • Some initial attempts at documentation.

0.1.0.0 – 2021-04-19

  • First version.