yaparc 0.3.0 → 0.4.0

data/sig/yaparc.gen.rbs

@@ -1,219 +1,216 @@
 # TypeProf 0.21.3
 
 # Classes
+class Object
+  @parser: bot
+end
+
 module Yaparc
   VERSION: String
+  OK: Class
+  Fail: Class
+  Error: Class
+  @input: untyped
+  @value: nil
 
-  module Result
-    class Base
-      attr_accessor message: nil
-      attr_accessor input: nil
-      attr_accessor value: nil
-      def initialize: (?Hash[untyped, untyped] options) -> void
-    end
-
-    class OK < Base
-    end
-
-    class Fail < Base
-    end
-
-    class Error < Base
-    end
-  end
+  def initialize: (input: untyped, ?value: nil) -> void
 
   module Parsable
-    IS_LOWER: Proc
-    IS_ALPHANUM: Proc
-    IS_DIGIT: Proc
-    IS_SPACE: Proc
-    IS_WHITESPACE: Proc
-    IS_CR: Proc
+    IS_LOWER: ^(untyped) -> untyped
+    IS_ALPHANUM: ^(untyped) -> untyped
+    IS_DIGIT: ^(untyped) -> untyped
+    IS_SPACE: ^(untyped) -> untyped
+    IS_WHITESPACE: ^(untyped) -> bool
+    IS_CR: ^(untyped) -> untyped
     @parser: bot
 
-    attr_accessor tree: untyped
-    def parse: (nil input) -> untyped
-  end
-
-  class Succeed
-    include Parsable
-    @parser: Proc
-
-    attr_reader remaining: nil
-    def initialize: (untyped value, ?nil remaining) -> void
+    def parse: (nil input) -> (Alt | Regex | Satisfy)
   end
 
-  class Fail
+  class Alt
     include Parsable
     @parser: Proc
 
-    def initialize: -> void
+    def initialize: (*ManyOne | Succeed parsers) -> void
   end
 
-  class Item
+  class Apply
     include Parsable
     @parser: Proc
 
-    def initialize: -> void
+    def initialize: (untyped parser) -> void
   end
 
-  class ZeroOne
+  class Char
     include Parsable
-    @parser: Proc
+    @parser: ^-> Satisfy
 
-    def initialize: (untyped parser, ?Array[untyped] identity) -> void
+    def initialize: (untyped char, ?true case_sensitive) -> void
   end
 
-  class Satisfy
+  class CR
     include Parsable
-    @parser: Proc
+    @parser: ^-> Regex
 
-    def initialize: (Proc predicate) -> void
-    def parse: (untyped input) -> untyped
+    def initialize: -> void
   end
 
-  class NoFail
+  class Digit
     include Parsable
-    @parser: Proc
+    @parser: ^-> Satisfy
 
-    def initialize: (untyped parser) -> void
+    def initialize: -> void
   end
 
-  class Seq
+  class FailParser
     include Parsable
-    @parser: Proc
+    @parser: ^(nil) -> untyped
 
-    def initialize: (*Char | String | Succeed | WhiteSpace parsers) ?{ (*untyped) -> untyped } -> void
+    def initialize: -> void
   end
 
-  class Alt
+  class Ident
     include Parsable
-    @parser: Proc
+    @parser: ^-> Seq
 
-    def initialize: (*untyped parsers) -> void
+    def initialize: -> void
   end
 
-  class Apply
+  class Identifier
+    IDENTIFIER_REGEX: Regexp
     include Parsable
-    @parser: Proc
+    @parser: Proc | ^-> Tokenize
 
-    def initialize: (untyped parser) -> void
+    def initialize: (?regex: nil, ?exclude: nil) -> void
   end
 
-  class String
+  class Item
     include Parsable
     @parser: Proc
 
-    def initialize: (untyped string, ?true case_sensitive) -> void
+    def initialize: -> void
   end
 
-  class Regex
+  class Literal
     include Parsable
-    @regex: Regexp
-    @parser: Proc
+    @parser: ^-> Tokenize
 
-    def initialize: (Regexp regex) -> void
+    def initialize: (untyped literal, ?true case_sensitive) -> void
   end
 
   class Many
     include Parsable
+    @parser: ^-> Alt
 
     def initialize: (Satisfy parser, ?Array[untyped] | String identity) -> void
   end
 
   class ManyOne
     include Parsable
+    @parser: Proc
 
     def initialize: (Digit parser, ?Array[untyped] | String identity) -> void
   end
 
-  class Space
+  class Nat
     include Parsable
-    @parser: Proc
+    @parser: ^-> Seq
 
     def initialize: -> void
   end
 
-  class CR
+  class Natural
     include Parsable
-    @parser: Proc
+    @parser: ^-> Tokenize
 
-    def initialize: -> void
+    def initialize: (**untyped) -> void
   end
 
-  class WhiteSpace
+  class NoFail
     include Parsable
     @parser: Proc
 
-    def initialize: -> void
+    def initialize: (untyped parser) -> void
   end
 
-  class Tokenize
+  class Regex
     include Parsable
+    @regex: Regexp
     @parser: Proc
 
-    attr_accessor prefix: WhiteSpace
-    attr_accessor postfix: WhiteSpace
-    def initialize: (Regex | String parser, ?Hash[untyped, untyped] args) -> void
+    def initialize: (Regexp regex) -> void
   end
 
-  class Literal
+  class Satisfy
     include Parsable
     @parser: Proc
 
-    def initialize: (untyped literal, ?true case_sensitive) -> void
+    def initialize: (^(untyped) -> untyped predicate) -> void
+    def parse: (nil input) -> untyped
   end
 
-  class Identifier
-    IDENTIFIER_REGEX: Regexp
+  class Seq
     include Parsable
     @parser: Proc
 
-    def initialize: (?Hash[untyped, untyped] options) -> void
+    def initialize: (*Char | Many | ManyOne | Regex | Satisfy | String | Succeed | WhiteSpace parsers) { (*untyped) -> Array[untyped] } -> void
   end
 
-  class Char
+  class Space
+    include Parsable
+    @parser: ^-> Regex
+
+    def initialize: -> void
+  end
+
+  class String
     include Parsable
     @parser: Proc
 
-    def initialize: (untyped char, ?true case_sensitive) -> void
+    def initialize: (untyped string, ?true case_sensitive) -> void
   end
 
-  class Ident
+  class Succeed
     include Parsable
+    @parser: ^(nil) -> untyped
 
-    def initialize: -> void
+    attr_reader remaining: nil
+    def initialize: (Alt | Array[untyped] | Regex | Satisfy value, ?nil remaining) -> void
   end
 
-  class Digit
+  class Symbol
     include Parsable
-    @parser: Proc
+    @parser: ^-> Literal
 
-    def initialize: -> void
+    def initialize: (untyped literal) -> void
   end
 
-  class Nat
+  class Tokenize
     include Parsable
+    @parser: Proc
 
-    def initialize: -> void
+    attr_writer prefix: WhiteSpace
+    attr_writer postfix: WhiteSpace
+    def initialize: (Regex | String parser, ?prefix: nil, ?postfix: nil) -> void
   end
 
-  class Natural
+  class WhiteSpace
     include Parsable
+    @parser: ^-> Regex
 
-    def initialize: (?Hash[untyped, untyped] args) -> void
+    def initialize: -> void
   end
 
-  class Symbol
+  class ZeroOne
     include Parsable
     @parser: Proc
 
-    def initialize: (untyped literal, ?Hash[untyped, untyped] _args) -> void
+    def initialize: (untyped parser, ?Array[untyped] identity) -> void
   end
 
   class AbstractParser
     include Parsable
-    @parser: bot
+    @tree: untyped
 
     def parse: (untyped input) -> untyped
   end

data/yaparc.gemspec

@@ -1,16 +1,16 @@
 # frozen_string_literal: true
 
-require_relative "lib/yaparc"
+require_relative 'lib/yaparc'
 
 Gem::Specification.new do |spec|
-  spec.name = "yaparc"
+  spec.name = 'yaparc'
   spec.version = Yaparc::VERSION
-  spec.authors = ["Akimichi Tatsukawa", "gemmaro"]
-  spec.email = ["akimichi.tatsukawa@gmail.com", "gemmaro.dev@gmail.com"]
+  spec.authors = ['Akimichi Tatsukawa', 'gemmaro']
+  spec.email = ['akimichi.tatsukawa@gmail.com', 'gemmaro.dev@gmail.com']
 
-  spec.summary = "Yet another simple parser combinator library"
-  spec.homepage = homepage = "https://git.disroot.org/gemmaro/yaparc"
-  spec.required_ruby_version = ">= 3.1.6"
+  spec.summary = 'Yet another simple parser combinator library'
+  spec.homepage = homepage = 'https://git.disroot.org/gemmaro/yaparc'
+  spec.required_ruby_version = '>= 3.1.6'
 
   spec.files = Dir.chdir(__dir__) do
     `git ls-files -z`.split("\x0").reject do |f|
@@ -18,19 +18,19 @@ Gem::Specification.new do |spec|
     end
   end
 
-  spec.require_paths = ["lib"]
+  spec.require_paths = ['lib']
 
-  spec.add_development_dependency "rake"
-  spec.add_development_dependency "rubocop"
-  spec.add_development_dependency "test-unit"
+  spec.add_development_dependency 'rake'
+  spec.add_development_dependency 'rubocop'
+  spec.add_development_dependency 'test-unit'
 
   spec.metadata = {
     'rubygems_mfa_required' => 'true',
-    'bug_tracker_uri'       => "#{homepage}/issues",
-    'changelog_uri'         => "#{homepage}/src/branch/main/CHANGELOG.md",
-    'documentation_uri'     => "https://rubydoc.info/gems/yaparc",
-    'homepage_uri'          => homepage,
-    'source_code_uri'       => homepage,
-    'wiki_uri'              => "#{homepage}/wiki",
+    'bug_tracker_uri' => "#{homepage}/issues",
+    'changelog_uri' => "#{homepage}/src/branch/main/CHANGELOG.md",
+    'documentation_uri' => 'https://rubydoc.info/gems/yaparc',
+    'homepage_uri' => homepage,
+    'source_code_uri' => homepage,
+    'wiki_uri' => "#{homepage}/wiki"
   }
 end

metadata

@@ -1,15 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: yaparc
 version: !ruby/object:Gem::Version
-  version: 0.3.0
+  version: 0.4.0
 platform: ruby
 authors:
 - Akimichi Tatsukawa
 - gemmaro
-autorequire:
 bindir: bin
 cert_chain: []
-date: 2024-12-31 00:00:00.000000000 Z
+date: 1980-01-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rake
@@ -53,7 +52,6 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: '0'
-description:
 email:
 - akimichi.tatsukawa@gmail.com
 - gemmaro.dev@gmail.com
@@ -62,14 +60,42 @@ extensions: []
 extra_rdoc_files: []
 files:
 - ".document"
+- ".envrc"
 - ".rdoc_options"
 - CHANGELOG.md
 - Gemfile
 - LICENSE
 - README
 - Rakefile
+- TODO
 - lib/yaparc.rb
-- manifest.scm
+- lib/yaparc/abstract_parser.rb
+- lib/yaparc/alt.rb
+- lib/yaparc/apply.rb
+- lib/yaparc/char.rb
+- lib/yaparc/cr.rb
+- lib/yaparc/digit.rb
+- lib/yaparc/fail_parser.rb
+- lib/yaparc/ident.rb
+- lib/yaparc/identifier.rb
+- lib/yaparc/item.rb
+- lib/yaparc/literal.rb
+- lib/yaparc/many.rb
+- lib/yaparc/many_one.rb
+- lib/yaparc/nat.rb
+- lib/yaparc/natural.rb
+- lib/yaparc/no_fail.rb
+- lib/yaparc/parsable.rb
+- lib/yaparc/regex.rb
+- lib/yaparc/satisfy.rb
+- lib/yaparc/seq.rb
+- lib/yaparc/space.rb
+- lib/yaparc/string.rb
+- lib/yaparc/succeed.rb
+- lib/yaparc/symbol.rb
+- lib/yaparc/tokenize.rb
+- lib/yaparc/white_space.rb
+- lib/yaparc/zero_one.rb
 - sig/yaparc.gen.rbs
 - sig/yaparc.rbs
 - yaparc.gemspec
@@ -83,7 +109,6 @@ metadata:
   homepage_uri: https://git.disroot.org/gemmaro/yaparc
   source_code_uri: https://git.disroot.org/gemmaro/yaparc
   wiki_uri: https://git.disroot.org/gemmaro/yaparc/wiki
-post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -98,8 +123,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.3.26
-signing_key:
+rubygems_version: 4.0.10
 specification_version: 4
 summary: Yet another simple parser combinator library
 test_files: []

data/manifest.scm

@@ -1 +0,0 @@
-(specifications->manifest (list "ruby@3.1" "ruby-rubocop"))