Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. (.<) :: SupportTermOps v => v -> v -> v

    what4 What4.Protocol.SMTWriter

    Less-then

  2. (.<=) :: SupportTermOps v => v -> v -> v

    what4 What4.Protocol.SMTWriter

    Less-then-or-equal

  3. (.==) :: SupportTermOps v => v -> v -> v

    what4 What4.Protocol.SMTWriter

    Compare two elements for equality.

  4. (.>) :: SupportTermOps v => v -> v -> v

    what4 What4.Protocol.SMTWriter

    Greater then

  5. (.>=) :: SupportTermOps v => v -> v -> v

    what4 What4.Protocol.SMTWriter

    Greater then or equal

  6. (.||) :: SupportTermOps v => v -> v -> v

    what4 What4.Protocol.SMTWriter

    No documentation available.

  7. (.|.) :: Bits a => a -> a -> a

    xmonad XMonad

    Bitwise "or"

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

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

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

Page 47 of many | Previous | Next