Generics.MultiRec.Transformations.Path

type Path phi t i

type Dir f t i

data WithRef phi top r a

type HWithRef phi top t

data Insert phi top ix

(<.>)

data ConIndex

class ShowPath f

showsPrecPathC

showWR

mapP

class MapP phi f

mapPR

mapMwithI

data Ctxs

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