Contents

require 'singleton'
require_relative 'duck_fiber'
require_relative 'nullary_relation'

module MiniKraken
  module Core
    # A nullary relation that unconditionally always fails.
    class Fail < NullaryRelation
      include Singleton

      def initialize
        super('fail', '#u')
      end

      # @return [DuckFiber]
      def solver_for(_actuals, _env)
        DuckFiber.new(:failure)
      end
    end # class
  end # module
end # module

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
mini_kraken-0.1.04	lib/mini_kraken/core/fail.rb
mini_kraken-0.1.03	lib/mini_kraken/core/fail.rb
mini_kraken-0.1.02	lib/mini_kraken/core/fail.rb