testCompare | Data.Type.Witness.General.Order, Data.Type.Witness |
TestEquality | Data.Type.Witness |
testEquality | Data.Type.Witness |
TestHetEquality | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
testHetEquality | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
TestOrder | Data.Type.Witness.General.Order, Data.Type.Witness |
toListElementWitness | Data.Type.Witness.General.ListElement, Data.Type.Witness |
trans | Data.Type.Witness |
typeValue | Data.Type.Witness.General.Representative, Data.Type.Witness |