blob: 6a63431bb3ead9d8b86876068bddb780b84716df (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
type kind = ..
class type implementation = object
method parse : string -> (kind, Concepts.Condition.condition) result
method eval :
kind -> Handle.t list -> within:Handle.t -> (Handle.t, Concepts.Condition.condition) result
end
type Handle.protocol += Evaluator of implementation
type t = implementation
let make impl = Evaluator (impl :> implementation)
let from handle = Handle.into handle (function Evaluator impl -> Some impl | _ -> None)
let require = Handle.require from
let parse i source = Handle.invoke i (fun o -> o#parse source)
let eval i kind inputs ~within = Handle.invoke i (fun o -> o#eval kind inputs ~within)
|
