Is there a built-in function that converts Val{n} to n?

HMegh · June 17, 2026, 1:28am

I am wondering if there is a built-in function that converts Val{n} to n? I typically need to convert Val’s to integers to name my simulation results properly. Usually, I add this function to my scripts:

value(::Val{n}) where n = n

I am wondering if there is an equivalent function in Base?

penelopeysm · June 17, 2026, 1:50am

Grepping the Julia codebase I found this:

github.com/JuliaLang/julia

base/sort.jl

15346901f


      
                          vw = get_view(idx)
                          v .= vw
                          sort!(v; alg=alg2, order=order2, scratch)
                          vw .= v
                      end
                  end
                  A
              end
              A
          end
          get_value(::Val{x}) where x = x
          
          
          ## uint mapping to allow radix sorting primitives other than UInts ##
          
          """
              UIntMappable(T::Type, order::Base.Order.Ordering)
          
          Return `typeof(uint_map(x::T, order))` if [`uint_map`](@ref) and
          [`uint_unmap`](@ref) are implemented.

But we probably (well, certainly) aren’t meant to use it

Topic		Replies	Views
What is 'Val' General Usage question	4	1822	December 3, 2023
[ANN] `Undigits.jl` undoes `Base.digits` (not registered) Performance	2	173	September 30, 2025
Easiest way to convert between integer and hex General Usage	7	17028	March 7, 2022
How would I view/use Number Base from 2 to 256 General Usage numbers , base	4	253	July 13, 2025
Converting Day to Int New to Julia dates	5	4010	September 16, 2020

Is there a built-in function that converts Val{n} to n?

Related topics