FiniteCategories-0.1.0.0: Finite categories and usual categorical constructions on them.
CopyrightGuillaume Sabbagh 2021
LicenseGPL-3
Maintainerguillaumesabbagh@protonmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

IO.Parsers.Lexer

Description

Lexer for parsers. The keywords are ' -', '-> ', ' = ', "#", 'ID/', 'SRC', '/SRC', 'TGT', '/TGT', ' => '

Synopsis

Documentation

data Token Source #

A token for a scg or fscg file.

Constructors

Name Text 
BeginArrow 
EndArrow 
Equals 
Identity 
BeginSrc 
EndSrc 
BeginTgt 
EndTgt 
MapsTo 

Instances

Instances details
Eq Token Source # 
Instance details

Defined in IO.Parsers.Lexer

Methods

(==) :: Token -> Token -> Bool

(/=) :: Token -> Token -> Bool

Show Token Source # 
Instance details

Defined in IO.Parsers.Lexer

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

strip :: Token -> Token Source #

Strip a token of unnecessary spaces.

parserLex :: String -> [Token] Source #

Transforms a string into a list of tokens.