Protocol.SExp.Parser

Definitions

data SExpToken : Type

Totality: total
Visibility: public export
Constructors:

StringLit : String -> SExpToken

IntegerLit : Integer -> SExpToken

Symbol : String -> SExpToken

Ident : String -> SExpToken

StringBegin : Nat -> SExpToken

StringEnd : SExpToken

Whitespace : SExpToken

EndInput : SExpToken

Hints:

Pretty Void SExpToken

Show SExpToken

data SExpError : Type

Totality: total
Visibility: public export
Constructors:

LexError : (StopReason, (Int, (Int, String))) -> SExpError

ParseErrors : List1 (ParsingError SExpToken) -> SExpError

Hint: 

Cast SExpError Error

parseSExp : String -> Either SExpError SExp

Visibility: export