classic

zio.prelude.experimental.`package`.classic
object classic

Attributes

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

Members list

Type members

Types

type CartesianCategory[=>:[_, _], :*:[_, _]] = IdentityCompose[=>:] & Aux[=>:, :*:]
type ClosedCartesianCategory[=>:[_, _], :*:[_, _], -->:[_, _]] = CartesianCategory[=>:, :*:] & Aux[=>:, :*:, -->:]
type CoCartesianCategory[=>:[_, _], :+:[_, _]] = IdentityCompose[=>:] & Aux[=>:, :+:]