Home
last modified time | relevance | path

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

/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/
H A DFamInstEnv.hs89 data FamInst -- See Note [FamInsts and CoAxioms] type
90 = FamInst { fi_axiom :: CoAxiom Unbranched -- The new coercion axiom constructor
/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 DFamInstEnv.hs91 data FamInst -- See Note [FamInsts and CoAxioms] type
92 = FamInst { fi_axiom :: CoAxiom Unbranched -- The new coercion axiom constructor
/dports/lang/ghc/ghc-8.10.7/compiler/types/
H A DFamInstEnv.hs91 data FamInst -- See Note [FamInsts and CoAxioms] type
92 = FamInst { fi_axiom :: CoAxiom Unbranched -- The new coercion axiom constructor
/dports/lang/ghc/ghc-8.10.7/utils/haddock/haddock-api/src/Haddock/Interface/
H A DAttachInstances.hs222 instFam FamInst { fi_fam = n, fi_tys = ts, fi_rhs = t } function
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/
H A DFamInstEnv.hs91 data FamInst -- See Note [FamInsts and CoAxioms] type
92 = FamInst { fi_axiom :: CoAxiom Unbranched -- The new coercion axiom constructor
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/
H A DFamInst.hs5 module FamInst ( module