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

MonoidalK

tofu.higherKind.MonoidalK
See theMonoidalK companion object
trait MonoidalK[U[_[_]]] extends PureK[U], ApplyK[U]

higher order form of monoidal functor for all F[_], uf: U[F] , zipWith2K(uf, unitK)(Function2K((f, ) => f)) == uf for all F[], uf: U[F] , zipWith2K(unitK, uf)(Function2K((_, f) => f)) == uf

Type parameters

U
  • higher order functor

Attributes

Companion
object
Graph
Supertypes
trait ApplyK[U]
trait FunctorK[U]
trait InvariantK[U]
trait SemigroupalK[U]
trait Serializable
trait PureK[U]
trait UnitalK[U]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait RepresentableK[U]

Members list

Value members

Abstract methods

def zipWith2K[F[_], G[_], H[_]](af: U[F], ag: U[G])(f2: Function2K[F, G, H]): U[H]

Concrete methods

override def map2K[F[_], G[_], H[_]](af: U[F], ag: U[G])(f: FunctionK[[_] =>> Tuple2K[F, G, _$9], H]): U[H]

Attributes

Definition Classes
ApplyK
override def mapK[F[_], G[_]](af: U[F])(fk: FunctionK[F, G]): U[G]

Attributes

Definition Classes
FunctorK
override def productK[F[_], G[_]](af: U[F], ag: U[G]): U[[_] =>> Tuple2K[F, G, _$15]]

Attributes

Definition Classes
SemigroupalK

Inherited methods

override def imapK[F[_], G[_]](af: U[F])(fk: FunctionK[F, G])(gk: FunctionK[G, F]): U[G]

Attributes

Definition Classes
FunctorK -> InvariantK
Inherited from:
FunctorK
def pureK[F[_]](p: Point[F]): U[F]

Attributes

Inherited from:
PureK
def unitK: U[UnitK]

Attributes

Inherited from:
PureK
Generated with