Swift Sourcery: How to get a specific associatedtype?

Question

Given are the following Swift protocols

public protocol Symbol {
    associatedtype Meaning
}

public protocol Interpretation : Symbol {}

public protocol Program : Symbol where Meaning == Body.Meaning {
    
    associatedtype Body : Symbol
    var body : Body {get}
    
}

Interpretation is just a marker protocol that I need for some other code generation. The code generation problem at hand is: Make every type implementing Program conform to every protocol that Body conforms to. Ideally, I would also like to restrict this "conform to every protocol" thing to only protocols inheriting from Interpretation. For simplicity, I restrict myself to protocols that only consist of instance variables and instance methods without input arguments.

Here is what I tried:

{% for type in types.based.Program|public %}

extension {{type.name}} : Interpretation {}

{% for proto in types.protocols|public %}{% if type.Body.based.{{proto.name}} %}
extension {{type.name}} : {{proto.name}} {

{% for variable in proto.variables|instance %}
    @inlinable
    public var {{variable.name}} : {{variable.typeName}} {
        body.{{variable.name}}
    }
{%endfor%}
{% for method in proto.methods|instance %}
        
    @inlinable
    public func {{method.name}} -> {{method.returnTypeName}} {
        body.{{method.name}}
    }
{%endfor%}

}

{% endif %}{% endfor %}{% endfor %}

Here's my test types:

public protocol ArrayInterpretable : Interpretation {
    
    var asArray : Array<Meaning> {get}
    
}


public struct Nil<Meaning> : ArrayInterpretable {
    
    public var asArray: [Meaning] {
        []
    }
    
}

public struct Bar<T> : Program {

    public typealias Meaning = T
    public typealias Body = Nil<T>
    
    public let body = Nil<T>()
    
}

Here is what I get:

// Generated using Sourcery 1.6.0 — https://github.com/krzysztofzablocki/Sourcery
// DO NOT EDIT



extension Bar : Interpretation {}

I would have expected to get automatic conformance of Bar to ArrayInterpretable through codegen. How to fix this?

Answer 1

I figured out a hack that seems to work, even though it is cringe on multiple levels.

import Free

{% for type in types.based.Program | public %}

extension {{type.name}} : Interpretation {}

{% for v in type.variables %}{%if v.name == "body"%}
{%for proto in types.protocols|public%}
{%if proto.based.Interpretation%}
{%for prt in v.type.basedTypes%}
{%if prt == proto.name %}
extension {{type.name}} : {{proto.name}} {

{% for variable in proto.variables|instance %}
    @inlinable
    public var {{variable.name}} : {{variable.typeName}} {
        body.{{variable.name}}
    }
{%endfor%}
{% for method in proto.methods|instance %}
    @inlinable
    public func {{method.name}} -> {{method.returnTypeName}} {
        body.{{method.name}}
    }
{%endfor%}

}

{%endif%}{%endfor%}{%endif%}{%endfor%}
{%endif%}
{% endfor %}{% endfor %}