L

Documentation

alexMonadScan :: Alex (Token AlexPosn)

alexInitUserState :: AlexUserState

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

withAlexSt :: Text -> AlexUserState -> Alex a -> Either String (AlexUserState, a)

freshName :: Text -> Alex (Nm AlexPosn)

newVarAlex :: Text -> Alex (Nm AlexPosn)

data AlexPosn

Constructors

AlexPn !Int !Int !Int

Instances

Show AlexPosn

Defined in L

Methods

showsPrec :: Int -> AlexPosn -> ShowS

show :: AlexPosn -> String

showList :: [AlexPosn] -> ShowS

Eq AlexPosn

Defined in L

Methods

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

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

Ord AlexPosn

Defined in L

Methods

compare :: AlexPosn -> AlexPosn -> Ordering

(<) :: AlexPosn -> AlexPosn -> Bool

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

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

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

max :: AlexPosn -> AlexPosn -> AlexPosn

min :: AlexPosn -> AlexPosn -> AlexPosn

Pretty AlexPosn

Defined in L

Methods

pretty :: AlexPosn -> Doc ann

prettyList :: [AlexPosn] -> Doc ann

newtype Alex a

Constructors

Alex

Fields

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

Instances

Applicative Alex

Defined in L

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

Functor Alex

Defined in L

Methods

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

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

Monad Alex

Defined in L

Methods

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

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

return :: a -> Alex a

data Token a

Constructors

EOF

Fields

• loc :: a

TokSym

Fields

• loc :: a
• _sym :: Sym

TokName

Fields

• loc :: a
• _name :: Nm a

TokTyName

Fields

• loc :: a
• _tyName :: TyName a

TokBuiltin

Fields

• loc :: a
• _builtin :: Builtin

TokKeyword

Fields

• loc :: a
• _kw :: Keyword

TokResVar

Fields

• loc :: a
• _var :: Var

TokInt

Fields

• loc :: a
• int :: Integer

TokFloat

Fields

• loc :: a
• float :: Double

TokBool

Fields

• loc :: a
• boolTok :: Bool

TokStr

Fields

• loc :: a
• strTok :: Text

TokStreamLit

Fields

• loc :: a
• ix :: Int

TokFieldLit

Fields

• loc :: a
• ix :: Int

TokRR

Fields

• loc :: a
• rr :: Text

TokAccess

Fields

• loc :: a
• ix :: Int

TokSelect

Fields

• loc :: a
• field :: Int

TokR

Fields

• loc :: a
• nfield :: Nm a

Instances

Functor Token

Defined in L

Methods

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

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

Pretty (Token a)

Defined in L

Methods

pretty :: Token a -> Doc ann

prettyList :: [Token a] -> Doc ann

data Keyword

Constructors

KwLet

KwIn

KwVal

KwEnd

KwSet

KwFlush

KwFn

KwInclude

KwIf

KwThen

KwElse

KwAsv

KwUsv

KwCsv

Instances

Pretty Keyword

Defined in L

Methods

pretty :: Keyword -> Doc ann

prettyList :: [Keyword] -> Doc ann

data Sym

Constructors

PlusTok

MinusTok

PercentTok

ExpTok

FoldTok

IceCreamCone

Fold1Tok

Quot

TimesTok

DefEq

Colon

LBrace

RBrace

LParen

LAnchor

DotEq

RParen

LSqBracket

RSqBracket

Semicolon

Underscore

EqTok

NeqTok

GtTok

GeqTok

LtTok

LeqTok

AndTok

OrTok

Tilde

NotMatchTok

MMatch

Comma

Dot

DoubleComma

TallyTok

LengthTok

ConstTok

LBracePercent

LBraceOctothorpe

LBraceBar

Exclamation

Caret

CaretStar

Zilde

Backslash

BackslashDot

QuestionMark

FilterTok

FloorSym

CeilSym

DedupTok

DedupOnTok

CatMaybesTok

MapMaybeTok

CapTok

NegTok

LastFieldTok

FieldListTok

AmpAmp

Instances

Pretty Sym

Defined in L

Methods

pretty :: Sym -> Doc ann

prettyList :: [Sym] -> Doc ann

data Builtin

Constructors

BIParse

BFParse

BSubstr

BSplit

BSplitc

BOption

BSprintf

BFloor

BCeil

BMatch

BIxes

BCaptures

BSome

BNone

BFp

BMapMaybe

BDedupOn

BFilt

BFold

BFold1

BScan

BSub1

BSubs

BHead

BTail

BInit

BLast

BDrop

BTake

BRein

Instances

Pretty Builtin

Defined in L

Methods

pretty :: Builtin -> Doc ann

prettyList :: [Builtin] -> Doc ann

data Var

Reserved/special variables

Constructors

VarX

VarY

VarFs

VarRs

VarOfs

VarOrs

VarIx

VarNf

VarMin

VarMax

Instances

Pretty Var

Defined in L

Methods

pretty :: Var -> Doc ann

prettyList :: [Var] -> Doc ann

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