Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. IdS :: Substitution' a

   Agda	Agda.Syntax.Internal

   Identity substitution. Γ ⊢ IdS : Γ

2. IdiomType :: Type -> EqualityView

   Agda	Agda.Syntax.Internal

   A reduced type used as type for the with inspect idiom.

3. IdiomBracketError :: String -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   Error during (operator) parsing and interpreting the contents of idiom brackets. Error message in String.

4. IdS :: Substitution' a

   Agda	Agda.TypeChecking.Substitute

   Identity substitution. Γ ⊢ IdS : Γ

5. type IdToFile = EnumMap FileId File

   Agda	Agda.Utils.FileId

   No documentation available.

6. Ident :: String -> Name

   Agda	Agda.Utils.Haskell.Syntax

   No documentation available.

7. IdCat :: Identifier -> Cat

   BNFC	BNFC.Abs

   No documentation available.

8. newtype Identifier

   BNFC	BNFC.Abs

   No documentation available.

9. Identifier :: ((Int, Int), String) -> Identifier

   BNFC	BNFC.Abs

   No documentation available.

10. data IdTagged a

    ShellCheck	ShellCheck.CFG

    No documentation available.

Page 209 of many | Previous | Next