Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. mnameFromList :: [Name] -> ModuleName

   Agda	Agda.Syntax.Abstract.Name

   No documentation available.

2. mnameFromList1 :: List1 Name -> ModuleName

   Agda	Agda.Syntax.Abstract.Name

   No documentation available.

3. qnameFromList :: List1 Name -> QName

   Agda	Agda.Syntax.Abstract.Name

   No documentation available.

4. PrimStringFromList :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

5. PrimStringFromListInjective :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

6. freeVariablesFromList :: [Int] -> FreeVariables

   Agda	Agda.Syntax.Common

   No documentation available.

7. telFromList :: ListTel -> Telescope

   Agda	Agda.Syntax.Internal

   Convert a list telescope to a telescope.

8. telFromList' :: (a -> ArgName) -> ListTel' a -> Telescope

   Agda	Agda.Syntax.Internal

   No documentation available.

9. importedNameMapFromList :: (Ord n1, Ord m1) => [ImportedName' (n1, n2) (m1, m2)] -> ImportedNameMap n1 n2 m1 m2

   Agda	Agda.Syntax.Scope.Monad

   Create a ImportedNameMap.

10. primStringFromListInjective :: TCM PrimitiveImpl

    Agda	Agda.TypeChecking.Primitive

    No documentation available.

Page 73 of many | Previous | Next