diff options
Diffstat (limited to 'test/unit/kernel/EphemeralRelation.ml')
| -rw-r--r-- | test/unit/kernel/EphemeralRelation.ml | 36 |
1 files changed, 17 insertions, 19 deletions
diff --git a/test/unit/kernel/EphemeralRelation.ml b/test/unit/kernel/EphemeralRelation.ml index a72409b..f75fd0d 100644 --- a/test/unit/kernel/EphemeralRelation.ml +++ b/test/unit/kernel/EphemeralRelation.ml @@ -1,5 +1,4 @@ open Alcotest - module Concepts = Rnt.Concepts module Protocols = Rnt.Protocols @@ -14,8 +13,8 @@ module Derivation = struct let describe _ = Ok (BatMap.String.singleton "value" - { Protocols.Schematics.domain = "integer"; - provenance = [{Protocols.Schematics.source = ["example"]; attribute = "value"}] } ) + { Protocols.Schematics.domain= "integer"; + provenance= [{Protocols.Schematics.source= ["example"]; attribute= "value"}] } ) let modes {declared; _} = Ok declared @@ -31,13 +30,13 @@ end module Derived = Rnt.Kernel.EphemeralRelation.Make (Derivation) let member n = - { Concepts.Tuple.type_ = "example"; - attributes = BatMap.String.singleton "value" (Concepts.Value.Integer n) } + { Concepts.Tuple.type_= "example"; + attributes= BatMap.String.singleton "value" (Concepts.Value.Integer n) } let plan_over cardinality = - { Derivation.name = "the-derivation"; - members = [member 1; member 2; member 3]; - declared = + { Derivation.name= "the-derivation"; + members= [member 1; member 2; member 3]; + declared= Concepts.Mode.of_list [Concepts.Mode.enumerable cardinality; Concepts.Mode.decides_when ["value"]] } @@ -46,9 +45,9 @@ let derive plan = Derived.derive plan |> Helpers.condition_as_failure let values tuples = BatFingerTree.to_list tuples |> List.filter_map (fun tuple -> - match BatMap.String.find_opt "value" tuple.Concepts.Tuple.attributes with - | Some (Concepts.Value.Integer n) -> Some n - | _ -> None ) + match BatMap.String.find_opt "value" tuple.Concepts.Tuple.attributes with + | Some (Concepts.Value.Integer n) -> Some n + | _ -> None ) |> List.sort compare let commit = Concepts.Hash.hash_of_bytes (Bytes.of_string "a-commit") @@ -92,8 +91,7 @@ let a_countable_derivation_decides_only () = end |> Helpers.condition_as_failure in - check bool "no enumeration is offered" false - (Option.is_some (Protocols.Enumerable.from derived)); + check bool "no enumeration is offered" false (Option.is_some (Protocols.Enumerable.from derived)); check bool "membership is still decided" true holds; check bool "and still refused" false rejects @@ -115,10 +113,11 @@ let a_derivation_describes_itself () = ( BatMap.String.values description |> BatList.of_enum |> List.concat_map (fun attribute -> - attribute.Protocols.Schematics.provenance - |> List.map (fun origin -> - String.concat "/" origin.Protocols.Schematics.source - ^ "/" ^ origin.Protocols.Schematics.attribute ) ) ) + attribute.Protocols.Schematics.provenance + |> List.map (fun origin -> + String.concat "/" origin.Protocols.Schematics.source + ^ "/" + ^ origin.Protocols.Schematics.attribute ) ) ) | _ -> fail "a derived relation describes itself as a relation" let releasing_a_derivation_releases_its_inputs () = @@ -143,8 +142,7 @@ let releasing_a_derivation_releases_its_inputs () = let suites () = [ ( "kernel/ephemeral-relation", [ test_case "identity-is-the-derivation" `Quick identity_is_the_derivation; - test_case "an-exhaustible-derivation-enumerates" `Quick - an_exhaustible_derivation_enumerates; + test_case "an-exhaustible-derivation-enumerates" `Quick an_exhaustible_derivation_enumerates; test_case "a-countable-derivation-decides-only" `Quick a_countable_derivation_decides_only; test_case "a-derivation-describes-itself" `Quick a_derivation_describes_itself; test_case "releasing-a-derivation-releases-its-inputs" `Quick |