Domain.Math.Expr.Clipboard

Support for a clipboard, on which expressions can be placed. The clipboard is part of the environment (terms that are placed in a context)

Data type

data Clipboard

Instances

Read Clipboard

Defined in Domain.Math.Expr.Clipboard

Methods

readsPrec :: Int -> ReadS Clipboard

readList :: ReadS [Clipboard]

readPrec :: ReadPrec Clipboard

readListPrec :: ReadPrec [Clipboard]

Show Clipboard

Defined in Domain.Math.Expr.Clipboard

Methods

showsPrec :: Int -> Clipboard -> ShowS

show :: Clipboard -> String

showList :: [Clipboard] -> ShowS

Reference Clipboard

Defined in Domain.Math.Expr.Clipboard

Methods

makeRef :: IsId n => n -> Ref Clipboard

makeRefList :: IsId n => n -> Ref [Clipboard]

IsTerm Clipboard

Defined in Domain.Math.Expr.Clipboard

Methods

toTerm :: Clipboard -> Term

toTermList :: [Clipboard] -> Term

fromTerm :: MonadPlus m => Term -> m Clipboard

fromTermList :: MonadPlus m => Term -> m [Clipboard]

Interface

addToClipboard :: String -> Expr -> Context a -> Context a

removeClipboard :: String -> Context a -> Context a

lookupClipboard :: String -> Context b -> Maybe Expr

Generalized interface

addToClipboardG :: IsTerm a => String -> a -> Context b -> Context b

lookupClipboardG :: IsTerm a => String -> Context b -> Maybe a