functor-combo-0.3.6: 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 where Source
Filling and creating one-hole contexts
Methods
fillC Source
Arguments
Fill a hole
extract Source
All extractions
Instances
fill :: Holey f => Loc f a -> f a Source
Alternative interface for fillC.
fillC