How does Typetta achieve typing for it's security middleware?

[Atlinx]

Is typing done through generics, code generation, or a mix of both?

[edobrb]

It's a mix of both. Some types are generated in order to complete the various DAOGenerics, then these are used by Typetta.

This is inside the generated code:

typetta/tests/security/dao.mock.ts

Lines 823 to 843 in 53a22eb

	type UserRoleDAOGenerics<MetadataType, OperationMetadataType> = T.MongoDBDAOGenerics<
	types.UserRole,
	'id',
	'ID',
	UserRoleFilter,
	UserRoleRawFilter,
	UserRoleRelations,
	UserRoleProjection,
	UserRoleSort,
	UserRoleRawSort,
	UserRoleInsert,
	UserRoleUpdate,
	UserRoleRawUpdate,
	UserRoleExcludedFields,
	UserRoleRelationFields,
	MetadataType,
	OperationMetadataType,
	types.Scalars,
	'userRole',
	EntityManager<MetadataType, OperationMetadataType>
	>

typetta/tests/security/dao.mock.ts

Line 899 in 53a22eb

security?: T.EntityManagerSecurtyPolicy<DAOGenericsMap<MetadataType, OperationMetadataType>, OperationMetadataType, Permissions, SecurityDomain>

And this is inside the internals:

typetta/src/dal/dao/middlewares/securityPolicy/security.types.ts

Lines 27 to 36 in 53a22eb

	export type EntityManagerSecurtyPolicy<DAOGenericsMap extends { [K in string]: DAOGenerics }, OperationMetadataType, Permissions extends string, SecurityDomain extends Record<string, unknown>> = {
	applySecurity?: boolean
	context?: DAOSecurityContext<SecurityDomain, Permissions>
	policies?: DAOSecurityPolicies<DAOGenericsMap, Permissions, SecurityDomain>
	defaultPermission?: CRUDPermission<DAOGenericsMap[keyof DAOGenericsMap]>
	} & ([SecurityDomain] extends [never]
	? { operationDomain?: never }
	: {
	operationDomain: (metadata: OperationMetadataType | undefined) => { [K in keyof SecurityDomain]: SecurityDomain[K][] } | undefined
	})