Data.Hlist

This module provides a Heterogeneous list used to represent HTTP request inputs and outputs for some API type definitions

Hlist

data Hlist (a :: [Type]) where

Constructors

Nil :: Hlist '[]

(:.) :: x -> Hlist xs -> Hlist (x ': xs) infixr 7

Instances

(Show (Hlist ts), Show a) => Show (Hlist (a ': ts))

Defined in Data.Hlist

Methods

showsPrec :: Int -> Hlist (a ': ts) -> ShowS

show :: Hlist (a ': ts) -> String

showList :: [Hlist (a ': ts)] -> ShowS

Show (Hlist ([] :: [Type]))

Defined in Data.Hlist

Methods

showsPrec :: Int -> Hlist [] -> ShowS

show :: Hlist [] -> String

showList :: [Hlist []] -> ShowS

singleton :: a -> Hlist '[a]