Generics.MultiRec.Zipper

Locations and context stacks

data Loc

data Ctxs

Context frames

data family Ctx f :: * -> (* -> *) -> * -> *

Contexts and locations are functors

Generic navigation functions

class Zipper phi f

Internal functions

impossible