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