cats-docs
2.9.0
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
cats-docs/alleycats/Pure

Pure

alleycats.Pure$
See thePure companion trait
object Pure

Attributes

Companion:
trait
Source:
Pure.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Pure.type

Members list

Concise view

Type members

Classlikes

trait AllOps[F[_], A] extends Ops[F, A]

Attributes

Source:
Pure.scala
Graph
Supertypes
trait Ops[F, A]
class Object
trait Matchable
class Any
trait Ops[F[_], A] extends Serializable

Attributes

Source:
Pure.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AllOps[F, A]
trait ToPureOps extends Serializable

Attributes

Source:
Pure.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object nonInheritedOps.type

Deprecated classlikes

object nonInheritedOps extends ToPureOps

Attributes

Deprecated
true
Source:
Pure.scala
Graph
Supertypes
trait ToPureOps
class Object
trait Matchable
class Any
Self type
object ops

Attributes

Deprecated
true
Source:
Pure.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ops.type

Value members

Concrete methods

def apply[F[_]](implicit instance: Pure[F]): Pure[F]

Summon an instance of Pure for F.

Summon an instance of Pure for F.

Attributes

Source:
Pure.scala

Implicits

Implicits

implicit def applicativeIsPure[F[_]](implicit ev: Applicative[F]): Pure[F]

Attributes

Source:
Pure.scala
implicit def pureFlatMapIsMonad[F[_]](implicit p: Pure[F], fm: FlatMap[F]): Monad[F]

Attributes

Source:
Pure.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL