package datalog

  1. Overview
  2. Docs
package datalog
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Datalog.ParserSource

Sourcetype token =
  1. | LEFT_PARENTHESIS
  2. | RIGHT_PARENTHESIS
  3. | DOT
  4. | IF
  5. | NOT
  6. | COMMA
  7. | EOI
  8. | SINGLE_QUOTED of string
  9. | LOWER_WORD of string
  10. | UPPER_WORD of string
  11. | INT of string
Sourceval parse_literal : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.literal
Sourceval parse_literals : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.literal list
Sourceval parse_clause : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.clause
Sourceval parse_file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.file
Sourceval parse_query : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.query