Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
(&:) :: a -> Record rs -> Record ((s :-> a) : rs) infixr 5 Source
A cons
function for building Record
values.
type family RecordColumns t Source
RecordColumns (Record ts) = ts |
recUncons :: Record ((s :-> a) : rs) -> (a, Record rs) Source
Separate the first element of a Record
from the rest of the row.