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: push for isaac

Browse source
This commit is contained in:
Nick 2024-12-08 17:31:21 -06:00
parent 76e7d5a5fc
commit f3f7df13f5
15 changed files with 293 additions and 145 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -88,6 +88,7 @@ argumentMaker argument =
, summaryMakerDesktop argument
, strengthMakerDesktop argument
, tableMaker argument
, formalizationMaker argument
, proofTreeMaker argument
]
]
@ -113,6 +114,7 @@ argumentMakerMobile argument =
, summaryMakerMobile argument
, strengthMakerMobile argument
, tableMaker argument
, formalizationMaker argument
, proofTreeMaker argument
]
]
@ -336,7 +338,17 @@ strengthMaker =
[ tooltip
"This represents my confidence in the soundness of the argument."
]
(text "Confidence:")
(el
[ paddingEach
{ top = 0
, right = 10
, bottom = 0
, left = 0
}
]
<|
text "Confidence:"
)
|> el [ F.color colourTheme.textLightOrange ]
]
]
@ -394,7 +406,7 @@ tableMaker argument =
[ centerX
, E.width fill
]
([ wrappedRow
[ wrappedRow
(paragraphBoldFormat
++ [ E.alignLeft
, E.width fill
@ -485,12 +497,10 @@ tableMaker argument =
]
}
]
]
++ formalizationMaker argument
)
]
formalizationMaker : Argument -> List (Element msg)
formalizationMaker : Argument -> Element msg
formalizationMaker argument =
let
argumentFormatting : List (Attribute msg)
@ -501,71 +511,83 @@ formalizationMaker argument =
, E.width fill
]
in
List.indexedMap
(\index argumentEntry ->
column
(paragraphFormat
++ [ spacing 3
, centerX
, E.width fill
, paddingXY 35 10
]
)
(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
[ text ("(" ++ premiseWithNotation.notation ++ ")")
|> el [ F.color colourTheme.textLightOrange, F.bold ]
]
]
column
[ centerX
, E.width fill
, spacing 10
]
(List.indexedMap
(\index argumentEntry ->
column
(paragraphFormat
++ [ spacing 3
, centerX
, E.width fill
, paddingXY 0 10
, explain Debug.todo
]
)
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
}
]
(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 ++ ")")
]
]
, paragraph argumentFormatting
[ text ("(∴" ++ argumentEntry.conclusionNotation ++ ")")
|> el
[ F.color colourTheme.textLightOrange
, F.bold
]
)
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
)
argument.argumentFormalization
proofTreeMaker : Argument -> Element msg