yaparc 0.2.3 → 0.4.0

data/sig/yaparc.gen.rbs

@@ -0,0 +1,217 @@
+# TypeProf 0.21.3
+
+# Classes
+class Object
+  @parser: bot
+end
+
+module Yaparc
+  VERSION: String
+  OK: Class
+  Fail: Class
+  Error: Class
+  @input: untyped
+  @value: nil
+
+  def initialize: (input: untyped, ?value: nil) -> void
+
+  module Parsable
+    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
+
+    def parse: (nil input) -> (Alt | Regex | Satisfy)
+  end
+
+  class Alt
+    include Parsable
+    @parser: Proc
+
+    def initialize: (*ManyOne | Succeed parsers) -> void
+  end
+
+  class Apply
+    include Parsable
+    @parser: Proc
+
+    def initialize: (untyped parser) -> void
+  end
+
+  class Char
+    include Parsable
+    @parser: ^-> Satisfy
+
+    def initialize: (untyped char, ?true case_sensitive) -> void
+  end
+
+  class CR
+    include Parsable
+    @parser: ^-> Regex
+
+    def initialize: -> void
+  end
+
+  class Digit
+    include Parsable
+    @parser: ^-> Satisfy
+
+    def initialize: -> void
+  end
+
+  class FailParser
+    include Parsable
+    @parser: ^(nil) -> untyped
+
+    def initialize: -> void
+  end
+
+  class Ident
+    include Parsable
+    @parser: ^-> Seq
+
+    def initialize: -> void
+  end
+
+  class Identifier
+    IDENTIFIER_REGEX: Regexp
+    include Parsable
+    @parser: Proc | ^-> Tokenize
+
+    def initialize: (?regex: nil, ?exclude: nil) -> void
+  end
+
+  class Item
+    include Parsable
+    @parser: Proc
+
+    def initialize: -> void
+  end
+
+  class Literal
+    include Parsable
+    @parser: ^-> Tokenize
+
+    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 Nat
+    include Parsable
+    @parser: ^-> Seq
+
+    def initialize: -> void
+  end
+
+  class Natural
+    include Parsable
+    @parser: ^-> Tokenize
+
+    def initialize: (**untyped) -> void
+  end
+
+  class NoFail
+    include Parsable
+    @parser: Proc
+
+    def initialize: (untyped parser) -> void
+  end
+
+  class Regex
+    include Parsable
+    @regex: Regexp
+    @parser: Proc
+
+    def initialize: (Regexp regex) -> void
+  end
+
+  class Satisfy
+    include Parsable
+    @parser: Proc
+
+    def initialize: (^(untyped) -> untyped predicate) -> void
+    def parse: (nil input) -> untyped
+  end
+
+  class Seq
+    include Parsable
+    @parser: Proc
+
+    def initialize: (*Char | Many | ManyOne | Regex | Satisfy | String | Succeed | WhiteSpace parsers) { (*untyped) -> Array[untyped] } -> void
+  end
+
+  class Space
+    include Parsable
+    @parser: ^-> Regex
+
+    def initialize: -> void
+  end
+
+  class String
+    include Parsable
+    @parser: Proc
+
+    def initialize: (untyped string, ?true case_sensitive) -> void
+  end
+
+  class Succeed
+    include Parsable
+    @parser: ^(nil) -> untyped
+
+    attr_reader remaining: nil
+    def initialize: (Alt | Array[untyped] | Regex | Satisfy value, ?nil remaining) -> void
+  end
+
+  class Symbol
+    include Parsable
+    @parser: ^-> Literal
+
+    def initialize: (untyped literal) -> void
+  end
+
+  class Tokenize
+    include Parsable
+    @parser: Proc
+
+    attr_writer prefix: WhiteSpace
+    attr_writer postfix: WhiteSpace
+    def initialize: (Regex | String parser, ?prefix: nil, ?postfix: nil) -> void
+  end
+
+  class WhiteSpace
+    include Parsable
+    @parser: ^-> Regex
+
+    def initialize: -> void
+  end
+
+  class ZeroOne
+    include Parsable
+    @parser: Proc
+
+    def initialize: (untyped parser, ?Array[untyped] identity) -> void
+  end
+
+  class AbstractParser
+    include Parsable
+    @tree: untyped
+
+    def parse: (untyped input) -> untyped
+  end
+end

data/sig/yaparc.rbs

@@ -0,0 +1,4 @@
+module Yaparc
+  VERSION: String
+  # See the writing guide of rbs: https://github.com/ruby/rbs#guides
+end

data/yaparc.gemspec

@@ -0,0 +1,36 @@
+# frozen_string_literal: true
+
+require_relative 'lib/yaparc'
+
+Gem::Specification.new do |spec|
+  spec.name = 'yaparc'
+  spec.version = Yaparc::VERSION
+  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.files = Dir.chdir(__dir__) do
+    `git ls-files -z`.split("\x0").reject do |f|
+      (f == __FILE__) || f.match(%r{\A(?:(?:bin|test|spec|features)/|\.(?:git|travis|circleci)|appveyor)})
+    end
+  end
+
+  spec.require_paths = ['lib']
+
+  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"
+  }
+end

metadata

@@ -1,72 +1,129 @@
---- !ruby/object:Gem::Specification 
+--- !ruby/object:Gem::Specification
 name: yaparc
-version: !ruby/object:Gem::Version 
-  version: 0.2.3
+version: !ruby/object:Gem::Version
+  version: 0.4.0
 platform: ruby
-authors: 
+authors:
 - Akimichi Tatsukawa
-autorequire: 
+- gemmaro
 bindir: bin
 cert_chain: []
-
-date: 2009-01-19 00:00:00 +09:00
-default_executable: 
-dependencies: []
-
-description: 
-email: akimichi_tatsukawa@nifty.com
+date: 1980-01-02 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: rubocop
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: test-unit
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+email:
+- akimichi.tatsukawa@gmail.com
+- gemmaro.dev@gmail.com
 executables: []
-
 extensions: []
-
-extra_rdoc_files: 
+extra_rdoc_files: []
+files:
+- ".document"
+- ".envrc"
+- ".rdoc_options"
+- CHANGELOG.md
+- Gemfile
+- LICENSE
 - README
-files: 
-- test/test_sql.rb
-- test/test_lambda.rb
-- test/test_calc.rb
-- test/test_uri.rb
-- test/test_parser.rb
-- test/test_owl.rb
-- test/test_metric.rb
-- test/test_prolog.rb
+- Rakefile
+- TODO
 - lib/yaparc.rb
-- test/n3.bnf
-- test/test_abc.rb.bak
-- test/n3-report.html
-- README
-has_rdoc: true
-homepage: http://rubyforge.org/projects/yaparc/
-post_install_message: 
+- 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
+homepage: https://git.disroot.org/gemmaro/yaparc
+licenses: []
+metadata:
+  rubygems_mfa_required: 'true'
+  bug_tracker_uri: https://git.disroot.org/gemmaro/yaparc/issues
+  changelog_uri: https://git.disroot.org/gemmaro/yaparc/src/branch/main/CHANGELOG.md
+  documentation_uri: https://rubydoc.info/gems/yaparc
+  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
 rdoc_options: []
-
-require_paths: 
+require_paths:
 - lib
-required_ruby_version: !ruby/object:Gem::Requirement 
-  requirements: 
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
   - - ">="
-    - !ruby/object:Gem::Version 
-      version: "0"
-  version: 
-required_rubygems_version: !ruby/object:Gem::Requirement 
-  requirements: 
+    - !ruby/object:Gem::Version
+      version: 3.1.6
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
   - - ">="
-    - !ruby/object:Gem::Version 
-      version: "0"
-  version: 
+    - !ruby/object:Gem::Version
+      version: '0'
 requirements: []
-
-rubyforge_project: yaparc
-rubygems_version: 1.3.1
-signing_key: 
-specification_version: 2
-summary: Yet Another Combinator Parser Library
-test_files: 
-- test/test_sql.rb
-- test/test_lambda.rb
-- test/test_calc.rb
-- test/test_uri.rb
-- test/test_parser.rb
-- test/test_owl.rb
-- test/test_metric.rb
-- test/test_prolog.rb
+rubygems_version: 4.0.10
+specification_version: 4
+summary: Yet another simple parser combinator library
+test_files: []

data/test/n3-report.html

@@ -1,169 +0,0 @@
-<html><head><title>BNF</title></head><body>
-  <h1>BNF</h1>
-  <p>Productions are in normal type, linked to their definitions.<br>
-    <em>Regular expressions are in italics</em><br>
-    <b><code>Literal characters in quoted in bold</code></b><br>
-    <em>void</em> means an empty production.
-  </p>
-  <dl>
-  <dt><a name="barename">barename</a></dt><dd>
-	<p><em>[A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*</em></p>
-	</dd>
-  <dt><a name="barename_csl">barename_csl</a></dt><dd>
-		<p><a href="#barename">barename</a> <a href="#barename_csl_tail">barename_csl_tail</a></p>
-		<p><em>void</em></p>
-	</dd>
-  <dt><a name="barename_csl_tail">barename_csl_tail</a></dt><dd>
-		<p><b><code>","</code></b> <a href="#barename">barename</a> <a href="#barename_csl_tail">barename_csl_tail</a></p>
-		<p><em>void</em></p>
-	</dd>
-  <dt><a name="boolean">boolean</a></dt><dd>
-		<p><b><code>"@false"</code></b></p>
-		<p><b><code>"@true"</code></b></p>
-	</dd>
-  <dt><a name="decimal">decimal</a></dt><dd>
-	<p><em>[-+]?[0-9]+(\.[0-9]+)?</em></p>
-	</dd>
-  <dt><a name="declaration">declaration</a></dt><dd>
-		<p><b><code>"@base"</code></b> <a href="#explicituri">explicituri</a></p>
-		<p><b><code>"@keywords"</code></b> <a href="#barename_csl">barename_csl</a></p>
-		<p><b><code>"@prefix"</code></b> <a href="#prefix">prefix</a> <a href="#explicituri">explicituri</a></p>
-	</dd>
-  <dt><a name="document">document</a></dt><dd>
-		<p><a href="#statements_optional">statements_optional</a> <em>EOF</em></p>
-	</dd>
-  <dt><a name="double">double</a></dt><dd>
-	<p><em>[-+]?[0-9]+(\.[0-9]+)?([eE][-+]?[0-9]+)</em></p>
-	</dd>
-  <dt><a name="dtlang">dtlang</a></dt><dd>
-		<p><b><code>"@"</code></b> <a href="#langcode">langcode</a></p>
-		<p><b><code>"^^"</code></b> <a href="#symbol">symbol</a></p>
-		<p><em>void</em></p>
-	</dd>
-  <dt><a name="existential">existential</a></dt><dd>
-		<p><b><code>"@forSome"</code></b> <a href="#symbol_csl">symbol_csl</a></p>
-	</dd>
-  <dt><a name="explicituri">explicituri</a></dt><dd>
-	<p><em>&lt;[^&gt;]*&gt;</em></p>
-	</dd>
-  <dt><a name="expression">expression</a></dt><dd>
-		<p><a href="#pathitem">pathitem</a> <a href="#pathtail">pathtail</a></p>
-	</dd>
-  <dt><a name="formulacontent">formulacontent</a></dt><dd>
-		<p><a href="#statementlist">statementlist</a></p>
-	</dd>
-  <dt><a name="integer">integer</a></dt><dd>
-	<p><em>[-+]?[0-9]+</em></p>
-	</dd>
-  <dt><a name="langcode">langcode</a></dt><dd>
-	<p><em>[a-z]+(-[a-z0-9]+)*</em></p>
-	</dd>
-  <dt><a name="literal">literal</a></dt><dd>
-		<p><a href="#string">string</a> <a href="#dtlang">dtlang</a></p>
-	</dd>
-  <dt><a name="numericliteral">numericliteral</a></dt><dd>
-		<p><a href="#decimal">decimal</a></p>
-		<p><a href="#double">double</a></p>
-		<p><a href="#integer">integer</a></p>
-	</dd>
-  <dt><a name="object">object</a></dt><dd>
-		<p><a href="#expression">expression</a></p>
-	</dd>
-  <dt><a name="objecttail">objecttail</a></dt><dd>
-		<p><b><code>","</code></b> <a href="#object">object</a> <a href="#objecttail">objecttail</a></p>
-		<p><em>void</em></p>
-	</dd>
-  <dt><a name="pathitem">pathitem</a></dt><dd>
-		<p><a href="#boolean">boolean</a></p>
-		<p><a href="#literal">literal</a></p>
-		<p><a href="#numericliteral">numericliteral</a></p>
-		<p><a href="#quickvariable">quickvariable</a></p>
-		<p><a href="#symbol">symbol</a></p>
-		<p><b><code>"("</code></b> <a href="#pathlist">pathlist</a> <b><code>")"</code></b></p>
-		<p><b><code>"["</code></b> <a href="#propertylist">propertylist</a> <b><code>"]"</code></b></p>
-		<p><b><code>"{"</code></b> <a href="#formulacontent">formulacontent</a> <b><code>"}"</code></b></p>
-	</dd>
-  <dt><a name="pathlist">pathlist</a></dt><dd>
-		<p><a href="#expression">expression</a> <a href="#pathlist">pathlist</a></p>
-		<p><em>void</em></p>
-	</dd>
-  <dt><a name="pathtail">pathtail</a></dt><dd>
-		<p><b><code>"!"</code></b> <a href="#expression">expression</a></p>
-		<p><b><code>"^"</code></b> <a href="#expression">expression</a></p>
-		<p><em>void</em></p>
-	</dd>
-  <dt><a name="prefix">prefix</a></dt><dd>
-	<p><em>([A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*)?:</em></p>
-	</dd>
-  <dt><a name="propertylist">propertylist</a></dt><dd>
-		<p><a href="#verb">verb</a> <a href="#object">object</a> <a href="#objecttail">objecttail</a> <a href="#propertylisttail">propertylisttail</a></p>
-		<p><em>void</em></p>
-	</dd>
-  <dt><a name="propertylisttail">propertylisttail</a></dt><dd>
-		<p><b><code>";"</code></b> <a href="#propertylist">propertylist</a></p>
-		<p><em>void</em></p>
-	</dd>
-  <dt><a name="qname">qname</a></dt><dd>
-	<p><em>(([A
--Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌
--‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*)?:)?[A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-
-�𐀀-󯿿][\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*</em></p>
-	</dd>
-  <dt><a name="quickvariable">quickvariable</a></dt><dd>
-	<p><em>\?[A-Z_a-zÀ-ÖØ-öø-˿Ͱ-ͽͿ-῿‌-‍⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿][\-0-9A-Z_a-z·À-ÖØ-öø-ͽͿ-῿‌-‍‿-⁀⁰-↏Ⰰ-⿯、-퟿豈-﷏ﷰ-�𐀀-󯿿]*</em></p>
-	</dd>
-  <dt><a name="simpleStatement">simpleStatement</a></dt><dd>
-		<p><a href="#subject">subject</a> <a href="#propertylist">propertylist</a></p>
-	</dd>
-  <dt><a name="statement">statement</a></dt><dd>
-		<p><a href="#declaration">declaration</a></p>
-		<p><a href="#existential">existential</a></p>
-		<p><a href="#simpleStatement">simpleStatement</a></p>
-		<p><a href="#universal">universal</a></p>
-	</dd>
-  <dt><a name="statementlist">statementlist</a></dt><dd>
-		<p><a href="#statement">statement</a> <a href="#statementtail">statementtail</a></p>
-		<p><em>void</em></p>
-	</dd>
-  <dt><a name="statements_optional">statements_optional</a></dt><dd>
-		<p><a href="#statement">statement</a> <b><code>"."</code></b> <a href="#statements_optional">statements_optional</a></p>
-		<p><em>void</em></p>
-	</dd>
-  <dt><a name="statementtail">statementtail</a></dt><dd>
-		<p><b><code>"."</code></b> <a href="#statementlist">statementlist</a></p>
-		<p><em>void</em></p>
-	</dd>
-  <dt><a name="string">string</a></dt><dd>
-	<p><em>("""[^"\\]*(?:(?:\\.|"(?!""))[^"\\]*)*""")|("[^"\\]*(?:\\.[^"\\]*)*")</em></p>
-	</dd>
-  <dt><a name="subject">subject</a></dt><dd>
-		<p><a href="#expression">expression</a></p>
-	</dd>
-  <dt><a name="symbol">symbol</a></dt><dd>
-		<p><a href="#explicituri">explicituri</a></p>
-		<p><a href="#qname">qname</a></p>
-	</dd>
-  <dt><a name="symbol_csl">symbol_csl</a></dt><dd>
-		<p><a href="#symbol">symbol</a> <a href="#symbol_csl_tail">symbol_csl_tail</a></p>
-		<p><em>void</em></p>
-	</dd>
-  <dt><a name="symbol_csl_tail">symbol_csl_tail</a></dt><dd>
-		<p><b><code>","</code></b> <a href="#symbol">symbol</a> <a href="#symbol_csl_tail">symbol_csl_tail</a></p>
-		<p><em>void</em></p>
-	</dd>
-  <dt><a name="universal">universal</a></dt><dd>
-		<p><b><code>"@forAll"</code></b> <a href="#symbol_csl">symbol_csl</a></p>
-	</dd>
-  <dt><a name="verb">verb</a></dt><dd>
-		<p><a href="#expression">expression</a></p>
-		<p><b><code>"&lt;="</code></b></p>
-		<p><b><code>"="</code></b></p>
-		<p><b><code>"=&gt;"</code></b></p>
-		<p><b><code>"@a"</code></b></p>
-		<p><b><code>"@has"</code></b> <a href="#expression">expression</a></p>
-		<p><b><code>"@is"</code></b> <a href="#expression">expression</a> <b><code>"@of"</code></b></p>
-	</dd>
-
-</dl>
-
-</body></html>