Copyright | (c) Frederick Pringle 2024 |
---|---|
License | BSD-3-Clause |
Maintainer | freddyjepringle@gmail.com |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Internal module, subject to change.
Documentation
Simple term-level representation of a Header
.
A type-level
should correspond to
Header
(sym :: Symbol
) typ
, where HeaderRep
{ _hName = str, _hType = typRep }str
is the term-level equivalent
of sym
and typRep
is the term-level representation of typ
.