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. setupDotEmacs :: String -> IO ()

   Agda	Agda.Setup.EmacsMode

   Tries to set up the Agda mode in the given .emacs file.

2. setupFlag :: String

   Agda	Agda.Setup.EmacsMode

   No documentation available.

3. setAnnotation :: LensAnnotation a => Annotation -> a -> a

   Agda	Agda.Syntax.Common

   No documentation available.

4. setArgInfo :: LensArgInfo a => ArgInfo -> a -> a

   Agda	Agda.Syntax.Common

   No documentation available.

5. setCohesion :: LensCohesion a => Cohesion -> a -> a

   Agda	Agda.Syntax.Common

   No documentation available.

6. setCohesionMod :: LensModality a => LensSet a Cohesion

   Agda	Agda.Syntax.Common

   No documentation available.

7. setFreeVariables :: LensFreeVariables a => FreeVariables -> a -> a

   Agda	Agda.Syntax.Common

   No documentation available.

8. setFreeVariablesArgInfo :: LensArgInfo a => LensSet a FreeVariables

   Agda	Agda.Syntax.Common

   No documentation available.

9. setHiding :: LensHiding a => Hiding -> a -> a

   Agda	Agda.Syntax.Common

   No documentation available.

10. setHidingArgInfo :: LensArgInfo a => LensSet a Hiding

    Agda	Agda.Syntax.Common

    No documentation available.

Page 746 of many | Previous | Next