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