Servant.API.Named

Documentation

data Named s

Symbol singleton

Constructors

KnownSymbol s => Named

Instances

Show (Named s)

Methods

showsPrec :: Int -> Named s -> ShowS

show :: Named s -> String

showList :: [Named s] -> ShowS

data NameList :: [(Symbol, Type)] -> Type where

Hetereogenous list with name tag

Constructors

Nil :: NameList '[]

(::<|>) :: (name ::= a) -> NameList xs -> NameList ('(name, a) ': xs) infixr 7

Instances

ShowList (NameList a) => Show (NameList a)

Methods

showsPrec :: Int -> NameList a -> ShowS

show :: NameList a -> String

showList :: [NameList a] -> ShowS

data name ::= a

Constructors

(Named name) := a

type Nil = '[]

type family n := a where ... infix 8

Notational convenience to make value and type level defns match up

Equations

(Named n) := a = '(n, a)

type family x ::<|> y where ... infixr 7

Notational convenience to make value and type level defns match up

Equations

x ::<|> y = x ': y

type family FromNamed xs where ...

Equations

FromNamed xs = FromNamedSorted (Sort xs)

fromNamed :: NameList xs -> FromNamed xs