Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

  1. _optFirstOrder :: PragmaOptions -> WithDefault 'False

    Agda Agda.Interaction.Options

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

  2. _optFirstOrder :: PragmaOptions -> WithDefault 'False

    Agda Agda.Interaction.Options

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

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

    Agda Agda.Interaction.Options

    No documentation available.

  4. optFirstOrder :: PragmaOptions -> Bool

    Agda Agda.Interaction.Options

    No documentation available.

  5. 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.

  6. funFirstOrder :: Lens' Defn Bool

    Agda Agda.TypeChecking.Monad.Base

    Toggle the FunFirstOrder flag.

  7. markFirstOrder :: QName -> TCM ()

    Agda Agda.TypeChecking.Monad.Signature

    No documentation available.

  8. pattern RUINED_FIRST_AID_KIT :: GroupName ItemKind

    Allure Content.ItemKindEmbed

    No documentation available.

  9. IO_FirstN :: Int -> AmortPlan -> AmortPlan

    Hastructure AssetClass.AssetBase

    interest only for first N period

  10. NO_FirstN :: Int -> AmortPlan -> AmortPlan

    Hastructure AssetClass.AssetBase

    non payment during first N period

Page 89 of many | Previous | Next