Searched defs:unwrapNewTyConEtad_maybe (Results 1 – 4 of 4) sorted by relevance
1958 unwrapNewTyConEtad_maybe (AlgTyCon { algTcRhs = NewTyCon { nt_co = co, function1961 unwrapNewTyConEtad_maybe _ = Nothing function
2005 unwrapNewTyConEtad_maybe (AlgTyCon { algTcRhs = NewTyCon { nt_co = co, function2008 unwrapNewTyConEtad_maybe _ = Nothing function
2022 unwrapNewTyConEtad_maybe (AlgTyCon { algTcRhs = NewTyCon { nt_co = co, function2025 unwrapNewTyConEtad_maybe _ = Nothing function