Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

  1. identityListProduct :: forall (lt :: [Type]) . ListType Identity lt -> ListProduct lt

    witness Data.Type.Witness.Specific.List.Product

    No documentation available.

  2. idHook :: Monoid m => m

    xmonad XMonad.ManageHook

    The identity hook that returns the WindowSet unchanged.

  3. identifier :: LexAction Token

    Agda Agda.Syntax.Parser.LexActions

    Parse an identifier. Identifiers can be qualified (see Name). Example: Foo.Bar.f

  4. idempotent :: (?cutoff :: CutOff) => CallMatrixAug cinfo -> Bool

    Agda Agda.Termination.Termination

    A call c is idempotent if it is an endo (source == target) of order 1. (Endo-calls of higher orders are e.g. argument permutations). We can test idempotency by self-composition. Self-composition c >*< c should not make any parameter-argument relation worse.

  5. iDefaultPragmaOptions :: Interface -> [OptionsPragma]

    Agda Agda.TypeChecking.Monad.Base

    Pragma options set in library files.

  6. iDisplayForms :: Interface -> DisplayForms

    Agda Agda.TypeChecking.Monad.Base

    Display forms added for imported identifiers.

  7. idFromFile :: MonadFileId m => File -> m FileId

    Agda Agda.TypeChecking.Monad.Base

    No documentation available.

  8. idS :: Substitution' a

    Agda Agda.TypeChecking.Substitute.Class

    No documentation available.

  9. idFromFile :: MonadFileId m => File -> m FileId

    Agda Agda.Utils.FileId

    No documentation available.

  10. idToFile :: FileDict -> IdToFile

    Agda Agda.Utils.FileId

    No documentation available.

Page 307 of many | Previous | Next