upRootNutrition/website
1
0
Fork 0
mirror of https://gitlab.com/upRootNutrition/website.git synced 2025-06-17 04:45:12 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: almost finished mvp

Browse source
This commit is contained in:
Nick 2024-12-08 21:16:04 -06:00
parent f3f7df13f5
commit 7ea90e4132
16 changed files with 1499 additions and 180 deletions
Download patch file Download diff file Expand all files Collapse all files

100
frontend/src/Debate/Arguments/Helpers.elm
View file

@ -88,7 +88,7 @@ argumentMaker argument =
, summaryMakerDesktop argument
, strengthMakerDesktop argument
, tableMaker argument
, formalizationMaker argument
, desktopFormalizationMaker argument
, proofTreeMaker argument
]
]
@ -114,7 +114,7 @@ argumentMakerMobile argument =
, summaryMakerMobile argument
, strengthMakerMobile argument
, tableMaker argument
, formalizationMaker argument
, mobileFormalizationMaker argument
, proofTreeMaker argument
]
]
@ -500,8 +500,8 @@ tableMaker argument =
]
formalizationMaker : Argument -> Element msg
formalizationMaker argument =
desktopFormalizationMaker : Argument -> Element msg
desktopFormalizationMaker argument =
let
argumentFormatting : List (Attribute msg)
argumentFormatting =
@ -523,8 +523,96 @@ formalizationMaker argument =
++ [ spacing 3
, centerX
, E.width fill
, paddingXY 0 10
, explain Debug.todo
, paddingXY 40 3
]
)
(List.indexedMap
(\premiseIndex premiseWithNotation ->
column
(argumentFormatting ++ [ E.width fill ])
[ paragraph paragraphHightlightedBoldText
[ text ("P" ++ String.fromInt (premiseIndex + 1) ++ ")")
, text premiseWithNotation.premise
|> el
[ F.color colourTheme.textLightGrey
, F.regular
, E.width fill
, paddingEach
{ top = 0
, right = 0
, bottom = 0
, left = 5
}
]
]
, paragraph
(argumentFormatting
++ [ F.color colourTheme.textLightOrange
, F.bold
]
)
[ text ("(" ++ premiseWithNotation.notation ++ ")")
]
]
)
argumentEntry.premises
++ [ column
(argumentFormatting ++ [ E.width fill ])
[ paragraph paragraphHightlightedBoldText
[ text "C)"
, text argumentEntry.conclusion
|> el
[ F.color colourTheme.textLightGrey
, F.regular
, E.width fill
, paddingEach
{ top = 0
, right = 0
, bottom = 0
, left = 5
}
]
]
, paragraph
(argumentFormatting
++ [ F.color colourTheme.textLightOrange
, F.bold
]
)
[ text ("(∴" ++ argumentEntry.conclusionNotation ++ ")")
]
]
]
)
)
argument.argumentFormalization
)
mobileFormalizationMaker : Argument -> Element msg
mobileFormalizationMaker argument =
let
argumentFormatting : List (Attribute msg)
argumentFormatting =
[ centerX
, F.center
, spacing 3
, E.width fill
]
in
column
[ centerX
, E.width fill
, spacing 10
]
(List.indexedMap
(\index argumentEntry ->
column
(paragraphFormat
++ [ spacing 3
, centerX
, E.width fill
, paddingXY 0 3
]
)
(List.indexedMap