Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. type VarStrictTypeQ = Q VarStrictType

   template-haskell	Language.Haskell.TH.Lib.Internal

   No documentation available.

2. arithSeqE :: Quote m => m Range -> m Exp

   template-haskell	Language.Haskell.TH.Lib.Internal

   No documentation available.

3. bndrReq :: BndrVis

   template-haskell	Language.Haskell.TH.Lib.Internal

   No documentation available.

4. tySynEqn :: Quote m => Maybe [m (TyVarBndr ())] -> m Type -> m Type -> m TySynEqn

   template-haskell	Language.Haskell.TH.Lib.Internal

   No documentation available.

5. doubleQuotes :: Doc -> Doc

   template-haskell	Language.Haskell.TH.PprLib

   No documentation available.

6. ArithSeqE :: Range -> Exp

   template-haskell	Language.Haskell.TH.Syntax

   { [ 1 ,2 .. 10 ] }
   

7. BndrReq :: BndrVis

   template-haskell	Language.Haskell.TH.Syntax

   a
   

8. NameQ :: ModName -> NameFlavour

   template-haskell	Language.Haskell.TH.Syntax

   A qualified name; dynamically bound

9. 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)
   

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

    template-haskell	Language.Haskell.TH.Syntax

    No documentation available.

Page 142 of many | Previous | Next