object
MapFunc
Type Members
-
type
CoMF[T2[_[_]], A, B] = CoEnv[A, [β]MapFunc[T2, β], B]
-
type
CoMFR[T[_[_]], T2[_[_]], A] = CoEnv[A, [β]MapFunc[T2, β], T[[γ]CoEnv[A, [β]MapFunc[T2, β], γ]]]
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
-
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
implicit
def
equal[T[_[_]], A](implicit arg0: EqualT[T]): Delay[Equal, [β]MapFunc[T, β]]
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
def
normalize[T[_[_]], T2[_[_]], A](implicit arg0: Recursive[T], arg1: Corecursive[T], arg2: Recursive[T2], arg3: Corecursive[T2], arg4: EqualT[T2]): (CoMFR[T, T2, A]) ⇒ Option[CoMFR[T, T2, A]]
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
implicit
def
show[T[_[_]]](implicit arg0: ShowT[T]): Delay[Show, [β]MapFunc[T, β]]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
translateBinaryMapping[T[_[_]], A]: (BinaryFunc) ⇒ (A, A) ⇒ MapFunc[T, A]
-
def
translateTernaryMapping[T[_[_]], A]: (TernaryFunc) ⇒ (A, A, A) ⇒ MapFunc[T, A]
-
def
translateUnaryMapping[T[_[_]], A]: (UnaryFunc) ⇒ (A) ⇒ MapFunc[T, A]
-
implicit
def
traverse[T[_[_]]]: Traverse[[β]MapFunc[T, β]]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
