License | BSD-style |
---|---|

Maintainer | Vincent Hanquez <vincent@snarc.org> |

Stability | experimental |

Portability | portable |

Safe Haskell | None |

Language | Haskell2010 |

a Generalized version of Fstable, Sndable, ..

Using this module is limited to GHC 7.10 and above.

# Documentation

class KnownNat n => Nthable n a where Source #

A generalized version of indexed accessor allowing access to tuples n'th element.

Indexing starts at 1, as `fst`

is used to get first element.

Nthable 1 (a, b) Source # | |

Nthable 1 (Tuple2 a b) Source # | |

Nthable 2 (a, b) Source # | |

Nthable 2 (Tuple2 a b) Source # | |

Nthable 1 (a, b, c) Source # | |

Nthable 1 (Tuple3 a b c) Source # | |

Nthable 2 (a, b, c) Source # | |

Nthable 2 (Tuple3 a b c) Source # | |

Nthable 3 (a, b, c) Source # | |

Nthable 3 (Tuple3 a b c) Source # | |

Nthable 1 (a, b, c, d) Source # | |

Nthable 1 (Tuple4 a b c d) Source # | |

Nthable 2 (a, b, c, d) Source # | |

Nthable 2 (Tuple4 a b c d) Source # | |

Nthable 3 (a, b, c, d) Source # | |

Nthable 3 (Tuple4 a b c d) Source # | |

Nthable 4 (a, b, c, d) Source # | |

Nthable 4 (Tuple4 a b c d) Source # | |