Packages

t

scalaz

IsomorphismSplit

trait IsomorphismSplit[F[_, _], G[_, _]] extends Split[F] with IsomorphismCompose[F, G]

Source
Split.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IsomorphismSplit
  2. IsomorphismCompose
  3. Split
  4. Compose
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. trait ComposeLaw extends AnyRef
    Definition Classes
    Compose

Abstract Value Members

  1. implicit abstract def G: Split[G]
    Definition Classes
    IsomorphismSplitIsomorphismCompose
  2. abstract def iso: Isomorphism.<~~>[F, G]
    Definition Classes
    IsomorphismCompose

Concrete Value Members

  1. def compose[A, B, C](f: F[B, C], g: F[A, B]): F[A, C]

    Associative =>: binary operator.

    Associative =>: binary operator.

    Definition Classes
    IsomorphismComposeCompose
  2. def composeLaw: ComposeLaw
    Definition Classes
    Compose
  3. val composeSyntax: ComposeSyntax[F]
    Definition Classes
    Compose
  4. def plus: Plus[[α]F[α, α]]

    semigroup, but universally quantified.

    semigroup, but universally quantified.

    Definition Classes
    Compose
  5. def semigroup[A]: Semigroup[F[A, A]]

    The endomorphism semigroup, where append=compose.

    The endomorphism semigroup, where append=compose.

    Definition Classes
    Compose
  6. def split[A, B, C, D](f: F[A, B], g: F[C, D]): F[(A, C), (B, D)]
    Definition Classes
    IsomorphismSplitSplit
  7. val splitSyntax: SplitSyntax[F]
    Definition Classes
    Split