Prelude.Unicode
- Package
- purescript-unicode-prelude
- Repository
- vyorkin/purescript-unicode-prelude
Re-exports from Control.Apply.Unicode
#(⊛) Source
Operator alias for Control.Apply.apply (left-associative / precedence 4)
(⊛) = '<*>' U+229B, CIRCLED ASTERISK OPERATOR
Re-exports from Control.Bind.Unicode
#(⤜) Source
Operator alias for Control.Bind.bind (left-associative / precedence 1)
(⤜) = ('>>=') U+291C, RIGHTWARDS DOUBLE ARROW-TAIL
#(⤛) Source
Operator alias for Control.Bind.bindFlipped (right-associative / precedence 1)
(⤛) = ('>>=') U+291B, LEFTWARDS DOUBLE ARROW-TAIL
#(↣) Source
Operator alias for Control.Bind.composeKleisli (right-associative / precedence 1)
(↣) = ('>=>') U+21A3, RIGHTWARDS ARROW WITH TAIL
#(↢) Source
Operator alias for Control.Bind.composeKleisliFlipped (right-associative / precedence 1)
(↢) = ('<=<') U+21A2, LEFTWARDS ARROW WITH TAIL
Re-exports from Control.Semigroupoid.Unicode
#(⋙) Source
Operator alias for Control.Semigroupoid.composeFlipped (right-associative / precedence 9)
(⋙) = ('>>>') U+22D9, VERY MUCH GREATER-THAN
#(⋘) Source
Operator alias for Control.Semigroupoid.compose (right-associative / precedence 9)
(⋘) = ('<<<') U+22D8, VERY MUCH LESS-THAN
#(∘) Source
Operator alias for Control.Semigroupoid.compose (right-associative / precedence 9)
(∘) = ('.') U+2218, RING OPERATOR
Re-exports from Data.Eq.Unicode
#(≢) Source
Operator alias for Data.Eq.notEq (non-associative / precedence 4)
(≢) = ('/=') U+2262, NOT IDENTICAL TO
#(≡) Source
Operator alias for Data.Eq.eq (non-associative / precedence 4)
(≡) = ('==') U+2261, IDENTICAL TO
#(≠) Source
Operator alias for Data.Eq.notEq (non-associative / precedence 4)
(≠) = ('/=') U+2260, NOT EQUAL TO
Re-exports from Data.EuclideanRing.Unicode
#(∤) Source
Operator alias for Data.EuclideanRing.Unicode.notDivides (non-associative / precedence 4)
a ∤ b = not (a ∣ b) U+2224, DOES NOT DIVIDE
#(∣) Source
Operator alias for Data.EuclideanRing.Unicode.divides (non-associative / precedence 4)
a ∣ b = mod a b == 0 U+2223, DIVIDES
#(÷) Source
Operator alias for Data.EuclideanRing.div (left-associative / precedence 7)
(÷) = ('/') U+00F7, DIVISION SIGN
Re-exports from Data.Functor.Unicode
#(⊙) Source
Operator alias for Data.Functor.map (left-associative / precedence 4)
(⊙) = ('<$>') U+2299, CIRCLED DOT OPERATOR
Re-exports from Data.HeytingAlgebra.Unicode
#(⊽) Source
Operator alias for Data.HeytingAlgebra.Unicode.nor (right-associative / precedence 3)
a ⊽ b = not (a ∨ b) U+22bd, NOR
#(⊼) Source
Operator alias for Data.HeytingAlgebra.Unicode.nand (right-associative / precedence 3)
a ⊼ b = not (a ∧ b) U+22bc, NAND
#(⊻) Source
Operator alias for Data.HeytingAlgebra.Unicode.xor (right-associative / precedence 3)
a ⊻ b = (a ∨ b) ∧ not (a ∧ b) U+22BB, XOR
#(∨) Source
Operator alias for Data.HeytingAlgebra.disj (non-associative / precedence 2)
(∨) = ('||') U+2228, LOGICAL OR
#(∧) Source
Operator alias for Data.HeytingAlgebra.conj (non-associative / precedence 3)
(∧) = ('&&') U+2227, LOGICAL AND
Re-exports from Data.NaturalTransformation.Unicode
#type (⟿) Source
Operator alias for Data.NaturalTransformation.NaturalTransformation (right-associative / precedence 4)
Re-exports from Data.Ord.Unicode
#(≯) Source
Operator alias for Data.Ord.lessThanOrEq (left-associative / precedence 4)
(≯) = ('<=') U+226F, NOT GREATER-THAN
#(≮) Source
Operator alias for Data.Ord.greaterThanOrEq (left-associative / precedence 4)
(≮) = ('>=') U+226E, NOT LESS-THAN
#(≥) Source
Operator alias for Data.Ord.greaterThanOrEq (left-associative / precedence 4)
(≥) = ('>=') U+2265, GREATER-THAN OR EQUAL TO
#(≤) Source
Operator alias for Data.Ord.lessThanOrEq (left-associative / precedence 4)
(≤) = ('<=') U+2264, LESS-THAN OR EQUAL TO