Hoogle Search

Within LTS Haskell 24.3 (ghc-9.10.2)

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

Exact lookup

1. deriveEnumerable' :: ConstructorDeriv -> Q [Dec]

   size-based	Control.Enumerable

   Derive an instance of Enumberable with Template Haskell, with rules for some specific constructors

2. deriveByParam :: Int -> Fix SRTree -> Fix SRTree

   srtree	Data.SRTree.Derivative

   Symbolic derivative by a parameter

3. deriveByVar :: Int -> Fix SRTree -> Fix SRTree

   srtree	Data.SRTree.Derivative

   Symbolic derivative by a variable

4. deriveSymmetryOperation :: (Monad m, Integral a) => (SymbolSenseVectorOrientation -> m String) -> SymbolSenseVectorOrientation -> m (Matrix (Ratio a))

   symmetry-operations-symbols	Data.Matrix.SymmetryOperationsSymbols.Calc

   No documentation available.

5. deriveJSON' :: Name -> Q [Dec]

   telegram-bot-api	Telegram.Bot.API.Internal.Utils

   No documentation available.

6. deriveGTraversable :: Name -> Q [Dec]

   traverse-with-class	Data.Generics.Traversable.TH

   Example usage:

   data MyType = MyType
   
   deriveGTraversable ''MyType
   

   It tries to create the necessary instance constraints, but is not very smart about it For tricky types, it may fail or produce an overconstrained instance. In that case, write the instance declaration yourself and use gtraverseExpr to derive the implementation:

   data MyType a = MyType
   
   instance GTraversable (MyType a) where
   gtraverse = $(gtraverseExpr ''MyType)
   

7. derivePathInfo :: Name -> Q [Dec]

   web-routes-th	Web.Routes.TH

   use Template Haskell to create PathInfo instances for a type.

   $(derivePathInfo ''SiteURL)
   

   Uses the standard formatter by default.

8. derivePathInfo' :: (String -> String) -> Name -> Q [Dec]

   web-routes-th	Web.Routes.TH

   use Template Haskell to create PathInfo instances for a type. This variant allows the user to supply a function that transforms the constructor name to a prettier rendering. It is important that the transformation function generates a unique output for each input. For example, simply converting the string to all lower case is not acceptable, because then FooBar and Foobar would be indistinguishable.

   $(derivePathInfo' standard ''SiteURL)
   

   see also: standard

9. derivePersistField :: String -> Q [Dec]

   classy-prelude-yesod	ClassyPrelude.Yesod

   Automatically creates a valid PersistField instance for any datatype that has valid Show and Read instances. Can be very convenient for Enum types.

10. derivePersistFieldJSON :: String -> Q [Dec]

    classy-prelude-yesod	ClassyPrelude.Yesod

    Automatically creates a valid PersistField instance for any datatype that has valid ToJSON and FromJSON instances. For a datatype T it generates instances similar to these:

    instance PersistField T where
    toPersistValue = PersistByteString . L.toStrict . encode
    fromPersistValue = (left T.pack) . eitherDecodeStrict' <=< fromPersistValue
    instance PersistFieldSql T where
    sqlType _ = SqlString
    

Page 51 of many | Previous | Next