comonad
by ekmett
Haskell 98 comonads
AI summary
Comonad definition
Provides definitions and laws for building comonads in Haskell
- stars
- 77
- forks
- 32
- watching
- 14
Similar projects
Found by comparing what the projects do, not just their names.
Functor library
Provides a Haskell implementation of functors with contravariant behavior
Data structure experiment
A playground for advanced data structures in Haskell
Semigroup toolkit
A Haskell package providing a set of semigroups and tools for deriving them with generics.
ekmett/hask163
Haskell framework
Category theory for Haskell with a strong lens-like flavor.
Haskell reflection library
Provides a way to represent and manipulate arbitrary Haskell code structure using a reflection mechanism
Linear algebra library
A set of low-dimensional linear algebra primitives for use in Haskell programs
ekmett/bound121
Term manipulator
Combinators for manipulating locally-nameless generalized de Bruijn terms
ekmett/coda162
Language experiment
An experimental language project providing a toy compiler and tools for working with it
Type transformer library
A Haskell implementation of profunctors, which are higher-kinded concepts for transforming and manipulating functions between types
Linear logic implementation
An implementation of intuitionistic linear logic using Haskell.
OpenGL bindings library
Provides Haskell bindings to the OpenGL specification
logging library
A composable and configurable logging framework using Haskell idioms
Haskell relational framework
An exploration of relational programming in Haskell with a focus on language and tooling
Discord bot library
A Haskell library for creating Discord bots with a simple and expressive API
Transformation framework
A Haskell library that provides a general-purpose data transformation framework using lenses and traversals.