Package

quasar.fp

binder

Permalink

package binder

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. binder
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait Binder[F[_]] extends Serializable

    Permalink

Value Members

  1. object Binder extends Serializable

    Permalink
  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]

    Permalink

    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

    Permalink
  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

    Permalink
  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]

    Permalink
  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]

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped