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