scalaz
Maybe
object
Maybe
extends
MaybeInstances
with
MaybeFunctions
Source
Maybe.scala
Linear Supertypes
MaybeFunctions
,
MaybeInstances
,
MaybeInstances0
,
MaybeInstances1
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
Maybe
MaybeFunctions
MaybeInstances
MaybeInstances0
MaybeInstances1
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Type Members
final
case class
Empty
[
A
]
()
extends
Maybe
[
A
] with
Product
with
Serializable
final
case class
Just
[
A
]
(
a:
A
)
extends
Maybe
[
A
] with
Product
with
Serializable
Value Members
final
def
!=
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
empty
[
A
]
:
Maybe
[
A
]
Definition Classes
MaybeFunctions
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
fromNullable
[
A
]
(
a:
A
)
:
Maybe
[
A
]
Wrap a value in Just, or return Empty if the value is null
final
def
fromOption
[
A
]
(
oa:
Option
[
A
]
)
:
Maybe
[
A
]
Definition Classes
MaybeFunctions
def
fromTryCatchNonFatal
[
T
]
(
a: ⇒
T
)
:
Maybe
[
T
]
Definition Classes
MaybeFunctions
def
fromTryCatchThrowable
[
T
,
E <:
Throwable
]
(
a: ⇒
T
)
(
implicit
nn:
NotNothing
[
E
]
,
ex:
ClassManifest
[
E
]
)
:
Maybe
[
T
]
Definition Classes
MaybeFunctions
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
just
[
A
]
(
a:
A
)
:
Maybe
[
A
]
Definition Classes
MaybeFunctions
implicit
def
maybeBand
[
A
]
(
implicit
arg0:
Band
[
A
]
)
:
Band
[
Maybe
[
A
]]
Definition Classes
MaybeInstances1
implicit
def
maybeEqual
[
A
]
(
implicit
arg0:
Equal
[
A
]
)
:
Equal
[
Maybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeFirstMonad
:
Monad
[
FirstMaybe
]
Definition Classes
MaybeInstances
implicit
def
maybeFirstMonoid
[
A
]
:
Monoid
[
FirstMaybe
[
A
]] with
Band
[
FirstMaybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeFirstOrder
[
A
]
(
implicit
A:
Order
[
Maybe
[
A
]]
)
:
Order
[
FirstMaybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeFirstShow
[
A
]
(
implicit
A:
Show
[
Maybe
[
A
]]
)
:
Show
[
FirstMaybe
[
A
]]
Definition Classes
MaybeInstances
implicit
val
maybeInstance
:
Traverse
[
Maybe
] with
MonadPlus
[
Maybe
] with
Cozip
[
Maybe
] with
Zip
[
Maybe
] with
Unzip
[
Maybe
] with
Align
[
Maybe
] with
IsEmpty
[
Maybe
] with
Cobind
[
Maybe
] with
Optional
[
Maybe
]
Definition Classes
MaybeInstances
implicit
def
maybeLastMonad
:
Monad
[
LastMaybe
]
Definition Classes
MaybeInstances
implicit
def
maybeLastMonoid
[
A
]
:
Monoid
[
LastMaybe
[
A
]] with
Band
[
LastMaybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeLastOrder
[
A
]
(
implicit
A:
Order
[
Maybe
[
A
]]
)
:
Order
[
LastMaybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeLastShow
[
A
]
(
implicit
A:
Show
[
Maybe
[
A
]]
)
:
Show
[
LastMaybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeMax
[
A
]
(
implicit
o:
Order
[
A
]
)
:
Monoid
[
MaxMaybe
[
A
]] with
Band
[
MaxMaybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeMaxMonad
:
Monad
[
MaxMaybe
]
Definition Classes
MaybeInstances
implicit
def
maybeMaxOrder
[
A
]
(
implicit
arg0:
Order
[
A
]
)
:
Order
[
MaxMaybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeMaxShow
[
A
]
(
implicit
arg0:
Show
[
A
]
)
:
Show
[
MaxMaybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeMin
[
A
]
(
implicit
o:
Order
[
A
]
)
:
Monoid
[
MinMaybe
[
A
]] with
Band
[
MinMaybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeMinMonad
:
Monad
[
MinMaybe
]
Definition Classes
MaybeInstances
implicit
def
maybeMinOrder
[
A
]
(
implicit
arg0:
Order
[
A
]
)
:
Order
[
MinMaybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeMinShow
[
A
]
(
implicit
arg0:
Show
[
A
]
)
:
Show
[
MinMaybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeMonoid
[
A
]
(
implicit
arg0:
Semigroup
[
A
]
)
:
Monoid
[
Maybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeOrder
[
A
]
(
implicit
arg0:
Order
[
A
]
)
:
Order
[
Maybe
[
A
]]
Definition Classes
MaybeInstances
implicit
def
maybeSemiLattice
[
A
]
(
implicit
A:
SemiLattice
[
A
]
)
:
SemiLattice
[
Maybe
[
A
]]
Definition Classes
MaybeInstances0
implicit
def
maybeShow
[
A
]
(
implicit
A:
Show
[
A
]
)
:
Show
[
Maybe
[
A
]]
Definition Classes
MaybeInstances
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
val
optionMaybeIso
:
Isomorphism.<~>
[
Option
,
Maybe
]
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
MaybeFunctions
Inherited from
MaybeInstances
Inherited from
MaybeInstances0
Inherited from
MaybeInstances1
Inherited from
AnyRef
Inherited from
Any
Ungrouped