cats-docs
2.11.0
API
Generated with
cats-docs/cats/cats.laws/NonEmptyParallelLaws

NonEmptyParallelLaws

cats.laws.NonEmptyParallelLaws
See theNonEmptyParallelLaws companion object
trait NonEmptyParallelLaws[M[_]]

Laws that must be obeyed by any cats.NonEmptyParallel.

Attributes

Companion
object
Source
NonEmptyParallelLaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ParallelLaws[M]

Members list

Type members

Types

type F[A] = P.F[A]

Attributes

Source
NonEmptyParallelLaws.scala

Value members

Concrete methods

def isomorphicFunctor[A, B](fa: P.F[A], f: A => B): IsEq[M[B]]

Attributes

Source
NonEmptyParallelLaws.scala
def parallelRoundTrip[A](ma: M[A]): IsEq[M[A]]

Attributes

Source
NonEmptyParallelLaws.scala
def sequentialRoundTrip[A](fa: P.F[A]): IsEq[P.F[A]]

Attributes

Source
NonEmptyParallelLaws.scala

Abstract fields

val P: NonEmptyParallel[M]

Attributes

Source
NonEmptyParallelLaws.scala
Generated with