Data.Diverse.Reiterate

Documentation

class Reiterate c xs where

Allows iterating over the types in a typelist

Minimal complete definition

reiterate

Methods

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

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

Instances

Reiterate k c ((:) Type x xs) => Reiterate k (Via k c) ((:) Type x xs)

Methods

reiterate :: (Type ': x) xs xs r -> (Type ': x) xs (Tail Type xs) r

Reiterate * CaseTypeable xs

Methods

reiterate :: xs xs r -> xs (Tail Type xs) r

Reiterate * (Cases fs) xs

Methods

reiterate :: xs xs r -> xs (Tail Type xs) r

class ReiterateN c n xs where

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

Minimal complete definition

reiterateN

Methods

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

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

Instances

ReiterateN k c n ((:) Type x xs) => ReiterateN k (ViaN k c) n ((:) Type x xs)

Methods

reiterateN :: n ((Type ': x) xs) xs r -> n ((Type ': x) xs + 1) (Tail Type xs) r

ReiterateN * (CasesN fs) n xs

Methods

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