specs2-fp
API
Generated with
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

Attributes

Members list

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

Attributes

Companion
object
Supertypes
trait Functor[F]
class Object
trait Matchable
class Any
Known subtypes
trait Monad[F]
object idMonad.type
object optionMonad.type
object name.type
Self type
object Applicative

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait ApplicativeSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object syntax.type
trait EitherSyntax

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

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

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object syntax.type
trait Foldable[F[_]]

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

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

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object given_Foldable_List.type
object given_Foldable_Vector.type
object Foldable

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Foldable.type
trait FoldableSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object syntax.type
trait Functor[F[_]]

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

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

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Applicative[F]
trait Monad[F]
object idMonad.type
object optionMonad.type
object name.type
object OptionFunctor.type
trait Traverse[F]
object listInstance.type
Show all
object Functor

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Functor.type
trait FunctorSyntax

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object FunctorSyntax.type
object syntax.type
object FunctorSyntax extends FunctorSyntax

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait Identityx

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Identityx.type
object syntax.type
object Identityx extends Identityx

Attributes

Companion
trait
Supertypes
trait Identityx
class Object
trait Matchable
class Any
Self type
Identityx.type
sealed abstract class Memo[K, V]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Memo

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Memo.type
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

Attributes

Companion
object
Supertypes
trait Applicative[F]
trait Functor[F]
class Object
trait Matchable
class Any
Known subtypes
object idMonad.type
object optionMonad.type
object name.type
object Monad

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Monad.type
trait MonadSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object syntax.type
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

Attributes

Companion
object
Supertypes
trait Semigroup[F]
class Object
trait Matchable
class Any
object Monoid

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Monoid.type
sealed abstract class Name[+A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Need[A]
class Value[A]
object Name

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Name.type
trait NaturalTransformation[-F[_], +G[_]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object NaturalTransformation

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
sealed abstract class Need[+A] extends Name[A]

Attributes

Companion
object
Supertypes
class Name[A]
class Object
trait Matchable
class Any
Known subtypes
class Value[A]
object Need

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Need.type
trait Semigroup[F]

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

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

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Monoid[F]
object Semigroup

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Semigroup.type
trait SemigroupSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object syntax.type
trait Show[F]

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

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

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Show

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Show.type
trait ShowSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object syntax.type
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

Attributes

Companion
object
Supertypes
trait Functor[F]
class Object
trait Matchable
class Any
Known subtypes
object listInstance.type
object Traverse

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Traverse.type
trait TraverseSyntax

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object TraverseSyntax.type
object syntax.type
object TraverseSyntax extends TraverseSyntax

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
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

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Tree

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Tree.type
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

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object TreeLoc

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
TreeLoc.type
final case class Value[+A](value: A) extends Need[A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Need[A]
class Name[A]
class Object
trait Matchable
class Any
Show all
object syntax extends FunctorSyntax, ApplicativeSyntax, MonadSyntax, TraverseSyntax, FoldableSyntax, SemigroupSyntax, ShowSyntax, EitherSyntax, Identityx

Attributes

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

Types

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