specs2-fp/org.specs2.fp

org.specs2.fp

package org.specs2.fp

Code in the fp package is explicitly inspired from the Scalaz and cats projects

Please refer to http://github.com/scalaz/scalaz and http://github.com/typelevel/cats for more information

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]