Home
last modified time | relevance | path

Searched defs:NewTyCon (Results 1 – 4 of 4) sorted by relevance

/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/
H A DTyCon.hs1261 the NewTyCon for T will contain nt_co = CoT where CoT :: forall a. T a ~ a -> a. function
1943 isNewTyCon (AlgTyCon {algTcRhs = NewTyCon {}}) = True function
2274 | NewTyCon { nt_lev_poly = lev_poly } <- rhs function
2347 NewTyCon { data_con = con } -> Just [con] function
2363 NewTyCon { data_con = c } -> Just c function
2432 newTyConEtadArity (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) function
2439 newTyConEtadRhs (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) = tvs_rhs function
2447 newTyConCo_maybe (AlgTyCon {algTcRhs = NewTyCon { nt_co = co }}) = Just co function
2456 newTyConDataCon_maybe (AlgTyCon {algTcRhs = NewTyCon { data_con = con }}) = Just con function
/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 DTyCon.hs1245 the NewTyCon for T will contain nt_co = CoT where CoT t : T t ~ t -> t. function
1990 isNewTyCon (AlgTyCon {algTcRhs = NewTyCon {}}) = True function
2319 | NewTyCon { nt_lev_poly = lev_poly } <- rhs function
2392 NewTyCon { data_con = con } -> Just [con] function
2408 NewTyCon { data_con = c } -> Just c function
2477 newTyConEtadArity (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) function
2484 newTyConEtadRhs (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) = tvs_rhs function
2492 newTyConCo_maybe (AlgTyCon {algTcRhs = NewTyCon { nt_co = co }}) = Just co function
2501 newTyConDataCon_maybe (AlgTyCon {algTcRhs = NewTyCon { data_con = con }}) = Just con function
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/
H A DTyCon.hs1300 the NewTyCon for T will contain nt_co = CoT where CoT :: forall a. T a ~ a -> a. function
2007 isNewTyCon (AlgTyCon {algTcRhs = NewTyCon {}}) = True function
2287 | NewTyCon { nt_lev_poly = lev_poly } <- rhs function
2363 NewTyCon { data_con = con } -> Just [con] function
2378 NewTyCon { data_con = c } -> Just c function
2455 newTyConEtadArity (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) function
2462 newTyConEtadRhs (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) = tvs_rhs function
2470 newTyConCo_maybe (AlgTyCon {algTcRhs = NewTyCon { nt_co = co }}) = Just co function
2479 newTyConDataCon_maybe (AlgTyCon {algTcRhs = NewTyCon { data_con = con }}) = Just con function
/dports/lang/ghc/ghc-8.10.7/compiler/types/
H A DTyCon.hs1245 the NewTyCon for T will contain nt_co = CoT where CoT t : T t ~ t -> t. function
1990 isNewTyCon (AlgTyCon {algTcRhs = NewTyCon {}}) = True function
2319 | NewTyCon { nt_lev_poly = lev_poly } <- rhs function
2392 NewTyCon { data_con = con } -> Just [con] function
2408 NewTyCon { data_con = c } -> Just c function
2477 newTyConEtadArity (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) function
2484 newTyConEtadRhs (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) = tvs_rhs function
2492 newTyConCo_maybe (AlgTyCon {algTcRhs = NewTyCon { nt_co = co }}) = Just co function
2501 newTyConDataCon_maybe (AlgTyCon {algTcRhs = NewTyCon { data_con = con }}) = Just con function