Hoogle Search

Within LTS Haskell 24.42 (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. (..:) :: FromJSON b => Setter' a b -> Text -> Object -> Parser (a -> a)

   configuration-tools	Configuration.Utils.ConfigFile

   A variant of the setProperty that uses the default parseJSON method from the FromJSON instance to parse the value of the property. Its usage pattern mimics the usage pattern of the .: operator from the aeson library.

   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)
   
   instance FromJSON (Auth → Auth) where
   parseJSON = withObject "Auth" $ \o → id
   <$< user ..: "user" % o
   <*< pwd ..: "pwd" % o
   

4. (.:) :: FromField a => NamedRecord -> ByteString -> Parser a

   csv-conduit	Data.CSV.Conduit.Conversion

   Alias for lookup.

5. (@:) :: Quote a => Id -> a -> (Id, Term)

   ede	Text.EDE.Filters

   No documentation available.

6. (@:) :: Quote a => Id -> a -> (Id, Term)

   ede	Text.EDE.Internal.Filters

   No documentation available.

7. (==:) :: (a -> b -> c -> d) -> a -> b

   extrapolate	Test.Extrapolate.TypeBinding

   No documentation available.

8. (!:) :: a -> T n a -> T (Succ n) a

   fixed-length	Data.FixedLength

   No documentation available.

9. (.:.) :: forall effect (m :: Type -> Type) (effects :: [(Type -> Type) -> Type]) . effect m -> Effects effects m -> Effects (effect ': effects) m

   free-vl	Control.Monad.Free.VanLaarhovenE

   Helper combinator for creating values of 'Effects effects m'

10. ($:) :: (a -> b) -> (a ::: p) -> b ::: p

    gdp	Data.Refined

    Given a value and a proof, apply a function to the value but leave the proof unchanged.

Page 96 of many | Previous | Next