Portability | non-portable (GHC Extensions) |
---|---|
Stability | experimental |
Maintainer | Tom Hvitved <hvitved@diku.dk> |
Data.Comp.MultiParam.Ordering
Description
This module defines ordering of signatures, which lifts to ordering of terms and contexts.
compdata-0.4.1: Compositional Data Types
Portability | non-portable (GHC Extensions) |
---|---|
Stability | experimental |
Maintainer | Tom Hvitved <hvitved@diku.dk> |
Data.Comp.MultiParam.Ordering
Description
This module defines ordering of signatures, which lifts to ordering of terms and contexts.