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.