fin blog embed

contracts.rb

    class ID < Contracts::CallableClass
      def initialize(_)
        # We are ignoring the argument here; but we write the argument as a
        # string instead of a class in practice to avoid circular reference issues
        @actual_contract = Contracts::Or[Contracts::Pos, -1]
      end

      def valid?(val)
        Contract.valid?(val, @actual_contract)
      end
    end