Sugar.Parser

Documentation

data Token

Constructors

Token'Unit TokenNote

Token'Text String TokenNote

Token'List [TokenStep] Wrap TokenNote

Token'Map [(TokenStep, TokenStep)] TokenNote

Instances

Eq Token

Defined in Sugar.Parser

Methods

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

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

Show Token

Defined in Sugar.Parser

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

type TokenStep = (SourceLocation, Token)

type TokenNote = Maybe [TokenStep]

type ParseError = (Maybe SourceLocation, String)

newtype Parser a

Constructors

Parser

Fields

• runParser :: [LexemeStep] -> ([LexemeStep], Either ParseError a)

Instances

Monad Parser

Defined in Sugar.Parser

Methods

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

(>>) :: Parser a -> Parser b -> Parser b

return :: a -> Parser a

Functor Parser

Defined in Sugar.Parser

Methods

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

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

Applicative Parser

Defined in Sugar.Parser

Methods

pure :: a -> Parser a

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

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

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

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

Alternative Parser

Defined in Sugar.Parser

Methods

empty :: Parser a

(<|>) :: Parser a -> Parser a -> Parser a

some :: Parser a -> Parser [a]

many :: Parser a -> Parser [a]

flatten :: TokenStep -> Sugar

sugarParse :: Parser TokenStep

sugarParseTopLevel :: Parser TokenStep

sugarParseMap :: Parser TokenStep

sugarParseList :: Parser TokenStep