Dynamically define a Union of Literal permutations in Python

I have a list of strings:

strings = ['a','b','c']

I want to declare a Union of Literal types of all the possible ordered pairs of the list. Hardcoded, this would look like:

CustomType = Literal[
  'ab', 'ac', 'aa',
  'ba', 'bb', 'bc',
  'ca', 'cb', 'cc'
]

How could I define CustomType dynamically such that I don't have to manually put each combination?

I'm thinking something along the lines of:

CustomType = Literal[*permutations(strings)]

but that gives me the error:

Unpack operator in subscript requires Python 3.11 or newer 
 Pylance
Unpacked arguments cannot be used in type argument lists 
 Pylance

The objective motivating this question is to have Pylance detect if I try passing a string that is not an element of that set.

def f(string: CustomType):
  ...

f('foo') # Pylance will complain
f('ba') # Pylance will permit

source https://stackoverflow.com/questions/74075558/dynamically-define-a-union-of-literal-permutations-in-python

Comments

How to show number of registered users in Laravel based on usertype?

i'm trying to display data from the database in the admin dashboard i used this: <?php use Illuminate\Support\Facades\DB; $users = DB::table('users')->count(); echo $users; ?> and i have successfully get the correct data from the database but what if i want to display a specific data for example in this user table there is "usertype" that specify if the user is normal user or admin i want to user the same code above but to display a specific usertype i tried this: <?php use Illuminate\Support\Facades\DB; $users = DB::table('users')->count()->WHERE usertype =admin; echo $users; ?> but it didn't work, what am i doing wrong? source https://stackoverflow.com/questions/68199726/how-to-show-number-of-registered-users-in-laravel-based-on-usertype

Why is my reports service not connecting?

I am trying to pull some data from a Postgres database using Node.js and node-postures but I can't figure out why my service isn't connecting. my routes/index.js file: const express = require('express'); const router = express.Router(); const ordersCountController = require('../controllers/ordersCountController'); const ordersController = require('../controllers/ordersController'); const weeklyReportsController = require('../controllers/weeklyReportsController'); router.get('/orders_count', ordersCountController); router.get('/orders', ordersController); router.get('/weekly_reports', weeklyReportsController); module.exports = router; My controllers/weeklyReportsController.js file: const weeklyReportsService = require('../services/weeklyReportsService'); const weeklyReportsController = async (req, res) => { try { const data = await weeklyReportsService; res.json({data}) console...

How to split a rinex file if I need 24 hours data

Trying to divide rinex file using the command gfzrnx but getting this error. While doing that getting this error msg 'gfzrnx' is not recognized as an internal or external command Trying to split rinex file using the command gfzrnx. also install'gfzrnx'. my doubt is I need to run this program in 'gfzrnx' or in 'cmdprompt'. I am expecting a rinex file with 24 hrs or 1 day data.I Have 48 hrs data in RINEX format. Please help me to solve this issue. source https://stackoverflow.com/questions/75385367/how-to-split-a-rinex-file-if-i-need-24-hours-data

StacksPedia

Search This Blog