Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

1. class SDecide k

   singletons-th	Data.Singletons.TH

   Members of the SDecide "kind" class support decidable equality. Instances of this class are generated alongside singleton definitions for datatypes that derive an Eq instance.

2. data Void

   singletons-th	Data.Singletons.TH

   Uninhabited data type

3. singDecideInstance :: OptionsMonad q => Name -> q [Dec]

   singletons-th	Data.Singletons.TH

   Create instances of SDecide, Eq, TestEquality, and TestCoercion for the given type.

4. singDecideInstances :: OptionsMonad q => [Name] -> q [Dec]

   singletons-th	Data.Singletons.TH

   Create instances of SDecide, Eq, TestEquality, and TestCoercion for each type in the list.

5. consider :: (Expr -> Expr -> Bool) -> Int -> Expr -> (Thy, [[Expr]]) -> (Thy, [[Expr]])

   speculate	Test.Speculate.Engine

   No documentation available.

6. invalid :: Thy -> [Equation]

   speculate	Test.Speculate.Reason

   reserved for rules and equations that were later found to be invalid through testing

7. sides :: Shy -> [Expr]

   speculate	Test.Speculate.SemiReason

   No documentation available.

8. beside :: String -> String -> String

   speculate	Test.Speculate.Utils

   Appends two Strings side by side, line by line

   beside ["asdf\nqw\n","zxvc\nas"] ==
   "asdfzxvc\n\
   \qw  as\n"
   

9. volumeEuclidean :: (C y, C u) => SignalRateInd rate u y y -> T u y

   synthesizer-dimensional	Synthesizer.Dimensional.Amplitude.Analysis

   Volume based on Energy norm.

10. volumeVectorEuclidean :: (C y yv, C y, C u) => SignalRateInd rate u y yv -> T u y

    synthesizer-dimensional	Synthesizer.Dimensional.Amplitude.Analysis

    Volume based on Energy norm.

Page 1417 of many | Previous | Next