binder

Value Members

1. object Binder extends Serializable

   

2. 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.

3. def boundCata[T, F[_], A](t: T)(f: (F[A]) ⇒ A)(implicit arg0: Functor[F], T: Aux[T, F], B: Binder[F]): A

   

4. def boundPara[T, F[_], A](t: T)(f: (F[(T, A)]) ⇒ A)(implicit arg0: Functor[F], T: Aux[T, F], B: Binder[F]): A

   

5. 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]

   

6. 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]