object
StrictZipper
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
implicit
def
strictZipper2[M[_] <: Traversable[_], X, Y, THL <: HList](implicit tr0: TransformConstraint[:+:[M[X], :+:[M[Y], HNil]], THL, M, Traversable], tr1: ~>[M, Traversable], tr2: TransformConstraint[THL, THL, Traversable, Traversable], tr3: DownTransformConstraint[THL, :+:[X, :+:[Y, HNil]], Traversable], ex: ForeachConstraint[THL, Traversable[_]], evn: NotContained[M[_], :+:[Stream[_], HNil]]): StrictZipper[:+:[M[X], :+:[M[Y], HNil]], M, :+:[X, :+:[Y, HNil]], THL]
-
implicit
def
strictZipperN[M[_] <: Traversable[_], X, TL <: HList, FTL <: HList, THL <: HList](implicit ev: StrictZipper[TL, M, FTL, _], tr0: TransformConstraint[:+:[M[X], TL], THL, M, Traversable], tr1: ~>[M, Traversable], tr2: TransformConstraint[THL, THL, Traversable, Traversable], tr3: DownTransformConstraint[THL, :+:[X, FTL], Traversable], ex: ForeachConstraint[THL, Traversable[_]], evn: NotContained[M[_], :+:[Stream[_], HNil]]): StrictZipper[:+:[M[X], TL], M, :+:[X, FTL], THL]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Contains implicit definitions to build instances of the StrictZipper typeclass
Author:
Harshad Deo
0.1