Portability | see LANGUAGE pragmas (... GHC) |
---|---|
Stability | experimental |
Maintainer | nicolas.frisby@gmail.com |
Safe Haskell | Safe-Inferred |
Type-level comparison operator, its result "kind", and that kind's case expression.
Portability | see LANGUAGE pragmas (... GHC) |
---|---|
Stability | experimental |
Maintainer | nicolas.frisby@gmail.com |
Safe Haskell | Safe-Inferred |
Type-level comparison operator, its result "kind", and that kind's case expression.