Class: Algebrick::Atom

Inherits:

Type

• Object
• Module
• Type
• Algebrick::Atom

show all

Includes:

Value

Defined in:

lib/algebrick/atom.rb

Overview

Instance Method Summary (collapse)

• - (Object) ==(other)
• - (Object) be_kind_of(type)
• - (Atom) initialize(name, &block) constructor

  A new instance of Atom.

• - (Object) pretty_print(q)
• - (Object) to_m
• - (Object) to_s
• - (Object) type

Methods included from Value

#inspect

Methods included from Matching

#any, #match, match_value, #on

Methods included from TypeCheck

#Child!, #Child?, #Match!, #Match?, #Type!, #Type?, error

Methods inherited from Type

#inspect, #match, #name

Methods included from Reclude

#include, #included, #included_into

Methods included from MatcherDelegations

#!, #&, #>, #>>, #case, #|, #~

20
21
22
23

# File 'lib/algebrick/atom.rb', line 20

def initialize(name, &block)
  super name, &block
  extend self
end

33
34
35

# File 'lib/algebrick/atom.rb', line 33

def ==(other)
  self.equal? other
end

29
30
31

# File 'lib/algebrick/atom.rb', line 29

def be_kind_of(type)
  extend type
end

45
46
47

# File 'lib/algebrick/atom.rb', line 45

def pretty_print(q)
  q.text to_s
end

25
26
27

# File 'lib/algebrick/atom.rb', line 25

def to_m
  Matchers::Atom.new self
end

41
42
43

# File 'lib/algebrick/atom.rb', line 41

def to_s
  name
end

37
38
39

# File 'lib/algebrick/atom.rb', line 37

def type
  self
end