Syntax.Parse.GeneratedType

Types

`GeneratedTypeReceipt`

type GeneratedTypeReceipt
  = TRPlain
  | TRNamed
  | TRUsage
  | TRBareEffect
  | TRClosedEffect
  | TRNat
  | TRRow
  | TRDimIdent

Exact completed-Type state used by generated delimiters.

`GeneratedChild`

type GeneratedChild(a) = TypeDone(a, GeneratedTypeReceipt)

Child value and the grammar state completed at its right edge. The TypeDone constructor keeps the private Type parser seam source-compatible.

`GeneratedDimCompletion`

type GeneratedDimCompletion = GTCDimensionNatural | GTCDimensionVariable

Parse the complete frozen DimTerm production. The caller decides whether a following + enters the declined fault path.

`GeneratedRowReceipt`

type GeneratedRowReceipt = GRClosedItem | GROptionalArgs

`GeneratedRowItem`

type GeneratedRowItem(a) = GeneratedRowItem(a, GeneratedRowReceipt)

Functions and Values

`generated_parse_atype`

generated_parse_atype : (Syntax.Cursor.Cursor, Int, (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(Syntax.Parse.GeneratedType.GeneratedChild(Syntax.Ast.Ty)), (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(Syntax.Parse.GeneratedType.GeneratedChild(Syntax.Ast.Ty))) -> Syntax.Parse.Support.Parsed(Syntax.Parse.GeneratedType.GeneratedChild(Syntax.Ast.Ty))

Parse the complete 17-alternative AType production.

`generated_parse_ctor_args`

generated_parse_ctor_args : (Syntax.Cursor.Cursor, Int, (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(Syntax.Parse.GeneratedType.GeneratedChild(Syntax.Ast.Ty))) -> Syntax.Parse.Support.Parsed(List(Syntax.Ast.Ty))

Complete CtorArgs child production, shared by AType and effect labels.

`generated_type_receipt_always_live`

generated_type_receipt_always_live : (Syntax.Parse.GeneratedType.GeneratedTypeReceipt) -> Bool

Whether this completed state remains live on a Type FOLLOW token.

`generated_type_suppress_receipt`

generated_type_suppress_receipt : (Syntax.Cursor.Cursor) -> Bool

Frozen Type FOLLOW set that suppresses an ordinary receipt menu.

`generated_type_note_receipt`

generated_type_note_receipt : (Syntax.Cursor.Cursor, Syntax.Parse.GeneratedType.GeneratedTypeReceipt) -> Syntax.Cursor.Cursor

Exact wanted-token menu for each completed Type state.

`generated_type_note_if_live`

generated_type_note_if_live : (Syntax.Cursor.Cursor, Syntax.Parse.GeneratedType.GeneratedTypeReceipt) -> Syntax.Cursor.Cursor

`generated_type_note_close_follow`

generated_type_note_close_follow : (Syntax.Cursor.Cursor, Syntax.Parse.GeneratedType.GeneratedTypeReceipt, String) -> Syntax.Cursor.Cursor

`generated_type_note_list_follow`

generated_type_note_list_follow : (Syntax.Cursor.Cursor, Syntax.Parse.GeneratedType.GeneratedTypeReceipt, String) -> Syntax.Cursor.Cursor

`generated_parse_dim_term`

generated_parse_dim_term : (Syntax.Cursor.Cursor) -> Syntax.Parse.Support.Parsed(Syntax.Parse.GeneratedType.GeneratedDimCompletion)

`generated_parse_type_arg_with`

generated_parse_type_arg_with : (Syntax.Cursor.Cursor, Int, (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(Syntax.Parse.GeneratedType.GeneratedChild(Syntax.Ast.Ty)), (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(Syntax.Ast.Row)) -> Syntax.Parse.Support.Parsed(Syntax.Parse.GeneratedType.GeneratedChild(Syntax.Ast.Ty))

Injectable TypeArg entry used by the isolated behavior fixture. Like every public TypeArg entry, it spends exactly once.

`generated_parse_type`

generated_parse_type : (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(Syntax.Parse.GeneratedType.GeneratedChild(Syntax.Ast.Ty))

`generated_parse_type_head`

generated_parse_type_head : (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(Syntax.Parse.GeneratedType.GeneratedChild(Syntax.Ast.Ty))

`generated_parse_type_arg`

generated_parse_type_arg : (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(Syntax.Parse.GeneratedType.GeneratedChild(Syntax.Ast.Ty))

`generated_parse_effect_row`

generated_parse_effect_row : (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(Syntax.Ast.Row)

`generated_parse_eff_label`

generated_parse_eff_label : (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(Syntax.Ast.EffLabel)

Keyboard shortcuts

Prism