Hoogle Search

Within Stackage Nightly 2026-06-21 (ghc-9.12.4)

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

Exact lookup

1. SetSecret :: Text -> Text -> Text -> !Maybe [Id Repo] -> SetSecret

   github	GitHub.Data.Actions.Secrets

   No documentation available.

2. data SetSelectedRepositories

   github	GitHub.Data.Actions.Secrets

   No documentation available.

3. SetSelectedRepositories :: [Id Repo] -> SetSelectedRepositories

   github	GitHub.Data.Actions.Secrets

   No documentation available.

4. module Data.Set_LHAssumptions

   No documentation available.

5. data SETouch

   memcache	Database.Memcache.Types

   No documentation available.

6. SETouch :: Expiration -> SETouch

   memcache	Database.Memcache.Types

   No documentation available.

7. class (Applicative f, Distributive f, Traversable f) => Settable (f :: Type -> Type)

   microformats2-parser	Data.Microformats2.Parser.Util

   Anything Settable must be isomorphic to the Identity Functor.

8. Setter :: Setter s t a b -> ReifiedSetter s t a b

   microformats2-parser	Data.Microformats2.Parser.Util

   No documentation available.

9. type Setter s t a b = forall (f :: Type -> Type) . Settable f => a -> f b -> s -> f t

   microformats2-parser	Data.Microformats2.Parser.Util

   The only LensLike law that can apply to a Setter l is that

   set l y (set l x a) ≡ set l y a
   

   You can't view a Setter in general, so the other two laws are irrelevant. However, two Functor laws apply to a Setter:

   over l id ≡ id
   over l f . over l g ≡ over l (f . g)
   

   These can be stated more directly:

   l pure ≡ pure
   l f . untainted . l g ≡ l (f . untainted . g)
   

   You can compose a Setter with a Lens or a Traversal using (.) from the Prelude and the result is always only a Setter and nothing more.

   >>> over traverse f [a,b,c,d]
   [f a,f b,f c,f d]
   

   >>> over _1 f (a,b)
   (f a,b)
   

   >>> over (traverse._1) f [(a,b),(c,d)]
   [(f a,b),(f c,d)]
   

   >>> over both f (a,b)
   (f a,f b)
   

   >>> over (traverse.both) f [(a,b),(c,d)]
   [(f a,f b),(f c,f d)]
   

10. type Setter' s a = Setter s s a a

    microformats2-parser	Data.Microformats2.Parser.Util

    A Setter' is just a Setter that doesn't change the types. These are particularly common when talking about monomorphic containers. e.g.

    sets Data.Text.map :: Setter' Text Char
    

    type Setter' = Simple Setter
    

Page 28 of many | Previous | Next