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. RequiredTypeArguments :: Extension

   template-haskell	Language.Haskell.TH

   No documentation available.

2. data TySynEqn

   template-haskell	Language.Haskell.TH

   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)
   

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

   template-haskell	Language.Haskell.TH

   No documentation available.

4. RequiredTypeArguments :: Extension

   template-haskell	Language.Haskell.TH.LanguageExtensions

   No documentation available.

5. type BangTypeQ = Q BangType

   template-haskell	Language.Haskell.TH.Lib

   No documentation available.

6. type ClauseQ = Q Clause

   template-haskell	Language.Haskell.TH.Lib

   No documentation available.

7. type CodeQ = Code Q

   template-haskell	Language.Haskell.TH.Lib

   No documentation available.

8. type DerivClauseQ = Q DerivClause

   template-haskell	Language.Haskell.TH.Lib

   No documentation available.

9. type RangeQ = Q Range

   template-haskell	Language.Haskell.TH.Lib

   No documentation available.

10. type StrictTypeQ = Q StrictType

    template-haskell	Language.Haskell.TH.Lib

    No documentation available.

Page 137 of many | Previous | Next