Searched refs:typeEnvCoAxioms (Results 1 – 7 of 7) sorted by relevance
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Types/ |
H A D | TypeEnv.hs | 17 , typeEnvCoAxioms 44 typeEnvCoAxioms :: TypeEnv -> [CoAxiom Branched] 54 typeEnvCoAxioms env = [ax | ACoAxiom ax <- typeEnvElts env] function
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/main/ |
H A D | HscTypes.hs | 112 typeEnvDataCons, typeEnvCoAxioms, typeEnvClasses, 2188 typeEnvCoAxioms :: TypeEnv -> [CoAxiom Branched] 2198 typeEnvCoAxioms env = [ax | ACoAxiom ax <- typeEnvElts env] function
|
/dports/lang/ghc/ghc-8.10.7/compiler/main/ |
H A D | HscTypes.hs | 112 typeEnvDataCons, typeEnvCoAxioms, typeEnvClasses, 2188 typeEnvCoAxioms :: TypeEnv -> [CoAxiom Branched] 2198 typeEnvCoAxioms env = [ax | ACoAxiom ax <- typeEnvElts env] function
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Driver/ |
H A D | Types.hs | 111 typeEnvDataCons, typeEnvCoAxioms, typeEnvClasses, 2234 typeEnvCoAxioms :: TypeEnv -> [CoAxiom Branched] 2244 typeEnvCoAxioms env = [ax | ACoAxiom ax <- typeEnvElts env] function
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/ |
H A D | Types.hs | 1758 axioms = typeEnvCoAxioms (tcg_type_env tcg_env)
|
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/ |
H A D | Types.hs | 1744 axioms = typeEnvCoAxioms (tcg_type_env tcg_env)
|
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
H A D | TcRnDriver.hs | 2792 (typeEnvCoAxioms type_env) ]
|