| Symbol | Specification | Kind | Type |
|---|
| . fold ( . ) | either | f | Either[A, B] × (A → C) × (B → C) → C |
| . get | option | pf | Option[A] → A with λ opt. opt ≠ None |
| . getL | either | pf | Either[A, B] → A with λ either. ∃ a. either = Left(a) |
| . getLOrElse ( . ) | either | f | Either[A, B] × A → A |
| . getOrElse ( . ) | option | f | Option[A] × A → A |
| . getR | either | pf | Either[A, B] → B with λ either. either.isRight |
| . getROrElse ( . ) | either | f | Either[A, B] × B → B |
| . isRight | either | p | Either('A, 'B) |
| . map ( . ) | option | f | Option[A] × (A → B) → Option[B] |
| . map ( . ) | either | f | Either[A, B] × (A → C) × (B → D) → Either[C, D] |
| . mapl ( . ) | either | f | Either[A, B] × (A → C) → Either[C, B] |
| . mapr ( . ) | either | f | Either[A, B] × (B → C) → Either[A, C] |
| . o . | option | f | (B → Option[C]) × (A → Option[B]) → A → Option[C] |
| . optl | either | f | Either[A, B] → Option[A] |
| . optr | either | f | Either[A, B] → Option[B] |
| Either | either | s | |
| Left | either | f | A → Either[A, B] |
| None | option | c | Option[A] |
| Option | option | s | |
| Right | either | f | B → Either[A, B] |
| Some | option | f | A → Option[A] |
| a | either | v | A |
| b | either | v | B |
| c | either | v | C |
| d | either | v | D |
| fac | either | v | A → C |
| fbc | either | v | B → C |
| fbd | either | v | B → D |
| oa | either | v | Option[A] |
| ob | either | v | Option[B] |
| oinj | option | p | ('A → Option('B)) |
| osurj | option | p | ('A → Option('B)) |