dhall 0.1.0

data/lib/dhall/util.rb

@@ -0,0 +1,130 @@
+# frozen_string_literal: true
+
+module Dhall
+	module Util
+		class AllOf
+			def initialize(*validators)
+				@validators = validators
+			end
+
+			def ===(other)
+				@validators.all? { |v| v === other }
+			end
+		end
+
+		class ArrayOf < ValueSemantics::ArrayOf
+			def initialize(element_validator, min: 0, max: Float::INFINITY)
+				@min = min
+				@max = max
+				super(element_validator)
+			end
+
+			def ===(other)
+				super && other.length >= @min && other.length <= @max
+			end
+		end
+
+		class HashOf
+			def initialize(
+				key_validator,
+				element_validator,
+				min: 0,
+				max: Float::INFINITY
+			)
+				@min = min
+				@max = max
+				@key_validator = key_validator
+				@element_validator = element_validator
+			end
+
+			def ===(other)
+				Hash === other &&
+					other.keys.all? { |x| @key_validator === x } &&
+					other.values.all? { |x| @element_validator === x } &&
+					other.size >= @min && other.size <= @max
+			end
+		end
+
+		module ArrayAllTheSame
+			def self.===(other)
+				Array === other && other.all? { |x| x == other.first }
+			end
+		end
+
+		class Not
+			def initialize(validator)
+				@validator = validator
+			end
+
+			def ===(other)
+				!(@validator === other)
+			end
+		end
+
+		module BuiltinName
+			NAMES = [
+				"Natural/build",
+				"Natural/fold",
+				"Natural/isZero",
+				"Natural/even",
+				"Natural/odd",
+				"Natural/toInteger",
+				"Natural/show",
+				"Integer/toDouble",
+				"Integer/show",
+				"Double/show",
+				"List/build",
+				"List/fold",
+				"List/length",
+				"List/head",
+				"List/last",
+				"List/indexed",
+				"List/reverse",
+				"Optional/fold",
+				"Optional/build",
+				"Text/show",
+				"Bool",
+				"Optional",
+				"Natural",
+				"Integer",
+				"Double",
+				"Text",
+				"List",
+				"True",
+				"False",
+				"None",
+				"Type",
+				"Kind",
+				"Sort"
+			].freeze
+
+			def self.===(other)
+				NAMES.include?(other)
+			end
+		end
+
+		def self.match_results(xs=nil, ys=nil)
+			Array(xs).each_with_index.map do |r, idx|
+				yield r, ys[idx]
+			end
+		end
+
+		def self.match_result_promises(xs=nil, ys=nil)
+			match_results(yield(Array(xs)), ys) do |promise, promises|
+				promises.each { |p| p.fulfill(promise) }
+			end
+		end
+
+		def self.promise_all_hash(hash)
+			keys, promises = hash.to_a.transpose
+
+			return Promise.resolve(hash) unless keys
+
+			Promise.all(promises).then do |values|
+				Hash[Util.match_results(keys, values) do |k, v|
+					[k, v]
+				end]
+			end
+		end
+	end
+end

data/lib/dhall/visitor.rb

@@ -0,0 +1,23 @@
+# frozen_string_literal: true
+
+module Dhall
+	class Visitor
+		def initialize(callbacks)
+			@callbacks = callbacks
+		end
+
+		def visit(expr)
+			expr.to_h.each_with_object({}) do |(attr, value), h|
+				if (callback = callback_for(value))
+					h[attr] = callback.call(value)
+				end
+			end
+		end
+
+		protected
+
+		def callback_for(x)
+			@callbacks.find { |k, _| k === x }&.last
+		end
+	end
+end

metadata

@@ -0,0 +1,163 @@
+--- !ruby/object:Gem::Specification
+name: dhall
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Stephen Paul Weber
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2019-04-10 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: cbor
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.5.9.3
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.5.9.3
+- !ruby/object:Gem::Dependency
+  name: citrus
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+- !ruby/object:Gem::Dependency
+  name: promise.rb
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.7.4
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.7.4
+- !ruby/object:Gem::Dependency
+  name: value_semantics
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+- !ruby/object:Gem::Dependency
+  name: abnf
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.0.1
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.0.1
+- !ruby/object:Gem::Dependency
+  name: simplecov
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.16.1
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.16.1
+- !ruby/object:Gem::Dependency
+  name: webmock
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.5'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.5'
+description: 'This is a Ruby implementation of the Dhall configuration language. Dhall
+  is a powerful, but safe and non-Turing-complete configuration language. For more
+  information, see: https://dhall-lang.org'
+email:
+- dev@singpolyma.net
+executables:
+- json-to-dhall
+- yaml-to-dhall
+extensions: []
+extra_rdoc_files: []
+files:
+- COPYING
+- README.md
+- bin/json-to-dhall
+- bin/yaml-to-dhall
+- dhall.gemspec
+- lib/dhall.rb
+- lib/dhall/as_dhall.rb
+- lib/dhall/ast.rb
+- lib/dhall/binary.rb
+- lib/dhall/builtins.rb
+- lib/dhall/normalize.rb
+- lib/dhall/parser.citrus
+- lib/dhall/parser.rb
+- lib/dhall/resolve.rb
+- lib/dhall/typecheck.rb
+- lib/dhall/util.rb
+- lib/dhall/visitor.rb
+homepage: https://git.sr.ht/~singpolyma/dhall-ruby
+licenses:
+- GPL-3.0
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.5.2.1
+signing_key: 
+specification_version: 4
+summary: The non-repetitive alternative to YAML, in Ruby
+test_files: []