| Documentation | Build Status |
|---|---|
  |
  |
ConcreteStructs.jl exports the macro @concrete, which can be used to make non-concrete structs
concrete without the boilerplate of adding type parameters.
using ConcreteStructs
@concrete struct AB
a
b
endjulia> ab = AB("hi", 1+im)
AB{String,Complex{Int64}}("hi", 1 + 1im)The macro also supports the terse keyword to allow the types to show without their parameters while in :compact => true mode of an IOContext.
@concrete terse mutable struct CDE{D} <: Number
d::D
c
e::Symbol
endjulia> cde = CDE(1f0, (1,2.0), :yo)
CDE(1.0f0, (1, 2.0), :yo)
julia> typeof(cde)
CDE{Float32,Tuple{Int64,Float64}}Types with more complicated parameterizations are also handled
@concrete terse struct FGH{T,N,G<:AbstractArray{T,N}} <: AbstractArray{T,N}
g::G
h::T
f
function FGH(g::AbstractArray{T,N}, h::H, f) where {T,N,H}
Tnew = promote_type(T, H)
g, h = Tnew.(g), Tnew(h)
return new{Tnew,N,typeof(g),typeof(f)}(g, h, f)
end
end
Base.size(x::FGH) = size(x.g)
Base.getindex(x::FGH, i...) = getindex(x.g[i...])julia> fgh = FGH([1,2,3], 4, nothing)
3-element FGH:
1
2
3
julia> typeof(fgh)
FGH{Int64,1,Array{Int64,1},Nothing}