-- | Provides the 'Internal.FromReal' and 'Internal.ToReal' typeclasses.
--
-- @since 0.1
module Numeric.Convert.Real
  ( Internal.FromReal (..),
    Internal.ToReal (..),

    -- * Aliases
    ℝ,
    Fromℝ,
    fromℝ,
    Toℝ,
    toℝ,
    AsReal,
    Asℝ,
  )
where

import GHC.Stack (HasCallStack)
import Numeric.Convert.Internal qualified as Internal

-- | Unicode alias for 'Double', with U+211D.
--
-- @since 0.1
type ℝ = Double

-- | Unicode alias for 'Internal.FromReal', with U+211D.
--
-- @since 0.1
type Fromℝ = Internal.FromReal

-- | Unicode alias for 'Internal.fromR', with U+211D.
--
-- @since 0.1
fromℝ :: (Fromℝ a, HasCallStack) => ℝ -> a
fromℝ :: forall a. (Fromℝ a, HasCallStack) => ℝ -> a
fromℝ = ℝ -> a
forall a. (Fromℝ a, HasCallStack) => ℝ -> a
Internal.fromR

-- | Unicode alias for 'Internal.ToReal', with U+211D.
--
-- @since 0.1
type Toℝ = Internal.ToReal

-- | Unicode alias for 'Internal.toR', with U+211D.
--
-- @since 0.1
toℝ :: (HasCallStack, Toℝ a) => a -> ℝ
toℝ :: forall a. (HasCallStack, Toℝ a) => a -> ℝ
toℝ = a -> ℝ
forall a. (ToReal a, HasCallStack) => a -> ℝ
Internal.toR

-- | Alias for 'Internal.FromReal' and 'Internal.ToReal'.
--
-- @since 0.1
type AsReal a = (Internal.FromReal a, Internal.ToReal a)

-- | Alias for 'Fromℝ' and 'Toℝ'.
--
-- @since 0.1
type Asℝ a = (Fromℝ a, Toℝ a)