specs2-fp
API
Generated with
specs2-fp/org.specs2.fp/syntax

syntax

org.specs2.fp.`package`.syntax
object syntax extends FunctorSyntax, ApplicativeSyntax, MonadSyntax, TraverseSyntax, FoldableSyntax, SemigroupSyntax, ShowSyntax, EitherSyntax

Attributes

Graph
Supertypes
trait EitherSyntax
trait ShowSyntax
trait MonadSyntax
class Object
trait Matchable
class Any
Show all
Self type
syntax.type

Members list

Type members

Inherited classlikes

implicit class ApplicativeOps[F[_], A](fa: F[A])(implicit evidence$1: Applicative[F])

Attributes

Inherited from:
ApplicativeSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class FoldableMonoidOps[F[_], A](fa: F[A])(implicit evidence$1: Foldable[F], evidence$2: Monoid[A])

Attributes

Inherited from:
FoldableSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class FoldableOps[F[_], A](fa: F[A])(implicit evidence$1: Foldable[F])

Attributes

Inherited from:
FoldableSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class FunctorOps[F[_], A](fa: F[A])(implicit evidence$1: Functor[F])

Attributes

Inherited from:
FunctorSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class ListApplicativeOps[A](fa: List[A])

Attributes

Inherited from:
ApplicativeSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class MonadOps[F[_], A](fa: F[A])(implicit evidence$1: Monad[F])

Attributes

Inherited from:
MonadSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class SemigroupOps[M](a: M)(implicit evidence$1: Semigroup[M])

Attributes

Inherited from:
SemigroupSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class SequenceOps[F[_], G[_], A](fa: F[G[A]])(implicit evidence$1: Traverse[F], evidence$2: Applicative[G])

Attributes

Inherited from:
TraverseSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class ShowOps[A](a: A)(implicit evidence$1: Show[A])

Attributes

Inherited from:
ShowSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class TraverseOps[F[_], A](fa: F[A])(implicit evidence$1: Traverse[F])

Attributes

Inherited from:
TraverseSyntax
Supertypes
class Object
trait Matchable
class Any

Implicits

Inherited implicits

final implicit def ApplicativeOps[F[_] : Applicative, A](fa: F[A]): ApplicativeOps[F, A]

Attributes

Inherited from:
ApplicativeSyntax
final implicit def FoldableMonoidOps[F[_] : Foldable, A : Monoid](fa: F[A]): FoldableMonoidOps[F, A]

Attributes

Inherited from:
FoldableSyntax
final implicit def FoldableOps[F[_] : Foldable, A](fa: F[A]): FoldableOps[F, A]

Attributes

Inherited from:
FoldableSyntax
final implicit def FunctorOps[F[_] : Functor, A](fa: F[A]): FunctorOps[F, A]

Attributes

Inherited from:
FunctorSyntax
final implicit def ListApplicativeOps[A](fa: List[A]): ListApplicativeOps[A]

Attributes

Inherited from:
ApplicativeSyntax
final implicit def MonadOps[F[_] : Monad, A](fa: F[A]): MonadOps[F, A]

Attributes

Inherited from:
MonadSyntax
final implicit def SemigroupOps[M : Semigroup](a: M): SemigroupOps[M]

Attributes

Inherited from:
SemigroupSyntax
final implicit def SequenceOps[F[_] : Traverse, G[_] : Applicative, A](fa: F[G[A]]): SequenceOps[F, G, A]

Attributes

Inherited from:
TraverseSyntax
final implicit def ShowOps[A : Show](a: A): ShowOps[A]

Attributes

Inherited from:
ShowSyntax
final implicit def TraverseOps[F[_] : Traverse, A](fa: F[A]): TraverseOps[F, A]

Attributes

Inherited from:
TraverseSyntax
implicit def syntaxEither[A, B](eab: Either[A, B]): EitherOps[A, B]

Attributes

Inherited from:
EitherSyntax
implicit def syntaxEitherId[A](a: A): EitherIdOps[A]

Attributes

Inherited from:
EitherSyntax
implicit def syntaxEitherObject(either: Either.type): EitherObjectOps

Attributes

Inherited from:
EitherSyntax
implicit def syntaxLeft[A, B](left: Left[A, B]): LeftOps[A, B]

Attributes

Inherited from:
EitherSyntax
implicit def syntaxRight[A, B](right: Right[A, B]): RightOps[A, B]

Attributes

Inherited from:
EitherSyntax
Generated with