Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. (.::) :: (d -> e) -> (a1 -> a2 -> b -> c -> d) -> a1 -> a2 -> b -> c -> e

   composition	Data.Composition

   No documentation available.

2. (.::.) :: (d -> e) -> (a1 -> a2 -> a3 -> b -> c -> d) -> a1 -> a2 -> a3 -> b -> c -> e

   composition	Data.Composition

   No documentation available.

3. (.:::) :: (d -> e) -> (a1 -> a2 -> a3 -> a4 -> b -> c -> d) -> a1 -> a2 -> a3 -> a4 -> b -> c -> e

   composition	Data.Composition

   No documentation available.

4. (.:::.) :: (d -> e) -> (a1 -> a2 -> a3 -> a4 -> a5 -> b -> c -> d) -> a1 -> a2 -> a3 -> a4 -> a5 -> b -> c -> e

   composition	Data.Composition

   No documentation available.

5. (.::::) :: (d -> e) -> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> b -> c -> d) -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> b -> c -> e

   composition	Data.Composition

   No documentation available.

6. (.::::.) :: (d -> e) -> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> b -> c -> d) -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> b -> c -> e

   composition	Data.Composition

   No documentation available.

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. (.::) :: (Alternative f, Applicative f) => Lens' a b -> f b -> f (a -> a)

   configuration-tools	Configuration.Utils.CommandLine

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

   data Auth = Auth
   { _user ∷ !String
   , _pwd ∷ !String
   }
   
   user ∷ Functor f ⇒ (String → f String) → Auth → f Auth
   user f s = (\u → s { _user = u }) <$> f (_user s)
   
   pwd ∷ Functor f ⇒ (String → f String) → Auth → f Auth
   pwd f s = (\p → s { _pwd = p }) <$> f (_pwd s)
   
   -- or with lenses and TemplateHaskell just:
   -- $(makeLenses ''Auth)
   
   pAuth ∷ MParser Auth
   pAuth = id
   <$< user .:: strOption
   % long "user"
   ⊕ short 'u'
   ⊕ help "user name"
   <*< pwd .:: strOption
   % long "pwd"
   ⊕ help "password for user"
   

9. (!..:) :: FromJSON b => Lens' a b -> Text -> Object -> Parser (a -> a)

   configuration-tools	Configuration.Utils.ConfigFile

   This operator requires that a value is explicitly provided in a configuration file, thus preventing the default value from being used. Otherwise this operator does the same as (..:).

10. (%.:) :: 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
    

Page 95 of many | Previous | Next