basement-0.0.16: Foundation scrap box of array & string
Safe HaskellNone
LanguageHaskell2010

Basement.Compat.Natural

Documentation

data Natural #

Instances

Instances details
PrintfArg Natural 
Instance details

Defined in Text.Printf

Methods

formatArg :: Natural -> FieldFormatter

parseFormat :: Natural -> ModifierParser

Integral Natural Source # 
Instance details

Defined in Basement.Compat.NumLiteral

NormalForm Natural Source # 
Instance details

Defined in Basement.NormalForm

Methods

toNormalForm :: Natural -> () Source #

Additive Natural Source # 
Instance details

Defined in Basement.Numerical.Additive

IDivisible Natural Source # 
Instance details

Defined in Basement.Numerical.Multiplicative

Multiplicative Natural Source # 
Instance details

Defined in Basement.Numerical.Multiplicative

IsIntegral Natural Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural Natural Source # 
Instance details

Defined in Basement.Numerical.Number

Subtractive Natural Source # 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Natural 
Instance details

Defined in Basement.Numerical.Subtractive

Bits Natural 
Instance details

Defined in GHC.Internal.Bits

Data Natural 
Instance details

Defined in GHC.Internal.Data.Data

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Natural -> c Natural #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Natural #

toConstr :: Natural -> Constr #

dataTypeOf :: Natural -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Natural) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Natural) #

gmapT :: (forall b. Data b => b -> b) -> Natural -> Natural #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Natural -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Natural -> r #

gmapQ :: (forall d. Data d => d -> u) -> Natural -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Natural -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Natural -> m Natural #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Natural -> m Natural #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Natural -> m Natural #

Enum Natural 
Instance details

Defined in GHC.Internal.Enum

Num Natural 
Instance details

Defined in GHC.Internal.Num

Read Natural 
Instance details

Defined in GHC.Internal.Read

Methods

readsPrec :: Int -> ReadS Natural

readList :: ReadS [Natural]

readPrec :: ReadPrec Natural

readListPrec :: ReadPrec [Natural]

Integral Natural 
Instance details

Defined in GHC.Internal.Real

Real Natural 
Instance details

Defined in GHC.Internal.Real

Methods

toRational :: Natural -> Rational

Show Natural 
Instance details

Defined in GHC.Internal.Show

Methods

showsPrec :: Int -> Natural -> ShowS #

show :: Natural -> String #

showList :: [Natural] -> ShowS #

Eq Natural 
Instance details

Defined in GHC.Num.Natural

Methods

(==) :: Natural -> Natural -> Bool #

(/=) :: Natural -> Natural -> Bool #

Ord Natural 
Instance details

Defined in GHC.Num.Natural

KnownNat n => HasResolution (n :: Nat) 
Instance details

Defined in Data.Fixed

Methods

resolution :: p n -> Integer

IsNatural n => From n Natural Source # 
Instance details

Defined in Basement.From

Methods

from :: n -> Natural Source #

IntegralDownsize Integer Natural Source # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Natural Word16 Source # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Natural Word32 Source # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Natural Word64 Source # 
Instance details

Defined in Basement.IntegralConv

IntegralDownsize Natural Word8 Source # 
Instance details

Defined in Basement.IntegralConv

IsNatural a => IntegralUpsize a Natural Source # 
Instance details

Defined in Basement.IntegralConv

TestCoercion SNat 
Instance details

Defined in GHC.Internal.TypeNats

Methods

testCoercion :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (Coercion a b)

TestEquality SNat 
Instance details

Defined in GHC.Internal.TypeNats

Methods

testEquality :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (a :~: b)

type Difference Natural Source # 
Instance details

Defined in Basement.Numerical.Subtractive

type Compare (a :: Natural) (b :: Natural) 
Instance details

Defined in GHC.Internal.Data.Type.Ord

type Compare (a :: Natural) (b :: Natural) = CmpNat a b