Argo.Json.Number

Documentation

data Number

Constructors

Number Integer Integer

Instances

Eq Number

Defined in Argo.Json.Number

Methods

(==) :: Number -> Number -> Bool

(/=) :: Number -> Number -> Bool

Show Number

Defined in Argo.Json.Number

Methods

showsPrec :: Int -> Number -> ShowS

show :: Number -> String

showList :: [Number] -> ShowS

Generic Number

Defined in Argo.Json.Number

Associated Types

type Rep Number :: Type -> Type

Methods

from :: Number -> Rep Number x

to :: Rep Number x -> Number

NFData Number

Defined in Argo.Json.Number

Methods

rnf :: Number -> ()

Lift Number

Defined in Argo.Json.Number

Methods

lift :: Number -> Q Exp

liftTyped :: Number -> Q (TExp Number)

type Rep Number

Defined in Argo.Json.Number

type Rep Number = D1 ('MetaData "Number" "Argo.Json.Number" "argo-0.2021.11.7-9j0sCBbyLtLBlzqpZ8NEi5" 'False) (C1 ('MetaCons "Number" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

number :: Integer -> Integer -> Number

normalize :: Number -> Number

encode :: Number -> Encoder ()

decode :: Decoder Number

negateIf :: Bool -> Integer -> Integer

fromDigits :: ByteString -> Integer

intToInteger :: Int -> Integer

word8ToInteger :: Word8 -> Integer

toRational :: Number -> Rational

fromRational :: Rational -> Maybe Number

factor :: (Num a, Integral b) => b -> a -> b -> (a, b)