functor-combo-0.0.2: Functor combinators with tries & zippers
FunctorCombo.Holey
Description
Filling and extracting derivatives (one-hole contexts)
Synopsis
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
fillSource
Arguments
Fill a hole
extractSource
All extractions
Instances