Data.Diverse.Reiterate

Documentation

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

Allows iterating over the types in a typelist

Methods

reiterate :: c xs -> c (Tail xs)

Return the next iteration without the Head type x in (x ': xs)

Instances

Reiterate (CaseFunc' k) xs

Defined in Data.Diverse.CaseFunc

Methods

reiterate :: CaseFunc' k xs -> CaseFunc' k (Tail xs)

Reiterate (CaseFunc k r) xs

Defined in Data.Diverse.CaseFunc

Methods

reiterate :: CaseFunc k r xs -> CaseFunc k r (Tail xs)

Reiterate (Cases fs r) xs

Defined in Data.Diverse.Cases

Methods

reiterate :: Cases fs r xs -> Cases fs r (Tail xs)

Reiterate (CaseFunc1' k k1 k0) xs

Defined in Data.Diverse.CaseFunc

Methods

reiterate :: CaseFunc1' k k1 k0 xs -> CaseFunc1' k k1 k0 (Tail xs)

Reiterate (CaseFunc1 k k1 k0 r) xs

Defined in Data.Diverse.CaseFunc

Methods

reiterate :: CaseFunc1 k k1 k0 r xs -> CaseFunc1 k k1 k0 r (Tail xs)

Reiterate (CaseFunc1_ k k1 k0 r x) xs

Defined in Data.Diverse.CaseFunc

Methods

reiterate :: CaseFunc1_ k k1 k0 r x xs -> CaseFunc1_ k k1 k0 r x (Tail xs)

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

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

Methods

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

Return the next iteration without the Head type x in (x ': xs)

Instances

ReiterateN (CasesN fs r) n xs

Defined in Data.Diverse.Cases

Methods

reiterateN :: CasesN fs r n xs -> CasesN fs r (n + 1) (Tail xs)