hkt | Higher Kinded Type machinery for Java | Functional Programming library

So I have a column which contains multiple different strings. If the string contains a _ it has to be split on that character. For the others I use would use a separate rule like: If it starts with 4FH, GWO, CTW and doesn't have an _ then it has to split after 3 characters. If it starts with 4 and doesn't have an _.. etc..

I'm reading a from a few RSS sites which don't send the typical:

• iso representation
  • 2019-06-12T07:17:47Z - Instant.parse() can be used
• RFC1123
  • Wed, 12 Jun 2019 03:17:47 -0400 - DateTimeFormatter.RFC_1123_DATE_TIME.parse() can be used

Instead I'm getting these strings:

• Tue, 25 May 2021 00:00:00 EDT
• 03 Jun 2021 18:35:00 HKT

I've already tried around with some custom patterns and the ZonedDateTime + OffsetDateTime parse() method. Although I haven't found a way to get a date time representation that I can convert into Instant. Neither do I control the source and can fix the output format.

How can I be more lenient and parse these date times?

I have a DateTime field representing a date and time, and a separate zone string which tells its time zone.

I want to convert the time in the DateTime to eastern timezone.

I found several answers explaining this, but all of them use the IANA's naming standard of zone ids of Continent/Region for conversion. I am getting the short form notation of zone ids in the zone field from the user which is like IST, AEST, CST, etc. Is there a way I can convert time to eastern time format using the short notations?

UPDATE: I have a limited set of time zones which can be given as input. They are as follows:

• JST - Japan Standard Time (+09:00)
• CST - China Standard Time (+08:00)
• SAST - South African Standard Time (+02:00)
• GMT - Greenwich Mean Time (00:00)
• EST - Eastern Time Zone (-05:00 / -04:00)
• HKT - Hong Kong Time (+08:00)
• IST - Indian Standard Time (+05:30)

The conversion strategy should take care of DST. So if input is 2021-01-06T10:30:00 and time zone given is IST. The method while converting this to EST should figure out if DST applies or not and do the conversion accordingly with either -05:00 or -04:00 as applicable.

i'm working on a dashboard project (django + charts.js) that currently looks like this:

currently, all of the charts are based on all the data in the database (approx 1.5 mil lines). however, i'd like these charts to be responsive to the dates indicated in the start date/end date HTML widget - e.g. show payment methods, taxi orders by the hour/day of week according to the start/end dates indicated.

my date_input method gets the start and end dates from the frontend, and queries my MySQL database according to the dates selected. these queries are then rendered to the context variable of date_input - however, i'd like the context variable in date_input to be available to all methods (each chart is rendered by a different method, based on the JsonResponse returned to different endpoints).

i've tried making context available as a global variable by defining it outside date_input as queryset = date_input(request) - NameError: name 'request' is not defined. i've looked into context processors, but that seems to be an option only if i didn't have a request (e.g. start/end date input from the frontend). i'm rather confused and would appreciate some help.

here's my views.py code:

i have time data saved (in epoch time) in a MySQL database as a IntegerField. i'm doing some data visualisation where i'd like to show orders by the hour and by day of the week as bar charts, so i'd like to convert these epoch times to date time objects and visualise the data accordingly. however, datetime.datetime.fromtimestamp() only takes in floats and i've been having issues converting my IntegerField to anything other than a list. (i've also tried converting the resulting list to a float, but get a Type Error: float() argument must be a string or a number).

i'm wondering if i should continue to find a way to convert my epoch time (Django ValuesListQuerySet object) in my views.py file, or if i should just return my epoch time as a JsonResponse and do the datetime conversion in my javascript AJAX call (i'm using charts.js to visualise the data). any pointers?

code for reference:

views.py

I'm passing data props to two components which are exactly the same like this :

In England, we use GMT for our timezone in winter and BST in summer. It's currently GMT but when I use this code to get the correct abbreviation it gives me BST:

When I ping an IP address from the machine in the same subnet, below is the reply:

I am using Ant Design (3.x) in my react application. It's a timezone based application. we have timezone list as dropdown in the top bar. when we select any timezone, all the date and time fields ( Table column data, Tooltip, summary data, etc...) in the app are changing accordingly.

HKT Time:

IST Time:

But, Inputting date and time in DatePicker is not changing based on Timezone

HKT Time:

IST Time:

It is only taking the computer's timezone (My guess). I am using moment timezone package for converting date and time based on Timezone. This package only antd is using.