functor-combo-0.0.2: Functor combinators with tries & zippers
FunctorCombo.LocT
Description
type Context t = [Der (PF t) t]Source
type LocT t = (Context t, t)Source
up :: (Regular t, Holey (PF t)) => LocT t -> LocT tSource
down :: (Regular t, Holey (PF t)) => LocT t -> PF t (LocT t)Source