smart_types 0.6.0 → 0.7.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 7d46db58ce368955b324f4acb5fbfa74100789abe263c8e83fa8a73c482b6dd4
-  data.tar.gz: f5377e4cc8693855b885d197f1d5b8429ba78efc30b781703a2ba95230d58d2b
+  metadata.gz: b5af5b9faba15b86a36c7020e9c4c669973f2e443e0e490cfbfee7805f6b6ce7
+  data.tar.gz: 709095db933eaf28c51c28872ad8cc24bf97636099c36a6d9d40378d22fecf94
 SHA512:
-  metadata.gz: 294f3ef4a287aef01cbf48c6250ece9190effee142b42596a453657f7ed541080d964c4d22e56113c8a7fc80298f2dfd5fefe92159a8499829b34d5a993b0ddb
-  data.tar.gz: a515dad1255bf4b3e757d12011f8c4eedde8a79fd265e5acba10e5a19282c40f3f61d85aa094cb962c1029329b06cd225a828aa9bd23bfaec6e575b89bd945a0
+  metadata.gz: '092648864bbbd340c93b146eed7c59044d85065ac4220626130d576a3a8846f9039f88e0c20ce6f1e40811f1d788c42ea5703e81fd635026ebd3ab30606ecf52'
+  data.tar.gz: baa24e784f8e6e7745f9ff9662fed3e905bcaf6842ce4ef02464fd7a82a6768cd6641d425cbf531683a981006b452b8811331633de5a8cf613891c97a25a1b28

data/.github/workflows/ci.yml

@@ -0,0 +1,52 @@
+name: ci
+
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches:
+      - master
+
+jobs:
+  ci:
+    runs-on: ubuntu-latest
+
+    strategy:
+      fail-fast: false
+      matrix:
+        ruby:
+          - version: 2.5
+            continue-on-error: false
+          - version: 2.6
+            continue-on-error: false
+          - version: 2.7
+            continue-on-error: false
+          - version: 3.0
+            continue-on-error: false
+          - version: ruby-head
+            continue-on-error: true
+          - version: jruby-head
+            continue-on-error: true
+
+    steps:
+      - uses: actions/checkout@v2
+      - name: Set up Ruby
+        uses: ruby/setup-ruby@v1
+        with:
+          bundler-cache: true
+          ruby-version: ${{ matrix.ruby.version }}
+      - name: Install dependencies
+        run: bundle install
+        continue-on-error: ${{ matrix.ruby.continue-on-error }}
+      - name: Run rubocop
+        run: bundle exec rubocop
+        continue-on-error: ${{ matrix.ruby.continue-on-error }}
+      - name: Run specs
+        run: bundle exec rspec
+        continue-on-error: ${{ matrix.ruby.continue-on-error }}
+      - name: Coveralls
+        uses: coverallsapp/github-action@master
+        continue-on-error: true
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}

data/CHANGELOG.md

@@ -1,12 +1,17 @@
 # Changelog
 All notable changes to this project will be documented in this file.
 
+# [0.7.0] - 2021-11-22
+### Added
+- Added Github Actions CI;
+- Use `ArgumentError` instead of `DateError` in related type-casters;
+- Fix typos in documentation;
+
 # [0.6.0] - 2021-04-29
 ### Added
 - New type of `SmartCode::Types::Variadic` category:
   - `SmartCore::Types::Variadic::ArrayOf` (`Array` with element types validation)
 
-
 # [0.5.0] - 2021-01-28
 ### Added
 - New types of `SmartCore::Types::Variadic` category:
@@ -20,7 +25,7 @@ All notable changes to this project will be documented in this file.
 ### Added
 - Extended **Type Definition API**: support for **runtime attributes**:
   - Type checkers, type casters and type invariants now receives runtime attributes (you can omit these);
-  - Type definitioning extended with `runtime_attribute_checker`-checker definition (runtime attributes validator);
+  - Type definition extended with `runtime_attribute_checker`-checker definition (runtime attributes validator);
   - Types with incorrect runtime attributes will raise `SmartCore::Types::IncorrectRuntimeAttributesError` exception;
   - Types which has no support for runtime attributes will raise `SmartCore::Types::RuntimeAttributesUnsupportedError` excpetion;
   - All types by default has a method alias (`()`) which does not allow runtime attributes (for example: `SmartCore::Types::Value::String` has
@@ -44,9 +49,9 @@ All notable changes to this project will be documented in this file.
 ## [0.2.0] - 2020-11-21
 ### Added
 - Brand new **Type invariant API**:
-  - globally refactored validation logic (with backward compatability for `#valid?(value)` method);
+  - globally refactored validation logic (with backward compatibility for `#valid?(value)` method);
   - new type definition DSL: `.invariant(name)` and `.invariant_chain(name)`;
-  - chained invariants will be invoked according to the definition order (second invokation
+  - chained invariants will be invoked according to the definition order (second invocation
     depends on previous successful invariant check);
   - new validation API: `validate(value)` (with `#errors` support based on invariant names);
   - at this moment Invariant API is supported only by primitive types (type sum and type multiplication support coming soon);

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    smart_types (0.6.0)
+    smart_types (0.7.0)
       smart_engine (~> 0.11)
 
 GEM
@@ -81,6 +81,7 @@ GEM
       simplecov-html (~> 0.11)
       simplecov_json_formatter (~> 0.1)
     simplecov-html (0.12.3)
+    simplecov-lcov (0.8.0)
     simplecov_json_formatter (0.1.2)
     smart_engine (0.11.0)
     tzinfo (2.0.4)
@@ -91,6 +92,7 @@ GEM
 PLATFORMS
   x86_64-darwin-19
   x86_64-darwin-20
+  x86_64-darwin-21
 
 DEPENDENCIES
   armitage-rubocop (~> 1.7)
@@ -99,7 +101,8 @@ DEPENDENCIES
   rake (~> 13.0)
   rspec (~> 3.10)
   simplecov (~> 0.21)
+  simplecov-lcov (~> 0.8)
   smart_types!
 
 BUNDLED WITH
-   2.2.3
+   2.2.31

data/README.md

@@ -1,8 +1,8 @@
-# SmartCore::Types · [![Supporting](https://github.com/Cado-Labs/cado-labs-logos/blob/main/cado_labs_badge.png)](https://github.com/Cado-Labs/) · [![Gem Version](https://badge.fury.io/rb/smart_types.svg)](https://badge.fury.io/rb/smart_types)
+# SmartCore::Types &middot; <a target="_blank" href="https://github.com/Cado-Labs"><img src="https://github.com/Cado-Labs/cado-labs-logos/raw/main/cado_labs_badge.svg" alt="Supported by Cado Labs" style="max-width: 100%; height: 20px"></a> &middot; [![Gem Version](https://badge.fury.io/rb/smart_types.svg)](https://badge.fury.io/rb/smart_types) ![ci](https://github.com/smart-rb/smart_types/workflows/ci/badge.svg?branch=master) [![coverage](https://coveralls.io/repos/github/smart-rb/smart_types/badge.svg?branch=master)](https://coveralls.io/github/smart-rb/smart_types?branch=master)
 
 > A set of objects that acts like types (type checking and type casting) with a support for basic type algebra.
 
-Minimalistic type system for any ruby project. Supports custom type definitioning,
+Minimalistic type system for any ruby project. Supports custom type definition,
 type validation, type casting and type categorizing. Provides a set of commonly used type
 categories and general purpose types. Has a flexible and simplest type definition toolchain.
 
@@ -175,9 +175,9 @@ Invariant is a custom validation block that will work as a logical value checker
 
 Type invariants does not depends on each other (invariant defined out from chain does not depends on other invariants);
 
-Invariants inside invariant chains will be invoked in order they was defined and each internal invariant depends on the valid previous invairant check.
+Invariants inside invariant chains will be invoked in order they was defined and each internal invariant depends on the valid previous invariant check.
 
-**!IMPORTANT!** Type sum and type multiplication does not support invariant checking and custom invariant definitioning at this moment.
+**!IMPORTANT!** Type sum and type multiplication does not support invariant checking and custom invariant definition at this moment.
 Type sum and type mult ignores type invariants in their validation logic (currently this functionality in development yet).
 
 Invariant checking is a special validation layer (see [#type validation](#type-validation) readme section). Invariant error code pattern:
@@ -242,7 +242,7 @@ SmartCore::Types::Value.define_type(:String) do |type|
     end
 
     # NOTE:
-    #   inside a chain each next invariant invokation
+    #   inside a chain each next invariant invocation
     #   depends on previous successful invariant check
   end
 end
@@ -259,14 +259,14 @@ Type validation reflects on two APIs:
 
 Type invariants does not depends on each other (invariant defined out from the chain does not depends on other invariants);
 
-Invariants inside invariant chains will be invoked in order they was defined and each internal invariant depends on the valid previous invairant check.
+Invariants inside invariant chains will be invoked in order they was defined and each internal invariant depends on the valid previous invariant check.
 
-**!IMPORTANT!** Type sum and type multiplication does not support invariant checking and custom invariant definitioning at this moment.
+**!IMPORTANT!** Type sum and type multiplication does not support invariant checking and custom invariant definition at this moment.
 Type sum and type mult ignores type invariants in their validation logic (currently this functionality in development yet).
 
 Invariant checking is a special validation layer (see [#type validation](#type-validation) readme section) and represents a set of error codes in result object;
 
-Type valdiation interface:
+Type validation interface:
 
 - `valid?(value)` - validates value and returns `true` or `false`;
   - returns `ture` only if the type checker returns `true` and all invariants are valid;
@@ -520,18 +520,18 @@ SmartCore::Types::Protocol::Callable
 
 - support for type of empty non-defined type (`SmartCore::Types::Primitive::Undefined`);
 - constrained types;
-- moudle-based type system integration;
+- module-based type system integration;
 - constructor implementation and support;
-- support for invariant checking (and custom definitioning) in sum-types;
-  - to provide a type comparability and compatability between all passed types
+- support for invariant checking (and custom definition) in sum-types;
+  - to provide a type comparability and compatibility between all passed types
     you should provide `type.reconcilable { |value, *types| .... }`  setting;
-  - `type.reconcilable` should be accesible for type sum and type mult definitions;
-  - (**preliminarily**) invariants of the concrete passed type should be valid for sucessful invariant check;
-- support for invariant checking (and definitioning) in mult-types;
-  - to provide a type comparability and compatability between all passed types
+  - `type.reconcilable` should be accessible for type sum and type mult definitions;
+  - (**preliminarily**) invariants of the concrete passed type should be valid for successful invariant check;
+- support for invariant checking (and definition) in mult-types;
+  - to provide a type comparability and compatibility between all passed types
     you should provide `type.reconcilable { |value, *types| .... }`  setting;
-  - `type.reconcilable` should be accesible for type sum and type mult definitions;
-  - (**preliminarily**) all invariants of all types should be valid for sucessful invariant check;
+  - `type.reconcilable` should be accessible for type sum and type mult definitions;
+  - (**preliminarily**) all invariants of all types should be valid for successful invariant check;
 
 ## Contributing
 

data/lib/smart_core/types/primitive/factory.rb

@@ -47,7 +47,7 @@ class SmartCore::Types::Primitive::Factory
     # @api private
     # @since 0.1.0
     def build_type_definitions(type_definition)
-      raise 'Type definition is not provied' unless type_definition.is_a?(Proc)
+      raise 'Type definition is not provided' unless type_definition.is_a?(Proc)
       SmartCore::Types::Primitive::Factory::DefinitionContext.new.tap do |context|
         context.instance_eval(&type_definition)
       end.tap do |context|

data/lib/smart_core/types/value/date.rb

@@ -6,7 +6,7 @@ using SmartCore::Ext::BasicObjectAsObject
 
 # @api public
 # @since 0.1.0
-# @version 0.3.0
+# @version 0.7.0
 SmartCore::Types::Value.define_type(:Date) do |type|
   type.define_checker do |value|
     value.is_a?(::Date) || value == ::Date::Infinity
@@ -17,7 +17,7 @@ SmartCore::Types::Value.define_type(:Date) do |type|
 
     begin
       ::Date.parse(value)
-    rescue ::Date::Error, ::TypeError
+    rescue ::ArgumentError, ::TypeError
       raise(SmartCore::Types::TypeCastingError, 'Non-castable to Date')
     end
   end

data/lib/smart_core/types/value/date_time.rb

@@ -6,7 +6,7 @@ using SmartCore::Ext::BasicObjectAsObject
 
 # @api public
 # @since 0.1.0
-# @version 0.3.0
+# @version 0.7.0
 SmartCore::Types::Value.define_type(:DateTime) do |type|
   type.define_checker do |value|
     value.is_a?(::DateTime) || value == ::DateTime::Infinity
@@ -17,7 +17,7 @@ SmartCore::Types::Value.define_type(:DateTime) do |type|
 
     begin
       ::DateTime.parse(value)
-    rescue ::Date::Error, ::TypeError
+    rescue ::ArgumentError, ::TypeError
       raise(SmartCore::Types::TypeCastingError, 'Non-castable to DateTime')
     end
   end

data/lib/smart_core/types/version.rb

@@ -6,7 +6,7 @@ module SmartCore
     #
     # @api public
     # @since 0.1.0
-    # @version 0.6.0
-    VERSION = '0.6.0'
+    # @version 0.7.0
+    VERSION = '0.7.0'
   end
 end

data/smart_types.gemspec

@@ -12,7 +12,7 @@ Gem::Specification.new do |spec|
 
   spec.summary = 'Full-featured type system for any ruby project.'
   spec.description = <<~DESCRIPTION
-    Full-featured type system for any ruby project. Supports custom type definitioning,
+    Full-featured type system for any ruby project. Supports custom type definition,
     type validation, type casting and type categorizing. Provides a set of commonly used type
     categories and general purpose types. Has a flexible and simplest type definition toolchain.
   DESCRIPTION
@@ -39,5 +39,6 @@ Gem::Specification.new do |spec|
   spec.add_development_dependency 'rspec',            '~> 3.10'
   spec.add_development_dependency 'armitage-rubocop', '~> 1.7'
   spec.add_development_dependency 'simplecov',        '~> 0.21'
+  spec.add_development_dependency 'simplecov-lcov',   '~> 0.8'
   spec.add_development_dependency 'pry',              '~> 0.13'
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: smart_types
 version: !ruby/object:Gem::Version
-  version: 0.6.0
+  version: 0.7.0
 platform: ruby
 authors:
 - Rustam Ibragimov
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-09-06 00:00:00.000000000 Z
+date: 2021-11-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: smart_engine
@@ -94,6 +94,20 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '0.21'
+- !ruby/object:Gem::Dependency
+  name: simplecov-lcov
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.8'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.8'
 - !ruby/object:Gem::Dependency
   name: pry
   requirement: !ruby/object:Gem::Requirement
@@ -109,7 +123,7 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '0.13'
 description: |
-  Full-featured type system for any ruby project. Supports custom type definitioning,
+  Full-featured type system for any ruby project. Supports custom type definition,
   type validation, type casting and type categorizing. Provides a set of commonly used type
   categories and general purpose types. Has a flexible and simplest type definition toolchain.
 email:
@@ -118,6 +132,7 @@ executables: []
 extensions: []
 extra_rdoc_files: []
 files:
+- ".github/workflows/ci.yml"
 - ".gitignore"
 - ".rspec"
 - ".rubocop.yml"
@@ -224,7 +239,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.2.3
+rubygems_version: 3.2.22
 signing_key:
 specification_version: 4
 summary: Full-featured type system for any ruby project.