Scalaz | |||
Symbol | Code | Ascii | Example |
---|---|---|---|
η | 951 | pure | 1.η[List] |
μ | 03BC | join | List(List(1,2,3), nil, List(5,6,7)) μ |
∅ | 2205 | zero | ∅[Int] |
<∅> | empty | <∅>[Option, Int] |
|
∙ | 2219 | contramap | ((_:String).length ∙ (_:Int).toString ∙ ((_:Int) + 6))(5) |
∘ | 2218 | map | (((_:Int) + 6) ∘ (_:Int).toString ∘ (_:String).length)(5) |
∘∘ | map2 | (List(Some(7), None, Some(8)) ∘∘ (1 + (_: Int))) |
|
☆ | 2606 | kleisli | val k = ☆((n: List[Int]) => if(n.isEmpty) None else Some(n ∘ (_.shows.reverse))) |
★ | 2605 | cokleisli | val sum = ★((m: NonEmptyList[Int]) => m.sum) |
σ | 963 | dual | "1".σ ⊹ "2".σ |
⊛ | 229B | |@| | (List(1,2) ⊛ List(3,4)){_ + _} |
∃ | 2203 | any | List(1,2,3) ∃ (_ < 2) |
∀ | 2200 | all | List(1,2,3) ∀ (_ > 0) |
↦ | 21A6 | traverse | List(1,2,3) ↦ (_.some) |
ʐ | 0290 | zip | Stream(1,2,3).ʐ |
⋙ | 22D9 | >>> | (((_:Int) + 5) &&& ((_:Int) * 2)) ⋙ { case(x,y) => x + y } |
⋘ | 22D8 | <<< | ((_:String).toInt) ⋘ ((_:Int).toString) |
⊥ | 22A5 | undefined | lazy val error = ⊥ |
∗ | 2217 | flatMap | some(6) ∗ {case x => some(x+1)} |
π | 03C0 | val radians = ((_:Int) * π / 180, (_:Int) * 360 / π2) |
|
π2 | |||
× | 00D7 | ×[Int,Int](5) |
|
⊹ | 8889 | |+| | some(1) ⊹ none |
∏ | 220f | multiplication | (7 ∏) ⊹ (8 ∏) |
≟ | 8799 | === | "" ≟ 5 |
≠ | 8800 | /== | "" ≠ 5 |
∋ | 220B | contains | List(1,2,3) ∋ 3 |
∈ | 2208 | contains | 50 ∈: Stream.range(0, 100) |
∧ | 2227 | AND | true ∧ false |
∨ | 2228 | OR | true ∨ true |
⊽ | 22BD | NOR | false ⊽ true |
⊼ | 22BC | NAND | false ⊼ false |
→ | 2192 | Conditional | true → true |
⇐ | 21D0 | Inverse Conditional | false ⇐ true |
⇏ | 21CF | Negational of Conditional | false ⇏ true |
⇍ | 21CD | Negation of Inverse Conditional | false ⇍ true |
Scala | |||
⇒ | 21D2 | => | .map { case(x,y) ⇒ x * y } |
← | 2190 | <- | for { x ← res2 } yield (x*x) |
→ | 2192 | -> | List(1 → 2, 2 → 3, 3 → 4) |
Last active
October 10, 2020 18:26
-
-
Save folone/6089236 to your computer and use it in GitHub Desktop.
Table of unicode operators in scalaz 6.0.x
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment