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) |
-
-
Save justinhj/c67f6a239a0670bec79551628d9befba 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