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

Version	Path
steep-0.10.0	lib/steep/ast/types/boolean.rb
steep-0.9.0	lib/steep/ast/types/boolean.rb
steep-0.8.2	lib/steep/ast/types/boolean.rb
steep-0.8.1	lib/steep/ast/types/boolean.rb
steep-0.8.0	lib/steep/ast/types/boolean.rb
steep-0.7.1	lib/steep/ast/types/boolean.rb
steep-0.7.0	lib/steep/ast/types/boolean.rb
steep-0.6.0	lib/steep/ast/types/boolean.rb