Control.Variadic.Varargs

Documentation

data family Varargs (l :: [*]) infixr 2

Glorified HList representing variadic arguments.

Instances

data Varargs ('[] :: [Type])

Defined in Control.Variadic.Varargs

data Varargs ('[] :: [Type]) = Nil

data Varargs (x ': xs)

Defined in Control.Variadic.Varargs

data Varargs (x ': xs) = x `Cons` (Varargs xs)