Module: Algebrick::Value

Includes:
Matching, TypeCheck
Included in:
Atom, ProductConstructors::Abstract
Defined in:
lib/algebrick/value.rb

Overview

Any value of Algebraic type is kind of Value

Instance Method Summary (collapse)

Methods included from Matching

#any, #match, match_value, #on

Methods included from TypeCheck

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

Instance Method Details

- (Object) ==(other)

Raises:

  • (NotImplementedError)


21
22
23
# File 'lib/algebrick/value.rb', line 21

def ==(other)
  raise NotImplementedError
end

- (Object) inspect



37
38
39
# File 'lib/algebrick/value.rb', line 37

def inspect
  to_s
end

- (Object) pretty_print(q)

Raises:

  • (NotImplementedError)


33
34
35
# File 'lib/algebrick/value.rb', line 33

def pretty_print(q)
  raise NotImplementedError
end

- (Object) to_s

Raises:

  • (NotImplementedError)


29
30
31
# File 'lib/algebrick/value.rb', line 29

def to_s
  raise NotImplementedError
end

- (Object) type

Raises:

  • (NotImplementedError)


25
26
27
# File 'lib/algebrick/value.rb', line 25

def type
  raise NotImplementedError
end