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

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

3. (<..<) :: Extended Integer -> Extended Integer -> IntegerInterval

   data-interval	Data.IntegerInterval

   open interval (l, u)

4. (<..<=) :: Extended Integer -> Extended Integer -> IntegerInterval

   data-interval	Data.IntegerInterval

   left-open right-closed interval (l,u]

5. (<=..<) :: Extended Integer -> Extended Integer -> IntegerInterval

   data-interval	Data.IntegerInterval

   left-closed right-open interval [l, u)

6. (<=..<=) :: Extended Integer -> Extended Integer -> IntegerInterval

   data-interval	Data.IntegerInterval

   closed interval [l,u]

7. (<..<) :: Ord r => Extended r -> Extended r -> Interval r

   data-interval	Data.Interval

   open interval (l, u)

8. (<..<=) :: Ord r => Extended r -> Extended r -> Interval r

   data-interval	Data.Interval

   left-open right-closed interval (l,u]

9. (<=..<) :: Ord r => Extended r -> Extended r -> Interval r

   data-interval	Data.Interval

   left-closed right-open interval [l, u)

10. (<=..<=) :: Ord r => Extended r -> Extended r -> Interval r

    data-interval	Data.Interval

    closed interval [l,u]

Page 143 of many | Previous | Next