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. killRangeMap :: (KillRange k, KillRange v) => KillRangeT (Map k v)

   Agda	Agda.Syntax.Position

   Remove ranges in keys and values of a map.

2. type ModuleMap = Map ModuleName [QName]

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

3. type NameMap = Map QName NameMapEntry

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

4. data NameMapEntry

   Agda	Agda.Syntax.Scope.Base

   For the sake of highlighting, the _scopeInverseName map also stores the KindOfName of an A.QName.

5. NameMapEntry :: KindOfName -> List1 QName -> NameMapEntry

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

6. recomputeInverseScopeMaps :: ScopeInfo -> ScopeInfo

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

7. data ImportedNameMap n1 n2 m1 m2

   Agda	Agda.Syntax.Scope.Monad

   A finite map for ImportedNames.

8. ImportedNameMap :: Map n1 n2 -> Map m1 m2 -> ImportedNameMap n1 n2 m1 m2

   Agda	Agda.Syntax.Scope.Monad

   No documentation available.

9. imoduleMap :: ImportedNameMap n1 n2 m1 m2 -> Map m1 m2

   Agda	Agda.Syntax.Scope.Monad

   No documentation available.

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

    Agda	Agda.Syntax.Scope.Monad

    Create a ImportedNameMap.

Page 1111 of many | Previous | Next