Pairing

public class Pairing<F, G> : PairingOf<F, G> where F : Functor, G : Functor

Undocumented

  • Undocumented

    Declaration

    Swift

    public static func fix(_ value: PairingOf<F, G>) -> Pairing<F, G>
  • Undocumented

    Declaration

    Swift

    public init(_ pair: @escaping (Kind<F, (/*A*/Any) -> /*B*/Any>) -> (Kind<G, /*A*/Any>) -> /*B*/Any)
  • Annihalate the F and G effects effectively calling the wrapped function in F with the wrapped value

    Declaration

    Swift

    public func zap<A, B>(_ fab: Kind<F, (A) -> B>, ga: Kind<G, A>) -> B

    Parameters

    fab

    An F-effectful A -> B

    ga

    A G-effectful A

    Return Value

    A pure B