specs2-fp/org.specs2.fp

org.specs2.fp

package org.specs2.fp

Type members

Classlikes

trait Applicative[F[_]] extends Functor[F]

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Companion
object
object Applicative
Companion
class
trait ApplicativeSyntax
trait EitherSyntax

Inspired from the cats (https://github.com/typelevel/cats project

Inspired from the cats (https://github.com/typelevel/cats project

trait Foldable[F[_]]

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Companion
object
object Foldable
Companion
class
trait FoldableSyntax
trait Functor[F[_]]

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Companion
object
object Functor
Companion
class
trait FunctorSyntax
Companion
object
object FunctorSyntax extends FunctorSyntax
Companion
class
trait Identityx
Companion
object
object Identityx extends Identityx
Companion
class
sealed abstract
class Memo[@specialized(Int) K, @specialized(Int, Long, Double) V]
Companion
object
object Memo
Companion
class
trait Monad[F[_]] extends Applicative[F]

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Companion
object
object Monad
Companion
class
trait MonadSyntax
trait Monoid[F] extends Semigroup[F]

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Companion
object
object Monoid
Companion
class
sealed abstract
class Name[+A]
Companion
object
object Name
Companion
class
trait NaturalTransformation[-F[_], +G[_]]
Companion
object
object NaturalTransformation
Companion
class
sealed abstract
class Need[+A] extends Name[A]
Companion
object
object Need
Companion
class
trait Semigroup[F]

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Companion
object
object Semigroup
Companion
class
trait SemigroupSyntax
trait Show[F]

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Companion
object
object Show
Companion
class
trait ShowSyntax
trait Traverse[F[_]] extends Functor[F]

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Companion
object
object Traverse
Companion
class
trait TraverseSyntax
Companion
object
object TraverseSyntax extends TraverseSyntax
Companion
class
sealed abstract
class Tree[A]

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Companion
object
object Tree
Companion
class
final case
class TreeLoc[A](tree: Tree[A], lefts: TreeForest[A], rights: TreeForest[A], parents: Parents[A])

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Companion
object
object TreeLoc
Companion
class
final case
class Value[+A](value: A) extends Need[A]
object syntax extends FunctorSyntax with ApplicativeSyntax with MonadSyntax with TraverseSyntax with FoldableSyntax with SemigroupSyntax with ShowSyntax with EitherSyntax with Identityx

Types

type Id[X] = X
type ~>[-F[_], +G[_]] = NaturalTransformation[F, G]