Searched defs:tycon (Results 51 – 61 of 61) sorted by relevance
123
2917 val tycon = hd (#id qualid) value
2885 val tycon = hd (#id qualid) value
3538 matchFam tycon args = wrapTcS $ matchFamTcM tycon args function
1211 tycon = (typeRepTyCon . typeOf) t function
2819 synTyConResKind tycon = piResultTys (tyConKind tycon) (mkTyVarTys (tyConTyVars tycon)) function
1093 tycon = (typeRepTyCon . typeOf) t function
2810 synTyConResKind tycon = piResultTys (tyConKind tycon) (mkTyVarTys (tyConTyVars tycon)) function
1252 tycon = (typeRepTyCon . typeOf) t function
1570 mkTyConTy tycon = tyConNullaryTy tycon function