CSPM-Frontend-0.9.0.6: A CSP-M parser compatible with FDR-2.91

PortabilityGHC-only
Stabilityexperimental
Safe HaskellSafe-Infered

Language.CSPM.UnicodeSymbols

Description

Unicode symbols for CPSM operators

Documentation

unicodeSymbols :: [(Char, PrimToken, String)]Source

lookupDefaultSymbol :: PrimToken -> Maybe (Char, String)Source

lookupToken :: Char -> Maybe PrimTokenSource