feat: cucks have been formatted

This commit is contained in:
Nick 2024-11-14 17:27:31 -06:00
parent e40901fcf1
commit 7b8a5dbca5
7 changed files with 48 additions and 35 deletions

View file

@ -18,7 +18,7 @@ import View exposing (View)
makeDodge : Dodge -> Int -> Element msg
makeDodge dodgeEntry index =
column paragraphAlignLeft
[ row (paragraphFormat ++ [ width fill ])
[ row paragraphFormat
[ text " "
, text (String.fromInt index ++ ". ")
, paragraphLinkFormat
@ -51,45 +51,56 @@ makeDodge dodgeEntry index =
}
]
, row paragraphBoldFormat
[ column [ alignTop ]
[ column [ alignTop, width <| px 184 ]
[ text " Proposition:"
]
, column [ width <| px 350, alignLeft ] [ paragraph [ F.regular ] [ text dodgeEntry.dodgeProposition ] ]
]
, row (paragraphBoldFormat ++ [ width fill ])
[ text " Doxastic State:"
, case dodgeEntry.dodgeNicksDoxasticState of
Nothing ->
paragraph [ F.regular ] [ text "Nick doesn't form a doxastic state." ]
[ column [ alignTop, width <| px 184 ]
[ text " Doxastic State:"
]
, column [ width <| px 350, alignLeft ]
[ case dodgeEntry.dodgeNicksDoxasticState of
Nothing ->
paragraph [ F.regular ] [ text "Nick doesn't form a doxastic state." ]
Just Belief ->
paragraph [ F.regular ]
[ text "Nick leans more toward "
, el [ F.bold ] (text "TRUE")
, text " than false."
]
Just Belief ->
paragraph [ F.regular ]
[ text "Nick leans more toward "
, el [ F.bold ] (text "TRUE")
, text " than false."
]
Just Disbelief ->
paragraph [ F.regular ]
[ text "Nick leans more toward "
, text "FALSE" |> el [ F.bold ]
, text " than true."
]
Just Disbelief ->
paragraph [ F.regular ]
[ text "Nick leans more toward "
, text "FALSE" |> el [ F.bold ]
, text " than true."
]
Just Agnostic ->
el [ F.regular ] (text "Nick doesn't form beliefs about this proposition.")
Just Agnostic ->
el [ F.regular ] (text "Nick doesn't form beliefs about this proposition.")
]
]
, row (paragraphBoldFormat ++ [ width fill ])
[ text " Reason:"
, el [ F.regular ]
(text <|
case dodgeEntry.dodgeNicksDoxasticReason of
NoProp ->
"there is no proposition to evaluate."
[ column [ alignTop, width <| px 184 ]
[ text " Reason:"
]
, column [ width <| px 350, alignLeft ]
[ paragraph [ F.regular ]
[ text <|
case dodgeEntry.dodgeNicksDoxasticReason of
NoProp ->
"there is no proposition to evaluate."
Vague ->
"the proposition is too vague to evaluate."
)
Vague ->
"the proposition is too vague to evaluate."
Specific str ->
str
]
]
]
]