CLASE-2008.9.23: Cursor Library for A Structured Editor Source code Contents Index

Data.Cursor.CLASE.Traversal

Documentation

class Bound l t => Traversal l t where Source

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

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

Produced by Haddock version 2.3.0