Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

  1. xpFindFirst :: (t -> Bool) -> PU [t] a -> PU [t] a

    xml-picklers Data.XML.Pickle

    Select a single element from the list and apply unpickler to it. Returns no value when no element matches the predicate. Fails when the unpickler doesn't return a value. When pickling, this is a noop.

  2. lSBFirst :: ByteOrder

    xmonad XMonad

    No documentation available.

  3. mSBFirst :: ByteOrder

    xmonad XMonad

    No documentation available.

  4. _optFirstOrder :: PragmaOptions -> WithDefault 'False

    Agda Agda.Interaction.Options

    Should we speculatively unify function applications as if they were injective? Implies optRequireUniqueMetaSolutions.

  5. _optFirstOrder :: PragmaOptions -> WithDefault 'False

    Agda Agda.Interaction.Options

    Should we speculatively unify function applications as if they were injective? Implies optRequireUniqueMetaSolutions.

  6. lensOptFirstOrder :: Functor f => (WithDefault 'False -> f (WithDefault 'False)) -> PragmaOptions -> f PragmaOptions

    Agda Agda.Interaction.Options

    No documentation available.

  7. optFirstOrder :: PragmaOptions -> Bool

    Agda Agda.Interaction.Options

    No documentation available.

  8. FunFirstOrder :: FunctionFlag

    Agda Agda.TypeChecking.Monad.Base

    Is this function INJECTIVE_FOR_INFERENCE? Indicates whether the first-order shortcut should be applied to the definition.

  9. funFirstOrder :: Lens' Defn Bool

    Agda Agda.TypeChecking.Monad.Base

    Toggle the FunFirstOrder flag.

  10. markFirstOrder :: QName -> TCM ()

    Agda Agda.TypeChecking.Monad.Signature

    No documentation available.

Page 88 of many | Previous | Next