object
Basis extends FloatingBasisInstances[Basis]
Type Members
-
-
sealed
trait
Solve[PR[_[_]]] extends AnyRef
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
object
Solve extends FloatingBasisSolveInstances
-
def
apply[F[_], R](implicit ev: Basis[F, R]): Basis[F, R]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
implicit
def
drosteBasisForAttr[F[_], A]: Basis[[γ$4$]AttrF[F, A, γ$4$], Attr[F, A]]
-
implicit
def
drosteBasisForCatsCofree[F[_], A]: Basis[[γ$8$]AttrF[F, A, γ$8$], Cofree[F, A]]
-
implicit
def
drosteBasisForCatsFree[F[_], A](implicit arg0: Functor[F]): Basis[[γ$10$]CoattrF[F, A, γ$10$], Free[F, A]]
-
implicit
def
drosteBasisForCoattr[F[_], A]: Basis[[γ$6$]CoattrF[F, A, γ$6$], Coattr[F, A]]
-
implicit
def
drosteBasisForFix[F[_]]: Basis[F, Fix[F]]
-
implicit
def
drosteBasisForListF[A]: Basis[[β$2$]ListF[A, β$2$], List[A]]
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
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
Inherited from FloatingBasisInstances[Basis]
Inherited from FloatingBasisInstances0[Basis]