Corecursive

public protocol Corecursive

Undocumented

  • embed() Extension method

    Undocumented

    Declaration

    Swift

    public static func embed<F>() -> Algebra<F, Eval<Kind<Self, F>>> where F : Functor
  • ana(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func ana<F: Functor, A>(_ a: A, _ coalgebra: @escaping Coalgebra<F, A>) -> Kind<Self, F>