ProductCompanion

Swift

associatedtype A where Self.A == Self.P.C

Swift

associatedtype P : Product

Swift

var typeclass: P { get }

Swift

func deriveHNil() -> Kind<A, HNil>

Swift

func deriveHCons<H, T>(_ ch: Kind<A, H>, _ ct: Kind<A, T>) -> Kind<A, HCons<H, T>> where T : HList

Swift

func deriveInstance<F, G, Gener>(_ generic: Gener, _ cg: Kind<A, G>) -> Kind<A, F> where F == Gener.T, G == Gener.Repr, Gener : Generic