unison-core1-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.DataDeclaration.Records

Description

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 #