contravariant
Functor library
Provides a Haskell implementation of functors with contravariant behavior
Haskell 98 contravariant functors
73 stars
12 watching
24 forks
Language: Haskell
last commit: about 1 year ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| ekmett/hask | Category theory for Haskell with a strong lens-like flavor. | 163 |
| ekmett/comonad | Provides definitions and laws for building comonads in Haskell | 77 |
| ekmett/linear | A set of low-dimensional linear algebra primitives for use in Haskell programs | 203 |
| ekmett/semigroups | A Haskell package providing a set of semigroups and tools for deriving them with generics. | 62 |
| ekmett/profunctors | A Haskell implementation of profunctors, which are higher-kinded concepts for transforming and manipulating functions between types | 70 |
| ekmett/structures | A playground for advanced data structures in Haskell | 63 |
| ekmett/linear-logic | An implementation of intuitionistic linear logic using Haskell. | 83 |
| ekmett/bound | Combinators for manipulating locally-nameless generalized de Bruijn terms | 121 |
| ekmett/reflection | Provides a way to represent and manipulate arbitrary Haskell code structure using a reflection mechanism | 104 |
| ekmett/coda | An experimental language project providing a toy compiler and tools for working with it | 162 |
| ekmett/gl | Provides Haskell bindings to the OpenGL specification | 93 |
| ekmett/guanxi | An exploration of relational programming in Haskell with a focus on language and tooling | 257 |
 lettier/parsing-with-haskell-parser-combinators | An in-depth guide to parsing using Haskell's parser combinator technology | 93 |
 jwiegley/category-theory | An axiomatic formalization of category theory in Coq for personal study and practical work | 759 |