Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Syntax.Parse.GeneratedControl

Types

GeneratedSeparatedPhase

type GeneratedSeparatedPhase = GSRequiredFirst | GSInitial | GSAfterSeparator

GeneratedSeparatedDecision

type GeneratedSeparatedDecision = GSEnter | GSReject(Cursor)

Functions and Values

generated_bind

generated_bind : forall a b. (Syntax.Parse.Support.Parsed(a), (a, Syntax.Cursor.Cursor) -> Syntax.Parse.Support.Parsed(b)) -> Syntax.Parse.Support.Parsed(b)

generated_spend

generated_spend : forall a. (Syntax.Cursor.Cursor, Int, (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(a)) -> Syntax.Parse.Support.Parsed(a)

generated_repeat

generated_repeat : forall a. (Syntax.Cursor.Cursor, Int, Int, (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(a)) -> Syntax.Parse.Support.Parsed(List(a))

generated_choice

generated_choice : forall a. (Syntax.Cursor.Cursor, (Syntax.Cursor.Cursor) -> Syntax.Parse.Support.Parsed(a), (Syntax.Cursor.Cursor) -> Syntax.Parse.Support.Parsed(a)) -> Syntax.Parse.Support.Parsed(a)

generated_separated

generated_separated : forall a b c. (Syntax.Cursor.Cursor, Int, String, Syntax.Parse.GeneratedControl.GeneratedSeparatedPhase, (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(a), (a) -> b, (a) -> c, (Syntax.Parse.GeneratedControl.GeneratedSeparatedPhase, Syntax.Cursor.Cursor, String) -> Syntax.Parse.GeneratedControl.GeneratedSeparatedDecision, (Syntax.Parse.GeneratedControl.GeneratedSeparatedPhase, Syntax.Cursor.Cursor, c, String) -> Syntax.Cursor.Cursor, List(b)) -> Syntax.Parse.Support.Parsed(List(b))

generated_delimited_until

generated_delimited_until : forall a b c. (Syntax.Cursor.Cursor, Int, String, Syntax.Parse.GeneratedControl.GeneratedSeparatedPhase, (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(a), (a) -> b, (a) -> c, (Syntax.Parse.GeneratedControl.GeneratedSeparatedPhase, Syntax.Cursor.Cursor, String) -> Syntax.Parse.GeneratedControl.GeneratedSeparatedDecision, (Syntax.Parse.GeneratedControl.GeneratedSeparatedPhase, Syntax.Cursor.Cursor, c, String) -> Syntax.Cursor.Cursor, List(b)) -> Syntax.Parse.Support.Parsed(List(b))