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

Stabilityexperimental
Maintainerconal@conal.net

FunctorCombo.ZipperFix

Description

Zippers for functor fixpoints

Synopsis

Documentation

type Context f = [Der f (Fix f)]Source

Context for functor fixpoints

Context for a regular type

type Location f = (Context f, Fix f)Source

Location in a functor tree -- a zipper

up :: Holey f => Location f -> Location fSource

Move upward. Error if empty context.

up' :: Holey f => Location f -> Maybe (Location f)Source

Variant of up. Nothing if empty context.

down :: Holey f => Location f -> f (Location f)Source