bcdd-contract 0.1.0

data/sig/bcdd/contract/list.rbs

@@ -0,0 +1,21 @@
+module BCDD::Contract
+  module List
+    class Checking
+      include Core::Checking
+
+      def initialize: (untyped, untyped) -> void
+
+      def errors_message: () -> ::String
+
+      private
+
+      def validate: (untyped, Array[String]) -> void
+    end
+
+    module Checker
+      include Core::Checker
+    end
+
+    def self.new: (untyped) -> untyped
+  end
+end

data/sig/bcdd/contract/map.rbs

@@ -0,0 +1,45 @@
+module BCDD::Contract
+  module Map
+    module Pairs
+      class Checking
+        include Core::Checking
+
+        def initialize: (untyped, untyped) -> void
+
+        def errors_message: () -> ::String
+
+        private
+
+        def validate: (untyped, untyped) -> void
+      end
+
+      module Checker
+        include Core::Checker
+      end
+
+      def self.new: (untyped) -> Module
+    end
+
+    module Schema
+      class Checking
+        include Core::Checking
+
+        def initialize: (untyped, untyped) -> void
+
+        ErrorsMsg: ::Proc
+
+        def errors_message: () -> ::String
+
+        private
+
+        def validate: (untyped, Array[String]) -> void
+      end
+
+      module Checker
+        include Core::Checker
+      end
+
+      def self.new: (untyped) -> Module
+    end
+  end
+end

data/sig/bcdd/contract/proxy.rbs

@@ -0,0 +1,8 @@
+module BCDD::Contract
+  class Proxy < Core::Proxy
+    class AlwaysEnabled < Core::Proxy
+    end
+
+    def self.new: (untyped) -> BCDD::Contract::Proxy
+  end
+end

data/sig/bcdd/contract/registry.rbs

@@ -0,0 +1,25 @@
+module BCDD::Contract
+  class Registry
+    include ::Singleton
+
+    OPTIONS: ::Set[::Symbol]
+    UNIT: ::Symbol
+    LIST: ::Symbol
+    PAIRS: ::Symbol
+    SCHEMA: ::Symbol
+
+    Kind: ::Proc
+
+    attr_reader store: ::Hash[::Symbol, ::Hash[::Symbol, untyped]]
+    attr_reader names: ::Hash[::Symbol, ::Symbol]
+
+    def self.instance: () -> Registry
+
+    def initialize: () -> void
+
+    def self.write: (untyped, untyped) -> untyped
+    def self.fetch: (::Symbol) -> untyped
+    def self.unit: (untyped) -> untyped
+    def self.read: (::Symbol, ::Symbol) -> untyped
+  end
+end

data/sig/bcdd/contract/unit.rbs

@@ -0,0 +1,39 @@
+module BCDD::Contract
+  module Unit
+    class Checking
+      include Core::Checking
+
+      def initialize: (::Proc, untyped) -> void
+
+      def errors_message: () -> ::String
+    end
+
+    module Checker
+      include Core::Checker
+
+      SequenceMapper: ::Proc
+
+      def & : (untyped) -> ::Module
+
+      ParallelMapper: ::Proc
+
+      def | : (untyped) -> ::Module
+
+      private
+
+      def compose: (untyped, Proc) -> ::Module
+    end
+
+    module Factory
+      def self.new: (untyped) -> untyped
+      def self.build: (untyped) -> untyped
+
+      ArityOneHandler: ::Proc
+
+      def self.lambda!: (untyped) -> untyped
+      def self.type!: (untyped) -> untyped
+    end
+
+    def self.new: (untyped) -> ::Module
+  end
+end

data/sig/bcdd/contract.rbs

@@ -0,0 +1,31 @@
+module BCDD
+  module Contract
+    VERSION: ::String
+
+    class Error < ::StandardError
+    end
+
+    def self.config: () -> Config
+
+    def self.configuration: { (Config) -> void } -> Config
+
+    def self.proxy: (always_enabled: bool) { (::Class) -> void } -> ::Class
+
+    def self.error!: (String) -> void
+
+    def self.assert!: (untyped, String) { (untyped) -> bool } -> untyped
+    def self.refute!: (untyped, String) { (untyped) -> bool } -> untyped
+
+    def self.assert: (untyped, String) { (untyped) -> bool } -> untyped
+    def self.refute: (untyped, String) { (untyped) -> bool } -> untyped
+
+    def self.new: (untyped) -> untyped
+    def self.unit: (untyped) -> untyped
+    def self.list: (untyped) -> ::Module
+    def self.schema: (Hash[untyped, untyped]) -> ::Module
+    def self.pairs: (Hash[untyped, untyped]) -> ::Module
+    def self.to_proc: () -> ::Proc
+
+    def self.[]: (untyped) -> ::Module
+  end
+end

metadata

@@ -0,0 +1,116 @@
+--- !ruby/object:Gem::Specification
+name: bcdd-contract
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Rodrigo Serradura
+autorequire:
+bindir: exe
+cert_chain: []
+date: 2024-02-01 00:00:00.000000000 Z
+dependencies: []
+description: Reliable contract definition, data validation, and type checking for
+  Ruby.
+email:
+- rodrigo.serradura@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".rubocop.yml"
+- CHANGELOG.md
+- CODE_OF_CONDUCT.md
+- LICENSE.txt
+- README.md
+- Rakefile
+- Steepfile
+- examples/README.md
+- examples/anti_corruption_layer/README.md
+- examples/anti_corruption_layer/Rakefile
+- examples/anti_corruption_layer/app/models/payment/charge_credit_card.rb
+- examples/anti_corruption_layer/config.rb
+- examples/anti_corruption_layer/lib/payment_gateways.rb
+- examples/anti_corruption_layer/lib/payment_gateways/adapters/circle_up.rb
+- examples/anti_corruption_layer/lib/payment_gateways/adapters/pay_friend.rb
+- examples/anti_corruption_layer/lib/payment_gateways/contract.rb
+- examples/anti_corruption_layer/lib/payment_gateways/response.rb
+- examples/anti_corruption_layer/vendor/circle_up/client.rb
+- examples/anti_corruption_layer/vendor/pay_friend/client.rb
+- examples/business_processes/README.md
+- examples/business_processes/Rakefile
+- examples/business_processes/config.rb
+- examples/business_processes/lib/division.rb
+- examples/design_by_contract/README.md
+- examples/design_by_contract/Rakefile
+- examples/design_by_contract/config.rb
+- examples/design_by_contract/lib/shopping_cart.rb
+- examples/ports_and_adapters/README.md
+- examples/ports_and_adapters/Rakefile
+- examples/ports_and_adapters/app/models/user/record.rb
+- examples/ports_and_adapters/app/models/user/record/repository.rb
+- examples/ports_and_adapters/config.rb
+- examples/ports_and_adapters/db/setup.rb
+- examples/ports_and_adapters/lib/user/creation.rb
+- examples/ports_and_adapters/lib/user/data.rb
+- examples/ports_and_adapters/lib/user/repository.rb
+- examples/ports_and_adapters/test/user_test/repository.rb
+- lib/bcdd-contract.rb
+- lib/bcdd/contract.rb
+- lib/bcdd/contract/assertions.rb
+- lib/bcdd/contract/config.rb
+- lib/bcdd/contract/core.rb
+- lib/bcdd/contract/core/checker.rb
+- lib/bcdd/contract/core/checking.rb
+- lib/bcdd/contract/core/factory.rb
+- lib/bcdd/contract/core/proxy.rb
+- lib/bcdd/contract/interface.rb
+- lib/bcdd/contract/list.rb
+- lib/bcdd/contract/map.rb
+- lib/bcdd/contract/map/pairs.rb
+- lib/bcdd/contract/map/schema.rb
+- lib/bcdd/contract/proxy.rb
+- lib/bcdd/contract/registry.rb
+- lib/bcdd/contract/unit.rb
+- lib/bcdd/contract/unit/checker.rb
+- lib/bcdd/contract/unit/factory.rb
+- lib/bcdd/contract/version.rb
+- sig/bcdd/contract.rbs
+- sig/bcdd/contract/assertions.rbs
+- sig/bcdd/contract/config.rbs
+- sig/bcdd/contract/core.rbs
+- sig/bcdd/contract/interface.rbs
+- sig/bcdd/contract/list.rbs
+- sig/bcdd/contract/map.rbs
+- sig/bcdd/contract/proxy.rbs
+- sig/bcdd/contract/registry.rbs
+- sig/bcdd/contract/unit.rbs
+homepage: https://github.com/b-cdd/contract
+licenses:
+- MIT
+metadata:
+  allowed_push_host: https://rubygems.org
+  homepage_uri: https://github.com/b-cdd/contract
+  source_code_uri: https://github.com/b-cdd/contract
+  changelog_uri: https://github.com/b-cdd/contract/blob/main/CHANGELOG.md
+  rubygems_mfa_required: 'true'
+post_install_message:
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 2.7.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.5.3
+signing_key:
+specification_version: 4
+summary: Reliable contract definition, data validation, and type checking for Ruby.
+test_files: []