Portability | see LANGUAGE pragmas (... GHC) |
---|---|
Stability | experimental |
Maintainer | nicolas.frisby@gmail.com |
Type.Ord.Base
Description
Type-level comparison operator, its result "kind", and that kind's case expression.
Documentation
module Type.Booleans
type-ord-0.1: Type-level comparison operator
Portability | see LANGUAGE pragmas (... GHC) |
---|---|
Stability | experimental |
Maintainer | nicolas.frisby@gmail.com |
Type.Ord.Base
Description
Type-level comparison operator, its result "kind", and that kind's case expression.
module Type.Booleans