vinyl-plus-0.1.1: Vinyl records utilities
Data.Vinyl.Plus.TypeLevel
Synopsis
type family Head rs :: k Source
Equations
type family ListAll rs c :: Constraint Source
type family Lookup r rs :: v Source
A partial relation that gives the index of a value in a list.
type family TIndex r rs :: Nat Source