Home
last modified time | relevance | path

Searched defs:ForAllTy (Results 1 – 6 of 6) sorted by relevance

/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/types/
H A DTyCoRep.hs203 | ForAllTy constructor
/dports/lang/ghc/ghc-8.10.7/compiler/types/
H A DTyCoRep.hs203 | ForAllTy constructor
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/TyCo/
H A DRep.hs214 | ForAllTy constructor
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/TyCo/
H A DRep.hs153 | ForAllTy constructor
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/
H A DType.hs1569 | ForAllTy {} <- coreFullView ty = True function
1621 | ForAllTy (Bndr tv _) inner_ty <- coreFullView ty = Just (tv, inner_ty) function
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/
H A DType.hs1829 | ForAllTy {} <- coreFullView ty = True function
1881 | ForAllTy (Bndr tv _) inner_ty <- coreFullView ty = Just (tv, inner_ty) function