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

tofu.higherKind

package tofu.higherKind

Members list

Packages

package tofu.higherKind.bi

Type members

Classlikes

trait Embed[U[_[_]]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait RepresentableK[U]
object Embed extends EmbedInstanceChain[[U[_[_]]] =>> Embed[U]], EffectCompHK[[U[_[_]]] =>> Embed[U]]

Attributes

Companion
trait
Supertypes
trait EffectCompHK[[U[_[_]]] =>> Embed[U]]
trait EmbedInstanceChain[[U[_[_]]] =>> Embed[U]]
trait RepresentableKInstanceChain[[U[_[_]]] =>> Embed[U]]
class Object
trait Matchable
class Any
Show all
Self type
Embed.type
trait EmbedInstanceChain[TC[u[_[_]]]] extends RepresentableKInstanceChain[TC]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Embed
trait Function2K[F[_], G[_], H[_]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class MakeFunctionK[F, G, H]
object Function2K

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Function2K.type
trait FunctionHK[-U[F[_]], +V[F[_]]]

Even more higher kinded function, a transformation between two higher order type-constructors

Even more higher kinded function, a transformation between two higher order type-constructors

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Maker[U, V, Farb]
object FunctionHK

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
FunctionHK.type
trait Mid[F[_], A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Mid extends MidInstances

Attributes

Companion
trait
Supertypes
trait MidInstances
class Object
trait Matchable
class Any
Self type
Mid.type
class MidAlgebraMonoid[F[_], U[f[_]]] extends MidAlgebraSemigroup[F, U], Monoid[U[[_] =>> Mid[F, _$32]]]

Attributes

Supertypes
trait Monoid[U[[_] =>> Mid[F, _$32]]]
class MidAlgebraSemigroup[F, U]
trait Semigroup[U[[_] =>> Mid[F, _$32]]]
trait Serializable
class Object
trait Matchable
class Any
Show all
class MidAlgebraSemigroup[F[_], U[f[_]]](implicit U: ApplyK[U]) extends Semigroup[U[[_] =>> Mid[F, _$36]]]

Attributes

Supertypes
trait Semigroup[U[[_] =>> Mid[F, _$36]]]
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
class MidAlgebraMonoid[F, U]
trait MidInstances extends MidInstances1

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Mid
trait MidInstances1

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait MidInstances
object Mid
class MidInvariantK extends InvariantK[{ type L = [x[_]] =>> Mid[x, Any]; }#<none>]

Attributes

Supertypes
trait InvariantK[{ type L = [x[_]] =>> Mid[x, Any]; }#<none>]
trait Serializable
class Object
trait Matchable
class Any
class MidMonoidK[F[_]] extends MonoidK[[_] =>> Mid[F, _$26]]

Attributes

Supertypes
trait MonoidK[[_] =>> Mid[F, _$26]]
trait SemigroupK[[_] =>> Mid[F, _$26]]
trait Serializable
class Object
trait Matchable
class Any
Show all
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

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
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]
object MonoidalK extends EffectCompHK[[U[_[_]]] =>> MonoidalK[U]]

Attributes

Companion
trait
Supertypes
trait EffectCompHK[[U[_[_]]] =>> MonoidalK[U]]
class Object
trait Matchable
class Any
Self type
MonoidalK.type
trait Point[F[_]]

equivalent of UnitK ~> F get F[A] for any given type A useful for empty values or typeconstructors with phantom parameters may look like a type class but is not

equivalent of UnitK ~> F get F[A] for any given type A useful for empty values or typeconstructors with phantom parameters may look like a type class but is not

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Point

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Point.type
trait Post[F[_], A]

A function [F[_], A] =>> A => F[Unit] An algebra U[Post[F, _]] is an algebra which translates all actions to A \=> F[Unit]. This is useful to represent actions succeeding main logic.

A function [F[_], A] =>> A => F[Unit] An algebra U[Post[F, _]] is an algebra which translates all actions to A \=> F[Unit]. This is useful to represent actions succeeding main logic.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Post extends PostInstances

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Post.type
class PostInstances extends PostInstances1

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Post
class PostInstances1

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Post
object Pre extends PreInstances

Newtype for [F[_], A] =>> F[Unit]. An algebra U[Pre[F, _]] is an algebra which translates all actions to F[Unit]. This is useful to represent actions preceding main logic.

Newtype for [F[_], A] =>> F[Unit]. An algebra U[Pre[F, _]] is an algebra which translates all actions to F[Unit]. This is useful to represent actions preceding main logic.

Attributes

Supertypes
class PreInstances
class Object
trait Matchable
class Any
Self type
Pre.type
class PreInstances extends PreInstances1

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Pre
class PreInstances1

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class PreInstances
object Pre
trait PureK[U[_[_]]] extends UnitalK[U]

Higher-order form of pointed functor Having point in functor cat 1 -> F, provide point in mapped Scal () -> U[F]

Higher-order form of pointed functor Having point in functor cat 1 -> F, provide point in mapped Scal () -> U[F]

Type parameters

U
  • higher order functor

Attributes

Companion
object
Supertypes
trait UnitalK[U]
class Object
trait Matchable
class Any
Known subtypes
trait MonoidalK[U]
trait RepresentableK[U]
object PureK extends EffectCompHK[[U[_[_]]] =>> PureK[U]]

Attributes

Companion
trait
Supertypes
trait EffectCompHK[[U[_[_]]] =>> PureK[U]]
class Object
trait Matchable
class Any
Self type
PureK.type
trait RepK[U[_[_]], A]

Attributes

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

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
RepK.type
trait RepresentableK[U[_[_]]] extends MonoidalK[U], Embed[U]

Attributes

Companion
object
Supertypes
trait Embed[U]
trait MonoidalK[U]
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
object RepresentableK extends RepresentableKInstanceChain[[U[_[_]]] =>> RepresentableK[U]], EffectCompHK[[U[_[_]]] =>> RepresentableK[U]]

Attributes

Companion
trait
Supertypes
trait EffectCompHK[[U[_[_]]] =>> RepresentableK[U]]
class Object
trait Matchable
class Any
Self type
trait RepresentableKInstanceChain[TC[u[_[_]]]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait EmbedInstanceChain[TC]
object Embed
trait UnitalK[U[_[_]]]

Higher-order form of lax unital functor Transform identity in monoidal (with Tuple2K) category of endofunctors into its image

Higher-order form of lax unital functor Transform identity in monoidal (with Tuple2K) category of endofunctors into its image

Type parameters

U
  • higher order functor

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait PureK[U]
trait MonoidalK[U]
trait RepresentableK[U]
object UnitalK extends EffectCompHK[[U[_[_]]] =>> UnitalK[U]]

Attributes

Companion
trait
Supertypes
trait EffectCompHK[[U[_[_]]] =>> UnitalK[U]]
class Object
trait Matchable
class Any
Self type
UnitalK.type

Types

type HKAny[_] = Any
type Pre[F[_], A] = T[F, A]
type UnitK[A] = Unit
Generated with