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

Stabilityexperimental
Maintainerconal@conal.net

FunctorCombo.Holey

Description

Filling and extracting derivatives (one-hole contexts)

Synopsis

Documentation

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

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

class Functor f => Holey f whereSource

Filling and creating one-hole contexts

Methods

fillCSource

Arguments

:: Der f a 
-> a 
-> f a

Fill a hole

extractSource

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) 

fill :: Holey f => Loc f a -> f aSource

Alternative interface for fillC.