finitio 0.1.0

Finitio data language
Documentation 
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

use snafu::Whatever;

use crate::schema::{TypeInclude, Type, TypeDef};

impl TypeInclude<serde_json::Value> for Type {
  fn include(&self, v: &serde_json::Value) -> Result<(), Whatever> {
      match self {
          Type::Any(t) => t.include(v),
          Type::Nil(t) => t.include(v),
          Type::Builtin(t) => t.include(v),
          Type::Ref(t) => t.include(v),
          Type::Seq(t) => t.include(v),
          Type::Set(t) => t.include(v),
          Type::Union(t) => t.include(v),
          Type::Struct(t) => t.include(v),
          Type::Sub(t) => t.include(v),
          Type::Tuple(t) => t.include(v),
          Type::Relation(t) => t.include(v),
      }
  }
}

impl TypeInclude<serde_json::Value> for TypeDef {
  fn include(&self, v: &serde_json::Value) -> Result<(), Whatever> {
      match self {
        TypeDef::AnyType(t) => t.target.borrow().include(v),
        TypeDef::NilType(t) => t.target.borrow().include(v),
        TypeDef::BuiltinType(t) => t.target.borrow().include(v),
        TypeDef::RefType(t) => t.target.borrow().include(v),
        TypeDef::SeqType(t) => t.target.borrow().include(v),
        TypeDef::SetType(t) => t.target.borrow().include(v),
        TypeDef::UnionType(t) => t.target.borrow().include(v),
        TypeDef::StructType(t) => t.target.borrow().include(v),
        TypeDef::SubType(t) => t.target.borrow().include(v),
        TypeDef::TupleType(t) => t.target.borrow().include(v),
        TypeDef::RelationType(t) => t.target.borrow().include(v),
    }
  }
}