Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. (%%=) :: MonadState o m => Lens' o i -> (i -> m (i, r)) -> m r

   Agda	Agda.Utils.Lens

   Modify a part of the state monadically, and return some result.

2. (%=) :: MonadState o m => Lens' o i -> (i -> i) -> m ()

   Agda	Agda.Utils.Lens

   Modify a part of the state.

3. (%==) :: MonadState o m => Lens' o i -> (i -> m i) -> m ()

   Agda	Agda.Utils.Lens

   Modify a part of the state monadically.

4. (%.<) :: Coords -> Plane -> Draw

   ansi-terminal-game	Terminal.Game

   Pastes a plane onto another (origin: bottom-left).

5. (%.>) :: Coords -> Plane -> Draw

   ansi-terminal-game	Terminal.Game

   Pastes a plane onto another (origin: bottom-right).

6. (%^>) :: Coords -> Plane -> Draw

   ansi-terminal-game	Terminal.Game

   Pastes a plane onto another (origin: top-right).

7. (%::) :: (Alternative f, Applicative f) => Lens' a b -> f (b -> b) -> f (a -> a)

   configuration-tools	Configuration.Utils.CommandLine

   An operator for applying a setter to an option parser that yields a modification function. Example usage:

   data HttpURL = HttpURL
   { _auth ∷ !Auth
   , _domain ∷ !String
   }
   
   auth ∷ Functor f ⇒ (Auth → f Auth) → HttpURL → f HttpURL
   auth f s = (\u → s { _auth = u }) <$> f (_auth s)
   
   domain ∷ Functor f ⇒ (String → f String) → HttpURL → f HttpURL
   domain f s = (\u → s { _domain = u }) <$> f (_domain s)
   
   path ∷ Functor f ⇒ (String → f String) → HttpURL → f HttpURL
   path f s = (\u → s { _path = u }) <$> f (_path s)
   
   -- or with lenses and TemplateHaskell just:
   -- $(makeLenses ''HttpURL)
   
   pHttpURL ∷ MParser HttpURL
   pHttpURL = id
   <$< auth %:: pAuth
   <*< domain .:: strOption
   % long "domain"
   ⊕ short 'd'
   ⊕ help "HTTP domain"
   

8. (%.:) :: FromJSON (b -> b) => Setter' a b -> Text -> Object -> Parser (a -> a)

   configuration-tools	Configuration.Utils.ConfigFile

   A variant of updateProperty that uses the FromJSON instance for the update function. It mimics the aeson operator .:. It creates a parser that modifies a setter with a parsed function.

   data HttpURL = HttpURL
   { _auth ∷ !Auth
   , _domain ∷ !String
   }
   
   auth ∷ Functor f ⇒ (Auth → f Auth) → HttpURL → f HttpURL
   auth f s = (\u → s { _auth = u }) <$> f (_auth s)
   
   domain ∷ Functor f ⇒ (String → f String) → HttpURL → f HttpURL
   domain f s = (\u → s { _domain = u }) <$> f (_domain s)
   
   path ∷ Functor f ⇒ (String → f String) → HttpURL → f HttpURL
   path f s = (\u → s { _path = u }) <$> f (_path s)
   
   -- or with lenses and TemplateHaskell just:
   -- $(makeLenses ''HttpURL)
   
   instance FromJSON (HttpURL → HttpURL) where
   parseJSON = withObject "HttpURL" $ \o → id
   <$< auth %.: "auth" % o
   <*< domain ..: "domain" % o
   

9. (%=) :: (HasHppState m, Monad m) => Lens HppState a -> (a -> a) -> m ()

   hpp	Hpp.Types

   No documentation available.

10. (%&&) :: Exp Bool -> Exp Bool -> Exp Bool

    nsis	Development.NSIS

    Short circuiting boolean operators, equivalent to && and || but on Exp.

Page 23 of many | Previous | Next