Top Level Namespace

Defined Under Namespace

Modules: Adt, Monadt Classes: AdtPattern, ListM

Constant Summary collapse

Default = 
data

Instance Method Summary collapse

Instance Method Details

#data(*fields) ⇒ Object 



5
6
7
8
9
10
11
12
 
# File 'lib/monadt/adt.rb', line 5

def data(*fields)
  base = if fields.size > 0
           Struct.new(*fields)
         else
           Object
         end
  Class.new(base)
end

#decorate_adt(klass) ⇒ Object 



14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
 
# File 'lib/monadt/adt.rb', line 14

def decorate_adt(klass)
  klass.constants.each do |v|
    name = v.to_s.underscore
    const = klass.const_get v
    klass.constants.each do |is_v|
      is_name = is_v.to_s.underscore
      ret = is_v == v
      const.class_eval do
        define_method "is_#{is_name}?" do ret end
      end
    end
    const.class_eval do
      define_method "to_s" do
        if respond_to? :values
          "#{v.to_s}(#{values.join(", ")})"
        else
          v.to_s
        end
      end
    end
    klass.class_eval do
      define_singleton_method name do |*values| const.new(*values) end
    end
  end
end