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
object optionMonad
object name
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
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
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 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
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
object optionMonad
object name
object OptionFunctor
trait Traverse[F]
object listInstance
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
object syntax
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
object syntax
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
object optionMonad
object name
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
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
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
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
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 syntax
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