Product

public protocol Product

Undocumented

  • C

    Undocumented

    Declaration

    Swift

    associatedtype C
  • Undocumented

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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