Class: Dhall::TypeChecker::Forall::FunctionKind::Polymorphic

Inherits:

Object

• Object
• Dhall::TypeChecker::Forall::FunctionKind::Polymorphic

Defined in:

lib/dhall/typecheck.rb

Instance Method Summary

• #initialize(inkind, outkind) ⇒ Polymorphic constructor

  A new instance of Polymorphic.

• #kind ⇒ Object

Constructor Details

#initialize(inkind, outkind) ⇒ Polymorphic

Returns a new instance of Polymorphic.

# File 'lib/dhall/typecheck.rb', line 899

def initialize(inkind, outkind)
	@inkind = inkind
	@outkind = outkind
end

Instance Method Details

#kind ⇒ Object

# File 'lib/dhall/typecheck.rb', line 904

def kind
	KINDS[[@outkind, @inkind].max]
end