package
binder
Type Members
-
Value Members
-
-
def
boundAttribute[T[_[_]], F[_], A](t: T[F])(f: (T[F]) ⇒ A)(implicit arg0: Recursive[T], arg1: Corecursive[T], arg2: Functor[F], B: Binder[F]): Cofree[F, A]
-
def
boundCata[T[_[_]], F[_], A](t: T[F])(f: (F[A]) ⇒ A)(implicit arg0: Recursive[T], arg1: Functor[F], B: Binder[F]): A
-
def
boundPara[T[_[_]], F[_], A](t: T[F])(f: (F[(T[F], A)]) ⇒ A)(implicit arg0: Recursive[T], arg1: Functor[F], B: Binder[F]): A
-
def
boundParaM[T[_[_]], M[_], F[_], A](t: T[F])(f: (F[(T[F], A)]) ⇒ M[A])(implicit arg0: Recursive[T], arg1: Monad[M], arg2: Traverse[F], B: Binder[F]): M[A]
-
def
boundParaS[T[_[_]], F[_], S, A](t: T[F])(f: (F[(T[F], A)]) ⇒ State[S, A])(implicit arg0: Recursive[T], arg1: Traverse[F], B: Binder[F]): State[S, A]