Copyright	(c) Duncan Coutts 2015 2017
Safe Haskell	Safe-Inferred
Language	Haskell2010

Text.JSON.Canonical.Types

Description

Synopsis

data JSValue
- = JSNull
- | JSBool !Bool
- | JSNum !Int54
- | JSString !JSString
- | JSArray [JSValue]
- | JSObject [(JSString, JSValue)]
newtype Int54 = Int54 {
- int54ToInt64 :: Int64
}
data JSString
toJSString :: String -> JSString
fromJSString :: JSString -> String

Documentation

data JSValue Source #

Constructors

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

Instances

Instances details

Read JSValue Source #
Instance details Defined in Text.JSON.Canonical.Types Methods readsPrec :: Int -> ReadS JSValue # readList :: ReadS [JSValue] # readPrec :: ReadPrec JSValue # readListPrec :: ReadPrec [JSValue] #
Show JSValue Source #
Instance details Defined in Text.JSON.Canonical.Types Methods showsPrec :: Int -> JSValue -> ShowS # show :: JSValue -> String # showList :: [JSValue] -> ShowS #
NFData JSValue Source #
Instance details Defined in Text.JSON.Canonical.Types Methods rnf :: JSValue -> () #
Eq JSValue Source #
Instance details Defined in Text.JSON.Canonical.Types Methods (==) :: JSValue -> JSValue -> Bool # (/=) :: JSValue -> JSValue -> Bool #
Ord JSValue Source #
Instance details Defined in Text.JSON.Canonical.Types Methods compare :: JSValue -> JSValue -> Ordering # (<) :: JSValue -> JSValue -> Bool # (<=) :: JSValue -> JSValue -> Bool # (>) :: JSValue -> JSValue -> Bool # (>=) :: JSValue -> JSValue -> Bool # max :: JSValue -> JSValue -> JSValue # min :: JSValue -> JSValue -> JSValue #
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 int54ToInt64 :: Int64

Instances

Instances details

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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int54 # toConstr :: Int54 -> Constr # dataTypeOf :: Int54 -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int54) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int54) # gmapT :: (forall b. Data b => b -> b) -> Int54 -> Int54 # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int54 -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int54 -> r # gmapQ :: (forall d. Data d => d -> u) -> Int54 -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Int54 -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int54 -> m Int54 # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int54 -> m Int54 # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int54 -> m Int54 #
Storable Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods sizeOf :: Int54 -> Int # alignment :: Int54 -> Int # peekElemOff :: Ptr Int54 -> Int -> IO Int54 # pokeElemOff :: Ptr Int54 -> Int -> Int54 -> IO () # peekByteOff :: Ptr b -> Int -> IO Int54 # pokeByteOff :: Ptr b -> Int -> Int54 -> IO () # peek :: Ptr Int54 -> IO Int54 # poke :: Ptr Int54 -> Int54 -> IO () #
Bits Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods (.&.) :: Int54 -> Int54 -> Int54 # (.\|.) :: Int54 -> Int54 -> Int54 # xor :: Int54 -> Int54 -> Int54 # complement :: Int54 -> Int54 # shift :: Int54 -> Int -> Int54 # rotate :: Int54 -> Int -> Int54 # zeroBits :: Int54 # bit :: Int -> Int54 # setBit :: Int54 -> Int -> Int54 # clearBit :: Int54 -> Int -> Int54 # complementBit :: Int54 -> Int -> Int54 # testBit :: Int54 -> Int -> Bool # bitSizeMaybe :: Int54 -> Maybe Int # bitSize :: Int54 -> Int # isSigned :: Int54 -> Bool # shiftL :: Int54 -> Int -> Int54 # unsafeShiftL :: Int54 -> Int -> Int54 # shiftR :: Int54 -> Int -> Int54 # unsafeShiftR :: Int54 -> Int -> Int54 # rotateL :: Int54 -> Int -> Int54 # rotateR :: Int54 -> Int -> Int54 # popCount :: Int54 -> Int #
FiniteBits Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods finiteBitSize :: Int54 -> Int # countLeadingZeros :: Int54 -> Int # countTrailingZeros :: Int54 -> Int #
Bounded Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods minBound :: Int54 # maxBound :: Int54 #
Enum Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods succ :: Int54 -> Int54 # pred :: Int54 -> Int54 # toEnum :: Int -> Int54 # fromEnum :: Int54 -> Int # enumFrom :: Int54 -> [Int54] # enumFromThen :: Int54 -> Int54 -> [Int54] # enumFromTo :: Int54 -> Int54 -> [Int54] # enumFromThenTo :: Int54 -> Int54 -> Int54 -> [Int54] #
Ix Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods range :: (Int54, Int54) -> [Int54] # index :: (Int54, Int54) -> Int54 -> Int # unsafeIndex :: (Int54, Int54) -> Int54 -> Int # inRange :: (Int54, Int54) -> Int54 -> Bool # rangeSize :: (Int54, Int54) -> Int # unsafeRangeSize :: (Int54, Int54) -> Int #
Num Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods (+) :: Int54 -> Int54 -> Int54 # (-) :: Int54 -> Int54 -> Int54 # (*) :: Int54 -> Int54 -> Int54 # negate :: Int54 -> Int54 # abs :: Int54 -> Int54 # signum :: Int54 -> Int54 # fromInteger :: Integer -> Int54 #
Read Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods readsPrec :: Int -> ReadS Int54 # readList :: ReadS [Int54] # readPrec :: ReadPrec Int54 # readListPrec :: ReadPrec [Int54] #
Integral Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods quot :: Int54 -> Int54 -> Int54 # rem :: Int54 -> Int54 -> Int54 # div :: Int54 -> Int54 -> Int54 # mod :: Int54 -> Int54 -> Int54 # quotRem :: Int54 -> Int54 -> (Int54, Int54) # divMod :: Int54 -> Int54 -> (Int54, Int54) # toInteger :: Int54 -> Integer #
Real Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods toRational :: Int54 -> Rational #
Show Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods showsPrec :: Int -> Int54 -> ShowS # show :: Int54 -> String # showList :: [Int54] -> ShowS #
PrintfArg Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods formatArg :: Int54 -> FieldFormatter # parseFormat :: Int54 -> ModifierParser #
Eq Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods (==) :: Int54 -> Int54 -> Bool # (/=) :: Int54 -> Int54 -> Bool #
Ord Int54 Source #
Instance details Defined in Text.JSON.Canonical.Types Methods compare :: Int54 -> Int54 -> Ordering # (<) :: Int54 -> Int54 -> Bool # (<=) :: Int54 -> Int54 -> Bool # (>) :: Int54 -> Int54 -> Bool # (>=) :: Int54 -> Int54 -> Bool # max :: Int54 -> Int54 -> Int54 # min :: Int54 -> Int54 -> Int54 #
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

IsString JSString Source #
Instance details Defined in Text.JSON.Canonical.Types Methods fromString :: String -> JSString #
Monoid JSString Source #
Instance details Defined in Text.JSON.Canonical.Types Methods mempty :: JSString # mappend :: JSString -> JSString -> JSString # mconcat :: [JSString] -> JSString #
Semigroup JSString Source #
Instance details Defined in Text.JSON.Canonical.Types Methods (<>) :: JSString -> JSString -> JSString # sconcat :: NonEmpty JSString -> JSString # stimes :: Integral b => b -> JSString -> JSString #
Read JSString Source #
Instance details Defined in Text.JSON.Canonical.Types Methods readsPrec :: Int -> ReadS JSString # readList :: ReadS [JSString] # readPrec :: ReadPrec JSString # readListPrec :: ReadPrec [JSString] #
Show JSString Source #
Instance details Defined in Text.JSON.Canonical.Types Methods showsPrec :: Int -> JSString -> ShowS # show :: JSString -> String # showList :: [JSString] -> ShowS #
PrintfArg JSString Source #
Instance details Defined in Text.JSON.Canonical.Types Methods formatArg :: JSString -> FieldFormatter # parseFormat :: JSString -> ModifierParser #
NFData JSString Source #
Instance details Defined in Text.JSON.Canonical.Types Methods rnf :: JSString -> () #
Eq JSString Source #
Instance details Defined in Text.JSON.Canonical.Types Methods (==) :: JSString -> JSString -> Bool # (/=) :: JSString -> JSString -> Bool #
Ord JSString Source #
Instance details Defined in Text.JSON.Canonical.Types Methods compare :: JSString -> JSString -> Ordering # (<) :: JSString -> JSString -> Bool # (<=) :: JSString -> JSString -> Bool # (>) :: JSString -> JSString -> Bool # (>=) :: JSString -> JSString -> Bool # max :: JSString -> JSString -> JSString # min :: JSString -> JSString -> JSString #
ReportSchemaErrors m => FromJSON m JSString Source #
Instance details Defined in Text.JSON.Canonical.Class Methods fromJSON :: JSValue -> m 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 => ToJSON m JSString Source #
Instance details Defined in Text.JSON.Canonical.Class Methods toJSON :: JSString -> m JSValue Source #
Monad m => ToObjectKey m JSString Source #
Instance details Defined in Text.JSON.Canonical.Class Methods toObjectKey :: JSString -> m JSString Source #

toJSString :: String -> JSString Source #

fromJSString :: JSString -> String Source #