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

PortabilityGHC-only
Stabilityexperimental
Safe HaskellNone

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