{-# LANGUAGE DataKinds #-}
{-# LANGUAGE RecordWildCards #-}
module Data.Record.Internal.Naming (
nameRecordInternalConstr
, nameRecordTypedConstructorFn
, nameRecordConstraintsClass
, nameRecordConstraintsMethod
, nameRecordIndexedAccessor
, nameRecordIndexedOverwrite
, nameRecordInternalField
, nameRecordView
) where
nameRecordInternalConstr :: String -> String
nameRecordInternalConstr :: String -> String
nameRecordInternalConstr = (String
"LR__" String -> String -> String
forall a. [a] -> [a] -> [a]
++)
nameRecordTypedConstructorFn :: String -> String
nameRecordTypedConstructorFn :: String -> String
nameRecordTypedConstructorFn = (String
"_construct_" String -> String -> String
forall a. [a] -> [a] -> [a]
++)
nameRecordConstraintsClass :: String -> String
nameRecordConstraintsMethod :: String -> String
nameRecordIndexedAccessor :: String -> String
nameRecordIndexedOverwrite :: String -> String
nameRecordInternalField :: String -> String
nameRecordView :: String -> String
nameRecordConstraintsClass :: String -> String
nameRecordConstraintsClass = (String
"Constraints_" String -> String -> String
forall a. [a] -> [a] -> [a]
++)
nameRecordConstraintsMethod :: String -> String
nameRecordConstraintsMethod = (String
"dictConstraints_" String -> String -> String
forall a. [a] -> [a] -> [a]
++)
nameRecordIndexedAccessor :: String -> String
nameRecordIndexedAccessor = (String
"unsafeGetIndex" String -> String -> String
forall a. [a] -> [a] -> [a]
++)
nameRecordIndexedOverwrite :: String -> String
nameRecordIndexedOverwrite = (String
"unsafeSetIndex" String -> String -> String
forall a. [a] -> [a] -> [a]
++)
nameRecordInternalField :: String -> String
nameRecordInternalField = (String
"vectorFrom" String -> String -> String
forall a. [a] -> [a] -> [a]
++)
nameRecordView :: String -> String
nameRecordView = (String
"tupleFrom" String -> String -> String
forall a. [a] -> [a] -> [a]
++)