| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | Safe |
| Language | Haskell98 |
Ideas.Text.OpenMath.Symbol
Description
Synopsis
- type Symbol = (Maybe String, String)
- makeSymbol :: String -> String -> Symbol
- extraSymbol :: String -> Symbol
- dictionary :: Symbol -> Maybe String
- symbolName :: Symbol -> String
- showSymbol :: Symbol -> String
Documentation
Constructor functions
extraSymbol :: String -> Symbol Source #
Selector functions
symbolName :: Symbol -> String Source #
Utility function
showSymbol :: Symbol -> String Source #