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 # | |