blob: c1cdfeeb60d3f56b27b34c252fdf8bc222b4be86 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
module Error = struct
open Concepts.Condition
let not_a_relation () =
condition "not-a-relation" "A handle was expected to carry the relation protocol and did not"
empty
end
class type implementation = object
method contains : Concepts.Tuple.t -> (bool, Concepts.Condition.condition) result
method modes : (Concepts.Mode.t, Concepts.Condition.condition) result
end
type Handle.protocol += Relation of implementation
type t = implementation
let make impl = Relation (impl :> implementation)
let from handle = Handle.into handle (function Relation impl -> Some impl | _ -> None)
let require handle = from handle |> Option.to_result ~none:(Error.not_a_relation ())
let contains i tuple = Handle.invoke i (fun o -> o#contains tuple)
let modes i = Handle.invoke i (fun o -> o#modes)
let heading relation =
let open Utilities.Result in
let* schematics = Handle.require Schematics.from relation in
let* description = Schematics.describe schematics in
match description with
| Schematics.Relation heading -> Ok heading
| _ -> Error (Error.not_a_relation ())
let read relation =
let open Utilities.Result in
let* heading = heading relation in
let* enumerable = Enumerable.require relation in
let* cursor = Enumerable.enumerate enumerable in
Handle.releasing cursor (fun () ->
let* scan = Cursor.require cursor in
let* tuples = Cursor.drain scan () in
Ok (heading, BatFingerTree.to_list tuples) )
|
