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

PortabilityGHC-only
Stabilityexperimental

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