Packages

t

zio.prelude

IdentityCompose

trait IdentityCompose[=>:[-_, +_]] extends AssociativeCompose[=>:]

Linear Supertypes
AssociativeCompose[=>:], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IdentityCompose
  2. AssociativeCompose
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def compose[A, B, C](bc: =>:[B, C], ab: =>:[A, B]): =>:[A, C]
    Definition Classes
    AssociativeCompose
  2. abstract def identity[A]: =>:[A, A]

Concrete Value Members

  1. def associativeCompose[A, B, C, D](ab: =>:[A, B], bc: =>:[B, C], cd: =>:[C, D])(implicit eq: Equal[=>:[A, D]]): Boolean
    Definition Classes
    AssociativeCompose
  2. def identityCompose[A, B](ab: =>:[A, B])(implicit eq: Equal[=>:[A, B]]): Boolean