Bow - LabeledProduct Protocol Reference

Undocumented

Swift

associatedtype C


                    
                    
                    
                      product(name:_:_:)

Undocumented

Swift

func product<H, T>(name: String, _ ch: Kind<C, H>, _ ct: Kind<C, T>) -> Kind<C, HCons<H, T>> where T : HList


                    
                    
                    
                      emptyProduct()

Undocumented

Swift

func emptyProduct() -> Kind<C, HNil>


                    
                    
                    
                      project(_:_:_:)

Undocumented

Swift

func project<F, G>(_ instance: @escaping () -> Kind<C, G>, _ to: @escaping (F) -> G, _ from: (G) -> F) -> Kind<C, F>