scalaz-core/scalaz.std/OptionInstances

OptionInstances

trait OptionInstances extends OptionInstances0
class Object
trait Matchable
class Any
object Scalaz
object option

Implicits

Implicits

implicit
def optionFirst[A]: Monoid[FirstOption[A]] & Band[FirstOption[A]]
implicit
def optionFirstOrder[A : Order]: Order[FirstOption[A]]
implicit
def optionFirstShow[A : Show]: Show[FirstOption[A]]
implicit
val optionInstance: Traverse[Option] & MonadPlus[Option] & Alt[Option] & BindRec[Option] & Cozip[Option] & Zip[Option] & Unzip[Option] & Align[Option] & IsEmpty[Option] & Cobind[Option] & Optional[Option]
implicit
def optionLast[A]: Monoid[LastOption[A]] & Band[LastOption[A]]
implicit
def optionLastOrder[A : Order]: Order[LastOption[A]]
implicit
def optionLastShow[A : Show]: Show[LastOption[A]]
implicit
def optionMax[A](implicit o: Order[A]): Monoid[MaxOption[A]] & Band[MaxOption[A]]
implicit
def optionMaxOrder[A : Order]: Order[MaxOption[A]]
implicit
def optionMaxShow[A : Show]: Show[MaxOption[A]]
implicit
def optionMin[A](implicit o: Order[A]): Monoid[MinOption[A]] & Band[MinOption[A]]
implicit
def optionMinOrder[A : Order]: Order[MinOption[A]]
implicit
def optionMinShow[A : Show]: Show[MinOption[A]]
implicit
def optionMonoid[A : Semigroup]: Monoid[Option[A]]
implicit
def optionOrder[A](implicit A0: Order[A]): Order[Option[A]]

Add None as an element less than all As.

Add None as an element less than all As.

implicit
def optionShow[A : Show]: Show[Option[A]]

Inherited implicits

implicit
def optionBand[A : Band]: Band[Option[A]]
Inherited from
OptionInstances1
implicit
def optionEqual[A](implicit A0: Equal[A]): Equal[Option[A]]
Inherited from
OptionInstances0
implicit
def optionSemiLattice[A : SemiLattice]: SemiLattice[Option[A]]
Inherited from
OptionInstances0