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

Data.Cursor.CLASE.Persistence

Documentation

showCursor :: forall l x a. Persistable l => Cursor l x a -> String Source

showRoute :: Persistable l => Route l from to -> String Source

parseCursor :: Persistable l => String -> Maybe (RestoredCursor l) Source

parseRoute :: (Persistable l, Reify l from) => Bool -> String -> Maybe (RestoredRoute l from) Source

class (Language l, PersistenceAdapter l, Reify l l) => Persistable l where Source

Methods showMovement :: Movement l d from to -> String Source movementParser :: Reify l a => DirectionT d -> Parser (ExistsR l (Movement l d a)) Source showTypeRep :: TypeRep l a -> String Source typeRepParser :: Parser (Exists (TypeRep l)) Source typeRepEq :: TypeRep l a -> TypeRep l b -> Maybe (TyEq a b) Source

class PersistenceAdapter l where Source

Methods showL :: l -> String Source parseL :: Parser l Source

data RestoredCursor l where Source

Constructors RestoredCursor :: Reify l x => Cursor l x a -> RestoredCursor l

data RestoredRoute l from where Source

Constructors RestoredRoute :: Reify l to => Route l from to -> RestoredRoute l from

data RestoredPath l r a where Source

Constructors RestoredPath :: Reify l b => Path l r a b -> RestoredPath l r a

readParser :: (Show a, Read a) => Bool -> Parser a Source

Produced by Haddock version 2.3.0