FunctorCombo.DHoley

Filling and extracting derivatives (one-hole contexts)

Documentation

class Functor f => Holey f where

Associated Types

type Der f :: * -> *

Derivative, i.e., one-hole context

Methods

fill :: Loc f a -> f a

Fill a hole

extract :: f a -> f (Loc f a)

All extractions

Instances

Holey Id

Holey (Const z)

(Holey f, Holey g) => Holey (:. g f)

(Holey f, Holey g) => Holey (:+: f g)

(Holey f, Holey g) => Holey (:*: f g)