README
- ::newInput::new
- ::betweenParser::between
- ::bindParser::bind
- ::charParser::char
- ::curly_bracketParser::curly_bracket
- ::discard_leftParser::discard_left
- ::discard_rightParser::discard_right
- ::discard_spacesParser::discard_spaces
- ::eofParser::eof
- ::foldlParser::foldl
- ::foldl1Parser::foldl1
- ::foldrParser::foldr
- ::foldr1Parser::foldr1
- ::innerParser::inner
- ::labelParser::label
- ::manyParser::many
- ::many_eachParser::many_each
- ::mapParser::map
- ::map_srcposParser::map_srcpos
- ::none_ofParser::none_of
- ::one_ofParser::one_of
- ::orParser::or
- ::pureParser::pure
- ::round_bracketParser::round_bracket
- ::runParser::run
- ::satisfyParser::satisfy
- ::square_bracketParser::square_bracket
- ::stringParser::string
T
SourcePos
V
alphabetic
V
any
V
digit
V
space
V
space1
V
spaces

simple_parserc

Monadic parser combinators

parser

parser combinator

Download zip

Author

illusory0x0

Version

0.2.2

License

Apache-2.0

Repository

github.com/moonbit-community/simple_parserc

Last updated

last year

Downloads

433

No dependencies

#illusory0x0/simple_parserc

#Primitive combinators

|
- lor or
label

#Monadic combinators

Monad
- bind
- pure
- map
helper function
- map_srcpos
- discard_left
- discard_right

#Folding

foldl
foldl1
foldr
foldr1
many
many_each

#Derivatives of primitive combinators

satisfy
char
one_of
none_of
string
eof

#satisfy helpler function

digit
space
alphabetic
any
space1
spaces

#Surrounding

between
round_bracket
square_bracket
curly_bracket

#Reference

megaparsec

opal

ParseError

source

pub(all) suberror ParseError {
  ParseError(SourcePos, @moonbitlang/core/list.List
List[String])
}

impl Show for ParseError

ParseError::cons

source

fn ParseError::cons(self : ParseError, x : String) -> ParseError

ParseError::expect

source

fn ParseError::expect(row~ : Int, col~ : Int, msg : String) -> ParseError
fnalias ParseError::expect

ParseError::source_pos

source

fn ParseError::source_pos(self : ParseError) -> SourcePos

Input

source

pub(all) struct Input {
  chars : StringView
  row : Int
  col : Int
}

impl Show for Input

Input::new

source

fn Input::new(chars : StringView) -> Input

Parser

source

pub(all) type Parser[A] (Input) -> (A, Input) raise ParseError

impl BitOr for Parser[A]

Parser::between

source

fn[A, B, C] Parser::between(self : Parser[A], open~ : Parser[B], close~ : Parser[C]) -> Parser[A]
fnalias Parser::between

Parser::bind

source

fn[A, B] Parser::bind(x : Parser[A], f : (A) -> Parser[B]) -> Parser[B]
fnalias Parser::bind

Parser::char

source

fn Parser::char(ch : Char) -> Parser[Char]
fnalias Parser::char

Parser::curly_bracket

source

fn[A] Parser::curly_bracket(self : Parser[A]) -> Parser[A]
fnalias Parser::curly_bracket

Parser::discard_left

source

fn[A, B] Parser::discard_left(x : Parser[A], y : Parser[B]) -> Parser[B]
fnalias Parser::discard_left

Parser::discard_right

source

fn[A, B] Parser::discard_right(x : Parser[A], y : Parser[B]) -> Parser[A]
fnalias Parser::discard_right

Parser::discard_spaces

source

fn[A] Parser::discard_spaces(self : Parser[A]) -> Parser[A]
fnalias Parser::discard_spaces

Parser::eof

source

fn[A] Parser::eof(x : A) -> Parser[A]
fnalias Parser::eof

Parser::foldl

source

fn[A, B] Parser::foldl(x : Parser[A], z : Parser[B], f : Parser[(B, A) -> B]) -> Parser[B]
fnalias Parser::foldl

Parser::foldl1

source

fn[A] Parser::foldl1(x : Parser[A], f : Parser[(A, A) -> A]) -> Parser[A]
fnalias Parser::foldl1

Parser::foldr

source

fn[A, B] Parser::foldr(x : Parser[A], z : Parser[B], f : Parser[(B, A) -> B]) -> Parser[B]
fnalias Parser::foldr

Parser::foldr1

source

fn[A] Parser::foldr1(x : Parser[A], f : Parser[(A, A) -> A]) -> Parser[A]
fnalias Parser::foldr1

Parser::inner

source

#deprecated("Use `struct T(A)` to declare a newtype and use `.0` access the underlying type instead.")
fn[A] Parser::inner(self : Parser[A]) -> ((Input) -> (A, Input) raise ParseError)

Convert newtype to its underlying type, automatically derived.

Parser::label

source

fn[A] Parser::label(x : Parser[A], msg : String) -> Parser[A]
fnalias Parser::label

Parser::many

source

fn[A] Parser::many(self : Parser[A]) -> Parser[Array[A]]
fnalias Parser::many

Parser::many_each

source

fn[A] Parser::many_each(x : Parser[A], f : (A) -> Unit) -> Parser[Unit]
fnalias Parser::many_each

Parser::map

source

fn[A, B] Parser::map(self : Parser[A], f : (A) -> B) -> Parser[B]
fnalias Parser::map

Parser::map_srcpos

source

fn[A, B] Parser::map_srcpos(self : Parser[A], f : (SourcePos, A) -> B) -> Parser[B]
fnalias Parser::map_srcpos

Parser::none_of

source

fn Parser::none_of(xs : String) -> Parser[Char]
fnalias Parser::none_of

Parser::one_of

source

fn Parser::one_of(xs : String) -> Parser[Char]
fnalias Parser::one_of

Parser::or

source

fn[A] Parser::or(x : Parser[A], y : Parser[A]) -> Parser[A]
fnalias Parser::or

Parser::pure

source

fn[A] Parser::pure(x : A) -> Parser[A]
fnalias Parser::pure

Parser::round_bracket

source

fn[A] Parser::round_bracket(self : Parser[A]) -> Parser[A]
fnalias Parser::round_bracket

Parser::run

source

fn[A] Parser::run(self : Parser[A], input : Input) -> A raise ParseError
fnalias Parser::run

Parser::satisfy

source

fn Parser::satisfy(f : (Char) -> Bool, label~ : String) -> Parser[Char]
fnalias Parser::satisfy

Parser::square_bracket

source

fn[A] Parser::square_bracket(self : Parser[A]) -> Parser[A]
fnalias Parser::square_bracket

Parser::string

source

fn Parser::string(str : String) -> Parser[String]
fnalias Parser::string

SourcePos

source

pub(all) struct SourcePos {
  row : Int
  col : Int
}

impl Compare for SourcePos

impl Eq for SourcePos

impl Show for SourcePos

alphabetic

source

let alphabetic : Parser[Char]

any

source

let any : Parser[Char]

digit

source

let digit : Parser[Char]

space

source

let space : Parser[Char]

space1

source

let space1 : Parser[Char]

spaces

source

let spaces : Parser[Char]

Source Files

Site source Report issue Packages Build queue Skills Statistics

simple_parserc

#illusory0x0/simple_parserc

#Primitive combinators

#Monadic combinators

#Folding

#Derivatives of primitive combinators

#satisfy helpler function

#Surrounding

#Reference

#ParseError

#ParseError::cons

#ParseError::expect

#ParseError::source_pos

#Input

#Input::new

#Parser

#Parser::between

#Parser::bind

#Parser::char

#Parser::curly_bracket

#Parser::discard_left

#Parser::discard_right

#Parser::discard_spaces

#Parser::eof

#Parser::foldl

#Parser::foldl1

#Parser::foldr

#Parser::foldr1

#Parser::inner

#Parser::label

#Parser::many

#Parser::many_each

#Parser::map

#Parser::map_srcpos

#Parser::none_of

#Parser::one_of

#Parser::or

#Parser::pure

#Parser::round_bracket

#Parser::run

#Parser::satisfy

#Parser::square_bracket

#Parser::string

#SourcePos

#alphabetic

#any

#digit

#space

#space1

#spaces

Source Files

ParseError

ParseError::cons

ParseError::expect

ParseError::source_pos

Input

Input::new

Parser

Parser::between

Parser::bind

Parser::char

Parser::curly_bracket

Parser::discard_left

Parser::discard_right

Parser::discard_spaces

Parser::eof

Parser::foldl

Parser::foldl1

Parser::foldr

Parser::foldr1

Parser::inner

Parser::label

Parser::many

Parser::many_each

Parser::map

Parser::map_srcpos

Parser::none_of

Parser::one_of

Parser::or

Parser::pure

Parser::round_bracket

Parser::run

Parser::satisfy

Parser::square_bracket

Parser::string

SourcePos

alphabetic

any

digit

space

space1

spaces