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

FunctorCombo.DHoley

Description

Filling and extracting derivatives (one-hole contexts)

class Functor f => Holey f whereSource

Associated Types

type Der f :: * -> *Source

Derivative, i.e., one-hole context

Methods

fill :: Loc f a -> f aSource

Fill a hole

extract :: f a -> f (Loc f a)Source

All extractions

Instances