Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. setContext :: LayoutContext -> Parser ()

   Agda	Agda.Syntax.Parser.Monad

   No documentation available.

2. setLastPos :: PositionWithoutFile -> Parser ()

   Agda	Agda.Syntax.Parser.Monad

   No documentation available.

3. setParsePos :: PositionWithoutFile -> Parser ()

   Agda	Agda.Syntax.Parser.Monad

   No documentation available.

4. setPrevToken :: String -> Parser ()

   Agda	Agda.Syntax.Parser.Monad

   No documentation available.

5. setRange :: SetRange a => Range -> a -> a

   Agda	Agda.Syntax.Position

   No documentation available.

6. setBindingSite :: SetBindingSite a => Range -> a -> a

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

7. setNameSpace :: NameSpaceId -> NameSpace -> Scope -> Scope

   Agda	Agda.Syntax.Scope.Base

   Update a particular name space.

8. setScopeAccess :: NameSpaceId -> Scope -> Scope

   Agda	Agda.Syntax.Scope.Base

   Move all names in a scope to the given name space (except never move from Imported to Public).

9. setScopeLocals :: LocalVars -> ScopeInfo -> ScopeInfo

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

10. setVarsToBind :: LocalVars -> ScopeInfo -> ScopeInfo

    Agda	Agda.Syntax.Scope.Base

    No documentation available.

Page 750 of many | Previous | Next