Hoogle Search

Within LTS Haskell 24.58 (ghc-9.10.3)

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

Exact lookup

1. showbFixed :: HasResolution a => Bool -> Fixed a -> Builder

   text-show	TextShow.Data.Fixed

   Convert a Fixed value to a Builder, where the first argument indicates whether to chop off trailing zeroes. Since: 2

2. Fixed :: FPFormat

   text-show	TextShow.Data.Floating

   Standard decimal notation.

3. type DDeclaredInfix = Bool

   th-desugar	Language.Haskell.TH.Desugar

   True if a constructor is declared infix. For normal ADTs, this means that is was written in infix style. For example, both of the constructors below are declared infix.

   data Infix = Int Infix Int | Int :*: Int
   

   Whereas neither of these constructors are declared infix:

   data Prefix = Prefix Int Int | (:+:) Int Int
   

   For GADTs, detecting whether a constructor is declared infix is a bit trickier, as one cannot write a GADT constructor "infix-style" like one can for normal ADT constructors. GHC considers a GADT constructor to be declared infix if it meets the following three criteria:
   1. Its name uses operator syntax (e.g., (:*:)).
   2. It has exactly two fields (without record syntax).
   3. It has a programmer-specified fixity declaration.
   For example, in the following GADT:

   infixl 5 :**:, :&&:, :^^:, ActuallyPrefix
   data InfixGADT a where
   (:**:) :: Int -> b -> InfixGADT (Maybe b) -- Only this one is infix
   ActuallyPrefix :: Char -> Bool -> InfixGADT Double
   (:&&:) :: { infixGADT1 :: b, infixGADT2 :: Int } -> InfixGADT b :: Int -> Int -> Int -> InfixGADT Int
   (:!!:) :: Char -> Char -> InfixGADT Char
   

   Only the (:**:) constructor is declared infix. The other constructors are not declared infix, because:
   • ActuallyPrefix does not use operator syntax (criterion 1).
   • (:&&:) uses record syntax (criterion 2).
   • (:^^:) does not have exactly two fields (criterion 2).
   • (:!!:) does not have a programmer-specified fixity declaration (criterion 3).

4. DInfixD :: Fixity -> NamespaceSpecifier -> Name -> DLetDec

   th-desugar	Language.Haskell.TH.Desugar

   No documentation available.

5. InfixPatSyn :: Name -> Name -> PatSynArgs

   th-desugar	Language.Haskell.TH.Desugar

   pattern {x P y} = p
   

6. PrefixPatSyn :: [Name] -> PatSynArgs

   th-desugar	Language.Haskell.TH.Desugar

   pattern P {x y z} = p
   

7. reifyFixityWithLocals :: DsMonad q => Name -> q (Maybe Fixity)

   th-desugar	Language.Haskell.TH.Desugar

   Like reifyWithLocals_maybe, but for fixities. Note that a return value of Nothing might mean that the name is not in scope, or it might mean that the name has no assigned fixity. (Use reifyWithLocals_maybe if you really need to tell the difference.)

8. Unix :: Platform

   webdriver	Test.WebDriver

   No documentation available.

9. Unix :: Platform

   webdriver	Test.WebDriver.Capabilities

   No documentation available.

10. Unix :: Platform

    webdriver	Test.WebDriver.Types

    No documentation available.

Page 265 of many | Previous | Next