functor-combo-0.3: Functor combinators with tries & zippers
FunctorCombo.ZipperReg
Description
Synopsis
type Context t = [Der (PF t) t]Source
Context for a regular type
type Zipper t = (Context t, t)Source
Zipper for a regular type. Also called "location"
up :: (Regular t, Holey (PF t)) => Zipper t -> Zipper tSource
Move upward. Error if empty context.
up' :: (Regular t, Holey (PF t)) => Zipper t -> Maybe (Zipper t)Source
Variant of up. Nothing if empty context.
up
Nothing
down :: (Regular t, Holey (PF t)) => Zipper t -> PF t (Zipper t)Source