class Dhall::Bool
Public Class Methods
as_dhall()
click to toggle source
# File lib/dhall/ast.rb, line 316 def self.as_dhall Builtins[:Bool] end
Public Instance Methods
&(other)
click to toggle source
# File lib/dhall/ast.rb, line 284 def &(other) reduce(other, with(value: false)) end
===(other)
click to toggle source
# File lib/dhall/ast.rb, line 304 def ===(other) self == other || value === other end
as_json()
click to toggle source
# File lib/dhall/ast.rb, line 312 def as_json value end
dhall_eq(other)
click to toggle source
Calls superclass method
Dhall::Expression#dhall_eq
# File lib/dhall/ast.rb, line 292 def dhall_eq(other) if other.is_a?(Bool) reduce(other, with(value: self == other)) else reduce(other, super) end end
reduce(when_true, when_false)
click to toggle source
# File lib/dhall/ast.rb, line 280 def reduce(when_true, when_false) value ? when_true : when_false end
to_s()
click to toggle source
# File lib/dhall/ast.rb, line 308 def to_s reduce("True", "False") end
|(other)
click to toggle source
# File lib/dhall/ast.rb, line 288 def |(other) reduce(with(value: true), other) end