dhall 0.1.0 → 0.5.1

data/lib/dhall/types.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+require "dhall/builtins"
+
+module Dhall
+	module Types
+		def self.MAP_ENTRY(k: Builtins[:Text], v: Builtins[:Text])
+			RecordType.new(
+				record: {
+					"mapKey" => k, "mapValue" => v
+				}
+			)
+		end
+
+		def self.MAP(k: Builtins[:Text], v: Builtins[:Text])
+			Builtins[:List].call(MAP_ENTRY(k: k, v: v))
+		end
+	end
+end

data/lib/dhall/util.rb

@@ -1,7 +1,27 @@
 # frozen_string_literal: true
 
+require "promise"
+require "timeout"
+
 module Dhall
 	module Util
+		class LazyPromise < Promise
+			def initialize(&block)
+				super
+				@block = block
+			end
+
+			def subscribe(*args)
+				super
+
+				begin
+					fulfill(@block.call)
+				rescue => e
+					reject(e)
+				end
+			end
+		end
+
 		class AllOf
 			def initialize(*validators)
 				@validators = validators
@@ -61,45 +81,43 @@ module Dhall
 			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
+		class Deadline
+			def self.for_timeout(timeout)
+				if timeout.nil? || timeout.to_f.infinite?
+					NoDeadline.new
+				else
+					new(Time.now + timeout)
+				end
+			end
 
-			def self.===(other)
-				NAMES.include?(other)
+			def initialize(deadline)
+				@deadline = deadline
+			end
+
+			def exceeded?
+				@deadline < Time.now
+			end
+
+			def timeout
+				[0.000000000000001, @deadline - Time.now].max
+			end
+
+			def timeout_block(&block)
+				Timeout.timeout(timeout, TimeoutException, &block)
+			end
+		end
+
+		class NoDeadline
+			def exceeded?
+				false
+			end
+
+			def timeout
+				nil
+			end
+
+			def timeout_block
+				yield
 			end
 		end
 
@@ -126,5 +144,91 @@ module Dhall
 				end]
 			end
 		end
+
+		def self.psych_coder_for(tag, v)
+			c = Psych::Coder.new(tag)
+			case v
+			when Hash
+				c.map = v
+			when Array
+				c.seq = v
+			else
+				c.scalar = v
+			end
+		end
+
+		def self.psych_coder_from(tag, o)
+			coder = Psych::Coder.new(tag)
+
+			if o.respond_to?(:encode_with)
+				o.encode_with(coder)
+			else
+				o.instance_variables.each do |ivar|
+					coder[ivar.to_s[1..-1]] = o.instance_variable_get(ivar)
+				end
+			end
+
+			coder
+		end
+
+		def self.transform_keys(hash_or_not)
+			return hash_or_not unless hash_or_not.is_a?(Hash)
+
+			Hash[hash_or_not.map { |k, v| [(yield k), v] }]
+		end
+
+		def self.utf8_if_possible(str)
+			utf8 = str.dup.force_encoding(Encoding::UTF_8)
+			utf8.valid_encoding? ? utf8 : str
+		end
+
+		def self.text_or_binary(str)
+			unless str.valid_encoding?
+				raise ArgumentError, "invalid byte sequence in #{str.encoding}"
+			end
+
+			if str.encoding == Encoding::BINARY
+				return str if str =~ /(?!\s)[[:cntrl:]]/
+
+				utf8_if_possible(str)
+			else
+				str.encode(Encoding::UTF_8)
+			end
+		end
+
+		def self.longest_common_prefix(a, b)
+			a.zip(b).take_while { |(x, y)| x == y }.map(&:first)
+		end
+
+		def self.indent_size(str)
+			if str.end_with?("\n")
+				0
+			else
+				str
+					.scan(/^[ \t]*(?=[^ \t\n]|\Z)/)
+					.map(&:chars)
+					.reduce(&method(:longest_common_prefix))&.length.to_i
+			end
+		end
+
+		def self.path_components_to_uri(*components)
+			URI("/#{components.map(&method(:uri_escape)).join("/")}")
+		end
+
+		def self.uri_escape(s)
+			::URI.encode_www_form_component(s).gsub("+", "%20")
+		end
+
+		def self.net_http_req_with_timeout(uri, req, timeout:)
+			Net::HTTP.start(
+				uri.hostname,
+				uri.port,
+				use_ssl:       uri.scheme == "https",
+				open_timeout:  timeout,
+				ssl_timeout:   timeout,
+				read_timeout:  timeout,
+				write_timeout: timeout
+			) { |http| http.request(req) }
+		end
 	end
 end

metadata

@@ -1,15 +1,29 @@
 --- !ruby/object:Gem::Specification
 name: dhall
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.5.1
 platform: ruby
 authors:
 - Stephen Paul Weber
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2019-04-10 00:00:00.000000000 Z
+date: 2020-05-26 00:00:00.000000000 Z
 dependencies:
+- !ruby/object:Gem::Dependency
+  name: base32
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.3.2
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.3.2
 - !ruby/object:Gem::Dependency
   name: cbor
   requirement: !ruby/object:Gem::Requirement
@@ -38,6 +52,34 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '3.0'
+- !ruby/object:Gem::Dependency
+  name: lazy_object
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.0.3
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.0.3
+- !ruby/object:Gem::Dependency
+  name: multihashes
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.1.3
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.1.3
 - !ruby/object:Gem::Dependency
   name: promise.rb
   requirement: !ruby/object:Gem::Requirement
@@ -80,6 +122,20 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: 0.0.1
+- !ruby/object:Gem::Dependency
+  name: minitest-fail-fast
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.1.0
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.1.0
 - !ruby/object:Gem::Dependency
   name: simplecov
   requirement: !ruby/object:Gem::Requirement
@@ -114,6 +170,7 @@ description: 'This is a Ruby implementation of the Dhall configuration language.
 email:
 - dev@singpolyma.net
 executables:
+- dhall-compile
 - json-to-dhall
 - yaml-to-dhall
 extensions: []
@@ -121,6 +178,7 @@ extra_rdoc_files: []
 files:
 - COPYING
 - README.md
+- bin/dhall-compile
 - bin/json-to-dhall
 - bin/yaml-to-dhall
 - dhall.gemspec
@@ -129,13 +187,14 @@ files:
 - lib/dhall/ast.rb
 - lib/dhall/binary.rb
 - lib/dhall/builtins.rb
+- lib/dhall/coder.rb
 - lib/dhall/normalize.rb
 - lib/dhall/parser.citrus
 - lib/dhall/parser.rb
 - lib/dhall/resolve.rb
 - lib/dhall/typecheck.rb
+- lib/dhall/types.rb
 - lib/dhall/util.rb
-- lib/dhall/visitor.rb
 homepage: https://git.sr.ht/~singpolyma/dhall-ruby
 licenses:
 - GPL-3.0
@@ -156,7 +215,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 2.5.2.1
+rubygems_version: 2.7.6.2
 signing_key: 
 specification_version: 4
 summary: The non-repetitive alternative to YAML, in Ruby

data/lib/dhall/visitor.rb

@@ -1,23 +0,0 @@
-# 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