Module

Heterogeneous.Variadic

Package: purescript-heterogeneous
Repository: natefaubion/purescript-heterogeneous

#Variadic Source

class Variadic f acc args  where

Members

variadic :: f -> acc -> args

Instances

(Folding f acc x acc', Variadic f acc' xs) => Variadic f acc (x -> xs)
(Resulting f acc x) => Variadic f acc x

#Resulting Source

class Resulting f acc x  where

Members

resulting :: f -> acc -> x

#VariadicWithIndex Source

class VariadicWithIndex f acc args  where

Members

variadicWithIndex :: f -> acc -> args

Instances

(VariadicWithIndexAt f 0 acc args) => VariadicWithIndex f acc args

#VariadicWithIndexAt Source

class VariadicWithIndexAt :: Type -> Int -> Type -> Type -> Constraintclass VariadicWithIndexAt f (ix :: Int) acc args  where

Members

variadicWithIndexAt :: f -> Proxy ix -> acc -> args

Instances

(FoldingWithIndex f (Proxy ix) acc x acc', VariadicWithIndexAt f ix' acc' xs, Add ix 1 ix') => VariadicWithIndexAt f ix acc (x -> xs)
(ResultingWithLength f (Proxy n) acc x) => VariadicWithIndexAt f n acc x

#ResultingWithLength Source

class ResultingWithLength f n acc x  where

Members

resultingWithLength :: f -> n -> acc -> x

Modules: Heterogeneous.Folding; Heterogeneous.Mapping; Heterogeneous.Variadic