feat: v1 finally done?

This commit is contained in:
Nick 2025-01-02 02:33:57 -06:00
parent 9f8d9c3146
commit 07b9330264
245 changed files with 3140 additions and 2197 deletions

0
LICENSE Normal file → Executable file
View file

View file

@ -1,6 +1,6 @@
module Config.Data.Hashtags.Helpers exposing (..) module Config.Data.Hashtags.Helpers exposing (hashtagList)
import Config.Data.Hashtags.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
hashtagList : Hashtags -> String hashtagList : Hashtags -> String

View file

@ -1,4 +1,4 @@
module Config.Data.Hashtags.Types exposing (..) module Config.Data.Hashtags.Types exposing (Hashtags(..))
type Hashtags type Hashtags

View file

@ -1,4 +1,4 @@
module Config.Data.Identity exposing (..) module Config.Data.Identity exposing (pageNames)
type alias PageInput = type alias PageInput =

View file

@ -1,4 +1,8 @@
module Config.Helpers.ImageFolders exposing (..) module Config.Data.ImageFolders exposing
( ImageFolder(..)
, getImageFolderString
, imagePathMaker
)
imagePathMaker : ImageFolder -> String -> String imagePathMaker : ImageFolder -> String -> String

View file

@ -1,9 +1,12 @@
module Config.Data.Language exposing (..) module Config.Data.Language exposing
( Language(..)
, MultilingualTextElement
)
{-| Types for facilitating multilingual functionality. {-| Types for facilitating multilingual functionality.
-} -}
import Element import Element exposing (Element)
{-| A list of all currently supported languages. DeepL <https://www.deepl.com/translator> seems to {-| A list of all currently supported languages. DeepL <https://www.deepl.com/translator> seems to
@ -83,33 +86,33 @@ type Language
{-| We need a type that returns a different element based on which language is selected. {-| We need a type that returns a different element based on which language is selected.
-} -}
type alias MultilingualTextElement msg = type alias MultilingualTextElement msg =
{ bulgarian : Element.Element msg { bulgarian : Element msg
, chinese : Element.Element msg , chinese : Element msg
, czech : Element.Element msg , czech : Element msg
, danish : Element.Element msg , danish : Element msg
, dutch : Element.Element msg , dutch : Element msg
, english : Element.Element msg , english : Element msg
, estonian : Element.Element msg , estonian : Element msg
, finnish : Element.Element msg , finnish : Element msg
, french : Element.Element msg , french : Element msg
, german : Element.Element msg , german : Element msg
, greek : Element.Element msg , greek : Element msg
, hungarian : Element.Element msg , hungarian : Element msg
, indonesian : Element.Element msg , indonesian : Element msg
, italian : Element.Element msg , italian : Element msg
, japanese : Element.Element msg , japanese : Element msg
, korean : Element.Element msg , korean : Element msg
, latvian : Element.Element msg , latvian : Element msg
, lithuanian : Element.Element msg , lithuanian : Element msg
, norwegian : Element.Element msg , norwegian : Element msg
, polish : Element.Element msg , polish : Element msg
, portuguese : Element.Element msg , portuguese : Element msg
, romanian : Element.Element msg , romanian : Element msg
, russian : Element.Element msg , russian : Element msg
, slovak : Element.Element msg , slovak : Element msg
, slovenian : Element.Element msg , slovenian : Element msg
, spanish : Element.Element msg , spanish : Element msg
, swedish : Element.Element msg , swedish : Element msg
, turkish : Element.Element msg , turkish : Element msg
, ukranian : Element.Element msg , ukranian : Element msg
} }

View file

@ -1,49 +1,36 @@
module Config.Helpers.Articles.Article exposing (..) module Config.Helpers.Articles.Article exposing (..)
import Config.Data.Identity exposing (pageNames) import Config.Data.Identity exposing (pageNames)
import Config.Helpers.Articles.Markdown
exposing
( articleImage
, renderDeviceMarkdown
, renderDeviceMarkdownNoToc
)
import Config.Helpers.Articles.Types exposing (References) import Config.Helpers.Articles.Types exposing (References)
import Config.Helpers.Cards.Inner.Helpers exposing (detailFormat) import Config.Helpers.Cards.Inner.Text exposing (detailFormat)
import Config.Helpers.Cards.Outer.Helpers exposing (cardMaker)
import Config.Helpers.Cards.Outer.Types as C
import Config.Helpers.Format exposing (..)
import Config.Helpers.Headers.Helpers exposing (..)
import Config.Helpers.Headers.Types exposing (Header)
import Config.Helpers.Markdown exposing (..)
import Config.Helpers.Response
exposing
( pageList
, topLevelContainer
)
import Config.Helpers.StrengthBar
exposing
( barMaker
, barPadding
)
import Config.Helpers.ToolTip exposing (..)
import Config.Helpers.Viewport exposing (resetViewport) import Config.Helpers.Viewport exposing (resetViewport)
import Config.Pages.Blog.Types exposing (BlogArticle) import Config.Pages.Blog.Types exposing (BlogArticle)
import Config.Pages.Contact.Types exposing (..) import Config.Style.Colour.Helpers
import Config.Pages.Interviews.Types exposing (..) exposing
import Config.Pages.Products.Types exposing (..) ( ThemeColor(..)
import Config.Style.Colour.Helpers exposing (colourTheme) , getThemeColor
)
import Config.Style.Transitions import Config.Style.Transitions
exposing exposing
( hoverFontDarkOrange ( hoverFontDarkOrange
, transitionStyleFast , transitionStyleFast
, transitionStyleSlow
) )
import Effect exposing (Effect)
import Element as E exposing (..) import Element as E exposing (..)
import Element.Background as B import Element.Background as B exposing (color)
import Element.Border as D import Element.Border as D exposing (width)
import Element.Font as F import Element.Font as F
import Html exposing
import Html.Attributes as H exposing (style) ( alignLeft
import Layouts , bold
import Page exposing (Page) , color
import Route exposing (Route) , regular
import Shared exposing (..) )
import View exposing (View)
contentList : BlogArticle -> List (Element msg) -> List (Element msg) contentList : BlogArticle -> List (Element msg) -> List (Element msg)
@ -72,7 +59,7 @@ contentList article extraElements =
articleReferences : BlogArticle -> Element msg articleReferences : BlogArticle -> Element msg
articleReferences article = articleReferences article =
column [ width fill, F.size 15, spacing 10 ] <| column [ E.width fill, F.size 15, spacing 10 ] <|
List.map2 (\x y -> makeReference x y) List.map2 (\x y -> makeReference x y)
article.articleReferences article.articleReferences
(List.range 1 (List.length article.articleReferences)) (List.range 1 (List.length article.articleReferences))
@ -92,7 +79,7 @@ makeReference references index =
paragraph [] paragraph []
[ newTabLink [ newTabLink
[ F.bold [ F.bold
, F.color colourTheme.textLightOrange , F.color (getThemeColor TextLightOrange)
, hoverFontDarkOrange , hoverFontDarkOrange
, transitionStyleFast , transitionStyleFast
] ]

View file

@ -1,33 +1,41 @@
module Config.Helpers.Markdown exposing (..) module Config.Helpers.Articles.Markdown exposing (..)
import Browser -- import Config.Style.Colour.Helpers exposing (colourTheme)
import Config.Helpers.Cards.Inner.Text exposing (divider)
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Helpers.Format import Config.Style.Colour.Helpers exposing (ThemeColor(..), getThemeColor)
import Config.Style.Fonts
exposing exposing
( headerFontSizeBig ( defaultFontSize
, headerFontSizeBig
, headerFontSizeMedium , headerFontSizeMedium
, headerFontSizeSmall
, paragraphFontSize
) )
import Config.Helpers.Response exposing (pageList)
import Config.Helpers.ServiceFormat exposing (divider)
import Config.Style.Colour.Helpers exposing (colourTheme)
import Config.Style.Transitions import Config.Style.Transitions
exposing exposing
( hoverFontDarkOrange ( hoverFontDarkOrange
, hoverFontLightOrange
, transitionStyleFast , transitionStyleFast
, transitionStyleMedium
) )
import Element as E exposing (..) import Element as E exposing (..)
import Element.Background as B import Element.Background as B exposing (color)
import Element.Border as D import Element.Border as D
import Element.Font as F exposing
( color
, rounded
, widthEach
)
import Element.Font as F exposing (color)
import Element.Input as Input import Element.Input as Input
import Element.Region as Region import Element.Region as Region
import Html exposing (Attribute, Html) import Html exposing (Attribute, Html)
import Html.Attributes import Html.Attributes
import Markdown.Block as Block exposing (Block, Inline, ListItem(..), Task(..)) import Markdown.Block as Block
exposing
( Block
, Inline
, ListItem(..)
, Task(..)
)
import Markdown.Html import Markdown.Html
import Markdown.Parser import Markdown.Parser
import Markdown.Renderer import Markdown.Renderer
@ -144,12 +152,12 @@ tocView toc =
, headerFontSizeBig , headerFontSizeBig
, F.center , F.center
, width fill , width fill
, F.color colourTheme.textLightOrange , F.color (getThemeColor TextLightOrange)
] ]
[ text "TABLE OF CONTENTS" ] [ text "TABLE OF CONTENTS" ]
, column , column
[ E.spacing 3 [ E.spacing 3
, paragraphFontSize , defaultFontSize
, E.width fill , E.width fill
] ]
(toc (toc
@ -168,7 +176,7 @@ tocView toc =
, el , el
[ F.alignLeft [ F.alignLeft
, E.width fill , E.width fill
, headerFontSizeSmall , defaultFontSize
, alignTop , alignTop
] ]
<| <|
@ -177,7 +185,7 @@ tocView toc =
{ url = "#" ++ headingBlock.anchorId { url = "#" ++ headingBlock.anchorId
, label = , label =
el el
[ F.color colourTheme.textLightOrange [ F.color (getThemeColor TextLightOrange)
, transitionStyleFast , transitionStyleFast
, hoverFontDarkOrange , hoverFontDarkOrange
] ]
@ -250,7 +258,7 @@ elmUiRenderer =
, paragraph = , paragraph =
E.paragraph E.paragraph
[ E.spacing 3 [ E.spacing 3
, paragraphFontSize , defaultFontSize
, F.alignLeft , F.alignLeft
, width fill , width fill
] ]
@ -282,8 +290,8 @@ elmUiRenderer =
{ url = destination { url = destination
, label = , label =
E.paragraph E.paragraph
[ F.color colourTheme.textLightOrange [ F.color (getThemeColor TextLightOrange)
, paragraphFontSize , defaultFontSize
, transitionStyleFast , transitionStyleFast
, hoverFontDarkOrange , hoverFontDarkOrange
] ]
@ -356,9 +364,9 @@ elmUiRenderer =
, left = 10 , left = 10
, right = 10 , right = 10
} }
, D.color colourTheme.textLightOrange , D.color (getThemeColor TextLightOrange)
, B.color colourTheme.backgroundLightGrey , B.color (getThemeColor BackgroundLightGrey)
, paragraphFontSize , defaultFontSize
, width fill , width fill
, spacing 10 , spacing 10
] ]
@ -367,7 +375,7 @@ elmUiRenderer =
\items -> \items ->
E.column E.column
[ E.spacing 10 [ E.spacing 10
, paragraphFontSize , defaultFontSize
] ]
(items (items
|> List.map |> List.map
@ -413,12 +421,12 @@ elmUiRenderer =
, width <| px 25 , width <| px 25
, F.bold , F.bold
, alignRight , alignRight
, headerFontSizeMedium , defaultFontSize
] ]
(E.text (String.fromInt (index + startingIndex) ++ ".")) (E.text (String.fromInt (index + startingIndex) ++ "."))
, E.column , E.column
[ alignLeft [ alignLeft
, paragraphFontSize , defaultFontSize
, E.width fill , E.width fill
] ]
itemBlocks itemBlocks
@ -443,7 +451,7 @@ elmUiRenderer =
code : String -> Element msg code : String -> Element msg
code snippet = code snippet =
E.el E.el
[ B.color colourTheme.backgroundLightGrey [ B.color (getThemeColor BackgroundLightGrey)
, D.rounded 2 , D.rounded 2
, E.paddingXY 5 3 , E.paddingXY 5 3
, width fill , width fill
@ -460,7 +468,7 @@ code snippet =
codeBlock : { body : String, language : Maybe String } -> Element msg codeBlock : { body : String, language : Maybe String } -> Element msg
codeBlock details = codeBlock details =
E.el E.el
[ B.color colourTheme.backgroundLightGrey [ B.color (getThemeColor BackgroundLightGrey)
, E.htmlAttribute (Html.Attributes.style "white-space" "pre") , E.htmlAttribute (Html.Attributes.style "white-space" "pre")
, width fill , width fill
, E.paddingEach , E.paddingEach
@ -469,7 +477,7 @@ codeBlock details =
, left = 20 , left = 20
, right = 20 , right = 20
} }
, paragraphFontSize , defaultFontSize
, F.family , F.family
[ F.external [ F.external
{ url = "https://fonts.googleapis.com/css?family=Source+Code+Pro" { url = "https://fonts.googleapis.com/css?family=Source+Code+Pro"
@ -498,7 +506,7 @@ heading { level, rawText, children } =
headerFontSizeMedium headerFontSizeMedium
_ -> _ ->
headerFontSizeSmall defaultFontSize
, F.bold , F.bold
, case level of , case level of
Block.H1 -> Block.H1 ->
@ -507,7 +515,7 @@ heading { level, rawText, children } =
_ -> _ ->
F.alignLeft F.alignLeft
, width fill , width fill
, F.color colourTheme.textLightOrange , F.color (getThemeColor TextLightOrange)
, Region.heading (Block.headingLevelToInt level) , Region.heading (Block.headingLevelToInt level)
, E.htmlAttribute , E.htmlAttribute
(Html.Attributes.attribute "name" (rawTextToId rawText)) (Html.Attributes.attribute "name" (rawTextToId rawText))

View file

@ -1,4 +1,4 @@
module Config.Helpers.Articles.Types exposing (..) module Config.Helpers.Articles.Types exposing (References)
type alias References = type alias References =

View file

@ -1,13 +1,27 @@
module Config.Helpers.Price exposing (..) module Config.Helpers.Cards.Inner.BuyButton exposing (buyButton)
import Config.Helpers.Format exposing (headerFontSizeBig)
import Config.Style.Colour.Helpers exposing (colourTheme) import Config.Style.Colour.Helpers exposing (colourTheme)
import Config.Style.Fonts exposing (headerFontSizeBig)
import Config.Style.Glow exposing (glowDeepDarkGrey) import Config.Style.Glow exposing (glowDeepDarkGrey)
import Config.Style.Transitions exposing (hoverPageButtonDeepDarkOrange, transitionStyleMedium) import Config.Style.Transitions exposing (hoverPageButtonDeepDarkOrange, transitionStyleMedium)
import Element as E exposing (..) import Element as E
exposing
( Element
, centerX
, el
, newTabLink
, paddingEach
, pointer
, row
, text
)
import Element.Background as B exposing (color) import Element.Background as B exposing (color)
import Element.Border as D exposing (rounded) import Element.Border as D exposing (rounded)
import Element.Font as F exposing (center) import Element.Font as F
exposing
( bold
, center
)
buyButton : String -> String -> Element msg buyButton : String -> String -> Element msg
@ -19,6 +33,7 @@ buyButton price url =
, glowDeepDarkGrey , glowDeepDarkGrey
, D.color colourTheme.backgroundLightGrey , D.color colourTheme.backgroundLightGrey
, B.color colourTheme.backgroundLightGrey , B.color colourTheme.backgroundLightGrey
, pointer
] ]
<| <|
el el

View file

@ -0,0 +1,28 @@
module Config.Helpers.Cards.Inner.CopyButton exposing (..)
import Config.Helpers.Cards.Inner.Text
exposing
( getHoverColours
)
import Config.Helpers.Cards.Inner.ToolTip exposing (tooltip)
import Config.Style.Colour.Helpers
exposing
( ThemeColor(..)
, colourTheme
, getThemeColor
)
import Config.Style.Icons.Icons exposing (copyLink)
import Config.Style.Icons.Types as TySvg exposing (..)
import Config.Style.Transitions exposing (transitionStyleSlow)
import Element as E exposing (..)
import Element.Background as B
import Element.Border as D
import Element.Font as F
import Element.Input as Input
import Ports
import Shared
import Shared.Msg exposing (Msg(..))
import Svg.Attributes as SvgAttr
import Task
sdafasd = []

View file

@ -1,17 +1,36 @@
module Config.Helpers.StrengthBar exposing (..) module Config.Helpers.Cards.Inner.StrengthBar exposing
( barMaker
, barPadding
)
import Config.Helpers.ToolTip exposing (..) import Config.Helpers.Cards.Inner.ToolTip exposing (tooltip)
import Config.Style.Colour.Helpers exposing (colourTheme) import Config.Style.Colour.Helpers exposing (colourTheme)
import Element as E exposing (..) import Element as E
import Element.Background as B exposing
( Element
, alignLeft
, column
, el
, fill
, height
, none
, px
, width
)
import Element.Background as B exposing (gradient)
import Element.Border as D import Element.Border as D
exposing
( color
, rounded
, width
)
barMaker : (Int -> String) -> Int -> Element msg barMaker : (Int -> String) -> Int -> Element msg
barMaker getTooltip num = barMaker getTooltip num =
el el
[ height <| px 12 [ height <| px 12
, width fill , E.width fill
, D.rounded 10 , D.rounded 10
, D.color colourTheme.textDarkGrey , D.color colourTheme.textDarkGrey
, D.width 2 , D.width 2
@ -23,7 +42,7 @@ barMaker getTooltip num =
, List.repeat (10 - num) colourTheme.barRed , List.repeat (10 - num) colourTheme.barRed
] ]
} }
, tooltip (getTooltip num) , tooltip (getTooltip num) True
] ]
none none
@ -31,6 +50,6 @@ barMaker getTooltip num =
barPadding : List (Element msg) -> Element msg barPadding : List (Element msg) -> Element msg
barPadding = barPadding =
column column
[ width fill [ E.width fill
, alignLeft , alignLeft
] ]

View file

@ -1,27 +1,87 @@
module Config.Helpers.Cards.Inner.Helpers exposing (..) module Config.Helpers.Cards.Inner.Text exposing
( bodyFormat
, detailBodyLink
, detailBodyMaker
, detailFormat
, detailFormatEl
, detailHeader
, detailSpacing
, detailTitleLink
, detailTitleLinkWide
, detailTitleMaker
, divider
, generalButton
, getHoverColours
, listCounter
, listItem
, listMaker
, listMaker2
, numberedListItem
, renderCodeLine
, socialMaker
, titleFormat
)
import Config.Data.Identity exposing (pageNames) import Config.Data.Identity exposing (pageNames)
import Config.Helpers.Converters exposing (formatSocial) import Config.Helpers.Converters exposing (formatSocial)
import Config.Helpers.Format import Config.Style.Colour.Helpers
exposing exposing
( headerFontSizeBig ( ThemeColor(..)
, headerFontSizeMedium , getThemeColor
, headerFontSizeSmall )
, paragraphFontSize import Config.Style.Colour.Types exposing (SyntaxColors)
import Config.Style.Fonts
exposing
( defaultFontSize
, headerFontSizeBig
, paragraphSpacing , paragraphSpacing
) )
import Config.Style.Colour.Helpers exposing (..) import Config.Style.Icons.Types as TySvg exposing (..)
import Config.Style.Transitions import Config.Style.Transitions
exposing exposing
( hoverFontDarkOrange ( hoverFontDarkOrange
, transitionStyleFast
, transitionStyleMedium , transitionStyleMedium
, transitionStyleSlow , transitionStyleSlow
) )
import Element as E exposing (..) import Element as E
import Element.Background as B exposing
( Attribute
, Element
, alignLeft
, alignTop
, centerX
, column
, el
, fill
, height
, maximum
, mouseOver
, newTabLink
, none
, paddingEach
, paddingXY
, paragraph
, pointer
, row
, spacing
, text
, width
)
import Element.Border as D import Element.Border as D
exposing
( color
, rounded
, widthEach
)
import Element.Font as F import Element.Font as F
exposing
( alignLeft
, bold
, color
, family
)
import Shared
import Svg.Attributes as SvgAttr
detailSpacing : Attribute msg detailSpacing : Attribute msg
@ -52,7 +112,7 @@ titleFormat colour =
[ alignTop [ alignTop
, F.bold , F.bold
, F.color (getThemeColor colour) , F.color (getThemeColor colour)
, headerFontSizeSmall , defaultFontSize
, paragraphSpacing , paragraphSpacing
] ]
@ -60,7 +120,7 @@ titleFormat colour =
bodyFormat : ThemeColor -> List (Attribute msg) bodyFormat : ThemeColor -> List (Attribute msg)
bodyFormat colour = bodyFormat colour =
[ F.regular [ F.regular
, paragraphFontSize , defaultFontSize
, F.color (getThemeColor colour) , F.color (getThemeColor colour)
, width fill , width fill
] ]
@ -161,9 +221,9 @@ listMaker2 makeItem itemInfo =
listItem : ThemeColor -> String -> Element msg listItem : ThemeColor -> String -> Element msg
listItem colour item = listItem colour item =
el el
[ paragraphFontSize [ defaultFontSize
, F.bold , F.bold
, alignLeft , E.alignLeft
, width fill , width fill
, F.color (getThemeColor colour) , F.color (getThemeColor colour)
] ]
@ -178,41 +238,35 @@ numberedListItem colour index =
[ alignTop [ alignTop
, F.bold , F.bold
, F.color (getThemeColor colour) , F.color (getThemeColor colour)
, paragraphFontSize , defaultFontSize
] ]
<| <|
text (String.fromInt index ++ ". ") text (String.fromInt index ++ ". ")
argumentButton : String -> String -> Element msg generalButton : Shared.Model -> String -> (OuterPart msg -> Element msg) -> Element msg
argumentButton url item = generalButton shared url icon =
newTabLink newTabLink
[ alignTop ([ alignTop
, paddingXY 0 5 , paddingXY 0 5
] , F.color (getThemeColor TextLightOrange)
]
++ getHoverColours TextLightOrange
)
{ url = url { url = url
, label = , label =
el el
[ F.color colourTheme.textLightGrey [ transitionStyleSlow
, B.color colourTheme.textDarkOrange , paddingXY 7 7
, D.rounded 10 , D.rounded 10
, paddingEach
{ top = 6
, bottom = 3
, left = 10
, right = 10
}
, mouseOver
[ F.color colourTheme.textLightOrange
, B.color colourTheme.textDeepDarkOrange
]
, transitionStyleSlow
, headerFontSizeSmall
, F.bold
] ]
<| <|
text icon
item { elementAttributes =
[]
, sharedModel = shared
, svgAttributes = [ SvgAttr.width "20" ]
}
} }
@ -232,3 +286,65 @@ listCounter : Int -> Element msg
listCounter index = listCounter index =
detailTitleMaker TextLightGrey detailTitleMaker TextLightGrey
(String.fromInt index ++ ". ") (String.fromInt index ++ ". ")
divider : Element msg
divider =
el
[ width fill
, height fill
, centerX
, width (fill |> maximum 600)
, D.widthEach
{ bottom = 1
, top = 0
, left = 0
, right = 0
}
, D.color (getThemeColor TextLightOrange)
, paddingEach
{ top = 10
, bottom = 0
, left = 0
, right = 0
}
]
<|
none
renderCodeLine : SyntaxColors -> List (Element msg) -> Element msg
renderCodeLine colors elements =
paragraph
[ F.color colors.text
, F.alignLeft
, F.family
[ F.monospace ]
]
elements
detailHeader : String -> Element msg
detailHeader title =
column
[ centerX
, width fill
]
[ divider
, paragraph
[ F.color (getThemeColor TextLightGrey)
, paragraphSpacing
, F.bold
, centerX
, F.center
, headerFontSizeBig
, F.color (getThemeColor TextLightOrange)
, paddingEach
{ top = 20
, right = 0
, bottom = 0
, left = 0
}
]
[ text (String.toUpper title) ]
]

View file

@ -1,28 +1,74 @@
module Config.Helpers.ToolTip exposing (..) module Config.Helpers.Cards.Inner.ToolTip exposing
( tooltip
, tooltipImage
)
import Config.Style.Colour.Helpers exposing (colourTheme) import Config.Style.Colour.Helpers exposing (colourTheme)
import Config.Style.Transitions exposing (transitionStyleSlow) import Config.Style.Transitions exposing (transitionStyleSlow)
import Element as E exposing (..) import Element as E
import Element.Background as B exposing
( Attribute
, alignLeft
, alignRight
, below
, centerX
, centerY
, el
, fill
, height
, htmlAttribute
, image
, inFront
, mouseOver
, moveLeft
, none
, padding
, px
, rgba
, text
, transparent
, width
)
import Element.Background as B exposing (color)
import Element.Border as D import Element.Border as D
exposing
( color
, rounded
, shadow
, width
)
import Element.Font as F import Element.Font as F
import Html.Attributes as H exposing
( center
, regular
, size
)
import Html.Attributes as H exposing (style)
tooltip : String -> Attribute msg tooltip : String -> Bool -> Attribute msg
tooltip content = tooltip content isLeft =
inFront <| inFront <|
el el
[ width fill [ E.width fill
, height fill , height fill
, transparent True , transparent True
, mouseOver [ transparent False ] , mouseOver [ transparent False ]
, htmlAttribute <| H.style "z-index" "4" , htmlAttribute <| H.style "z-index" "4"
, transitionStyleSlow , transitionStyleSlow
, below <| , below <|
el [ htmlAttribute (H.style "pointerEvents" "none") ] <| el
[ htmlAttribute (H.style "pointerEvents" "none")
, case isLeft of
True ->
alignLeft
False ->
alignRight
]
<|
el el
[ width <| px 300 [ E.width fill
, htmlAttribute <| H.style "z-index" "4" , htmlAttribute <| H.style "z-index" "4"
, F.size 15 , F.size 15
, F.center , F.center
@ -49,7 +95,7 @@ tooltipImage : String -> Attribute msg
tooltipImage content = tooltipImage content =
inFront <| inFront <|
el el
[ width fill [ E.width fill
, height fill , height fill
, transparent True , transparent True
, mouseOver [ transparent False ] , mouseOver [ transparent False ]
@ -62,11 +108,9 @@ tooltipImage content =
] ]
<| <|
el el
[ width <| px 400 [ E.width <| px 400
, htmlAttribute <| H.style "z-index" "4" , htmlAttribute <| H.style "z-index" "4"
, B.color colourTheme.backgroundLightGrey , B.color colourTheme.backgroundLightGrey
-- , padding 15
, D.color colourTheme.textLightOrange , D.color colourTheme.textLightOrange
, D.rounded 5 , D.rounded 5
, D.width 2 , D.width 2
@ -78,7 +122,7 @@ tooltipImage content =
} }
] ]
(image (image
[ width fill [ E.width fill
, height fill , height fill
, centerX , centerX
, centerY , centerY

View file

@ -1,45 +1,80 @@
module Config.Helpers.Cards.Outer.Helpers exposing (..) module Config.Helpers.Cards.Outer.Helpers exposing (cardMaker)
import Config.Data.Identity -- import Config.Style.Colour.Helpers exposing (colourTheme)
import Config.Data.Identity exposing (pageNames)
import Config.Data.ImageFolders as M
exposing exposing
( pageNames ( ImageFolder(..)
, getImageFolderString
, imagePathMaker
) )
import Config.Helpers.Cards.Outer.Types as C exposing (..) import Config.Helpers.Cards.Inner.Text exposing (divider)
import Config.Helpers.Cards.Outer.Types as C exposing (Cardable(..))
import Config.Helpers.Converters exposing (formatName) import Config.Helpers.Converters exposing (formatName)
import Config.Helpers.Format
exposing
( headerFontSizeBig
, headerFontSizeMedium
, paragraphFontSize
, paragraphSpacing
)
import Config.Helpers.ImageFolders as M exposing (..)
import Config.Helpers.Response exposing (contentContainer) import Config.Helpers.Response exposing (contentContainer)
import Config.Helpers.ServiceFormat exposing (divider) import Config.Style.Colour.Helpers
import Config.Pages.Debate.Arguments.Records.Template exposing (argument) exposing
import Config.Style.Colour.Helpers exposing (colourTheme) ( ThemeColor(..)
, getThemeColor
)
import Config.Style.Fonts
exposing
( defaultFontSize
, headerFontSizeBig
)
import Config.Style.Glow import Config.Style.Glow
exposing exposing
( glowDeepDarkGrey ( glowDeepDarkGrey
, glowDeepDarkOrange , glowDeepDarkOrange
) )
import Config.Style.Icons.Icons exposing (construction) import Config.Style.Transitions exposing (transitionStyleSlow)
import Config.Style.Transitions import Element as E
exposing exposing
( hoverCircleButtonDarkOrange ( Device
, transitionStyleMedium , DeviceClass(..)
, transitionStyleSlow , Element
, Orientation(..)
, alignRight
, alignTop
, centerX
, column
, el
, fill
, height
, image
, link
, mouseOver
, newTabLink
, none
, padding
, paddingEach
, paddingXY
, paragraph
, row
, spacing
, text
, width
) )
import Element as E exposing (..) import Element.Background as B exposing (color)
import Element.Background as B
import Element.Border as D import Element.Border as D
exposing
( color
, roundEach
, rounded
, width
)
import Element.Font as F import Element.Font as F
import Html.Attributes as H exposing
import Route.Path as Path exposing (..) ( alignLeft
import Shared , bold
, center
, color
)
import Html.Attributes as H exposing (id)
cardMaker : Device -> Cardable msg -> List (Element msg) -> Element msg cardMaker : Device -> Cardable -> List (Element msg) -> Element msg
cardMaker device cardable contents = cardMaker device cardable contents =
let let
hasLink : Bool hasLink : Bool
@ -84,13 +119,14 @@ cardMaker device cardable contents =
C.ContactPage _ -> C.ContactPage _ ->
False False
cardTitleMaker : String -> Maybe String -> Element msg cardTitleMaker : String -> String -> Maybe String -> Element msg
cardTitleMaker title maybeUrl = cardTitleMaker htmlId title maybeUrl =
el el
([ headerFontSizeBig ([ headerFontSizeBig
, F.bold , F.bold
, F.color colourTheme.textLightGrey , F.color (getThemeColor TextLightGrey)
, width fill , E.width fill
, E.htmlAttribute (H.id (formatName htmlId))
] ]
++ (case ( device.class, device.orientation ) of ++ (case ( device.class, device.orientation ) of
( Phone, Portrait ) -> ( Phone, Portrait ) ->
@ -101,7 +137,7 @@ cardMaker device cardable contents =
_ -> _ ->
[ F.center [ F.center
, B.color colourTheme.textDarkOrange , B.color (getThemeColor TextDarkOrange)
, D.roundEach , D.roundEach
{ topLeft = 26 { topLeft = 26
, topRight = 26 , topRight = 26
@ -119,7 +155,7 @@ cardMaker device cardable contents =
) )
<| <|
column column
[ width fill [ E.width fill
, spacing 10 , spacing 10
] ]
[ case ( device.class, device.orientation ) of [ case ( device.class, device.orientation ) of
@ -146,7 +182,7 @@ cardMaker device cardable contents =
case ( device.class, device.orientation ) of case ( device.class, device.orientation ) of
( Phone, Portrait ) -> ( Phone, Portrait ) ->
image image
[ width fill [ E.width fill
, paddingEach , paddingEach
{ top = 8 { top = 8
, bottom = 0 , bottom = 0
@ -158,7 +194,7 @@ cardMaker device cardable contents =
( Tablet, Portrait ) -> ( Tablet, Portrait ) ->
image image
[ width fill [ E.width fill
, paddingEach , paddingEach
{ top = 8 { top = 8
, bottom = 0 , bottom = 0
@ -174,7 +210,7 @@ cardMaker device cardable contents =
_ -> _ ->
none none
, row , row
[ width fill [ E.width fill
, spacing 10 , spacing 10
, case ( device.class, device.orientation ) of , case ( device.class, device.orientation ) of
( Phone, Portrait ) -> ( Phone, Portrait ) ->
@ -243,8 +279,8 @@ cardMaker device cardable contents =
{ url = url { url = url
, label = , label =
el el
[ F.color colourTheme.textLightGrey [ F.color (getThemeColor TextLightGrey)
, B.color colourTheme.textDarkOrange , B.color (getThemeColor TextDarkOrange)
, D.rounded 10 , D.rounded 10
, paddingEach , paddingEach
{ top = 6 { top = 6
@ -253,11 +289,11 @@ cardMaker device cardable contents =
, right = 10 , right = 10
} }
, mouseOver , mouseOver
[ F.color colourTheme.textLightOrange [ F.color (getThemeColor TextLightOrange)
, B.color colourTheme.textDeepDarkOrange , B.color (getThemeColor TextDeepDarkOrange)
] ]
, transitionStyleSlow , transitionStyleSlow
, paragraphFontSize , defaultFontSize
] ]
<| <|
text text
@ -273,13 +309,13 @@ cardMaker device cardable contents =
) )
} }
cardInner : String -> Maybe String -> List (Element msg) -> Element msg cardInner : String -> String -> Maybe String -> List (Element msg) -> Element msg
cardInner title maybeUrl elements = cardInner htmlId title maybeUrl elements =
column column
[ width fill [ E.width fill
, spacing 0 , spacing 0
] ]
[ cardTitleMaker title maybeUrl [ cardTitleMaker htmlId title maybeUrl
, (case ( device.class, device.orientation ) of , (case ( device.class, device.orientation ) of
( Phone, Portrait ) -> ( Phone, Portrait ) ->
el el
@ -298,7 +334,7 @@ cardMaker device cardable contents =
) )
<| <|
row row
[ width fill [ E.width fill
] ]
elements elements
] ]
@ -319,14 +355,14 @@ cardMaker device cardable contents =
_ -> _ ->
[ E.width fill [ E.width fill
, D.width 5 , D.width 5
, D.color colourTheme.backgroundDarkGrey , D.color (getThemeColor BackgroundDarkGrey)
, D.rounded 32 , D.rounded 32
, glowDeepDarkGrey , glowDeepDarkGrey
] ]
++ (if hasLink then ++ (if hasLink then
[ mouseOver [ mouseOver
[ D.color colourTheme.textDarkOrange [ D.color (getThemeColor TextDarkOrange)
, B.color colourTheme.textDarkOrange , B.color (getThemeColor TextDarkOrange)
, glowDeepDarkOrange , glowDeepDarkOrange
] ]
, transitionStyleSlow , transitionStyleSlow
@ -339,11 +375,12 @@ cardMaker device cardable contents =
) )
elements elements
cardWithImageWithLink : Bool -> String -> String -> String -> List (Element msg) -> Element msg cardWithImageWithLink : String -> Bool -> String -> String -> String -> List (Element msg) -> Element msg
cardWithImageWithLink linkBool title image url content = cardWithImageWithLink htmlId linkBool title image url content =
linkChooser linkChooser
linkBool linkBool
(cardInner title (cardInner htmlId
title
(if hasLink then (if hasLink then
Just url Just url
@ -355,29 +392,32 @@ cardMaker device cardable contents =
) )
url url
cardWithNoImageWithLink : Bool -> String -> String -> List (Element msg) -> Element msg cardWithNoImageWithLink : String -> Bool -> String -> String -> List (Element msg) -> Element msg
cardWithNoImageWithLink linkBool title url content = cardWithNoImageWithLink htmlId linkBool title url content =
linkChooser linkChooser
linkBool linkBool
(cardInner title (cardInner htmlId
title
(Just url) (Just url)
[ cardContentMaker content [ cardContentMaker content
] ]
) )
url url
cardWithImage : String -> String -> List (Element msg) -> Element msg cardWithImage : String -> String -> String -> List (Element msg) -> Element msg
cardWithImage title image content = cardWithImage htmlId title image content =
cardOuter <| cardOuter <|
cardInner title cardInner htmlId
title
Nothing Nothing
[ cardContentMaker content [ cardContentMaker content
] ]
cardWithNoImage : String -> List (Element msg) -> Element msg cardWithNoImage : String -> String -> List (Element msg) -> Element msg
cardWithNoImage title content = cardWithNoImage htmlId title content =
cardOuter <| cardOuter <|
cardInner title cardInner htmlId
title
Nothing Nothing
[ cardContentMaker content [ cardContentMaker content
] ]
@ -387,10 +427,10 @@ cardMaker device cardable contents =
cardOuter <| cardOuter <|
case ( device.class, device.orientation ) of case ( device.class, device.orientation ) of
( Phone, Portrait ) -> ( Phone, Portrait ) ->
el [ width fill ] <| element el [ E.width fill ] <| element
( Tablet, Portrait ) -> ( Tablet, Portrait ) ->
el [ width fill ] <| element el [ E.width fill ] <| element
_ -> _ ->
(if linkBool then (if linkBool then
@ -399,7 +439,7 @@ cardMaker device cardable contents =
else else
link link
) )
[ width fill ] [ E.width fill ]
{ url = url { url = url
, label = element , label = element
} }
@ -407,6 +447,7 @@ cardMaker device cardable contents =
case cardable of case cardable of
C.Contact contact -> C.Contact contact ->
cardWithImageWithLink cardWithImageWithLink
contact.contactImage
contact.isNewTabLink contact.isNewTabLink
contact.contactName contact.contactName
(imagePathMaker M.Contact contact.contactImage) (imagePathMaker M.Contact contact.contactImage)
@ -415,17 +456,20 @@ cardMaker device cardable contents =
C.Cuck cuck -> C.Cuck cuck ->
cardWithImage cardWithImage
cuck.cuckImage
cuck.cuckName cuck.cuckName
(imagePathMaker M.Cuck cuck.cuckImage) (imagePathMaker M.Cuck cuck.cuckImage)
contents contents
C.BlogArticle blogArticle -> C.BlogArticle blogArticle ->
cardWithNoImage cardWithNoImage
blogArticle.articleImage
(String.toUpper blogArticle.articleName) (String.toUpper blogArticle.articleName)
contents contents
C.BlogCard blogArticle -> C.BlogCard blogArticle ->
cardWithImageWithLink cardWithImageWithLink
blogArticle.articleImage
blogArticle.isNewTabLink blogArticle.isNewTabLink
blogArticle.articleName blogArticle.articleName
(imagePathMaker M.BlogCard blogArticle.articleImage) (imagePathMaker M.BlogCard blogArticle.articleImage)
@ -434,11 +478,13 @@ cardMaker device cardable contents =
C.Argument argument -> C.Argument argument ->
cardWithNoImage cardWithNoImage
argument.argumentImage
argument.argumentTitle argument.argumentTitle
contents contents
C.Gibberish gibberish -> C.Gibberish gibberish ->
cardWithImageWithLink cardWithImageWithLink
gibberish.gibberishImage
gibberish.isNewTabLink gibberish.isNewTabLink
gibberish.gibberishTitle gibberish.gibberishTitle
(imagePathMaker M.Gibberish gibberish.gibberishImage) (imagePathMaker M.Gibberish gibberish.gibberishImage)
@ -447,6 +493,7 @@ cardMaker device cardable contents =
C.Service service -> C.Service service ->
cardWithImageWithLink cardWithImageWithLink
service.serviceImage
service.isNewTabLink service.isNewTabLink
service.serviceName service.serviceName
(imagePathMaker M.Service service.serviceImage) (imagePathMaker M.Service service.serviceImage)
@ -455,6 +502,7 @@ cardMaker device cardable contents =
C.Debate debate -> C.Debate debate ->
cardWithImageWithLink cardWithImageWithLink
debate.debateImage
debate.isNewTabLink debate.isNewTabLink
debate.debateTitle debate.debateTitle
(imagePathMaker M.Debate debate.debateImage) (imagePathMaker M.Debate debate.debateImage)
@ -463,6 +511,7 @@ cardMaker device cardable contents =
C.Donate donate -> C.Donate donate ->
cardWithImageWithLink cardWithImageWithLink
donate.donateImage
donate.isNewTabLink donate.isNewTabLink
donate.donateName donate.donateName
(imagePathMaker M.Donate donate.donateImage) (imagePathMaker M.Donate donate.donateImage)
@ -471,22 +520,26 @@ cardMaker device cardable contents =
C.Interview interview -> C.Interview interview ->
cardWithImage cardWithImage
interview.interviewImage
interview.interviewName interview.interviewName
(imagePathMaker M.Interviews interview.interviewImage) (imagePathMaker M.Interviews interview.interviewImage)
contents contents
C.NutriDex nutriDex -> C.NutriDex nutriDex ->
cardWithNoImage cardWithNoImage
nutriDex.nutriDexTitle
(String.toUpper nutriDex.nutriDexTitle) (String.toUpper nutriDex.nutriDexTitle)
contents contents
C.ServicePage service -> C.ServicePage service ->
cardWithNoImage cardWithNoImage
service.serviceImage
(String.toUpper service.serviceName) (String.toUpper service.serviceName)
contents contents
C.ContactPage contact -> C.ContactPage contact ->
cardWithNoImage cardWithNoImage
contact.contactImage
(String.toUpper contact.contactName) (String.toUpper contact.contactName)
contents contents
@ -495,7 +548,7 @@ cardContentMaker : List (Element msg) -> Element msg
cardContentMaker content = cardContentMaker content =
column column
[ spacing 8 [ spacing 8
, width fill , E.width fill
] ]
content content
@ -505,7 +558,7 @@ cardStuff content =
el el
[ E.width fill [ E.width fill
, centerX , centerX
, B.color colourTheme.backgroundDarkGrey , B.color (getThemeColor BackgroundDarkGrey)
, padding 10 , padding 10
, D.roundEach , D.roundEach
{ topLeft = 0 { topLeft = 0
@ -522,7 +575,7 @@ cardStuff content =
, left = 15 , left = 15
, right = 15 , right = 15
} }
, width fill , E.width fill
, height fill , height fill
] ]
content content

View file

@ -1,4 +1,4 @@
module Config.Helpers.Cards.Outer.Types exposing (..) module Config.Helpers.Cards.Outer.Types exposing (Cardable(..))
import Config.Pages.Blog.Types exposing (BlogArticle) import Config.Pages.Blog.Types exposing (BlogArticle)
import Config.Pages.Contact.Types exposing (Contact) import Config.Pages.Contact.Types exposing (Contact)
@ -9,10 +9,10 @@ import Config.Pages.Debate.Types exposing (Debate)
import Config.Pages.Donate.Types exposing (Donate) import Config.Pages.Donate.Types exposing (Donate)
import Config.Pages.Interviews.Types exposing (Interview) import Config.Pages.Interviews.Types exposing (Interview)
import Config.Pages.Products.Types exposing (NutriDex) import Config.Pages.Products.Types exposing (NutriDex)
import Config.Pages.Services.Types exposing (Service, ServicePage) import Config.Pages.Services.Types exposing (Service)
type Cardable msg type Cardable
= Contact Contact = Contact Contact
| ContactPage Contact | ContactPage Contact
| Cuck Cuck | Cuck Cuck
@ -20,9 +20,9 @@ type Cardable msg
| BlogCard BlogArticle | BlogCard BlogArticle
| Argument Argument | Argument Argument
| Gibberish Gibberish | Gibberish Gibberish
| Service (Service msg) | Service Service
| Debate Debate | Debate Debate
| Donate Donate | Donate Donate
| Interview Interview | Interview Interview
| NutriDex NutriDex | NutriDex NutriDex
| ServicePage (Service msg) | ServicePage Service

View file

@ -1,4 +1,9 @@
module Config.Helpers.Converters exposing (..) module Config.Helpers.Converters exposing
( formatName
, formatSocial
, toTitleCase
, wordCount
)
formatName : String -> String formatName : String -> String

View file

@ -1,47 +0,0 @@
module Config.Helpers.Format exposing (..)
import Config.Style.Colour.Types exposing (..)
import Element exposing (..)
import Element.Border as D
import Element.Font as F
paragraphSpacing : Attribute msg
paragraphSpacing =
spacing 0
headerFontSizeBig : Attr decorative msg
headerFontSizeBig =
F.size 23
headerFontSizeMedium : Attr decorative msg
headerFontSizeMedium =
F.size 20
headerFontSizeSmall : Attr decorative msg
headerFontSizeSmall =
F.size 18
paragraphFontSize : Attr decorative msg
paragraphFontSize =
F.size 18
smallTextFontSize : Attr decorative msg
smallTextFontSize =
F.size 16
renderCodeLine : SyntaxColors -> List (Element msg) -> Element msg
renderCodeLine colors elements =
paragraph
[ F.color colors.text
, F.alignLeft
, F.family
[ F.monospace ]
]
elements

View file

@ -1,37 +1,36 @@
module Config.Helpers.Headers.Helpers exposing (..) module Config.Helpers.Headers.Helpers exposing (headerMaker)
import Config.Helpers.Cards.Inner.Text exposing (divider)
import Config.Helpers.Converters exposing (formatName) import Config.Helpers.Converters exposing (formatName)
import Config.Helpers.Format import Config.Helpers.Headers.Types as C exposing (Headerable(..))
exposing
( headerFontSizeBig
, headerFontSizeMedium
, headerFontSizeSmall
, paragraphFontSize
, paragraphSpacing
)
import Config.Helpers.Headers.Types as C exposing (..)
import Config.Helpers.Response exposing (contentContainer) import Config.Helpers.Response exposing (contentContainer)
import Config.Helpers.ServiceFormat exposing (divider)
import Config.Style.Colour.Helpers exposing (colourTheme) import Config.Style.Colour.Helpers exposing (colourTheme)
import Config.Style.Glow import Config.Style.Fonts
exposing exposing
( glowDeepDarkGrey ( defaultFontSize
, glowDeepDarkOrange , headerFontSizeBig
) )
import Config.Style.Icons.Icons exposing (construction) import Element as E
import Config.Style.Transitions
exposing exposing
( hoverCircleButtonDarkOrange ( Element
, transitionStyleMedium , centerX
, transitionStyleSlow , column
, el
, fill
, maximum
, minimum
, padding
, paddingEach
, paragraph
, spacing
, text
, width
) )
import Element as E exposing (..)
import Element.Background as B
import Element.Border as D
import Element.Font as F import Element.Font as F
import Html.Attributes as H exposing
import Route.Path as Path exposing (..) ( bold
import Shared exposing (..) , center
)
headerMaker : Headerable msg -> Element msg headerMaker : Headerable msg -> Element msg
@ -88,7 +87,7 @@ headerMaker headerable =
<| <|
paragraph paragraph
[ width fill [ width fill
, headerFontSizeSmall , defaultFontSize
, F.center , F.center
] ]
<| <|

View file

@ -1,9 +1,24 @@
module Config.Helpers.Headers.Records exposing (..) module Config.Helpers.Headers.Records exposing
( argumentHeader
, blogHeader
, contactHeader
, cuckListHeader
, debateHeader
, donateHeader
, gibberishHeader
, interviewHeader
, nutriDexHeader
, servicesHeader
)
import Config.Helpers.Cards.Inner.Helpers exposing (detailBodyLink) import Config.Helpers.Cards.Inner.Text exposing (detailBodyLink)
import Config.Helpers.Headers.Types exposing (..) import Config.Helpers.Headers.Types exposing (Header)
import Config.Style.Colour.Helpers exposing (ThemeColor(..)) import Config.Style.Colour.Helpers exposing (ThemeColor(..))
import Element as E exposing (newTabLink, text) import Element as E
exposing
( newTabLink
, text
)
import Route.Path as Path import Route.Path as Path

View file

@ -1,4 +1,7 @@
module Config.Helpers.Headers.Types exposing (..) module Config.Helpers.Headers.Types exposing
( Header
, Headerable(..)
)
import Element exposing (Element) import Element exposing (Element)

View file

@ -1,7 +1,32 @@
module Config.Helpers.Response exposing (..) module Config.Helpers.Response exposing
( contentContainer
, pageList
, pageListCenter
, pageListFormat
, topLevelContainer
)
import Config.Style.Colour.Helpers exposing (colourTheme) import Config.Style.Colour.Helpers exposing (colourTheme)
import Element as E exposing (..) import Element as E
exposing
( Attribute
, Device
, DeviceClass(..)
, Element
, Orientation(..)
, alignTop
, centerX
, centerY
, el
, fill
, height
, maximum
, minimum
, padding
, scrollbarY
, spacing
, width
)
import Element.Background as B exposing (color) import Element.Background as B exposing (color)
import Html.Attributes exposing (style) import Html.Attributes exposing (style)

View file

@ -1,261 +0,0 @@
module Config.Helpers.ServiceFormat exposing (..)
import Config.Data.Identity exposing (pageNames)
import Config.Helpers.Cards.Inner.Helpers exposing (detailSpacing)
import Config.Helpers.Format
exposing
( headerFontSizeBig
, headerFontSizeMedium
, headerFontSizeSmall
, paragraphFontSize
, paragraphSpacing
)
import Config.Style.Colour.Helpers exposing (colourTheme)
import Config.Style.Transitions
exposing
( hoverFontDarkOrange
, transitionStyleFast
, transitionStyleSlow
)
import Element as E exposing (..)
import Element.Background as B
import Element.Border as D
import Element.Font as F
bodyFormat : List (Attribute msg)
bodyFormat =
[ spacing 10
, paddingEach
{ top = 10
, bottom = 0
, left = 0
, right = 0
}
]
chunkMaker : List (Element msg) -> Element msg
chunkMaker elements =
paragraph
[ F.color colourTheme.textLightGrey
, detailSpacing
, paragraphFontSize
, F.alignLeft
, width fill
]
elements
titleMaker : String -> Element msg
titleMaker title =
el
[ paragraphSpacing
, headerFontSizeMedium
, F.bold
, F.center
, width fill
, F.color colourTheme.textLightOrange
, paddingEach
{ top = 20
, bottom = 10
, left = 0
, right = 0
}
]
<|
text title
subTitleMaker : String -> Element msg
subTitleMaker item =
el
[ alignTop
, F.color colourTheme.textLightOrange
, paragraphSpacing
, F.bold
, headerFontSizeSmall
, E.width fill
]
<|
E.text item
highlightedBlockMaker : String -> List String -> Element msg
highlightedBlockMaker title items =
column
[ paddingEach
{ top = 15
, bottom = 15
, left = 20
, right = 20
}
, B.color colourTheme.backgroundLightGrey
, D.rounded 10
, width fill
, spacing 8
]
[ paragraph
[ F.bold
, headerFontSizeSmall
]
[ text title ]
, column
[]
<|
List.indexedMap
(\index item ->
row
[ spacing 10
, width fill
]
[ column
[ width <| px 30
, alignTop
]
[ el
[ alignRight
, headerFontSizeSmall
]
<|
text " "
]
, column
[ spacing 10
, width fill
, alignRight
]
[ paragraph
[ width fill
, paragraphFontSize
, F.alignLeft
]
[ row
[ alignLeft ]
[ paragraph [ alignLeft ]
[ text item
]
]
]
]
]
)
items
]
textEntry : String -> Element msg
textEntry item =
el
[ alignLeft ]
<|
paragraph [] [ text item ]
bulletPointMaker : List String -> Element msg
bulletPointMaker items =
column [ spacing 10 ] <|
List.indexedMap
(\index item ->
row
[ spacing 10
, width fill
]
[ column
[ width <| px 30
, alignTop
]
[ el
[ alignRight
, headerFontSizeSmall
]
<|
text " "
]
, column
[ spacing 10
, width fill
, alignRight
]
[ paragraph
[ width fill
, paragraphFontSize
, F.alignLeft
]
[ el
[ alignLeft ]
<|
paragraph [ alignLeft ]
[ text item
]
]
]
]
)
items
numberMaker : List String -> Element msg
numberMaker items =
column [ spacing 10 ] <|
List.indexedMap
(\index item ->
row
[ spacing 10
, width fill
]
[ column
[ width <| px 30
, alignTop
]
[ el
[ alignRight ]
<|
text (String.fromInt (index + 1) ++ ". ")
]
, column
[ spacing 10
, width fill
, alignRight
]
[ paragraph
[ width fill
, paragraphFontSize
, F.alignLeft
]
[ el
[ alignLeft ]
<|
paragraph [ alignLeft ]
[ text item
]
]
]
]
)
items
divider : Element msg
divider =
el
[ width fill
, height fill
, centerX
, width (fill |> maximum 600)
, D.widthEach
{ bottom = 1
, top = 0
, left = 0
, right = 0
}
, D.color colourTheme.textLightOrange
, paddingEach
{ top = 10
, bottom = 0
, left = 0
, right = 0
}
]
<|
none

View file

@ -1,7 +1,10 @@
module Config.Helpers.Viewport exposing (..) module Config.Helpers.Viewport exposing
( Msg
, resetViewport
)
import Browser.Dom as Dom exposing (setViewport) import Browser.Dom as Dom exposing (setViewport)
import Task exposing (perform) import Task exposing (attempt)
type Msg type Msg

View file

@ -1,6 +1,6 @@
module Config.Pages.Blog.Records.BigFatSurprise exposing (..) module Config.Pages.Blog.Records.BigFatSurprise exposing (articleBigFatSurprise)
import Config.Pages.Blog.Types exposing (..) import Config.Pages.Blog.Types exposing (BlogArticle)
import Route.Path as Path import Route.Path as Path

View file

@ -1,6 +1,6 @@
module Config.Pages.Blog.Records.EverettVegans exposing (..) module Config.Pages.Blog.Records.EverettVegans exposing (articleEverettVegans)
import Config.Pages.Blog.Types exposing (..) import Config.Pages.Blog.Types exposing (BlogArticle)
import Route.Path as Path import Route.Path as Path

View file

@ -1,6 +1,6 @@
module Config.Pages.Blog.Records.HunterGatherers exposing (..) module Config.Pages.Blog.Records.HunterGatherers exposing (articleHunterGatherers)
import Config.Pages.Blog.Types exposing (..) import Config.Pages.Blog.Types exposing (BlogArticle)
import Route.Path as Path import Route.Path as Path

View file

@ -1,6 +1,6 @@
module Config.Pages.Blog.Records.MeatApologetics exposing (..) module Config.Pages.Blog.Records.MeatApologetics exposing (articleMeatApologetics)
import Config.Pages.Blog.Types exposing (..) import Config.Pages.Blog.Types exposing (BlogArticle)
import Route.Path as Path import Route.Path as Path
@ -11,8 +11,6 @@ articleMeatApologetics =
, articleAuthor = "Nick Hiebert" , articleAuthor = "Nick Hiebert"
, isNewTabLink = False , isNewTabLink = False
, hasReferences = True , hasReferences = True
, hasTableOfContents = True , hasTableOfContents = True
, articleImage = "meatapologetics" , articleImage = "meatapologetics"
, articlePublished = "Apr 13, 2022" , articlePublished = "Apr 13, 2022"

View file

@ -1,6 +1,6 @@
module Config.Pages.Blog.Records.NagraGoodrich exposing (..) module Config.Pages.Blog.Records.NagraGoodrich exposing (articleNagraGoodrich)
import Config.Pages.Blog.Types exposing (..) import Config.Pages.Blog.Types exposing (BlogArticle)
import Route.Path as Path import Route.Path as Path

View file

@ -1,6 +1,6 @@
module Config.Pages.Blog.Records.PlantBasedMeta exposing (..) module Config.Pages.Blog.Records.PlantBasedMeta exposing (articlePlantBasedMeta)
import Config.Pages.Blog.Types exposing (..) import Config.Pages.Blog.Types exposing (BlogArticle)
import Route.Path as Path import Route.Path as Path
@ -11,8 +11,6 @@ articlePlantBasedMeta =
, articleAuthor = "Nick Hiebert" , articleAuthor = "Nick Hiebert"
, isNewTabLink = False , isNewTabLink = False
, hasReferences = True , hasReferences = True
, hasTableOfContents = True , hasTableOfContents = True
, articleImage = "plantbasedmeta" , articleImage = "plantbasedmeta"
, articlePublished = "Feb 5, 2021" , articlePublished = "Feb 5, 2021"

View file

@ -1,6 +1,6 @@
module Config.Pages.Blog.Records.QuackSmashing exposing (..) module Config.Pages.Blog.Records.QuackSmashing exposing (articleQuackSmashing)
import Config.Pages.Blog.Types exposing (..) import Config.Pages.Blog.Types exposing (BlogArticle)
import Route.Path as Path import Route.Path as Path
@ -11,8 +11,6 @@ articleQuackSmashing =
, articleAuthor = "Nick Hiebert" , articleAuthor = "Nick Hiebert"
, isNewTabLink = False , isNewTabLink = False
, hasReferences = True , hasReferences = True
, hasTableOfContents = True , hasTableOfContents = True
, articleImage = "quacksmashing" , articleImage = "quacksmashing"
, articlePublished = "Dec 24, 2022" , articlePublished = "Dec 24, 2022"

View file

@ -1,6 +1,6 @@
module Config.Pages.Blog.Records.SapienDiet exposing (..) module Config.Pages.Blog.Records.SapienDiet exposing (articleSapienDiet)
import Config.Pages.Blog.Types exposing (..) import Config.Pages.Blog.Types exposing (BlogArticle)
import Route.Path as Path import Route.Path as Path
@ -11,8 +11,6 @@ articleSapienDiet =
, articleAuthor = "Nick Hiebert" , articleAuthor = "Nick Hiebert"
, isNewTabLink = False , isNewTabLink = False
, hasReferences = True , hasReferences = True
, hasTableOfContents = True , hasTableOfContents = True
, articleImage = "sapiendiet" , articleImage = "sapiendiet"
, articlePublished = "Aug 24, 2022" , articlePublished = "Aug 24, 2022"

View file

@ -1,6 +1,6 @@
module Config.Pages.Blog.Records.SeedOils exposing (..) module Config.Pages.Blog.Records.SeedOils exposing (articleSeedOils)
import Config.Pages.Blog.Types exposing (..) import Config.Pages.Blog.Types exposing (BlogArticle)
import Route.Path as Path import Route.Path as Path
@ -11,8 +11,6 @@ articleSeedOils =
, articleAuthor = "Nick Hiebert" , articleAuthor = "Nick Hiebert"
, isNewTabLink = False , isNewTabLink = False
, hasReferences = True , hasReferences = True
, hasTableOfContents = True , hasTableOfContents = True
, articleImage = "seedoils" , articleImage = "seedoils"
, articlePublished = "Oct 31, 2021" , articlePublished = "Oct 31, 2021"

View file

@ -1,6 +1,6 @@
module Config.Pages.Blog.Records.Shenangians exposing (..) module Config.Pages.Blog.Records.Shenangians exposing (articleShenanigans)
import Config.Pages.Blog.Types exposing (..) import Config.Pages.Blog.Types exposing (BlogArticle)
import Route.Path as Path import Route.Path as Path
@ -11,8 +11,6 @@ articleShenanigans =
, articleAuthor = "Nick Hiebert" , articleAuthor = "Nick Hiebert"
, isNewTabLink = False , isNewTabLink = False
, hasReferences = False , hasReferences = False
, hasTableOfContents = True , hasTableOfContents = True
, articleImage = "shenanigans" , articleImage = "shenanigans"
, articlePublished = "Jun 6, 2024" , articlePublished = "Jun 6, 2024"

View file

@ -1,6 +1,6 @@
module Config.Pages.Blog.Records.SweetDeception exposing (..) module Config.Pages.Blog.Records.SweetDeception exposing (articleSweetDeception)
import Config.Pages.Blog.Types exposing (..) import Config.Pages.Blog.Types exposing (BlogArticle)
import Route.Path as Path import Route.Path as Path

View file

@ -1,6 +1,6 @@
module Config.Pages.Blog.Records.Template exposing (..) module Config.Pages.Blog.Records.Template exposing (article)
import Config.Pages.Blog.Types exposing (..) import Config.Pages.Blog.Types exposing (BlogArticle)
import Route.Path as Path import Route.Path as Path

View file

@ -1,6 +1,6 @@
module Config.Pages.Blog.Types exposing (..) module Config.Pages.Blog.Types exposing (BlogArticle)
import Config.Helpers.Articles.Types exposing (..) import Config.Helpers.Articles.Types exposing (References)
type alias BlogArticle = type alias BlogArticle =

View file

@ -0,0 +1,34 @@
module Config.Pages.Contact.Records exposing (..)
import Config.Pages.Contact.Types exposing (Contact)
import Route.Path as Path
contactInquiry : Contact
contactInquiry =
{ contactName = "General Inquiries"
, contactImage = "email"
, contactDescription = "To submit any inquiries, including service purchases, general questions, guest appearances, webinars, public speaking, please reach out via email by clicking here. You may also submit Discord ban appeals here if you wish. To submit any criticism of the content on this site, follow the Criticism link below."
, contactLink = Path.toString Path.Contact_Inquiry
, isNewTabLink = False
}
contactCriticism : Contact
contactCriticism =
{ contactName = "Criticism"
, contactImage = "discord"
, contactDescription = "To submit critiques of my arguments, reasoning, blog articles, video content, or public statements, please follow this link and adhere to the instructions precisely. Before pursuing any criticism, consider that misuse of this option may result in an immediate Discord ban with no opportunity for appeal."
, contactLink = Path.toString Path.Contact_Criticism
, isNewTabLink = False
}
contactMain : Contact
contactMain =
{ contactName = "Contact"
, contactImage = ""
, contactDescription = ""
, contactLink = ""
, isNewTabLink = True
}

View file

@ -1,6 +1,4 @@
module Config.Pages.Contact.Types exposing (..) module Config.Pages.Contact.Types exposing (Contact)
import Route.Path as Path
type alias Contact = type alias Contact =
@ -10,38 +8,3 @@ type alias Contact =
, contactDescription : String , contactDescription : String
, isNewTabLink : Bool , isNewTabLink : Bool
} }
type alias Method =
{ contactInstructions : String
}
contactInquiry : Contact
contactInquiry =
{ contactName = "General Inquiries"
, contactImage = "email"
, contactDescription = "For any inquiries, including service purchases, general questions, guest appearances, webinars, public speaking, please reach out via email by clicking here. You may also submit Discord ban appeals here if you wish. To submit any criticism of the content on this site, follow the Criticism link below."
, contactLink = Path.toString Path.Contact_Inquiry
, isNewTabLink = False
}
contactCriticism : Contact
contactCriticism =
{ contactName = "Criticism"
, contactImage = "discord"
, contactDescription = "For criticism of my arguments, reasoning, blog articles, video content, or public statements, please follow this link and adhere to the instructions precisely. Before pursuing any criticism, consider that misuse of this option may result in an immediate Discord ban with no opportunity for appeal."
, contactLink = Path.toString Path.Contact_Criticism
, isNewTabLink = False
}
contactMain : Contact
contactMain =
{ contactName = "Contact"
, contactImage = ""
, contactDescription = ""
, contactLink = ""
, isNewTabLink = True
}

View file

@ -1,4 +1,4 @@
module Config.Pages.Debate.Arguments.List exposing (..) module Config.Pages.Debate.Arguments.List exposing (argumentList)
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Records.Abortion exposing (argumentAbortion) import Config.Pages.Debate.Arguments.Records.Abortion exposing (argumentAbortion)

View file

@ -1,8 +1,8 @@
module Config.Pages.Debate.Arguments.Records.Abortion exposing (..) module Config.Pages.Debate.Arguments.Records.Abortion exposing (argumentAbortion)
import Config.Data.Hashtags.Types exposing (Hashtags(..)) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentAbortion : Argument argumentAbortion : Argument

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.Agnosticism exposing (..) module Config.Pages.Debate.Arguments.Records.Agnosticism exposing (argumentAgnosticism)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentAgnosticism : Argument argumentAgnosticism : Argument
@ -14,8 +15,6 @@ argumentAgnosticism =
, argumentCertainty = 9 , argumentCertainty = 9
, argumentImage = "agnostic" , argumentImage = "agnostic"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x,y)" [ { definiendum = "P(x,y)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.AgriculturalPredation exposing (..) module Config.Pages.Debate.Arguments.Records.AgriculturalPredation exposing (argumentAgriculturalPredation)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentAgriculturalPredation : Argument argumentAgriculturalPredation : Argument
@ -14,8 +15,6 @@ argumentAgriculturalPredation =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "predatoragriculture" , argumentImage = "predatoragriculture"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.AnabolicKeto exposing (..) module Config.Pages.Debate.Arguments.Records.AnabolicKeto exposing (argumentAnabolicKeto)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentAnabolicKeto : Argument argumentAnabolicKeto : Argument
@ -14,8 +15,6 @@ argumentAnabolicKeto =
, argumentCertainty = 5 , argumentCertainty = 5
, argumentImage = "anabolicketo" , argumentImage = "anabolicketo"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.AnimalRights exposing (..) module Config.Pages.Debate.Arguments.Records.AnimalRights exposing (argumentAnimalRights)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentAnimalRights : Argument argumentAnimalRights : Argument
@ -14,8 +15,6 @@ argumentAnimalRights =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "animalrights" , argumentImage = "animalrights"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.AntagonisticPleiotropy exposing (..) module Config.Pages.Debate.Arguments.Records.AntagonisticPleiotropy exposing (argumentAntagonisticPleiotropy)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentAntagonisticPleiotropy : Argument argumentAntagonisticPleiotropy : Argument
@ -14,8 +15,6 @@ argumentAntagonisticPleiotropy =
, argumentCertainty = 6 , argumentCertainty = 6
, argumentImage = "antagonisticpleiotropy" , argumentImage = "antagonisticpleiotropy"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.AntiRewilding exposing (..) module Config.Pages.Debate.Arguments.Records.AntiRewilding exposing (argumentAntiRewilding)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentAntiRewilding : Argument argumentAntiRewilding : Argument
@ -14,8 +15,6 @@ argumentAntiRewilding =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "rewilding" , argumentImage = "rewilding"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.AntiVandalism exposing (..) module Config.Pages.Debate.Arguments.Records.AntiVandalism exposing (argumentAntiVandalism)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentAntiVandalism : Argument argumentAntiVandalism : Argument
@ -14,8 +15,6 @@ argumentAntiVandalism =
, argumentCertainty = 8 , argumentCertainty = 8
, argumentImage = "antivandalism" , argumentImage = "antivandalism"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.ApoBCVD exposing (..) module Config.Pages.Debate.Arguments.Records.ApoBCVD exposing (argumentApoBCVD)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentApoBCVD : Argument argumentApoBCVD : Argument
@ -14,8 +15,6 @@ argumentApoBCVD =
, argumentCertainty = 9 , argumentCertainty = 9
, argumentImage = "lipoprotein" , argumentImage = "lipoprotein"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.BoobyTrapPagers exposing (..) module Config.Pages.Debate.Arguments.Records.BoobyTrapPagers exposing (argumentBoobyTrapPagers)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentBoobyTrapPagers : Argument argumentBoobyTrapPagers : Argument
@ -14,8 +15,6 @@ argumentBoobyTrapPagers =
, argumentCertainty = 4 , argumentCertainty = 4
, argumentImage = "pagers" , argumentImage = "pagers"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.CarbsObesity exposing (..) module Config.Pages.Debate.Arguments.Records.CarbsObesity exposing (argumentCarbsObesity)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentCarbsObesity : Argument argumentCarbsObesity : Argument
@ -10,13 +11,10 @@ argumentCarbsObesity =
, propositionTitle = "Carbohydrates do not uniquely cause fat accumulation or obesity." , propositionTitle = "Carbohydrates do not uniquely cause fat accumulation or obesity."
, propositionReductio = "" , propositionReductio = ""
, propositionSummary = "There are a number of predictions made from the hypothesis that carbohydrates uniquely cause obesity. One of those predictions is that obesity would track with carbohydrate intake, but it doesn't" , propositionSummary = "There are a number of predictions made from the hypothesis that carbohydrates uniquely cause obesity. One of those predictions is that obesity would track with carbohydrate intake, but it doesn't"
, proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q)|=(~3P)" , proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q)|=(~3P)"
, argumentCertainty = 9 , argumentCertainty = 9
, argumentImage = "carbobesity" , argumentImage = "carbobesity"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"
@ -39,4 +37,4 @@ argumentCarbsObesity =
, conclusionNotation = "¬P" , conclusionNotation = "¬P"
} }
] ]
} }

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.CateUpfReductio exposing (..) module Config.Pages.Debate.Arguments.Records.CateUpfReductio exposing (argumentCateUpfReductio)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentCateUpfReductio : Argument argumentCateUpfReductio : Argument
@ -14,8 +15,6 @@ argumentCateUpfReductio =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "cateupfreductio" , argumentImage = "cateupfreductio"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.ColonizingNature exposing (..) module Config.Pages.Debate.Arguments.Records.ColonizingNature exposing (argumentColonizingNature)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentColonizingNature : Argument argumentColonizingNature : Argument

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.CropDeaths exposing (..) module Config.Pages.Debate.Arguments.Records.CropDeaths exposing (argumentCropDeaths)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentCropDeaths : Argument argumentCropDeaths : Argument
@ -10,13 +11,10 @@ argumentCropDeaths =
, propositionTitle = "Proposition" , propositionTitle = "Proposition"
, propositionReductio = "" , propositionReductio = ""
, propositionSummary = "We can't claim to know that cropland kills more animals than wildland, because if we did know this, there would be evidence for it, and there isn't any such evidence." , propositionSummary = "We can't claim to know that cropland kills more animals than wildland, because if we did know this, there would be evidence for it, and there isn't any such evidence."
, proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q)%7C=(~3P)" , proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q)%7C=(~3P)"
, argumentCertainty = 9 , argumentCertainty = 9
, argumentImage = "cropdeaths" , argumentImage = "cropdeaths"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"
@ -39,4 +37,4 @@ argumentCropDeaths =
, conclusionNotation = "¬P" , conclusionNotation = "¬P"
} }
] ]
} }

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.DairyCowRape exposing (..) module Config.Pages.Debate.Arguments.Records.DairyCowRape exposing (argumentDairyCowRape)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentDairyCowRape : Argument argumentDairyCowRape : Argument
@ -14,8 +15,6 @@ argumentDairyCowRape =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "cowrape" , argumentImage = "cowrape"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.DietaryCholesterol exposing (..) module Config.Pages.Debate.Arguments.Records.DietaryCholesterol exposing (argumentDietaryCholesterol)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentDietaryCholesterol : Argument argumentDietaryCholesterol : Argument
@ -14,8 +15,6 @@ argumentDietaryCholesterol =
, argumentCertainty = 9 , argumentCertainty = 9
, argumentImage = "dietarycholesterol" , argumentImage = "dietarycholesterol"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,8 +1,8 @@
module Config.Pages.Debate.Arguments.Records.Dummy exposing (..) module Config.Pages.Debate.Arguments.Records.Dummy exposing (argumentDummy)
import Config.Data.Hashtags.Types exposing (Hashtags(..)) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Pages.Debate.Arguments.Types exposing (..)
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentDummy : Argument argumentDummy : Argument
@ -15,8 +15,6 @@ argumentDummy =
, argumentCertainty = 6 , argumentCertainty = 6
, argumentImage = "" , argumentImage = ""
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "" [ { definiendum = ""

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.EfilismPatrolSquad exposing (..) module Config.Pages.Debate.Arguments.Records.EfilismPatrolSquad exposing (argumentEfilismPatrolSquad)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentEfilismPatrolSquad : Argument argumentEfilismPatrolSquad : Argument
@ -14,8 +15,6 @@ argumentEfilismPatrolSquad =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "efilism" , argumentImage = "efilism"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.EpidemiologyCausality exposing (..) module Config.Pages.Debate.Arguments.Records.EpidemiologyCausality exposing (argumentEpidemiologyCausality)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentEpidemiologyCausality : Argument argumentEpidemiologyCausality : Argument
@ -11,12 +12,9 @@ argumentEpidemiologyCausality =
, propositionReductio = "" , propositionReductio = ""
, propositionSummary = "It's just straightforwardly the case that nutritional epidemiology has outstanding translation rates with randomized controlled trials, or at least these is overwhelmingly consistent compatibility in the results. If randomized controlled trials are the standard against which other research methods are to be evaluated, it's not clear why nutritional epidemiology wouldn't be trustworthy in the aggregate." , propositionSummary = "It's just straightforwardly the case that nutritional epidemiology has outstanding translation rates with randomized controlled trials, or at least these is overwhelmingly consistent compatibility in the results. If randomized controlled trials are the standard against which other research methods are to be evaluated, it's not clear why nutritional epidemiology wouldn't be trustworthy in the aggregate."
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pe)|=(Qe)" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pe)|=(Qe)"
, argumentCertainty = 8 , argumentCertainty = 8
, argumentImage = "epidemiologycausality" , argumentImage = "epidemiologycausality"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.EthicalSlurs exposing (..) module Config.Pages.Debate.Arguments.Records.EthicalSlurs exposing (argumentEthicalSlurs)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentEthicalSlurs : Argument argumentEthicalSlurs : Argument
@ -14,8 +15,6 @@ argumentEthicalSlurs =
, argumentCertainty = 7 , argumentCertainty = 7
, argumentImage = "ethicalslurs" , argumentImage = "ethicalslurs"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.FineTuning exposing (..) module Config.Pages.Debate.Arguments.Records.FineTuning exposing (argumentFineTuning)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentFineTuning : Argument argumentFineTuning : Argument
@ -14,8 +15,6 @@ argumentFineTuning =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "finetuning" , argumentImage = "finetuning"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.FlatEarthDebunk exposing (..) module Config.Pages.Debate.Arguments.Records.FlatEarthDebunk exposing (argumentFlatEarthDebunk)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentFlatEarthDebunk : Argument argumentFlatEarthDebunk : Argument
@ -14,8 +15,6 @@ argumentFlatEarthDebunk =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "flatearth" , argumentImage = "flatearth"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x,y)" [ { definiendum = "P(x,y)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.FructoseNAFLD exposing (..) module Config.Pages.Debate.Arguments.Records.FructoseNAFLD exposing (argumentFructoseNAFLD)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentFructoseNAFLD : Argument argumentFructoseNAFLD : Argument
@ -14,8 +15,6 @@ argumentFructoseNAFLD =
, argumentCertainty = 8 , argumentCertainty = 8
, argumentImage = "fructosenafld" , argumentImage = "fructosenafld"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"

View file

@ -1,7 +1,9 @@
module Config.Pages.Debate.Arguments.Records.HealthPromotingFoods exposing (..) module Config.Pages.Debate.Arguments.Records.HealthPromotingFoods exposing (argumentHealthPromotingFoods)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentHealthPromotingFoods : Argument argumentHealthPromotingFoods : Argument
argumentHealthPromotingFoods = argumentHealthPromotingFoods =
@ -9,13 +11,10 @@ argumentHealthPromotingFoods =
, propositionTitle = "All foods are definitionally health-promoting." , propositionTitle = "All foods are definitionally health-promoting."
, propositionReductio = "" , propositionReductio = ""
, propositionSummary = "Given that food is, by its very definition, material that provides essential nutrients and energy to sustain bodily functions and growth, it follows that anything classified as food must be inherently health-promoting by its very nature." , propositionSummary = "Given that food is, by its very definition, material that provides essential nutrients and energy to sustain bodily functions and growth, it follows that anything classified as food must be inherently health-promoting by its very nature."
, proofLink = "https://www.umsu.de/trees/#(P~5Q),(P)|=(Q)" , proofLink = "https://www.umsu.de/trees/#(P~5Q),(P)|=(Q)"
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "healthfoods" , argumentImage = "healthfoods"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"

View file

@ -1,22 +1,20 @@
module Config.Pages.Debate.Arguments.Records.HealthSeeker exposing (..) module Config.Pages.Debate.Arguments.Records.HealthSeeker exposing (argumentHealthSeeker)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentHealthSeeker : Argument argumentHealthSeeker : Argument
argumentHealthSeeker = argumentHealthSeeker =
{ argumentTitle = toTitleCase "Ancestral Health Consistency Checker" { argumentTitle = toTitleCase "Ancestral Health Consistency Checker"
, propositionTitle = "If someone (who favours consuming ancestral foods to the exclusion of novel foods because they value reducing disease risk) is not in favour of consuming a novel food (that reduces disease risk when replacing an ancestral food), then that person would be acting against their values." , propositionTitle = "If someone (who favours consuming ancestral foods to the exclusion of novel foods because they value reducing disease risk) is not in favour of consuming a novel food (that reduces disease risk when replacing an ancestral food), then that person would be acting against their values."
, propositionReductio = "" , propositionReductio = ""
, propositionSummary = "If someone values consuming ancestral foods over novel foods because they have the overall value of reducing disease risk, but a novel food reduces disease risk when replacing an ancestral food, they would be acting against their values by rejecting the novel food." , propositionSummary = "If someone values consuming ancestral foods over novel foods because they have the overall value of reducing disease risk, but a novel food reduces disease risk when replacing an ancestral food, they would be acting against their values by rejecting the novel food."
, proofLink = "https://www.umsu.de/trees/#(~7x(Px)~1~7y(Qy)~5~6x~6y(~3Rxy~5Sx)),(~7x(Px)),(~7y(Qy))|=(~6x~6y(~3Rxy~5Sx))" , proofLink = "https://www.umsu.de/trees/#(~7x(Px)~1~7y(Qy)~5~6x~6y(~3Rxy~5Sx)),(~7x(Px)),(~7y(Qy))|=(~6x~6y(~3Rxy~5Sx))"
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "healthseeker" , argumentImage = "healthseeker"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"
@ -54,4 +52,4 @@ argumentHealthSeeker =
, conclusionNotation = "xy(¬RxySx)" , conclusionNotation = "xy(¬RxySx)"
} }
] ]
} }

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.HealthyChocolate exposing (..) module Config.Pages.Debate.Arguments.Records.HealthyChocolate exposing (argumentHealthyChocolate)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentHealthyChocolate : Argument argumentHealthyChocolate : Argument
@ -14,8 +15,6 @@ argumentHealthyChocolate =
, argumentCertainty = 7 , argumentCertainty = 7
, argumentImage = "chocolate" , argumentImage = "chocolate"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.HealthyDairy exposing (..) module Config.Pages.Debate.Arguments.Records.HealthyDairy exposing (argumentHealthyDairy)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentHealthyDairy : Argument argumentHealthyDairy : Argument
@ -14,8 +15,6 @@ argumentHealthyDairy =
, argumentCertainty = 7 , argumentCertainty = 7
, argumentImage = "dairy" , argumentImage = "dairy"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.HealthyFattyFish exposing (..) module Config.Pages.Debate.Arguments.Records.HealthyFattyFish exposing (argumentHealthyFattyFish)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentHealthyFattyFish : Argument argumentHealthyFattyFish : Argument
@ -14,8 +15,6 @@ argumentHealthyFattyFish =
, argumentCertainty = 8 , argumentCertainty = 8
, argumentImage = "fattyfish" , argumentImage = "fattyfish"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.HealthyFibre exposing (..) module Config.Pages.Debate.Arguments.Records.HealthyFibre exposing (argumentHealthyFibre)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentHealthyFibre : Argument argumentHealthyFibre : Argument
@ -11,12 +12,9 @@ argumentHealthyFibre =
, propositionReductio = "" , propositionReductio = ""
, propositionSummary = "Even when you account for factors that could plausibly influence the results, both refined and whole fibre have been shown to consistently reduce the risk of morbidity and mortality, strongly suggesting that they directly contribute to better health outcomes, particularly with respect to cardiovascular disease." , propositionSummary = "Even when you account for factors that could plausibly influence the results, both refined and whole fibre have been shown to consistently reduce the risk of morbidity and mortality, strongly suggesting that they directly contribute to better health outcomes, particularly with respect to cardiovascular disease."
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qb)|=(Pb)" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qb)|=(Pb)"
, argumentCertainty = 9 , argumentCertainty = 9
, argumentImage = "fibre" , argumentImage = "fibre"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.HealthyFood exposing (..) module Config.Pages.Debate.Arguments.Records.HealthyFood exposing (argumentHealthyFood)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentHealthyFood : Argument argumentHealthyFood : Argument
@ -11,12 +12,9 @@ argumentHealthyFood =
, propositionReductio = "" , propositionReductio = ""
, propositionSummary = "A food is considered healthier than another in a specific context if it increases the time before illness or disease sets in when replacing the other food. On a desert island, since Pepsi can extend the time before starvation compared to leafy greens, it is considered healthier than leafy greens in that context." , propositionSummary = "A food is considered healthier than another in a specific context if it increases the time before illness or disease sets in when replacing the other food. On a desert island, since Pepsi can extend the time before starvation compared to leafy greens, it is considered healthier than leafy greens in that context."
, proofLink = "https://www.umsu.de/trees/#(~6x~6y~6z~6w(Pxyw~4Qwxzy)),(Qdpsl)|=(Ppld)" , proofLink = "https://www.umsu.de/trees/#(~6x~6y~6z~6w(Pxyw~4Qwxzy)),(Qdpsl)|=(Ppld)"
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "foodsubstitution" , argumentImage = "foodsubstitution"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x,y,w)" [ { definiendum = "P(x,y,w)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.HealthyPlantFoods exposing (..) module Config.Pages.Debate.Arguments.Records.HealthyPlantFoods exposing (argumentHealthyPlantFoods)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentHealthyPlantFoods : Argument argumentHealthyPlantFoods : Argument
@ -14,8 +15,6 @@ argumentHealthyPlantFoods =
, argumentCertainty = 9 , argumentCertainty = 9
, argumentImage = "plantfoods" , argumentImage = "plantfoods"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.HealthySeedOils exposing (..) module Config.Pages.Debate.Arguments.Records.HealthySeedOils exposing (argumentHealthySeedOils)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentHealthySeedOils : Argument argumentHealthySeedOils : Argument
@ -14,8 +15,6 @@ argumentHealthySeedOils =
, argumentCertainty = 9 , argumentCertainty = 9
, argumentImage = "seedoils" , argumentImage = "seedoils"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.HealthySoy exposing (..) module Config.Pages.Debate.Arguments.Records.HealthySoy exposing (argumentHealthySoy)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentHealthySoy : Argument argumentHealthySoy : Argument
@ -14,8 +15,6 @@ argumentHealthySoy =
, argumentCertainty = 7 , argumentCertainty = 7
, argumentImage = "soyproducts" , argumentImage = "soyproducts"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.ImmortalityReductio exposing (..) module Config.Pages.Debate.Arguments.Records.ImmortalityReductio exposing (argumentImmortalityReductio)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentImmortalityReductio : Argument argumentImmortalityReductio : Argument
@ -14,8 +15,6 @@ argumentImmortalityReductio =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "immortality" , argumentImage = "immortality"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.LuigiTerrorist exposing (..) module Config.Pages.Debate.Arguments.Records.LuigiTerrorist exposing (argumentLuigiTerrorist)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentLuigiTerrorist : Argument argumentLuigiTerrorist : Argument
@ -14,8 +15,6 @@ argumentLuigiTerrorist =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "luigiterrorist" , argumentImage = "luigiterrorist"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.Malondialdehyde exposing (..) module Config.Pages.Debate.Arguments.Records.Malondialdehyde exposing (argumentMalondialdehyde)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentMalondialdehyde : Argument argumentMalondialdehyde : Argument
@ -14,8 +15,6 @@ argumentMalondialdehyde =
, argumentCertainty = 6 , argumentCertainty = 6
, argumentImage = "mda" , argumentImage = "mda"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.OddOrderPredators exposing (..) module Config.Pages.Debate.Arguments.Records.OddOrderPredators exposing (argumentOddOrderPredators)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentOddOrderPredators : Argument argumentOddOrderPredators : Argument

View file

@ -1,7 +1,9 @@
module Config.Pages.Debate.Arguments.Records.Omega3Omega6Ratio exposing (..) module Config.Pages.Debate.Arguments.Records.Omega3Omega6Ratio exposing (argumentOmega3Omega6Ratio)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentOmega3Omega6Ratio : Argument argumentOmega3Omega6Ratio : Argument
argumentOmega3Omega6Ratio = argumentOmega3Omega6Ratio =
@ -9,13 +11,10 @@ argumentOmega3Omega6Ratio =
, propositionTitle = "The omega-6/omega-3 ratio is unlikely to matter for health." , propositionTitle = "The omega-6/omega-3 ratio is unlikely to matter for health."
, propositionReductio = "" , propositionReductio = ""
, propositionSummary = "More often than not, the associated risks of a high omega-6/omega-3 ratio are better explained by omega-3 alone. In multivariable analyses, the ratio looks like it matters, but in univariable anaylses, low omega-3 is almost always driving the risk via lowering the denominator." , propositionSummary = "More often than not, the associated risks of a high omega-6/omega-3 ratio are better explained by omega-3 alone. In multivariable analyses, the ratio looks like it matters, but in univariable anaylses, low omega-3 is almost always driving the risk via lowering the denominator."
, proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q)|=(~3P)" , proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q)|=(~3P)"
, argumentCertainty = 7 , argumentCertainty = 7
, argumentImage = "omega6omega3ratio" , argumentImage = "omega6omega3ratio"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"
@ -38,4 +37,4 @@ argumentOmega3Omega6Ratio =
, conclusionNotation = "¬Q" , conclusionNotation = "¬Q"
} }
] ]
} }

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.Ostroveganism exposing (..) module Config.Pages.Debate.Arguments.Records.Ostroveganism exposing (argumentOstroveganism)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentOstroveganism : Argument argumentOstroveganism : Argument
@ -14,8 +15,6 @@ argumentOstroveganism =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "ostroveganism" , argumentImage = "ostroveganism"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.PlantBasedCVDReversal exposing (..) module Config.Pages.Debate.Arguments.Records.PlantBasedCVDReversal exposing (argumentPlantBasedCVDReversal)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentPlantBasedCVDReversal : Argument argumentPlantBasedCVDReversal : Argument
@ -10,13 +11,10 @@ argumentPlantBasedCVDReversal =
, propositionTitle = "Plant-based diets do not appear to clinically reverse atherosclerosis." , propositionTitle = "Plant-based diets do not appear to clinically reverse atherosclerosis."
, propositionReductio = "" , propositionReductio = ""
, propositionSummary = "To date, there is not a single case of supposed heart disease reversal from a plant-based diet that is actually compatible with established definitions of heart disease reversal in the literature." , propositionSummary = "To date, there is not a single case of supposed heart disease reversal from a plant-based diet that is actually compatible with established definitions of heart disease reversal in the literature."
, proofLink = "https://www.umsu.de/trees/#(P~1~3Q~5~3R),(P),(~3Q)|=(~3R)" , proofLink = "https://www.umsu.de/trees/#(P~1~3Q~5~3R),(P),(~3Q)|=(~3R)"
, argumentCertainty = 8 , argumentCertainty = 8
, argumentImage = "plantbasedcvd" , argumentImage = "plantbasedcvd"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"
@ -45,4 +43,4 @@ argumentPlantBasedCVDReversal =
, conclusionNotation = "¬R" , conclusionNotation = "¬R"
} }
] ]
} }

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.PollinationReductio exposing (..) module Config.Pages.Debate.Arguments.Records.PollinationReductio exposing (argumentPollinationReductio)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentPollinationReductio : Argument argumentPollinationReductio : Argument
@ -14,8 +15,6 @@ argumentPollinationReductio =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "pollinationreductio" , argumentImage = "pollinationreductio"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.PolyphenolReductio exposing (..) module Config.Pages.Debate.Arguments.Records.PolyphenolReductio exposing (argumentPolyphenolReductio)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentPolyphenolReductio : Argument argumentPolyphenolReductio : Argument
@ -14,8 +15,6 @@ argumentPolyphenolReductio =
, argumentCertainty = 7 , argumentCertainty = 7
, argumentImage = "polyphenolreductio" , argumentImage = "polyphenolreductio"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.ScratcherPioneers exposing (..) module Config.Pages.Debate.Arguments.Records.ScratcherPioneers exposing (argumentScratcherPioneers)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentScratcherPioneers : Argument argumentScratcherPioneers : Argument
@ -14,8 +15,6 @@ argumentScratcherPioneers =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "tattooscratchers" , argumentImage = "tattooscratchers"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,9 @@
module Config.Pages.Debate.Arguments.Records.SodiumCVD exposing (..) module Config.Pages.Debate.Arguments.Records.SodiumCVD exposing (argumentSodiumCVD)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentSodiumCVD : Argument argumentSodiumCVD : Argument
argumentSodiumCVD = argumentSodiumCVD =
@ -9,13 +11,10 @@ argumentSodiumCVD =
, propositionTitle = "Higher intakes of sodium increases cardiovascular disease risk." , propositionTitle = "Higher intakes of sodium increases cardiovascular disease risk."
, propositionReductio = "" , propositionReductio = ""
, propositionSummary = "In all of the strongest analysis on the relationship between sodium intake and cardiovascular disease risk, there is a linear and proportional relationship. Particularly when the strongest measurement methods are used, such as multiple 24-hour urinary collections." , propositionSummary = "In all of the strongest analysis on the relationship between sodium intake and cardiovascular disease risk, there is a linear and proportional relationship. Particularly when the strongest measurement methods are used, such as multiple 24-hour urinary collections."
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~1Q~5Rx)),(Ps),(Q)|=(Rs)" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~1Q~5Rx)),(Ps),(Q)|=(Rs)"
, argumentCertainty = 9 , argumentCertainty = 9
, argumentImage = "sodiumcvd" , argumentImage = "sodiumcvd"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"
@ -27,7 +26,7 @@ argumentSodiumCVD =
, { definiendum = "R(x)" , { definiendum = "R(x)"
, definiens = "higher intakes of substance (x) increases cardiovascular disease risk" , definiens = "higher intakes of substance (x) increases cardiovascular disease risk"
} }
, { definiendum = "x" , { definiendum = "x"
, definiens = "a substance" , definiens = "a substance"
} }
, { definiendum = "s" , { definiendum = "s"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.TMAOCausality exposing (..) module Config.Pages.Debate.Arguments.Records.TMAOCausality exposing (argumentTMAOCausality)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentTMAOCausality : Argument argumentTMAOCausality : Argument
@ -10,13 +11,10 @@ argumentTMAOCausality =
, propositionReductio = "" , propositionReductio = ""
, propositionTitle = "TMAO is not likely to be causative of heart disease." , propositionTitle = "TMAO is not likely to be causative of heart disease."
, propositionSummary = "In the strongest research we have on the relationship between TMAO and heart disease risk, such as with Mendelian randomization and genome-wide associational studies, there is no persuasive causal link between TMAO in the blood and heart disease risk." , propositionSummary = "In the strongest research we have on the relationship between TMAO and heart disease risk, such as with Mendelian randomization and genome-wide associational studies, there is no persuasive causal link between TMAO in the blood and heart disease risk."
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(~3Qt)|=(~3Pt)" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(~3Qt)|=(~3Pt)"
, argumentCertainty = 9 , argumentCertainty = 9
, argumentImage = "tmaocausality" , argumentImage = "tmaocausality"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"
@ -45,4 +43,4 @@ argumentTMAOCausality =
, conclusionNotation = "¬Pt" , conclusionNotation = "¬Pt"
} }
] ]
} }

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.Template exposing (..) module Config.Pages.Debate.Arguments.Records.Template exposing (argument)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argument : Argument argument : Argument
@ -10,12 +11,10 @@ argument =
, propositionTitle = "" , propositionTitle = ""
, propositionReductio = "" , propositionReductio = ""
, propositionSummary = "" , propositionSummary = ""
, proofLink = "" , proofLink = ""
, argumentCertainty = 1 , argumentCertainty = 1
, argumentImage = "" , argumentImage = ""
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "" [ { definiendum = ""

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.TransPeople exposing (..) module Config.Pages.Debate.Arguments.Records.TransPeople exposing (argumentTransPeople)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentTransPeople : Argument argumentTransPeople : Argument
@ -14,8 +15,6 @@ argumentTransPeople =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "transpeople" , argumentImage = "transpeople"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "Male" [ { definiendum = "Male"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.TruncatedMeta exposing (..) module Config.Pages.Debate.Arguments.Records.TruncatedMeta exposing (argumentTruncatedMeta)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentTruncatedMeta : Argument argumentTruncatedMeta : Argument
@ -14,8 +15,6 @@ argumentTruncatedMeta =
, argumentCertainty = 7 , argumentCertainty = 7
, argumentImage = "truncatedmetas" , argumentImage = "truncatedmetas"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.UnhealthyCoconutOil exposing (..) module Config.Pages.Debate.Arguments.Records.UnhealthyCoconutOil exposing (argumentUnhealthyCoconutOil)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentUnhealthyCoconutOil : Argument argumentUnhealthyCoconutOil : Argument
@ -14,8 +15,6 @@ argumentUnhealthyCoconutOil =
, argumentCertainty = 9 , argumentCertainty = 9
, argumentImage = "coconutoil" , argumentImage = "coconutoil"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.UnhealthyProcessedMeat exposing (..) module Config.Pages.Debate.Arguments.Records.UnhealthyProcessedMeat exposing (argumentUnhealthyProcessedMeat)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentUnhealthyProcessedMeat : Argument argumentUnhealthyProcessedMeat : Argument
@ -14,8 +15,6 @@ argumentUnhealthyProcessedMeat =
, argumentCertainty = 8 , argumentCertainty = 8
, argumentImage = "processedmeat" , argumentImage = "processedmeat"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.UnhealthyRedMeat exposing (..) module Config.Pages.Debate.Arguments.Records.UnhealthyRedMeat exposing (argumentUnhealthyRedMeat)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentUnhealthyRedMeat : Argument argumentUnhealthyRedMeat : Argument
@ -14,8 +15,6 @@ argumentUnhealthyRedMeat =
, argumentCertainty = 7 , argumentCertainty = 7
, argumentImage = "redmeat" , argumentImage = "redmeat"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.UnhealthySaturatedFat exposing (..) module Config.Pages.Debate.Arguments.Records.UnhealthySaturatedFat exposing (argumentUnhealthySaturatedFat)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentUnhealthySaturatedFat : Argument argumentUnhealthySaturatedFat : Argument
@ -14,8 +15,6 @@ argumentUnhealthySaturatedFat =
, argumentCertainty = 9 , argumentCertainty = 9
, argumentImage = "saturatedfat" , argumentImage = "saturatedfat"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,7 +1,8 @@
module Config.Pages.Debate.Arguments.Records.VeganSocietyReductio exposing (..) module Config.Pages.Debate.Arguments.Records.VeganSocietyReductio exposing (argumentVeganSocietyReductio)
import Config.Pages.Debate.Arguments.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase) import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)
argumentVeganSocietyReductio : Argument argumentVeganSocietyReductio : Argument
@ -14,8 +15,6 @@ argumentVeganSocietyReductio =
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "vegansociety" , argumentImage = "vegansociety"
, argumentHashtags = [] , argumentHashtags = []
, isNewTabLink = False , isNewTabLink = False
, definitionTable = , definitionTable =
[ { definiendum = "P(x)" [ { definiendum = "P(x)"

View file

@ -1,6 +1,6 @@
module Config.Pages.Debate.Arguments.Types exposing (..) module Config.Pages.Debate.Arguments.Types exposing (Argument)
import Config.Data.Hashtags.Types exposing (..) import Config.Data.Hashtags.Types exposing (Hashtags(..))
type alias Argument = type alias Argument =

View file

@ -1,4 +1,4 @@
module Config.Pages.Debate.Cuckery.List exposing (..) module Config.Pages.Debate.Cuckery.List exposing (cuckList)
import Config.Pages.Debate.Cuckery.Records.AdamSinger exposing (cuckAdamSinger) import Config.Pages.Debate.Cuckery.Records.AdamSinger exposing (cuckAdamSinger)
import Config.Pages.Debate.Cuckery.Records.AmberOHearn exposing (cuckAmberOHearn) import Config.Pages.Debate.Cuckery.Records.AmberOHearn exposing (cuckAmberOHearn)
@ -142,8 +142,3 @@ cuckList =
, cuckZoeHarcombe , cuckZoeHarcombe
, cuckZsofiaClemens , cuckZsofiaClemens
] ]
cuckListNumber : Int
cuckListNumber =
List.length cuckList

View file

@ -1,7 +1,16 @@
module Config.Pages.Debate.Cuckery.Records.AdamSinger exposing (..) module Config.Pages.Debate.Cuckery.Records.AdamSinger exposing (cuckAdamSinger)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (formatName) import Config.Helpers.Converters exposing (formatName)
import Config.Pages.Debate.Cuckery.Types exposing (..) import Config.Pages.Debate.Cuckery.Types
exposing
( Cuck
, DodgeDescription(..)
, DodgeFallacies(..)
, DoxasticState(..)
, Evaluation(..)
, commonPropReasons
)
cuckAdamSinger : Cuck cuckAdamSinger : Cuck

View file

@ -1,7 +1,16 @@
module Config.Pages.Debate.Cuckery.Records.AmberOHearn exposing (..) module Config.Pages.Debate.Cuckery.Records.AmberOHearn exposing (cuckAmberOHearn)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (formatName) import Config.Helpers.Converters exposing (formatName)
import Config.Pages.Debate.Cuckery.Types exposing (..) import Config.Pages.Debate.Cuckery.Types
exposing
( Cuck
, DodgeDescription(..)
, DodgeFallacies(..)
, DoxasticState(..)
, Evaluation(..)
, noProposition
)
cuckAmberOHearn : Cuck cuckAmberOHearn : Cuck

View file

@ -1,7 +1,15 @@
module Config.Pages.Debate.Cuckery.Records.AnnChilders exposing (..) module Config.Pages.Debate.Cuckery.Records.AnnChilders exposing (cuckAnnChilders)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (formatName) import Config.Helpers.Converters exposing (formatName)
import Config.Pages.Debate.Cuckery.Types exposing (..) import Config.Pages.Debate.Cuckery.Types
exposing
( Cuck
, DodgeDescription(..)
, DodgeFallacies(..)
, DoxasticState(..)
, Evaluation(..)
)
cuckAnnChilders : Cuck cuckAnnChilders : Cuck

View file

@ -1,7 +1,18 @@
module Config.Pages.Debate.Cuckery.Records.AnthonyGustin exposing (..) module Config.Pages.Debate.Cuckery.Records.AnthonyGustin exposing (cuckAnthonyGustin)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (formatName) import Config.Helpers.Converters exposing (formatName)
import Config.Pages.Debate.Cuckery.Types exposing (..) import Config.Pages.Debate.Cuckery.Types
exposing
( Cuck
, DodgeDescription(..)
, DodgeFallacies(..)
, DoxasticState(..)
, Evaluation(..)
, commonPropReasons
, commonProps
, noProposition
)
cuckAnthonyGustin : Cuck cuckAnthonyGustin : Cuck

View file

@ -1,7 +1,15 @@
module Config.Pages.Debate.Cuckery.Records.AshwaniGarg exposing (..) module Config.Pages.Debate.Cuckery.Records.AshwaniGarg exposing (cuckAshwaniGarg)
import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (formatName) import Config.Helpers.Converters exposing (formatName)
import Config.Pages.Debate.Cuckery.Types exposing (..) import Config.Pages.Debate.Cuckery.Types
exposing
( Cuck
, DodgeDescription(..)
, DodgeFallacies(..)
, DoxasticState(..)
, Evaluation(..)
)
cuckAshwaniGarg : Cuck cuckAshwaniGarg : Cuck

Some files were not shown because too many files have changed in this diff Show more