subcategories

Subcategories induced by class constraints

https://github.com/konn/subcategories#readme

Version on this page:0.2.0.1
LTS Haskell 22.37:0.2.1.1
Stackage Nightly 2024-10-11:0.2.1.1
Latest on Hackage:0.2.1.1

See all snapshots subcategories appears in

BSD-3-Clause licensed by Hiromi ISHII
Maintained by konn.jinro _at_ gmail.com
This version can be pinned in stack with:subcategories-0.2.0.1@sha256:22106688286ab5a250cb6e9bd0e843c8333a6aa6ac153490b6236fa0874c18d6,3758

The subcategories package

Haskell CI Hackage Hackage-Deps

This package provides variants of functor-like structures, with domain types are constrained. In particular, this package provides an abstraction for functorial containers, which can be expressed as a functor from a full-subcategory of Hask to Hask itself [^1].

For example:

  • We can treat Set as if it is a Fuctor, Foldable, Applicative, with their domain restricted to full-subcategory Ord of Ord instances of Hask.
  • For MonoFoldable or MonoTraversable types (from mono-traversable package), we provide WrapMono wrapper with zero-cost coercion. Such monos can be regarded as a functorial structure from the full subcategory consisting of just a single object, say Element mono.

[^1]: Strictly speaking, CFoldable, a constrained counterpart of Foldable, doesn’t require a functoriality as with the original Foldable.

Optimisation

This library is designed to keep the abstraction runtime overhead as minimum as possible.

Some notes:

  • If a constrained term such as cmap or czipWith has concrete type, it must have exactly the same representation as the corresponding operation modulo (zero-cost) coercion.
    • The same still holds if the set of required constraints coincides.
    • Although the constructor of WrapMono mono a is hidden, its just a newtype-wrapper around mono; hence, constrained operators must have the same representations as the corresponding combinators in mono-traversable package.
  • OTOH, for a polymorphic term, like cmap :: (Ord a, Ord b) => (a -> b) Set a -> Set b and Set.map, they can have different representations; indeed, Set.map doesn’t require a to be Ord-instance and therefore the implementation of cmap discards the dictionary for Ord a to call Set.map.

Changes

Changelog for subcategories

0.2.0.1

  • Supports GHC 9.6

0.2.0.0

  • Supports GHC >= 9.2.
  • As base >= 4.16 removes Data.Semigroup.Option, this package drops instance for Option accordingly for GHC >= 9.2. It seems that PVP demands us to bump the major version.

0.1.1.0

  • Support GHC >= 9.0

0.1.0.0

  • Initial Release