Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. (.!=) :: Parser (Maybe a) -> a -> Parser a

   Agda	Agda.Interaction.JSON

   Helper for use in combination with .:? to provide default values for optional JSON object fields. This combinator is most useful if the key and value can be absent from an object without affecting its validity and we know a default value to assign in that case. If the key and value are mandatory, use .: instead. Example usage:

   v1 <- o .:? "opt_field_with_dfl" .!= "default_val"
   v2 <- o .:  "mandatory_field"
   v3 <- o .:? "opt_field2"
   

2. (.:) :: FromJSON a => Object -> Key -> Parser a

   Agda	Agda.Interaction.JSON

   Retrieve the value associated with the given key of an Object. The result is empty if the key is not present or the value cannot be converted to the desired type. This accessor is appropriate if the key and value must be present in an object for it to be valid. If the key and value are optional, use .:? instead.

3. (.:!) :: FromJSON a => Object -> Key -> Parser (Maybe a)

   Agda	Agda.Interaction.JSON

   Retrieve the value associated with the given key of an Object. The result is Nothing if the key is not present or empty if the value cannot be converted to the desired type. This differs from .:? by attempting to parse Null the same as any other JSON value, instead of interpreting it as Nothing.

4. (.:!=) :: FromJSON a => Object -> Key -> Parser a

   Agda	Agda.Interaction.JSON

   Retrieve the value associated with the given key of an Object. If the key is not present and the omittedField is Just x for some x, the result will be that x. This differs from .:?= by attempting to parse Null the same as any other JSON value, instead of using omittedField when it's Just.

5. (.:?) :: FromJSON a => Object -> Key -> Parser (Maybe a)

   Agda	Agda.Interaction.JSON

   Retrieve the value associated with the given key of an Object. The result is Nothing if the key is not present or if its value is Null, or empty if the value cannot be converted to the desired type. This accessor is most useful if the key and value can be absent from an object without affecting its validity. If the key and value are mandatory, use .: instead.

6. (.:?=) :: FromJSON a => Object -> Key -> Parser a

   Agda	Agda.Interaction.JSON

   Retrieve the value associated with the given key of an Object. If the key is not present or the field is null and the omittedField is Just x for some x, the result will be that x.

7. (.=) :: ToJSON a => Text -> a -> Pair

   Agda	Agda.Interaction.JSON

   A key-value pair for encoding a JSON object.

8. (.?=) :: (KeyValueOmit e kv, ToJSON v) => Key -> v -> kv

   Agda	Agda.Interaction.JSON

   No documentation available.

9. (.&&.) :: LexPredicate -> LexPredicate -> LexPredicate

   Agda	Agda.Syntax.Parser.Alex

   Conjunction of LexPredicates.

10. (.||.) :: LexPredicate -> LexPredicate -> LexPredicate

    Agda	Agda.Syntax.Parser.Alex

    Disjunction of LexPredicates.

Page 51 of many | Previous | Next