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.

  1. setPristinePolarity :: LensModalPolarity a => PolarityModality -> a -> Maybe a

    Agda Agda.Syntax.Concrete.Attribute

    Setting ModalPolarity if unset.

  2. setPristineQuantity :: LensQuantity a => Quantity -> a -> Maybe a

    Agda Agda.Syntax.Concrete.Attribute

    Setting Quantity if unset.

  3. setPristineRelevance :: LensRelevance a => Relevance -> a -> Maybe a

    Agda Agda.Syntax.Concrete.Attribute

    Setting Relevance if unset.

  4. setInScope :: LensInScope a => a -> a

    Agda Agda.Syntax.Concrete.Name

    No documentation available.

  5. setNameSuffix :: Maybe Suffix -> Name -> Name

    Agda Agda.Syntax.Concrete.Name

    Replaces the suffix of a name. Unless the suffix is Nothing, the name should not be NoName.

  6. setNotInScope :: LensInScope a => a -> a

    Agda Agda.Syntax.Concrete.Name

    No documentation available.

  7. setConName :: LensConName a => QName -> a -> a

    Agda Agda.Syntax.Internal

    No documentation available.

  8. setLexInput :: AlexInput -> Parser ()

    Agda Agda.Syntax.Parser.Alex

    No documentation available.

  9. setTacticAttr :: [Attr] -> NamedArg Binder -> NamedArg Binder

    Agda Agda.Syntax.Parser.Helpers

    Set the tactic attribute of a binder

  10. setInput :: AlexInput -> LookAhead ()

    Agda Agda.Syntax.Parser.LookAhead

    Set the look-ahead position.

Page 749 of many | Previous | Next