Class: Literal::Tuple::Generic

Inherits:
Object
  • Object
show all
Includes:
Literal::Type
Defined in:
lib/literal/tuple.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(*types) ⇒ Generic

Returns a new instance of Generic.



7
8
9
 
# File 'lib/literal/tuple.rb', line 7

def initialize(*types)
  @types = types
end

Instance Attribute Details

#types ⇒ Object (readonly)

Returns the value of attribute types.



11
12
13
 
# File 'lib/literal/tuple.rb', line 11

def types
  @types
end

Instance Method Details

#===(other) ⇒ Object 



13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
 
# File 'lib/literal/tuple.rb', line 13

def ===(other)
  return false unless Literal::Tuple === other
  types = @types
  other_types = other.__types__

  return false unless types.size == other_types.size

  i, len = 0, types.size
  while i < len
    return false unless Literal.subtype?(other_types[i], types[i])
    i += 1
  end

  true
end

#>=(other) ⇒ Object 



29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
 
# File 'lib/literal/tuple.rb', line 29

def >=(other)
  case other
  when Literal::Tuple::Generic
    types = @types
    other_types = other.types

    return false unless types.size == other_types.size

    i, len = 0, types.size
    while i < len
      return false unless Literal.subtype?(other_types[i], types[i])
      i += 1
    end

    true
  else
    false
  end
end

#new(*values) ⇒ Object 



49
50
51
 
# File 'lib/literal/tuple.rb', line 49

def new(*values)
  Literal::Tuple.new(values, @types)
end