FunctorCombo.Holey

Filling and extracting derivatives (one-hole contexts)

Documentation

type Loc f a = (Der f a, a)

Location, i.e., one-hole context and a value for the hole.

class Functor f => Holey f where

Filling and creating one-hole contexts

Methods

fill

Arguments

:: Loc f a

-> f a

Fill a hole

extract

Arguments

:: 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)