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[[x[_]]T[x, A, B]]): T[G, A, B]
- def imapK2[G[_]](f: ~>[F, G])(g: ~>[G, F])(implicit fk: InvariantK[[x[_]]T[x, A, B]]): T[G, A, B]
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def lift2[G[_]](implicit lift: Lift[F, G], fk: FunctorK[[x[_]]T[x, A, B]]): T[G, A, B]
- def mapK2[G[_]](f: ~>[F, G])(implicit fk: FunctorK[[x[_]]T[x, 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[[x[_]]T[x, A, B]]): G[T[G, A, B]]