core/higherkindness.droste/Basis

Basis

object Basis
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Basis.type

Type members

Classlikes

final case class Default[F[_], R](algebra: Algebra[F, R], coalgebra: Coalgebra[F, R]) extends Basis[F, R]
object Solve
Companion:
class
sealed trait Solve[PR[_[_]]]
Companion:
object

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def apply[F[_], R](implicit ev: Basis[F, R]): Basis[F, R]

Implicits

Inherited implicits

implicit def drosteBasisForAttr[F[_], A]: Basis[[_] =>> AttrF[F, A, _$38], Attr[F, A]]
Inherited from:
FloatingBasisInstances
implicit def drosteBasisForCatsCofree[F[_], A]: Basis[[_] =>> AttrF[F, A, _$46], Cofree[F, A]]
Inherited from:
FloatingBasisInstances0
implicit def drosteBasisForCatsFree[F[_] : Functor, A]: Basis[[_] =>> CoattrF[F, A, _$49], Free[F, A]]
Inherited from:
FloatingBasisInstances0
implicit def drosteBasisForCoattr[F[_], A]: Basis[[_] =>> CoattrF[F, A, _$41], Coattr[F, A]]
Inherited from:
FloatingBasisInstances
implicit def drosteBasisForFix[F[_]]: Basis[F, Fix[F]]
Inherited from:
FloatingBasisInstances0
implicit def drosteBasisForListF[A]: Basis[[_] =>> ListF[A, _$35], List[A]]
Inherited from:
FloatingBasisInstances