Add csc, sec, cot, and friends

The package set was upgraded in this commit to get these functions in
the new `purescript-decimals` version, and PureScript was upgraded with
the package set accordingly.

Author: triallax

.github/workflows/ci.yml

@@ -13,7 +13,7 @@ jobs:
 
       - uses: purescript-contrib/setup-purescript@main
         with:
-          purescript: "0.15.0"
+          purescript: "0.15.4"
 
       - uses: actions/setup-node@v3
         with:

packages.dhall

@@ -105,7 +105,7 @@ in  upstream
 -------------------------------
 -}
 let upstream =
-      https://github.com/purescript/package-sets/releases/download/psc-0.15.0-20220509/packages.dhall
-        sha256:d4c1a03606efdbb7bb7745a9d3aa908cb1ba5611921373659a4c7bf1c41c106c
+      https://github.com/purescript/package-sets/releases/download/psc-0.15.4-20220718/packages.dhall
+        sha256:a6d66723b6109f1e3eaf6575910f1c51aa545965ce313024ba329360e2f009ac
 
 in  upstream

src/Data/Quantity/Math.purs

@@ -4,20 +4,32 @@
 -- | to a scalar fails, they will return a `ConversionError`.
 module Data.Quantity.Math
   ( acos
+  , asec
   , asin
+  , acsc
   , atan
+  , acot
   , atan2
   , cos
+  , sec
   , exp
   , ln
   , sin
+  , csc
   , tan
+  , cot
   , sinh
+  , csch
   , cosh
+  , sech
   , tanh
+  , coth
   , asinh
+  , acsch
   , acosh
+  , asech
   , atanh
+  , acoth
   , ceil
   , floor
   , log10
@@ -60,12 +72,21 @@ lift2 f q1 q2 = do
 acos ∷ Quantity → Result
 acos = lift Decimal.acos
 
+asec ∷ Quantity → Result
+asec = lift Decimal.asec
+
 asin ∷ Quantity → Result
 asin = lift Decimal.asin
 
+acsc ∷ Quantity → Result
+acsc = lift Decimal.acsc
+
 atan ∷ Quantity → Result
 atan = lift Decimal.atan
 
+acot ∷ Quantity → Result
+acot = lift Decimal.acot
+
 atan2 ∷ Quantity → Quantity → Result
 atan2 x y = removeDims <$> lift2 Decimal.atan2 x y
   where
@@ -74,6 +95,9 @@ atan2 x y = removeDims <$> lift2 Decimal.atan2 x y
 cos ∷ Quantity → Result
 cos = lift Decimal.cos
 
+sec ∷ Quantity → Result
+sec = lift Decimal.sec
+
 exp ∷ Quantity → Result
 exp = lift Decimal.exp
 
@@ -83,27 +107,51 @@ ln = lift Decimal.ln
 sin ∷ Quantity → Result
 sin = lift Decimal.sin
 
+csc ∷ Quantity → Result
+csc = lift Decimal.csc
+
 tan ∷ Quantity → Result
 tan = lift Decimal.tan
 
+cot ∷ Quantity → Result
+cot = lift Decimal.cot
+
 sinh ∷ Quantity → Result
 sinh = lift Decimal.sinh
 
+csch ∷ Quantity → Result
+csch = lift Decimal.csch
+
 cosh ∷ Quantity → Result
 cosh = lift Decimal.cosh
 
+sech ∷ Quantity → Result
+sech = lift Decimal.sech
+
 tanh ∷ Quantity → Result
 tanh = lift Decimal.tanh
 
+coth ∷ Quantity → Result
+coth = lift Decimal.coth
+
 asinh ∷ Quantity → Result
 asinh = lift Decimal.asinh
 
+acsch ∷ Quantity → Result
+acsch = lift Decimal.acsch
+
 acosh ∷ Quantity → Result
 acosh = lift Decimal.acosh
 
+asech ∷ Quantity → Result
+asech = lift Decimal.asech
+
 atanh ∷ Quantity → Result
 atanh = lift Decimal.atanh
 
+acoth ∷ Quantity → Result
+acoth = lift Decimal.acoth
+
 ceil ∷ Quantity → Result
 ceil = lift Decimal.ceil
 

src/Quantities.purs

@@ -24,9 +24,10 @@ import Data.Quantity (ConversionError(..), Quantity, abs, approximatelyEqual, as
                       isFinite, pow, prettyPrint, prettyPrint', qAdd, qDivide, qMultiply,
                       qNegate, qSubtract, quantity, quantity', scalar, scalar', showResult,
                       sqrt, toScalar, toScalar', toStandard, (.*), (⊕), (⊖), (⊗), (⊘)) as DQ
-import Data.Quantity.Math (acos, acosh, asin, asinh, atan, atan2, atanh, ceil, cos, cosh, e,
-                           exp, factorial, floor, gamma, ln, log10, max, max2, mean, min,
-                           min2, modulo, pi, round, sin, sinh, tan, tanh, tau, phi) as DQM
+import Data.Quantity.Math (acos, acosh, acot, acoth, acsc, acsch, asec, asech, asin, asinh, atan,
+                           atan2, atanh, ceil, cos, cosh, cot, coth, csc, csch, e, exp, factorial,
+                           floor, gamma, ln, log10, max, max2, mean, min, min2, modulo, pi, round,
+                           sec, sech, sin, sinh, tan, tanh, tau, phi) as DQM
 import Data.Quantity.Physics (avogadroConstant, electronCharge, electronMass, g0,
                               gravitationalConstant, kB, planckConstant, protonMass,
                               idealGasConstant, speedOfLight, µ0, µB, α, ε0, ℏ) as DQP