Cofree

public class Cofree<S, A> : CofreeOf<S, A>

Undocumented

  • Undocumented

    Declaration

    Swift

    static func unfold(_ a: A, _ f: @escaping (A) -> Kind<S, A>) -> Cofree<S, A>
  • Undocumented

    Declaration

    Swift

    static func create(_ a: A, _ f: @escaping (A) -> Kind<S, A>) -> Cofree<S, A>
  • Undocumented

    Declaration

    Swift

    func transform<B>(_ f: @escaping (A) -> B, _ g: @escaping (Cofree<S, A>) -> Cofree<S, B>) -> Cofree<S, B>
  • Undocumented

    Declaration

    Swift

    func mapBranchingS<T>(_ functionK: FunctionK<S, T>) -> Cofree<T, A>
  • Undocumented

    Declaration

    Swift

    func mapBranchingT<T>(_ functionK: FunctionK<S, T>) -> Cofree<T, A> where T : Functor
  • Undocumented

    Declaration

    Swift

    func run() -> Cofree<S, A>