Lines Matching defs:orphNamesOfCo
375 orphNamesOfCo (Refl ty) = orphNamesOfType ty function
376 orphNamesOfCo (GRefl _ ty mco) = orphNamesOfType ty `unionNameSet` orphNamesOfMCo mco function
377 orphNamesOfCo (TyConAppCo _ tc cos) = unitNameSet (getName tc) `unionNameSet` orphNamesOfCos cos function
378 orphNamesOfCo (AppCo co1 co2) = orphNamesOfCo co1 `unionNameSet` orphNamesOfCo co2 function
379 orphNamesOfCo (ForAllCo _ kind_co co) function
381 orphNamesOfCo (FunCo _ co1 co2) = orphNamesOfCo co1 `unionNameSet` orphNamesOfCo co2 function
382 orphNamesOfCo (CoVarCo _) = emptyNameSet function
383 orphNamesOfCo (AxiomInstCo con _ cos) = orphNamesOfCoCon con `unionNameSet` orphNamesOfCos cos function
384 orphNamesOfCo (UnivCo p _ t1 t2) = orphNamesOfProv p `unionNameSet` orphNamesOfType t1 `unionNam… function
385 orphNamesOfCo (SymCo co) = orphNamesOfCo co function
386 orphNamesOfCo (TransCo co1 co2) = orphNamesOfCo co1 `unionNameSet` orphNamesOfCo co2 function
387 orphNamesOfCo (NthCo _ _ co) = orphNamesOfCo co function
388 orphNamesOfCo (LRCo _ co) = orphNamesOfCo co function
389 orphNamesOfCo (InstCo co arg) = orphNamesOfCo co `unionNameSet` orphNamesOfCo arg function
390 orphNamesOfCo (KindCo co) = orphNamesOfCo co function
391 orphNamesOfCo (SubCo co) = orphNamesOfCo co function
392 orphNamesOfCo (AxiomRuleCo _ cs) = orphNamesOfCos cs function
393 orphNamesOfCo (HoleCo _) = emptyNameSet function