functor-combo-0.0.5: Functor combinators with tries & zippers
Zippers for functor fixpoints
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
Produced by Haddock version 2.8.1