Zafu/Text/Parse

source code:

• src/Zafu/Text/Parse.bosatsu

public dependencies: Zafu/Collection/NonEmptyList, Zafu/Control/Result, Zafu/Text/Parse/Error, Zafu/Text/Parse/Types

Index

• Types: Either
• Values: any_char, as, backtrack, backtrack0, between, between0, caret, chain_left1, chain_right1, char, char_in, char_where, collect, defer, defer0, either_or, end, fail, fail_with, filter, flat_map, flat_map0, ignore_case_char, ignore_case_string, index, keep_left, keep_left0, keep_right, keep_right0, label, label0, map, map0, map_filter, matched, not, not_then, one_of, one_of0, optional, or_else, parse, parse_offset, parse_prefix, peek, product, product0, product01, product10, pure0, rep, rep0, rep0_max, rep_exactly, rep_min, rep_min_max, rep_sep, rep_sep0, rep_until, rep_until0, soft_product0, soft_product01, soft_product10, start, string, string0, surrounded_by, surrounded_by0, void, with_context, with_context0, with_string

Types

Either[a, b]

type Either[a: +*, b: +*]

Constructors

• Left(left: a)
• Right(right: b)

Values

any_char

references: Char, Zafu/Text/Parse/Types::Parser

any_char: Zafu/Text/Parse/Types::Parser[Char]

as

references: Zafu/Text/Parse/Types::Parser0

def as[a, b](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: b) -> Zafu/Text/Parse/Types::Parser0[b]

backtrack

references: Zafu/Text/Parse/Types::Parser

def backtrack[a](arg1: Zafu/Text/Parse/Types::Parser[a]) -> Zafu/Text/Parse/Types::Parser[a]

backtrack0

references: Zafu/Text/Parse/Types::Parser0

def backtrack0[a](arg1: Zafu/Text/Parse/Types::Parser0[a]) -> Zafu/Text/Parse/Types::Parser0[a]

between

references: Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def between[a, b, c](
    arg1: Zafu/Text/Parse/Types::Parser0[a],
    arg2: Zafu/Text/Parse/Types::Parser[b],
    arg3: Zafu/Text/Parse/Types::Parser0[c]
) -> Zafu/Text/Parse/Types::Parser[b]

between0

references: Zafu/Text/Parse/Types::Parser0

def between0[a, b, c](
    arg1: Zafu/Text/Parse/Types::Parser0[a],
    arg2: Zafu/Text/Parse/Types::Parser0[b],
    arg3: Zafu/Text/Parse/Types::Parser0[c]
) -> Zafu/Text/Parse/Types::Parser0[b]

caret

references: Zafu/Text/Parse/Error::Caret, Zafu/Text/Parse/Types::Parser0

caret: Zafu/Text/Parse/Types::Parser0[Zafu/Text/Parse/Error::Caret]

chain_left1

references: Zafu/Text/Parse/Types::Parser

def chain_left1[a
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: Zafu/Text/Parse/Types::Parser[(a, a) -> a]) -> Zafu/Text/Parse/Types::Parser[a]

chain_right1

references: Zafu/Text/Parse/Types::Parser

def chain_right1[a
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: Zafu/Text/Parse/Types::Parser[(a, a) -> a]) -> Zafu/Text/Parse/Types::Parser[a]

char

references: Char, Unit, Zafu/Text/Parse/Types::Parser

def char(arg1: Char) -> Zafu/Text/Parse/Types::Parser[()]

char_in

references: Char, List, Zafu/Text/Parse/Types::Parser

def char_in(arg1: List[Char]) -> Zafu/Text/Parse/Types::Parser[Char]

char_where

references: Bool, Char, String, Zafu/Text/Parse/Types::Parser

def char_where(arg1: Char -> Bool, arg2: String) -> Zafu/Text/Parse/Types::Parser[Char]

collect

references: Option, String, Zafu/Text/Parse/Types::Parser0

def collect[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: a -> Option[b], arg3: String) -> Zafu/Text/Parse/Types::Parser0[b]

defer

references: Unit, Zafu/Text/Parse/Types::Parser

def defer[a](arg1: () -> Zafu/Text/Parse/Types::Parser[a]) -> Zafu/Text/Parse/Types::Parser[a]

defer0

references: Unit, Zafu/Text/Parse/Types::Parser0

def defer0[a](arg1: () -> Zafu/Text/Parse/Types::Parser0[a]) -> Zafu/Text/Parse/Types::Parser0[a]

either_or

references: Either, Zafu/Text/Parse/Types::Parser0

def either_or[a,
    b
](first: Zafu/Text/Parse/Types::Parser0[a], second: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser0[Either[b, a]]

end

references: Unit, Zafu/Text/Parse/Types::Parser

end: Zafu/Text/Parse/Types::Parser[()]

fail

references: Zafu/Text/Parse/Types::Parser

fail: forall a: *. Zafu/Text/Parse/Types::Parser[a]

fail_with

references: String, Zafu/Text/Parse/Types::Parser

def fail_with[a](arg1: String) -> Zafu/Text/Parse/Types::Parser[a]

filter

references: Bool, String, Zafu/Text/Parse/Types::Parser0

def filter[a
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: a -> Bool, arg3: String) -> Zafu/Text/Parse/Types::Parser0[a]

flat_map

references: Zafu/Text/Parse/Types::Parser

def flat_map[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: a -> Zafu/Text/Parse/Types::Parser[b]) -> Zafu/Text/Parse/Types::Parser[b]

flat_map0

references: Zafu/Text/Parse/Types::Parser0

def flat_map0[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: a -> Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser0[b]

ignore_case_char

references: Char, Unit, Zafu/Text/Parse/Types::Parser

def ignore_case_char(arg1: Char) -> Zafu/Text/Parse/Types::Parser[()]

ignore_case_string

references: String, Unit, Zafu/Text/Parse/Types::Parser

def ignore_case_string(arg1: String) -> Zafu/Text/Parse/Types::Parser[()]

index

references: Int, Zafu/Text/Parse/Types::Parser0

index: Zafu/Text/Parse/Types::Parser0[Int]

keep_left

references: Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def keep_left[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser[a]

keep_left0

references: Zafu/Text/Parse/Types::Parser0

def keep_left0[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser0[a]

keep_right

references: Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def keep_right[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: Zafu/Text/Parse/Types::Parser[b]) -> Zafu/Text/Parse/Types::Parser[b]

keep_right0

references: Zafu/Text/Parse/Types::Parser0

def keep_right0[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser0[b]

label

references: String, Zafu/Text/Parse/Types::Parser

def label[a
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: String) -> Zafu/Text/Parse/Types::Parser[a]

label0

references: String, Zafu/Text/Parse/Types::Parser0

def label0[a
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: String) -> Zafu/Text/Parse/Types::Parser0[a]

map

references: Zafu/Text/Parse/Types::Parser

def map[a,
    b](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: a -> b) -> Zafu/Text/Parse/Types::Parser[b]

map0

references: Zafu/Text/Parse/Types::Parser0

def map0[a,
    b](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: a -> b) -> Zafu/Text/Parse/Types::Parser0[b]

map_filter

references: Option, Zafu/Text/Parse/Types::Parser0

def map_filter[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: a -> Option[b]) -> Zafu/Text/Parse/Types::Parser0[b]

matched

references: String, Zafu/Text/Parse/Types::Parser0

def matched[a](arg1: Zafu/Text/Parse/Types::Parser0[a]) -> Zafu/Text/Parse/Types::Parser0[String]

not

references: Unit, Zafu/Text/Parse/Types::Parser0

def not[a](arg1: Zafu/Text/Parse/Types::Parser0[a]) -> Zafu/Text/Parse/Types::Parser0[()]

not_then

references: Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def not_then[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: Zafu/Text/Parse/Types::Parser[b]) -> Zafu/Text/Parse/Types::Parser[b]

one_of

references: List, Zafu/Text/Parse/Types::Parser

def one_of[a](arg1: List[Zafu/Text/Parse/Types::Parser[a]]) -> Zafu/Text/Parse/Types::Parser[a]

one_of0

references: List, Zafu/Text/Parse/Types::Parser0

def one_of0[a](arg1: List[Zafu/Text/Parse/Types::Parser0[a]]) -> Zafu/Text/Parse/Types::Parser0[a]

optional

references: Option, Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def optional[a](arg1: Zafu/Text/Parse/Types::Parser[a]) -> Zafu/Text/Parse/Types::Parser0[Option[a]]

or_else

references: Zafu/Text/Parse/Types::Parser0

def or_else[a
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: Zafu/Text/Parse/Types::Parser0[a]) -> Zafu/Text/Parse/Types::Parser0[a]

parse

Types owns the parser runtime representation. Parse remains the canonical public entrypoint and only layers wrapper-local helpers on top.

references: String, Zafu/Control/Result::Result, Zafu/Text/Parse/Error::Error, Zafu/Text/Parse/Types::Parser

def parse[a
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: String) -> Zafu/Control/Result::Result[Zafu/Text/Parse/Error::Error, a]

parse_offset

references: Int, String, Tuple2, Zafu/Control/Result::Result, Zafu/Text/Parse/Error::Error, Zafu/Text/Parse/Types::Parser0

def parse_offset[a
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: String) -> Zafu/Control/Result::Result[Zafu/Text/Parse/Error::Error, (Int, a)]

parse_prefix

references: String, Tuple2, Zafu/Control/Result::Result, Zafu/Text/Parse/Error::Error, Zafu/Text/Parse/Types::Parser0

def parse_prefix[a
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: String) -> Zafu/Control/Result::Result[Zafu/Text/Parse/Error::Error, (String, a)]

peek

references: Unit, Zafu/Text/Parse/Types::Parser0

def peek[a](arg1: Zafu/Text/Parse/Types::Parser0[a]) -> Zafu/Text/Parse/Types::Parser0[()]

product

references: Tuple2, Zafu/Text/Parse/Types::Parser

def product[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: Zafu/Text/Parse/Types::Parser[b]) -> Zafu/Text/Parse/Types::Parser[(a, b)]

product0

references: Tuple2, Zafu/Text/Parse/Types::Parser0

def product0[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser0[(a, b)]

product01

references: Tuple2, Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def product01[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: Zafu/Text/Parse/Types::Parser[b]) -> Zafu/Text/Parse/Types::Parser[(a, b)]

product10

references: Tuple2, Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def product10[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser[(a, b)]

pure0

references: Zafu/Text/Parse/Types::Parser0

def pure0[a](arg1: a) -> Zafu/Text/Parse/Types::Parser0[a]

rep

references: Zafu/Collection/NonEmptyList::NonEmptyList, Zafu/Text/Parse/Types::Parser

def rep[a
](parser: Zafu/Text/Parse/Types::Parser[a]) -> Zafu/Text/Parse/Types::Parser[Zafu/Collection/NonEmptyList::NonEmptyList[a]]

rep0

references: List, Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def rep0[a](arg1: Zafu/Text/Parse/Types::Parser[a]) -> Zafu/Text/Parse/Types::Parser0[List[a]]

rep0_max

references: Int, List, Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def rep0_max[a
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: Int) -> Zafu/Text/Parse/Types::Parser0[List[a]]

rep_exactly

references: Int, Zafu/Collection/NonEmptyList::NonEmptyList, Zafu/Text/Parse/Types::Parser

def rep_exactly[a
](parser: Zafu/Text/Parse/Types::Parser[a], times: Int) -> Zafu/Text/Parse/Types::Parser[Zafu/Collection/NonEmptyList::NonEmptyList[a]]

rep_min

references: Int, Zafu/Collection/NonEmptyList::NonEmptyList, Zafu/Text/Parse/Types::Parser

def rep_min[a
](parser: Zafu/Text/Parse/Types::Parser[a], min_items: Int) -> Zafu/Text/Parse/Types::Parser[Zafu/Collection/NonEmptyList::NonEmptyList[a]]

rep_min_max

references: Int, Zafu/Collection/NonEmptyList::NonEmptyList, Zafu/Text/Parse/Types::Parser

def rep_min_max[a
](parser: Zafu/Text/Parse/Types::Parser[a], min_items: Int, max_items: Int) -> Zafu/Text/Parse/Types::Parser[Zafu/Collection/NonEmptyList::NonEmptyList[a]]

rep_sep

references: Zafu/Collection/NonEmptyList::NonEmptyList, Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def rep_sep[a,
    b
](parser: Zafu/Text/Parse/Types::Parser[a], sep: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser[Zafu/Collection/NonEmptyList::NonEmptyList[a]]

rep_sep0

references: List, Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def rep_sep0[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser0[List[a]]

rep_until

references: List, Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def rep_until[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser[List[a]]

rep_until0

references: List, Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def rep_until0[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser0[List[a]]

soft_product0

references: Tuple2, Zafu/Text/Parse/Types::Parser0

def soft_product0[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser0[(a, b)]

soft_product01

references: Tuple2, Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def soft_product01[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: Zafu/Text/Parse/Types::Parser[b]) -> Zafu/Text/Parse/Types::Parser[(a, b)]

soft_product10

references: Tuple2, Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def soft_product10[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser[(a, b)]

start

references: Unit, Zafu/Text/Parse/Types::Parser0

start: Zafu/Text/Parse/Types::Parser0[()]

string

references: String, Unit, Zafu/Text/Parse/Types::Parser

def string(arg1: String) -> Zafu/Text/Parse/Types::Parser[()]

string0

references: String, Unit, Zafu/Text/Parse/Types::Parser0

def string0(arg1: String) -> Zafu/Text/Parse/Types::Parser0[()]

surrounded_by

references: Zafu/Text/Parse/Types::Parser, Zafu/Text/Parse/Types::Parser0

def surrounded_by[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser[a]

surrounded_by0

references: Zafu/Text/Parse/Types::Parser0

def surrounded_by0[a,
    b
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: Zafu/Text/Parse/Types::Parser0[b]) -> Zafu/Text/Parse/Types::Parser0[a]

void

references: Unit, Zafu/Text/Parse/Types::Parser0

def void[a](arg1: Zafu/Text/Parse/Types::Parser0[a]) -> Zafu/Text/Parse/Types::Parser0[()]

with_context

references: String, Zafu/Text/Parse/Types::Parser

def with_context[a
](arg1: Zafu/Text/Parse/Types::Parser[a], arg2: String) -> Zafu/Text/Parse/Types::Parser[a]

with_context0

references: String, Zafu/Text/Parse/Types::Parser0

def with_context0[a
](arg1: Zafu/Text/Parse/Types::Parser0[a], arg2: String) -> Zafu/Text/Parse/Types::Parser0[a]

with_string

references: String, Tuple2, Zafu/Text/Parse/Types::Parser0

def with_string[a
](arg1: Zafu/Text/Parse/Types::Parser0[a]) -> Zafu/Text/Parse/Types::Parser0[(a, String)]