tofu-core-higher-kind
API
Generated with
tofu-core-higher-kind/tofu/tofu.higherKind/tofu.higherKind.bi

tofu.higherKind.bi

package tofu.higherKind.bi

Members list

Type members

Classlikes

trait BiMid[F[_, _], E, A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object BiMid extends BiMidInstances

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
BiMid.type
class BiMidAlgebraMonoid[F[_, _], U[f[_, _]]] extends BiMidAlgebraSemigroup[F, U], Monoid[U[[_, _] =>> BiMid[F, _$49, _$50]]]

Attributes

Supertypes
trait Monoid[U[[_, _] =>> BiMid[F, _$49, _$50]]]
class BiMidAlgebraSemigroup[F, U]
trait Semigroup[U[[_, _] =>> BiMid[F, _$49, _$50]]]
trait Serializable
class Object
trait Matchable
class Any
Show all
class BiMidAlgebraSemigroup[F[_, _], U[f[_, _]]](implicit U: SemigroupalBK[U]) extends Semigroup[U[[_, _] =>> BiMid[F, _$57, _$58]]]

Attributes

Supertypes
trait Semigroup[U[[_, _] =>> BiMid[F, _$57, _$58]]]
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
class BiMidAlgebraMonoid[F, U]
trait BiMidInstances extends BiMidInstances1

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object BiMid
trait BiMidInstances1

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object BiMid
class BiMidMonoidK[F[_, _]] extends MonoidBK[[_, _] =>> BiMid[F, _$43, _$44]]

Attributes

Supertypes
trait MonoidBK[[_, _] =>> BiMid[F, _$43, _$44]]
trait SemigroupBK[[_, _] =>> BiMid[F, _$43, _$44]]
class Object
trait Matchable
class Any
trait BiPoint[F[_, _]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object BiPoint

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
BiPoint.type
trait BiTemplate[F[_, _]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object BiTemplate

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
BiTemplate.type
trait EmbedBK[U[f[_, _]]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait RepresentableB[U]
object EmbedBK

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
EmbedBK.type
trait Fun2BK[F[_, _], G[_, _], H[_, _]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Maker[F, G, H, A1, B1]
object Fun2BK

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Fun2BK.type
trait FunBK[-F[_, _], +G[_, _]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Maker[F, G, A1, B1]
object FunBK

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
FunBK.type
trait FunctorBK[U[f[_, _]]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait SemigroupalBK[U]
trait MonoidalBK[U]
trait RepresentableB[U]
object FunctorBK

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
FunctorBK.type
trait MonoidBK[F[_, _]] extends SemigroupBK[F]

Attributes

Supertypes
trait SemigroupBK[F]
class Object
trait Matchable
class Any
Known subtypes
class BiMidMonoidK[F]
final class MonoidBKOps[F[_, _], A, B](fab: F[A, B]) extends AnyVal

Attributes

Supertypes
class AnyVal
trait Matchable
class Any
trait MonoidalBK[U[f[_, _]]] extends SemigroupalBK[U], PureBK[U]

Attributes

Companion
object
Supertypes
trait PureBK[U]
trait UnitalBK[U]
trait SemigroupalBK[U]
trait FunctorBK[U]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait RepresentableB[U]
object MonoidalBK

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
MonoidalBK.type
trait PureBK[U[_[_, _]]] extends UnitalBK[U]

Attributes

Supertypes
trait UnitalBK[U]
class Object
trait Matchable
class Any
Known subtypes
trait MonoidalBK[U]
trait RepresentableB[U]
object PureBKK

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
PureBKK.type
trait RepBK[U[f[_, _]], E, A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class MakeRepr[T, E, A, Arb]
object RepBK

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
RepBK.type
trait RepresentableB[U[f[_, _]]] extends MonoidalBK[U], EmbedBK[U]

Attributes

Companion
object
Supertypes
trait EmbedBK[U]
trait MonoidalBK[U]
trait PureBK[U]
trait UnitalBK[U]
trait SemigroupalBK[U]
trait FunctorBK[U]
class Object
trait Matchable
class Any
Show all
object RepresentableB

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait SemigroupBK[F[_, _]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MonoidBK[F]
class BiMidMonoidK[F]
trait SemigroupalBK[U[f[_, _]]] extends FunctorBK[U]

Attributes

Companion
object
Supertypes
trait FunctorBK[U]
class Object
trait Matchable
class Any
Known subtypes
trait MonoidalBK[U]
trait RepresentableB[U]
object SemigroupalBK

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
final case class Tuple2BK[F[_, _], G[_, _], +A, +B](_1: F[A, B], _2: G[A, B])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait UnitalBK[U[f[_, _]]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait PureBK[U]
trait MonoidalBK[U]
trait RepresentableB[U]
object UnitalBK

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
UnitalBK.type

Types

type UnitBK[E, A] = Unit
Generated with