Module

Data.EuclideanRing.Unicode

Package: purescript-unicode-prelude
Repository: vyorkin/purescript-unicode-prelude

#(÷) Source

Operator alias for Data.EuclideanRing.div (left-associative / precedence 7)

(÷) = ('/') U+00F7, DIVISION SIGN

#(∣) 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.Unicode.notDivides (non-associative / precedence 4)

a ∤ b = not (a ∣ b) U+2224, DOES NOT DIVIDE

#divides Source

divides :: forall α. Eq α => EuclideanRing α => α -> α -> Boolean

#notDivides Source

notDivides :: forall α. Eq α => EuclideanRing α => α -> α -> Boolean

Modules: Control.Apply.Unicode; Control.Bind.Unicode; Control.Semigroupoid.Unicode; Data.Eq.Unicode; Data.EuclideanRing.Unicode; Data.Functor.Unicode; Data.HeytingAlgebra.Unicode; Data.NaturalTransformation.Unicode; Data.Ord.Unicode; Data.Semigroup.Unicode; Data.Semiring.Unicode; Prelude.Unicode