FunctorCombo.Derivative

Derivatives (one-hole contexts) for standard Functor combinators

Documentation

type family Der f :: * -> *

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

Instances

type Der Id = Unit

type Der (Const a) = Void

type Der ((:.) g f) = (:*:) ((:.) (Der g) f) (Der f)

type Der ((:+:) f g) = (:+:) (Der f) (Der g)

type Der ((:*:) f g) = (:+:) ((:*:) (Der f) g) ((:*:) f (Der g))