Is there a way to get a UnionAll base type from a concrete type?

JonasWickman · November 6, 2024, 3:45pm

SparseDiffTools.jl (part of the SciML ecosystem) uses this construction, but it’s also based on .wrapper.

JuliaDiff/SparseDiffTools.jl/blob/55f0d5709f88d71b205ec255467ade14b6808119/src/SparseDiffTools.jl#L59


      
          include("differentiation/vecjac_products.jl")
          
          # High Level Interface
          include("highlevel/common.jl")
          include("highlevel/coloring.jl")
          include("highlevel/forward_mode.jl")
          include("highlevel/reverse_mode.jl")
          include("highlevel/forward_or_reverse_mode.jl")
          include("highlevel/finite_diff.jl")
          
          Base.@pure __parameterless_type(T) = Base.typename(T).wrapper
          parameterless_type(x) = parameterless_type(typeof(x))
          parameterless_type(x::Type) = __parameterless_type(x)
          
          function numback_hesvec end
          function numback_hesvec! end
          function autoback_hesvec end
          function autoback_hesvec! end
          function auto_vecjac end
          function auto_vecjac! end

Topic		Replies	Views
More elegant way to get the `UnionAll` type from an instance? General Usage question	4	713	June 20, 2019
What is a unionall type? General Usage	11	4533	June 28, 2017
Specializing a Unionall General Usage	4	884	September 29, 2018
Construct object of type whose type is UnionAll General Usage question	5	503	April 14, 2018
Union of Unions General Usage question	4	672	January 7, 2017

Is there a way to get a UnionAll base type from a concrete type?

Related topics