Skip to content
Snippets Groups Projects
overlay.nix 6.67 KiB
Newer Older
Max Tomago's avatar
Max Tomago committed
{ pkgs, ... }:
final: prev: with pkgs.haskell.lib; {
Max Tomago's avatar
Max Tomago committed
  HTF = prev.callPackage (./pkgs/HTF.nix) { };

Max Tomago's avatar
Max Tomago committed
  PyF = prev.callPackage (./pkgs/PyF.nix) { };
Max Tomago's avatar
Max Tomago committed
  Stream = prev.callPackage (./pkgs/Stream.nix) { };

Max Tomago's avatar
Max Tomago committed
  Unique = prev.callPackage (./pkgs/Unique.nix) { };
Max Tomago's avatar
Max Tomago committed
  algebraic-graphs = prev.callPackage (./pkgs/algebraic-graphs.nix) { };
  base-deriving-via = prev.callPackage (./pkgs/base-deriving-via.nix) { };

Max Tomago's avatar
Max Tomago committed
  base-prelude = prev.callPackage (./pkgs/base-prelude.nix) { };

  base58-bytestring = prev.callPackage (./pkgs/base58-bytestring.nix) { };

Max Tomago's avatar
Max Tomago committed
  base64-bytestring-type = prev.callPackage (./pkgs/base64-bytestring-type.nix) { };
Max Tomago's avatar
Max Tomago committed
  bech32 = prev.callPackage (./pkgs/bech32.nix) { };
Max Tomago's avatar
Max Tomago committed
  byron-spec-chain = prev.callPackage (./pkgs/byron-spec-chain.nix) { };
Max Tomago's avatar
Max Tomago committed
  byron-spec-ledger = prev.callPackage (./pkgs/byron-spec-ledger.nix) { };
Max Tomago's avatar
Max Tomago committed
  canonical-json = prev.callPackage (./pkgs/canonical-json.nix) { };
Max Tomago's avatar
Max Tomago committed
  cardano-binary = prev.callPackage (./pkgs/cardano-binary.nix) { };
Max Tomago's avatar
Max Tomago committed
  cardano-binary-test = prev.callPackage (./pkgs/cardano-binary-test.nix) { };
Max Tomago's avatar
Max Tomago committed
  cardano-crypto = prev.callPackage (./pkgs/cardano-crypto.nix) { };
Max Tomago's avatar
Max Tomago committed
  cardano-crypto-class = prev.callPackage (./pkgs/cardano-crypto-class.nix) { };
Max Tomago's avatar
Max Tomago committed
  cardano-crypto-praos = prev.callPackage (./pkgs/cardano-crypto-praos.nix) { };
Max Tomago's avatar
Max Tomago committed
  cardano-crypto-test = prev.callPackage (./pkgs/cardano-crypto-test.nix) { };
Max Tomago's avatar
Max Tomago committed
  cardano-crypto-wrapper = prev.callPackage (./pkgs/cardano-crypto-wrapper.nix) { };
  cardano-data = prev.callPackage (./pkgs/cardano-data.nix) { };

  cardano-ledger-alonzo = prev.callPackage (./pkgs/cardano-ledger-alonzo.nix) { };

  cardano-ledger-alonzo-test = prev.callPackage (./pkgs/cardano-ledger-alonzo-test.nix) { };

  cardano-ledger-api = prev.callPackage (./pkgs/cardano-ledger-api.nix) { };

  cardano-ledger-babbage = prev.callPackage (./pkgs/cardano-ledger-babbage.nix) { };

  cardano-ledger-babbage-test = prev.callPackage (./pkgs/cardano-ledger-babbage-test.nix) { };

Max Tomago's avatar
Max Tomago committed
  cardano-ledger-byron = prev.callPackage (./pkgs/cardano-ledger-byron.nix) { };
  cardano-ledger-byron-test = prev.callPackage (./pkgs/cardano-ledger-byron-test.nix) { };

  cardano-ledger-conway = prev.callPackage (./pkgs/cardano-ledger-conway.nix) { };

  cardano-ledger-conway-test = prev.callPackage (./pkgs/cardano-ledger-conway-test.nix) { };

  cardano-ledger-core = prev.callPackage (./pkgs/cardano-ledger-core.nix) { };

  cardano-ledger-pretty = prev.callPackage (./pkgs/cardano-ledger-pretty.nix) { };

  cardano-ledger-shelley = prev.callPackage (./pkgs/cardano-ledger-shelley.nix) { };

  cardano-ledger-shelley-ma = prev.callPackage (./pkgs/cardano-ledger-shelley-ma.nix) { };

  cardano-ledger-shelley-ma-test = prev.callPackage (./pkgs/cardano-ledger-shelley-ma-test.nix) { };

  cardano-ledger-shelley-test = prev.callPackage (./pkgs/cardano-ledger-shelley-test.nix) { };

  cardano-ledger-test = prev.callPackage (./pkgs/cardano-ledger-test.nix) { };

Max Tomago's avatar
Max Tomago committed
  cardano-prelude = prev.callPackage (./pkgs/cardano-prelude.nix) { };
Max Tomago's avatar
Max Tomago committed
  cardano-prelude-test = prev.callPackage (./pkgs/cardano-prelude-test.nix) { };
  cardano-protocol-tpraos = prev.callPackage (./pkgs/cardano-protocol-tpraos.nix) { };

  cardano-slotting = prev.callPackage (./pkgs/cardano-slotting.nix) { };

Max Tomago's avatar
Max Tomago committed
  cardano-strict-containers = prev.callPackage (./pkgs/cardano-strict-containers.nix) { };
  composition-prelude = prev.callPackage (./pkgs/composition-prelude.nix) { };

  contra-tracer = prev.callPackage (./pkgs/contra-tracer.nix) { };

Max Tomago's avatar
Max Tomago committed
  data-ordlist = prev.callPackage (./pkgs/data-ordlist.nix) { };

  dependent-sum-template = prev.callPackage (./pkgs/dependent-sum-template.nix) { };

  deriving-compat = prev.callPackage (./pkgs/deriving-compat.nix) { };

Max Tomago's avatar
Max Tomago committed
  flat = prev.callPackage (./pkgs/flat.nix) { };
Max Tomago's avatar
Max Tomago committed
  generic-monoid = prev.callPackage (./pkgs/generic-monoid.nix) { };
Max Tomago's avatar
Max Tomago committed
  ghc-typelits-knownnat = prev.callPackage (./pkgs/ghc-typelits-knownnat.nix) { };
Max Tomago's avatar
Max Tomago committed
  ghc-typelits-natnormalise = prev.callPackage (./pkgs/ghc-typelits-natnormalise.nix) { };
Max Tomago's avatar
Max Tomago committed
  goblins = prev.callPackage (./pkgs/goblins.nix) { };
Max Tomago's avatar
Max Tomago committed
  gray-code = prev.callPackage (./pkgs/gray-code.nix) { };
Max Tomago's avatar
Max Tomago committed
  haskell-src = prev.callPackage (./pkgs/haskell-src.nix) { };

Max Tomago's avatar
Max Tomago committed
  heapwords = prev.callPackage (./pkgs/heapwords.nix) { };
  hedgehog-quickcheck = prev.callPackage (./pkgs/hedgehog-quickcheck.nix) { };

Max Tomago's avatar
Max Tomago committed
  heredoc = prev.callPackage (./pkgs/heredoc.nix) { };

Max Tomago's avatar
Max Tomago committed
  inline-c = prev.callPackage (./pkgs/inline-c.nix) { };

Max Tomago's avatar
Max Tomago committed
  inline-r = prev.callPackage (./pkgs/inline-r.nix) { };
Max Tomago's avatar
Max Tomago committed
  int-cast = prev.callPackage (./pkgs/int-cast.nix) { };

Max Tomago's avatar
Max Tomago committed
  lazysmallcheck = prev.callPackage (./pkgs/lazysmallcheck.nix) { };

Max Tomago's avatar
Max Tomago committed
  list-t = prev.callPackage (./pkgs/list-t.nix) { };

  measures = prev.callPackage (./pkgs/measures.nix) { };

  mersenne-random-pure64 = prev.callPackage (./pkgs/mersenne-random-pure64.nix) { };

  monoidal-containers = prev.callPackage (./pkgs/monoidal-containers.nix) { };

Max Tomago's avatar
Max Tomago committed
  moo = prev.callPackage (./pkgs/moo.nix) { };
  mtl-prelude = prev.callPackage (./pkgs/mtl-prelude.nix) { };

Max Tomago's avatar
Max Tomago committed
  multiset = prev.callPackage (./pkgs/multiset.nix) { };

  non-integral = prev.callPackage (./pkgs/non-integral.nix) { };

Max Tomago's avatar
Max Tomago committed
  nothunks = prev.callPackage (./pkgs/nothunks.nix) { };
  partial-order = prev.callPackage (./pkgs/partial-order.nix) { };

Max Tomago's avatar
Max Tomago committed
  plutus-core = prev.callPackage (./pkgs/plutus-core.nix) { };
Max Tomago's avatar
Max Tomago committed
  plutus-ledger-api = prev.callPackage (./pkgs/plutus-ledger-api.nix) { };

  plutus-preprocessor = prev.callPackage (./pkgs/plutus-preprocessor.nix) { };

Max Tomago's avatar
Max Tomago committed
  plutus-tx = prev.callPackage (./pkgs/plutus-tx.nix) { };

Max Tomago's avatar
Max Tomago committed
  prettyprinter-configurable = prev.callPackage (./pkgs/prettyprinter-configurable.nix) { };
Max Tomago's avatar
Max Tomago committed
  protolude = prev.callPackage (./pkgs/protolude.nix) { };
Max Tomago's avatar
Max Tomago committed

  quiet = prev.callPackage (./pkgs/quiet.nix) { };
Max Tomago's avatar
Max Tomago committed
  ral = prev.callPackage (./pkgs/ral.nix) { };
Max Tomago's avatar
Max Tomago committed
  recursion-schemes = prev.callPackage (./pkgs/recursion-schemes.nix) { };
Max Tomago's avatar
Max Tomago committed
  ref-tf = prev.callPackage (./pkgs/ref-tf.nix) { };
  set-algebra = prev.callPackage (./pkgs/set-algebra.nix) { };

Max Tomago's avatar
Max Tomago committed
  singletons-th = prev.callPackage (./pkgs/singletons-th.nix) { };
Max Tomago's avatar
Max Tomago committed
  small-steps = prev.callPackage (./pkgs/small-steps.nix) { };
Max Tomago's avatar
Max Tomago committed
  small-steps-test = prev.callPackage (./pkgs/small-steps-test.nix) { };
  streaming-binary = prev.callPackage (./pkgs/streaming-binary.nix) { };

Max Tomago's avatar
Max Tomago committed
  streaming-bytestring = prev.callPackage (./pkgs/streaming-bytestring.nix) { };
Max Tomago's avatar
Max Tomago committed
  strict-containers = prev.callPackage (./pkgs/strict-containers.nix) { };
Max Tomago's avatar
Max Tomago committed
  th-desugar = prev.callPackage (./pkgs/th-desugar.nix) { };
Max Tomago's avatar
Max Tomago committed
  typerep-map = prev.callPackage (./pkgs/typerep-map.nix) { };
  validation-selective = prev.callPackage (./pkgs/validation-selective.nix) { };

  vector-map = prev.callPackage (./pkgs/vector-map.nix) { };

Max Tomago's avatar
Max Tomago committed
  word-array = prev.callPackage (./pkgs/word-array.nix) { };

Max Tomago's avatar
Max Tomago committed
  xmlgen = prev.callPackage (./pkgs/xmlgen.nix) { };