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