feat(ext-core+ext-type-graph): define types relations

Author: florius0

lib/apix.schema.extensions/core.ex

@@ -15,6 +15,15 @@ defmodule Apix.Schema.Extensions.Core do
 
   alias Apix.Schema.Extensions.Core.Const
 
+  @boolean_schemas [
+    And,
+    Or,
+    Not
+  ]
+
+  @doc false
+  def boolean_schemas, do: @boolean_schemas
+
   @manifest %Extension{
     module: __MODULE__,
     delegates: [

lib/apix.schema.extensions/core/and.ex

@@ -1,7 +1,29 @@
 defmodule Apix.Schema.Extensions.Core.And do
   use Apix.Schema
 
+  alias Apix.Schema.Ast
+  alias Apix.Schema.Context
+
   schema t: _, params: [:schema1, :schema2] do
     validate valid?(it, schema1) and valid?(it, schema2)
+
+    relate %Context{module: __MODULE__, schema: :t, params: [_schema1, _schema2]} = _it, _to, do: []
+    relate _it, %Context{module: __MODULE__, schema: :t, params: [_schema1, _schema2]} = _to, do: []
+
+    relate %Ast{args: [schema1, schema2]} = it, to do
+      [
+        # Default subtyping
+        {:subtype, it, to},
+        {:supertype, to, it},
+        # Identity subtyping
+        {:subtype, it, it},
+        {:supertype, it, it},
+        # And-specific subtyping
+        {:subtype, it, schema1},
+        {:subtype, it, schema2},
+        {:supertype, schema1, it},
+        {:supertype, schema2, it}
+      ]
+    end
   end
 end

lib/apix.schema.extensions/core/any.ex

@@ -1,7 +1,38 @@
 defmodule Apix.Schema.Extensions.Core.Any do
   use Apix.Schema
 
+  alias Apix.Schema.Ast
+  alias Apix.Schema.Context
+
+  alias Apix.Schema.Ast.Meta
+
+  alias Apix.Schema.Extensions.Core
+
+  @boolean_schemas Core.boolean_schemas()
+  @it_ast %Ast{module: __MODULE__, schema: :t, args: []} |> Meta.maybe_put_in(env: __ENV__, generated_by: Core.manifest())
+
   schema t: _ do
     validate true
+
+    relate it, to do
+      [
+        {:subtype, it, to},
+        {:supertype, to, it},
+        {:subtype, it, it},
+        {:supertype, it, it}
+      ]
+    end
+
+    relationship _it, %Context{module: m} = _peer, existing when m in @boolean_schemas, do: existing
+
+    relationship %Context{} = it, peer, existing do
+      [
+        {:subtype, peer, @it_ast},
+        {:subtype, @it_ast, it},
+        {:supertype, peer, @it_ast},
+        {:supertype, @it_ast, it}
+        | existing
+      ]
+    end
   end
 end

lib/apix.schema.extensions/core/none.ex

@@ -1,7 +1,38 @@
 defmodule Apix.Schema.Extensions.Core.None do
   use Apix.Schema
 
+  alias Apix.Schema.Ast
+  alias Apix.Schema.Context
+
+  alias Apix.Schema.Ast.Meta
+
+  alias Apix.Schema.Extensions.Core
+
+  @boolean_schemas Core.boolean_schemas()
+  @it_ast %Ast{module: __MODULE__, schema: :t, args: []} |> Meta.maybe_put_in(env: __ENV__, generated_by: Core.manifest())
+
   schema t: _ do
     validate false
+
+    relate it, to do
+      [
+        {:subtype, it, to},
+        {:supertype, to, it},
+        {:subtype, it, it},
+        {:supertype, it, it}
+      ]
+    end
+
+    relationship _it, %Context{module: m} = _peer, existing when m in @boolean_schemas, do: existing
+
+    relationship %Context{} = it, peer, existing do
+      [
+        {:subtype, it, @it_ast},
+        {:subtype, @it_ast, peer},
+        {:supertype, peer, @it_ast},
+        {:supertype, @it_ast, it}
+        | existing
+      ]
+    end
   end
 end

lib/apix.schema.extensions/core/not.ex

@@ -1,7 +1,29 @@
 defmodule Apix.Schema.Extensions.Core.Not do
   use Apix.Schema
 
+  alias Apix.Schema.Ast
+  alias Apix.Schema.Context
+
   schema t: _, params: [:schema] do
     validate not valid?(it, schema)
+
+    relate %Context{module: __MODULE__, schema: :t, params: [_schema]} = _it, _to, do: []
+    relate _it, %Context{module: __MODULE__, schema: :t, params: [_schema]} = _to, do: []
+
+    relate %Ast{args: [schema]} = it, to do
+      [
+        # Default subtyping
+        {:subtype, it, to},
+        {:supertype, to, it},
+        # Identity subtyping
+        {:subtype, it, it},
+        {:supertype, it, it},
+        # Not-specific subtyping
+        {:not_subtype, schema, it},
+        {:not_subtype, it, schema},
+        {:not_supertype, it, schema},
+        {:not_supertype, schema, it}
+      ]
+    end
   end
 end

lib/apix.schema.extensions/core/or.ex

@@ -1,7 +1,29 @@
 defmodule Apix.Schema.Extensions.Core.Or do
   use Apix.Schema
 
+  alias Apix.Schema.Ast
+  alias Apix.Schema.Context
+
   schema t: _, params: [:schema1, :schema2] do
     validate valid?(it, schema1) or valid?(it, schema2)
+
+    relate %Context{module: __MODULE__, schema: :t, params: [_schema1, _schema2]} = _it, _to, do: []
+    relate _it, %Context{module: __MODULE__, schema: :t, params: [_schema1, _schema2]} = _to, do: []
+
+    relate %Ast{args: [schema1, schema2]} = it, to do
+      [
+        # Default subtyping
+        {:subtype, to, it},
+        {:supertype, it, to},
+        # Identity subtyping
+        {:subtype, it, it},
+        {:supertype, it, it},
+        # Or-specific subtyping
+        {:subtype, schema1, it},
+        {:subtype, schema2, it},
+        {:supertype, it, schema1},
+        {:supertype, it, schema2}
+      ]
+    end
   end
 end