contravariant
Functor library
Provides a Haskell implementation of functors with contravariant behavior
Haskell 98 contravariant functors
73 stars
13 watching
24 forks
Language: Haskell
last commit: about 1 month ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| ekmett/hask | Category theory for Haskell with a strong lens-like flavor. | 161 |
| 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 | 202 |
| 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 | 122 |
| ekmett/reflection | Provides a way to represent and manipulate arbitrary Haskell code structure using a reflection mechanism | 102 |
| ekmett/coda | An experimental language project providing a toy compiler and tools for working with it | 163 |
| ekmett/gl | Provides Haskell bindings to the OpenGL specification | 94 |
| ekmett/guanxi | An exploration of relational programming in Haskell with a focus on language and tooling | 256 |
 lettier/parsing-with-haskell-parser-combinators | An in-depth guide to parsing using Haskell's parser combinator technology | 92 |
 jwiegley/category-theory | An axiomatic formalization of category theory in Coq for personal study and practical work | 754 |