Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. iDefaultPragmaOptions :: Interface -> [OptionsPragma]

   Agda	Agda.TypeChecking.Monad.Base

   Pragma options set in library files.

2. iDisplayForms :: Interface -> DisplayForms

   Agda	Agda.TypeChecking.Monad.Base

   Display forms added for imported identifiers.

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

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

4. idS :: Substitution' a

   Agda	Agda.TypeChecking.Substitute.Class

   No documentation available.

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

   Agda	Agda.Utils.FileId

   No documentation available.

6. idToFile :: FileDict -> IdToFile

   Agda	Agda.Utils.FileId

   No documentation available.

7. idP :: Int -> Permutation

   Agda	Agda.Utils.Permutation

   Identity permutation.

8. identSection :: CF -> [String]

   BNFC	BNFC.Backend.Latex

   No documentation available.

9. identRule :: Doc

   BNFC	BNFC.Backend.TreeSitter.CFtoTreeSitter

   Predefined builtin token rules

10. identRule :: CF -> String

    BNFC	BNFC.Backend.XML

    No documentation available.

Page 308 of many | Previous | Next