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

Type members

Classlikes

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

Attributes

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

Attributes

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

Attributes

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

Deprecated classlikes

object nonInheritedOps extends ToPureOps

Attributes

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

Attributes

Deprecated
true
Source
Pure.scala
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