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.GeneratedPattern

Types

GeneratedPatternReceipt

type GeneratedPatternReceipt = PRPlain | PRBareUid | PRBareQual

GeneratedPatternDone

type GeneratedPatternDone = PatternDone(Sp(Pat), GeneratedPatternReceipt)

GeneratedLetReceipt

type GeneratedLetReceipt = GLClosed | GLNamed

GeneratedLetDone

type GeneratedLetDone = LetDone(Sp(Pat), GeneratedLetReceipt)

GeneratedFieldReceipt

type GeneratedFieldReceipt = GFShorthand | GFExplicit(GeneratedPatternReceipt)

Functions and Values

generated_pattern_note_receipt

generated_pattern_note_receipt : (Syntax.Cursor.Cursor, Syntax.Parse.GeneratedPattern.GeneratedPatternReceipt) -> Syntax.Cursor.Cursor

generated_let_note_receipt

generated_let_note_receipt : (Syntax.Cursor.Cursor, Syntax.Parse.GeneratedPattern.GeneratedLetReceipt) -> Syntax.Cursor.Cursor

generated_parse_pattern

generated_parse_pattern : (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(Syntax.Parse.GeneratedPattern.GeneratedPatternDone)

generated_parse_let_pattern

generated_parse_let_pattern : (Syntax.Cursor.Cursor, Int) -> Syntax.Parse.Support.Parsed(Syntax.Parse.GeneratedPattern.GeneratedLetDone)