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. setQuantity :: LensQuantity a => Quantity -> a -> a

    Agda Agda.Syntax.Common

    No documentation available.

  2. setQuantityMod :: LensModality a => LensSet a Quantity

    Agda Agda.Syntax.Common

    No documentation available.

  3. setRelevance :: LensRelevance a => Relevance -> a -> a

    Agda Agda.Syntax.Common

    No documentation available.

  4. setRelevanceMod :: LensModality a => LensSet a Relevance

    Agda Agda.Syntax.Common

    No documentation available.

  5. setAttribute :: LensAttribute a => Attribute -> a -> a

    Agda Agda.Syntax.Concrete.Attribute

    Setting an attribute (in e.g. an Arg). Overwrites previous value.

  6. setAttributes :: LensAttribute a => [Attribute] -> a -> a

    Agda Agda.Syntax.Concrete.Attribute

    Setting some attributes in left-to-right order. Blindly overwrites previous settings.

  7. setPristineAttribute :: LensAttribute a => Attribute -> a -> Maybe a

    Agda Agda.Syntax.Concrete.Attribute

    Setting an unset attribute (to e.g. an Arg).

  8. setPristineAttributes :: LensAttribute a => [Attribute] -> a -> Maybe a

    Agda Agda.Syntax.Concrete.Attribute

    Setting a list of unset attributes.

  9. setPristineCohesion :: LensCohesion a => Cohesion -> a -> Maybe a

    Agda Agda.Syntax.Concrete.Attribute

    Setting Cohesion if unset.

  10. setPristineLock :: LensLock a => Lock -> a -> Maybe a

    Agda Agda.Syntax.Concrete.Attribute

    Setting Lock if unset.

Page 748 of many | Previous | Next