Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Fortran.Repr.Compat.Natural

Description

Compatibility definitions for working with term and type level natural numbers across multiple GHC versions.

Prior to GHC 9.2:

Term level natural numbers: Natural :: Type
Type level natural numbers: n :: Nat

As of GHC 9.2:

Term level natural numbers: Natural :: Type
Type level natural numbers: n :: Natural

To avoid issues, we export a NaturalK kind that will refer to the correct definition for your platform.

Synopsis

data Natural
type NaturalK = Natural

Documentation

data Natural #

Natural number

Invariant: numbers <= 0xffffffffffffffff use the NS constructor

Instances

Instances details

Out Natural Source #
Instance details Defined in Text.PrettyPrint.GenericPretty.Orphans Methods docPrec :: Int -> Natural -> Doc doc :: Natural -> Doc docList :: [Natural] -> Doc
Data Natural	Since: base-4.8.0.0
Instance details Defined in 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 #
Bits Natural	Since: base-4.8.0
Instance details Defined in GHC.Bits Methods (.&.) :: Natural -> Natural -> Natural # (.\|.) :: Natural -> Natural -> Natural # xor :: Natural -> Natural -> Natural # complement :: Natural -> Natural # shift :: Natural -> Int -> Natural # rotate :: Natural -> Int -> Natural # zeroBits :: Natural # bit :: Int -> Natural # setBit :: Natural -> Int -> Natural # clearBit :: Natural -> Int -> Natural # complementBit :: Natural -> Int -> Natural # testBit :: Natural -> Int -> Bool # bitSizeMaybe :: Natural -> Maybe Int # bitSize :: Natural -> Int # isSigned :: Natural -> Bool # shiftL :: Natural -> Int -> Natural # unsafeShiftL :: Natural -> Int -> Natural # shiftR :: Natural -> Int -> Natural # unsafeShiftR :: Natural -> Int -> Natural # rotateL :: Natural -> Int -> Natural # rotateR :: Natural -> Int -> Natural # popCount :: Natural -> Int #
Enum Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Enum Methods succ :: Natural -> Natural # pred :: Natural -> Natural # toEnum :: Int -> Natural # fromEnum :: Natural -> Int # enumFrom :: Natural -> [Natural] # enumFromThen :: Natural -> Natural -> [Natural] # enumFromTo :: Natural -> Natural -> [Natural] # enumFromThenTo :: Natural -> Natural -> Natural -> [Natural] #
Ix Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Ix Methods range :: (Natural, Natural) -> [Natural] # index :: (Natural, Natural) -> Natural -> Int # unsafeIndex :: (Natural, Natural) -> Natural -> Int # inRange :: (Natural, Natural) -> Natural -> Bool # rangeSize :: (Natural, Natural) -> Int # unsafeRangeSize :: (Natural, Natural) -> Int #
Num Natural	Note that `Natural`'s `Num` instance isn't a ring: no element but 0 has an additive inverse. It is a semiring though. Since: base-4.8.0.0
Instance details Defined in GHC.Num Methods (+) :: Natural -> Natural -> Natural # (-) :: Natural -> Natural -> Natural # (*) :: Natural -> Natural -> Natural # negate :: Natural -> Natural # abs :: Natural -> Natural # signum :: Natural -> Natural # fromInteger :: Integer -> Natural #
Read Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Natural # readList :: ReadS [Natural] # readPrec :: ReadPrec Natural # readListPrec :: ReadPrec [Natural] #
Integral Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Real Methods quot :: Natural -> Natural -> Natural # rem :: Natural -> Natural -> Natural # div :: Natural -> Natural -> Natural # mod :: Natural -> Natural -> Natural # quotRem :: Natural -> Natural -> (Natural, Natural) # divMod :: Natural -> Natural -> (Natural, Natural) # toInteger :: Natural -> Integer #
Real Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Real Methods toRational :: Natural -> Rational #
Show Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Show Methods showsPrec :: Int -> Natural -> ShowS # show :: Natural -> String # showList :: [Natural] -> ShowS #
Binary Natural	Since: binary-0.7.3.0
Instance details Defined in Data.Binary.Class Methods put :: Natural -> Put # get :: Get Natural # putList :: [Natural] -> Put #
NFData Natural	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Natural -> () #
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 Methods compare :: Natural -> Natural -> Ordering # (<) :: Natural -> Natural -> Bool # (<=) :: Natural -> Natural -> Bool # (>) :: Natural -> Natural -> Bool # (>=) :: Natural -> Natural -> Bool # max :: Natural -> Natural -> Natural # min :: Natural -> Natural -> Natural #
Hashable Natural
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Natural -> Int hash :: Natural -> Int
UniformRange Natural
Instance details Defined in System.Random.Internal Methods uniformRM :: StatefulGen g m => (Natural, Natural) -> g -> m Natural
KnownNat n => HasResolution (n :: Nat)	For example, `Fixed 1000` will give you a `Fixed` with a resolution of 1000.
Instance details Defined in Data.Fixed Methods resolution :: p n -> Integer #
Lift Natural
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Quote m => Natural -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Natural -> Code m Natural #
SingI1 DivSym1
Instance details Defined in GHC.TypeLits.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (DivSym1 x)
SingI1 ModSym1
Instance details Defined in GHC.TypeLits.Singletons Methods liftSing :: forall (x :: k1). Sing x -> Sing (ModSym1 x)
SingI1 (^@#@$$)
Instance details Defined in GHC.TypeLits.Singletons.Internal Methods liftSing :: forall (x :: k1). Sing x -> Sing ((^@#@$$) x)
SingI1 ((<=?@#@$$) :: Natural -> TyFun Natural Bool -> Type)
Instance details Defined in GHC.TypeLits.Singletons.Internal Methods liftSing :: forall (x :: k1). Sing x -> Sing ((<=?@#@$$) x)
SingI DivSym0
Instance details Defined in GHC.TypeLits.Singletons Methods sing :: Sing DivSym0
SingI ModSym0
Instance details Defined in GHC.TypeLits.Singletons Methods sing :: Sing ModSym0
SingI (^@#@$)
Instance details Defined in GHC.TypeLits.Singletons.Internal Methods sing :: Sing (^@#@$)
SingI Log2Sym0
Instance details Defined in GHC.TypeLits.Singletons Methods sing :: Sing Log2Sym0
SingI NatToCharSym0
Instance details Defined in GHC.TypeLits.Singletons Methods sing :: Sing NatToCharSym0
SingI CharToNatSym0
Instance details Defined in GHC.TypeLits.Singletons Methods sing :: Sing CharToNatSym0
SuppressUnusedWarnings KnownNatSym0
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings DivSym0
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings ModSym0
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings QuotSym0
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings RemSym0
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings (^@#@$)
Instance details Defined in GHC.TypeLits.Singletons.Internal Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings DivModSym0
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings QuotRemSym0
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings Log2Sym0
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings NatToCharSym0
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings CharToNatSym0
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SingI ((<=?@#@$) :: TyFun Natural (Natural ~> Bool) -> Type)
Instance details Defined in GHC.TypeLits.Singletons.Internal Methods sing :: Sing (<=?@#@$)
SingI x => SingI (DivSym1 x :: TyFun Natural Natural -> Type)
Instance details Defined in GHC.TypeLits.Singletons Methods sing :: Sing (DivSym1 x)
SingI x => SingI (ModSym1 x :: TyFun Natural Natural -> Type)
Instance details Defined in GHC.TypeLits.Singletons Methods sing :: Sing (ModSym1 x)
SingI x => SingI ((^@#@$$) x :: TyFun Natural Natural -> Type)
Instance details Defined in GHC.TypeLits.Singletons.Internal Methods sing :: Sing ((^@#@$$) x)
SuppressUnusedWarnings (DivSym1 a6989586621679519128 :: TyFun Natural Natural -> Type)
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings (ModSym1 a6989586621679519570 :: TyFun Natural Natural -> Type)
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings (QuotSym1 a6989586621679520167 :: TyFun Natural Natural -> Type)
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings (RemSym1 a6989586621679520156 :: TyFun Natural Natural -> Type)
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings ((^@#@$$) a6989586621679503562 :: TyFun Natural Natural -> Type)
Instance details Defined in GHC.TypeLits.Singletons.Internal Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings (DivModSym1 a6989586621679520185 :: TyFun Natural (Natural, Natural) -> Type)
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SuppressUnusedWarnings (QuotRemSym1 a6989586621679520178 :: TyFun Natural (Natural, Natural) -> Type)
Instance details Defined in GHC.TypeLits.Singletons Methods suppressUnusedWarnings :: ()
SingI x => SingI ((<=?@#@$$) x :: TyFun Natural Bool -> Type)
Instance details Defined in GHC.TypeLits.Singletons.Internal Methods sing :: Sing ((<=?@#@$$) x)
type Demote Natural
Instance details Defined in GHC.TypeLits.Singletons.Internal type Demote Natural = Natural
type Sing
Instance details Defined in GHC.TypeLits.Singletons.Internal type Sing = SNat
type Compare (a :: Natural) (b :: Natural)
Instance details Defined in Data.Type.Ord type Compare (a :: Natural) (b :: Natural) = CmpNat a b
type (arg :: Natural) /= (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Natural) /= (arg1 :: Natural) = Apply (Apply (TFHelper_6989586621679141921Sym0 :: TyFun Natural (Natural ~> Bool) -> Type) arg) arg1
type (x :: Natural) == (y :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (x :: Natural) == (y :: Natural) = DefaultEq x y
type (arg :: Natural) < (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Natural) < (arg1 :: Natural) = Apply (Apply (TFHelper_6989586621679180873Sym0 :: TyFun Natural (Natural ~> Bool) -> Type) arg) arg1
type (arg :: Natural) <= (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Natural) <= (arg1 :: Natural) = Apply (Apply (TFHelper_6989586621679180889Sym0 :: TyFun Natural (Natural ~> Bool) -> Type) arg) arg1
type (arg :: Natural) > (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Natural) > (arg1 :: Natural) = Apply (Apply (TFHelper_6989586621679180905Sym0 :: TyFun Natural (Natural ~> Bool) -> Type) arg) arg1
type (arg :: Natural) >= (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Natural) >= (arg1 :: Natural) = Apply (Apply (TFHelper_6989586621679180921Sym0 :: TyFun Natural (Natural ~> Bool) -> Type) arg) arg1
type Compare (a :: Natural) (b :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Compare (a :: Natural) (b :: Natural) = CmpNat a b
type Max (arg :: Natural) (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Max (arg :: Natural) (arg1 :: Natural) = Apply (Apply (Max_6989586621679180937Sym0 :: TyFun Natural (Natural ~> Natural) -> Type) arg) arg1
type Min (arg :: Natural) (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Min (arg :: Natural) (arg1 :: Natural) = Apply (Apply (Min_6989586621679180953Sym0 :: TyFun Natural (Natural ~> Natural) -> Type) arg) arg1
type Apply KnownNatSym0 (a6989586621679518181 :: Nat)
Instance details Defined in GHC.TypeLits.Singletons type Apply KnownNatSym0 (a6989586621679518181 :: Nat) = KnownNat a6989586621679518181
type Apply Log2Sym0 (a6989586621679518866 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply Log2Sym0 (a6989586621679518866 :: Natural) = Log2 a6989586621679518866
type Apply NatToCharSym0 (a6989586621679522289 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply NatToCharSym0 (a6989586621679522289 :: Natural) = NatToChar a6989586621679522289
type Apply CharToNatSym0 (a6989586621679522060 :: Char)
Instance details Defined in GHC.TypeLits.Singletons type Apply CharToNatSym0 (a6989586621679522060 :: Char) = CharToNat a6989586621679522060
type Apply (DivSym1 a6989586621679519128 :: TyFun Natural Natural -> Type) (a6989586621679519129 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply (DivSym1 a6989586621679519128 :: TyFun Natural Natural -> Type) (a6989586621679519129 :: Natural) = Div a6989586621679519128 a6989586621679519129
type Apply (ModSym1 a6989586621679519570 :: TyFun Natural Natural -> Type) (a6989586621679519571 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply (ModSym1 a6989586621679519570 :: TyFun Natural Natural -> Type) (a6989586621679519571 :: Natural) = Mod a6989586621679519570 a6989586621679519571
type Apply (QuotSym1 a6989586621679520167 :: TyFun Natural Natural -> Type) (a6989586621679520168 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply (QuotSym1 a6989586621679520167 :: TyFun Natural Natural -> Type) (a6989586621679520168 :: Natural) = Quot a6989586621679520167 a6989586621679520168
type Apply (RemSym1 a6989586621679520156 :: TyFun Natural Natural -> Type) (a6989586621679520157 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply (RemSym1 a6989586621679520156 :: TyFun Natural Natural -> Type) (a6989586621679520157 :: Natural) = Rem a6989586621679520156 a6989586621679520157
type Apply ((^@#@$$) a6989586621679503562 :: TyFun Natural Natural -> Type) (a6989586621679503563 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Apply ((^@#@$$) a6989586621679503562 :: TyFun Natural Natural -> Type) (a6989586621679503563 :: Natural) = a6989586621679503562 ^ a6989586621679503563
type Apply DivSym0 (a6989586621679519128 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply DivSym0 (a6989586621679519128 :: Natural) = DivSym1 a6989586621679519128
type Apply ModSym0 (a6989586621679519570 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply ModSym0 (a6989586621679519570 :: Natural) = ModSym1 a6989586621679519570
type Apply QuotSym0 (a6989586621679520167 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply QuotSym0 (a6989586621679520167 :: Natural) = QuotSym1 a6989586621679520167
type Apply RemSym0 (a6989586621679520156 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply RemSym0 (a6989586621679520156 :: Natural) = RemSym1 a6989586621679520156
type Apply (^@#@$) (a6989586621679503562 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Apply (^@#@$) (a6989586621679503562 :: Natural) = (^@#@$$) a6989586621679503562
type Apply DivModSym0 (a6989586621679520185 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply DivModSym0 (a6989586621679520185 :: Natural) = DivModSym1 a6989586621679520185
type Apply QuotRemSym0 (a6989586621679520178 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply QuotRemSym0 (a6989586621679520178 :: Natural) = QuotRemSym1 a6989586621679520178
type Apply (DivModSym1 a6989586621679520185 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679520186 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply (DivModSym1 a6989586621679520185 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679520186 :: Natural) = DivMod a6989586621679520185 a6989586621679520186
type Apply (QuotRemSym1 a6989586621679520178 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679520179 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons type Apply (QuotRemSym1 a6989586621679520178 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679520179 :: Natural) = QuotRem a6989586621679520178 a6989586621679520179

type NaturalK = Natural Source #