class Dhall::TypeChecker::Forall::FunctionKind::Polymorphic
Public Class Methods
new(inkind, outkind)
click to toggle source
# File lib/dhall/typecheck.rb, line 899 def initialize(inkind, outkind) @inkind = inkind @outkind = outkind end
Public Instance Methods
kind()
click to toggle source
# File lib/dhall/typecheck.rb, line 904 def kind KINDS[[@outkind, @inkind].max] end