Add (from|to)(Z|Q) unicode aliases

src/Numeric/Literal/Integer.hs

@@ -3,7 +3,9 @@
 -- @since 0.1
 module Numeric.Literal.Integer
   ( FromInteger (..),
+    fromℤ,
     ToInteger (..),
+    toℤ,
   )
 where
 
@@ -37,6 +39,12 @@ class FromInteger a where
   -- | @since 0.1
   fromZ :: (HasCallStack) => Integer -> a
 
+-- | Unicode alias for 'fromZ', with U+2114.
+--
+-- @since 0.1
+fromℤ :: (FromInteger a) => Integer -> a
+fromℤ = fromZ
+
 -- | @since 0.1
 instance FromInteger Double where
   fromZ = fromInteger
@@ -134,6 +142,12 @@ class ToInteger a where
   -- | @since 0.1
   toZ :: (HasCallStack) => a -> Integer
 
+-- | Unicode alias for 'toZ', with U+2114.
+--
+-- @since 0.1
+toℤ :: (ToInteger a) => a -> Integer
+toℤ = toZ
+
 -- | @since 0.1
 instance ToInteger Int where
   toZ = toInteger

src/Numeric/Literal/Rational.hs

@@ -3,7 +3,9 @@
 -- @since 0.1
 module Numeric.Literal.Rational
   ( FromRational (..),
+    fromℚ,
     ToRational (..),
+    toℚ,
   )
 where
 
@@ -37,6 +39,12 @@ class FromRational a where
   -- | @since 0.1
   fromQ :: (HasCallStack) => Rational -> a
 
+-- | Unicode alias for 'fromQ', with U+211A.
+--
+-- @since 0.1
+fromℚ :: (FromRational a) => Rational -> a
+fromℚ = fromQ
+
 -- | @since 0.1
 instance FromRational Double where
   fromQ = fromRational
@@ -72,6 +80,12 @@ class ToRational a where
   -- | @since 0.1
   toQ :: (HasCallStack) => a -> Rational
 
+-- | Unicode alias for 'toQ', with U+211A.
+--
+-- @since 0.1
+toℚ :: (ToRational a) => a -> Rational
+toℚ = toQ
+
 -- | @since 0.1
 instance ToRational Double where
   toQ = toRational