Copyright	(C) 2015 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (rae@cs.brynmawr.edu)
Stability	experimental
Safe Haskell	Safe
Language	Haskell2010

Language.Glambda.Token

Contents

Arithmetic operators
- Unchecked synonyms for arithmetic operators
Tokens

Description

Defines a lexical token

Synopsis

Arithmetic operators

data ArithOp ty where Source #

An ArithOp ty is an operator on numbers that produces a result of type ty

Constructors

Plus, Minus, Times, Divide, Mod :: ArithOp Int
Less, LessE, Greater, GreaterE, Equals :: ArithOp Bool

Instances

Eq (ArithOp ty) Source #
Methods (==) :: ArithOp ty -> ArithOp ty -> Bool # (/=) :: ArithOp ty -> ArithOp ty -> Bool #
Show (ArithOp ty) Source #
Methods showsPrec :: Int -> ArithOp ty -> ShowS # show :: ArithOp ty -> String # showList :: [ArithOp ty] -> ShowS #
Pretty (ArithOp ty) Source #
Methods pretty :: ArithOp ty -> Doc # prettyList :: [ArithOp ty] -> Doc #

data UArithOp where Source #

UArithOp ("unchecked ArithOp") is an existential package for an ArithOp

Constructors

UArithOp :: ITy ty => ArithOp ty -> UArithOp

Instances

Eq UArithOp Source #
Methods (==) :: UArithOp -> UArithOp -> Bool # (/=) :: UArithOp -> UArithOp -> Bool #
Show UArithOp Source #
Methods showsPrec :: Int -> UArithOp -> ShowS # show :: UArithOp -> String # showList :: [UArithOp] -> ShowS #
Pretty UArithOp Source #
Methods pretty :: UArithOp -> Doc # prettyList :: [UArithOp] -> Doc #

eqArithOp :: ArithOp ty1 -> ArithOp ty2 -> Bool Source #

Compare two ArithOps (potentially of different types) for equality

Unchecked synonyms for arithmetic operators

uPlus :: UArithOp Source #

uMinus :: UArithOp Source #

uTimes :: UArithOp Source #

uDivide :: UArithOp Source #

uMod :: UArithOp Source #

uLess :: UArithOp Source #

uLessE :: UArithOp Source #

uGreater :: UArithOp Source #

uGreaterE :: UArithOp Source #

uEquals :: UArithOp Source #

Tokens

data Token Source #

A lexed token

Constructors

LParen
RParen
Lambda
Dot
Arrow
Colon
ArithOp UArithOp
Int Int
Bool Bool
If
Then
Else
FixT
Assign
Semi
Name String

Instances

Eq Token Source #
Methods (==) :: Token -> Token -> Bool # (/=) :: Token -> Token -> Bool #
Show Token Source #
Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #
Pretty Token Source #
Methods pretty :: Token -> Doc # prettyList :: [Token] -> Doc #

data LToken Source #

A lexed token with location information attached

Constructors

L SourcePos Token

Instances

Show LToken Source #
Methods showsPrec :: Int -> LToken -> ShowS # show :: LToken -> String # showList :: [LToken] -> ShowS #
Pretty LToken Source #
Methods pretty :: LToken -> Doc # prettyList :: [LToken] -> Doc #

unLoc :: LToken -> Token Source #

Remove location information from an LToken

unArithOp :: Token -> Maybe UArithOp Source #

Perhaps extract a UArithOp

unInt :: Token -> Maybe Int Source #

Perhaps extract an Int

unBool :: Token -> Maybe Bool Source #

Perhaps extract an Bool

unName :: Token -> Maybe String Source #

Perhaps extract a String