SMR.Source.Token

Documentation

data Token

Tokens for for the source language.

Constructors

KEnd

End of input.

KPunc Char

Punctuation character.

KName Space Text

A scoped name.

KNat Integer

A literal natural number.

KText Text

A literal text string.

Instances

Eq Token

Defined in SMR.Source.Token

Methods

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

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

Show Token

Defined in SMR.Source.Token

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

data Space

Name space of a name.

Constructors

SVar

Local variable.

SMac

Macro name.

SSym

Symbol name.

SSet

Set name.

SPrm

Primitive name.

SKey

Keyword (super primitive)

SNom

Nominal name.

Instances

Eq Space

Defined in SMR.Source.Token

Methods

(==) :: Space -> Space -> Bool

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

Show Space

Defined in SMR.Source.Token

Methods

showsPrec :: Int -> Space -> ShowS

show :: Space -> String

showList :: [Space] -> ShowS

isToken :: Token -> Token -> Bool

Check if a token is equal to the give none.

isKPunc :: Char -> Token -> Bool

Check is token is punctuation using the given character.

takeNameOfToken :: Space -> Token -> Maybe Text

Take the name from a token, if any.

takeAnyNameOfToken :: Token -> Maybe (Space, Text)

Take the name from a token, if any.

takeNatOfToken :: Token -> Maybe Integer

Take the natural number from a token, if any.

takeTextOfToken :: Token -> Maybe Text

Take the text string from a token, if any.