Home
last modified time | relevance | path

Searched defs:ForallT (Results 1 – 7 of 7) sorted by relevance

/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/optics-th-0.3.0.2/src/Language/Haskell/TH/Optics/
H A DInternal.hs64 ForallT bs ctx ty -> let s' = s `Set.union` setOf typeVars bs function
99 ForallT bs ctx ty -> let s' = s `Set.union` setOf typeVars bs function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/haskell-src-meta-0.8.7/src/Language/Haskell/Meta/
H A DUtils.hs300 | ForallT _ _ t' <- t = typeToName t' function
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/generic-deriving-1.13.1/src/Generics/Deriving/TH/
H A DInternal.hs169 ground ForallT{} _ = rankNError function
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/libraries/template-haskell/Language/Haskell/TH/
H A DSyntax.hs2513 data Type = ForallT [TyVarBndr Specificity] Cxt Type -- ^ @forall \<vars\>. \<ctxt\> => \<type\>@ constructor
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/libraries/template-haskell/Language/Haskell/TH/
H A DSyntax.hs2355 data Type = ForallT [TyVarBndr] Cxt Type -- ^ @forall \<vars\>. \<ctxt\> => \<type\>@ constructor
/dports/lang/ghc/ghc-8.10.7/libraries/template-haskell/Language/Haskell/TH/
H A DSyntax.hs2355 data Type = ForallT [TyVarBndr] Cxt Type -- ^ @forall \<vars\>. \<ctxt\> => \<type\>@ constructor
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/libraries/template-haskell/Language/Haskell/TH/
H A DSyntax.hs2556 data Type = ForallT [TyVarBndr Specificity] Cxt Type -- ^ @forall \<vars\>. \<ctxt\> => \<type\>@ constructor