Recursive

public protocol Recursive

Undocumented

  • project() Extension method

    Undocumented

    Declaration

    Swift

    public static func project<F>() -> Coalgebra<F, Kind<Self, F>> where F : Functor
  • cata(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func cata<F: Functor, A>(_ tf: Kind<Self, F>, _ algebra: @escaping Algebra<F, Eval<A>>) -> A