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