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. allSymsS :: AllSyms a => a -> [SomeSym] -> [SomeSym]

   grisette	Grisette.SymPrim

   Convert a value to a list of symbolic primitive values. It should prepend to an existing list of symbolic primitive values.

2. allSymsS1 :: (AllSyms1 f, AllSyms a) => f a -> [SomeSym] -> [SomeSym]

   grisette	Grisette.SymPrim

   Lift the standard allSymsS function to unary type constructors.

3. allSymsS2 :: (AllSyms2 f, AllSyms a, AllSyms b) => f a b -> [SomeSym] -> [SomeSym]

   grisette	Grisette.SymPrim

   Lift the standard allSymsS function to binary type constructors.

4. allSymsSize :: AllSyms a => a -> Int

   grisette	Grisette.SymPrim

   Get the total size of symbolic terms in a value. Duplicate sub-terms are counted for only once.

   >>> allSymsSize ("a" :: SymInteger, "a" + "b" :: SymInteger, ("a" + "b") * "c" :: SymInteger)
   5
   

   The 5 terms are a, b, (+ a b), c, and (* (+ a b) c).

5. allClasses0 :: [Name]

   grisette	Grisette.TH

   All the classes that can be derived for GADTs. This includes:

   • Mergeable
   • EvalSym
   • ExtractSym
   • SubstSym
   • NFData
   • Hashable (will fail to derive if the type contains any symbolic variables)
   • Show
   • PPrint
   • AllSyms
   • Eq
   • SymEq
   • SymOrd
   • UnifiedSymEq
   • Ord (will fail to derive if the type contains any symbolic variables)
   • UnifiedSymOrd
   • Serial
   • ToCon
   • ToSym

6. allClasses01 :: [Name]

   grisette	Grisette.TH

   All the classes that can be derived for GADT functors. This includes all the classes in allClasses0 and allClasses1.

7. allClasses012 :: [Name]

   grisette	Grisette.TH

   All the classes that can be derived for GADT functors. This includes all the classes in allClasses0, allClasses1, and allClasses2.

8. allSymsClasses :: [Name]

   grisette	Grisette.TH

   AllSyms classes that can be derived for GADTs. This includes:

   • AllSyms
   • AllSyms1
   • AllSyms2

9. allRecordTypes :: [RecordType]

   hetzner	Hetzner.DNS

   List with all supported record types.

10. allJournalCommodities :: Journal -> [CommoditySymbol]

    hledger-stockquotes	Hledger.StockQuotes.Compat

    Get all declared & inferred commodities of a Journal.

Page 136 of many | Previous | Next