Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell2010 |
Support for a clipboard, on which expressions can be placed. The clipboard is part of the environment (terms that are placed in a context)
Synopsis
- data Clipboard
- addToClipboard :: String -> Expr -> Context a -> Context a
- removeClipboard :: String -> Context a -> Context a
- lookupClipboard :: String -> Context b -> Maybe Expr
- addToClipboardG :: IsTerm a => String -> a -> Context b -> Context b
- lookupClipboardG :: IsTerm a => String -> Context b -> Maybe a
Data type
Instances
Read Clipboard Source # | |
Show Clipboard Source # | |
IsTerm Clipboard Source # | |
Defined in Domain.Math.Expr.Clipboard toTermList :: [Clipboard] -> Term fromTerm :: MonadPlus m => Term -> m Clipboard fromTermList :: MonadPlus m => Term -> m [Clipboard] | |
Reference Clipboard Source # | |
Defined in Domain.Math.Expr.Clipboard makeRef :: IsId n => n -> Ref Clipboard makeRefList :: IsId n => n -> Ref [Clipboard] |
Interface
addToClipboard :: String -> Expr -> Context a -> Context a Source #
removeClipboard :: String -> Context a -> Context a Source #
Generalized interface
addToClipboardG :: IsTerm a => String -> a -> Context b -> Context b Source #
lookupClipboardG :: IsTerm a => String -> Context b -> Maybe a Source #