Argo.Json.Number

Documentation

newtype Number

Constructors

Number Decimal

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 -> ()

HasCodec Number

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec 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.13-1TtZ14vgzh82izzBXuBqZ0" 'True) (C1 ('MetaCons "Number" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Decimal)))

fromDecimal :: Decimal -> Number

toDecimal :: Number -> Decimal

encode :: Number -> Encoder ()

decode :: Decoder Number

negateIf :: Bool -> Integer -> Integer

fromDigits :: ByteString -> Integer

intToInteger :: Int -> Integer

word8ToInteger :: Word8 -> Integer