type-settheory-0.1.3.1: Sets and functions-as-relations in the type system

Index - U

Union 
1 (Type/Class)Type.Set
2 (Data Constructor)Type.Set
unionIdempotentType.Set
unionLType.Set
unionMinimalType.Set
unionRType.Set
Unions 
1 (Type/Class)Type.Set
2 (Data Constructor)Type.Set
Univ 
1 (Type/Class)Type.Set
2 (Data Constructor)Type.Set
univSubsetType.Set