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

Stabilityexperimental
Maintainerconal@conal.net

FunctorCombo.ZipperReg

Description

 

Synopsis

Documentation

type Context t = [Der (PF t) t]Source

Context for a regular type

type Location t = (Context t, t)Source

Location for a regular type -- a zipper

up :: (Regular t, Holey (PF t)) => Location t -> Location tSource

Move upward. Error if empty context.

up' :: (Regular t, Holey (PF t)) => Location t -> Maybe (Location t)Source

Variant of up. Nothing if empty context.

down :: (Regular t, Holey (PF t)) => Location t -> PF t (Location t)Source