comonad
Comonad definition
Provides definitions and laws for building comonads in Haskell
Haskell 98 comonads
77 stars
14 watching
32 forks
Language: Haskell
last commit: 3 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| ekmett/contravariant | Provides a Haskell implementation of functors with contravariant behavior | 73 |
| ekmett/structures | A playground for advanced data structures in Haskell | 63 |
| ekmett/semigroups | A Haskell package providing a set of semigroups and tools for deriving them with generics. | 62 |
| ekmett/hask | Category theory for Haskell with a strong lens-like flavor. | 163 |
| ekmett/reflection | Provides a way to represent and manipulate arbitrary Haskell code structure using a reflection mechanism | 104 |
| ekmett/linear | A set of low-dimensional linear algebra primitives for use in Haskell programs | 203 |
| ekmett/bound | Combinators for manipulating locally-nameless generalized de Bruijn terms | 121 |
| ekmett/coda | An experimental language project providing a toy compiler and tools for working with it | 162 |
| ekmett/profunctors | A Haskell implementation of profunctors, which are higher-kinded concepts for transforming and manipulating functions between types | 70 |
| ekmett/linear-logic | An implementation of intuitionistic linear logic using Haskell. | 83 |
| ekmett/gl | Provides Haskell bindings to the OpenGL specification | 93 |
 co-log/co-log | A composable and configurable logging framework using Haskell idioms | 261 |
| ekmett/guanxi | An exploration of relational programming in Haskell with a focus on language and tooling | 257 |
 discord-haskell/discord-haskell | A Haskell library for creating Discord bots with a simple and expressive API | 271 |
| ekmett/lens | A Haskell library that provides a general-purpose data transformation framework using lenses and traversals. | 2,034 |