Idrall.Parser.Rule

(source)

Definitions

Rule : Type -> Type: Visibility: public export
EmptyRule : Type -> Type: Visibility: public export
whitespace : Rule (): Visibility: export
tokenW : Grammar state TokenRawToken True a -> Grammar state TokenRawToken True a: Visibility: export
keyword : String -> Rule (): Visibility: export
symbol : String -> Rule (): Visibility: export
textBegin : Rule IsMultiline: Visibility: export
textBoundary : Rule (): Visibility: export
textLit : IsMultiline -> Rule String: Visibility: export
interpBegin : Rule (): Visibility: export
interpEnd : Rule (): Visibility: export
identPart : Rule String: Visibility: export
fieldName : Rule String: Visibility: export
missingImport : Rule (): Visibility: export
httpImport : Rule String: Visibility: export
envImport : Rule String: Visibility: export
arrow : Rule (): Visibility: export
shaImport : Rule String: Visibility: export
filePath : Rule Path: Visibility: export
naturalLit : Rule Nat: Visibility: export
integerLit : Rule Integer: Visibility: export
doubleLit : Rule Double: Visibility: export
dottedList : Rule (List1 FieldName): Visibility: export
dottedListRec : Rule (List1 FieldName): Visibility: export
builtin : Rule String: Visibility: export
someBuiltin : Rule (): Visibility: export
endOfInput : Rule (): Visibility: export