Class: Algebrick::Type

Inherits:

Module

• Object
• Module
• Algebrick::Type

show all

Includes:

MatcherDelegations, Matching, Reclude, TypeCheck

Defined in:

lib/algebrick/type.rb

Overview

Instance Method Summary (collapse)

• - (Object) ==(other)
• - (Object) be_kind_of(type)
• - (Type) initialize(name, &definition) constructor

  A new instance of Type.

• - (Object) inspect
• - (Object) match(value, *cases)
• - (Object) name
• - (Object) to_m(*args)
• - (Object) to_s

Methods included from Reclude

#include, #included, #included_into

Methods included from MatcherDelegations

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

Methods included from Matching

#any, match_value, #on

Methods included from TypeCheck

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

23
24
25
26

# File 'lib/algebrick/type.rb', line 23

def initialize(name, &definition)
  super &definition
  @name = name
end

36
37
38

# File 'lib/algebrick/type.rb', line 36

def ==(other)
  raise NotImplementedError
end

40
41
42

# File 'lib/algebrick/type.rb', line 40

def be_kind_of(type)
  raise NotImplementedError
end

48
49
50

# File 'lib/algebrick/type.rb', line 48

def inspect
  to_s
end

52
53
54
55

# File 'lib/algebrick/type.rb', line 52

def match(value, *cases)
  Type! value, self
  super value, *cases
end

28
29
30

# File 'lib/algebrick/type.rb', line 28

def name
  super || @name || 'NoName'
end

32
33
34

# File 'lib/algebrick/type.rb', line 32

def to_m(*args)
  raise NotImplementedError
end

44
45
46

# File 'lib/algebrick/type.rb', line 44

def to_s
  raise NotImplementedError
end