@hackage comonad dependents

@hackage/foldl-transduce

Transducers for foldl folds.

@hackage/folds

Beautiful Folding

@hackage/free

Monads for free

@hackage/free-functors

Free functors, adjoint to functors that forget class constraints.

@hackage/functor-combinators

Tools for functor combinator-based program design

@hackage/functor-monad

FFunctor: functors on (the usual) Functors

@hackage/grids

@hackage/hedgehog-classes

Hedgehog will eat your typeclass bugs

@hackage/hnix

Haskell implementation of the Nix language

@hackage/hschema

Describe schemas for your Haskell data types.

@hackage/hschema-aeson

Describe schemas for your Haskell data types.

@hackage/htoml-parse

Parse TOML values produced by htoml-megaparsec package.

@hackage/hyperloglog

An approximate streaming (constant space) unique object counter

@hackage/inf-backprop

Automatic differentiation and backpropagation.

@hackage/invariant

Haskell98 invariant functors

@hackage/jet

@hackage/joint

Trying to compose non-composable

@hackage/kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads

@hackage/keys

Keyed functors and containers

@hackage/lens

Lenses, Folds and Traversals

@hackage/lens-action

Monadic Getters and Folds

@hackage/lens-core

A placeholder for a future lens core package.

@hackage/list-zipper

A list zipper

@hackage/log-domain

Log-domain arithmetic

@hackage/machines

Networked stream transducers

@hackage/manifolds

Coordinate-free hypersurfaces

@hackage/markov-realization

Realizations of Markov chains.

@hackage/monad-ideals

Ideal Monads and coproduct of them

@hackage/monadic-recursion-schemes

Recursion Schemes for Monadic version.

@hackage/mono-traversable-instances

Extra typeclass instances for mono-traversable