Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

- class Reiterate c xs where
- class ReiterateN c n xs where

# Documentation

class Reiterate c xs where Source #

Allows iterating over the types in a typelist

class ReiterateN c n xs where Source #

Allows iterating over the types in a typelist, whilst also incrementing an Nat index

reiterateN :: c n xs r -> c (n + 1) (Tail xs) r Source #

Return the next iteration without the `Head`

type x in (x ': xs)

ReiterateN k c n ((:) Type x xs) => ReiterateN k (ViaN k c) n ((:) Type x xs) Source # | |

ReiterateN * (CasesN fs) n xs Source # | |