Safe Haskell | None |
---|---|
Language | Haskell2010 |
Servant.API.Named
Documentation
Symbol singleton
Constructors
KnownSymbol s => Named |
data NameList :: [(Symbol, Type)] -> Type where Source #
Hetereogenous list with name tag
type family n := a where ... infix 8 Source #
Notational convenience to make value and type level defns match up