Files
inter-hub/Application/Helper/RoutingEngine.hs
Bernd Worsch f1978c3888 fix(WP-0014): pre-flight compilation fixes, Tailwind pipeline, and admin seed
A2 — Compilation fixes:
- Remove inline FK constraints from Schema.sql; IHP schema compiler cannot
  parse them. Add 1744329600-restore-fk-constraints.sql migration to restore
  referential integrity at the DB level.
- Rename `#label` → `#label_` throughout to avoid clash with Haskell built-in.
- Fix `hub.id == hid` UUID comparisons to use `toUUID hub.id`.
- Replace non-existent `setStatus`/`respondJson` calls with
  `renderJsonWithStatusCode` throughout Api controllers.
- Fix qualified package import for `cryptohash-sha256` in Auth.hs.
- Add `CanSelect (Text, Text)` instance in Helper.View.
- Refactor HSX inline lambdas to named helper functions in 100+ views
  (GHC cannot infer types for anonymous functions inside quasi-quoted HSX).
- Fix missing imports (IHP.QueryBuilder, IHP.Fetch, Web.Routes, Only, etc.)
  across helpers and controllers.
- Remove duplicate `diffUTCTime` definition in BottleneckDetector.
- Change `createEventForHub` return type from `IO ResponseReceived` to `IO ()`.
- Seed type-registry vocabulary via 1744502400-seed-type-registries.sql
  (moved from Schema.sql where IHP does not execute INSERT statements).

A3 — Tailwind build pipeline:
- Add `tailwindcss` to flake.nix native packages.
- Uncomment `tailwind.exec` process in devenv shell config.
- Add tailwind/tailwind.config.js (scans Web/View/**/*.hs).
- Add tailwind/app.css with @tailwind directives.

A4 — Admin user seed:
- Add 1744416000-seed-admin-user.sql: inserts admin@inter-hub.local
  with bcrypt-hashed password admin1234! (cost 10).
- Add .env.example documenting all required environment variables
  and default admin credentials.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-04-04 09:55:12 +00:00

46 lines
1.7 KiB
Haskell

module Application.Helper.RoutingEngine where
import IHP.Prelude
import IHP.ModelSupport
import IHP.QueryBuilder
import IHP.Fetch
import Generated.Types
import Web.Routes ()
-- | Apply active routing rules to a RequirementCandidate.
-- Finds the highest-priority matching active rule for the candidate's hub
-- and sets routed_to_hub_id. Returns the updated candidate.
applyRoutingRules
:: (?modelContext :: ModelContext)
=> RequirementCandidate
-> [Widget] -- to resolve widget_type for the source widget
-> IO RequirementCandidate
applyRoutingRules candidate widgets = do
rules <- query @HubRoutingRule
|> filterWhere (#status, "active")
|> orderByDesc #priority
|> fetch
-- Find the hub of the source widget
let mWidget = find (\w -> w.id == candidate.sourceWidgetId) widgets
widgetType = maybe Nothing (\w -> Just w.widgetType) mWidget
let matchingRule = find (ruleMatches candidate.category widgetType) rules
case matchingRule of
Nothing -> pure candidate
Just rule -> do
candidate
|> set #routedToHubId (Just rule.targetHubId)
|> updateRecord
-- | A rule matches if:
-- - source hub matches candidate's source widget's hub
-- - match_category is null OR equals candidate category
-- - match_widget_type is null OR equals widget type
ruleMatches :: Text -> Maybe Text -> HubRoutingRule -> Bool
ruleMatches category mWidgetType rule =
categoryMatch && widgetTypeMatch
where
categoryMatch = isNothing rule.matchCategory
|| rule.matchCategory == Just category
widgetTypeMatch = isNothing rule.matchWidgetType
|| (isJust mWidgetType && rule.matchWidgetType == mWidgetType)