Portability | see LANGUAGE pragmas (... GHC) |
---|---|

Stability | experimental |

Maintainer | nicolas.frisby@gmail.com |

Safe Haskell | None |

Some type-level programming basics.

# Documentation

type Equal a b = IsEQ (SpineCompare a b)Source

Convenient synonym. `type Equal a b = `

`IsEQ`

(`SpineCompare`

a b)

derive_data :: Name -> Q [Dec]Source

derive_pro :: Name -> Q [Dec]Source

## Re-exports

## Type-level `Maybe`

type family MaybePlus1 x y :: Maybe kSource

Type-level `mplus`

for `Maybe`

.