class Dhall::TypeAnnotation

Public Class Methods

decode(value, type) click to toggle source
# File lib/dhall/binary.rb, line 293
def self.decode(value, type)
        new(value: Dhall.decode(value), type: Dhall.decode(type))
end

Public Instance Methods

as_json() click to toggle source
# File lib/dhall/ast.rb, line 1847
def as_json
        [26, value.as_json, type.as_json]
end
normalize() click to toggle source
# File lib/dhall/normalize.rb, line 461
def normalize
        value.normalize
end