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