Searched defs:newTyConCo_maybe (Results 1 – 4 of 4) sorted by relevance
2447 newTyConCo_maybe (AlgTyCon {algTcRhs = NewTyCon { nt_co = co }}) = Just co function2448 newTyConCo_maybe _ = Nothing function
2492 newTyConCo_maybe (AlgTyCon {algTcRhs = NewTyCon { nt_co = co }}) = Just co function2493 newTyConCo_maybe _ = Nothing function
2470 newTyConCo_maybe (AlgTyCon {algTcRhs = NewTyCon { nt_co = co }}) = Just co function2471 newTyConCo_maybe _ = Nothing function