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. setImportedName :: ImportedName' a a -> a -> ImportedName' a a

   Agda	Agda.Syntax.Common

   No documentation available.

2. setLock :: LensLock a => Lock -> a -> a

   Agda	Agda.Syntax.Common

   No documentation available.

3. setModalPolarity :: LensModalPolarity a => PolarityModality -> a -> a

   Agda	Agda.Syntax.Common

   No documentation available.

4. setModality :: LensModality a => Modality -> a -> a

   Agda	Agda.Syntax.Common

   No documentation available.

5. setModalityArgInfo :: LensArgInfo a => LensSet a Modality

   Agda	Agda.Syntax.Common

   No documentation available.

6. setNameOf :: LensNamed a => Maybe (NameOf a) -> a -> a

   Agda	Agda.Syntax.Common

   No documentation available.

7. setNamedArg :: NamedArg a -> b -> NamedArg b

   Agda	Agda.Syntax.Common

   setNamedArg a b = updateNamedArg (const b) a
   

8. setOrigin :: LensOrigin a => Origin -> a -> a

   Agda	Agda.Syntax.Common

   No documentation available.

9. setOriginArgInfo :: LensArgInfo a => LensSet a Origin

   Agda	Agda.Syntax.Common

   No documentation available.

10. setPolarityMod :: LensModality a => LensSet a PolarityModality

    Agda	Agda.Syntax.Common

    No documentation available.

Page 747 of many | Previous | Next