Module: Dhall::TypeChecker::Forall::FunctionKind

Defined in:
lib/dhall/typecheck.rb

Defined Under Namespace

Classes: Polymorphic, Term

Class Method Summary collapse

Class Method Details

.for(inkind, outkind) ⇒ Object 



880
881
882
883
884
885
886
887
888
889
890
 
# 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