Language.ATS.Lexer

Module exporting the lexer itself as well as several data types for working with tokens.

Documentation

data AlexPosn

Constructors

AlexPn !Int !Int !Int

Instances

Eq AlexPosn

Methods

(==) :: AlexPosn -> AlexPosn -> Bool

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

Show AlexPosn

Methods

showsPrec :: Int -> AlexPosn -> ShowS

show :: AlexPosn -> String

showList :: [AlexPosn] -> ShowS

Generic AlexPosn

Associated Types

type Rep AlexPosn :: * -> *

Methods

from :: AlexPosn -> Rep AlexPosn x

to :: Rep AlexPosn x -> AlexPosn

NFData AlexPosn

Methods

rnf :: AlexPosn -> ()

type Rep AlexPosn

type Rep AlexPosn = D1 * (MetaData "AlexPosn" "Language.ATS.Lexer" "ats-format-0.1.0.1-9jl24t5OpRSBe7Tr5f8MVU" False) (C1 * (MetaCons "AlexPn" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Int)) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Int)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Int)))))

data Token

Constructors

Semicolon AlexPosn

Identifier AlexPosn String

Keyword AlexPosn Keyword

BoolTok AlexPosn Bool

IntTok AlexPosn Int

FloatTok AlexPosn Float

CharTok AlexPosn Char

StringTok AlexPosn String

Special AlexPosn String

CBlockLex AlexPosn String

Operator AlexPosn String

Arrow AlexPosn String

FuncType AlexPosn String

CommentLex AlexPosn String

RefTok AlexPosn

DefineBlock AlexPosn String

TimeTok AlexPosn String

Instances

Eq Token

Methods

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

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

Show Token

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

Generic Token

Associated Types

type Rep Token :: * -> *

Methods

from :: Token -> Rep Token x

to :: Rep Token x -> Token

NFData Token

Methods

rnf :: Token -> ()

type Rep Token

type Rep Token = D1 * (MetaData "Token" "Language.ATS.Lexer" "ats-format-0.1.0.1-9jl24t5OpRSBe7Tr5f8MVU" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "Semicolon" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn))) (C1 * (MetaCons "Identifier" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))))) ((:+:) * (C1 * (MetaCons "Keyword" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Keyword)))) (C1 * (MetaCons "BoolTok" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "IntTok" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)))) (C1 * (MetaCons "FloatTok" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Float))))) ((:+:) * (C1 * (MetaCons "CharTok" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Char)))) (C1 * (MetaCons "StringTok" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "Special" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))) (C1 * (MetaCons "CBlockLex" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))))) ((:+:) * (C1 * (MetaCons "Operator" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))) (C1 * (MetaCons "Arrow" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "FuncType" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))) (C1 * (MetaCons "CommentLex" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))))) ((:+:) * (C1 * (MetaCons "RefTok" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn))) ((:+:) * (C1 * (MetaCons "DefineBlock" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))) (C1 * (MetaCons "TimeTok" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AlexPosn)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))))))))

data Keyword

Constructors

KwFun

KwFnx

KwAnd

KwDatatype

KwDatavtype

KwDataviewtype

KwAssume

KwTypedef

KwVtypedef

KwStaload

KwLet

KwIn

KwLocal

KwEnd

KwImplement

KwCase Addendum

KwIf

KwSif

KwThen

KwElse

KwString

KwBool

KwInt

KwVoid

KwNat

KwVal Addendum

KwVar

KwLambda

KwLinearLambda

KwInclude

KwWhen

KwOf

KwAbsprop

KwPrval

KwStadef

KwPraxi

KwWhile

KwWhere

KwBegin

KwOverload

KwWith

KwChar

KwDataview

KwDataprop

KwView

KwAbstype

KwType

KwAbst0p Addendum

KwT0p Addendum

KwVt0p Addendum

KwPrfun

KwPrfn

KwCastfn

KwExtern

KwAbsvtype

KwProofImplement

Instances

Eq Keyword

Methods

(==) :: Keyword -> Keyword -> Bool

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

Show Keyword

Methods

showsPrec :: Int -> Keyword -> ShowS

show :: Keyword -> String

showList :: [Keyword] -> ShowS

Generic Keyword

Associated Types

type Rep Keyword :: * -> *

Methods

from :: Keyword -> Rep Keyword x

to :: Rep Keyword x -> Keyword

NFData Keyword

Methods

rnf :: Keyword -> ()

type Rep Keyword

type Rep Keyword = D1 * (MetaData "Keyword" "Language.ATS.Lexer" "ats-format-0.1.0.1-9jl24t5OpRSBe7Tr5f8MVU" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "KwFun" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "KwFnx" PrefixI False) (U1 *)) (C1 * (MetaCons "KwAnd" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "KwDatatype" PrefixI False) (U1 *)) (C1 * (MetaCons "KwDatavtype" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "KwDataviewtype" PrefixI False) (U1 *)) (C1 * (MetaCons "KwAssume" PrefixI False) (U1 *))))) ((:+:) * ((:+:) * (C1 * (MetaCons "KwTypedef" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "KwVtypedef" PrefixI False) (U1 *)) (C1 * (MetaCons "KwStaload" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "KwLet" PrefixI False) (U1 *)) (C1 * (MetaCons "KwIn" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "KwLocal" PrefixI False) (U1 *)) (C1 * (MetaCons "KwEnd" PrefixI False) (U1 *)))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "KwImplement" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "KwCase" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Addendum))) (C1 * (MetaCons "KwIf" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "KwSif" PrefixI False) (U1 *)) (C1 * (MetaCons "KwThen" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "KwElse" PrefixI False) (U1 *)) (C1 * (MetaCons "KwString" PrefixI False) (U1 *))))) ((:+:) * ((:+:) * (C1 * (MetaCons "KwBool" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "KwInt" PrefixI False) (U1 *)) (C1 * (MetaCons "KwVoid" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "KwNat" PrefixI False) (U1 *)) (C1 * (MetaCons "KwVal" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Addendum)))) ((:+:) * (C1 * (MetaCons "KwVar" PrefixI False) (U1 *)) (C1 * (MetaCons "KwLambda" PrefixI False) (U1 *))))))) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "KwLinearLambda" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "KwInclude" PrefixI False) (U1 *)) (C1 * (MetaCons "KwWhen" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "KwOf" PrefixI False) (U1 *)) (C1 * (MetaCons "KwAbsprop" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "KwPrval" PrefixI False) (U1 *)) (C1 * (MetaCons "KwStadef" PrefixI False) (U1 *))))) ((:+:) * ((:+:) * (C1 * (MetaCons "KwPraxi" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "KwWhile" PrefixI False) (U1 *)) (C1 * (MetaCons "KwWhere" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "KwBegin" PrefixI False) (U1 *)) (C1 * (MetaCons "KwOverload" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "KwWith" PrefixI False) (U1 *)) (C1 * (MetaCons "KwChar" PrefixI False) (U1 *)))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "KwDataview" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "KwDataprop" PrefixI False) (U1 *)) (C1 * (MetaCons "KwView" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "KwAbstype" PrefixI False) (U1 *)) (C1 * (MetaCons "KwType" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "KwAbst0p" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Addendum))) (C1 * (MetaCons "KwT0p" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Addendum)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "KwVt0p" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Addendum))) ((:+:) * (C1 * (MetaCons "KwPrfun" PrefixI False) (U1 *)) (C1 * (MetaCons "KwPrfn" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "KwCastfn" PrefixI False) (U1 *)) (C1 * (MetaCons "KwExtern" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "KwAbsvtype" PrefixI False) (U1 *)) (C1 * (MetaCons "KwProofImplement" PrefixI False) (U1 *))))))))

data Addendum

Constructors

None

Plus

Minus

Instances

Eq Addendum

Methods

(==) :: Addendum -> Addendum -> Bool

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

Show Addendum

Methods

showsPrec :: Int -> Addendum -> ShowS

show :: Addendum -> String

showList :: [Addendum] -> ShowS

Generic Addendum

Associated Types

type Rep Addendum :: * -> *

Methods

from :: Addendum -> Rep Addendum x

to :: Rep Addendum x -> Addendum

NFData Addendum

Methods

rnf :: Addendum -> ()

type Rep Addendum

type Rep Addendum = D1 * (MetaData "Addendum" "Language.ATS.Lexer" "ats-format-0.1.0.1-9jl24t5OpRSBe7Tr5f8MVU" False) ((:+:) * (C1 * (MetaCons "None" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "Plus" PrefixI False) (U1 *)) (C1 * (MetaCons "Minus" PrefixI False) (U1 *))))

lexATS :: String -> [Token]

This function turns a string into a stream of tokens for the parser.

token_posn :: Token -> AlexPosn