Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. doubleQuotes :: Doc -> Doc

   template-haskell	Language.Haskell.TH.PprLib

   No documentation available.

2. ArithSeqE :: Range -> Exp

   template-haskell	Language.Haskell.TH.Syntax

   { [ 1 ,2 .. 10 ] }
   

3. BndrReq :: BndrVis

   template-haskell	Language.Haskell.TH.Syntax

   a
   

4. NameQ :: ModName -> NameFlavour

   template-haskell	Language.Haskell.TH.Syntax

   A qualified name; dynamically bound

5. data TySynEqn

   template-haskell	Language.Haskell.TH.Syntax

   One equation of a type family instance or closed type family. The arguments are the left-hand-side type and the right-hand-side result. For instance, if you had the following type family:

   type family Foo (a :: k) :: k where
   forall k (a :: k). Foo @k a = a
   

   The Foo @k a = a equation would be represented as follows:

   TySynEqn (Just [PlainTV k, KindedTV a (VarT k)])
   (AppT (AppKindT (ConT ''Foo) (VarT k)) (VarT a))
   (VarT a)
   

6. TySynEqn :: Maybe [TyVarBndr ()] -> Type -> Type -> TySynEqn

   template-haskell	Language.Haskell.TH.Syntax

   No documentation available.

7. cmpEq :: Ordering -> Bool

   template-haskell	Language.Haskell.TH.Syntax

   No documentation available.

8. mkNameQ :: String -> String -> Name

   template-haskell	Language.Haskell.TH.Syntax

   Only used internally

9. sequenceQ :: Monad m => forall a . () => [m a] -> m [a]

   template-haskell	Language.Haskell.TH.Syntax

   No documentation available.

10. unTypeQ :: forall a m . Quote m => m (TExp a) -> m Exp

    template-haskell	Language.Haskell.TH.Syntax

    Discard the type annotation and produce a plain Template Haskell expression Representation-polymorphic since template-haskell-2.16.0.0.

Page 140 of many | Previous | Next