≡

• Effekt Library
• option
• Option
• None
• Some
• isDefined
• isEmpty
• orElse
• getOrElse
• map
• foreach
• value
• option
• option
• undefinedToOption
• show
• show
• show
• show
• println
• println
• println

• option
Jump to source: libraries/common/option.effekt
Example usage: examples/stdlib/option
• Option [A]
• None
• Some (value: A)
• isDefined [A] (self: Option[A]): Bool / {}
• isEmpty [A] (self: Option[A]): Bool / {}
• orElse [A] (self: Option[A]) { that: => Option[A] }: Option[A] / {}
• getOrElse [A] (self: Option[A]) { that: => A }: A / {}
• map [A, B] (self: Option[A]) { f: (A) => B }: Option[B] / {}
• foreach [A] (self: Option[A]) { f: (A) => Unit }: Unit / {}
• value [A] (self: Option[A]): A / {Exception[MissingValue]}
• option [A] { p: => A / {Exception[MissingValue]} }: Option[A] / {}
• option [A, E] (proxy: on[E]) { p: => A / {Exception[E]} }: Option[A] / {}
• undefinedToOption [A] (value: A): Option[A] / {}
• show [A] (o: Option[A]) { showA: (A) => String }: String / {}
• show (o: Option[Int]): String / {}
• show (o: Option[Double]): String / {}
• show (o: Option[Bool]): String / {}
• println (o: Option[Int]): Unit / {}
• println (o: Option[Double]): Unit / {}
• println (o: Option[Bool]): Unit / {}