Contents

require "funkr/adt/matcher"

module Funkr
  class ADT

    def initialize(const, *data)
      @const, @data = const, data
    end
    
    def self.adt(*constructs)
      build_adt(constructs)
      build_matcher(constructs)
    end

    def self.match_method=(method)
      @match_method = method
    end

    self.match_method = :safe
    
    def self.matcher; @matcher; end
    
    def match
      m = self.class.matcher.new(normal_form)
      yield m
      m.run_match
    end
    
    def to_s
      format("%s%s%s",
             @const,
             @data.any? ? " : " : "",
             @data.map(&:inspect).join(" ") )
    end
    
    private

    attr_reader :const, :data
    
    def normal_form; [@const, *@data]; end
    
    def self.build_adt(constructs)
      constructs.each do |c,*d|
        define_singleton_method(c) do |*data|
          self.new(c,*data)
        end
      end
    end
    
    def self.build_matcher(constructs)
      @matcher = Class.new(Funkr::Matcher) do
        build_matchers(constructs)
      end
    end

  end
end

Version data entries

8 entries across 8 versions & 1 rubygems

Version	Path
funkr-0.0.9	lib/funkr/adt/adt.rb
funkr-0.0.8	lib/funkr/adt/adt.rb
funkr-0.0.7	lib/funkr/adt/adt.rb
funkr-0.0.6	lib/funkr/adt/adt.rb
funkr-0.0.5	lib/funkr/adt/adt.rb
funkr-0.0.4	lib/funkr/adt/adt.rb
funkr-0.0.3	lib/funkr/adt/adt.rb
funkr-0.0.2	lib/funkr/adt/adt.rb