Safe Haskell	None
Language	Haskell2010

Hasura.RQL.Types.Numeric

Description

Utility types relating to numeric values

Documentation

newtype NonNegative a Source #

Constructors

NonNegative
Fields getNonNegative :: a

Instances

Instances details

Functor NonNegative Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods fmap :: (a -> b) -> NonNegative a -> NonNegative b # (<$) :: a -> NonNegative b -> NonNegative a #
Eq a => Eq (NonNegative a) Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods (==) :: NonNegative a -> NonNegative a -> Bool # (/=) :: NonNegative a -> NonNegative a -> Bool #
Ord a => Ord (NonNegative a) Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods compare :: NonNegative a -> NonNegative a -> Ordering # (<) :: NonNegative a -> NonNegative a -> Bool # (<=) :: NonNegative a -> NonNegative a -> Bool # (>) :: NonNegative a -> NonNegative a -> Bool # (>=) :: NonNegative a -> NonNegative a -> Bool # max :: NonNegative a -> NonNegative a -> NonNegative a # min :: NonNegative a -> NonNegative a -> NonNegative a #
Show a => Show (NonNegative a) Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods showsPrec :: Int -> NonNegative a -> ShowS # show :: NonNegative a -> String # showList :: [NonNegative a] -> ShowS #
Generic a => Generic (NonNegative a) Source #
Instance details Defined in Hasura.RQL.Types.Numeric Associated Types type Rep (NonNegative a) :: Type -> Type # Methods from :: NonNegative a -> Rep (NonNegative a) x # to :: Rep (NonNegative a) x -> NonNegative a #
NFData a => NFData (NonNegative a) Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods rnf :: NonNegative a -> () #
Hashable a => Hashable (NonNegative a) Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods hashWithSalt :: Int -> NonNegative a -> Int hash :: NonNegative a -> Int
(Fractional a, FromJSON a) => FromJSON (NonNegative a) Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods parseJSON :: Value -> Parser (NonNegative a) parseJSONList :: Value -> Parser [NonNegative a]
ToJSON a => ToJSON (NonNegative a) Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods toJSON :: NonNegative a -> Value toEncoding :: NonNegative a -> Encoding toJSONList :: [NonNegative a] -> Value toEncodingList :: [NonNegative a] -> Encoding
Cacheable a => Cacheable (NonNegative a) Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods unchanged :: Accesses -> NonNegative a -> NonNegative a -> Bool Source #
(Num a, Ord a, FromEnv a) => FromEnv (NonNegative a) Source #
Instance details Defined in Hasura.Server.Init.Env Methods fromEnv :: String -> Either String (NonNegative a) Source #
type Rep (NonNegative a) Source #
Instance details Defined in Hasura.RQL.Types.Numeric type Rep (NonNegative a) = Rep a

mkNonNegative :: (Ord a, Num a) => a -> Maybe (NonNegative a) Source #

unsafeNonNegative :: a -> NonNegative a Source #

newtype NonNegativeInt Source #

Constructors

NonNegativeInt
Fields getNonNegativeInt :: Int

Instances

Instances details

Eq NonNegativeInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods (==) :: NonNegativeInt -> NonNegativeInt -> Bool # (/=) :: NonNegativeInt -> NonNegativeInt -> Bool #
Show NonNegativeInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods showsPrec :: Int -> NonNegativeInt -> ShowS # show :: NonNegativeInt -> String # showList :: [NonNegativeInt] -> ShowS #
Generic NonNegativeInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Associated Types type Rep NonNegativeInt :: Type -> Type # Methods from :: NonNegativeInt -> Rep NonNegativeInt x # to :: Rep NonNegativeInt x -> NonNegativeInt #
NFData NonNegativeInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods rnf :: NonNegativeInt -> () #
Hashable NonNegativeInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods hashWithSalt :: Int -> NonNegativeInt -> Int hash :: NonNegativeInt -> Int
FromJSON NonNegativeInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods parseJSON :: Value -> Parser NonNegativeInt parseJSONList :: Value -> Parser [NonNegativeInt]
ToJSON NonNegativeInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods toJSON :: NonNegativeInt -> Value toEncoding :: NonNegativeInt -> Encoding toJSONList :: [NonNegativeInt] -> Value toEncodingList :: [NonNegativeInt] -> Encoding
Cacheable NonNegativeInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods unchanged :: Accesses -> NonNegativeInt -> NonNegativeInt -> Bool Source #
FromEnv NonNegativeInt Source #
Instance details Defined in Hasura.Server.Init.Env Methods fromEnv :: String -> Either String NonNegativeInt Source #
type Rep NonNegativeInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric type Rep NonNegativeInt = D1 ('MetaData "NonNegativeInt" "Hasura.RQL.Types.Numeric" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "NonNegativeInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "getNonNegativeInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

mkNonNegativeInt :: Int -> Maybe NonNegativeInt Source #

unsafeNonNegativeInt :: Int -> NonNegativeInt Source #

newtype PositiveInt Source #

Constructors

PositiveInt
Fields getPositiveInt :: Int

Instances

Instances details

Eq PositiveInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods (==) :: PositiveInt -> PositiveInt -> Bool # (/=) :: PositiveInt -> PositiveInt -> Bool #
Show PositiveInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods showsPrec :: Int -> PositiveInt -> ShowS # show :: PositiveInt -> String # showList :: [PositiveInt] -> ShowS #
Generic PositiveInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Associated Types type Rep PositiveInt :: Type -> Type # Methods from :: PositiveInt -> Rep PositiveInt x # to :: Rep PositiveInt x -> PositiveInt #
NFData PositiveInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods rnf :: PositiveInt -> () #
Hashable PositiveInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods hashWithSalt :: Int -> PositiveInt -> Int hash :: PositiveInt -> Int
FromJSON PositiveInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods parseJSON :: Value -> Parser PositiveInt parseJSONList :: Value -> Parser [PositiveInt]
ToJSON PositiveInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods toJSON :: PositiveInt -> Value toEncoding :: PositiveInt -> Encoding toJSONList :: [PositiveInt] -> Value toEncodingList :: [PositiveInt] -> Encoding
Cacheable PositiveInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods unchanged :: Accesses -> PositiveInt -> PositiveInt -> Bool Source #
FromEnv PositiveInt Source #
Instance details Defined in Hasura.Server.Init.Env Methods fromEnv :: String -> Either String PositiveInt Source #
type Rep PositiveInt Source #
Instance details Defined in Hasura.RQL.Types.Numeric type Rep PositiveInt = D1 ('MetaData "PositiveInt" "Hasura.RQL.Types.Numeric" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "PositiveInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPositiveInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

mkPositiveInt :: Int -> Maybe PositiveInt Source #

unsafePositiveInt :: Int -> PositiveInt Source #

newtype NonNegativeDiffTime Source #

Constructors

NonNegativeDiffTime
Fields unNonNegativeDiffTime :: DiffTime

Instances

Instances details

Eq NonNegativeDiffTime Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods (==) :: NonNegativeDiffTime -> NonNegativeDiffTime -> Bool # (/=) :: NonNegativeDiffTime -> NonNegativeDiffTime -> Bool #
Num NonNegativeDiffTime Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods (+) :: NonNegativeDiffTime -> NonNegativeDiffTime -> NonNegativeDiffTime # (-) :: NonNegativeDiffTime -> NonNegativeDiffTime -> NonNegativeDiffTime # (*) :: NonNegativeDiffTime -> NonNegativeDiffTime -> NonNegativeDiffTime # negate :: NonNegativeDiffTime -> NonNegativeDiffTime # abs :: NonNegativeDiffTime -> NonNegativeDiffTime # signum :: NonNegativeDiffTime -> NonNegativeDiffTime # fromInteger :: Integer -> NonNegativeDiffTime #
Show NonNegativeDiffTime Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods showsPrec :: Int -> NonNegativeDiffTime -> ShowS # show :: NonNegativeDiffTime -> String # showList :: [NonNegativeDiffTime] -> ShowS #
Generic NonNegativeDiffTime Source #
Instance details Defined in Hasura.RQL.Types.Numeric Associated Types type Rep NonNegativeDiffTime :: Type -> Type # Methods from :: NonNegativeDiffTime -> Rep NonNegativeDiffTime x # to :: Rep NonNegativeDiffTime x -> NonNegativeDiffTime #
NFData NonNegativeDiffTime Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods rnf :: NonNegativeDiffTime -> () #
FromJSON NonNegativeDiffTime Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods parseJSON :: Value -> Parser NonNegativeDiffTime parseJSONList :: Value -> Parser [NonNegativeDiffTime]
ToJSON NonNegativeDiffTime Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods toJSON :: NonNegativeDiffTime -> Value toEncoding :: NonNegativeDiffTime -> Encoding toJSONList :: [NonNegativeDiffTime] -> Value toEncodingList :: [NonNegativeDiffTime] -> Encoding
Cacheable NonNegativeDiffTime Source #
Instance details Defined in Hasura.RQL.Types.Numeric Methods unchanged :: Accesses -> NonNegativeDiffTime -> NonNegativeDiffTime -> Bool Source #
FromEnv NonNegativeDiffTime Source #
Instance details Defined in Hasura.Server.Init.Env Methods fromEnv :: String -> Either String NonNegativeDiffTime Source #
type Rep NonNegativeDiffTime Source #
Instance details Defined in Hasura.RQL.Types.Numeric type Rep NonNegativeDiffTime = D1 ('MetaData "NonNegativeDiffTime" "Hasura.RQL.Types.Numeric" "graphql-engine-1.0.0-inplace" 'True) (C1 ('MetaCons "NonNegativeDiffTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNonNegativeDiffTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DiffTime)))

unsafeNonNegativeDiffTime :: DiffTime -> NonNegativeDiffTime Source #

mkNonNegativeDiffTime :: DiffTime -> Maybe NonNegativeDiffTime Source #