trait Binder[F[_]] extends Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Binder
- Serializable
- Serializable
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- abstract type G[A]
Abstract Value Members
- abstract def G: Traverse[G]
- abstract def bindings[T, A](t: F[T], b: G[A])(f: (F[T]) ⇒ A)(implicit T: Aux[T, F]): G[A]
-
abstract
def
getClass(): Class[_]
- Definition Classes
- Any
- abstract def initial[A]: G[A]
- abstract def subst[T, A](t: F[T], b: G[A])(implicit T: Aux[T, F]): slamdata.Predef.Option[A]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
equals(arg0: Any): Boolean
- Definition Classes
- Any
-
def
hashCode(): Int
- Definition Classes
- Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
toString(): String
- Definition Classes
- Any