Sha256: 5ca5f1ad778063f5d9f81cef6ffefe8e700eee9fac2da00e04da6b6537a21d68
Contents?: true
Size: 921 Bytes
Versions: 28
Compression:
Stored size: 921 Bytes
Contents
module Steep
module AST
module Types
class Boolean
attr_reader :location
def initialize(location: nil)
@location = location
end
def ==(other)
other.is_a?(Boolean)
end
def hash
self.class.hash
end
alias eql? ==
def subst(s)
self
end
def to_s
"bool"
end
def free_variables
Set.new
end
def level
[0]
end
def with_location(new_location)
self.class.new(location: new_location)
end
def back_type
Union.build(types:
[
Builtin::TrueClass.instance_type,
Builtin::FalseClass.instance_type
],
location: location)
end
end
end
end
end
Version data entries
28 entries across 28 versions & 1 rubygems