TLDR.Combinators

data IfThen condition action

data ModifyStateAfterSuccessOnConstant constant cont

data ModifyStateAfterSuccessWithResult :: (Type -> Type) -> Type -> Typedata ModifyStateAfterSuccessWithResult functor cont

data BranchOnState branches otherwise

data Or left right

Operator alias for TLDR.Combinators.Or (right-associative / precedence 2)

data IgnoreAndThenParse ignore parse

Operator alias for TLDR.Combinators.IgnoreAndThenParse (left-associative / precedence 4)

data ParseAndThenIgnore parse ignore

Operator alias for TLDR.Combinators.ParseAndThenIgnore (left-associative / precedence 4)

data Some combinator

data Many combinator

data Const tp

data Fix :: Row Type -> Typedata Fix selfs

type SepBy1 a sep = Cons a (Many (IgnoreAndThenParse sep a))

type SepBy a sep = Or (SepBy1 a sep) (Const Nil)

type SepEndBy1 a sep = ParseAndThenIgnore (SepBy1 a sep) (Or sep Noop)

type SepEndBy a sep = ParseAndThenIgnore (SepBy a sep) (Or sep Noop)

type EndBy1 a sep = ParseAndThenIgnore (SepBy1 a sep) sep

type EndBy a sep = ParseAndThenIgnore (SepBy a sep) sep