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