Data.Cursor.CLASE.Traversal

Documentation

class Bound l t => Traversal l t where

Methods

visitStep :: Reify l a => a -> (forall b. Reify l b => Movement l Down a b -> t) -> t

visitPartial :: Context l a b -> b -> t -> (forall c. Reify l c => Movement l Down b c -> t) -> t

cursor :: l -> t -> t

completeTraversal :: forall l t x a. Traversal l t => Cursor l x a -> t