final class CatsTagless2LiftSyntax[T[_[_], _, _], F[_], A, B] extends AnyVal
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- CatsTagless2LiftSyntax
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new CatsTagless2LiftSyntax(tf: T[F, A, B])
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
getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- def ilift2[G[_]](implicit lift: IsoK[F, G], fk: InvariantK[[α$8$[_$9]]T[α$8$, A, B]]): T[G, A, B]
- def imapK2[G[_]](f: ~>[F, G])(g: ~>[G, F])(implicit fk: InvariantK[[α$6$[_$7]]T[α$6$, A, B]]): T[G, A, B]
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def lift2[G[_]](implicit lift: Lift[F, G], fk: FunctorK[[α$7$[_$8]]T[α$7$, A, B]]): T[G, A, B]
- def mapK2[G[_]](f: ~>[F, G])(implicit fk: FunctorK[[α$5$[_$6]]T[α$5$, A, B]]): T[G, A, B]
-
def
toString(): String
- Definition Classes
- Any
- def unlift2[G[_]](implicit unlift: Unlift[F, G], G: Functor[G], fk: InvariantK[[α$9$[_$10]]T[α$9$, A, B]]): G[T[G, A, B]]