Kempe.Lexer

Documentation

alexMonadScan :: Alex (Token AlexPosn)

runAlex :: ByteString -> Alex a -> Either String a

runAlexSt :: ByteString -> Alex a -> Either String (AlexUserState, a)

lexKempe :: ByteString -> Either String [Token AlexPosn]

data AlexPosn

Constructors

AlexPn !Int !Int !Int

Instances

Eq AlexPosn

Defined in Kempe.Lexer

Methods

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

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

Show AlexPosn

Defined in Kempe.Lexer

Methods

showsPrec :: Int -> AlexPosn -> ShowS

show :: AlexPosn -> String

showList :: [AlexPosn] -> ShowS

Generic AlexPosn

Defined in Kempe.Lexer

Associated Types

type Rep AlexPosn :: Type -> Type

Methods

from :: AlexPosn -> Rep AlexPosn x

to :: Rep AlexPosn x -> AlexPosn

NFData AlexPosn

Defined in Kempe.Lexer

Methods

rnf :: AlexPosn -> ()

Pretty AlexPosn

Defined in Kempe.Lexer

Methods

pretty :: AlexPosn -> Doc ann

prettyList :: [AlexPosn] -> Doc ann

type Rep AlexPosn

Defined in Kempe.Lexer

type Rep AlexPosn = D1 ('MetaData "AlexPosn" "Kempe.Lexer" "kempe-0.1.0.0-37UN4MutUBa1oYJTH0xWlz-kempe-modules" 'False) (C1 ('MetaCons "AlexPn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int))))

newtype Alex a

Constructors

Alex

Fields

• unAlex :: AlexState -> Either String (AlexState, a)

Instances

Monad Alex

Defined in Kempe.Lexer

Methods

(>>=) :: Alex a -> (a -> Alex b) -> Alex b

(>>) :: Alex a -> Alex b -> Alex b

return :: a -> Alex a

Functor Alex

Defined in Kempe.Lexer

Methods

fmap :: (a -> b) -> Alex a -> Alex b

(<$) :: a -> Alex b -> Alex a

Applicative Alex

Defined in Kempe.Lexer

Methods

pure :: a -> Alex a

(<*>) :: Alex (a -> b) -> Alex a -> Alex b

liftA2 :: (a -> b -> c) -> Alex a -> Alex b -> Alex c

(*>) :: Alex a -> Alex b -> Alex b

(<*) :: Alex a -> Alex b -> Alex a

data Token a

Constructors

EOF

Fields

• loc :: a

TokSym

Fields

• loc :: a
• _sym :: Sym

TokName

Fields

• loc :: a
• _name :: Name a

TokTyName

Fields

• loc :: a
• _tyName :: TyName a

TokKeyword

Fields

• loc :: a
• _kw :: Keyword

TokInt

Fields

• loc :: a
• int :: Integer

TokInt8

Fields

• loc :: a
• int8 :: Int8

TokWord

Fields

• loc :: a
• word :: Natural

TokForeign

Fields

• loc :: a
• ident :: ByteString

TokBuiltin

Fields

• loc :: a
• builtin :: Builtin

Instances

Generic (Token a)

Defined in Kempe.Lexer

Associated Types

type Rep (Token a) :: Type -> Type

Methods

from :: Token a -> Rep (Token a) x

to :: Rep (Token a) x -> Token a

NFData a => NFData (Token a)

Defined in Kempe.Lexer

Methods

rnf :: Token a -> ()

Pretty (Token a)

Defined in Kempe.Lexer

Methods

pretty :: Token a -> Doc ann

prettyList :: [Token a] -> Doc ann

type Rep (Token a)

Defined in Kempe.Lexer

type Rep (Token a)

data Keyword

Constructors

KwType

KwImport

KwCase

KwCfun

KwIf

KwForeign

KwCabi

KwKabi

Instances

Generic Keyword

Defined in Kempe.Lexer

Associated Types

type Rep Keyword :: Type -> Type

Methods

from :: Keyword -> Rep Keyword x

to :: Rep Keyword x -> Keyword

NFData Keyword

Defined in Kempe.Lexer

Methods

rnf :: Keyword -> ()

Pretty Keyword

Defined in Kempe.Lexer

Methods

pretty :: Keyword -> Doc ann

prettyList :: [Keyword] -> Doc ann

type Rep Keyword

Defined in Kempe.Lexer

type Rep Keyword = D1 ('MetaData "Keyword" "Kempe.Lexer" "kempe-0.1.0.0-37UN4MutUBa1oYJTH0xWlz-kempe-modules" 'False) (((C1 ('MetaCons "KwType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwImport" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KwCase" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwCfun" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "KwIf" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwForeign" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KwCabi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KwKabi" 'PrefixI 'False) (U1 :: Type -> Type))))

data Sym

Constructors

Arrow

Plus

PlusU

Minus

Percent

Div

Times

TimesU

DefEq

Eq

ShiftL

ShiftR

ShiftLU

ShiftRU

Colon

LBrace

RBrace

Semicolon

LSqBracket

RSqBracket

VBar

CaseArr

LParen

RParen

Comma

Underscore

Leq

Lt

MinusU

DivU

ModU

Neq

Geq

Gt

AndTok

OrTok

NegTok

Instances

Generic Sym

Defined in Kempe.Lexer

Associated Types

type Rep Sym :: Type -> Type

Methods

from :: Sym -> Rep Sym x

to :: Rep Sym x -> Sym

NFData Sym

Defined in Kempe.Lexer

Methods

rnf :: Sym -> ()

Pretty Sym

Defined in Kempe.Lexer

Methods

pretty :: Sym -> Doc ann

prettyList :: [Sym] -> Doc ann

type Rep Sym

Defined in Kempe.Lexer

type Rep Sym = D1 ('MetaData "Sym" "Kempe.Lexer" "kempe-0.1.0.0-37UN4MutUBa1oYJTH0xWlz-kempe-modules" 'False) (((((C1 ('MetaCons "Arrow" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Plus" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PlusU" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Minus" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Percent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Div" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Times" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TimesU" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DefEq" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Eq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ShiftL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ShiftR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ShiftLU" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ShiftRU" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Colon" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LBrace" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RBrace" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Semicolon" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "LSqBracket" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RSqBracket" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "VBar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CaseArr" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LParen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RParen" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Comma" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Underscore" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Leq" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Lt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MinusU" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DivU" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ModU" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Neq" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Geq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Gt" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AndTok" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OrTok" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NegTok" 'PrefixI 'False) (U1 :: Type -> Type)))))))

data Builtin

Constructors

BuiltinBool

BuiltinBoolLit

Fields

• bool :: !Bool

BuiltinInt

BuiltinInt8

BuiltinWord

BuiltinDip

BuiltinDrop

BuiltinSwap

BuiltinDup

BuiltinIntXor

BuiltinWordXor

BuiltinBoolXor

BuiltinPopcount

Instances

Generic Builtin

Defined in Kempe.Lexer

Associated Types

type Rep Builtin :: Type -> Type

Methods

from :: Builtin -> Rep Builtin x

to :: Rep Builtin x -> Builtin

NFData Builtin

Defined in Kempe.Lexer

Methods

rnf :: Builtin -> ()

Pretty Builtin

Defined in Kempe.Lexer

Methods

pretty :: Builtin -> Doc ann

prettyList :: [Builtin] -> Doc ann

type Rep Builtin

Defined in Kempe.Lexer

type Rep Builtin = D1 ('MetaData "Builtin" "Kempe.Lexer" "kempe-0.1.0.0-37UN4MutUBa1oYJTH0xWlz-kempe-modules" 'False) (((C1 ('MetaCons "BuiltinBool" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BuiltinBoolLit" 'PrefixI 'True) (S1 ('MetaSel ('Just "bool") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "BuiltinInt" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "BuiltinInt8" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BuiltinWord" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BuiltinDip" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "BuiltinDrop" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BuiltinSwap" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BuiltinDup" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "BuiltinIntXor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BuiltinWordXor" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BuiltinBoolXor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BuiltinPopcount" 'PrefixI 'False) (U1 :: Type -> Type)))))

type AlexUserState = (Int, Map Text Int, IntMap (Name AlexPosn))