Data.Cursor.CLASE.Persistence

Documentation

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

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

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

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

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

Methods

showMovement :: Movement l d from to -> String

movementParser :: Reify l a => DirectionT d -> Parser (ExistsR l (Movement l d a))

showTypeRep :: TypeRep l a -> String

typeRepParser :: Parser (Exists (TypeRep l))

typeRepEq :: TypeRep l a -> TypeRep l b -> Maybe (TyEq a b)

class PersistenceAdapter l where

Methods

showL :: l -> String

parseL :: Parser l

data RestoredCursor l where

Constructors

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

data RestoredRoute l from where

Constructors

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

data RestoredPath l r a where

Constructors

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

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