functor-combo-0.0.2: Functor combinators with tries & zippers

Stabilityexperimental
Maintainerconal@conal.net

FunctorCombo.Derivative

Description

Derivatives (one-hole contexts) for standard Functor combinators

Synopsis

Documentation

type family Der f :: * -> *Source

A derivative, i.e., a one-hole context for a container f (probably a functor).