Safe Haskell	None
Language	Haskell2010

Data.Hlist

Contents

Description

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

Synopsis

data Hlist (a :: [Type]) where
- Nil :: Hlist '[]
- (:.) :: x -> Hlist xs -> Hlist (x ': xs)
singleton :: a -> Hlist '[a]

Hlist

data Hlist (a :: [Type]) where Source #

Constructors

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

Instances

(Show (Hlist ts), Show a) => Show (Hlist (a ': ts)) Source #
Instance details Defined in Data.Hlist Methods showsPrec :: Int -> Hlist (a ': ts) -> ShowS # show :: Hlist (a ': ts) -> String # showList :: [Hlist (a ': ts)] -> ShowS #
Show (Hlist ([] :: [Type])) Source #
Instance details Defined in Data.Hlist Methods showsPrec :: Int -> Hlist [] -> ShowS # show :: Hlist [] -> String # showList :: [Hlist []] -> ShowS #