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

Stabilityexperimental
Maintainerconal@conal.net

FunctorCombo.FixC

Description

Zippers for functor fixpoints

Synopsis

Documentation

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

Context for functor fixpoints

type LocFix f = (FixC f, Fix f)Source

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

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