proppie

pipes, but with a slightly different Proxy type that makes some interesting interactions with profunctors (and hence profunctor optics) apparent.

Parsing and Pretty-Pretting with Optics

A simple account of "filterability" using category theory

higher-order, no-boilerplate monads

Representable profunctors

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...

Miscellaneous articles. The readme is the table of contents.

Control.Effects

A selective functor is two lax monoidal functors standing on top of each other wearing a trench coat

Haskell 98 Profunctors

Haskell library for doing category theory with a central role for profunctors

Two optics for the price of one

An experiment towards a UI programming model inspired by algebraic effects.

Profunctor optics for the endofunctor category on Hask