package
binder
Type Members
-
Value Members
-
-
def
boundAttribute[T, F[_], A](t: T)(f: (T) ⇒ A)(implicit arg0: Functor[F], TR: Aux[T, F], TC: Aux[T, F], B: Binder[F]): Cofree[F, A]
-
def
boundCata[T, F[_], A](t: T)(f: (F[A]) ⇒ A)(implicit arg0: Functor[F], T: Aux[T, F], B: Binder[F]): A
-
def
boundPara[T, F[_], A](t: T)(f: (F[(T, A)]) ⇒ A)(implicit arg0: Functor[F], T: Aux[T, F], B: Binder[F]): A
-
def
boundParaM[T, M[_], F[_], A](t: T)(f: (F[(T, A)]) ⇒ M[A])(implicit arg0: Monad[M], arg1: Traverse[F], T: Aux[T, F], B: Binder[F]): M[A]
-
def
boundParaS[T, F[_], S, A](t: T)(f: (F[(T, A)]) ⇒ State[S, A])(implicit arg0: Traverse[F], T: Aux[T, F], B: Binder[F]): State[S, A]
Inherited from AnyRef
Inherited from Any