Safe Haskell	None
Language	Haskell2010

Saison.Decoding.Examples

Contents

Description

Various examples of using saison.

Synopsis

SomeValue

SomeValue is a dummy object. Decoding it from a JSON value always succeeds, but we don't preserve any information about that value.

If we decode a list [SomeValue], we can then count values in it.

This is an extreme example where saison approach shines.

instance FromTokens SomeValue where
    fromTokens = \toks -> SomeValue <$ skipValue toks

Constructors

Instances

Eq SomeValue Source #
Instance details Defined in Saison.Decoding.Examples Methods (==) :: SomeValue -> SomeValue -> Bool # (/=) :: SomeValue -> SomeValue -> Bool #
Ord SomeValue Source #
Instance details Defined in Saison.Decoding.Examples Methods compare :: SomeValue -> SomeValue -> Ordering # (<) :: SomeValue -> SomeValue -> Bool # (<=) :: SomeValue -> SomeValue -> Bool # (>) :: SomeValue -> SomeValue -> Bool # (>=) :: SomeValue -> SomeValue -> Bool # max :: SomeValue -> SomeValue -> SomeValue # min :: SomeValue -> SomeValue -> SomeValue #
Show SomeValue Source #
Instance details Defined in Saison.Decoding.Examples Methods showsPrec :: Int -> SomeValue -> ShowS # show :: SomeValue -> String # showList :: [SomeValue] -> ShowS #
NFData SomeValue Source #
Instance details Defined in Saison.Decoding.Examples Methods rnf :: SomeValue -> () #
FromJSON SomeValue Source #
Instance details Defined in Saison.Decoding.Examples Methods parseJSON :: Value -> Parser SomeValue parseJSONList :: Value -> Parser [SomeValue]
ToJSON SomeValue Source #
Instance details Defined in Saison.Decoding.Examples Methods toJSON :: SomeValue -> Value toEncoding :: SomeValue -> Encoding toJSONList :: [SomeValue] -> Value toEncodingList :: [SomeValue] -> Encoding
FromTokens SomeValue Source #
Instance details Defined in Saison.Decoding.Examples Methods fromTokens :: Tokens k String -> Result String k SomeValue Source # fromTokensList :: Tokens k String -> Result String k [SomeValue] Source #

Count SomeValues.

Laureates

Laureates a is a wrapper around a list of elements.

The laureate.json database is a json of form

{
  "laureates": [
     ...
  ]
}

This type parses the outer layer.

Constructors

Laureates
Fields unLaureates :: [a]

Instances

Eq a => Eq (Laureates a) Source #
Instance details Defined in Saison.Decoding.Examples Methods (==) :: Laureates a -> Laureates a -> Bool # (/=) :: Laureates a -> Laureates a -> Bool #
Show a => Show (Laureates a) Source #
Instance details Defined in Saison.Decoding.Examples Methods showsPrec :: Int -> Laureates a -> ShowS # show :: Laureates a -> String # showList :: [Laureates a] -> ShowS #
NFData a => NFData (Laureates a) Source #
Instance details Defined in Saison.Decoding.Examples Methods rnf :: Laureates a -> () #
FromJSON a => FromJSON (Laureates a) Source #
Instance details Defined in Saison.Decoding.Examples Methods parseJSON :: Value -> Parser (Laureates a) parseJSONList :: Value -> Parser [Laureates a]
FromTokens a => FromTokens (Laureates a) Source #	This instance differs from `aeson`'s, here we require that object has exactly one key: `"laureates"`. TODO: currently this instance is written manually. Separate ways to interpret record: lenient and strict.
Instance details Defined in Saison.Decoding.Examples Methods fromTokens :: Tokens k String -> Result String k (Laureates a) Source # fromTokensList :: Tokens k String -> Result String k [Laureates a] Source #

Almost complete information about a laureate. We skip "prizes" information.

Look at the implementaton of FromJSON and FromTokens instances, they don't look that much different.

Constructors

Laureate
Fields lBorn :: !Text lBornCity :: !(Maybe Text) lBornCountry :: !(Maybe Text) lBornCountryCode :: !(Maybe Text) lDead :: !Text lDeadCity :: !(Maybe Text) lDeadCountry :: !(Maybe Text) lDeadCountryCode :: !(Maybe Text) lFirstName :: !(Maybe Text) lSurname :: !(Maybe Text) lId :: !Text lGender :: !Text

Instances

Eq Laureate Source #
Instance details Defined in Saison.Decoding.Examples Methods (==) :: Laureate -> Laureate -> Bool # (/=) :: Laureate -> Laureate -> Bool #
Show Laureate Source #
Instance details Defined in Saison.Decoding.Examples Methods showsPrec :: Int -> Laureate -> ShowS # show :: Laureate -> String # showList :: [Laureate] -> ShowS #
NFData Laureate Source #
Instance details Defined in Saison.Decoding.Examples Methods rnf :: Laureate -> () #
FromJSON Laureate Source #
Instance details Defined in Saison.Decoding.Examples Methods parseJSON :: Value -> Parser Laureate parseJSONList :: Value -> Parser [Laureate]
FromTokens Laureate Source #
Instance details Defined in Saison.Decoding.Examples Methods fromTokens :: Tokens k String -> Result String k Laureate Source # fromTokensList :: Tokens k String -> Result String k [Laureate] Source #