Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ghc-lib-parser GHC.Internal.TH.Syntax { [ 1 ,2 .. 10 ] } -
ghc-lib-parser GHC.Internal.TH.Syntax a
NameQ :: ModName -> NameFlavourghc-lib-parser GHC.Internal.TH.Syntax A qualified name; dynamically bound
-
ghc-lib-parser GHC.Internal.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)
TySynEqn :: Maybe [TyVarBndr ()] -> Type -> Type -> TySynEqnghc-lib-parser GHC.Internal.TH.Syntax No documentation available.
-
ghc-lib-parser GHC.Internal.TH.Syntax Internal helper function.
mkNameQ :: String -> String -> Nameghc-lib-parser GHC.Internal.TH.Syntax Only used internally
sequenceQ :: Monad m => forall a . () => [m a] -> m [a]ghc-lib-parser GHC.Internal.TH.Syntax This function is only used in Quote when desugaring brackets. This is not necessary for the user, who can use the ordinary return and (>>=) operations.
unTypeQ :: forall a m . Quote m => m (TExp a) -> m Expghc-lib-parser GHC.Internal.TH.Syntax Discard the type annotation and produce a plain Template Haskell expression Representation-polymorphic since template-haskell-2.16.0.0.
-
ghc-lib-parser GHC.JS.JStg.Syntax InEquality: !=