canonical-json-0.6.0.1: Canonical JSON for signing and hashing JSON values
Copyright (c) Duncan Coutts 2015 2017
Safe Haskell None
Language Haskell2010

Text.JSON.Canonical.Types

Description

Synopsis

Documentation

data JSValue Source #

Constructors

JSNull
JSBool ! Bool
JSNum ! Int54
JSString ! JSString
JSArray [ JSValue ]
JSObject [( JSString , JSValue )]

Instances

Instances details
Eq JSValue Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

(==) :: JSValue -> JSValue -> Bool Source #

(/=) :: JSValue -> JSValue -> Bool Source #

Ord JSValue Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

compare :: JSValue -> JSValue -> Ordering Source #

(<) :: JSValue -> JSValue -> Bool Source #

(<=) :: JSValue -> JSValue -> Bool Source #

(>) :: JSValue -> JSValue -> Bool Source #

(>=) :: JSValue -> JSValue -> Bool Source #

max :: JSValue -> JSValue -> JSValue Source #

min :: JSValue -> JSValue -> JSValue Source #

Read JSValue Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

readsPrec :: Int -> ReadS JSValue Source #

readList :: ReadS [ JSValue ] Source #

readPrec :: ReadPrec JSValue Source #

readListPrec :: ReadPrec [ JSValue ] Source #

Show JSValue Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

showsPrec :: Int -> JSValue -> ShowS Source #

show :: JSValue -> String Source #

showList :: [ JSValue ] -> ShowS Source #

NFData JSValue Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

rnf :: JSValue -> () Source #

Monad m => FromJSON m JSValue Source #
Instance details

Defined in Text.JSON.Canonical.Class

Methods

fromJSON :: JSValue -> m JSValue Source #

Monad m => ToJSON m JSValue Source #
Instance details

Defined in Text.JSON.Canonical.Class

Methods

toJSON :: JSValue -> m JSValue Source #

newtype Int54 Source #

54-bit integer values

JavaScript can only safely represent numbers between -(2^53 - 1) and 2^53 - 1 .

TODO: Although we introduce the type here, we don't actually do any bounds checking and just inherit all type class instance from Int64. We should probably define fromInteger to do bounds checking, give different instances for type classes such as Bounded and FiniteBits , etc.

Constructors

Int54

Fields

Instances

Instances details
Bounded Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

minBound :: Int54 Source #

maxBound :: Int54 Source #

Enum Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

succ :: Int54 -> Int54 Source #

pred :: Int54 -> Int54 Source #

toEnum :: Int -> Int54 Source #

fromEnum :: Int54 -> Int Source #

enumFrom :: Int54 -> [ Int54 ] Source #

enumFromThen :: Int54 -> Int54 -> [ Int54 ] Source #

enumFromTo :: Int54 -> Int54 -> [ Int54 ] Source #

enumFromThenTo :: Int54 -> Int54 -> Int54 -> [ Int54 ] Source #

Eq Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

(==) :: Int54 -> Int54 -> Bool Source #

(/=) :: Int54 -> Int54 -> Bool Source #

Integral Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

quot :: Int54 -> Int54 -> Int54 Source #

rem :: Int54 -> Int54 -> Int54 Source #

div :: Int54 -> Int54 -> Int54 Source #

mod :: Int54 -> Int54 -> Int54 Source #

quotRem :: Int54 -> Int54 -> ( Int54 , Int54 ) Source #

divMod :: Int54 -> Int54 -> ( Int54 , Int54 ) Source #

toInteger :: Int54 -> Integer Source #

Data Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> Int54 -> c Int54 Source #

gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c Int54 Source #

toConstr :: Int54 -> Constr Source #

dataTypeOf :: Int54 -> DataType Source #

dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c Int54 ) Source #

dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c Int54 ) Source #

gmapT :: ( forall b. Data b => b -> b) -> Int54 -> Int54 Source #

gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> Int54 -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> Int54 -> r Source #

gmapQ :: ( forall d. Data d => d -> u) -> Int54 -> [u] Source #

gmapQi :: Int -> ( forall d. Data d => d -> u) -> Int54 -> u Source #

gmapM :: Monad m => ( forall d. Data d => d -> m d) -> Int54 -> m Int54 Source #

gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> Int54 -> m Int54 Source #

gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> Int54 -> m Int54 Source #

Num Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

(+) :: Int54 -> Int54 -> Int54 Source #

(-) :: Int54 -> Int54 -> Int54 Source #

(*) :: Int54 -> Int54 -> Int54 Source #

negate :: Int54 -> Int54 Source #

abs :: Int54 -> Int54 Source #

signum :: Int54 -> Int54 Source #

fromInteger :: Integer -> Int54 Source #

Ord Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

compare :: Int54 -> Int54 -> Ordering Source #

(<) :: Int54 -> Int54 -> Bool Source #

(<=) :: Int54 -> Int54 -> Bool Source #

(>) :: Int54 -> Int54 -> Bool Source #

(>=) :: Int54 -> Int54 -> Bool Source #

max :: Int54 -> Int54 -> Int54 Source #

min :: Int54 -> Int54 -> Int54 Source #

Read Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

readsPrec :: Int -> ReadS Int54 Source #

readList :: ReadS [ Int54 ] Source #

readPrec :: ReadPrec Int54 Source #

readListPrec :: ReadPrec [ Int54 ] Source #

Real Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

toRational :: Int54 -> Rational Source #

Show Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

showsPrec :: Int -> Int54 -> ShowS Source #

show :: Int54 -> String Source #

showList :: [ Int54 ] -> ShowS Source #

Ix Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

range :: ( Int54 , Int54 ) -> [ Int54 ] Source #

index :: ( Int54 , Int54 ) -> Int54 -> Int Source #

unsafeIndex :: ( Int54 , Int54 ) -> Int54 -> Int Source #

inRange :: ( Int54 , Int54 ) -> Int54 -> Bool Source #

rangeSize :: ( Int54 , Int54 ) -> Int Source #

unsafeRangeSize :: ( Int54 , Int54 ) -> Int Source #

PrintfArg Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

formatArg :: Int54 -> FieldFormatter Source #

parseFormat :: Int54 -> ModifierParser Source #

Storable Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

sizeOf :: Int54 -> Int Source #

alignment :: Int54 -> Int Source #

peekElemOff :: Ptr Int54 -> Int -> IO Int54 Source #

pokeElemOff :: Ptr Int54 -> Int -> Int54 -> IO () Source #

peekByteOff :: Ptr b -> Int -> IO Int54 Source #

pokeByteOff :: Ptr b -> Int -> Int54 -> IO () Source #

peek :: Ptr Int54 -> IO Int54 Source #

poke :: Ptr Int54 -> Int54 -> IO () Source #

Bits Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

(.&.) :: Int54 -> Int54 -> Int54 Source #

(.|.) :: Int54 -> Int54 -> Int54 Source #

xor :: Int54 -> Int54 -> Int54 Source #

complement :: Int54 -> Int54 Source #

shift :: Int54 -> Int -> Int54 Source #

rotate :: Int54 -> Int -> Int54 Source #

zeroBits :: Int54 Source #

bit :: Int -> Int54 Source #

setBit :: Int54 -> Int -> Int54 Source #

clearBit :: Int54 -> Int -> Int54 Source #

complementBit :: Int54 -> Int -> Int54 Source #

testBit :: Int54 -> Int -> Bool Source #

bitSizeMaybe :: Int54 -> Maybe Int Source #

bitSize :: Int54 -> Int Source #

isSigned :: Int54 -> Bool Source #

shiftL :: Int54 -> Int -> Int54 Source #

unsafeShiftL :: Int54 -> Int -> Int54 Source #

shiftR :: Int54 -> Int -> Int54 Source #

unsafeShiftR :: Int54 -> Int -> Int54 Source #

rotateL :: Int54 -> Int -> Int54 Source #

rotateR :: Int54 -> Int -> Int54 Source #

popCount :: Int54 -> Int Source #

FiniteBits Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

finiteBitSize :: Int54 -> Int Source #

countLeadingZeros :: Int54 -> Int Source #

countTrailingZeros :: Int54 -> Int Source #

ReportSchemaErrors m => FromJSON m Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Class

Methods

fromJSON :: JSValue -> m Int54 Source #

Monad m => ToJSON m Int54 Source #
Instance details

Defined in Text.JSON.Canonical.Class

Methods

toJSON :: Int54 -> m JSValue Source #

data JSString Source #

Canonical JSON strings are in fact just bytes.

Instances

Instances details
Eq JSString Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

(==) :: JSString -> JSString -> Bool Source #

(/=) :: JSString -> JSString -> Bool Source #

Ord JSString Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

compare :: JSString -> JSString -> Ordering Source #

(<) :: JSString -> JSString -> Bool Source #

(<=) :: JSString -> JSString -> Bool Source #

(>) :: JSString -> JSString -> Bool Source #

(>=) :: JSString -> JSString -> Bool Source #

max :: JSString -> JSString -> JSString Source #

min :: JSString -> JSString -> JSString Source #

Read JSString Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

readsPrec :: Int -> ReadS JSString Source #

readList :: ReadS [ JSString ] Source #

readPrec :: ReadPrec JSString Source #

readListPrec :: ReadPrec [ JSString ] Source #

Show JSString Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

showsPrec :: Int -> JSString -> ShowS Source #

show :: JSString -> String Source #

showList :: [ JSString ] -> ShowS Source #

IsString JSString Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

fromString :: String -> JSString Source #

Semigroup JSString Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

(<>) :: JSString -> JSString -> JSString Source #

sconcat :: NonEmpty JSString -> JSString Source #

stimes :: Integral b => b -> JSString -> JSString Source #

Monoid JSString Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

mempty :: JSString Source #

mappend :: JSString -> JSString -> JSString Source #

mconcat :: [ JSString ] -> JSString Source #

PrintfArg JSString Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

formatArg :: JSString -> FieldFormatter Source #

parseFormat :: JSString -> ModifierParser Source #

NFData JSString Source #
Instance details

Defined in Text.JSON.Canonical.Types

Methods

rnf :: JSString -> () Source #

Monad m => FromObjectKey m JSString Source #
Instance details

Defined in Text.JSON.Canonical.Class

Methods

fromObjectKey :: JSString -> m ( Maybe JSString ) Source #

Monad m => ToObjectKey m JSString Source #
Instance details

Defined in Text.JSON.Canonical.Class

Methods

toObjectKey :: JSString -> m JSString Source #

ReportSchemaErrors m => FromJSON m JSString Source #
Instance details

Defined in Text.JSON.Canonical.Class

Methods

fromJSON :: JSValue -> m JSString Source #

Monad m => ToJSON m JSString Source #
Instance details

Defined in Text.JSON.Canonical.Class

Methods

toJSON :: JSString -> m JSValue Source #

toJSString :: String -> JSString Source #

fromJSString :: JSString -> String Source #