Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. identifier :: LexAction Token

   Agda	Agda.Syntax.Parser.LexActions

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

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

3. iDefaultPragmaOptions :: Interface -> [OptionsPragma]

   Agda	Agda.TypeChecking.Monad.Base

   Pragma options set in library files.

4. iDisplayForms :: Interface -> DisplayForms

   Agda	Agda.TypeChecking.Monad.Base

   Display forms added for imported identifiers.

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

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

6. idS :: Substitution' a

   Agda	Agda.TypeChecking.Substitute.Class

   No documentation available.

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

   Agda	Agda.Utils.FileId

   No documentation available.

8. idToFile :: FileDict -> IdToFile

   Agda	Agda.Utils.FileId

   No documentation available.

9. idP :: Int -> Permutation

   Agda	Agda.Utils.Permutation

   Identity permutation.

10. identSection :: CF -> [String]

    BNFC	BNFC.Backend.Latex

    No documentation available.

Page 308 of many | Previous | Next