Annotations.MultiRec.Zipper

Locations

data Loc

Context frames

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

data Ctxs

Generic zipper class

class Zipper phi f

Interface

enter

on

update