CLASE-2008.9.23.1: 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