camille 0.4.0 → 0.4.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 1d5aa31349909cebc62309be91631d632419b925d9a6ded594485dfa204e9170
-  data.tar.gz: d1b1cb24a630a0c109fc1042636372cf193dd135f1ef17784f3907c1a169502e
+  metadata.gz: 2370ceb41fe8fdd701b99671f1d4d82678fc103218e96a10a52e60b9b2d1ad1f
+  data.tar.gz: ef8fe63ad679a1744fdef8c58971148d3642be0be2c5e23ff53b510dfef2b449
 SHA512:
-  metadata.gz: 7d65f32be6f7d8beee2d22b9d5cf5ed4fc84fa91c925605c6aa0be09d51475211ddbee5e23f321892d0f46fa59878af2d9753e3daac7c1e62f2ccf285e8147b6
-  data.tar.gz: f2195c3c54f6c571abeb2fa3b541160f734c1ecee6adfaec4bc4025ad0be820ae4235028a3c91427aec3c7cbdcc4ba19ba5f7a3e7cb530a3e943913b57955a78
+  metadata.gz: 6b8068692bd238a82cded511bad5e15d3f0993640a487b335cfd7d1592fe3c8cb45f88924753a1b580ae7448a59d58e423c29332842fa9be09472585bc810ea7
+  data.tar.gz: 71bc242a3a3fc9224c0d2e7d3598d9e4be378ff7b2a028e02b55833927cfb516d6309c44bbc7b2296b0b9b780ffe07458435e40a89a1953d6044a465621e7ef9

data/CHANGELOG.md

@@ -0,0 +1,15 @@
+# Changelog
+
+## 0.4.1
+
+### Added
+
+* Added utility types Pick and Omit
+
+### Fixed
+
+* Prevent loader errors from being silently rescued by Rails in development environment
+
+## 0.4.0
+
+The first stable release

data/Gemfile

@@ -9,5 +9,4 @@ gem "rake", "~> 13.0"
 
 gem "rspec", "~> 3.0"
 
-gem "rails"
 gem "rspec-rails"

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    camille (0.4.0)
+    camille (0.4.1)
       rails (>= 6.1, < 8)
 
 GEM
@@ -172,7 +172,6 @@ PLATFORMS
 
 DEPENDENCIES
   camille!
-  rails
   rake (~> 13.0)
   rspec (~> 3.0)
   rspec-rails

data/README.md

@@ -2,7 +2,9 @@
 
 ## Why?
 
-Traditionally, the JSON response from a Rails API server isn't typed. So even if we have TypeScript at the front-end, we still have little guarantee that our back-end would return the correct type and structure of data. In order to eliminate type mismatch between both ends, Camille provides a syntax for you to define type schema for your Rails API, and uses these schemas to generate the TypeScript functions for calling the API.
+Traditionally, the JSON response from a Rails API server isn't typed. So even if we have TypeScript at the front-end, we still have little guarantee that our back-end would return the correct type and structure of data.
+
+In order to eliminate type mismatch between both ends, Camille provides a syntax for you to define type schema for your Rails API, and uses these schemas to generate the TypeScript functions for calling the API.
 
 For example, an endpoint defined in Ruby, where `data` is a controller action,
 
@@ -84,6 +86,8 @@ data(params: {id: number}): Promise<{name: string}>
 
 Therefore, the front-end user is required to provide an `id` when they call this function. And they can expect to get a `name` from the response of this request. There are no more type mismatch between both ends.
 
+The `params` type for an endpoint is required to be an object type, or a hash in Ruby, while `response` type can be any supported type, for example a `Boolean`.
+
 Camille will automatically add a Rails route for each endpoint. You don't need to do anything other than having the schema file in place.
 
 When defining an endpoint, you can also use `post` instead of `get` for non-idempotent requests. However, no other HTTP verbs are supported, because verbs in RESTful like `patch` and `delete` indicate what we do on resources, but in RPC-style design each request is merely a function call that does not concern RESTful resources.
@@ -153,12 +157,13 @@ params(
   number_literal: 1,
   string_literal: 'hello',
   # a custom type we defined above
-  product: Product
+  product: Product,
+  # Pick and Omit use [] to enclose parameters instead of <>
+  pick: Pick[{a: 1, b: 2}, 'a' | 'b'],
+  omit: Omit[Product, 'id']
 )
 ```
 
-String literal types and probably enums are planned for the future.
-
 ### TypeScript generation
 
 After you have your types and schemas in place, you can visit `/camille/endpoints.ts` in development environment to have the TypeScript request functions generated.
@@ -235,6 +240,10 @@ object:
     [2]: Expected number, got "3".
 ```
 
+### Reloading
+
+Everything in `config/camille/types` and `config/camille/schemas` will automatically reload after changes in development environment, just like other files in Rails.
+
 ## Development
 
 Run tests with `bundle exec rake`.

data/gemfiles/rails-6.1

@@ -0,0 +1,9 @@
+source 'https://rubygems.org'
+
+gemspec path: '..'
+
+gem "rake", "~> 13.0"
+gem "rspec", "~> 3.0"
+gem "rspec-rails"
+
+gem 'rails', '~> 6.1.0'

data/gemfiles/rails-7.0

@@ -0,0 +1,9 @@
+source 'https://rubygems.org'
+
+gemspec path: '..'
+
+gem "rake", "~> 13.0"
+gem "rspec", "~> 3.0"
+gem "rspec-rails"
+
+gem 'rails', '~> 7.0.0'

data/lib/camille/controller_extension.rb

@@ -35,6 +35,7 @@ module Camille
     end
 
     def process_action(*)
+      Camille::Loader.check_and_raise_exception
       if endpoint = camille_endpoint
         params.deep_transform_keys!{|key| key.to_s.underscore}
         super

data/lib/camille/loader.rb

@@ -41,11 +41,23 @@ module Camille
 
       def reload_types_and_schemas
         synchronize do
-          Camille::Loader.loaded_types.clear
-          Camille::Loader.loaded_schemas.clear
-          @zeitwerk_loader.reload
-          eager_load
-          construct_controller_name_to_schema_map
+          begin
+            @exception = nil
+            Camille::Loader.loaded_types.clear
+            Camille::Loader.loaded_schemas.clear
+            @zeitwerk_loader.reload
+            eager_load
+            construct_controller_name_to_schema_map
+          rescue Exception => e
+            @exception = e
+            raise e
+          end
+        end
+      end
+
+      def check_and_raise_exception
+        if @exception
+          raise @exception
         end
       end
 

data/lib/camille/main_controller.rb

@@ -3,6 +3,7 @@ require 'action_controller'
 module Camille
   class MainController < ActionController::Base
     def endpoints_ts
+      Camille::Loader.check_and_raise_exception
       render plain: Camille::CodeGenerator.generate_ts
     end
   end

data/lib/camille/pick_and_omit.rb

@@ -0,0 +1,51 @@
+module Camille
+  # shared base class for Pick and Omit
+  class PickAndOmit < Camille::BasicType
+    class ArgumentError < ::ArgumentError; end
+
+    def initialize type, keys
+      @type = Camille::Type.instance(type)
+      case
+      when @type.is_a?(Camille::Types::Object)
+        @target_object = @type
+      when @type.is_a?(Camille::Type) && @type.underlying.is_a?(Camille::Types::Object)
+        @target_object = @type.underlying
+      else
+        raise ArgumentError.new("Currently onle an object type or an alias of object type is supported in #{klass_name}. Got #{type.inspect}.")
+      end
+
+      @keys = Camille::Type.instance(keys)
+      case
+      when @keys.is_a?(Camille::Types::StringLiteral)
+        @keys_array = [@keys.value].map(&:to_sym)
+      when @keys.is_a?(Camille::Types::Union)
+        unfolded = unfold_union(@keys).flatten
+        if unfolded.all?{|x| x.is_a?(Camille::Types::StringLiteral)}
+          @keys_array = unfolded.map(&:value).map(&:to_sym)
+        else
+          raise ArgumentError.new("The second argument of #{klass_name} has to be a string literal or an union of string literals. Got #{keys.inspect}.")
+        end
+      else
+        raise ArgumentError.new("The second argument of #{klass_name} has to be a string literal or an union of string literals. Got #{keys.inspect}.")
+      end
+    end
+
+    def literal
+      "#{klass_name}<#{@type.literal}, #{@keys.literal}>"
+    end
+
+    def self.[] type, keys
+      self.new type, keys
+    end
+
+    private
+      def unfold_union type
+        if type.is_a?(Camille::Types::Union)
+          [unfold_union(type.left), unfold_union(type.right)]
+        else
+          [type]
+        end
+      end
+
+  end
+end

data/lib/camille/types/number_literal.rb

@@ -3,6 +3,8 @@ module Camille
     class NumberLiteral < Camille::BasicType
       class ArgumentError < ::ArgumentError; end
 
+      attr_reader :value
+
       def initialize value
         if value.is_a?(Integer) || value.is_a?(Float)
           @value = value

data/lib/camille/types/omit.rb

@@ -0,0 +1,20 @@
+module Camille
+  module Types
+    class Omit < PickAndOmit
+      def check value
+        processed_object.check(value)
+      end
+
+      private
+        def klass_name
+          'Omit'
+        end
+
+        def processed_object
+          fields = @target_object.fields.reject{|k, _| @keys_array.include?(k)}
+          Camille::Types::Object.new(fields)
+        end
+
+    end
+  end
+end

data/lib/camille/types/pick.rb

@@ -0,0 +1,20 @@
+module Camille
+  module Types
+    class Pick < PickAndOmit
+      def check value
+        processed_object.check(value)
+      end
+
+      private
+        def klass_name
+          'Pick'
+        end
+
+        def processed_object
+          fields = @target_object.fields.select{|k, _| @keys_array.include?(k)}
+          Camille::Types::Object.new(fields)
+        end
+
+    end
+  end
+end

data/lib/camille/types/string_literal.rb

@@ -3,6 +3,8 @@ module Camille
     class StringLiteral < Camille::BasicType
       class ArgumentError < ::ArgumentError; end
 
+      attr_reader :value
+
       def initialize value
         if value.is_a?(::String)
           @value = value

data/lib/camille/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Camille
-  VERSION = "0.4.0"
+  VERSION = "0.4.1"
 end

data/lib/camille.rb

@@ -17,6 +17,9 @@ require_relative "camille/types/tuple"
 require_relative "camille/types/any"
 require_relative "camille/types/number_literal"
 require_relative "camille/types/string_literal"
+require_relative "camille/pick_and_omit"
+require_relative "camille/types/pick"
+require_relative "camille/types/omit"
 require_relative "camille/type"
 require_relative "camille/type_error"
 require_relative "camille/type_error_printer"

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: camille
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.4.1
 platform: ruby
 authors:
 - 辻彩
@@ -38,12 +38,15 @@ extensions: []
 extra_rdoc_files: []
 files:
 - ".rspec"
+- CHANGELOG.md
 - Gemfile
 - Gemfile.lock
 - README.md
 - Rakefile
 - bin/console
 - bin/setup
+- gemfiles/rails-6.1
+- gemfiles/rails-7.0
 - lib/camille.rb
 - lib/camille/basic_type.rb
 - lib/camille/code_generator.rb
@@ -60,6 +63,7 @@ files:
 - lib/camille/line.rb
 - lib/camille/loader.rb
 - lib/camille/main_controller.rb
+- lib/camille/pick_and_omit.rb
 - lib/camille/railtie.rb
 - lib/camille/schema.rb
 - lib/camille/schemas.rb
@@ -75,6 +79,8 @@ files:
 - lib/camille/types/number.rb
 - lib/camille/types/number_literal.rb
 - lib/camille/types/object.rb
+- lib/camille/types/omit.rb
+- lib/camille/types/pick.rb
 - lib/camille/types/string.rb
 - lib/camille/types/string_literal.rb
 - lib/camille/types/tuple.rb