classic

zio.prelude.`package`.classic
object classic

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
classic.type

Members list

Type members

Types

type Apply[F[_]] = Covariant[F] & AssociativeBoth[F]
type Bifunctor[=>:[_, _]] = Bicovariant[=>:]
type Category[=>:[_, _]] = IdentityCompose[=>:]
type Functor[F[_]] = Covariant[F]
type Group[A] = Inverse[A]
type Invariant[F[_]] = Invariant[F]
type Monad[F[_]] = Covariant[F] & IdentityFlatten[F]
type Monoid[A] = Identity[A]
type MonoidK[F[_]] = IdentityEither[F]
type Profunctor[=>:[_, _]] = Divariant[=>:]