HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 2 Activity

chore: fix weather pipeline example

Browse Source
This commit is contained in:
Louis Heredero
2026-07-08 09:32:39 +02:00
parent aae481776f
commit 1acf33f376
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
examples/02_demonstration/weather/custom_types.midas
View File

@@ -5,7 +5,7 @@ type Celsius = float
type Kelvin = float where _ >= 0 type Kelvin = float where _ >= 0
type Hectopascal = float type Hectopascal = float
type Temperature = Celsius where in_range(-30.0, 100.0) type Temperature = Celsius where in_range(-30.0, 100.0)(_)
type Pressure = Hectopascal where in_range(800.0, 1100.0)(_) type Pressure = Hectopascal where in_range(800.0, 1100.0)(_)
type Humidity = float where is_percentage(_) type Humidity = float where is_percentage(_)
type HeatIndex = float type HeatIndex = float
@@ -61,5 +61,5 @@ alias DailyAverages = Frame[
heat_index: Mean[HeatIndex], heat_index: Mean[HeatIndex],
] ]
predicate limit_amplitude(max_amp: float)(ls: list[float]) = max(ls) - min(ls) <= max_amp // predicate limit_amplitude(max_amp: float)(ls: list[float]) = max(ls) - min(ls) <= max_amp
type LowAmplitudeWave = list[float where _ >= 1] where limit_amplitude(10)(_) // type LowAmplitudeWave = list[float where _ >= 1] where limit_amplitude(10)(_)

2
examples/02_demonstration/weather/gen_data.py
View File

@@ -11,7 +11,7 @@ delta = end_ts - start_ts
min_temp, max_temp = -30.0, 100.0 min_temp, max_temp = -30.0, 100.0
min_pres, max_pres = 800.0, 1100.0 min_pres, max_pres = 800.0, 1100.0
min_hum, max_hum = 0.0, 1.0 min_hum, max_hum = 0.0, 100.0
N = 3000 N = 3000