Corecursive public protocol Corecursive Undocumented embedT(_:) Undocumented Declaration Swift static func embedT<F>(_ tf: Kind<F, Eval<Kind<Self, F>>>) -> Eval<Kind<Self, F>> where F : Functor embed() Extension method Undocumented Declaration Swift static func embed<F>() -> Algebra<F, Eval<Kind<Self, F>>> where F : Functor ana(_:_:) Extension method Undocumented Declaration Swift static func ana<F: Functor, A>(_ a: A, _ coalgebra: @escaping Coalgebra<F, A>) -> Kind<Self, F>
Corecursive Protocol Reference
Install in Dash