class Dhall::TypeChecker::RecordSelection::TypeSelector

Public Class Methods

new(union) click to toggle source
# File lib/dhall/typecheck.rb, line 612
def initialize(union)
        normalized = union.normalize
        TypeChecker.assert normalized, Dhall::UnionType,
                           "RecordSelection on #{normalized}"
        @fetch_from = normalized.constructor_types
end