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. inameMap :: ImportedNameMap n1 n2 m1 m2 -> Map n1 n2

   Agda	Agda.Syntax.Scope.Monad

   No documentation available.

2. prettyMap_ :: (Pretty k, Pretty v) => Map k v -> [Doc]

   Agda	Agda.TypeChecking.CompiledClause

   No documentation available.

3. forallFaceMaps :: MonadConversion m => Term -> (IntMap Bool -> Blocker -> Term -> m a) -> (IntMap Bool -> Substitution -> m a) -> m [a]

   Agda	Agda.TypeChecking.Conversion

   No documentation available.

4. filterVarMap :: (VarOcc -> Bool) -> VarMap -> VarSet

   Agda	Agda.TypeChecking.Free

   No documentation available.

5. filterVarMapToList :: (VarOcc -> Bool) -> VarMap -> [Variable]

   Agda	Agda.TypeChecking.Free

   No documentation available.

6. newtype FlexRigMap

   Agda	Agda.TypeChecking.Free.Lazy

   No documentation available.

7. FlexRigMap :: TheFlexRigMap -> FlexRigMap

   Agda	Agda.TypeChecking.Free.Lazy

   No documentation available.

8. type TheFlexRigMap = IntMap FlexRig' ()

   Agda	Agda.TypeChecking.Free.Lazy

   Keep track of FlexRig for every variable, but forget the involved meta vars.

9. type TheVarMap = TheVarMap' MetaSet

   Agda	Agda.TypeChecking.Free.Lazy

   No documentation available.

10. type TheVarMap' a = IntMap VarOcc' a

    Agda	Agda.TypeChecking.Free.Lazy

    Representation of a variable set as map from de Bruijn indices to VarOcc.

Page 1112 of many | Previous | Next