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

Stabilityexperimental
Maintainerconal@conal.net

FunctorCombo.LocT

Description

 

Documentation

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

type LocT t = (Context t, t)Source

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

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