Statistics for this project are still being loaded, please check back later.
higher-order, no-boilerplate monads
Code Examples and Notes for my talk on Functional References (Lenses and such) at the Santa Monic...
Haskell 98 higher order versions of Haskell Prelude classes to facilitate polymorphic recursion a...
Haskell 98 Profunctors
A selective functor is two lax monoidal functors standing on top of each other wearing a trench coat
Profunctor optics for the endofunctor category on Hask
Control.Effects
Miscellaneous articles. The readme is the table of contents.
Parsing and Pretty-Pretting with Optics
An experiment towards a UI programming model inspired by algebraic effects.
Haskell library for doing category theory with a central role for profunctors
Representable profunctors
Two optics for the price of one
A simple account of "filterability" using category theory