Packages

trait Associative[=>:[_, _]] extends AnyRef

Self Type
Associative[=>:]
Source
Associative.scala
Linear Supertypes
AnyRef, Any
Known Subclasses
IsomorphismAssociative
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Associative
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. trait AssociativeLaw extends AnyRef

Abstract Value Members

  1. abstract def reassociateLeft[A, B, C](f: =>:[A, =>:[B, C]]): =>:[=>:[A, B], C]
  2. abstract def reassociateRight[A, B, C](f: =>:[=>:[A, B], C]): =>:[A, =>:[B, C]]

Concrete Value Members

  1. def associativeLaw: AssociativeLaw
  2. val associativeSyntax: AssociativeSyntax[=>:]
  3. def reassociateIso[A, B, C]: Isomorphism.<=>[=>:[=>:[A, B], C], =>:[A, =>:[B, C]]]