Hoogle Search

Within LTS Haskell 24.20 (ghc-9.10.3)

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

Exact lookup

1. (.:!=) :: 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.

2. (.:?) :: 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.

3. (.:?=) :: 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.

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

   Agda	Agda.Interaction.JSON

   A key-value pair for encoding a JSON object.

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

   Agda	Agda.Interaction.JSON

   No documentation available.

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

   Agda	Agda.Syntax.Parser.Alex

   Conjunction of LexPredicates.

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

   Agda	Agda.Syntax.Parser.Alex

   Disjunction of LexPredicates.

8. (.*.) :: (?cutoff :: CutOff) => Order -> Order -> Order

   Agda	Agda.Termination.Order

   Multiplication of Orders. (Corresponds to sequential composition.)

9. (.-->) :: Applicative m => m Type -> m Type -> m Type

   Agda	Agda.TypeChecking.Primitive.Base

   No documentation available.

10. (..-->) :: Applicative m => m Type -> m Type -> m Type

    Agda	Agda.TypeChecking.Primitive.Base

    No documentation available.

Page 48 of many | Previous | Next