Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

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

  2. iDefaultPragmaOptions :: Interface -> [OptionsPragma]

    Agda Agda.TypeChecking.Monad.Base

    Pragma options set in library files.

  3. iDisplayForms :: Interface -> DisplayForms

    Agda Agda.TypeChecking.Monad.Base

    Display forms added for imported identifiers.

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

    Agda Agda.TypeChecking.Monad.Base

    No documentation available.

  5. idS :: Substitution' a

    Agda Agda.TypeChecking.Substitute.Class

    No documentation available.

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

    Agda Agda.Utils.FileId

    No documentation available.

  7. idToFile :: FileDict -> IdToFile

    Agda Agda.Utils.FileId

    No documentation available.

  8. idP :: Int -> Permutation

    Agda Agda.Utils.Permutation

    Identity permutation.

  9. identSection :: CF -> [String]

    BNFC BNFC.Backend.Latex

    No documentation available.

  10. identRule :: Doc

    BNFC BNFC.Backend.TreeSitter.CFtoTreeSitter

    Predefined builtin token rules

Page 308 of many | Previous | Next