CLASE-2008.7.21: Cursor Library for A Structured Editor Contents Index

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

Produced by Haddock version 2.2.2