HelVM.HelMA.Automata.SubLeq.Lexer
tokenize :: Source -> SymbolList #
readSymbols :: Source -> Symbols #
newtype Symbols #
Constructors
Defined in HelVM.HelMA.Automata.SubLeq.Lexer
Methods
readsPrec :: Int -> ReadS Symbols #
readList :: ReadS [Symbols] #
readPrec :: ReadPrec Symbols #
readListPrec :: ReadPrec [Symbols] #
showsPrec :: Int -> Symbols -> ShowS #
show :: Symbols -> String #
showList :: [Symbols] -> ShowS #
shows :: SymbolList -> [Text] #