module Dhall::TypeChecker::Forall::FunctionKind

Public Class Methods

for(inkind, outkind) click to toggle source
# File lib/dhall/typecheck.rb, line 880
def self.for(inkind, outkind)
        if inkind.nil? || outkind.nil?
                raise TypeError, "FunctionType part of this is a term"
        end

        if outkind.zero?
                Term.new
        else
                Polymorphic.new(inkind, outkind)
        end
end