Idris2Doc : Parser.Rule.Package
Reexports
import public Parser.Lexer.PackageDefinitions
Rule : Type -> Type- Totality: total
Visibility: public export EmptyRule : Type -> Type- Totality: total
Visibility: public export equals : Rule ()- Totality: total
Visibility: export lte : Rule ()- Totality: total
Visibility: export gte : Rule ()- Totality: total
Visibility: export lt : Rule ()- Totality: total
Visibility: export gt : Rule ()- Totality: total
Visibility: export eqop : Rule ()- Totality: total
Visibility: export andop : Rule ()- Totality: total
Visibility: export eoi : Rule ()- Totality: total
Visibility: export exactProperty : String -> Rule String- Totality: total
Visibility: export stringLit : Rule String- Totality: total
Visibility: export integerLit : Rule Integer- Totality: total
Visibility: export namespacedIdent : Rule (Maybe Namespace, String)- Totality: total
Visibility: export moduleIdent : Rule ModuleIdent- Totality: total
Visibility: export packageName : Rule String- Totality: total
Visibility: export dot' : Rule ()- Totality: total
Visibility: export sep : Rule t -> Rule (List t)- Totality: total
Visibility: export