dhall 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (19) hide show
  1. checksums.yaml +7 -0
  2. data/COPYING +676 -0
  3. data/README.md +283 -0
  4. data/bin/json-to-dhall +8 -0
  5. data/bin/yaml-to-dhall +8 -0
  6. data/dhall.gemspec +36 -0
  7. data/lib/dhall.rb +37 -0
  8. data/lib/dhall/as_dhall.rb +195 -0
  9. data/lib/dhall/ast.rb +1559 -0
  10. data/lib/dhall/binary.rb +277 -0
  11. data/lib/dhall/builtins.rb +425 -0
  12. data/lib/dhall/normalize.rb +420 -0
  13. data/lib/dhall/parser.citrus +500 -0
  14. data/lib/dhall/parser.rb +601 -0
  15. data/lib/dhall/resolve.rb +383 -0
  16. data/lib/dhall/typecheck.rb +1209 -0
  17. data/lib/dhall/util.rb +130 -0
  18. data/lib/dhall/visitor.rb +23 -0
  19. metadata +163 -0
data/lib/dhall/util.rb ADDED
@@ -0,0 +1,130 @@
1
+ # frozen_string_literal: true
2
+
3
+ module Dhall
4
+ module Util
5
+ class AllOf
6
+ def initialize(*validators)
7
+ @validators = validators
8
+ end
9
+
10
+ def ===(other)
11
+ @validators.all? { |v| v === other }
12
+ end
13
+ end
14
+
15
+ class ArrayOf < ValueSemantics::ArrayOf
16
+ def initialize(element_validator, min: 0, max: Float::INFINITY)
17
+ @min = min
18
+ @max = max
19
+ super(element_validator)
20
+ end
21
+
22
+ def ===(other)
23
+ super && other.length >= @min && other.length <= @max
24
+ end
25
+ end
26
+
27
+ class HashOf
28
+ def initialize(
29
+ key_validator,
30
+ element_validator,
31
+ min: 0,
32
+ max: Float::INFINITY
33
+ )
34
+ @min = min
35
+ @max = max
36
+ @key_validator = key_validator
37
+ @element_validator = element_validator
38
+ end
39
+
40
+ def ===(other)
41
+ Hash === other &&
42
+ other.keys.all? { |x| @key_validator === x } &&
43
+ other.values.all? { |x| @element_validator === x } &&
44
+ other.size >= @min && other.size <= @max
45
+ end
46
+ end
47
+
48
+ module ArrayAllTheSame
49
+ def self.===(other)
50
+ Array === other && other.all? { |x| x == other.first }
51
+ end
52
+ end
53
+
54
+ class Not
55
+ def initialize(validator)
56
+ @validator = validator
57
+ end
58
+
59
+ def ===(other)
60
+ !(@validator === other)
61
+ end
62
+ end
63
+
64
+ module BuiltinName
65
+ NAMES = [
66
+ "Natural/build",
67
+ "Natural/fold",
68
+ "Natural/isZero",
69
+ "Natural/even",
70
+ "Natural/odd",
71
+ "Natural/toInteger",
72
+ "Natural/show",
73
+ "Integer/toDouble",
74
+ "Integer/show",
75
+ "Double/show",
76
+ "List/build",
77
+ "List/fold",
78
+ "List/length",
79
+ "List/head",
80
+ "List/last",
81
+ "List/indexed",
82
+ "List/reverse",
83
+ "Optional/fold",
84
+ "Optional/build",
85
+ "Text/show",
86
+ "Bool",
87
+ "Optional",
88
+ "Natural",
89
+ "Integer",
90
+ "Double",
91
+ "Text",
92
+ "List",
93
+ "True",
94
+ "False",
95
+ "None",
96
+ "Type",
97
+ "Kind",
98
+ "Sort"
99
+ ].freeze
100
+
101
+ def self.===(other)
102
+ NAMES.include?(other)
103
+ end
104
+ end
105
+
106
+ def self.match_results(xs=nil, ys=nil)
107
+ Array(xs).each_with_index.map do |r, idx|
108
+ yield r, ys[idx]
109
+ end
110
+ end
111
+
112
+ def self.match_result_promises(xs=nil, ys=nil)
113
+ match_results(yield(Array(xs)), ys) do |promise, promises|
114
+ promises.each { |p| p.fulfill(promise) }
115
+ end
116
+ end
117
+
118
+ def self.promise_all_hash(hash)
119
+ keys, promises = hash.to_a.transpose
120
+
121
+ return Promise.resolve(hash) unless keys
122
+
123
+ Promise.all(promises).then do |values|
124
+ Hash[Util.match_results(keys, values) do |k, v|
125
+ [k, v]
126
+ end]
127
+ end
128
+ end
129
+ end
130
+ end
data/lib/dhall/visitor.rb ADDED
@@ -0,0 +1,23 @@
1
+ # frozen_string_literal: true
2
+
3
+ module Dhall
4
+ class Visitor
5
+ def initialize(callbacks)
6
+ @callbacks = callbacks
7
+ end
8
+
9
+ def visit(expr)
10
+ expr.to_h.each_with_object({}) do |(attr, value), h|
11
+ if (callback = callback_for(value))
12
+ h[attr] = callback.call(value)
13
+ end
14
+ end
15
+ end
16
+
17
+ protected
18
+
19
+ def callback_for(x)
20
+ @callbacks.find { |k, _| k === x }&.last
21
+ end
22
+ end
23
+ end
metadata ADDED
@@ -0,0 +1,163 @@
1
+ --- !ruby/object:Gem::Specification
2
+ name: dhall
3
+ version: !ruby/object:Gem::Version
4
+ version: 0.1.0
5
+ platform: ruby
6
+ authors:
7
+ - Stephen Paul Weber
8
+ autorequire:
9
+ bindir: bin
10
+ cert_chain: []
11
+ date: 2019-04-10 00:00:00.000000000 Z
12
+ dependencies:
13
+ - !ruby/object:Gem::Dependency
14
+ name: cbor
15
+ requirement: !ruby/object:Gem::Requirement
16
+ requirements:
17
+ - - "~>"
18
+ - !ruby/object:Gem::Version
19
+ version: 0.5.9.3
20
+ type: :runtime
21
+ prerelease: false
22
+ version_requirements: !ruby/object:Gem::Requirement
23
+ requirements:
24
+ - - "~>"
25
+ - !ruby/object:Gem::Version
26
+ version: 0.5.9.3
27
+ - !ruby/object:Gem::Dependency
28
+ name: citrus
29
+ requirement: !ruby/object:Gem::Requirement
30
+ requirements:
31
+ - - "~>"
32
+ - !ruby/object:Gem::Version
33
+ version: '3.0'
34
+ type: :runtime
35
+ prerelease: false
36
+ version_requirements: !ruby/object:Gem::Requirement
37
+ requirements:
38
+ - - "~>"
39
+ - !ruby/object:Gem::Version
40
+ version: '3.0'
41
+ - !ruby/object:Gem::Dependency
42
+ name: promise.rb
43
+ requirement: !ruby/object:Gem::Requirement
44
+ requirements:
45
+ - - "~>"
46
+ - !ruby/object:Gem::Version
47
+ version: 0.7.4
48
+ type: :runtime
49
+ prerelease: false
50
+ version_requirements: !ruby/object:Gem::Requirement
51
+ requirements:
52
+ - - "~>"
53
+ - !ruby/object:Gem::Version
54
+ version: 0.7.4
55
+ - !ruby/object:Gem::Dependency
56
+ name: value_semantics
57
+ requirement: !ruby/object:Gem::Requirement
58
+ requirements:
59
+ - - "~>"
60
+ - !ruby/object:Gem::Version
61
+ version: '3.0'
62
+ type: :runtime
63
+ prerelease: false
64
+ version_requirements: !ruby/object:Gem::Requirement
65
+ requirements:
66
+ - - "~>"
67
+ - !ruby/object:Gem::Version
68
+ version: '3.0'
69
+ - !ruby/object:Gem::Dependency
70
+ name: abnf
71
+ requirement: !ruby/object:Gem::Requirement
72
+ requirements:
73
+ - - "~>"
74
+ - !ruby/object:Gem::Version
75
+ version: 0.0.1
76
+ type: :development
77
+ prerelease: false
78
+ version_requirements: !ruby/object:Gem::Requirement
79
+ requirements:
80
+ - - "~>"
81
+ - !ruby/object:Gem::Version
82
+ version: 0.0.1
83
+ - !ruby/object:Gem::Dependency
84
+ name: simplecov
85
+ requirement: !ruby/object:Gem::Requirement
86
+ requirements:
87
+ - - "~>"
88
+ - !ruby/object:Gem::Version
89
+ version: 0.16.1
90
+ type: :development
91
+ prerelease: false
92
+ version_requirements: !ruby/object:Gem::Requirement
93
+ requirements:
94
+ - - "~>"
95
+ - !ruby/object:Gem::Version
96
+ version: 0.16.1
97
+ - !ruby/object:Gem::Dependency
98
+ name: webmock
99
+ requirement: !ruby/object:Gem::Requirement
100
+ requirements:
101
+ - - "~>"
102
+ - !ruby/object:Gem::Version
103
+ version: '3.5'
104
+ type: :development
105
+ prerelease: false
106
+ version_requirements: !ruby/object:Gem::Requirement
107
+ requirements:
108
+ - - "~>"
109
+ - !ruby/object:Gem::Version
110
+ version: '3.5'
111
+ description: 'This is a Ruby implementation of the Dhall configuration language. Dhall
112
+ is a powerful, but safe and non-Turing-complete configuration language. For more
113
+ information, see: https://dhall-lang.org'
114
+ email:
115
+ - dev@singpolyma.net
116
+ executables:
117
+ - json-to-dhall
118
+ - yaml-to-dhall
119
+ extensions: []
120
+ extra_rdoc_files: []
121
+ files:
122
+ - COPYING
123
+ - README.md
124
+ - bin/json-to-dhall
125
+ - bin/yaml-to-dhall
126
+ - dhall.gemspec
127
+ - lib/dhall.rb
128
+ - lib/dhall/as_dhall.rb
129
+ - lib/dhall/ast.rb
130
+ - lib/dhall/binary.rb
131
+ - lib/dhall/builtins.rb
132
+ - lib/dhall/normalize.rb
133
+ - lib/dhall/parser.citrus
134
+ - lib/dhall/parser.rb
135
+ - lib/dhall/resolve.rb
136
+ - lib/dhall/typecheck.rb
137
+ - lib/dhall/util.rb
138
+ - lib/dhall/visitor.rb
139
+ homepage: https://git.sr.ht/~singpolyma/dhall-ruby
140
+ licenses:
141
+ - GPL-3.0
142
+ metadata: {}
143
+ post_install_message:
144
+ rdoc_options: []
145
+ require_paths:
146
+ - lib
147
+ required_ruby_version: !ruby/object:Gem::Requirement
148
+ requirements:
149
+ - - ">="
150
+ - !ruby/object:Gem::Version
151
+ version: '0'
152
+ required_rubygems_version: !ruby/object:Gem::Requirement
153
+ requirements:
154
+ - - ">="
155
+ - !ruby/object:Gem::Version
156
+ version: '0'
157
+ requirements: []
158
+ rubyforge_project:
159
+ rubygems_version: 2.5.2.1
160
+ signing_key:
161
+ specification_version: 4
162
+ summary: The non-repetitive alternative to YAML, in Ruby
163
+ test_files: []