Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
This module contains various utilities related to the implementation of record types.
Documentation
generateRecordAccessors :: (Semigroup a, Var v) => (NonEmpty v -> v) -> (a -> a) -> [(v, a)] -> v -> TypeReference -> [(v, a, Term v a)] Source #