SqlSquared.Parser

parse :: forall t. Corecursive t (SqlF EJsonF) => String -> Either ParseError t

parseQuery :: forall t. Corecursive t (SqlF EJsonF) => String -> Either ParseError (SqlQueryF t)

parseModule :: forall t. Corecursive t (SqlF EJsonF) => String -> Either ParseError (SqlModuleF t)

prettyParse :: forall a. (String -> Either ParseError a) -> String -> Either String a

type TokenStream = Array PositionedToken

data Token

Constructors

• Kw String
• Op String
• Identifier String
• Lit Literal
• Comment String

Instances

• Eq Token

type PositionedToken = { position :: Position, token :: Token }

data Literal

Constructors

• String String
• Integer HugeInt
• Decimal HugeNum

Instances

• Eq Literal

tokenize :: String -> Either ParseError TokenStream

printToken :: Token -> String