class

TraitBound

TraitBound may be positive (polarity=true) meaning "required" or it may be negative (polarity=false) meaning "trait must NOT be implemented"

Constructors

new(polarity : Bool, trait : Trait, source : Ast::Type)

negative(trait, source)

positive(trait, source)

location

negative?

polarity

polarity=(polarity : Bool)

positive?

source

source=(source : Ast::Type)

to_s(io : IO)

Appends a short String representation of this object which includes its class name and its object address.

class Person
  def initialize(@name : String, @age : Int32)
  end
end

Person.new("John", 32).to_s # => #<Person:0x10a199f20>

trait

trait=(trait : Trait)