Copyright	(c) 2013-2018 Brendan Hay
License	Mozilla Public License, v. 2.0.
Maintainer	Brendan Hay <brendan.g.hay+amazonka@gmail.com>
Stability	provisional
Portability	non-portable (GHC extensions)
Safe Haskell	None
Language	Haskell2010

Network.AWS.Data.Numeric

Description

Documentation

newtype Nat Source #

Constructors

Nat
Fields unNat :: Natural

Instances

Enum Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods succ :: Nat -> Nat # pred :: Nat -> Nat # toEnum :: Int -> Nat # fromEnum :: Nat -> Int # enumFrom :: Nat -> [Nat] # enumFromThen :: Nat -> Nat -> [Nat] # enumFromTo :: Nat -> Nat -> [Nat] # enumFromThenTo :: Nat -> Nat -> Nat -> [Nat] #
Eq Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods (==) :: Nat -> Nat -> Bool # (/=) :: Nat -> Nat -> Bool #
Integral Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods quot :: Nat -> Nat -> Nat # rem :: Nat -> Nat -> Nat # div :: Nat -> Nat -> Nat # mod :: Nat -> Nat -> Nat # quotRem :: Nat -> Nat -> (Nat, Nat) # divMod :: Nat -> Nat -> (Nat, Nat) # toInteger :: Nat -> Integer #
Data Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Nat -> c Nat # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Nat # toConstr :: Nat -> Constr # dataTypeOf :: Nat -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Nat) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Nat) # gmapT :: (forall b. Data b => b -> b) -> Nat -> Nat # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Nat -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Nat -> r # gmapQ :: (forall d. Data d => d -> u) -> Nat -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Nat -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Nat -> m Nat # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Nat -> m Nat # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Nat -> m Nat #
Num Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods (+) :: Nat -> Nat -> Nat # (-) :: Nat -> Nat -> Nat # (*) :: Nat -> Nat -> Nat # negate :: Nat -> Nat # abs :: Nat -> Nat # signum :: Nat -> Nat # fromInteger :: Integer -> Nat #
Ord Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods compare :: Nat -> Nat -> Ordering # (<) :: Nat -> Nat -> Bool # (<=) :: Nat -> Nat -> Bool # (>) :: Nat -> Nat -> Bool # (>=) :: Nat -> Nat -> Bool # max :: Nat -> Nat -> Nat # min :: Nat -> Nat -> Nat #
Read Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods readsPrec :: Int -> ReadS Nat # readList :: ReadS [Nat] # readPrec :: ReadPrec Nat # readListPrec :: ReadPrec [Nat] #
Real Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods toRational :: Nat -> Rational #
Show Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods showsPrec :: Int -> Nat -> ShowS # show :: Nat -> String # showList :: [Nat] -> ShowS #
Generic Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Associated Types type Rep Nat :: Type -> Type # Methods from :: Nat -> Rep Nat x # to :: Rep Nat x -> Nat #
Hashable Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods hashWithSalt :: Int -> Nat -> Int # hash :: Nat -> Int #
ToJSON Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods toJSON :: Nat -> Value # toEncoding :: Nat -> Encoding # toJSONList :: [Nat] -> Value # toEncodingList :: [Nat] -> Encoding #
FromJSON Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods parseJSON :: Value -> Parser Nat # parseJSONList :: Value -> Parser [Nat] #
NFData Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods rnf :: Nat -> () #
ToText Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods toText :: Nat -> Text Source #
FromText Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods parser :: Parser Nat Source #
ToByteString Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods toBS :: Nat -> ByteString Source #
ToQuery Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods toQuery :: Nat -> QueryString Source #
ToXML Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods toXML :: Nat -> XML Source #
FromXML Nat Source #
Instance details Defined in Network.AWS.Data.Numeric Methods parseXML :: [Node] -> Either String Nat Source #
type Rep Nat Source #
Instance details Defined in Network.AWS.Data.Numeric type Rep Nat = D1 (MetaData "Nat" "Network.AWS.Data.Numeric" "amazonka-core-1.6.1-FZORvxk9gh76fGemhSgXQL" True) (C1 (MetaCons "Nat" PrefixI True) (S1 (MetaSel (Just "unNat") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Natural)))

_Nat :: Iso' Nat Natural Source #