Skip to content
Snippets Groups Projects
Commit 216e2052 authored by Daniel Firth's avatar Daniel Firth
Browse files

Initial import from hs-techlab-platform

parents
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
flake.lock 0 → 100644
+ 388
− 0
View file @ 216e2052
{
"nodes": {
"cborg": {
"flake": false,
"locked": {
"lastModified": 1661203454,
"narHash": "sha256-El+o3mioBcjNTnERNBEMRWU9bs9bJ0agxw4YHQKPV44=",
"owner": "parsonsmatt",
"repo": "cborg",
"rev": "05ca2063ff631667699bffbeee3a4a076943b905",
"type": "github"
},
"original": {
"owner": "parsonsmatt",
"repo": "cborg",
"rev": "05ca2063ff631667699bffbeee3a4a076943b905",
"type": "github"
}
},
"cereal": {
"flake": false,
"locked": {
"lastModified": 1660071359,
"narHash": "sha256-1CEEynJBeSz+zeNSy8uJ4qdOYz93jvIJJB7MBQRA99I=",
"owner": "GaloisInc",
"repo": "cereal",
"rev": "c188f3d45ab4245c962975ac237e13c85aeb7136",
"type": "github"
},
"original": {
"owner": "GaloisInc",
"repo": "cereal",
"type": "github"
}
},
"composite-dhall": {
"flake": false,
"locked": {
"lastModified": 1662127799,
"narHash": "sha256-kfrR4pUnlHy58qIQkVo8TKr0qvySrTXXrl3JELOjCCo=",
"ref": "refs/heads/master",
"rev": "d9858c59e6ba8fcfa85ab0a30f662e25f9400d41",
"revCount": 46,
"type": "git",
"url": "https://gitlab.homotopic.tech/haskell/composite-dhall"
},
"original": {
"type": "git",
"url": "https://gitlab.homotopic.tech/haskell/composite-dhall"
}
},
"composite-lens-extra": {
"flake": false,
"locked": {
"lastModified": 1662139407,
"narHash": "sha256-klAhsEDQiFJYarYaGmGI9HLndqz6ddOgHalCoIwcJN8=",
"ref": "refs/heads/master",
"rev": "ee6d665429e0e0a2c9273d95ee60108490bf9d03",
"revCount": 14,
"type": "git",
"url": "https://gitlab.homotopic.tech/haskell/composite-lens-extra"
},
"original": {
"type": "git",
"url": "https://gitlab.homotopic.tech/haskell/composite-lens-extra"
}
},
"double-conversion": {
"flake": false,
"locked": {
"lastModified": 1661030012,
"narHash": "sha256-K+UJK5ek5ufplqY7to9lfVnSKoa+rZUjNL95b0P7R3w=",
"owner": "haskell",
"repo": "double-conversion",
"rev": "5d092e0664442eaac8ae1d101dba57ce9b1c9b03",
"type": "github"
},
"original": {
"owner": "haskell",
"repo": "double-conversion",
"type": "github"
}
},
"flake-parts": {
"inputs": {
"nixpkgs": [
"nixpkgs"
]
},
"locked": {
"lastModified": 1661009076,
"narHash": "sha256-phAE40gctVygRq3G3B6LhvD7u2qdQT21xsz8DdRDYFo=",
"owner": "hercules-ci",
"repo": "flake-parts",
"rev": "850d8a76026127ef02f040fb0dcfdb8b749dd9d9",
"type": "github"
},
"original": {
"owner": "hercules-ci",
"repo": "flake-parts",
"type": "github"
}
},
"flake-utils": {
"locked": {
"lastModified": 1659877975,
"narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
"owner": "numtide",
"repo": "flake-utils",
"rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
"type": "github"
},
"original": {
"id": "flake-utils",
"type": "indirect"
}
},
"flake-utils_2": {
"locked": {
"lastModified": 1644229661,
"narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
"owner": "numtide",
"repo": "flake-utils",
"rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
"type": "github"
},
"original": {
"owner": "numtide",
"repo": "flake-utils",
"type": "github"
}
},
"foundation": {
"flake": false,
"locked": {
"lastModified": 1653349151,
"narHash": "sha256-W19+xRxbJ3weRuayuXhkwWX6R6cil2dKZSkMmwH+ox8=",
"owner": "parsonsmatt",
"repo": "foundation",
"rev": "8166c31a115521f2ce5fabfba8247982979eeebf",
"type": "github"
},
"original": {
"owner": "parsonsmatt",
"repo": "foundation",
"type": "github"
}
},
"ghc-tcplugins-extra": {
"flake": false,
"locked": {
"lastModified": 1657981318,
"narHash": "sha256-PRHBLEWy93hsxh805w5spq1+EZ2h6LQq+fyrF9GF6jg=",
"owner": "clash-lang",
"repo": "ghc-tcplugins-extra",
"rev": "8852d8ad94effa39e3400a243b21ae444df6c69e",
"type": "github"
},
"original": {
"owner": "clash-lang",
"repo": "ghc-tcplugins-extra",
"rev": "8852d8ad94effa39e3400a243b21ae444df6c69e",
"type": "github"
}
},
"hashable": {
"flake": false,
"locked": {
"lastModified": 1660124057,
"narHash": "sha256-ixWGWClYvVZJwpExYrUWiejVMZniape5q0Gd3uV6mfY=",
"owner": "haskell-unordered-containers",
"repo": "hashable",
"rev": "18138a173a7659e390ba4c026f9ceb1cd850b80e",
"type": "github"
},
"original": {
"owner": "haskell-unordered-containers",
"repo": "hashable",
"type": "github"
}
},
"haskell-flake": {
"locked": {
"lastModified": 1661726764,
"narHash": "sha256-YzzOoff6m3W4g4B0E8xd3omvOhEVuRu/Rdvnmy2H6Jc=",
"owner": "srid",
"repo": "haskell-flake",
"rev": "3c27b5ba2eafc52f4bed232a8ff74cf0a5a99375",
"type": "github"
},
"original": {
"owner": "srid",
"repo": "haskell-flake",
"type": "github"
}
},
"hedgehog": {
"flake": false,
"locked": {
"lastModified": 1661722659,
"narHash": "sha256-M8b3+VYLsSIg6jOeHGPL5ctDKzp9LHhykeZ+5j8ESqE=",
"owner": "hedgehogqa",
"repo": "haskell-hedgehog",
"rev": "70cf9fd0719e2d0ace1093cbe75673d7b9b4cf65",
"type": "github"
},
"original": {
"owner": "hedgehogqa",
"repo": "haskell-hedgehog",
"type": "github"
}
},
"integer-logarithms": {
"flake": false,
"locked": {
"lastModified": 1660123968,
"narHash": "sha256-2kekA7iAFDjgOV1ixhNBkuCUVEF3wZW5UGoQyb8jZUw=",
"owner": "haskellari",
"repo": "integer-logarithms",
"rev": "28a78aa2cafe12cf0b1f63c684be4fdf552afc61",
"type": "github"
},
"original": {
"owner": "haskellari",
"repo": "integer-logarithms",
"type": "github"
}
},
"lint-utils": {
"inputs": {
"flake-utils": "flake-utils_2",
"nixpkgs": "nixpkgs"
},
"locked": {
"lastModified": 1655192403,
"narHash": "sha256-XyKDvRGDh8VXA6zN8DUTnDaTMrk0MxMKg70MaAX1A2Y=",
"ref": "refs/heads/master",
"rev": "a7ae54afdc4c05a5aabf202d5a76d02705eb6147",
"revCount": 28,
"type": "git",
"url": "https://gitlab.homotopic.tech/nix/lint-utils"
},
"original": {
"type": "git",
"url": "https://gitlab.homotopic.tech/nix/lint-utils"
}
},
"memory": {
"flake": false,
"locked": {
"lastModified": 1653425739,
"narHash": "sha256-X4XcCEouvpX19d1dr3eg3L6s/aaRccuAsl980/FrRmE=",
"owner": "parsonsmatt",
"repo": "hs-memory",
"rev": "0f760c8ba0b7d5aacf04a7294e87e5e4fff53f40",
"type": "github"
},
"original": {
"owner": "parsonsmatt",
"repo": "hs-memory",
"rev": "0f760c8ba0b7d5aacf04a7294e87e5e4fff53f40",
"type": "github"
}
},
"nixpkgs": {
"locked": {
"lastModified": 1644525281,
"narHash": "sha256-D3VuWLdnLmAXIkooWAtbTGSQI9Fc1lkvAr94wTxhnTU=",
"owner": "NixOS",
"repo": "nixpkgs",
"rev": "48d63e924a2666baf37f4f14a18f19347fbd54a2",
"type": "github"
},
"original": {
"owner": "NixOS",
"ref": "nixos-unstable",
"repo": "nixpkgs",
"type": "github"
}
},
"nixpkgs_2": {
"locked": {
"lastModified": 1661704917,
"narHash": "sha256-h1deRhxLw9iaYzIovHT9mLFuZq/9hoge+pXSbX98B78=",
"owner": "nixos",
"repo": "nixpkgs",
"rev": "adf66cc31390f920854340679d7505ac577a5a8b",
"type": "github"
},
"original": {
"owner": "nixos",
"ref": "nixpkgs-unstable",
"repo": "nixpkgs",
"type": "github"
}
},
"polysemy-time": {
"flake": false,
"locked": {
"lastModified": 1660942587,
"narHash": "sha256-tQQO43HgOkgxMqa1R+HC3DipJpcoM/9fK0MJf5Q3MP0=",
"owner": "tek",
"repo": "polysemy-time",
"rev": "34d406f5c270fc2cd52c80612077433e8013791f",
"type": "github"
},
"original": {
"owner": "tek",
"repo": "polysemy-time",
"type": "github"
}
},
"root": {
"inputs": {
"cborg": "cborg",
"cereal": "cereal",
"composite-dhall": "composite-dhall",
"composite-lens-extra": "composite-lens-extra",
"double-conversion": "double-conversion",
"flake-parts": "flake-parts",
"flake-utils": "flake-utils",
"foundation": "foundation",
"ghc-tcplugins-extra": "ghc-tcplugins-extra",
"hashable": "hashable",
"haskell-flake": "haskell-flake",
"hedgehog": "hedgehog",
"integer-logarithms": "integer-logarithms",
"lint-utils": "lint-utils",
"memory": "memory",
"nixpkgs": "nixpkgs_2",
"polysemy-time": "polysemy-time",
"tasty": "tasty",
"tasty-hedgehog": "tasty-hedgehog",
"th-lift-instances": "th-lift-instances"
}
},
"tasty": {
"flake": false,
"locked": {
"lastModified": 1660335396,
"narHash": "sha256-kZjFyOWW2WLs4+MerJi5xgpBorO8lkfEOeNS1bJhygs=",
"owner": "UnkindPartition",
"repo": "tasty",
"rev": "df7ccab50d361c7d1a3c00960faac883d98c2530",
"type": "github"
},
"original": {
"owner": "UnkindPartition",
"repo": "tasty",
"type": "github"
}
},
"tasty-hedgehog": {
"flake": false,
"locked": {
"lastModified": 1662119872,
"narHash": "sha256-BS4h27omxUGduez6ag0bLOG1nqMDvql+bOJ/ApXmhOI=",
"owner": "locallycompact",
"repo": "tasty-hedgehog",
"rev": "4a3477578ed21aa82e5b74f387d08e5d750635d6",
"type": "github"
},
"original": {
"owner": "locallycompact",
"repo": "tasty-hedgehog",
"type": "github"
}
},
"th-lift-instances": {
"flake": false,
"locked": {
"lastModified": 1661248001,
"narHash": "sha256-eGBEfCCoqqY2C31MQWbm2T5d6nvgmdbIXct91z9Tk0k=",
"owner": "bennofs",
"repo": "th-lift-instances",
"rev": "232d7ea04d6fd6dd5a5db48b0279d2f6b3bacd0f",
"type": "github"
},
"original": {
"owner": "bennofs",
"repo": "th-lift-instances",
"type": "github"
}
}
},
"root": "root",
"version": 7
}
flake.nix 0 → 100644
+ 80
− 0
View file @ 216e2052
{
inputs = {
cborg = {
url = "github:parsonsmatt/cborg/05ca2063ff631667699bffbeee3a4a076943b905";
flake = false;
};
cereal = {
url = "github:GaloisInc/cereal";
flake = false;
};
composite-dhall = {
url = "git+https://gitlab.homotopic.tech/haskell/composite-dhall";
flake = false;
};
composite-lens-extra = {
url = "git+https://gitlab.homotopic.tech/haskell/composite-lens-extra";
flake = false;
};
double-conversion = {
url = "github:haskell/double-conversion";
flake = false;
};
flake-parts.url = "github:hercules-ci/flake-parts";
flake-parts.inputs.nixpkgs.follows = "nixpkgs";
foundation = {
url = "github:parsonsmatt/foundation";
flake = false;
};
hedgehog = {
url = "github:hedgehogqa/haskell-hedgehog";
flake = false;
};
ghc-tcplugins-extra = {
url = "github:clash-lang/ghc-tcplugins-extra/8852d8ad94effa39e3400a243b21ae444df6c69e";
flake = false;
};
lint-utils.url = "git+https://gitlab.homotopic.tech/nix/lint-utils";
hashable = {
url = "github:haskell-unordered-containers/hashable";
flake = false;
};
haskell-flake.url = "github:srid/haskell-flake";
integer-logarithms = {
url = "github:haskellari/integer-logarithms";
flake = false;
};
memory = {
url = "github:parsonsmatt/hs-memory/0f760c8ba0b7d5aacf04a7294e87e5e4fff53f40";
flake = false;
};
nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";
tasty = {
url = "github:UnkindPartition/tasty";
flake = false;
};
tasty-hedgehog = {
url = "github:locallycompact/tasty-hedgehog";
flake = false;
};
th-lift-instances = {
url = "github:bennofs/th-lift-instances";
flake = false;
};
polysemy-time = {
url = "github:tek/polysemy-time";
flake = false;
};
};
outputs = inputs@{ self, nixpkgs, flake-utils, lint-utils, ... }:
flake-utils.lib.eachSystem [ "x86_64-linux" ] (system:
let
pkgs = import nixpkgs { inherit system; };
in
{
checks = {
nixpkgs-fmt = lint-utils.outputs.linters.${system}.nixpkgs-fmt ./.;
};
overlays = import ./overlay.nix { inherit inputs pkgs; };
});
}
overlay.nix 0 → 100644
+ 117
− 0
View file @ 216e2052
{ inputs, pkgs }:
final: prev: with pkgs.haskell.lib; {
ChasingBottoms = prev.callHackage "ChasingBottoms" "1.3.1.12" { };
OneTuple = prev.callHackage "OneTuple" "0.3.1" { };
aeson = prev.callHackage "aeson" "2.1.0.0" { };
ansi-terminal = prev.callHackage "ansi-terminal" "0.11.3" { };
assoc = prev.callHackage "assoc" "1.0.2" { };
async = prev.callHackage "async" "2.2.4" { };
basement = doJailbreak (prev.callCabal2nix "basement" (inputs.foundation + /basement) { });
base-compat = final.callHackage "base-compat" "0.12.2" { };
base-compat-batteries = final.callHackage "base-compat-batteries" "0.12.2" { };
base-orphans = dontCheck prev.base-orphans;
binary-orphans = doJailbreak (dontCheck prev.binary-orphans);
blaze-markup = doJailbreak prev.blaze-markup;
boring = doJailbreak prev.boring;
bsb-http-chunked = dontCheck (prev.bsb-http-chunked);
bytes = doJailbreak prev.bytes;
cabal-doctest = doJailbreak (prev.cabal-doctest);
cborg = doJailbreak (prev.callCabal2nix "cborg" (inputs.cborg + /cborg) { });
cborg-json = doJailbreak (prev.callCabal2nix "cborg-json" (inputs.cborg + /cborg-json) { });
cereal = prev.callCabal2nix "cereal" inputs.cereal { };
composite-base = doJailbreak (final.callHackage "composite-base" "0.8.1.0" { });
composite-dhall = prev.callCabal2nix "composite-dhall" inputs.composite-dhall { };
composite-lens-extra = prev.callCabal2nix "composite-dhall" inputs.composite-lens-extra { };
conduit = dontCheck prev.conduit;
constraints = doJailbreak prev.constraints;
cryptohash-sha1 = doJailbreak prev.cryptohash-sha1;
cryptonite = prev.callHackage "cryptonite" "0.30" { };
data-fix = doJailbreak prev.data-fix;
dec = doJailbreak prev.dec;
dhall = doJailbreak prev.dhall;
doctest = doJailbreak (prev.callHackage "doctest" "0.20.0" { });
double-conversion = prev.callCabal2nix "double-conversion" inputs.double-conversion { };
email-validate = dontCheck prev.email-validate;
extra = dontCheck prev.extra;
fcf-containers = dontCheck prev.fcf-containers;
first-class-families = doJailbreak prev.first-class-families;
foldl = dontCheck (prev.foldl);
foundation = doJailbreak (prev.callCabal2nix "foundation" (inputs.foundation + /foundation) { });
generic-lens-lite = doJailbreak prev.generic-lens-lite;
generic-optics-lite = doJailbreak prev.generic-optics-lite;
ghc-byteorder = doJailbreak prev.ghc-byteorder;
ghc-tcplugins-extra = final.callCabal2nix "ghc-tcplugins-extra" inputs.ghc-tcplugins-extra { };
hashable = dontCheck (prev.callCabal2nix "hashable" inputs.hashable { });
hedgehog = dontHaddock (prev.callCabal2nix "hedgehog" (inputs.hedgehog + /hedgehog) { });
hourglass = dontCheck prev.hourglass;
hspec = doJailbreak prev.hspec;
hspec-core = dontCheck (prev.callHackage "hspec-core" "2.10.0.1" { });
hspec-discover = dontCheck (prev.callHackage "hspec-discover" "2.10.0.1" { });
hspec-meta = dontCheck (prev.callHackage "hspec-meta" "2.9.3" { });
http-client = dontCheck (prev.http-client);
http-date = dontCheck (prev.http-date);
http-types = dontCheck (prev.http-types);
http2 = dontCheck prev.http2;
incipit-base = doJailbreak prev.incipit-base;
incipit-core = doJailbreak prev.incipit-core;
indexed-traversable = doJailbreak (final.callHackage "indexed-traversable" "0.1.2" { });
indexed-traversable-instances = doJailbreak (dontCheck prev.indexed-traversable-instances);
integer-logarithms = final.callCabal2nix "integer-logarithms" inputs.integer-logarithms { };
invariant = doJailbreak prev.invariant;
iproute = dontCheck (prev.iproute);
lens = doJailbreak (prev.callHackage "lens" "5.1" { });
lens-aeson = prev.callHackage "lens-aeson" "1.2.1" { };
lifted-async = doJailbreak prev.lifted-async;
linear = doJailbreak prev.linear;
lucid = doJailbreak prev.lucid;
memory = prev.callCabal2nix "memory" inputs.memory { };
network-byte-order = dontCheck (prev.network-byte-order);
nothunks = dontCheck prev.nothunks;
parallel = doJailbreak (final.callHackage "parallel" "3.2.2.0" { });
polysemy = dontCheck prev.polysemy;
polysemy-time = dontCheck (prev.callCabal2nix "polysemy-time" (inputs.polysemy-time + /packages/time) { });
postgresql-libpq = doJailbreak prev.postgresql-libpq;
postgresql-simple = doJailbreak prev.postgresql-simple;
pretty-simple = dontCheck prev.pretty-simple;
prettyprinter-ansi-terminal = dontCheck prev.prettyprinter-ansi-terminal;
primitive = dontCheck (prev.callHackage "primitive" "0.7.4.0" { });
proteaaudio = doJailbreak prev.proteaaudio;
proteaaudio-sdl = doJailbreak prev.proteaaudio-sdl;
quickcheck-instances = doJailbreak prev.quickcheck-instances;
retry = dontCheck prev.retry;
scientific = doJailbreak prev.scientific;
sdl2 = dontCheck (final.callHackage "sdl2" "2.5.3.3" { });
semialign = doJailbreak prev.semialign;
serialise = prev.callCabal2nix "serialise" (inputs.cborg + /serialise) { };
singleton-bool = doJailbreak prev.singleton-bool;
some = doJailbreak prev.some;
sop-core = doJailbreak prev.sop-core;
split = doJailbreak prev.split;
splitmix = doJailbreak (prev.splitmix);
streaming-commons = dontCheck prev.streaming-commons;
syb = dontCheck prev.syb;
tasty = doJailbreak (prev.callCabal2nix "tasty" (inputs.tasty + /core) { });
tasty-hedgehog = doJailbreak (prev.callCabal2nix "tasty-hedgehog" inputs.tasty-hedgehog { });
tasty-hunit = doJailbreak (prev.callCabal2nix "tasty" (inputs.tasty + /hunit) { });
these = doJailbreak prev.these;
th-lift-instances = prev.callCabal2nix "th-lift-instances" inputs.th-lift-instances { };
time-compat = doJailbreak prev.time-compat;
type-errors-pretty = dontCheck (doJailbreak prev.type-errors-pretty);
type-errors = dontCheck (doJailbreak prev.type-errors);
type-equality = doJailbreak prev.type-equality;
unordered-containers = doJailbreak (prev.callHackage "unordered-containers" "0.2.19.1" { });
vault = doJailbreak prev.vault;
vector = dontCheck (prev.vector);
vinyl = final.callHackage "vinyl" "0.14.3" { };
warp = dontCheck (prev.warp);
witherable = dontCheck prev.witherable;
}
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment