Searched defs:liftedTypeKind (Results 1 – 4 of 4) sorted by relevance
620 liftedTypeKind, typeToTypeKind, constraintKind :: Kind function621 liftedTypeKind = tYPE liftedRepTy function
693 liftedTypeKind, typeToTypeKind, constraintKind :: Kind function694 liftedTypeKind = tYPE liftedRepTy function
772 liftedTypeKind, unliftedTypeKind, typeToTypeKind, constraintKind :: Kind function773 liftedTypeKind = mkTyConTy liftedTypeKindTyCon function