functor-combo-0.1.0: Functor combinators with tries & zippers
FunctorCombo.DHoley
Description
Filling and extracting derivatives (one-hole contexts)
Synopsis
class Functor f => Holey f whereSource
Associated Types
type Der f :: * -> *Source
Derivative, i.e., one-hole context
Methods
fillC :: Der f a -> a -> f aSource
Fill a hole
extract :: f a -> f (Loc f a)Source
All extractions
Instances
fill :: Holey f => Loc f a -> f aSource
Alternative interface for fillC.
fillC