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

Copyright(c) Conal Elliott 2010
LicenseBSD3
Maintainerconal@conal.net
Stabilityexperimental
Safe HaskellNone
LanguageHaskell98

FunctorCombo.ZipperReg

Description

 

Synopsis

Documentation

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 t Source

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.

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