Searched defs:NewTyCon (Results 1 – 4 of 4) sorted by relevance
1261 the NewTyCon for T will contain nt_co = CoT where CoT :: forall a. T a ~ a -> a. function1943 isNewTyCon (AlgTyCon {algTcRhs = NewTyCon {}}) = True function2274 | NewTyCon { nt_lev_poly = lev_poly } <- rhs function2347 NewTyCon { data_con = con } -> Just [con] function2363 NewTyCon { data_con = c } -> Just c function2432 newTyConEtadArity (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) function2439 newTyConEtadRhs (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) = tvs_rhs function2447 newTyConCo_maybe (AlgTyCon {algTcRhs = NewTyCon { nt_co = co }}) = Just co function2456 newTyConDataCon_maybe (AlgTyCon {algTcRhs = NewTyCon { data_con = con }}) = Just con function
1245 the NewTyCon for T will contain nt_co = CoT where CoT t : T t ~ t -> t. function1990 isNewTyCon (AlgTyCon {algTcRhs = NewTyCon {}}) = True function2319 | NewTyCon { nt_lev_poly = lev_poly } <- rhs function2392 NewTyCon { data_con = con } -> Just [con] function2408 NewTyCon { data_con = c } -> Just c function2477 newTyConEtadArity (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) function2484 newTyConEtadRhs (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) = tvs_rhs function2492 newTyConCo_maybe (AlgTyCon {algTcRhs = NewTyCon { nt_co = co }}) = Just co function2501 newTyConDataCon_maybe (AlgTyCon {algTcRhs = NewTyCon { data_con = con }}) = Just con function
1300 the NewTyCon for T will contain nt_co = CoT where CoT :: forall a. T a ~ a -> a. function2007 isNewTyCon (AlgTyCon {algTcRhs = NewTyCon {}}) = True function2287 | NewTyCon { nt_lev_poly = lev_poly } <- rhs function2363 NewTyCon { data_con = con } -> Just [con] function2378 NewTyCon { data_con = c } -> Just c function2455 newTyConEtadArity (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) function2462 newTyConEtadRhs (AlgTyCon {algTcRhs = NewTyCon { nt_etad_rhs = tvs_rhs }}) = tvs_rhs function2470 newTyConCo_maybe (AlgTyCon {algTcRhs = NewTyCon { nt_co = co }}) = Just co function2479 newTyConDataCon_maybe (AlgTyCon {algTcRhs = NewTyCon { data_con = con }}) = Just con function