package binder
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- binder
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- trait Binder[F[_]] extends Serializable
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]
Annotate (the original nodes of) a tree, by applying a function to the "bound" nodes.
Annotate (the original nodes of) a tree, by applying a function to the "bound" nodes. The function is also applied to the bindings themselves to determine their annotation.
- 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]
- object Binder extends Serializable