root/scalaz/Maybe

Maybe

object Maybe extends MaybeInstances
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case
class Empty[A] extends Maybe[A]
Companion
object
object Empty
Companion
class
final case
class Just[A](get: A) extends Maybe[A]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def attempt[T](a: => T): Maybe[T]

For interfacing with legacy, deterministic, partial functions. See \/.attempt for further details.

For interfacing with legacy, deterministic, partial functions. See \/.attempt for further details.

final
def empty[A]: Maybe[A]
final
def fromNullable[A](a: A): Maybe[A]

Wrap a value in Just, or return Empty if the value is null

Wrap a value in Just, or return Empty if the value is null

final
def fromOption[A](oa: Option[A]): Maybe[A]
final
def just[A](a: A): Maybe[A]

Concrete fields

Implicits

Inherited implicits

implicit
def maybeBand[A : Band]: Band[Maybe[A]]
Inherited from
MaybeInstances1
implicit
def maybeEqual[A : Equal]: Equal[Maybe[A]]
Inherited from
MaybeInstances
implicit
def maybeFirstMonad: Monad[FirstMaybe]
Inherited from
MaybeInstances
implicit
def maybeFirstMonoid[A]: Monoid[FirstMaybe[A]] & Band[FirstMaybe[A]]
Inherited from
MaybeInstances
implicit
def maybeFirstOrder[A](implicit A: Order[Maybe[A]]): Order[FirstMaybe[A]]
Inherited from
MaybeInstances
implicit
def maybeFirstShow[A](implicit A: Show[Maybe[A]]): Show[FirstMaybe[A]]
Inherited from
MaybeInstances
implicit
def maybeIsCovariant: IsCovariant[Maybe]
Inherited from
MaybeInstances
implicit
def maybeLastMonad: Monad[LastMaybe]
Inherited from
MaybeInstances
implicit
def maybeLastMonoid[A]: Monoid[LastMaybe[A]] & Band[LastMaybe[A]]
Inherited from
MaybeInstances
implicit
def maybeLastOrder[A](implicit A: Order[Maybe[A]]): Order[LastMaybe[A]]
Inherited from
MaybeInstances
implicit
def maybeLastShow[A](implicit A: Show[Maybe[A]]): Show[LastMaybe[A]]
Inherited from
MaybeInstances
implicit
def maybeMax[A](implicit o: Order[A]): Monoid[MaxMaybe[A]] & Band[MaxMaybe[A]]
Inherited from
MaybeInstances
implicit
def maybeMaxMonad: Monad[MaxMaybe]
Inherited from
MaybeInstances
implicit
def maybeMaxOrder[A : Order]: Order[MaxMaybe[A]]
Inherited from
MaybeInstances
implicit
def maybeMaxShow[A : Show]: Show[MaxMaybe[A]]
Inherited from
MaybeInstances
implicit
def maybeMin[A](implicit o: Order[A]): Monoid[MinMaybe[A]] & Band[MinMaybe[A]]
Inherited from
MaybeInstances
implicit
def maybeMinMonad: Monad[MinMaybe]
Inherited from
MaybeInstances
implicit
def maybeMinOrder[A : Order]: Order[MinMaybe[A]]
Inherited from
MaybeInstances
implicit
def maybeMinShow[A : Show]: Show[MinMaybe[A]]
Inherited from
MaybeInstances
implicit
def maybeMonoid[A : Semigroup]: Monoid[Maybe[A]]
Inherited from
MaybeInstances
implicit
def maybeOrder[A : Order]: Order[Maybe[A]]
Inherited from
MaybeInstances
implicit
def maybeSemiLattice[A](implicit A: SemiLattice[A]): SemiLattice[Maybe[A]]
Inherited from
MaybeInstances0
implicit
def maybeShow[A](implicit A: Show[A]): Show[Maybe[A]]
Inherited from
MaybeInstances