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

Language | Haskell2010 |

- class Reiterate c (xs :: [Type]) where
- class ReiterateN c (n :: Nat) (xs :: [Type]) where

# Documentation

class Reiterate c (xs :: [Type]) where Source #

Allows iterating over the types in a typelist

class ReiterateN c (n :: Nat) (xs :: [Type]) where Source #

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

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

Return the next iteration without the `Head`

type x in (x ': xs)

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