Safe Haskell	None
Language	Haskell2010

Data.Aeson.Filthy

Contents

Double-Encodings
Booleans
Maybe
Case Insensitive Keys

Description

Several newtypes and combinators for dealing with less-than-cleanly JSON input.

Synopsis

Double-Encodings

newtype JSONString a Source #

A double-encoded JSON value.

>>> encode (JSONString True)
"\"true\""

>>> decode "\"true\"" :: Maybe (JSONString Bool)
Just (JSONString {jsonString = True})

Constructors

JSONString
Fields jsonString :: a

Instances

Bounded a => Bounded (JSONString a) Source #
Methods minBound :: JSONString a # maxBound :: JSONString a #
Enum a => Enum (JSONString a) Source #
Methods succ :: JSONString a -> JSONString a # pred :: JSONString a -> JSONString a # toEnum :: Int -> JSONString a # fromEnum :: JSONString a -> Int # enumFrom :: JSONString a -> [JSONString a] # enumFromThen :: JSONString a -> JSONString a -> [JSONString a] # enumFromTo :: JSONString a -> JSONString a -> [JSONString a] # enumFromThenTo :: JSONString a -> JSONString a -> JSONString a -> [JSONString a] #
Eq a => Eq (JSONString a) Source #
Methods (==) :: JSONString a -> JSONString a -> Bool # (/=) :: JSONString a -> JSONString a -> Bool #
Floating a => Floating (JSONString a) Source #
Methods pi :: JSONString a # exp :: JSONString a -> JSONString a # log :: JSONString a -> JSONString a # sqrt :: JSONString a -> JSONString a # (**) :: JSONString a -> JSONString a -> JSONString a # logBase :: JSONString a -> JSONString a -> JSONString a # sin :: JSONString a -> JSONString a # cos :: JSONString a -> JSONString a # tan :: JSONString a -> JSONString a # asin :: JSONString a -> JSONString a # acos :: JSONString a -> JSONString a # atan :: JSONString a -> JSONString a # sinh :: JSONString a -> JSONString a # cosh :: JSONString a -> JSONString a # tanh :: JSONString a -> JSONString a # asinh :: JSONString a -> JSONString a # acosh :: JSONString a -> JSONString a # atanh :: JSONString a -> JSONString a # log1p :: JSONString a -> JSONString a # expm1 :: JSONString a -> JSONString a # log1pexp :: JSONString a -> JSONString a # log1mexp :: JSONString a -> JSONString a #
Fractional a => Fractional (JSONString a) Source #
Methods (/) :: JSONString a -> JSONString a -> JSONString a # recip :: JSONString a -> JSONString a # fromRational :: Rational -> JSONString a #
Integral a => Integral (JSONString a) Source #
Methods quot :: JSONString a -> JSONString a -> JSONString a # rem :: JSONString a -> JSONString a -> JSONString a # div :: JSONString a -> JSONString a -> JSONString a # mod :: JSONString a -> JSONString a -> JSONString a # quotRem :: JSONString a -> JSONString a -> (JSONString a, JSONString a) # divMod :: JSONString a -> JSONString a -> (JSONString a, JSONString a) # toInteger :: JSONString a -> Integer #
Num a => Num (JSONString a) Source #
Methods (+) :: JSONString a -> JSONString a -> JSONString a # (-) :: JSONString a -> JSONString a -> JSONString a # (*) :: JSONString a -> JSONString a -> JSONString a # negate :: JSONString a -> JSONString a # abs :: JSONString a -> JSONString a # signum :: JSONString a -> JSONString a # fromInteger :: Integer -> JSONString a #
Ord a => Ord (JSONString a) Source #
Methods compare :: JSONString a -> JSONString a -> Ordering # (<) :: JSONString a -> JSONString a -> Bool # (<=) :: JSONString a -> JSONString a -> Bool # (>) :: JSONString a -> JSONString a -> Bool # (>=) :: JSONString a -> JSONString a -> Bool # max :: JSONString a -> JSONString a -> JSONString a # min :: JSONString a -> JSONString a -> JSONString a #
Read a => Read (JSONString a) Source #
Methods readsPrec :: Int -> ReadS (JSONString a) # readList :: ReadS [JSONString a] # readPrec :: ReadPrec (JSONString a) # readListPrec :: ReadPrec [JSONString a] #
Real a => Real (JSONString a) Source #
Methods toRational :: JSONString a -> Rational #
RealFloat a => RealFloat (JSONString a) Source #
Methods floatRadix :: JSONString a -> Integer # floatDigits :: JSONString a -> Int # floatRange :: JSONString a -> (Int, Int) # decodeFloat :: JSONString a -> (Integer, Int) # encodeFloat :: Integer -> Int -> JSONString a # exponent :: JSONString a -> Int # significand :: JSONString a -> JSONString a # scaleFloat :: Int -> JSONString a -> JSONString a # isNaN :: JSONString a -> Bool # isInfinite :: JSONString a -> Bool # isDenormalized :: JSONString a -> Bool # isNegativeZero :: JSONString a -> Bool # isIEEE :: JSONString a -> Bool # atan2 :: JSONString a -> JSONString a -> JSONString a #
RealFrac a => RealFrac (JSONString a) Source #
Methods properFraction :: Integral b => JSONString a -> (b, JSONString a) # truncate :: Integral b => JSONString a -> b # round :: Integral b => JSONString a -> b # ceiling :: Integral b => JSONString a -> b # floor :: Integral b => JSONString a -> b #
Show a => Show (JSONString a) Source #
Methods showsPrec :: Int -> JSONString a -> ShowS # show :: JSONString a -> String # showList :: [JSONString a] -> ShowS #
Ix a => Ix (JSONString a) Source #
Methods range :: (JSONString a, JSONString a) -> [JSONString a] # index :: (JSONString a, JSONString a) -> JSONString a -> Int # unsafeIndex :: (JSONString a, JSONString a) -> JSONString a -> Int inRange :: (JSONString a, JSONString a) -> JSONString a -> Bool # rangeSize :: (JSONString a, JSONString a) -> Int # unsafeRangeSize :: (JSONString a, JSONString a) -> Int
IsString a => IsString (JSONString a) Source #
Methods fromString :: String -> JSONString a #
Generic (JSONString a) Source #
Associated Types type Rep (JSONString a) :: * -> * # Methods from :: JSONString a -> Rep (JSONString a) x # to :: Rep (JSONString a) x -> JSONString a #
ToJSON a => ToJSON (JSONString a) Source #
Methods toJSON :: JSONString a -> Value # toEncoding :: JSONString a -> Encoding # toJSONList :: [JSONString a] -> Value # toEncodingList :: [JSONString a] -> Encoding #
FromJSON a => FromJSON (JSONString a) Source #
Methods parseJSON :: Value -> Parser (JSONString a) # parseJSONList :: Value -> Parser [JSONString a] #
Storable a => Storable (JSONString a) Source #
Methods sizeOf :: JSONString a -> Int # alignment :: JSONString a -> Int # peekElemOff :: Ptr (JSONString a) -> Int -> IO (JSONString a) # pokeElemOff :: Ptr (JSONString a) -> Int -> JSONString a -> IO () # peekByteOff :: Ptr b -> Int -> IO (JSONString a) # pokeByteOff :: Ptr b -> Int -> JSONString a -> IO () # peek :: Ptr (JSONString a) -> IO (JSONString a) # poke :: Ptr (JSONString a) -> JSONString a -> IO () #
Bits a => Bits (JSONString a) Source #
Methods (.&.) :: JSONString a -> JSONString a -> JSONString a # (.\|.) :: JSONString a -> JSONString a -> JSONString a # xor :: JSONString a -> JSONString a -> JSONString a # complement :: JSONString a -> JSONString a # shift :: JSONString a -> Int -> JSONString a # rotate :: JSONString a -> Int -> JSONString a # zeroBits :: JSONString a # bit :: Int -> JSONString a # setBit :: JSONString a -> Int -> JSONString a # clearBit :: JSONString a -> Int -> JSONString a # complementBit :: JSONString a -> Int -> JSONString a # testBit :: JSONString a -> Int -> Bool # bitSizeMaybe :: JSONString a -> Maybe Int # bitSize :: JSONString a -> Int # isSigned :: JSONString a -> Bool # shiftL :: JSONString a -> Int -> JSONString a # unsafeShiftL :: JSONString a -> Int -> JSONString a # shiftR :: JSONString a -> Int -> JSONString a # unsafeShiftR :: JSONString a -> Int -> JSONString a # rotateL :: JSONString a -> Int -> JSONString a # rotateR :: JSONString a -> Int -> JSONString a # popCount :: JSONString a -> Int #
FiniteBits a => FiniteBits (JSONString a) Source #
Methods finiteBitSize :: JSONString a -> Int # countLeadingZeros :: JSONString a -> Int # countTrailingZeros :: JSONString a -> Int #
type Rep (JSONString a) Source #
type Rep (JSONString a) = D1 * (MetaData "JSONString" "Data.Aeson.Filthy" "aeson-filthy-0.1.2-3m7QfYgBex14ugsSEuaPoe" True) (C1 * (MetaCons "JSONString" PrefixI True) (S1 * (MetaSel (Just Symbol "jsonString") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)))

(.:$) :: FromJSON a => Object -> Text -> Parser a Source #

Works like aeson's (.:), but assumes the value being parsed is double-encoded. Mnemonic: $ sorta looks like an S (for String).

(.=$) :: ToJSON a => Text -> a -> Pair Source #

Works like aeson's (.=), but double-encodes the value being serialized.

Booleans

There's a surprising number of ways people like to encode Booleans. At present, the docs below lie a bit in that values which don't parse to a True value are considered false. For instance,

>>> oneOrZero <$> decode "0"
Just False

>>> oneOrZero <$> decode "1"
Just True

>>> oneOrZero <$> decode "2"
Just False

newtype OneOrZero Source #

Bools rendered 0 or 1

>>> oneOrZero <$> decode "1"
Just True

>>> oneOrZero <$> decode "0"
Just False

Constructors

OneOrZero
Fields oneOrZero :: Bool

Instances

Bounded OneOrZero Source #
Methods minBound :: OneOrZero # maxBound :: OneOrZero #
Enum OneOrZero Source #
Methods succ :: OneOrZero -> OneOrZero # pred :: OneOrZero -> OneOrZero # toEnum :: Int -> OneOrZero # fromEnum :: OneOrZero -> Int # enumFrom :: OneOrZero -> [OneOrZero] # enumFromThen :: OneOrZero -> OneOrZero -> [OneOrZero] # enumFromTo :: OneOrZero -> OneOrZero -> [OneOrZero] # enumFromThenTo :: OneOrZero -> OneOrZero -> OneOrZero -> [OneOrZero] #
Eq OneOrZero Source #
Methods (==) :: OneOrZero -> OneOrZero -> Bool # (/=) :: OneOrZero -> OneOrZero -> Bool #
Ord OneOrZero Source #
Methods compare :: OneOrZero -> OneOrZero -> Ordering # (<) :: OneOrZero -> OneOrZero -> Bool # (<=) :: OneOrZero -> OneOrZero -> Bool # (>) :: OneOrZero -> OneOrZero -> Bool # (>=) :: OneOrZero -> OneOrZero -> Bool # max :: OneOrZero -> OneOrZero -> OneOrZero # min :: OneOrZero -> OneOrZero -> OneOrZero #
Read OneOrZero Source #
Methods readsPrec :: Int -> ReadS OneOrZero # readList :: ReadS [OneOrZero] # readPrec :: ReadPrec OneOrZero # readListPrec :: ReadPrec [OneOrZero] #
Show OneOrZero Source #
Methods showsPrec :: Int -> OneOrZero -> ShowS # show :: OneOrZero -> String # showList :: [OneOrZero] -> ShowS #
Ix OneOrZero Source #
Methods range :: (OneOrZero, OneOrZero) -> [OneOrZero] # index :: (OneOrZero, OneOrZero) -> OneOrZero -> Int # unsafeIndex :: (OneOrZero, OneOrZero) -> OneOrZero -> Int inRange :: (OneOrZero, OneOrZero) -> OneOrZero -> Bool # rangeSize :: (OneOrZero, OneOrZero) -> Int # unsafeRangeSize :: (OneOrZero, OneOrZero) -> Int
Generic OneOrZero Source #
Associated Types type Rep OneOrZero :: * -> * # Methods from :: OneOrZero -> Rep OneOrZero x # to :: Rep OneOrZero x -> OneOrZero #
ToJSON OneOrZero Source #
Methods toJSON :: OneOrZero -> Value # toEncoding :: OneOrZero -> Encoding # toJSONList :: [OneOrZero] -> Value # toEncodingList :: [OneOrZero] -> Encoding #
FromJSON OneOrZero Source #
Methods parseJSON :: Value -> Parser OneOrZero # parseJSONList :: Value -> Parser [OneOrZero] #
Storable OneOrZero Source #
Methods sizeOf :: OneOrZero -> Int # alignment :: OneOrZero -> Int # peekElemOff :: Ptr OneOrZero -> Int -> IO OneOrZero # pokeElemOff :: Ptr OneOrZero -> Int -> OneOrZero -> IO () # peekByteOff :: Ptr b -> Int -> IO OneOrZero # pokeByteOff :: Ptr b -> Int -> OneOrZero -> IO () # peek :: Ptr OneOrZero -> IO OneOrZero # poke :: Ptr OneOrZero -> OneOrZero -> IO () #
Bits OneOrZero Source #
Methods (.&.) :: OneOrZero -> OneOrZero -> OneOrZero # (.\|.) :: OneOrZero -> OneOrZero -> OneOrZero # xor :: OneOrZero -> OneOrZero -> OneOrZero # complement :: OneOrZero -> OneOrZero # shift :: OneOrZero -> Int -> OneOrZero # rotate :: OneOrZero -> Int -> OneOrZero # zeroBits :: OneOrZero # bit :: Int -> OneOrZero # setBit :: OneOrZero -> Int -> OneOrZero # clearBit :: OneOrZero -> Int -> OneOrZero # complementBit :: OneOrZero -> Int -> OneOrZero # testBit :: OneOrZero -> Int -> Bool # bitSizeMaybe :: OneOrZero -> Maybe Int # bitSize :: OneOrZero -> Int # isSigned :: OneOrZero -> Bool # shiftL :: OneOrZero -> Int -> OneOrZero # unsafeShiftL :: OneOrZero -> Int -> OneOrZero # shiftR :: OneOrZero -> Int -> OneOrZero # unsafeShiftR :: OneOrZero -> Int -> OneOrZero # rotateL :: OneOrZero -> Int -> OneOrZero # rotateR :: OneOrZero -> Int -> OneOrZero # popCount :: OneOrZero -> Int #
FiniteBits OneOrZero Source #
Methods finiteBitSize :: OneOrZero -> Int # countLeadingZeros :: OneOrZero -> Int # countTrailingZeros :: OneOrZero -> Int #
type Rep OneOrZero Source #
type Rep OneOrZero = D1 * (MetaData "OneOrZero" "Data.Aeson.Filthy" "aeson-filthy-0.1.2-3m7QfYgBex14ugsSEuaPoe" True) (C1 * (MetaCons "OneOrZero" PrefixI True) (S1 * (MetaSel (Just Symbol "oneOrZero") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)))

newtype YesOrNo Source #

Bools rendered "yes" or "no"

>>> yesOrNo <$> decode "\"yes\""
Just True

>>> yesOrNo <$> decode "\"no\""
Just False

Constructors

YesOrNo
Fields yesOrNo :: Bool

Instances

Bounded YesOrNo Source #
Methods minBound :: YesOrNo # maxBound :: YesOrNo #
Enum YesOrNo Source #
Methods succ :: YesOrNo -> YesOrNo # pred :: YesOrNo -> YesOrNo # toEnum :: Int -> YesOrNo # fromEnum :: YesOrNo -> Int # enumFrom :: YesOrNo -> [YesOrNo] # enumFromThen :: YesOrNo -> YesOrNo -> [YesOrNo] # enumFromTo :: YesOrNo -> YesOrNo -> [YesOrNo] # enumFromThenTo :: YesOrNo -> YesOrNo -> YesOrNo -> [YesOrNo] #
Eq YesOrNo Source #
Methods (==) :: YesOrNo -> YesOrNo -> Bool # (/=) :: YesOrNo -> YesOrNo -> Bool #
Ord YesOrNo Source #
Methods compare :: YesOrNo -> YesOrNo -> Ordering # (<) :: YesOrNo -> YesOrNo -> Bool # (<=) :: YesOrNo -> YesOrNo -> Bool # (>) :: YesOrNo -> YesOrNo -> Bool # (>=) :: YesOrNo -> YesOrNo -> Bool # max :: YesOrNo -> YesOrNo -> YesOrNo # min :: YesOrNo -> YesOrNo -> YesOrNo #
Read YesOrNo Source #
Methods readsPrec :: Int -> ReadS YesOrNo # readList :: ReadS [YesOrNo] # readPrec :: ReadPrec YesOrNo # readListPrec :: ReadPrec [YesOrNo] #
Show YesOrNo Source #
Methods showsPrec :: Int -> YesOrNo -> ShowS # show :: YesOrNo -> String # showList :: [YesOrNo] -> ShowS #
Ix YesOrNo Source #
Methods range :: (YesOrNo, YesOrNo) -> [YesOrNo] # index :: (YesOrNo, YesOrNo) -> YesOrNo -> Int # unsafeIndex :: (YesOrNo, YesOrNo) -> YesOrNo -> Int inRange :: (YesOrNo, YesOrNo) -> YesOrNo -> Bool # rangeSize :: (YesOrNo, YesOrNo) -> Int # unsafeRangeSize :: (YesOrNo, YesOrNo) -> Int
Generic YesOrNo Source #
Associated Types type Rep YesOrNo :: * -> * # Methods from :: YesOrNo -> Rep YesOrNo x # to :: Rep YesOrNo x -> YesOrNo #
ToJSON YesOrNo Source #
Methods toJSON :: YesOrNo -> Value # toEncoding :: YesOrNo -> Encoding # toJSONList :: [YesOrNo] -> Value # toEncodingList :: [YesOrNo] -> Encoding #
FromJSON YesOrNo Source #
Methods parseJSON :: Value -> Parser YesOrNo # parseJSONList :: Value -> Parser [YesOrNo] #
Storable YesOrNo Source #
Methods sizeOf :: YesOrNo -> Int # alignment :: YesOrNo -> Int # peekElemOff :: Ptr YesOrNo -> Int -> IO YesOrNo # pokeElemOff :: Ptr YesOrNo -> Int -> YesOrNo -> IO () # peekByteOff :: Ptr b -> Int -> IO YesOrNo # pokeByteOff :: Ptr b -> Int -> YesOrNo -> IO () # peek :: Ptr YesOrNo -> IO YesOrNo # poke :: Ptr YesOrNo -> YesOrNo -> IO () #
Bits YesOrNo Source #
Methods (.&.) :: YesOrNo -> YesOrNo -> YesOrNo # (.\|.) :: YesOrNo -> YesOrNo -> YesOrNo # xor :: YesOrNo -> YesOrNo -> YesOrNo # complement :: YesOrNo -> YesOrNo # shift :: YesOrNo -> Int -> YesOrNo # rotate :: YesOrNo -> Int -> YesOrNo # zeroBits :: YesOrNo # bit :: Int -> YesOrNo # setBit :: YesOrNo -> Int -> YesOrNo # clearBit :: YesOrNo -> Int -> YesOrNo # complementBit :: YesOrNo -> Int -> YesOrNo # testBit :: YesOrNo -> Int -> Bool # bitSizeMaybe :: YesOrNo -> Maybe Int # bitSize :: YesOrNo -> Int # isSigned :: YesOrNo -> Bool # shiftL :: YesOrNo -> Int -> YesOrNo # unsafeShiftL :: YesOrNo -> Int -> YesOrNo # shiftR :: YesOrNo -> Int -> YesOrNo # unsafeShiftR :: YesOrNo -> Int -> YesOrNo # rotateL :: YesOrNo -> Int -> YesOrNo # rotateR :: YesOrNo -> Int -> YesOrNo # popCount :: YesOrNo -> Int #
FiniteBits YesOrNo Source #
Methods finiteBitSize :: YesOrNo -> Int # countLeadingZeros :: YesOrNo -> Int # countTrailingZeros :: YesOrNo -> Int #
type Rep YesOrNo Source #
type Rep YesOrNo = D1 * (MetaData "YesOrNo" "Data.Aeson.Filthy" "aeson-filthy-0.1.2-3m7QfYgBex14ugsSEuaPoe" True) (C1 * (MetaCons "YesOrNo" PrefixI True) (S1 * (MetaSel (Just Symbol "yesOrNo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)))

newtype OnOrOff Source #

Bools rendered "on" or "off"

>>> onOrOff <$> decode "\"on\""
Just True

>>> onOrOff <$> decode "\"off\""
Just False

Constructors

OnOrOff
Fields onOrOff :: Bool

Instances

Bounded OnOrOff Source #
Methods minBound :: OnOrOff # maxBound :: OnOrOff #
Enum OnOrOff Source #
Methods succ :: OnOrOff -> OnOrOff # pred :: OnOrOff -> OnOrOff # toEnum :: Int -> OnOrOff # fromEnum :: OnOrOff -> Int # enumFrom :: OnOrOff -> [OnOrOff] # enumFromThen :: OnOrOff -> OnOrOff -> [OnOrOff] # enumFromTo :: OnOrOff -> OnOrOff -> [OnOrOff] # enumFromThenTo :: OnOrOff -> OnOrOff -> OnOrOff -> [OnOrOff] #
Eq OnOrOff Source #
Methods (==) :: OnOrOff -> OnOrOff -> Bool # (/=) :: OnOrOff -> OnOrOff -> Bool #
Ord OnOrOff Source #
Methods compare :: OnOrOff -> OnOrOff -> Ordering # (<) :: OnOrOff -> OnOrOff -> Bool # (<=) :: OnOrOff -> OnOrOff -> Bool # (>) :: OnOrOff -> OnOrOff -> Bool # (>=) :: OnOrOff -> OnOrOff -> Bool # max :: OnOrOff -> OnOrOff -> OnOrOff # min :: OnOrOff -> OnOrOff -> OnOrOff #
Read OnOrOff Source #
Methods readsPrec :: Int -> ReadS OnOrOff # readList :: ReadS [OnOrOff] # readPrec :: ReadPrec OnOrOff # readListPrec :: ReadPrec [OnOrOff] #
Show OnOrOff Source #
Methods showsPrec :: Int -> OnOrOff -> ShowS # show :: OnOrOff -> String # showList :: [OnOrOff] -> ShowS #
Ix OnOrOff Source #
Methods range :: (OnOrOff, OnOrOff) -> [OnOrOff] # index :: (OnOrOff, OnOrOff) -> OnOrOff -> Int # unsafeIndex :: (OnOrOff, OnOrOff) -> OnOrOff -> Int inRange :: (OnOrOff, OnOrOff) -> OnOrOff -> Bool # rangeSize :: (OnOrOff, OnOrOff) -> Int # unsafeRangeSize :: (OnOrOff, OnOrOff) -> Int
Generic OnOrOff Source #
Associated Types type Rep OnOrOff :: * -> * # Methods from :: OnOrOff -> Rep OnOrOff x # to :: Rep OnOrOff x -> OnOrOff #
ToJSON OnOrOff Source #
Methods toJSON :: OnOrOff -> Value # toEncoding :: OnOrOff -> Encoding # toJSONList :: [OnOrOff] -> Value # toEncodingList :: [OnOrOff] -> Encoding #
FromJSON OnOrOff Source #
Methods parseJSON :: Value -> Parser OnOrOff # parseJSONList :: Value -> Parser [OnOrOff] #
Storable OnOrOff Source #
Methods sizeOf :: OnOrOff -> Int # alignment :: OnOrOff -> Int # peekElemOff :: Ptr OnOrOff -> Int -> IO OnOrOff # pokeElemOff :: Ptr OnOrOff -> Int -> OnOrOff -> IO () # peekByteOff :: Ptr b -> Int -> IO OnOrOff # pokeByteOff :: Ptr b -> Int -> OnOrOff -> IO () # peek :: Ptr OnOrOff -> IO OnOrOff # poke :: Ptr OnOrOff -> OnOrOff -> IO () #
Bits OnOrOff Source #
Methods (.&.) :: OnOrOff -> OnOrOff -> OnOrOff # (.\|.) :: OnOrOff -> OnOrOff -> OnOrOff # xor :: OnOrOff -> OnOrOff -> OnOrOff # complement :: OnOrOff -> OnOrOff # shift :: OnOrOff -> Int -> OnOrOff # rotate :: OnOrOff -> Int -> OnOrOff # zeroBits :: OnOrOff # bit :: Int -> OnOrOff # setBit :: OnOrOff -> Int -> OnOrOff # clearBit :: OnOrOff -> Int -> OnOrOff # complementBit :: OnOrOff -> Int -> OnOrOff # testBit :: OnOrOff -> Int -> Bool # bitSizeMaybe :: OnOrOff -> Maybe Int # bitSize :: OnOrOff -> Int # isSigned :: OnOrOff -> Bool # shiftL :: OnOrOff -> Int -> OnOrOff # unsafeShiftL :: OnOrOff -> Int -> OnOrOff # shiftR :: OnOrOff -> Int -> OnOrOff # unsafeShiftR :: OnOrOff -> Int -> OnOrOff # rotateL :: OnOrOff -> Int -> OnOrOff # rotateR :: OnOrOff -> Int -> OnOrOff # popCount :: OnOrOff -> Int #
FiniteBits OnOrOff Source #
Methods finiteBitSize :: OnOrOff -> Int # countLeadingZeros :: OnOrOff -> Int # countTrailingZeros :: OnOrOff -> Int #
type Rep OnOrOff Source #
type Rep OnOrOff = D1 * (MetaData "OnOrOff" "Data.Aeson.Filthy" "aeson-filthy-0.1.2-3m7QfYgBex14ugsSEuaPoe" True) (C1 * (MetaCons "OnOrOff" PrefixI True) (S1 * (MetaSel (Just Symbol "onOrOff") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)))

newtype AnyBool Source #

Bools rendered as more-or-less anything.

>>> let Just bs = decode "[1, \"1\", \"true\", \"yes\", \"on\", true]"
>>> and $ map anyBool bs
True

Constructors

AnyBool
Fields anyBool :: Bool

Instances

Bounded AnyBool Source #
Methods minBound :: AnyBool # maxBound :: AnyBool #
Enum AnyBool Source #
Methods succ :: AnyBool -> AnyBool # pred :: AnyBool -> AnyBool # toEnum :: Int -> AnyBool # fromEnum :: AnyBool -> Int # enumFrom :: AnyBool -> [AnyBool] # enumFromThen :: AnyBool -> AnyBool -> [AnyBool] # enumFromTo :: AnyBool -> AnyBool -> [AnyBool] # enumFromThenTo :: AnyBool -> AnyBool -> AnyBool -> [AnyBool] #
Eq AnyBool Source #
Methods (==) :: AnyBool -> AnyBool -> Bool # (/=) :: AnyBool -> AnyBool -> Bool #
Ord AnyBool Source #
Methods compare :: AnyBool -> AnyBool -> Ordering # (<) :: AnyBool -> AnyBool -> Bool # (<=) :: AnyBool -> AnyBool -> Bool # (>) :: AnyBool -> AnyBool -> Bool # (>=) :: AnyBool -> AnyBool -> Bool # max :: AnyBool -> AnyBool -> AnyBool # min :: AnyBool -> AnyBool -> AnyBool #
Read AnyBool Source #
Methods readsPrec :: Int -> ReadS AnyBool # readList :: ReadS [AnyBool] # readPrec :: ReadPrec AnyBool # readListPrec :: ReadPrec [AnyBool] #
Show AnyBool Source #
Methods showsPrec :: Int -> AnyBool -> ShowS # show :: AnyBool -> String # showList :: [AnyBool] -> ShowS #
Ix AnyBool Source #
Methods range :: (AnyBool, AnyBool) -> [AnyBool] # index :: (AnyBool, AnyBool) -> AnyBool -> Int # unsafeIndex :: (AnyBool, AnyBool) -> AnyBool -> Int inRange :: (AnyBool, AnyBool) -> AnyBool -> Bool # rangeSize :: (AnyBool, AnyBool) -> Int # unsafeRangeSize :: (AnyBool, AnyBool) -> Int
Generic AnyBool Source #
Associated Types type Rep AnyBool :: * -> * # Methods from :: AnyBool -> Rep AnyBool x # to :: Rep AnyBool x -> AnyBool #
FromJSON AnyBool Source #
Methods parseJSON :: Value -> Parser AnyBool # parseJSONList :: Value -> Parser [AnyBool] #
Storable AnyBool Source #
Methods sizeOf :: AnyBool -> Int # alignment :: AnyBool -> Int # peekElemOff :: Ptr AnyBool -> Int -> IO AnyBool # pokeElemOff :: Ptr AnyBool -> Int -> AnyBool -> IO () # peekByteOff :: Ptr b -> Int -> IO AnyBool # pokeByteOff :: Ptr b -> Int -> AnyBool -> IO () # peek :: Ptr AnyBool -> IO AnyBool # poke :: Ptr AnyBool -> AnyBool -> IO () #
Bits AnyBool Source #
Methods (.&.) :: AnyBool -> AnyBool -> AnyBool # (.\|.) :: AnyBool -> AnyBool -> AnyBool # xor :: AnyBool -> AnyBool -> AnyBool # complement :: AnyBool -> AnyBool # shift :: AnyBool -> Int -> AnyBool # rotate :: AnyBool -> Int -> AnyBool # zeroBits :: AnyBool # bit :: Int -> AnyBool # setBit :: AnyBool -> Int -> AnyBool # clearBit :: AnyBool -> Int -> AnyBool # complementBit :: AnyBool -> Int -> AnyBool # testBit :: AnyBool -> Int -> Bool # bitSizeMaybe :: AnyBool -> Maybe Int # bitSize :: AnyBool -> Int # isSigned :: AnyBool -> Bool # shiftL :: AnyBool -> Int -> AnyBool # unsafeShiftL :: AnyBool -> Int -> AnyBool # shiftR :: AnyBool -> Int -> AnyBool # unsafeShiftR :: AnyBool -> Int -> AnyBool # rotateL :: AnyBool -> Int -> AnyBool # rotateR :: AnyBool -> Int -> AnyBool # popCount :: AnyBool -> Int #
FiniteBits AnyBool Source #
Methods finiteBitSize :: AnyBool -> Int # countLeadingZeros :: AnyBool -> Int # countTrailingZeros :: AnyBool -> Int #
type Rep AnyBool Source #
type Rep AnyBool = D1 * (MetaData "AnyBool" "Data.Aeson.Filthy" "aeson-filthy-0.1.2-3m7QfYgBex14ugsSEuaPoe" True) (C1 * (MetaCons "AnyBool" PrefixI True) (S1 * (MetaSel (Just Symbol "anyBool") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)))

Maybe

newtype EmptyAsNothing a Source #

Sometimes an empty string in a JSON object actually means Nothing

>>> emptyAsNothing <$> decode "\"\"" :: Maybe (Maybe Text)
Just Nothing

>>> emptyAsNothing <$> decode "\"something\"" :: Maybe (Maybe Text)
Just (Just "something")

Constructors

EmptyAsNothing
Fields emptyAsNothing :: Maybe a

Instances

Monad EmptyAsNothing Source #
Methods (>>=) :: EmptyAsNothing a -> (a -> EmptyAsNothing b) -> EmptyAsNothing b # (>>) :: EmptyAsNothing a -> EmptyAsNothing b -> EmptyAsNothing b # return :: a -> EmptyAsNothing a # fail :: String -> EmptyAsNothing a #
Functor EmptyAsNothing Source #
Methods fmap :: (a -> b) -> EmptyAsNothing a -> EmptyAsNothing b # (<$) :: a -> EmptyAsNothing b -> EmptyAsNothing a #
MonadFix EmptyAsNothing Source #
Methods mfix :: (a -> EmptyAsNothing a) -> EmptyAsNothing a #
Applicative EmptyAsNothing Source #
Methods pure :: a -> EmptyAsNothing a # (<>) :: EmptyAsNothing (a -> b) -> EmptyAsNothing a -> EmptyAsNothing b # liftA2 :: (a -> b -> c) -> EmptyAsNothing a -> EmptyAsNothing b -> EmptyAsNothing c # (>) :: EmptyAsNothing a -> EmptyAsNothing b -> EmptyAsNothing b # (<*) :: EmptyAsNothing a -> EmptyAsNothing b -> EmptyAsNothing a #
Foldable EmptyAsNothing Source #
Methods fold :: Monoid m => EmptyAsNothing m -> m # foldMap :: Monoid m => (a -> m) -> EmptyAsNothing a -> m # foldr :: (a -> b -> b) -> b -> EmptyAsNothing a -> b # foldr' :: (a -> b -> b) -> b -> EmptyAsNothing a -> b # foldl :: (b -> a -> b) -> b -> EmptyAsNothing a -> b # foldl' :: (b -> a -> b) -> b -> EmptyAsNothing a -> b # foldr1 :: (a -> a -> a) -> EmptyAsNothing a -> a # foldl1 :: (a -> a -> a) -> EmptyAsNothing a -> a # toList :: EmptyAsNothing a -> [a] # null :: EmptyAsNothing a -> Bool # length :: EmptyAsNothing a -> Int # elem :: Eq a => a -> EmptyAsNothing a -> Bool # maximum :: Ord a => EmptyAsNothing a -> a # minimum :: Ord a => EmptyAsNothing a -> a # sum :: Num a => EmptyAsNothing a -> a # product :: Num a => EmptyAsNothing a -> a #
Traversable EmptyAsNothing Source #
Methods traverse :: Applicative f => (a -> f b) -> EmptyAsNothing a -> f (EmptyAsNothing b) # sequenceA :: Applicative f => EmptyAsNothing (f a) -> f (EmptyAsNothing a) # mapM :: Monad m => (a -> m b) -> EmptyAsNothing a -> m (EmptyAsNothing b) # sequence :: Monad m => EmptyAsNothing (m a) -> m (EmptyAsNothing a) #
Alternative EmptyAsNothing Source #
Methods empty :: EmptyAsNothing a # (<\|>) :: EmptyAsNothing a -> EmptyAsNothing a -> EmptyAsNothing a # some :: EmptyAsNothing a -> EmptyAsNothing [a] # many :: EmptyAsNothing a -> EmptyAsNothing [a] #
MonadPlus EmptyAsNothing Source #
Methods mzero :: EmptyAsNothing a # mplus :: EmptyAsNothing a -> EmptyAsNothing a -> EmptyAsNothing a #
Eq a => Eq (EmptyAsNothing a) Source #
Methods (==) :: EmptyAsNothing a -> EmptyAsNothing a -> Bool # (/=) :: EmptyAsNothing a -> EmptyAsNothing a -> Bool #
Ord a => Ord (EmptyAsNothing a) Source #
Methods compare :: EmptyAsNothing a -> EmptyAsNothing a -> Ordering # (<) :: EmptyAsNothing a -> EmptyAsNothing a -> Bool # (<=) :: EmptyAsNothing a -> EmptyAsNothing a -> Bool # (>) :: EmptyAsNothing a -> EmptyAsNothing a -> Bool # (>=) :: EmptyAsNothing a -> EmptyAsNothing a -> Bool # max :: EmptyAsNothing a -> EmptyAsNothing a -> EmptyAsNothing a # min :: EmptyAsNothing a -> EmptyAsNothing a -> EmptyAsNothing a #
Read a => Read (EmptyAsNothing a) Source #
Methods readsPrec :: Int -> ReadS (EmptyAsNothing a) # readList :: ReadS [EmptyAsNothing a] # readPrec :: ReadPrec (EmptyAsNothing a) # readListPrec :: ReadPrec [EmptyAsNothing a] #
Show a => Show (EmptyAsNothing a) Source #
Methods showsPrec :: Int -> EmptyAsNothing a -> ShowS # show :: EmptyAsNothing a -> String # showList :: [EmptyAsNothing a] -> ShowS #
Generic (EmptyAsNothing a) Source #
Associated Types type Rep (EmptyAsNothing a) :: * -> * # Methods from :: EmptyAsNothing a -> Rep (EmptyAsNothing a) x # to :: Rep (EmptyAsNothing a) x -> EmptyAsNothing a #
Semigroup a => Semigroup (EmptyAsNothing a) Source #
Methods (<>) :: EmptyAsNothing a -> EmptyAsNothing a -> EmptyAsNothing a # sconcat :: NonEmpty (EmptyAsNothing a) -> EmptyAsNothing a # stimes :: Integral b => b -> EmptyAsNothing a -> EmptyAsNothing a #
Monoid a => Monoid (EmptyAsNothing a) Source #
Methods mempty :: EmptyAsNothing a # mappend :: EmptyAsNothing a -> EmptyAsNothing a -> EmptyAsNothing a # mconcat :: [EmptyAsNothing a] -> EmptyAsNothing a #
ToJSON a => ToJSON (EmptyAsNothing a) Source #
Methods toJSON :: EmptyAsNothing a -> Value # toEncoding :: EmptyAsNothing a -> Encoding # toJSONList :: [EmptyAsNothing a] -> Value # toEncodingList :: [EmptyAsNothing a] -> Encoding #
FromJSON a => FromJSON (EmptyAsNothing a) Source #
Methods parseJSON :: Value -> Parser (EmptyAsNothing a) # parseJSONList :: Value -> Parser [EmptyAsNothing a] #
Generic1 * EmptyAsNothing Source #
Associated Types type Rep1 EmptyAsNothing (f :: EmptyAsNothing -> ) :: k -> # Methods from1 :: f a -> Rep1 EmptyAsNothing f a # to1 :: Rep1 EmptyAsNothing f a -> f a #
type Rep (EmptyAsNothing a) Source #
type Rep (EmptyAsNothing a) = D1 * (MetaData "EmptyAsNothing" "Data.Aeson.Filthy" "aeson-filthy-0.1.2-3m7QfYgBex14ugsSEuaPoe" True) (C1 * (MetaCons "EmptyAsNothing" PrefixI True) (S1 * (MetaSel (Just Symbol "emptyAsNothing") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe a))))
type Rep1 * EmptyAsNothing Source #
type Rep1 * EmptyAsNothing = D1 * (MetaData "EmptyAsNothing" "Data.Aeson.Filthy" "aeson-filthy-0.1.2-3m7QfYgBex14ugsSEuaPoe" True) (C1 * (MetaCons "EmptyAsNothing" PrefixI True) (S1 * (MetaSel (Just Symbol "emptyAsNothing") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 * Maybe)))

Case Insensitive Keys

(.:~) :: FromJSON a => Object -> Text -> Parser a Source #

Some systems attempt to treat keys in JSON objects case-insensitively(ish). Golang's JSON marshalling is a prominent example: https://golang.org/pkg/encoding/json/#Marshal. The (.:~) combinator works like (.:), but if it fails to match, attempts to find a case-insensitive variant of the key being sought. If there is an exact match, (.:~) will take that; if there are multiple non-exact matches, the choice of selected value is unspecified. Mnemonic: ~ swaps case in vi.

>>> data Foo = Foo Int deriving (Read, Show)
>>> instance FromJSON Foo where parseJSON (Object o) = Foo <$> o .:~ "foo"
>>> decode "{\"FOO\": 12}" :: Maybe Foo
Just (Foo 12)
>>> decode "{\"foo\": 17, \"FOO\": 12}" :: Maybe Foo
Just (Foo 17)