maurice/snix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(users/Profpatsch/whatcd-resolver): use stylize CSS

Browse source 
Gets rid of the giant bootstrap dependency and replaces it with a
little CSS file that formats our table nicely.

Change-Id: I3e0bb552481503679e7b229c4feaa4e9805f5eae
Reviewed-on: https://cl.tvl.fyi/c/depot/+/13269
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
This commit is contained in:
Profpatsch 2025-03-15 17:12:50 +01:00
parent 18f565567a
commit 10c8f3386b
2 changed files with 21 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

8
users/Profpatsch/my-prelude/src/MyLabel.hs
View file

@ -26,6 +26,14 @@ caseE2 m e2 = do
E21 a -> f1 $ getField @l1 a
E22 b -> f2 $ getField @l2 b
e21 :: forall l1 t1 l2 t2. LabelPrx l1 -> t1 -> E2 l1 t1 l2 t2
{-# INLINE e21 #-}
e21 LabelPrx a = E21 (label @l1 a)
e22 :: forall l1 t1 l2 t2. LabelPrx l2 -> t2 -> E2 l1 t1 l2 t2
{-# INLINE e22 #-}
e22 LabelPrx b = E22 (label @l2 b)
t2 :: forall l1 t1 l2 t2. LabelPrx l1 -> t1 -> LabelPrx l2 -> t2 -> T2 l1 t1 l2 t2
{-# INLINE t2 #-}
t2 LabelPrx a LabelPrx b = T2 (label @l1 a) (label @l2 b)