@hackage invariant dependents

14 results

@hackage/functor-combinators
Tools for functor combinator-based program design
BSD-3-Clausev0.4.1.3
@hackage/hschema
Describe schemas for your Haskell data types.
LGPL-3.0-onlyv0.0.1.1
@hackage/invertible
bidirectional arrows, bijective functions, and invariant functors
BSD-3-Clausev0.2.0.8
@hackage/kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads
BSD-3-Clausev5.2.5
@hackage/monad-choice
Monad, monad transformer, and typeclass representing choices.
AGPL-3.0-onlyv0.2.0.0
@hackage/monadology
The best ideas in monad-related classes and types.
BSD-2-Clausev0.3
@hackage/nonempty-containers
Non-empty variants of containers data types, with full API
BSD-3-Clausev0.3.4.5
@hackage/rebase
A more progressive alternative to the "base" package
MITv1.20.2
@hackage/set-with
Set of elements sorted by a different data type.
BSD-3-Clausev0.0.1
@hackage/sets
Ducktyped set interface for Haskell containers.
BSD-3-Clausev0.0.6.2
@hackage/split-morphism
Split Epimorphisms and Monomorphisms
BSD-3-Clausev0.1.0.1
@hackage/sqel
Guided derivation for Hasql statements
BSD-2-Clause-Patentv0.0.1.0
@hackage/type-rig
Classes for the rig (sums and products) of types
BSD-2-Clausev0.1
@hackage/unjson
Bidirectional JSON parsing and generation.
BSD-3-Clausev0.15.4