{-# LANGUAGE CPP       #-}
#if MIN_VERSION_base(4,8,0)
{-# LANGUAGE MagicHash #-}
#endif
{-# OPTIONS_GHC -fno-warn-orphans #-}
{-|
Module:      TextShow.Numeric.Natural
Copyright:   (C) 2014-2017 Ryan Scott
License:     BSD-style (see the file LICENSE)
Maintainer:  Ryan Scott
Stability:   Provisional
Portability: GHC

'TextShow' instance for 'Natural'.

/Since: 2/
-}
module TextShow.Numeric.Natural () where

#if MIN_VERSION_base(4,15,0)
import GHC.Exts (Word(..))
import GHC.Num (integerFromNatural)
import GHC.Num.Natural (Natural(..))
#elif MIN_VERSION_base(4,8,0) && defined(MIN_VERSION_integer_gmp)
import GHC.Exts (Word(..))
import GHC.Integer.GMP.Internals (Integer(..))
import GHC.Natural (Natural(..))
#else
import Numeric.Natural.Compat (Natural)
#endif

import TextShow.Classes (TextShow(..))
import TextShow.Data.Integral ()

-- | /Since: 2/
instance TextShow Natural where
#if MIN_VERSION_base(4,15,0)
    showbPrec p (NS w) = showbPrec p (W# w)
    showbPrec p n      = showbPrec p (integerFromNatural n)
#elif MIN_VERSION_base(4,8,0) && defined(MIN_VERSION_integer_gmp)
    showbPrec :: Int -> Natural -> Builder
showbPrec Int
_ (NatS# GmpLimb#
w#)  = Word -> Builder
forall a. TextShow a => a -> Builder
showb (Word -> Builder) -> Word -> Builder
forall a b. (a -> b) -> a -> b
$ GmpLimb# -> Word
W# GmpLimb#
w#
    showbPrec Int
p (NatJ# BigNat
bn)  = Int -> Integer -> Builder
forall a. TextShow a => Int -> a -> Builder
showbPrec Int
p (Integer -> Builder) -> Integer -> Builder
forall a b. (a -> b) -> a -> b
$ BigNat -> Integer
Jp# BigNat
bn
#else
    showbPrec p             = showbPrec p . toInteger
    {-# INLINE showbPrec #-}
#endif