Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Commodity module to build a simple query and extract the output from the solution found by Elpi.
Example: "foo data Output" where data has type t (a is t Conversion.t) and Output has type v (b is a v Conversion.t) can be described as: |
let q : (v * unit) t = Query {
predicate = "foo";
arguments = D(a, data,
Q(b, "Output",
N))
|
}
Then compile q can be used to obtain the compiled query such that the resulting solution has a fied output of type (v * unit). Example: |
Query.compile q |> Compile.link |> Execute.once |> function
| Execute.Success { output -> output | _ -> ...
|
}
type _ arguments = | N : unit arguments| D : 'a Conversion.t * 'a * 'x arguments -> 'x arguments| Q : 'a Conversion.t * name * 'x arguments -> ('a * 'x) arguments
val compile : Compile.program -> Ast.Loc.t -> 'a t -> 'a Compile.query