Dec | Type.Class.Witness |
decCase | Type.Class.Witness |
DecEquality | Type.Class.Witness |
decideEquality | Type.Class.Witness |
decomp | Data.Type.Sum |
Delete | Data.Type.Product.Env |
delete' | Data.Type.Product.Env |
diagonal | Data.Type.Vector |
Difference | |
1 (Type/Class) | Data.Type.Difference |
2 (Type/Class) | Data.Type.Product.Env |
difference' | Data.Type.Product.Env |
diffLen | Data.Type.Difference |
diffProd | Data.Type.Difference |
diffSum | Data.Type.Difference |
disjC | Type.Class.Witness |