License | BSD3 |
---|---|

Maintainer | Brent Yorgey <byorgey@cis.upenn.edu> |

Stability | experimental |

Portability | non-portable (see .cabal) |

Safe Haskell | None |

Language | Haskell2010 |

Various types defined inductively as type families or data families on type-lists.

# Functions

type family Fun (xs :: [*]) r Source #

Curried functions. We have

Fun '[x1, ..., xn] r = x1 -> ... -> xn -> r

# Tuples

# Mapping and distributing over tuples

class Distribute xs where Source #

Distribute ([] *) Source # | |

(Uncurriable t, Tupable t, Distribute t) => Distribute ((:) * h t) Source # | |