Copyright | (c) 2011 Patrick Bahr Tom Hvitved |
---|---|
License | BSD3 |
Maintainer | Tom Hvitved <hvitved@diku.dk> |
Stability | experimental |
Portability | non-portable (GHC Extensions) |
Safe Haskell | None |
Language | Haskell98 |
This module defines ordering of signatures, which lifts to ordering of terms and contexts.
Documentation
class PEq a => POrd a where Source #
Ordering of parametric values.
class EqD f => OrdD f where Source #
Signature ordering. An instance OrdD f
gives rise to an instance
Ord (Term f)
.