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

feat: added haskell

Browse source
This commit is contained in:
Nick 2024-12-05 02:26:48 -06:00
parent 0e6008f06c
commit a4f392eda4
15 changed files with 109 additions and 54 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.pre-commit-config.yaml Symbolic link
View file

@ -0,0 +1 @@
/nix/store/a2kn134qqb4whsh5y4bikcryhka2dgl4-pre-commit-config.json

10
backend/backend.cabal Executable file
View file

@ -0,0 +1,10 @@
cabal-version: 3.0
name: example
version: 0.1.0.0
executable main
main-is: Main.hs
build-depends:
, base
default-language: Haskell2010
hs-source-dirs: src

4
backend/src/Main.hs Executable file
View file

@ -0,0 +1,4 @@
module Main where
main :: IO ()
main = putStrLn "Hello, World!"

36
flake.lock generated
View file

@ -5,11 +5,11 @@
"nixpkgs-lib": "nixpkgs-lib"
},
"locked": {
"lastModified": 1730504689,
"narHash": "sha256-hgmguH29K2fvs9szpq2r3pz2/8cJd2LPS+b4tfNFCwE=",
"lastModified": 1733312601,
"narHash": "sha256-4pDvzqnegAfRkPwO3wmwBhVi/Sye1mzps0zHWYnP88c=",
"owner": "hercules-ci",
"repo": "flake-parts",
"rev": "506278e768c2a08bec68eb62932193e341f55c90",
"rev": "205b12d8b7cd4802fbcb8e8ef6a0f1408781a4f9",
"type": "github"
},
"original": {
@ -17,13 +17,28 @@
"type": "indirect"
}
},
"haskell-flake": {
"locked": {
"lastModified": 1733021212,
"narHash": "sha256-rnEfkMDX94VKi07K+M5k+CvZJXDexpvXv5Hg29zZmxg=",
"owner": "srid",
"repo": "haskell-flake",
"rev": "c60351652c71ebeb5dd237f7da874412a7a96970",
"type": "github"
},
"original": {
"owner": "srid",
"repo": "haskell-flake",
"type": "github"
}
},
"nixpkgs": {
"locked": {
"lastModified": 1731319897,
"narHash": "sha256-PbABj4tnbWFMfBp6OcUK5iGy1QY+/Z96ZcLpooIbuEI=",
"lastModified": 1733212471,
"narHash": "sha256-M1+uCoV5igihRfcUKrr1riygbe73/dzNnzPsmaLCmpo=",
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "dc460ec76cbff0e66e269457d7b728432263166c",
"rev": "55d15ad12a74eb7d4646254e13638ad0c4128776",
"type": "github"
},
"original": {
@ -35,14 +50,14 @@
},
"nixpkgs-lib": {
"locked": {
"lastModified": 1730504152,
"narHash": "sha256-lXvH/vOfb4aGYyvFmZK/HlsNsr/0CVWlwYvo2rxJk3s=",
"lastModified": 1733096140,
"narHash": "sha256-1qRH7uAUsyQI7R1Uwl4T+XvdNv778H0Nb5njNrqvylY=",
"type": "tarball",
"url": "https://github.com/NixOS/nixpkgs/archive/cc2f28000298e1269cea6612cd06ec9979dd5d7f.tar.gz"
"url": "https://github.com/NixOS/nixpkgs/archive/5487e69da40cbd611ab2cadee0b4637225f7cfae.tar.gz"
},
"original": {
"type": "tarball",
"url": "https://github.com/NixOS/nixpkgs/archive/cc2f28000298e1269cea6612cd06ec9979dd5d7f.tar.gz"
"url": "https://github.com/NixOS/nixpkgs/archive/5487e69da40cbd611ab2cadee0b4637225f7cfae.tar.gz"
}
},
"nixpkgs-stable": {
@ -64,6 +79,7 @@
"root": {
"inputs": {
"flake-parts": "flake-parts",
"haskell-flake": "haskell-flake",
"nixpkgs": "nixpkgs",
"nixpkgs-stable": "nixpkgs-stable"
}

2
flake.nix
View file

@ -3,6 +3,7 @@
inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
nixpkgs-stable.url = "github:NixOS/nixpkgs/nixos-23.11";
haskell-flake.url = "github:srid/haskell-flake";
};
outputs = inputs @ {
flake-parts,
@ -14,6 +15,7 @@
flake-parts.lib.mkFlake {inherit inputs;} {
imports = [
./parts
inputs.haskell-flake.flakeModule
];
systems = [system];
perSystem = {pkgs, ...}: {

7
frontend/src/Contact/Helpers.elm
View file

@ -212,9 +212,8 @@ instructionBody =
[ column
[ width <| px 15
, alignTop
, alignRight
]
[ el [] <| text (String.fromInt (index + 1) ++ ". ") ]
[ el [ alignRight ] <| text (String.fromInt (index + 1) ++ ". ") ]
, column
[ spacing 10
, width fill
@ -418,11 +417,11 @@ termsAndConditions =
, width fill
, spacing 8
]
[ text "\"Hello, <@191027366640877568>, I have a criticism for you."
[ text "\"Hello, <@191027366640877568>. I have a criticism for you."
, row [ alignLeft ]
[ paragraph []
[ text "Proposition: "
, el [ darkFormat ] <| text "specify the ecxact proposition you are addressing."
, el [ darkFormat ] <| text "specify the exact proposition you are addressing."
]
]
, row [ alignLeft ]

2
frontend/src/Cuckery/Helpers.elm
View file

@ -58,7 +58,7 @@ cuckTitle cuck =
dodgeMaker : Cuck -> Element msg
dodgeMaker cuck =
column
[ spacing 15
[ spacing 10
, width fill
]
<|

10
frontend/src/Debate/Gibberish/Domains/Epistemology.elm
View file

@ -21,10 +21,6 @@ epistemologyGibberish =
, strength = 5
, explanation = NoClue
}
, { term = "Direct Reference"
, strength = 2
, explanation = SpecificExplanation "I don't understand the term usage as it's been used and unpacked in conversation. I don't understand what it means for a word to \"point to\" an object, and I also don't understand what semantic advantage or distinction this has to a mundane, ostensibly non-direct reference to an object in speech."
}
, { term = "Externalist Epistemology"
, strength = 0
, explanation = SpecificExplanation "I don't take anything other than logic to be justification-giving. As such, any position that claims that justification can arrive through non-inferential means, such as mechanisms operating outside the mind, just sounds like gibberish."
@ -49,9 +45,9 @@ epistemologyGibberish =
, strength = 0
, explanation = SpecificExplanation "I take a priori arguments to be arguments based on principles or axioms and not based on experience, which would seem to place a priori outside the purview of syntheticity."
}
, { term = "Ultimate Grounding"
, strength = 2
, explanation = SpecificExplanation "It's completely unclear what this theo-babble is meant to communicate. I assume it has something to do with the absence of antecedent conditions and/or irreducibility that provide some sort of \"best epistemology\" or something, but I can't be sure. It just sounds like gobbledy"
, { term = "Warrant"
, strength = 0
, explanation = SpecificExplanation "This seems to be taken to be the thing that is justification-providing on phenomenal conservatism. I'm not sure what that thing is, but if it's non-inferential, then it's just gibberish."
}
]
}

8
frontend/src/Debate/Gibberish/Domains/Metaphysics.elm
View file

@ -28,9 +28,17 @@ metaphysicsGibberish =
, strength = 5
, explanation = NoClue
}
, { term = "Ontological Modality"
, strength = 0
, explanation = SpecificExplanation "Any attempt at unpacking this that I've heard has more or less cashed out into a logical modality, but it seems to be taken as distinct from logical modality. As a non-logical modality, I have no idea what it's supposed to be."
}
, { term = "Subjective Idealism"
, strength = 5
, explanation = NoClue
}
, { term = "Ultimate Grounding"
, strength = 2
, explanation = SpecificExplanation "It's completely unclear what this theo-babble is meant to communicate. I assume it has something to do with the absence of antecedent conditions and/or irreducibility that provide some sort of \"best epistemology\" or something, but I can't be sure. It just sounds like gobbledy"
}
]
}

4
frontend/src/Debate/Gibberish/Domains/Normativity.elm
View file

@ -20,10 +20,6 @@ normativityGibberish =
, strength = 5
, explanation = SpecificExplanation "I typically don't really understand irreducibility language in philosophy. Most philosophers seem to just use it as a sort of profound-sounding placeholder for when their personal creativity for explanation runs dry. No idea what it's meant to mean here, though."
}
, { term = "Moral Particles"
, strength = 0
, explanation = SpecificExplanation "This just sounds like a hallucination, honestly."
}
, { term = "Stance-Independent Normativity"
, strength = 0
, explanation = SpecificExplanation "I take norms to be semantically interchangeable with preferences, and I take preferences to be stance-dependent. As such, the notion of a stance-independent norm just sounds like gobbledy."

8
frontend/src/Debate/Gibberish/Domains/Ontology.elm
View file

@ -16,13 +16,9 @@ ontologyGibberish =
, strength = 0
, explanation = SpecificExplanation "If libertarian free will is meant to refer to the ability to make decisions outside the constraints of determinism, then it would seem like this concept of free will purports to break causality by assuming decisions can be made without antecedent conditions. This just sounds like gibberish to me."
}
, { term = "Ontological Modality"
, { term = "Moral Particles"
, strength = 0
, explanation = SpecificExplanation "Any attempt at unpacking this that I've heard has more or less cashed out into a logical modality, but it seems to be taken as distinct from logical modality. As a non-logical modality, I have no idea what it's supposed to be."
}
, { term = "Warrant"
, strength = 0
, explanation = SpecificExplanation "This seems to be taken to be the thing that is justification-providing on phenomenal conservative. I'm not sure what that thing is, but if it's non-inferential, then it's just gibberish."
, explanation = SpecificExplanation "This just sounds like a hallucination, honestly."
}
]
}

6
frontend/src/Debate/Gibberish/Domains/PhilOfLanguage.elm
View file

@ -12,7 +12,11 @@ philOfLanguageGibberish =
{ gibberishTitle = name
, gibberishImage = formatName name
, gibberishTerms =
[ { term = "Semantic Primitive"
[ { term = "Direct Reference"
, strength = 2
, explanation = SpecificExplanation "I don't understand the term usage as it's been used and unpacked in conversation. I don't understand what it means for a word to \"point to\" an object, and I also don't understand what semantic advantage or distinction this has to a mundane, ostensibly non-direct reference to an object in speech."
}
, { term = "Semantic Primitive"
, strength = 2
, explanation = SpecificExplanation "I typically don't really understand irreducibility language like \"primitive\" in philosophy. Most philosophers seem to just use it as a sort of profound-sounding placeholder for when their personal creativity for explanation runs dry. No idea what it's meant to mean here, though."
}

27
frontend/src/Layouts/Navbar.elm
View file

@ -111,28 +111,27 @@ view { content, model, toContentMsg, props } =
[ row
(nonHighlightedTitleFormat
++ [ centerX
, spacing 10
, padding 20
]
)
[ E.image
[ spacing 2
, E.width <| px 80
, E.width <| px 180
, centerX
]
{ src = "navbar/nutrivorelogo.png"
{ src = "navbar/uprootnutrition.png"
, description = ""
}
, column []
[ link [ centerX ]
{ url = localhostUrl ++ pageNames.pageHome
, label = text "upRoot"
}
, link [ centerX ]
{ url = localhostUrl ++ pageNames.pageHome
, label = text "Nutrition"
}
]
-- , column []
-- [ link [ centerX ]
-- { url = localhostUrl ++ pageNames.pageHome
-- , label = text "upRoot"
-- }
-- , link [ centerX ]
-- { url = localhostUrl ++ pageNames.pageHome
-- , label = text "Nutrition"
-- }
-- ]
]
, el
[ E.width <| px 140

BIN
frontend/static/navbar/uprootnutrition.png Executable file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 35 KiB

38
parts/config/devshells.nix
View file

@ -1,19 +1,39 @@
{
pkgs,
pkgs-stable,
config,
...
}: {
devShells = {
default = pkgs.mkShell {
packages = builtins.attrValues {
haskellProjects.default = {
devShell = {
enable = true;
tools = hp: {
inherit
(hp)
cabal-fmt
haskell-language-server
;
inherit
(pkgs)
alejandra
dhall
dhall-json
dhall-lsp-server
helix-gpt
just
libz
ngrep
nil
sops
ssh-to-age
stripe-cli
vscode-langservers-extracted
zlib
;
inherit
(pkgs-stable.elmPackages)
(pkgs.elmPackages)
elm
elm-format
elm-land
@ -23,12 +43,16 @@
;
inherit
(pkgs.nodePackages)
"@commitlint/config-conventional"
(pkgs.nodePackages_latest)
dotenv-cli
forever
nodejs
npm
typescript-language-server
;
};
hlsCheck.enable = true;
};
};
}