├── .github └── workflows │ ├── nix.yml │ └── release.yml ├── .gitignore ├── LICENSE ├── README.md ├── app └── Main.hs ├── assets ├── mainnet │ └── swap.addr ├── swap.plutus └── testnet │ └── swap.addr ├── brittany.yaml ├── cabal.project ├── default.nix ├── flake.lock ├── flake.nix ├── integration-tests ├── AlwaysSucceed.hs └── Main.hs ├── jpg-store-bulk-purchase.cabal ├── nix ├── haskell │ ├── default.nix │ ├── materialized │ │ ├── .plan.nix │ │ │ ├── Win32-network.nix │ │ │ ├── base-deriving-via.nix │ │ │ ├── byron-spec-chain.nix │ │ │ ├── byron-spec-ledger.nix │ │ │ ├── cardano-addresses-cli.nix │ │ │ ├── cardano-addresses.nix │ │ │ ├── cardano-api.nix │ │ │ ├── cardano-binary-test.nix │ │ │ ├── cardano-binary.nix │ │ │ ├── cardano-crypto-class.nix │ │ │ ├── cardano-crypto-praos.nix │ │ │ ├── cardano-crypto-test.nix │ │ │ ├── cardano-crypto-wrapper.nix │ │ │ ├── cardano-crypto.nix │ │ │ ├── cardano-data.nix │ │ │ ├── cardano-ledger-alonzo.nix │ │ │ ├── cardano-ledger-byron-test.nix │ │ │ ├── cardano-ledger-byron.nix │ │ │ ├── cardano-ledger-core.nix │ │ │ ├── cardano-ledger-pretty.nix │ │ │ ├── cardano-ledger-shelley-ma.nix │ │ │ ├── cardano-ledger-shelley-test.nix │ │ │ ├── cardano-ledger-shelley.nix │ │ │ ├── cardano-numeric.nix │ │ │ ├── cardano-prelude-test.nix │ │ │ ├── cardano-prelude.nix │ │ │ ├── cardano-protocol-tpraos.nix │ │ │ ├── cardano-slotting.nix │ │ │ ├── cardano-transaction.nix │ │ │ ├── cardano-wallet-cli.nix │ │ │ ├── cardano-wallet-core-integration.nix │ │ │ ├── cardano-wallet-core.nix │ │ │ ├── cardano-wallet-launcher.nix │ │ │ ├── cardano-wallet-test-utils.nix │ │ │ ├── cardano-wallet.nix │ │ │ ├── compact-map.nix │ │ │ ├── contra-tracer.nix │ │ │ ├── dbvar.nix │ │ │ ├── ekg-forward.nix │ │ │ ├── flat.nix │ │ │ ├── freer-extras.nix │ │ │ ├── goblins.nix │ │ │ ├── hedgehog-extras.nix │ │ │ ├── io-classes.nix │ │ │ ├── io-sim.nix │ │ │ ├── iohk-monitoring.nix │ │ │ ├── jpg-store-bulk-purchase.nix │ │ │ ├── lobemo-backend-aggregation.nix │ │ │ ├── lobemo-backend-ekg.nix │ │ │ ├── lobemo-backend-monitoring.nix │ │ │ ├── lobemo-backend-trace-forwarder.nix │ │ │ ├── lobemo-scribe-systemd.nix │ │ │ ├── measures.nix │ │ │ ├── monoidal-synchronisation.nix │ │ │ ├── network-mux.nix │ │ │ ├── non-integral.nix │ │ │ ├── ntp-client.nix │ │ │ ├── optparse-applicative-fork.nix │ │ │ ├── orphans-deriving-via.nix │ │ │ ├── ouroboros-consensus-byron.nix │ │ │ ├── ouroboros-consensus-cardano.nix │ │ │ ├── ouroboros-consensus-protocol.nix │ │ │ ├── ouroboros-consensus-shelley.nix │ │ │ ├── ouroboros-consensus.nix │ │ │ ├── ouroboros-network-framework.nix │ │ │ ├── ouroboros-network-testing.nix │ │ │ ├── ouroboros-network.nix │ │ │ ├── plutus-core.nix │ │ │ ├── plutus-ghc-stub.nix │ │ │ ├── plutus-ledger-api.nix │ │ │ ├── plutus-ledger.nix │ │ │ ├── plutus-tx-plugin.nix │ │ │ ├── plutus-tx.nix │ │ │ ├── prettyprinter-configurable.nix │ │ │ ├── set-algebra.nix │ │ │ ├── small-steps-test.nix │ │ │ ├── small-steps.nix │ │ │ ├── strict-containers.nix │ │ │ ├── strict-non-empty-containers.nix │ │ │ ├── strict-stm.nix │ │ │ ├── test-mint-scripts.nix │ │ │ ├── text-class.nix │ │ │ ├── tracer-transformers.nix │ │ │ ├── typed-protocols-cborg.nix │ │ │ ├── typed-protocols-examples.nix │ │ │ ├── typed-protocols.nix │ │ │ └── word-array.nix │ │ └── default.nix │ ├── plan-sha256 │ ├── project.nix │ ├── sha256map.nix │ └── tools.nix └── pre-commit-hooks.nix ├── release.nix ├── scripts ├── compile.sh └── envars │ ├── local-testnet.envs │ ├── mainnet.envs │ └── testnet.envs ├── shell.nix ├── src └── Canonical │ ├── DebugUtilities.h │ ├── JpgStore │ └── BulkPurchase.hs │ └── Shared.hs ├── supported-systems.nix └── unit-tests └── Main.hs /.github/workflows/nix.yml: -------------------------------------------------------------------------------- 1 | --- 2 | name: "nix-build" 3 | on: 4 | push: 5 | branches: 6 | - '**' 7 | jobs: 8 | materialize: 9 | runs-on: ubuntu-latest 10 | steps: 11 | - name: checkout 12 | uses: actions/checkout@v2.4.0 13 | - name: install nix 14 | uses: cachix/install-nix-action@v16 15 | with: 16 | nix_path: nixpkgs=channel:nixos-unstable 17 | extra_nix_config: | 18 | trusted-public-keys = hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= 19 | substituters = https://hydra.iohk.io https://cache.nixos.org/ 20 | - name: install cachix 21 | uses: cachix/cachix-action@v10 22 | with: 23 | name: canonical-llc 24 | authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' 25 | - name: set supported systems 26 | run: echo $(uname -m)-$(uname -s) | tr '[:upper:]' '[:lower:]' | sed -E 's/^(.*)$/[ "\1" ]/' | tee supported-systems.nix 27 | - name: materialize 28 | run: nix run .#update-materialized 29 | - name: commit 30 | uses: EndBug/add-and-commit@v8 31 | with: 32 | add: nix/haskell/plan-sha256 nix/haskell/materialized 33 | message: materialize 34 | build: 35 | strategy: 36 | matrix: 37 | platform: [ubuntu-latest] #, macos-latest] 38 | needs: materialize 39 | runs-on: ${{matrix.platform}} 40 | steps: 41 | - name: checkout 42 | uses: actions/checkout@v2.4.0 43 | - name: install nix 44 | uses: cachix/install-nix-action@v16 45 | with: 46 | nix_path: nixpkgs=channel:nixos-unstable 47 | extra_nix_config: | 48 | trusted-public-keys = hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= 49 | substituters = https://hydra.iohk.io https://cache.nixos.org/ 50 | - name: install cachix 51 | uses: cachix/cachix-action@v10 52 | with: 53 | name: canonical-llc 54 | authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' 55 | - name: set supported systems 56 | run: echo $(uname -m)-$(uname -s) | tr '[:upper:]' '[:lower:]' | sed -E 's/^(.*)$/[ "\1" ]/' | tee supported-systems.nix 57 | - run: nix flake check --print-build-logs 58 | - run: nix develop --print-build-logs --command echo Ready 59 | - run: nix build --print-build-logs -f release.nix --argstr version $GITHUB_SHA 60 | -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- 1 | --- 2 | name: "release" 3 | on: 4 | push: 5 | tags: 6 | - 'release/**' 7 | jobs: 8 | release: 9 | runs-on: ubuntu-latest 10 | steps: 11 | - name: checkout 12 | uses: actions/checkout@v2.4.0 13 | - name: install nix 14 | uses: cachix/install-nix-action@v16 15 | with: 16 | nix_path: nixpkgs=channel:nixos-unstable 17 | extra_nix_config: | 18 | trusted-public-keys = hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= 19 | substituters = https://hydra.iohk.io https://cache.nixos.org/ 20 | - name: install cachix 21 | uses: cachix/cachix-action@v10 22 | with: 23 | name: canonical-llc 24 | authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' 25 | - name: set supported systems 26 | run: echo $(uname -m)-$(uname -s) | tr '[:upper:]' '[:lower:]' | sed -E 's/^(.*)$/[ "\1" ]/' | tee supported-systems.nix 27 | - name: set version 28 | run: echo "RELEASE_VERSION=$(echo $GITHUB_REF_NAME | cut -f 2 -d /)" >> $GITHUB_ENV 29 | - name: build 30 | run: nix flake check --print-build-logs 31 | - name: build release 32 | run: nix build --print-build-logs -f release.nix --argstr version ${{ env.RELEASE_VERSION }} 33 | - name: copy tarball 34 | run: cp --no-preserve=all --dereference result jpg-store-bulk-purchase-${{ env.RELEASE_VERSION }}.tar.gz 35 | - name: release 36 | uses: softprops/action-gh-release@v1 37 | with: 38 | files: jpg-store-bulk-purchase-${{ env.RELEASE_VERSION }}.tar.gz 39 | 40 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /.pre-commit-config.yaml 2 | /.tmp 3 | /result 4 | /dist-newstyle 5 | temp 6 | .DS_Store 7 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # jpg.store Contract v2 2 | 3 | ## Assets 4 | 5 | The Plutus Core and script addresses for testnet and mainnet are checked in the `assets` folder. 6 | 7 | - `assets/swap.plutus` 8 | - `assets/testnet/swap.addr` 9 | - `assets/mainnet/swap.addr` 10 | 11 | ## Specification 12 | 13 | A seller can list one or more assets in a lock transaction. 14 | 15 | A buyer can buy one or more assets and accept one or more offers in the same transaction. 16 | An offer can be accepted for an asset that is listed or an asset in the seller's wallet. 17 | 18 | Seller "offer" or "sell" datum contains: 19 | * owner pkh 20 | * assets being sold 21 | * payouts 22 | 23 | Payouts structure contains: 24 | array ( 25 | {*payout address,*payout amount},... 26 | ) 27 | 28 | buyer submits "accept" for one or more "offer"s: 29 | * includes the utxos and "offer" datums for each thing on offer along with "accept" redeemers that contains no additional info 30 | * validation: 31 | * assume that all other redeemers are "accept" redeemers 32 | * expectation is that if one of the other redeemers is a different redeemer, either the validation of the "accept" redeemer or the validation of the other redeemers will fail 33 | * gathers all the datums as "offer" datums 34 | * assets from the "offer" datums are paid out to addresses chosen by buyer 35 | * sums up the payouts from the "offer" datums and make sure they are being paid out correctly 36 | 37 | seller can "cancel" in bulk things they own 38 | * includes the utxos and "offer" and "sell" datums for each thing listed along with "cancel" redeemers that contains no additional info 39 | * validation: 40 | * assume that all other redeemers are "cancel" redeemers 41 | * expectation is that if one of the other redeemers is a different redeemer, either the validation of the "cancel" redeemer or the validation of the other redeemers will fail 42 | * gathers all the datums as "offer" datums 43 | * checks that the signer (there should be only one) is the owner of each 44 | 45 | implications of the above: 46 | 47 | * a "accept" *could* occur in the same tx as a "cancel" 48 | * the owner of the "offer" being cancelled is the buyer of another "offer" 49 | * could they exploit the SC in some way? 50 | * TBD 51 | 52 | * multiple different redeemers appearing in the same tx for the same "offer" datum will fail the tx, with some exceptions 53 | * "accept" and "cancel" would expect the asset to go to different addresses 54 | * unless the seller and buyer are the same 55 | 56 | ## Creating the Script Address 57 | 58 | After compiling the smart contract, it is necessary to make a script address. 59 | 60 | Next, run: 61 | 62 | ```bash 63 | scripts/compile.sh 64 | ``` 65 | 66 | To include debug tracing in the contract add `#define DEBUG` to the top of DebugUtilities.h 67 | Then run clean and compile. 68 | 69 | ## Example Transactions 70 | 71 | The `integration-tests/Main.hs` file has example transactions of various kinds. 72 | 73 | ## Running the Tests 74 | 75 | Before running the tests you need to set up environment variables. 76 | 77 | ```bash 78 | export CARDANO_NODE_SOCKET_PATH= 79 | ``` 80 | 81 | Set `CARDANO_NODE_SOCKET_PATH` to the path of the appropriate Daedalus socket file (either Testnet Daedalus or the regular mainnet Daedalus). It you run a `cardano-node` on your own you should set this environment variable to your socket file location. 82 | 83 | ```bash 84 | export WALLET_DIR= 85 | ``` 86 | 87 | Set `WALLET_DIR` to a directory which contains the signing key files and verification key files of the wallets for `seller1`, `seller2`, `buyer`, `marketplace`, and `royalities` wallets. If the file `$WALLET_DIR/.vkey` does not exist, a new wallet will be created and 100 ada transferred to it. If the `WALLET_DIR` is not set, a temporary directory will be used. 88 | 89 | ```bash 90 | export SOURCE_WALLET_ADDRESS_PATH= 91 | export SOURCE_WALLET_SKEY_PATH= 92 | ``` 93 | 94 | Set `SOURCE_WALLET_ADDRESS_PATH` and `SOURCE_WALLET_SKEY_PATH` to the files containing the wallet address and signing key that will be used as a source of funds for any newly created wallets. These are required, but if the `WALLET_DIR` is set and all the wallets already exist, they will not be used. 95 | 96 | ```bash 97 | export TESTNET_MAGIC=1097911063 98 | ``` 99 | 100 | Set `TESTNET_MAGIC` if you are using a testnet. Otherwise, mainnet will be assumed. 101 | 102 | ### Environment Variable Files 103 | 104 | To make setting the environment variables easier, there are three environment variable files you can source. 105 | 106 | However, the paths to the `cardano-node` socket might need to be modified to work on your system. 107 | 108 | The three files are: 109 | - `scripts/envars/local-testnet.envs` 110 | - `scripts/envars/testnet.envs` 111 | - `scripts/envars/mainnet.envs` 112 | 113 | To source them run: 114 | 115 | ```bash 116 | source scripts/envars/testnet.envs 117 | ``` 118 | 119 | ### Actually Running the Tests 120 | 121 | To run the tests run 122 | 123 | ```bash 124 | cabal test 125 | ``` 126 | -------------------------------------------------------------------------------- /app/Main.hs: -------------------------------------------------------------------------------- 1 | module Main where 2 | 3 | import Options.Applicative 4 | 5 | import Canonical.JpgStore.BulkPurchase 6 | 7 | type Opts = FilePath 8 | 9 | opts :: ParserInfo Opts 10 | opts = 11 | let parseOpts = argument str . mconcat $ [metavar "FILE", help "File to which the plutus script will be written"] 12 | in info (parseOpts <**> helper) . mconcat $ [fullDesc, progDesc "Create a smart contract for bulk purchases"] 13 | 14 | main :: IO () 15 | main = execParser opts >>= writePlutusFile 16 | -------------------------------------------------------------------------------- /assets/mainnet/swap.addr: -------------------------------------------------------------------------------- 1 | addr1wxgx3far7qygq0k6epa0zcvcvrevmn0ypsnfsue94nsn3tgdf3chh -------------------------------------------------------------------------------- /assets/swap.plutus: -------------------------------------------------------------------------------- 1 | { 2 | "type": "PlutusScriptV2", 3 | "description": "", 4 | "cborHex": "590a015909fe010000323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232222323232533535533357346064606a0062646464642466002008004a666ae68c0d8c0e00044c848c004008c078d5d0981b8008191baa357426ae88c0d80154ccd5cd1819981b0008991919191919191919191919191919191919191919190919999999999980080b80a8098088078068058048038028018011aba135744004666068eb88004d5d08009aba2002357420026ae88008cc0c9d71aba1001357440046ae84004d5d10011aba1001357440046ae84004d5d10011aba1001357440046ae84004d5d10011981300f1aba1001357440046ae84004d5d1181b001198111192999ab9a30353038001132321233001003002301d357426ae88c0e0008c078d5d0981b8008191baa00135742606a0020606ea8d5d0981a001817911a8011111111111111a80691919299aa99a998149aa99a80109815a481035054380022100203d00303903a03a1533501213302549101350033302330340362350012232333027303803a235001223500122533533302b0440040062153353333026303e040223500222533500321533533303104a0030062153353302b0010031303f3305722533500104c221350022253353305100200a100313304d33047002001300600300215335330370010031303f333302d04b0043370200200600409209008e60720020044266060920102313000333573466e20ccd54c0fc104c0a8cc0f1c024000400266aa608008246a00209600200809208e266ae712410231310004813357389201023132000470023335530360393501b0403501b04233355303603922533535002222253353302200800413038003042213303d001002100103f010333301c303403622350022253353303c00b002100313333020303803a235001222533533302a0210030012133330260220043355303e03f235001223303d002333500120012235002223500322330433370000800466aa608e09046a002446608c004666a0024002e008004ccc0c013400c0048004ccc09c11000c0040084cccc09408400c00800400c0040f140044cc0952410134003330233034036235001223303b00a0025001153353355303403523500122350012222302c533350021303104821001213304e2253350011303404a221350022253353304800200710011300600300c0011302a49010136002213355303603723500122350012222302e533350021303304a2100121330502253350011303604c221350022253353304a00200710011300600300e0033335530310342253353353530283500203f03d203f253353303c001330482253350011302e044221350022253353303000200a135302f001223350022303504b20011300600301003b1302c4901013300133037002001100103a00d1120011533573892010350543500165333573460640020502a666ae68c0c400409c0b8c0ccdd50019baa00133019223355301f020235001223301e002335530220232350012233021002333500137009000380233700002900000099aa980f81011a800911980f001199a800919aa981181211a8009119811001180880080091199806815001000919aa981181211a80091198110011809000800999804012801000812111919807198021a8018139a801013a99a9a80181490a99a8011099a801119a80111980400100091101711119a80210171112999ab9a3370e00c0062a666ae68cdc38028010998068020008158158120a99a80090120121a8008141119a801119a8011198128010009014119a801101411981280100091199ab9a3370e00400204604a44446666aa00866032444600660040024002006002004444466aa603803a46a0024466036004666a0024002052400266600a0080026603c66030006004046444666aa603003603866aa603403646a00244660320046010002666aa6030036446a00444a66a666aa603a03e60106603444a66a00404a200204e46a002446601400400a00c200626604000800604200266aa603403646a00244660320046605e44a66a002260160064426a00444a66a6601800401022444660040140082600c00600800446602644666a0060420040026a00204242444600600842444600200844604e44a66a0020364426a00444a66a6601000400e2602a0022600c0064466aa0046602000603600244a66a004200202e44a66a00202e266ae7000806c8c94ccd5cd180f9811000899190919800801801198079192999ab9a3022302500113232123300100300233301075c464a666ae68c094c0a00044c8cc0514cd4cc028005200110011300e4901022d330033301375c464a66a660180029000080089808249022d3200375a0026ae84d5d118140011bad35742604e0020446ea8004d5d09aba23025002300c35742604800203e6ea8004d5d09aba23022002375c6ae84c084004070dd500091199ab9a3371200400203202e46a002444400844a666ae68cdc79a80100b1a80080b0999ab9a3370e6a0040306a00203002a02e024464a666ae68c06cc0780044c8c8c8c8c8c8c8c848cccc00402401c00c008d5d09aba20045333573466e1d2004001132122230020043574260460042a666ae68c0880044c84888c004010dd71aba1302300215333573460420022244400603c60460026ea8d5d08009aba200233300a75c66014eb9d69aba100135744603c004600a6ae84c074004060dd50009299ab9c001162325333573460326038002264646424660020060046eb4d5d09aba2301d003533357346034603a00226eb8d5d0980e00080b9baa35742603600202c6ea80048c94ccd5cd180c180d80089919191909198008028012999ab9a301b00113232300953335734603c00226464646424466600200c0080066eb4d5d09aba2002375a6ae84004d5d118100019bad35742603e0042a666ae68c0740044c8488c00800cc020d5d0980f80100d180f8009baa35742603a0042a666ae68c070004044060c074004dd51aba135744603600460066ae84c068004054dd5000919192999ab9a30190011321223001003375c6ae84c06800854ccd5cd180c00089909118010019bae35742603400402a60340026ea80048488c00800c888cc06888cccd55cf800900911919807198041803980e8009803180e00098021aba2003357420040166eac0048848cc00400c00888cc05c88cccd55cf800900791980518029aba10023003357440040106eb0004c05088448894cd40044008884cc014008ccd54c01c028014010004c04c88448894cd40044d400c040884ccd4014040c010008ccd54c01c024014010004c0488844894cd4004024884cc020c010008cd54c01801c0100044800488488cc00401000cc03c8894cd40080108854cd4cc02000800c01c4cc01400400c4014400888ccd5cd19b8f0020010030051001220021001220011533573892010350543100164901022d31004901013700370e90001b874800955cf2ab9d2323001001223300330020020011" 5 | } 6 | -------------------------------------------------------------------------------- /assets/testnet/swap.addr: -------------------------------------------------------------------------------- 1 | addr_test1wzgx3far7qygq0k6epa0zcvcvrevmn0ypsnfsue94nsn3tgkp9ycj -------------------------------------------------------------------------------- /brittany.yaml: -------------------------------------------------------------------------------- 1 | conf_layout: 2 | lconfig_columnAlignMode: 3 | tag: ColumnAlignModeDisabled 4 | lconfig_indentPolicy: IndentPolicyLeft 5 | lconfig_cols: 120 6 | conf_preprocessor: 7 | ppconf_CPPMode: CPPModeWarn 8 | -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- 1 | { system ? builtins.currentSystem 2 | }: 3 | 4 | (builtins.getFlake (toString ./.)).legacyPackages.${system}.jpg-store-bulk-purchase.project 5 | -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- 1 | { 2 | description = "A Plutus flake"; 3 | 4 | inputs = { 5 | # we use this to get newer versions of cardano-node and cardano-cli than are 6 | # use in plutus-apps. we can probably get rid of this when plutus-apps is 7 | # updated 8 | cardano-node = { 9 | url = "github:input-output-hk/cardano-node/1.34.1"; 10 | }; 11 | 12 | cardano-cli-balance-fixer = { 13 | url = "github:Canonical-LLC/cardano-cli-balance-fixer"; 14 | }; 15 | 16 | flake-utils.url = "github:numtide/flake-utils"; 17 | 18 | plutus-apps.url = "github:input-output-hk/plutus-apps/plutus-starter-devcontainer/v1.0.14"; 19 | 20 | pre-commit-hooks.url = "github:cachix/pre-commit-hooks.nix"; 21 | }; 22 | 23 | outputs = { cardano-cli-balance-fixer, cardano-node, flake-utils, plutus-apps, pre-commit-hooks, ... }: 24 | flake-utils.lib.eachSystem (import ./supported-systems.nix) 25 | (system: 26 | let 27 | plutus = import plutus-apps { inherit system; }; 28 | pkgs = plutus.pkgs.appendOverlays [ 29 | (_: _: { 30 | inherit plutus; 31 | 32 | inherit (cardano-node.packages.${system}) cardano-node cardano-cli; 33 | }) 34 | 35 | (import ./nix/haskell) 36 | ]; 37 | inherit (pkgs.jpg-store-bulk-purchase) project update-materialized; 38 | 39 | flake = project.flake { }; 40 | 41 | hsTools = project.tools (import ./nix/haskell/tools.nix { inherit (pkgs.jpg-store-bulk-purchase.project) index-state; }); 42 | 43 | pre-commit = pkgs.callPackage ./nix/pre-commit-hooks.nix { inherit pre-commit-hooks hsTools; }; 44 | 45 | in 46 | pkgs.lib.recursiveUpdate flake { 47 | checks = { 48 | inherit (pre-commit) pre-commit-check; 49 | }; 50 | 51 | # so `nix build` will build the exe 52 | # defaultPackage = flake.packages."jpg-store-bulk-purchase:exe:jpg-store-bulk-purchase"; 53 | 54 | # so `nix run` will run the exe 55 | defaultApp = { 56 | # type = "app"; 57 | # program = "${flake.packages."jpg-store-bulk-purchase:exe:jpg-store-bulk-purchase"}/bin/jpg-store-bulk-purchase"; 58 | }; 59 | 60 | apps = { 61 | inherit (cardano-node.apps.${system}) cardano-node cardano-cli; 62 | 63 | update-materialized = { 64 | type = "app"; 65 | program = "${update-materialized}/bin/update-materialized"; 66 | }; 67 | 68 | format = { 69 | type = "app"; 70 | program = "${pre-commit.format}/bin/format"; 71 | }; 72 | }; 73 | 74 | devShell = 75 | flake.devShell.overrideAttrs (attrs: { 76 | inherit (pre-commit) shellHook; 77 | 78 | buildInputs = attrs.buildInputs ++ [ 79 | update-materialized 80 | plutus.plutus-apps.haskell-language-server 81 | cardano-cli-balance-fixer.defaultPackage.${system} 82 | ] ++ (with cardano-node.packages.${system}; [ 83 | cardano-node 84 | cardano-cli 85 | ]) ++ pre-commit.shellBuildInputs; 86 | }); 87 | 88 | legacyPackages = pkgs; 89 | } 90 | ); 91 | } 92 | -------------------------------------------------------------------------------- /integration-tests/AlwaysSucceed.hs: -------------------------------------------------------------------------------- 1 | {-# LANGUAGE BangPatterns #-} 2 | {-# LANGUAGE CPP #-} 3 | {-# LANGUAGE DataKinds #-} 4 | {-# LANGUAGE LambdaCase #-} 5 | {-# LANGUAGE NamedFieldPuns #-} 6 | {-# LANGUAGE NoImplicitPrelude #-} 7 | {-# LANGUAGE OverloadedStrings #-} 8 | {-# LANGUAGE RankNTypes #-} 9 | {-# LANGUAGE RecordWildCards #-} 10 | {-# LANGUAGE ScopedTypeVariables #-} 11 | {-# LANGUAGE TemplateHaskell #-} 12 | {-# LANGUAGE TypeApplications #-} 13 | {-# LANGUAGE TypeFamilies #-} 14 | module AlwaysSucceed where 15 | import Canonical.Shared 16 | import qualified Cardano.Api as Api 17 | import Cardano.Api.Shelley (PlutusScript(..), PlutusScriptV2) 18 | import Codec.Serialise (serialise) 19 | import qualified Data.ByteString.Lazy as LB 20 | import qualified Data.ByteString.Short as SBS 21 | import Plutus.V1.Ledger.Scripts 22 | import PlutusTx 23 | import PlutusTx.Prelude 24 | import Prelude (IO, print, putStrLn) 25 | import System.FilePath 26 | 27 | 28 | succeedValidator :: BuiltinData -> BuiltinData -> BuiltinData -> Bool 29 | succeedValidator _ _ _ = True 30 | 31 | succeedWrapped :: BuiltinData -> BuiltinData -> BuiltinData -> () 32 | succeedWrapped = wrap succeedValidator 33 | 34 | validator :: Validator 35 | validator = mkValidatorScript $$(PlutusTx.compile [|| succeedWrapped ||]) 36 | 37 | succeed :: PlutusScript PlutusScriptV2 38 | succeed = PlutusScriptSerialised . SBS.toShort . LB.toStrict . serialise $ validator 39 | 40 | succeedHash :: ValidatorHash 41 | succeedHash = validatorHash validator 42 | 43 | writeSucceedFile :: FilePath -> IO () 44 | writeSucceedFile filePath = Api.writeFileTextEnvelope filePath Nothing succeed >>= \case 45 | Left err -> print $ Api.displayError err 46 | Right () -> putStrLn $ "wrote NFT validator to file " ++ filePath 47 | -------------------------------------------------------------------------------- /jpg-store-bulk-purchase.cabal: -------------------------------------------------------------------------------- 1 | cabal-version: 2.4 2 | name: jpg-store-bulk-purchase 3 | version: 1.0.0.0 4 | author: Richard Wallace 5 | maintainer: rwallace@canonicalllc.com 6 | license: Apache-2.0 7 | license-files: LICENSE 8 | 9 | flag defer-plugin-errors 10 | description: 11 | Defer errors from the plugin, useful for things like Haddock that can't handle it. 12 | 13 | default: False 14 | manual: True 15 | 16 | common lang 17 | default-language: Haskell2010 18 | default-extensions: 19 | LambdaCase 20 | ViewPatterns 21 | GeneralizedNewtypeDeriving 22 | OverloadedStrings 23 | StandaloneDeriving 24 | ghc-options: 25 | -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns 26 | -Wincomplete-record-updates -Wredundant-constraints -Widentities 27 | -rtsopts -fobject-code -fno-ignore-interface-pragmas 28 | -fno-omit-interface-pragmas -Wno-unrecognised-pragmas -Werror 29 | 30 | -- See Plutus Tx readme 31 | if flag(defer-plugin-errors) 32 | ghc-options: -fplugin-opt PlutusTx.Plugin:defer-errors 33 | 34 | library 35 | import: lang 36 | exposed-modules: 37 | Canonical.JpgStore.BulkPurchase 38 | Canonical.Shared 39 | 40 | build-depends: 41 | , aeson 42 | , base >=4.9 && <5 43 | , bytestring 44 | , cardano-api 45 | , containers 46 | , filepath 47 | , plutus-ledger-api 48 | , plutus-tx 49 | , plutus-tx-plugin 50 | , serialise 51 | , plutonomy 52 | 53 | hs-source-dirs: src 54 | 55 | executable create-smart-contract 56 | import: lang 57 | hs-source-dirs: app 58 | main-is: Main.hs 59 | ghc-options: -Wall -Werror -threaded -rtsopts -with-rtsopts=-T 60 | build-depends: 61 | , base 62 | , bytestring 63 | , cardano-api 64 | , cardano-ledger-alonzo 65 | , jpg-store-bulk-purchase 66 | , optparse-applicative 67 | , plutus-ledger-api 68 | 69 | test-suite integration-tests 70 | import: lang 71 | type: exitcode-stdio-1.0 72 | hs-source-dirs: integration-tests 73 | main-is: Main.hs 74 | other-modules: AlwaysSucceed 75 | ghc-options: -Wall -Werror -threaded -rtsopts -with-rtsopts=-T 76 | build-depends: 77 | , aeson 78 | , base 79 | , bytestring 80 | , cardano-api 81 | , cardano-transaction 82 | , containers 83 | , directory 84 | , envparse 85 | , extra 86 | , filepath 87 | , hspec 88 | , jpg-store-bulk-purchase 89 | , managed 90 | , mtl 91 | , plutus-core 92 | , plutus-ledger-api 93 | , plutus-tx 94 | , plutus-tx-plugin 95 | , process 96 | , serialise 97 | , temporary 98 | , text 99 | , time 100 | , test-mint-scripts 101 | 102 | test-suite unit-tests 103 | import: lang 104 | type: exitcode-stdio-1.0 105 | hs-source-dirs: unit-tests 106 | main-is: Main.hs 107 | ghc-options: -threaded -rtsopts "-with-rtsopts=-T" 108 | build-depends: base 109 | , jpg-store-bulk-purchase 110 | , hspec 111 | , plutus-tx 112 | , plutus-ledger-api 113 | -------------------------------------------------------------------------------- /nix/haskell/default.nix: -------------------------------------------------------------------------------- 1 | final: prev: 2 | 3 | let 4 | project = final.callPackage ./project.nix { }; 5 | inherit (project.jpg-store-bulk-purchase.components.exes) 6 | integration-tests 7 | create-smart-contract; 8 | cardano-cli = "${prev.cardano-cli}/bin/cardano-cli"; 9 | in 10 | { 11 | jpg-store-bulk-purchase = { 12 | inherit project integration-tests create-smart-contract; 13 | 14 | assets = final.runCommand "jpg-store-bulk-purchase-assets" { } '' 15 | mkdir -p $out/{mainnet,testnet} 16 | 17 | ${create-smart-contract}/bin/create-smart-contract $out/swap.plutus 18 | 19 | ${cardano-cli} address build \ 20 | --payment-script-file $out/swap.plutus \ 21 | --mainnet \ 22 | --out-file $out/mainnet/swap.addr 23 | 24 | ${cardano-cli} address build \ 25 | --payment-script-file $out/swap.plutus \ 26 | --testnet-magic 1097911063 \ 27 | --out-file $out/testnet/swap.addr 28 | ''; 29 | 30 | update-materialized = final.writeShellScriptBin "update-materialized" '' 31 | set -euo pipefail 32 | 33 | ${project.plan-nix.passthru.calculateMaterializedSha} > nix/haskell/plan-sha256 34 | mkdir -p nix/haskell/materialized 35 | ${project.plan-nix.passthru.generateMaterialized} nix/haskell/materialized 36 | ''; 37 | }; 38 | } 39 | -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/Win32-network.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { demo = false; }; 12 | package = { 13 | specVersion = "2.4"; 14 | identifier = { name = "Win32-network"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019 Input Output (Hong Kong) Ltd."; 17 | maintainer = "duncan@well-typed.com, marcin.szamotulski@iohk.io"; 18 | author = "Duncan Coutts, Marcin Szamotulski"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Win32 network API"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "include/Win32-network.h" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | ] ++ (pkgs.lib).optionals (system.isWindows) [ 38 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 39 | (hsPkgs."network" or (errorHandler.buildDepError "network")) 40 | (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) 41 | ]; 42 | libs = (pkgs.lib).optional (system.isWindows) (pkgs."ws2_32" or (errorHandler.sysDepError "ws2_32")); 43 | buildable = true; 44 | modules = [ 45 | "System/IOManager" 46 | ] ++ (pkgs.lib).optionals (system.isWindows) [ 47 | "System/Win32/Async/IOData" 48 | "System/Win32/Async/IOManager" 49 | "System/Win32/Async/Overlapped" 50 | "System/Win32/Async/Socket/Syscalls" 51 | "System/Win32/Async/WSABuf" 52 | "System/Win32/NamedPipes" 53 | "System/Win32/Async" 54 | "System/Win32/Async/File" 55 | "System/Win32/Async/ErrCode" 56 | "System/Win32/Async/Socket" 57 | "System/Win32/Async/Socket/ByteString" 58 | "System/Win32/Async/Socket/ByteString/Lazy" 59 | "System/Win32/Async/Internal" 60 | ]; 61 | hsSourceDirs = [ "src" ]; 62 | includeDirs = (pkgs.lib).optional (system.isWindows) "include"; 63 | }; 64 | exes = { 65 | "named-pipe-demo" = { 66 | depends = [ 67 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 68 | ] ++ (pkgs.lib).optionals (system.isWindows) [ 69 | (hsPkgs."binary" or (errorHandler.buildDepError "binary")) 70 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 71 | (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) 72 | (hsPkgs."Win32-network" or (errorHandler.buildDepError "Win32-network")) 73 | ]; 74 | buildable = true; 75 | hsSourceDirs = [ "demo" ]; 76 | mainPath = [ 77 | "named-pipe-demo.hs" 78 | ] ++ (pkgs.lib).optional (system.isWindows) ""; 79 | }; 80 | }; 81 | tests = { 82 | "test" = { 83 | depends = [ 84 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 85 | ] ++ (pkgs.lib).optionals (system.isWindows) [ 86 | (hsPkgs."async" or (errorHandler.buildDepError "async")) 87 | (hsPkgs."binary" or (errorHandler.buildDepError "binary")) 88 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 89 | (hsPkgs."network" or (errorHandler.buildDepError "network")) 90 | (hsPkgs."stm" or (errorHandler.buildDepError "stm")) 91 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 92 | (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) 93 | (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) 94 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 95 | (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) 96 | (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) 97 | (hsPkgs."Win32-network" or (errorHandler.buildDepError "Win32-network")) 98 | ]; 99 | buildable = true; 100 | modules = (pkgs.lib).optionals (system.isWindows) [ 101 | "Test/Generators" 102 | "Test/Async/PingPong" 103 | "Test/Async/Handle" 104 | "Test/Async/Socket" 105 | ]; 106 | hsSourceDirs = [ "test" ]; 107 | mainPath = [ "Main.hs" ]; 108 | }; 109 | }; 110 | }; 111 | } // { 112 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 113 | url = "9"; 114 | rev = "minimal"; 115 | sha256 = ""; 116 | }) // { 117 | url = "9"; 118 | rev = "minimal"; 119 | sha256 = ""; 120 | }; 121 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/base-deriving-via.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { development = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "base-deriving-via"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "A general hook newtype for use with deriving via"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; 36 | buildable = true; 37 | modules = [ 38 | "Data/DerivingVia" 39 | "Data/DerivingVia/GHC/Generics/Monoid" 40 | "Data/DerivingVia/GHC/Generics/Semigroup" 41 | ]; 42 | hsSourceDirs = [ "src" ]; 43 | }; 44 | }; 45 | } // { 46 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 47 | url = "3"; 48 | rev = "minimal"; 49 | sha256 = ""; 50 | }) // { 51 | url = "3"; 52 | rev = "minimal"; 53 | sha256 = ""; 54 | }; 55 | postUnpack = "sourceRoot+=/base-deriving-via; echo source root reset to \$sourceRoot"; 56 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/byron-spec-chain.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "byron-spec-chain"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = ""; 17 | maintainer = "formal.methods@iohk.io"; 18 | author = "IOHK Formal Methods Team"; 19 | homepage = "https://github.com/input-output-hk/cardano-legder-specs"; 20 | url = ""; 21 | synopsis = "Executable specification of the Cardano blockchain"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "ChangeLog.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."bimap" or (errorHandler.buildDepError "bimap")) 38 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 39 | (hsPkgs."cardano-data" or (errorHandler.buildDepError "cardano-data")) 40 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 41 | (hsPkgs."byron-spec-ledger" or (errorHandler.buildDepError "byron-spec-ledger")) 42 | (hsPkgs."goblins" or (errorHandler.buildDepError "goblins")) 43 | (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) 44 | (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) 45 | (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) 46 | (hsPkgs."microlens-th" or (errorHandler.buildDepError "microlens-th")) 47 | (hsPkgs."small-steps" or (errorHandler.buildDepError "small-steps")) 48 | (hsPkgs."small-steps-test" or (errorHandler.buildDepError "small-steps-test")) 49 | ]; 50 | buildable = true; 51 | modules = [ 52 | "Byron/Spec/Chain/STS/Block" 53 | "Byron/Spec/Chain/STS/Rule/BBody" 54 | "Byron/Spec/Chain/STS/Rule/Bupi" 55 | "Byron/Spec/Chain/STS/Rule/Chain" 56 | "Byron/Spec/Chain/STS/Rule/Epoch" 57 | "Byron/Spec/Chain/STS/Rule/Pbft" 58 | "Byron/Spec/Chain/STS/Rule/SigCnt" 59 | ]; 60 | hsSourceDirs = [ "src" ]; 61 | }; 62 | tests = { 63 | "chain-rules-test" = { 64 | depends = [ 65 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 66 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 67 | (hsPkgs."cardano-data" or (errorHandler.buildDepError "cardano-data")) 68 | (hsPkgs."data-ordlist" or (errorHandler.buildDepError "data-ordlist")) 69 | (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) 70 | (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) 71 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 72 | (hsPkgs."tasty-hedgehog" or (errorHandler.buildDepError "tasty-hedgehog")) 73 | (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) 74 | (hsPkgs."byron-spec-chain" or (errorHandler.buildDepError "byron-spec-chain")) 75 | (hsPkgs."byron-spec-ledger" or (errorHandler.buildDepError "byron-spec-ledger")) 76 | (hsPkgs."small-steps" or (errorHandler.buildDepError "small-steps")) 77 | (hsPkgs."small-steps-test" or (errorHandler.buildDepError "small-steps-test")) 78 | ]; 79 | buildable = true; 80 | modules = [ 81 | "Test/Byron/Spec/Chain/STS/Properties" 82 | "Test/Byron/AbstractSize/Properties" 83 | ]; 84 | hsSourceDirs = [ "test" ]; 85 | mainPath = [ "Main.hs" ]; 86 | }; 87 | }; 88 | }; 89 | } // { 90 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 91 | url = "5"; 92 | rev = "minimal"; 93 | sha256 = ""; 94 | }) // { 95 | url = "5"; 96 | rev = "minimal"; 97 | sha256 = ""; 98 | }; 99 | postUnpack = "sourceRoot+=/eras/byron/chain/executable-spec; echo source root reset to \$sourceRoot"; 100 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-binary-test.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { development = false; }; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "cardano-binary-test"; version = "1.3.0"; }; 15 | license = "MIT"; 16 | copyright = "2019-2021 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Test helpers from cardano-binary exposed to other packages"; 22 | description = "Test helpers from cardano-binary exposed to other packages"; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 38 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 39 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 40 | (hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude")) 41 | (hsPkgs."cardano-prelude-test" or (errorHandler.buildDepError "cardano-prelude-test")) 42 | (hsPkgs."cborg" or (errorHandler.buildDepError "cborg")) 43 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 44 | (hsPkgs."formatting" or (errorHandler.buildDepError "formatting")) 45 | (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) 46 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) 47 | (hsPkgs."pretty-show" or (errorHandler.buildDepError "pretty-show")) 48 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 49 | (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) 50 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 51 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 52 | (hsPkgs."vector" or (errorHandler.buildDepError "vector")) 53 | ]; 54 | buildable = true; 55 | modules = [ 56 | "Test/Cardano/Binary/Helpers" 57 | "Test/Cardano/Binary/Helpers/GoldenRoundTrip" 58 | "Test/Cardano/Binary/Serialization" 59 | "Test/Cardano/Binary/Drop" 60 | "Test/Cardano/Binary/Failure" 61 | ]; 62 | }; 63 | }; 64 | } // { 65 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 66 | url = "3"; 67 | rev = "minimal"; 68 | sha256 = ""; 69 | }) // { 70 | url = "3"; 71 | rev = "minimal"; 72 | sha256 = ""; 73 | }; 74 | postUnpack = "sourceRoot+=/binary/test; echo source root reset to \$sourceRoot"; 75 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-binary.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { development = false; }; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "cardano-binary"; version = "1.5.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019-2021 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Binary serialization for Cardano"; 22 | description = "This package includes the binary serialization format for Cardano"; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "README.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 38 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 39 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 40 | (hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude")) 41 | (hsPkgs."cborg" or (errorHandler.buildDepError "cborg")) 42 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 43 | (hsPkgs."data-fix" or (errorHandler.buildDepError "data-fix")) 44 | (hsPkgs."formatting" or (errorHandler.buildDepError "formatting")) 45 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 46 | (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) 47 | (hsPkgs."recursion-schemes" or (errorHandler.buildDepError "recursion-schemes")) 48 | (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) 49 | (hsPkgs."tagged" or (errorHandler.buildDepError "tagged")) 50 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 51 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 52 | (hsPkgs."vector" or (errorHandler.buildDepError "vector")) 53 | ]; 54 | buildable = true; 55 | modules = [ 56 | "Cardano/Binary/Annotated" 57 | "Cardano/Binary/Drop" 58 | "Cardano/Binary/Raw" 59 | "Cardano/Binary/ToCBOR" 60 | "Cardano/Binary/FromCBOR" 61 | "Cardano/Binary/Serialize" 62 | "Cardano/Binary/Deserialize" 63 | "Cardano/Binary" 64 | ]; 65 | hsSourceDirs = [ "src" ]; 66 | }; 67 | tests = { 68 | "test" = { 69 | depends = [ 70 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 71 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 72 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 73 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 74 | (hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude")) 75 | (hsPkgs."cardano-prelude-test" or (errorHandler.buildDepError "cardano-prelude-test")) 76 | (hsPkgs."cborg" or (errorHandler.buildDepError "cborg")) 77 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 78 | (hsPkgs."formatting" or (errorHandler.buildDepError "formatting")) 79 | (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) 80 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) 81 | (hsPkgs."pretty-show" or (errorHandler.buildDepError "pretty-show")) 82 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 83 | (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) 84 | (hsPkgs."tagged" or (errorHandler.buildDepError "tagged")) 85 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 86 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 87 | (hsPkgs."vector" or (errorHandler.buildDepError "vector")) 88 | ]; 89 | buildable = true; 90 | modules = [ 91 | "Test/Cardano/Binary/SizeBounds" 92 | "Test/Cardano/Binary/Helpers" 93 | "Test/Cardano/Binary/Helpers/GoldenRoundTrip" 94 | "Test/Cardano/Binary/RoundTrip" 95 | "Test/Cardano/Binary/Serialization" 96 | "Test/Cardano/Binary/Drop" 97 | "Test/Cardano/Binary/Failure" 98 | ]; 99 | hsSourceDirs = [ "test" ]; 100 | mainPath = [ "test.hs" ]; 101 | }; 102 | }; 103 | }; 104 | } // { 105 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 106 | url = "3"; 107 | rev = "minimal"; 108 | sha256 = ""; 109 | }) // { 110 | url = "3"; 111 | rev = "minimal"; 112 | sha256 = ""; 113 | }; 114 | postUnpack = "sourceRoot+=/binary; echo source root reset to \$sourceRoot"; 115 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-crypto-praos.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { development = false; external-libsodium-vrf = true; }; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "cardano-crypto-praos"; version = "2.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019-2021 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Crypto primitives from libsodium"; 22 | description = "VRF (and KES, tba) primitives from libsodium."; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ 30 | "README.md" 31 | "cbits/crypto_vrf.h" 32 | "cbits/crypto_vrf_ietfdraft03.h" 33 | "cbits/vrf_ietfdraft03.h" 34 | "cbits/private/common.h" 35 | "cbits/private/quirks.h" 36 | "cbits/private/ed25519_ref10.h" 37 | "cbits/private/ed25519_ref10_fe_25_5.h" 38 | "cbits/private/ed25519_ref10_fe_51.h" 39 | "cbits/private/fe_25_5/constants.h" 40 | "cbits/private/fe_25_5/base.h" 41 | "cbits/private/fe_25_5/base2.h" 42 | "cbits/private/fe_25_5/fe.h" 43 | "cbits/private/fe_51/constants.h" 44 | "cbits/private/fe_51/base.h" 45 | "cbits/private/fe_51/base2.h" 46 | "cbits/private/fe_51/fe.h" 47 | ]; 48 | extraTmpFiles = []; 49 | extraDocFiles = []; 50 | }; 51 | components = { 52 | "library" = { 53 | depends = [ 54 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 55 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 56 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 57 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 58 | (hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class")) 59 | (hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude")) 60 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 61 | ]; 62 | pkgconfig = [ 63 | (pkgconfPkgs."libsodium" or (errorHandler.pkgConfDepError "libsodium")) 64 | ]; 65 | buildable = true; 66 | modules = [ "Cardano/Crypto/VRF/Praos" ]; 67 | cSources = (pkgs.lib).optionals (!flags.external-libsodium-vrf) [ 68 | "cbits/crypto_vrf.c" 69 | "cbits/convert.c" 70 | "cbits/keypair.c" 71 | "cbits/prove.c" 72 | "cbits/verify.c" 73 | "cbits/vrf.c" 74 | "cbits/private/ed25519_ref10.c" 75 | ]; 76 | hsSourceDirs = [ "src" ]; 77 | }; 78 | }; 79 | } // { 80 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 81 | url = "3"; 82 | rev = "minimal"; 83 | sha256 = ""; 84 | }) // { 85 | url = "3"; 86 | rev = "minimal"; 87 | sha256 = ""; 88 | }; 89 | postUnpack = "sourceRoot+=/cardano-crypto-praos; echo source root reset to \$sourceRoot"; 90 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-crypto-test.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "cardano-crypto-test"; version = "1.3.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2018 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Test helpers from cardano-crypto exposed to other packages"; 22 | description = "Test helpers from cardano-crypto exposed to other packages"; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 38 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 39 | (hsPkgs."cardano-binary-test" or (errorHandler.buildDepError "cardano-binary-test")) 40 | (hsPkgs."cardano-crypto" or (errorHandler.buildDepError "cardano-crypto")) 41 | (hsPkgs."cardano-crypto-wrapper" or (errorHandler.buildDepError "cardano-crypto-wrapper")) 42 | (hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude")) 43 | (hsPkgs."cardano-prelude-test" or (errorHandler.buildDepError "cardano-prelude-test")) 44 | (hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite")) 45 | (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) 46 | (hsPkgs."memory" or (errorHandler.buildDepError "memory")) 47 | ]; 48 | buildable = true; 49 | modules = [ 50 | "Test/Cardano/Crypto/CBOR" 51 | "Test/Cardano/Crypto/Dummy" 52 | "Test/Cardano/Crypto/Example" 53 | "Test/Cardano/Crypto/Gen" 54 | "Test/Cardano/Crypto/Json" 55 | "Test/Cardano/Crypto/Orphans" 56 | ]; 57 | }; 58 | }; 59 | } // { 60 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 61 | url = "5"; 62 | rev = "minimal"; 63 | sha256 = ""; 64 | }) // { 65 | url = "5"; 66 | rev = "minimal"; 67 | sha256 = ""; 68 | }; 69 | postUnpack = "sourceRoot+=/eras/byron/crypto/test; echo source root reset to \$sourceRoot"; 70 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-data.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "cardano-data"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = ""; 17 | maintainer = "formal.methods@iohk.io"; 18 | author = "IOHK Formal Methods Team"; 19 | homepage = "https://github.com/input-output-hk/cardano-legder-specs"; 20 | url = ""; 21 | synopsis = "Specialized data for Cardano project"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "CHANGELOG.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 38 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 39 | (hsPkgs."cborg" or (errorHandler.buildDepError "cborg")) 40 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 41 | (hsPkgs."compact-map" or (errorHandler.buildDepError "compact-map")) 42 | (hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite")) 43 | (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) 44 | (hsPkgs."formatting" or (errorHandler.buildDepError "formatting")) 45 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 46 | (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) 47 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 48 | (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) 49 | (hsPkgs."strict-containers" or (errorHandler.buildDepError "strict-containers")) 50 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 51 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) 52 | (hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class")) 53 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 54 | ]; 55 | buildable = true; 56 | modules = [ 57 | "Data/AbstractSize" 58 | "Data/Relation" 59 | "Data/CanonicalMaps" 60 | "Data/MemoBytes" 61 | "Data/Coders" 62 | "Data/Pulse" 63 | "Data/Sharing" 64 | "Data/BiMap" 65 | ]; 66 | hsSourceDirs = [ "src" ]; 67 | }; 68 | }; 69 | } // { 70 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 71 | url = "5"; 72 | rev = "minimal"; 73 | sha256 = ""; 74 | }) // { 75 | url = "5"; 76 | rev = "minimal"; 77 | sha256 = ""; 78 | }; 79 | postUnpack = "sourceRoot+=/libs/cardano-data; echo source root reset to \$sourceRoot"; 80 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-ledger-alonzo.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "3.0"; 14 | identifier = { name = "cardano-ledger-alonzo"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2020 Input Output (Hong Kong) Ltd."; 17 | maintainer = "formal.methods@iohk.io"; 18 | author = "IOHK Formal Methods Team"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Cardano ledger introducing Plutus Core"; 22 | description = "This package builds upon the Mary ledger with support for extended UTxO\nvia Plutus Core."; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."array" or (errorHandler.buildDepError "array")) 38 | (hsPkgs."base-deriving-via" or (errorHandler.buildDepError "base-deriving-via")) 39 | (hsPkgs."base64-bytestring" or (errorHandler.buildDepError "base64-bytestring")) 40 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 41 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 42 | (hsPkgs."cardano-data" or (errorHandler.buildDepError "cardano-data")) 43 | (hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class")) 44 | (hsPkgs."cardano-ledger-core" or (errorHandler.buildDepError "cardano-ledger-core")) 45 | (hsPkgs."cardano-ledger-shelley-ma" or (errorHandler.buildDepError "cardano-ledger-shelley-ma")) 46 | (hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude")) 47 | (hsPkgs."cardano-slotting" or (errorHandler.buildDepError "cardano-slotting")) 48 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 49 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default")) 50 | (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) 51 | (hsPkgs."measures" or (errorHandler.buildDepError "measures")) 52 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 53 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 54 | (hsPkgs."plutus-ledger-api" or (errorHandler.buildDepError "plutus-ledger-api")) 55 | (hsPkgs."plutus-tx" or (errorHandler.buildDepError "plutus-tx")) 56 | (hsPkgs."plutus-core" or (errorHandler.buildDepError "plutus-core")) 57 | (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) 58 | (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) 59 | (hsPkgs."set-algebra" or (errorHandler.buildDepError "set-algebra")) 60 | (hsPkgs."cardano-ledger-shelley" or (errorHandler.buildDepError "cardano-ledger-shelley")) 61 | (hsPkgs."small-steps" or (errorHandler.buildDepError "small-steps")) 62 | (hsPkgs."strict-containers" or (errorHandler.buildDepError "strict-containers")) 63 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 64 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 65 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) 66 | (hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string")) 67 | ]; 68 | buildable = true; 69 | modules = [ 70 | "Cardano/Ledger/Alonzo" 71 | "Cardano/Ledger/Alonzo/Data" 72 | "Cardano/Ledger/Alonzo/Genesis" 73 | "Cardano/Ledger/Alonzo/Language" 74 | "Cardano/Ledger/Alonzo/PlutusScriptApi" 75 | "Cardano/Ledger/Alonzo/PParams" 76 | "Cardano/Ledger/Alonzo/Rules/Bbody" 77 | "Cardano/Ledger/Alonzo/Rules/Ledger" 78 | "Cardano/Ledger/Alonzo/Rules/Utxo" 79 | "Cardano/Ledger/Alonzo/Rules/Utxos" 80 | "Cardano/Ledger/Alonzo/Rules/Utxow" 81 | "Cardano/Ledger/Alonzo/Scripts" 82 | "Cardano/Ledger/Alonzo/Tools" 83 | "Cardano/Ledger/Alonzo/Translation" 84 | "Cardano/Ledger/Alonzo/Tx" 85 | "Cardano/Ledger/Alonzo/TxBody" 86 | "Cardano/Ledger/Alonzo/TxInfo" 87 | "Cardano/Ledger/Alonzo/TxSeq" 88 | "Cardano/Ledger/Alonzo/TxWitness" 89 | "Cardano/Ledger/DescribeEras" 90 | ]; 91 | hsSourceDirs = [ "src" ]; 92 | }; 93 | }; 94 | } // { 95 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 96 | url = "5"; 97 | rev = "minimal"; 98 | sha256 = ""; 99 | }) // { 100 | url = "5"; 101 | rev = "minimal"; 102 | sha256 = ""; 103 | }; 104 | postUnpack = "sourceRoot+=/eras/alonzo/impl; echo source root reset to \$sourceRoot"; 105 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-ledger-core.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.4"; 14 | identifier = { name = "cardano-ledger-core"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2021 Input Output (Hong Kong) Ltd."; 17 | maintainer = "formal.methods@iohk.io"; 18 | author = "IOHK Formal Methods Team"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Core components of Cardano ledgers from the Shelley release on."; 22 | description = "Cardano ledgers from the Shelley release onwards share a core basis rooted in\nthe Shelley ledger specification. This package abstracts a number of components\nwhich we expect to be shared amongst all future ledgers implemented around this base."; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 38 | (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) 39 | (hsPkgs."binary" or (errorHandler.buildDepError "binary")) 40 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 41 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 42 | (hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class")) 43 | (hsPkgs."cardano-crypto-praos" or (errorHandler.buildDepError "cardano-crypto-praos")) 44 | (hsPkgs."cardano-crypto-wrapper" or (errorHandler.buildDepError "cardano-crypto-wrapper")) 45 | (hsPkgs."cardano-data" or (errorHandler.buildDepError "cardano-data")) 46 | (hsPkgs."cardano-ledger-byron" or (errorHandler.buildDepError "cardano-ledger-byron")) 47 | (hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude")) 48 | (hsPkgs."cardano-slotting" or (errorHandler.buildDepError "cardano-slotting")) 49 | (hsPkgs."compact-map" or (errorHandler.buildDepError "compact-map")) 50 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 51 | (hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class")) 52 | (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) 53 | (hsPkgs."groups" or (errorHandler.buildDepError "groups")) 54 | (hsPkgs."iproute" or (errorHandler.buildDepError "iproute")) 55 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 56 | (hsPkgs."network" or (errorHandler.buildDepError "network")) 57 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 58 | (hsPkgs."partial-order" or (errorHandler.buildDepError "partial-order")) 59 | (hsPkgs."quiet" or (errorHandler.buildDepError "quiet")) 60 | (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) 61 | (hsPkgs."non-integral" or (errorHandler.buildDepError "non-integral")) 62 | (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) 63 | (hsPkgs."small-steps" or (errorHandler.buildDepError "small-steps")) 64 | (hsPkgs."strict-containers" or (errorHandler.buildDepError "strict-containers")) 65 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 66 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 67 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) 68 | ]; 69 | buildable = true; 70 | modules = [ 71 | "Cardano/Ledger/Address" 72 | "Cardano/Ledger/AuxiliaryData" 73 | "Cardano/Ledger/BaseTypes" 74 | "Cardano/Ledger/BHeaderView" 75 | "Cardano/Ledger/Block" 76 | "Cardano/Ledger/Coin" 77 | "Cardano/Ledger/Compactible" 78 | "Cardano/Ledger/Core" 79 | "Cardano/Ledger/Credential" 80 | "Cardano/Ledger/Crypto" 81 | "Cardano/Ledger/Era" 82 | "Cardano/Ledger/Hashes" 83 | "Cardano/Ledger/Keys" 84 | "Cardano/Ledger/PoolDistr" 85 | "Cardano/Ledger/Rules/ValidationMode" 86 | "Cardano/Ledger/SafeHash" 87 | "Cardano/Ledger/Serialization" 88 | "Cardano/Ledger/Slot" 89 | "Cardano/Ledger/TxIn" 90 | "Cardano/Ledger/Val" 91 | ]; 92 | hsSourceDirs = [ "src" ]; 93 | }; 94 | }; 95 | } // { 96 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 97 | url = "5"; 98 | rev = "minimal"; 99 | sha256 = ""; 100 | }) // { 101 | url = "5"; 102 | rev = "minimal"; 103 | sha256 = ""; 104 | }; 105 | postUnpack = "sourceRoot+=/libs/cardano-ledger-core; echo source root reset to \$sourceRoot"; 106 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-ledger-pretty.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "cardano-ledger-pretty"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = ""; 17 | maintainer = "formal.methods@iohk.io"; 18 | author = "IOHK Formal Methods Team"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = ""; 22 | description = "Pretty Printers for the Cardano Ledger"; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "README.md" "ChangeLog.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."bech32" or (errorHandler.buildDepError "bech32")) 38 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 39 | (hsPkgs."cardano-data" or (errorHandler.buildDepError "cardano-data")) 40 | (hsPkgs."cardano-ledger-alonzo" or (errorHandler.buildDepError "cardano-ledger-alonzo")) 41 | (hsPkgs."cardano-ledger-shelley" or (errorHandler.buildDepError "cardano-ledger-shelley")) 42 | (hsPkgs."cardano-ledger-shelley-ma" or (errorHandler.buildDepError "cardano-ledger-shelley-ma")) 43 | (hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class")) 44 | (hsPkgs."cardano-ledger-byron" or (errorHandler.buildDepError "cardano-ledger-byron")) 45 | (hsPkgs."cardano-protocol-tpraos" or (errorHandler.buildDepError "cardano-protocol-tpraos")) 46 | (hsPkgs."cardano-slotting" or (errorHandler.buildDepError "cardano-slotting")) 47 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 48 | (hsPkgs."compact-map" or (errorHandler.buildDepError "compact-map")) 49 | (hsPkgs."iproute" or (errorHandler.buildDepError "iproute")) 50 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 51 | (hsPkgs."plutus-ledger-api" or (errorHandler.buildDepError "plutus-ledger-api")) 52 | (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) 53 | (hsPkgs."set-algebra" or (errorHandler.buildDepError "set-algebra")) 54 | (hsPkgs."small-steps" or (errorHandler.buildDepError "small-steps")) 55 | (hsPkgs."cardano-ledger-core" or (errorHandler.buildDepError "cardano-ledger-core")) 56 | (hsPkgs."strict-containers" or (errorHandler.buildDepError "strict-containers")) 57 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 58 | ]; 59 | buildable = true; 60 | modules = [ 61 | "Cardano/Ledger/Pretty" 62 | "Cardano/Ledger/Pretty/Alonzo" 63 | "Cardano/Ledger/Pretty/Mary" 64 | ]; 65 | hsSourceDirs = [ "src" ]; 66 | }; 67 | }; 68 | } // { 69 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 70 | url = "5"; 71 | rev = "minimal"; 72 | sha256 = ""; 73 | }) // { 74 | url = "5"; 75 | rev = "minimal"; 76 | sha256 = ""; 77 | }; 78 | postUnpack = "sourceRoot+=/libs/cardano-ledger-pretty; echo source root reset to \$sourceRoot"; 79 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-ledger-shelley-ma.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "cardano-ledger-shelley-ma"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2020 Input Output (Hong Kong) Ltd."; 17 | maintainer = "formal.methods@iohk.io"; 18 | author = "IOHK Formal Methods Team"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Shelley ledger with multiasset and time lock support."; 22 | description = "This package extends the Shelley ledger with support for\nnative tokens and timelocks."; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 38 | (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) 39 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 40 | (hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class")) 41 | (hsPkgs."cardano-data" or (errorHandler.buildDepError "cardano-data")) 42 | (hsPkgs."cardano-ledger-core" or (errorHandler.buildDepError "cardano-ledger-core")) 43 | (hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude")) 44 | (hsPkgs."cardano-protocol-tpraos" or (errorHandler.buildDepError "cardano-protocol-tpraos")) 45 | (hsPkgs."cardano-slotting" or (errorHandler.buildDepError "cardano-slotting")) 46 | (hsPkgs."cborg" or (errorHandler.buildDepError "cborg")) 47 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 48 | (hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class")) 49 | (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) 50 | (hsPkgs."groups" or (errorHandler.buildDepError "groups")) 51 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 52 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 53 | (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) 54 | (hsPkgs."cardano-ledger-shelley" or (errorHandler.buildDepError "cardano-ledger-shelley")) 55 | (hsPkgs."small-steps" or (errorHandler.buildDepError "small-steps")) 56 | (hsPkgs."set-algebra" or (errorHandler.buildDepError "set-algebra")) 57 | (hsPkgs."strict-containers" or (errorHandler.buildDepError "strict-containers")) 58 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 59 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) 60 | ]; 61 | buildable = true; 62 | modules = [ 63 | "Cardano/Ledger/Allegra" 64 | "Cardano/Ledger/Allegra/Translation" 65 | "Cardano/Ledger/Mary" 66 | "Cardano/Ledger/Mary/Translation" 67 | "Cardano/Ledger/Mary/Value" 68 | "Cardano/Ledger/ShelleyMA" 69 | "Cardano/Ledger/ShelleyMA/AuxiliaryData" 70 | "Cardano/Ledger/ShelleyMA/Rules/EraMapping" 71 | "Cardano/Ledger/ShelleyMA/Rules/Utxo" 72 | "Cardano/Ledger/ShelleyMA/Rules/Utxow" 73 | "Cardano/Ledger/ShelleyMA/Timelocks" 74 | "Cardano/Ledger/ShelleyMA/TxBody" 75 | ]; 76 | hsSourceDirs = [ "src" ]; 77 | }; 78 | }; 79 | } // { 80 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 81 | url = "5"; 82 | rev = "minimal"; 83 | sha256 = ""; 84 | }) // { 85 | url = "5"; 86 | rev = "minimal"; 87 | sha256 = ""; 88 | }; 89 | postUnpack = "sourceRoot+=/eras/shelley-ma/impl; echo source root reset to \$sourceRoot"; 90 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-numeric.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { release = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "cardano-numeric"; version = "2020.12.8"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2018-2020 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK Engineering Team"; 19 | homepage = "https://github.com/input-output-hk/cardano-wallet"; 20 | url = ""; 21 | synopsis = "Types and functions for performing numerical calculations."; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."lattices" or (errorHandler.buildDepError "lattices")) 38 | (hsPkgs."safe" or (errorHandler.buildDepError "safe")) 39 | ]; 40 | buildable = true; 41 | modules = [ "Cardano/Numeric/Util" ]; 42 | hsSourceDirs = [ "src" ]; 43 | }; 44 | tests = { 45 | "unit" = { 46 | depends = [ 47 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 48 | (hsPkgs."cardano-numeric" or (errorHandler.buildDepError "cardano-numeric")) 49 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) 50 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 51 | ]; 52 | build-tools = [ 53 | (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) 54 | ]; 55 | buildable = true; 56 | modules = [ "Cardano/Numeric/UtilSpec" ]; 57 | hsSourceDirs = [ "test/unit" ]; 58 | mainPath = [ "numeric-unit-test.hs" ]; 59 | }; 60 | }; 61 | }; 62 | } // { 63 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 64 | url = "13"; 65 | rev = "minimal"; 66 | sha256 = ""; 67 | }) // { 68 | url = "13"; 69 | rev = "minimal"; 70 | sha256 = ""; 71 | }; 72 | postUnpack = "sourceRoot+=/lib/numeric; echo source root reset to \$sourceRoot"; 73 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-prelude-test.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { development = false; }; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "cardano-prelude-test"; version = "0.1.0.0"; }; 15 | license = "MIT"; 16 | copyright = "2018-2021 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Utility types and functions for testing Cardano"; 22 | description = "Utility types and functions for testing Cardano"; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 38 | (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty")) 39 | (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) 40 | (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) 41 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 42 | (hsPkgs."canonical-json" or (errorHandler.buildDepError "canonical-json")) 43 | (hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude")) 44 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 45 | (hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite")) 46 | (hsPkgs."formatting" or (errorHandler.buildDepError "formatting")) 47 | (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) 48 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) 49 | (hsPkgs."pretty-show" or (errorHandler.buildDepError "pretty-show")) 50 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 51 | (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) 52 | (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) 53 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 54 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 55 | ]; 56 | buildable = true; 57 | modules = [ 58 | "Test/Cardano/Prelude/Base16" 59 | "Test/Cardano/Prelude/Gen" 60 | "Test/Cardano/Prelude/Golden" 61 | "Test/Cardano/Prelude/Helpers" 62 | "Test/Cardano/Prelude/Orphans" 63 | "Test/Cardano/Prelude/QuickCheck/Arbitrary" 64 | "Test/Cardano/Prelude/QuickCheck/Property" 65 | "Test/Cardano/Prelude/Tripping" 66 | "Test/Cardano/Prelude" 67 | ]; 68 | hsSourceDirs = [ "src" ]; 69 | }; 70 | tests = { 71 | "cardano-prelude-test-suite" = { 72 | depends = [ 73 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 74 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 75 | (hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude")) 76 | (hsPkgs."cardano-prelude-test" or (errorHandler.buildDepError "cardano-prelude-test")) 77 | (hsPkgs."ghc-heap" or (errorHandler.buildDepError "ghc-heap")) 78 | (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) 79 | (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) 80 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 81 | ]; 82 | buildable = true; 83 | modules = [ 84 | "Test/Cardano/Prelude/GHC/Heap/NormalFormSpec" 85 | "Test/Cardano/Prelude/GHC/Heap/SizeSpec" 86 | "Test/Cardano/Prelude/GHC/Heap/TreeSpec" 87 | ]; 88 | hsSourceDirs = [ "test" ]; 89 | mainPath = [ "test.hs" ]; 90 | }; 91 | }; 92 | }; 93 | } // { 94 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 95 | url = "6"; 96 | rev = "minimal"; 97 | sha256 = ""; 98 | }) // { 99 | url = "6"; 100 | rev = "minimal"; 101 | sha256 = ""; 102 | }; 103 | postUnpack = "sourceRoot+=/cardano-prelude-test; echo source root reset to \$sourceRoot"; 104 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-prelude.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { development = false; }; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "cardano-prelude"; version = "0.1.0.0"; }; 15 | license = "MIT"; 16 | copyright = "2018-2021 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "A Prelude replacement for the Cardano project"; 22 | description = "A Prelude replacement for the Cardano project"; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ 30 | "ChangeLog.md" 31 | "README.md" 32 | "cbits/hashset.h" 33 | "cbits/worklist.h" 34 | ]; 35 | extraTmpFiles = []; 36 | extraDocFiles = []; 37 | }; 38 | components = { 39 | "library" = { 40 | depends = [ 41 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 42 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 43 | (hsPkgs."array" or (errorHandler.buildDepError "array")) 44 | (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) 45 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 46 | (hsPkgs."canonical-json" or (errorHandler.buildDepError "canonical-json")) 47 | (hsPkgs."cborg" or (errorHandler.buildDepError "cborg")) 48 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 49 | (hsPkgs."formatting" or (errorHandler.buildDepError "formatting")) 50 | (hsPkgs."ghc-heap" or (errorHandler.buildDepError "ghc-heap")) 51 | (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) 52 | (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp")) 53 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 54 | (hsPkgs."protolude" or (errorHandler.buildDepError "protolude")) 55 | (hsPkgs."tagged" or (errorHandler.buildDepError "tagged")) 56 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 57 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 58 | (hsPkgs."vector" or (errorHandler.buildDepError "vector")) 59 | ]; 60 | buildable = true; 61 | modules = [ 62 | "Cardano/Prelude/Base" 63 | "Cardano/Prelude/Error" 64 | "Cardano/Prelude/Formatting" 65 | "Cardano/Prelude/GHC/Heap" 66 | "Cardano/Prelude/GHC/Heap/NormalForm" 67 | "Cardano/Prelude/GHC/Heap/Size" 68 | "Cardano/Prelude/GHC/Heap/Tree" 69 | "Cardano/Prelude/HeapWords" 70 | "Cardano/Prelude/Json/Canonical" 71 | "Cardano/Prelude/Json/Parse" 72 | "Cardano/Prelude/Orphans" 73 | "Cardano/Prelude/Strict" 74 | "Cardano/Prelude" 75 | "Data/Semigroup/Action" 76 | ]; 77 | cSources = [ 78 | "cbits/hashset.c" 79 | "cbits/worklist.c" 80 | "cbits/closure_size.c" 81 | ]; 82 | hsSourceDirs = [ "src" ]; 83 | }; 84 | }; 85 | } // { 86 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 87 | url = "6"; 88 | rev = "minimal"; 89 | sha256 = ""; 90 | }) // { 91 | url = "6"; 92 | rev = "minimal"; 93 | sha256 = ""; 94 | }; 95 | postUnpack = "sourceRoot+=/cardano-prelude; echo source root reset to \$sourceRoot"; 96 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-protocol-tpraos.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.4"; 14 | identifier = { name = "cardano-protocol-tpraos"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2021 Input Output (Hong Kong) Ltd."; 17 | maintainer = "formal.methods@iohk.io"; 18 | author = "IOHK Formal Methods Team"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = ""; 22 | description = "Cardano Protocol: Transitional Praos"; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 38 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 39 | (hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class")) 40 | (hsPkgs."cardano-ledger-core" or (errorHandler.buildDepError "cardano-ledger-core")) 41 | (hsPkgs."cardano-slotting" or (errorHandler.buildDepError "cardano-slotting")) 42 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 43 | (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) 44 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 45 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 46 | (hsPkgs."quiet" or (errorHandler.buildDepError "quiet")) 47 | (hsPkgs."non-integral" or (errorHandler.buildDepError "non-integral")) 48 | (hsPkgs."set-algebra" or (errorHandler.buildDepError "set-algebra")) 49 | (hsPkgs."small-steps" or (errorHandler.buildDepError "small-steps")) 50 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) 51 | ]; 52 | buildable = true; 53 | modules = [ 54 | "Cardano/Protocol/TPraos/BHeader" 55 | "Cardano/Protocol/TPraos/OCert" 56 | "Cardano/Protocol/TPraos/Rules/OCert" 57 | "Cardano/Protocol/TPraos/Rules/Overlay" 58 | "Cardano/Protocol/TPraos/Rules/Prtcl" 59 | "Cardano/Protocol/TPraos/Rules/Tickn" 60 | "Cardano/Protocol/TPraos/Rules/Updn" 61 | ]; 62 | hsSourceDirs = [ "src" ]; 63 | }; 64 | }; 65 | } // { 66 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 67 | url = "5"; 68 | rev = "minimal"; 69 | sha256 = ""; 70 | }) // { 71 | url = "5"; 72 | rev = "minimal"; 73 | sha256 = ""; 74 | }; 75 | postUnpack = "sourceRoot+=/libs/cardano-protocol-tpraos; echo source root reset to \$sourceRoot"; 76 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-slotting.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { development = false; }; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "cardano-slotting"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "IOHK"; 17 | maintainer = "formal.methods@iohk.io"; 18 | author = "IOHK Formal Methods Team"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Key slotting types for cardano libraries"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 38 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 39 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 40 | (hsPkgs."cborg" or (errorHandler.buildDepError "cborg")) 41 | (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) 42 | (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph")) 43 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 44 | (hsPkgs."quiet" or (errorHandler.buildDepError "quiet")) 45 | (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) 46 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 47 | ]; 48 | buildable = true; 49 | modules = [ 50 | "Cardano/Slotting/Block" 51 | "Cardano/Slotting/EpochInfo" 52 | "Cardano/Slotting/EpochInfo/API" 53 | "Cardano/Slotting/EpochInfo/Impl" 54 | "Cardano/Slotting/Slot" 55 | "Cardano/Slotting/Time" 56 | ]; 57 | hsSourceDirs = [ "src" ]; 58 | }; 59 | }; 60 | } // { 61 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 62 | url = "3"; 63 | rev = "minimal"; 64 | sha256 = ""; 65 | }) // { 66 | url = "3"; 67 | rev = "minimal"; 68 | sha256 = ""; 69 | }; 70 | postUnpack = "sourceRoot+=/slotting; echo source root reset to \$sourceRoot"; 71 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-transaction.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.4"; 14 | identifier = { name = "cardano-transaction"; version = "0.1.0.0"; }; 15 | license = "NONE"; 16 | copyright = ""; 17 | maintainer = "jonathangfischoff@gmail.com"; 18 | author = "Jonathan Fischoff"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = ""; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "CHANGELOG.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 37 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 38 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 39 | (hsPkgs."cardano-api" or (errorHandler.buildDepError "cardano-api")) 40 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 41 | (hsPkgs."extra" or (errorHandler.buildDepError "extra")) 42 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) 43 | (hsPkgs."lens" or (errorHandler.buildDepError "lens")) 44 | (hsPkgs."lens-aeson" or (errorHandler.buildDepError "lens-aeson")) 45 | (hsPkgs."managed" or (errorHandler.buildDepError "managed")) 46 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 47 | (hsPkgs."plutus-ledger-api" or (errorHandler.buildDepError "plutus-ledger-api")) 48 | (hsPkgs."split" or (errorHandler.buildDepError "split")) 49 | (hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) 50 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) 51 | (hsPkgs."typed-process" or (errorHandler.buildDepError "typed-process")) 52 | ]; 53 | buildable = true; 54 | modules = [ "Cardano/Example" "Cardano/Transaction" ]; 55 | hsSourceDirs = [ "src" ]; 56 | }; 57 | }; 58 | } // { 59 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 60 | url = "17"; 61 | rev = "minimal"; 62 | sha256 = ""; 63 | }) // { 64 | url = "17"; 65 | rev = "minimal"; 66 | sha256 = ""; 67 | }; 68 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-wallet-cli.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { release = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "cardano-wallet-cli"; version = "2022.1.18"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2018-2020 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK Engineering Team"; 19 | homepage = "https://github.com/input-output-hk/cardano-wallet"; 20 | url = ""; 21 | synopsis = "Utilities for a building Command-Line Interfaces"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 37 | (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty")) 38 | (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) 39 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 40 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 41 | (hsPkgs."cardano-addresses" or (errorHandler.buildDepError "cardano-addresses")) 42 | (hsPkgs."cardano-addresses-cli" or (errorHandler.buildDepError "cardano-addresses-cli")) 43 | (hsPkgs."cardano-wallet-core" or (errorHandler.buildDepError "cardano-wallet-core")) 44 | (hsPkgs."directory" or (errorHandler.buildDepError "directory")) 45 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) 46 | (hsPkgs."fmt" or (errorHandler.buildDepError "fmt")) 47 | (hsPkgs."http-client" or (errorHandler.buildDepError "http-client")) 48 | (hsPkgs."iohk-monitoring" or (errorHandler.buildDepError "iohk-monitoring")) 49 | (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) 50 | (hsPkgs."servant-client" or (errorHandler.buildDepError "servant-client")) 51 | (hsPkgs."servant-client-core" or (errorHandler.buildDepError "servant-client-core")) 52 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 53 | (hsPkgs."text-class" or (errorHandler.buildDepError "text-class")) 54 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 55 | (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio")) 56 | ]; 57 | buildable = true; 58 | modules = [ "Cardano/CLI" ]; 59 | hsSourceDirs = [ "src" ]; 60 | }; 61 | tests = { 62 | "unit" = { 63 | depends = [ 64 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 65 | (hsPkgs."cardano-wallet-cli" or (errorHandler.buildDepError "cardano-wallet-cli")) 66 | (hsPkgs."cardano-wallet-core" or (errorHandler.buildDepError "cardano-wallet-core")) 67 | (hsPkgs."cardano-wallet-test-utils" or (errorHandler.buildDepError "cardano-wallet-test-utils")) 68 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 69 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) 70 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) 71 | (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) 72 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 73 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 74 | (hsPkgs."text-class" or (errorHandler.buildDepError "text-class")) 75 | (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio")) 76 | ]; 77 | build-tools = [ 78 | (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) 79 | ]; 80 | buildable = true; 81 | modules = [ "Cardano/CLISpec" ]; 82 | hsSourceDirs = [ "test/unit" "test/data" ]; 83 | mainPath = [ "cli-unit-test.hs" ]; 84 | }; 85 | }; 86 | }; 87 | } // { 88 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 89 | url = "13"; 90 | rev = "minimal"; 91 | sha256 = ""; 92 | }) // { 93 | url = "13"; 94 | rev = "minimal"; 95 | sha256 = ""; 96 | }; 97 | postUnpack = "sourceRoot+=/lib/cli; echo source root reset to \$sourceRoot"; 98 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/cardano-wallet-launcher.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { release = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "cardano-wallet-launcher"; version = "2022.1.18"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2018-2020 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK Engineering Team"; 19 | homepage = "https://github.com/input-output-hk/cardano-wallet"; 20 | url = ""; 21 | synopsis = "Utilities for a building commands launcher"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 38 | (hsPkgs."code-page" or (errorHandler.buildDepError "code-page")) 39 | (hsPkgs."contra-tracer" or (errorHandler.buildDepError "contra-tracer")) 40 | (hsPkgs."either" or (errorHandler.buildDepError "either")) 41 | (hsPkgs."extra" or (errorHandler.buildDepError "extra")) 42 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) 43 | (hsPkgs."fmt" or (errorHandler.buildDepError "fmt")) 44 | (hsPkgs."iohk-monitoring" or (errorHandler.buildDepError "iohk-monitoring")) 45 | (hsPkgs."process" or (errorHandler.buildDepError "process")) 46 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 47 | (hsPkgs."text-class" or (errorHandler.buildDepError "text-class")) 48 | (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio")) 49 | (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")) 50 | ] ++ (if system.isWindows 51 | then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ] 52 | else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]); 53 | buildable = true; 54 | modules = [ 55 | "Cardano/Launcher" 56 | "Cardano/Launcher/Node" 57 | "Cardano/Startup" 58 | ] ++ (if system.isWindows 59 | then [ "Cardano/Startup/Windows" ] 60 | else [ "Cardano/Startup/POSIX" ]); 61 | hsSourceDirs = [ "src" ]; 62 | }; 63 | tests = { 64 | "unit" = { 65 | depends = [ 66 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 67 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 68 | (hsPkgs."cardano-wallet-launcher" or (errorHandler.buildDepError "cardano-wallet-launcher")) 69 | (hsPkgs."cardano-wallet-test-utils" or (errorHandler.buildDepError "cardano-wallet-test-utils")) 70 | (hsPkgs."contra-tracer" or (errorHandler.buildDepError "contra-tracer")) 71 | (hsPkgs."fmt" or (errorHandler.buildDepError "fmt")) 72 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) 73 | (hsPkgs."hspec-core" or (errorHandler.buildDepError "hspec-core")) 74 | (hsPkgs."hspec-expectations" or (errorHandler.buildDepError "hspec-expectations")) 75 | (hsPkgs."iohk-monitoring" or (errorHandler.buildDepError "iohk-monitoring")) 76 | (hsPkgs."process" or (errorHandler.buildDepError "process")) 77 | (hsPkgs."retry" or (errorHandler.buildDepError "retry")) 78 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 79 | (hsPkgs."text-class" or (errorHandler.buildDepError "text-class")) 80 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 81 | (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio")) 82 | ]; 83 | build-tools = [ 84 | (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) 85 | ]; 86 | buildable = true; 87 | modules = [ "Cardano/LauncherSpec" "Cardano/StartupSpec" ]; 88 | hsSourceDirs = [ "test/unit" ]; 89 | mainPath = [ "launcher-unit-test.hs" ]; 90 | }; 91 | }; 92 | }; 93 | } // { 94 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 95 | url = "13"; 96 | rev = "minimal"; 97 | sha256 = ""; 98 | }) // { 99 | url = "13"; 100 | rev = "minimal"; 101 | sha256 = ""; 102 | }; 103 | postUnpack = "sourceRoot+=/lib/launcher; echo source root reset to \$sourceRoot"; 104 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/compact-map.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "compact-map"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = ""; 17 | maintainer = "formal.methods@iohk.io"; 18 | author = "IOHK Formal Methods Team"; 19 | homepage = "https://github.com/input-output-hk/cardano-legder-specs"; 20 | url = ""; 21 | synopsis = "A KeyMap that is based on collisionless HashMap implementation"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "CHANGELOG.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 38 | (hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude")) 39 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 40 | (hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class")) 41 | (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) 42 | (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) 43 | (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) 44 | (hsPkgs."random" or (errorHandler.buildDepError "random")) 45 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 46 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 47 | (hsPkgs."vector" or (errorHandler.buildDepError "vector")) 48 | (hsPkgs."vector-algorithms" or (errorHandler.buildDepError "vector-algorithms")) 49 | ]; 50 | buildable = true; 51 | modules = [ 52 | "Data/Compact/KVVector" 53 | "Data/Compact/KeyMap" 54 | "Data/Compact/HashMap" 55 | "Data/Compact/VMap" 56 | "Data/Compact/SmallArray" 57 | "Data/Compact/SplitMap" 58 | ]; 59 | hsSourceDirs = [ "src" ]; 60 | }; 61 | tests = { 62 | "tests" = { 63 | depends = [ 64 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 65 | (hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude")) 66 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 67 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 68 | (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) 69 | (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) 70 | (hsPkgs."compact-map" or (errorHandler.buildDepError "compact-map")) 71 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 72 | (hsPkgs."quickcheck-classes-base" or (errorHandler.buildDepError "quickcheck-classes-base")) 73 | (hsPkgs."random" or (errorHandler.buildDepError "random")) 74 | ]; 75 | buildable = true; 76 | modules = [ 77 | "Test/Compact/SplitMap" 78 | "Test/Compact/KeyMap" 79 | "Test/Compact/VMap" 80 | ]; 81 | hsSourceDirs = [ "test" ]; 82 | mainPath = [ "Main.hs" ]; 83 | }; 84 | }; 85 | benchmarks = { 86 | "bench" = { 87 | depends = [ 88 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 89 | (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) 90 | (hsPkgs."compact-map" or (errorHandler.buildDepError "compact-map")) 91 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 92 | (hsPkgs."random" or (errorHandler.buildDepError "random")) 93 | ]; 94 | buildable = true; 95 | hsSourceDirs = [ "bench" ]; 96 | }; 97 | }; 98 | }; 99 | } // { 100 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 101 | url = "5"; 102 | rev = "minimal"; 103 | sha256 = ""; 104 | }) // { 105 | url = "5"; 106 | rev = "minimal"; 107 | sha256 = ""; 108 | }; 109 | postUnpack = "sourceRoot+=/libs/compact-map; echo source root reset to \$sourceRoot"; 110 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/contra-tracer.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "contra-tracer"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "Neil Davies, Alexander Diemand, Andreas Triantafyllos"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "A simple interface for logging, tracing or monitoring."; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "README.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | ] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "8.5") (hsPkgs."contravariant" or (errorHandler.buildDepError "contravariant")); 38 | buildable = true; 39 | modules = [ "Control/Tracer" "Control/Tracer/Observe" ]; 40 | hsSourceDirs = [ "src" ]; 41 | }; 42 | }; 43 | } // { 44 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 45 | url = "8"; 46 | rev = "minimal"; 47 | sha256 = ""; 48 | }) // { 49 | url = "8"; 50 | rev = "minimal"; 51 | sha256 = ""; 52 | }; 53 | postUnpack = "sourceRoot+=/contra-tracer; echo source root reset to \$sourceRoot"; 54 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/dbvar.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { release = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "dbvar"; version = "2021.8.23"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2021 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK Engineering Team"; 19 | homepage = "https://github.com/input-output-hk/cardano-wallet"; 20 | url = ""; 21 | synopsis = "Mutable variables that are written to disk using delta encodings."; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."conduit" or (errorHandler.buildDepError "conduit")) 38 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 39 | (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) 40 | (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens")) 41 | (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) 42 | (hsPkgs."monad-logger" or (errorHandler.buildDepError "monad-logger")) 43 | (hsPkgs."persistent" or (errorHandler.buildDepError "persistent")) 44 | (hsPkgs."persistent-sqlite" or (errorHandler.buildDepError "persistent-sqlite")) 45 | (hsPkgs."safe" or (errorHandler.buildDepError "safe")) 46 | (hsPkgs."say" or (errorHandler.buildDepError "say")) 47 | (hsPkgs."semigroupoids" or (errorHandler.buildDepError "semigroupoids")) 48 | (hsPkgs."stm" or (errorHandler.buildDepError "stm")) 49 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 50 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) 51 | ]; 52 | buildable = true; 53 | modules = [ 54 | "Demo/Database" 55 | "Data/Chain" 56 | "Data/DBVar" 57 | "Data/Delta" 58 | "Data/Table" 59 | "Database/Persist/Delta" 60 | "Database/Schema" 61 | ]; 62 | hsSourceDirs = [ "src" ]; 63 | }; 64 | tests = { 65 | "unit" = { 66 | depends = [ 67 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 68 | (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) 69 | (hsPkgs."io-sim" or (errorHandler.buildDepError "io-sim")) 70 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) 71 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 72 | ]; 73 | build-tools = [ 74 | (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) 75 | ]; 76 | buildable = true; 77 | modules = [ "Data/DeltaSpec" ]; 78 | hsSourceDirs = [ "test/unit" ]; 79 | mainPath = [ "Main.hs" ]; 80 | }; 81 | }; 82 | }; 83 | } // { 84 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 85 | url = "13"; 86 | rev = "minimal"; 87 | sha256 = ""; 88 | }) // { 89 | url = "13"; 90 | rev = "minimal"; 91 | sha256 = ""; 92 | }; 93 | postUnpack = "sourceRoot+=/lib/dbvar; echo source root reset to \$sourceRoot"; 94 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/freer-extras.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "freer-extras"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = ""; 17 | maintainer = "tobias.pflug@iohk.io"; 18 | author = "Tobias Pflug"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Useful extensions to simple-freer"; 22 | description = "freer-extras provides logging and monitoring functions extending simple-freer"; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 37 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 38 | (hsPkgs."beam-core" or (errorHandler.buildDepError "beam-core")) 39 | (hsPkgs."beam-sqlite" or (errorHandler.buildDepError "beam-sqlite")) 40 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 41 | (hsPkgs."data-default" or (errorHandler.buildDepError "data-default")) 42 | (hsPkgs."freer-simple" or (errorHandler.buildDepError "freer-simple")) 43 | (hsPkgs."iohk-monitoring" or (errorHandler.buildDepError "iohk-monitoring")) 44 | (hsPkgs."lens" or (errorHandler.buildDepError "lens")) 45 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 46 | (hsPkgs."openapi3" or (errorHandler.buildDepError "openapi3")) 47 | (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) 48 | (hsPkgs."sqlite-simple" or (errorHandler.buildDepError "sqlite-simple")) 49 | (hsPkgs."streaming" or (errorHandler.buildDepError "streaming")) 50 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 51 | ]; 52 | buildable = true; 53 | modules = [ 54 | "Control/Monad/Freer/Extras" 55 | "Control/Monad/Freer/Extras/Beam" 56 | "Control/Monad/Freer/Extras/Log" 57 | "Control/Monad/Freer/Extras/Modify" 58 | "Control/Monad/Freer/Extras/Pagination" 59 | "Control/Monad/Freer/Extras/State" 60 | "Control/Monad/Freer/Extras/Stream" 61 | ]; 62 | hsSourceDirs = [ "src" ]; 63 | }; 64 | tests = { 65 | "freer-extras-test" = { 66 | depends = [ 67 | (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) 68 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 69 | (hsPkgs."tasty-hedgehog" or (errorHandler.buildDepError "tasty-hedgehog")) 70 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 71 | (hsPkgs."beam-core" or (errorHandler.buildDepError "beam-core")) 72 | (hsPkgs."beam-migrate" or (errorHandler.buildDepError "beam-migrate")) 73 | (hsPkgs."beam-sqlite" or (errorHandler.buildDepError "beam-sqlite")) 74 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 75 | (hsPkgs."contra-tracer" or (errorHandler.buildDepError "contra-tracer")) 76 | (hsPkgs."freer-extras" or (errorHandler.buildDepError "freer-extras")) 77 | (hsPkgs."freer-simple" or (errorHandler.buildDepError "freer-simple")) 78 | (hsPkgs."lens" or (errorHandler.buildDepError "lens")) 79 | (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")) 80 | (hsPkgs."sqlite-simple" or (errorHandler.buildDepError "sqlite-simple")) 81 | ]; 82 | buildable = true; 83 | modules = [ 84 | "Control/Monad/Freer/Extras/BeamSpec" 85 | "Control/Monad/Freer/Extras/PaginationSpec" 86 | ]; 87 | hsSourceDirs = [ "test" ]; 88 | mainPath = [ "Spec.hs" ]; 89 | }; 90 | }; 91 | }; 92 | } // { 93 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 94 | url = "12"; 95 | rev = "minimal"; 96 | sha256 = ""; 97 | }) // { 98 | url = "12"; 99 | rev = "minimal"; 100 | sha256 = ""; 101 | }; 102 | postUnpack = "sourceRoot+=/freer-extras; echo source root reset to \$sourceRoot"; 103 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/goblins.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { development = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "goblins"; version = "0.2.0.0"; }; 15 | license = "BSD-3-Clause"; 16 | copyright = ""; 17 | maintainer = "nick@topos.org.uk"; 18 | author = "Nicholas Clarke"; 19 | homepage = "https://github.com/input-output-hk/goblins"; 20 | url = ""; 21 | synopsis = "Genetic algorithm based randomised testing"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "CHANGELOG.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."bimap" or (errorHandler.buildDepError "bimap")) 38 | (hsPkgs."binary" or (errorHandler.buildDepError "binary")) 39 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 40 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 41 | (hsPkgs."extra" or (errorHandler.buildDepError "extra")) 42 | (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) 43 | (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) 44 | (hsPkgs."microlens-mtl" or (errorHandler.buildDepError "microlens-mtl")) 45 | (hsPkgs."microlens-th" or (errorHandler.buildDepError "microlens-th")) 46 | (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph")) 47 | (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) 48 | (hsPkgs."moo" or (errorHandler.buildDepError "moo")) 49 | (hsPkgs."random" or (errorHandler.buildDepError "random")) 50 | (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) 51 | (hsPkgs."th-utilities" or (errorHandler.buildDepError "th-utilities")) 52 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) 53 | (hsPkgs."tree-diff" or (errorHandler.buildDepError "tree-diff")) 54 | (hsPkgs."typerep-map" or (errorHandler.buildDepError "typerep-map")) 55 | ]; 56 | buildable = true; 57 | modules = [ 58 | "Test/Goblin" 59 | "Test/Goblin/Core" 60 | "Test/Goblin/Explainer" 61 | "Test/Goblin/Instances" 62 | "Test/Goblin/Persist" 63 | "Test/Goblin/TH" 64 | "Test/Goblin/Util" 65 | ]; 66 | hsSourceDirs = [ "src" ]; 67 | }; 68 | tests = { 69 | "goblin-test" = { 70 | depends = [ 71 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 72 | (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) 73 | (hsPkgs."goblins" or (errorHandler.buildDepError "goblins")) 74 | (hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) 75 | ]; 76 | buildable = true; 77 | modules = [ "Test/Goblin/Properties" ]; 78 | hsSourceDirs = [ "test" ]; 79 | mainPath = [ "test.hs" ]; 80 | }; 81 | }; 82 | }; 83 | } // { 84 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 85 | url = "7"; 86 | rev = "minimal"; 87 | sha256 = ""; 88 | }) // { 89 | url = "7"; 90 | rev = "minimal"; 91 | sha256 = ""; 92 | }; 93 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/hedgehog-extras.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.4"; 14 | identifier = { name = "hedgehog-extras"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = ""; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Supplemental library for hedgehog"; 22 | description = "Supplemental library for hedgehog."; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 38 | (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty")) 39 | (hsPkgs."async" or (errorHandler.buildDepError "async")) 40 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 41 | (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) 42 | (hsPkgs."directory" or (errorHandler.buildDepError "directory")) 43 | (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) 44 | (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) 45 | (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) 46 | (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph")) 47 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 48 | (hsPkgs."network" or (errorHandler.buildDepError "network")) 49 | (hsPkgs."process" or (errorHandler.buildDepError "process")) 50 | (hsPkgs."resourcet" or (errorHandler.buildDepError "resourcet")) 51 | (hsPkgs."stm" or (errorHandler.buildDepError "stm")) 52 | (hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) 53 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 54 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 55 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) 56 | (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio")) 57 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) 58 | (hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) 59 | ] ++ (pkgs.lib).optional (system.isWindows) (hsPkgs."Win32-network" or (errorHandler.buildDepError "Win32-network")); 60 | buildable = true; 61 | modules = [ 62 | "Hedgehog/Extras" 63 | "Hedgehog/Extras/Aeson" 64 | "Hedgehog/Extras/Internal/Cli" 65 | "Hedgehog/Extras/Internal/Plan" 66 | "Hedgehog/Extras/Internal/Test/Integration" 67 | "Hedgehog/Extras/Stock" 68 | "Hedgehog/Extras/Stock/Aeson" 69 | "Hedgehog/Extras/Stock/CallStack" 70 | "Hedgehog/Extras/Stock/IO/File" 71 | "Hedgehog/Extras/Stock/IO/Network/NamedPipe" 72 | "Hedgehog/Extras/Stock/IO/Network/Socket" 73 | "Hedgehog/Extras/Stock/IO/Network/Sprocket" 74 | "Hedgehog/Extras/Stock/IO/Process" 75 | "Hedgehog/Extras/Stock/Monad" 76 | "Hedgehog/Extras/Stock/OS" 77 | "Hedgehog/Extras/Stock/String" 78 | "Hedgehog/Extras/Stock/Time" 79 | "Hedgehog/Extras/Test" 80 | "Hedgehog/Extras/Test/Base" 81 | "Hedgehog/Extras/Test/Concurrent" 82 | "Hedgehog/Extras/Test/File" 83 | "Hedgehog/Extras/Test/MonadAssertion" 84 | "Hedgehog/Extras/Test/Network" 85 | "Hedgehog/Extras/Test/Process" 86 | ]; 87 | hsSourceDirs = [ "src" ]; 88 | }; 89 | }; 90 | } // { 91 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 92 | url = "2"; 93 | rev = "minimal"; 94 | sha256 = ""; 95 | }) // { 96 | url = "2"; 97 | rev = "minimal"; 98 | sha256 = ""; 99 | }; 100 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/io-classes.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { checktvarinvariant = false; asserts = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "io-classes"; version = "0.2.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019 Input Output (Hong Kong) Ltd."; 17 | maintainer = ""; 18 | author = "Alexander Vieth, Marcin Szamotulski, Duncan Coutts"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Type classes for concurrency with STM, ST and timing"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."async" or (errorHandler.buildDepError "async")) 38 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 39 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 40 | (hsPkgs."stm" or (errorHandler.buildDepError "stm")) 41 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 42 | ]; 43 | buildable = true; 44 | modules = [ 45 | "Control/Monad/Class/MonadAsync" 46 | "Control/Monad/Class/MonadEventlog" 47 | "Control/Monad/Class/MonadFork" 48 | "Control/Monad/Class/MonadSay" 49 | "Control/Monad/Class/MonadST" 50 | "Control/Monad/Class/MonadSTM" 51 | "Control/Monad/Class/MonadThrow" 52 | "Control/Monad/Class/MonadTime" 53 | "Control/Monad/Class/MonadTimer" 54 | ]; 55 | hsSourceDirs = [ "src" ]; 56 | }; 57 | tests = { 58 | "test" = { 59 | depends = [ 60 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 61 | (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) 62 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 63 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 64 | (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) 65 | ]; 66 | buildable = true; 67 | modules = [ "Test/MonadTimer" ]; 68 | hsSourceDirs = [ "test" ]; 69 | mainPath = [ "Main.hs" ]; 70 | }; 71 | }; 72 | }; 73 | } // { 74 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 75 | url = "10"; 76 | rev = "minimal"; 77 | sha256 = ""; 78 | }) // { 79 | url = "10"; 80 | rev = "minimal"; 81 | sha256 = ""; 82 | }; 83 | postUnpack = "sourceRoot+=/io-classes; echo source root reset to \$sourceRoot"; 84 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/io-sim.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { asserts = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "io-sim"; version = "0.2.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019-2020 Input Output (Hong Kong) Ltd."; 17 | maintainer = ""; 18 | author = "Duncan Coutts, Marcin Szamotulski, Alexander Vieth"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "A pure simlator for monadic concurrency with STM"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) 38 | (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) 39 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 40 | (hsPkgs."psqueues" or (errorHandler.buildDepError "psqueues")) 41 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 42 | (hsPkgs."quiet" or (errorHandler.buildDepError "quiet")) 43 | ]; 44 | buildable = true; 45 | modules = [ 46 | "Control/Monad/IOSim/Internal" 47 | "Data/List/Trace" 48 | "Control/Monad/IOSim" 49 | ]; 50 | hsSourceDirs = [ "src" ]; 51 | }; 52 | tests = { 53 | "test" = { 54 | depends = [ 55 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 56 | (hsPkgs."array" or (errorHandler.buildDepError "array")) 57 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 58 | (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) 59 | (hsPkgs."io-sim" or (errorHandler.buildDepError "io-sim")) 60 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 61 | (hsPkgs."strict-stm" or (errorHandler.buildDepError "strict-stm")) 62 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 63 | (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) 64 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 65 | ]; 66 | buildable = true; 67 | modules = [ "Test/IOSim" "Test/STM" ]; 68 | hsSourceDirs = [ "test" ]; 69 | mainPath = [ "Main.hs" ]; 70 | }; 71 | }; 72 | }; 73 | } // { 74 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 75 | url = "10"; 76 | rev = "minimal"; 77 | sha256 = ""; 78 | }) // { 79 | url = "10"; 80 | rev = "minimal"; 81 | sha256 = ""; 82 | }; 83 | postUnpack = "sourceRoot+=/io-sim; echo source root reset to \$sourceRoot"; 84 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/lobemo-backend-aggregation.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.0"; 14 | identifier = { 15 | name = "lobemo-backend-aggregation"; 16 | version = "0.1.0.0"; 17 | }; 18 | license = "Apache-2.0"; 19 | copyright = "2019 IOHK"; 20 | maintainer = "operations@iohk.io"; 21 | author = "Alexander Diemand"; 22 | homepage = "https://github.com/input-output-hk/iohk-monitoring-framework"; 23 | url = ""; 24 | synopsis = "provides a backend implementation to aggregate traced values"; 25 | description = ""; 26 | buildType = "Simple"; 27 | isLocal = true; 28 | detailLevel = "FullDetails"; 29 | licenseFiles = [ "LICENSE" "NOTICE" ]; 30 | dataDir = "."; 31 | dataFiles = []; 32 | extraSrcFiles = [ "README.md" ]; 33 | extraTmpFiles = []; 34 | extraDocFiles = []; 35 | }; 36 | components = { 37 | "library" = { 38 | depends = [ 39 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 40 | (hsPkgs."iohk-monitoring" or (errorHandler.buildDepError "iohk-monitoring")) 41 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 42 | (hsPkgs."async" or (errorHandler.buildDepError "async")) 43 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 44 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 45 | (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) 46 | (hsPkgs."stm" or (errorHandler.buildDepError "stm")) 47 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) 48 | ] ++ (if system.isWindows 49 | then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ] 50 | else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]); 51 | buildable = true; 52 | modules = [ "Cardano/BM/Backend/Aggregation" ]; 53 | hsSourceDirs = [ "src" ]; 54 | }; 55 | }; 56 | } // { 57 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 58 | url = "8"; 59 | rev = "minimal"; 60 | sha256 = ""; 61 | }) // { 62 | url = "8"; 63 | rev = "minimal"; 64 | sha256 = ""; 65 | }; 66 | postUnpack = "sourceRoot+=/plugins/backend-aggregation; echo source root reset to \$sourceRoot"; 67 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/lobemo-backend-ekg.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.0"; 14 | identifier = { name = "lobemo-backend-ekg"; version = "0.1.0.1"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "Alexander Diemand"; 19 | homepage = "https://github.com/input-output-hk/iohk-monitoring-framework"; 20 | url = ""; 21 | synopsis = "provides a backend implementation to EKG"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "README.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 38 | (hsPkgs."async" or (errorHandler.buildDepError "async")) 39 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 40 | (hsPkgs."ekg" or (errorHandler.buildDepError "ekg")) 41 | (hsPkgs."ekg-core" or (errorHandler.buildDepError "ekg-core")) 42 | (hsPkgs."iohk-monitoring" or (errorHandler.buildDepError "iohk-monitoring")) 43 | (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) 44 | (hsPkgs."snap-core" or (errorHandler.buildDepError "snap-core")) 45 | (hsPkgs."snap-server" or (errorHandler.buildDepError "snap-server")) 46 | (hsPkgs."stm" or (errorHandler.buildDepError "stm")) 47 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 48 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 49 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) 50 | ]; 51 | buildable = true; 52 | modules = [ 53 | "Cardano/BM/Backend/Prometheus" 54 | "Cardano/BM/Backend/EKGView" 55 | ]; 56 | hsSourceDirs = [ "src" ]; 57 | }; 58 | }; 59 | } // { 60 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 61 | url = "8"; 62 | rev = "minimal"; 63 | sha256 = ""; 64 | }) // { 65 | url = "8"; 66 | rev = "minimal"; 67 | sha256 = ""; 68 | }; 69 | postUnpack = "sourceRoot+=/plugins/backend-ekg; echo source root reset to \$sourceRoot"; 70 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/lobemo-backend-trace-forwarder.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.0"; 14 | identifier = { 15 | name = "lobemo-backend-trace-forwarder"; 16 | version = "0.1.0.0"; 17 | }; 18 | license = "Apache-2.0"; 19 | copyright = "2020 IOHK"; 20 | maintainer = "operations@iohk.io"; 21 | author = "Alexander Diemand"; 22 | homepage = "https://github.com/input-output-hk/iohk-monitoring-framework"; 23 | url = ""; 24 | synopsis = "this backend forwards log items to a trace acceptor"; 25 | description = ""; 26 | buildType = "Simple"; 27 | isLocal = true; 28 | detailLevel = "FullDetails"; 29 | licenseFiles = [ "LICENSE" "NOTICE" ]; 30 | dataDir = "."; 31 | dataFiles = []; 32 | extraSrcFiles = [ "README.md" ]; 33 | extraTmpFiles = []; 34 | extraDocFiles = []; 35 | }; 36 | components = { 37 | "library" = { 38 | depends = [ 39 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 40 | (hsPkgs."iohk-monitoring" or (errorHandler.buildDepError "iohk-monitoring")) 41 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 42 | (hsPkgs."async" or (errorHandler.buildDepError "async")) 43 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 44 | (hsPkgs."network" or (errorHandler.buildDepError "network")) 45 | (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) 46 | (hsPkgs."stm" or (errorHandler.buildDepError "stm")) 47 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 48 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 49 | (hsPkgs."unix-compat" or (errorHandler.buildDepError "unix-compat")) 50 | ]; 51 | buildable = true; 52 | modules = [ "Cardano/BM/Backend/TraceForwarder" ]; 53 | hsSourceDirs = [ "src" ]; 54 | }; 55 | }; 56 | } // { 57 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 58 | url = "8"; 59 | rev = "minimal"; 60 | sha256 = ""; 61 | }) // { 62 | url = "8"; 63 | rev = "minimal"; 64 | sha256 = ""; 65 | }; 66 | postUnpack = "sourceRoot+=/plugins/backend-trace-forwarder; echo source root reset to \$sourceRoot"; 67 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/lobemo-scribe-systemd.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.0"; 14 | identifier = { name = "lobemo-scribe-systemd"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "Alexander Diemand"; 19 | homepage = "https://github.com/input-output-hk/iohk-monitoring-framework"; 20 | url = ""; 21 | synopsis = "provides a backend for logging to systemd/journal"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "README.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = ([ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."iohk-monitoring" or (errorHandler.buildDepError "iohk-monitoring")) 38 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 39 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 40 | (hsPkgs."katip" or (errorHandler.buildDepError "katip")) 41 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 42 | (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) 43 | (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) 44 | ] ++ (if system.isWindows 45 | then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ] 46 | else [ 47 | (hsPkgs."unix" or (errorHandler.buildDepError "unix")) 48 | ])) ++ (pkgs.lib).optionals (system.isLinux) [ 49 | (hsPkgs."hsyslog" or (errorHandler.buildDepError "hsyslog")) 50 | (hsPkgs."libsystemd-journal" or (errorHandler.buildDepError "libsystemd-journal")) 51 | ]; 52 | buildable = true; 53 | modules = [ "Cardano/BM/Scribe/Systemd" ]; 54 | hsSourceDirs = [ "src" ]; 55 | }; 56 | }; 57 | } // { 58 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 59 | url = "8"; 60 | rev = "minimal"; 61 | sha256 = ""; 62 | }) // { 63 | url = "8"; 64 | rev = "minimal"; 65 | sha256 = ""; 66 | }; 67 | postUnpack = "sourceRoot+=/plugins/scribe-systemd; echo source root reset to \$sourceRoot"; 68 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/measures.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { development = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "measures"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "An abstraction for (tuples of) measured quantities"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."base-deriving-via" or (errorHandler.buildDepError "base-deriving-via")) 38 | ]; 39 | buildable = true; 40 | modules = [ "Data/Measure" "Data/Measure/Class" ]; 41 | hsSourceDirs = [ "src" ]; 42 | }; 43 | tests = { 44 | "test" = { 45 | depends = [ 46 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 47 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 48 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 49 | (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) 50 | (hsPkgs."measures" or (errorHandler.buildDepError "measures")) 51 | ]; 52 | buildable = true; 53 | modules = [ "Test/Data/Measure" ]; 54 | hsSourceDirs = [ "test" ]; 55 | mainPath = [ "Main.hs" ]; 56 | }; 57 | }; 58 | }; 59 | } // { 60 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 61 | url = "3"; 62 | rev = "minimal"; 63 | sha256 = ""; 64 | }) // { 65 | url = "3"; 66 | rev = "minimal"; 67 | sha256 = ""; 68 | }; 69 | postUnpack = "sourceRoot+=/measures; echo source root reset to \$sourceRoot"; 70 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/monoidal-synchronisation.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.4"; 14 | identifier = { name = "monoidal-synchronisation"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2021 Input Output (Hong Kong) Ltd."; 17 | maintainer = "coot@coot.me"; 18 | author = "Marcin Szamotulski"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = ""; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "CHANGELOG.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; 36 | buildable = true; 37 | modules = [ "Data/Monoid/Synchronisation" ]; 38 | hsSourceDirs = [ "src" ]; 39 | }; 40 | tests = { 41 | "test" = { 42 | depends = [ 43 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 44 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 45 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 46 | (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) 47 | (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) 48 | (hsPkgs."io-sim" or (errorHandler.buildDepError "io-sim")) 49 | (hsPkgs."monoidal-synchronisation" or (errorHandler.buildDepError "monoidal-synchronisation")) 50 | ]; 51 | buildable = true; 52 | modules = [ "Test/Data/Monoid/Synchronisation" ]; 53 | hsSourceDirs = [ "test" ]; 54 | mainPath = [ "Main.hs" ]; 55 | }; 56 | }; 57 | }; 58 | } // { 59 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 60 | url = "10"; 61 | rev = "minimal"; 62 | sha256 = ""; 63 | }) // { 64 | url = "10"; 65 | rev = "minimal"; 66 | sha256 = ""; 67 | }; 68 | postUnpack = "sourceRoot+=/monoidal-synchronisation; echo source root reset to \$sourceRoot"; 69 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/non-integral.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "non-integral"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = ""; 17 | maintainer = "formal.methods@iohk.io"; 18 | author = "IOHK Formal Methods Team"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = ""; 22 | description = "Implementation decision for non-integer calculations"; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "README.md" "ChangeLog.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; 36 | buildable = true; 37 | modules = [ "Cardano/Ledger/NonIntegral" ]; 38 | hsSourceDirs = [ "src" ]; 39 | }; 40 | tests = { 41 | "non-integral-test" = { 42 | depends = [ 43 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 44 | (hsPkgs."non-integral" or (errorHandler.buildDepError "non-integral")) 45 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 46 | ]; 47 | buildable = true; 48 | modules = [ "Tests/Cardano/Ledger/NonIntegral" ]; 49 | hsSourceDirs = [ "test" ]; 50 | mainPath = [ "Tests.hs" ]; 51 | }; 52 | }; 53 | }; 54 | } // { 55 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 56 | url = "5"; 57 | rev = "minimal"; 58 | sha256 = ""; 59 | }) // { 60 | url = "5"; 61 | rev = "minimal"; 62 | sha256 = ""; 63 | }; 64 | postUnpack = "sourceRoot+=/libs/non-integral; echo source root reset to \$sourceRoot"; 65 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/ntp-client.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { demo = true; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "ntp-client"; version = "0.0.1"; }; 15 | license = "Apache-2.0"; 16 | copyright = ""; 17 | maintainer = ""; 18 | author = ""; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = ""; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "README.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."async" or (errorHandler.buildDepError "async")) 37 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 38 | (hsPkgs."binary" or (errorHandler.buildDepError "binary")) 39 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 40 | (hsPkgs."contra-tracer" or (errorHandler.buildDepError "contra-tracer")) 41 | (hsPkgs."network" or (errorHandler.buildDepError "network")) 42 | (hsPkgs."stm" or (errorHandler.buildDepError "stm")) 43 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 44 | (hsPkgs."Win32-network" or (errorHandler.buildDepError "Win32-network")) 45 | ]; 46 | buildable = true; 47 | modules = [ 48 | "Network/NTP/Client/Packet" 49 | "Network/NTP/Client/Query" 50 | "Network/NTP/Client" 51 | ]; 52 | hsSourceDirs = [ "src" ]; 53 | }; 54 | exes = { 55 | "demo-ntp-client" = { 56 | depends = [ 57 | (hsPkgs."async" or (errorHandler.buildDepError "async")) 58 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 59 | (hsPkgs."contra-tracer" or (errorHandler.buildDepError "contra-tracer")) 60 | (hsPkgs."Win32-network" or (errorHandler.buildDepError "Win32-network")) 61 | (hsPkgs."ntp-client" or (errorHandler.buildDepError "ntp-client")) 62 | ]; 63 | buildable = if flags.demo then true else false; 64 | hsSourceDirs = [ "demo" ]; 65 | mainPath = [ "Main.hs" ] ++ [ "" ]; 66 | }; 67 | }; 68 | tests = { 69 | "test" = { 70 | depends = [ 71 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 72 | (hsPkgs."binary" or (errorHandler.buildDepError "binary")) 73 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 74 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 75 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 76 | (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) 77 | ]; 78 | buildable = true; 79 | modules = [ "Network/NTP/Client/Packet" ]; 80 | hsSourceDirs = [ "test" "src" ]; 81 | mainPath = [ "Test.hs" ]; 82 | }; 83 | }; 84 | }; 85 | } // { 86 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 87 | url = "10"; 88 | rev = "minimal"; 89 | sha256 = ""; 90 | }) // { 91 | url = "10"; 92 | rev = "minimal"; 93 | sha256 = ""; 94 | }; 95 | postUnpack = "sourceRoot+=/ntp-client; echo source root reset to \$sourceRoot"; 96 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/orphans-deriving-via.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { development = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "orphans-deriving-via"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Orphan instances for the base-deriving-via hooks"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."base-deriving-via" or (errorHandler.buildDepError "base-deriving-via")) 38 | (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) 39 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 40 | ]; 41 | buildable = true; 42 | modules = [ "Data/DerivingVia/DeepSeq" "Data/DerivingVia/NoThunks" ]; 43 | hsSourceDirs = [ "src" ]; 44 | }; 45 | }; 46 | } // { 47 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 48 | url = "3"; 49 | rev = "minimal"; 50 | sha256 = ""; 51 | }) // { 52 | url = "3"; 53 | rev = "minimal"; 54 | sha256 = ""; 55 | }; 56 | postUnpack = "sourceRoot+=/orphans-deriving-via; echo source root reset to \$sourceRoot"; 57 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/ouroboros-consensus-protocol.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { asserts = false; }; 12 | package = { 13 | specVersion = "3.0"; 14 | identifier = { 15 | name = "ouroboros-consensus-protocol"; 16 | version = "0.1.0.0"; 17 | }; 18 | license = "NONE"; 19 | copyright = ""; 20 | maintainer = "nick@topos.org.uk"; 21 | author = "IOHK Formal methods team"; 22 | homepage = ""; 23 | url = ""; 24 | synopsis = "Cardano consensus protocols."; 25 | description = ""; 26 | buildType = "Simple"; 27 | isLocal = true; 28 | detailLevel = "FullDetails"; 29 | licenseFiles = []; 30 | dataDir = "."; 31 | dataFiles = []; 32 | extraSrcFiles = []; 33 | extraTmpFiles = []; 34 | extraDocFiles = []; 35 | }; 36 | components = { 37 | "library" = { 38 | depends = [ 39 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 40 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 41 | (hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class")) 42 | (hsPkgs."cardano-ledger-core" or (errorHandler.buildDepError "cardano-ledger-core")) 43 | (hsPkgs."cardano-ledger-shelley" or (errorHandler.buildDepError "cardano-ledger-shelley")) 44 | (hsPkgs."cardano-protocol-tpraos" or (errorHandler.buildDepError "cardano-protocol-tpraos")) 45 | (hsPkgs."cardano-slotting" or (errorHandler.buildDepError "cardano-slotting")) 46 | (hsPkgs."cborg" or (errorHandler.buildDepError "cborg")) 47 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 48 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 49 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 50 | (hsPkgs."ouroboros-consensus" or (errorHandler.buildDepError "ouroboros-consensus")) 51 | (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) 52 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 53 | ]; 54 | buildable = true; 55 | modules = [ 56 | "Ouroboros/Consensus/Protocol/Ledger/HotKey" 57 | "Ouroboros/Consensus/Protocol/Ledger/Util" 58 | "Ouroboros/Consensus/Protocol/TPraos" 59 | ]; 60 | hsSourceDirs = [ "src" ]; 61 | }; 62 | }; 63 | } // { 64 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 65 | url = "10"; 66 | rev = "minimal"; 67 | sha256 = ""; 68 | }) // { 69 | url = "10"; 70 | rev = "minimal"; 71 | sha256 = ""; 72 | }; 73 | postUnpack = "sourceRoot+=/ouroboros-consensus-protocol; echo source root reset to \$sourceRoot"; 74 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/ouroboros-consensus-shelley.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { asserts = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { 15 | name = "ouroboros-consensus-shelley"; 16 | version = "0.1.0.0"; 17 | }; 18 | license = "Apache-2.0"; 19 | copyright = "2019 Input Output (Hong Kong) Ltd."; 20 | maintainer = "operations@iohk.io"; 21 | author = "IOHK Engineering Team"; 22 | homepage = ""; 23 | url = ""; 24 | synopsis = "Shelley ledger integration in the Ouroboros consensus layer"; 25 | description = ""; 26 | buildType = "Simple"; 27 | isLocal = true; 28 | detailLevel = "FullDetails"; 29 | licenseFiles = [ "LICENSE" "NOTICE" ]; 30 | dataDir = "."; 31 | dataFiles = []; 32 | extraSrcFiles = []; 33 | extraTmpFiles = []; 34 | extraDocFiles = []; 35 | }; 36 | components = { 37 | "library" = { 38 | depends = [ 39 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 40 | (hsPkgs."base-deriving-via" or (errorHandler.buildDepError "base-deriving-via")) 41 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 42 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 43 | (hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class")) 44 | (hsPkgs."cardano-ledger-core" or (errorHandler.buildDepError "cardano-ledger-core")) 45 | (hsPkgs."cardano-protocol-tpraos" or (errorHandler.buildDepError "cardano-protocol-tpraos")) 46 | (hsPkgs."cardano-prelude" or (errorHandler.buildDepError "cardano-prelude")) 47 | (hsPkgs."cardano-slotting" or (errorHandler.buildDepError "cardano-slotting")) 48 | (hsPkgs."cborg" or (errorHandler.buildDepError "cborg")) 49 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 50 | (hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class")) 51 | (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) 52 | (hsPkgs."measures" or (errorHandler.buildDepError "measures")) 53 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 54 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 55 | (hsPkgs."orphans-deriving-via" or (errorHandler.buildDepError "orphans-deriving-via")) 56 | (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) 57 | (hsPkgs."strict-containers" or (errorHandler.buildDepError "strict-containers")) 58 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 59 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) 60 | (hsPkgs."cardano-ledger-alonzo" or (errorHandler.buildDepError "cardano-ledger-alonzo")) 61 | (hsPkgs."cardano-ledger-shelley" or (errorHandler.buildDepError "cardano-ledger-shelley")) 62 | (hsPkgs."cardano-ledger-shelley-ma" or (errorHandler.buildDepError "cardano-ledger-shelley-ma")) 63 | (hsPkgs."small-steps" or (errorHandler.buildDepError "small-steps")) 64 | (hsPkgs."ouroboros-network" or (errorHandler.buildDepError "ouroboros-network")) 65 | (hsPkgs."ouroboros-consensus" or (errorHandler.buildDepError "ouroboros-consensus")) 66 | (hsPkgs."ouroboros-consensus-protocol" or (errorHandler.buildDepError "ouroboros-consensus-protocol")) 67 | ]; 68 | buildable = true; 69 | modules = [ 70 | "Ouroboros/Consensus/Shelley/Eras" 71 | "Ouroboros/Consensus/Shelley/Ledger" 72 | "Ouroboros/Consensus/Shelley/Ledger/Block" 73 | "Ouroboros/Consensus/Shelley/Ledger/Config" 74 | "Ouroboros/Consensus/Shelley/Ledger/Forge" 75 | "Ouroboros/Consensus/Shelley/Ledger/Inspect" 76 | "Ouroboros/Consensus/Shelley/Ledger/Integrity" 77 | "Ouroboros/Consensus/Shelley/Ledger/Ledger" 78 | "Ouroboros/Consensus/Shelley/Ledger/Mempool" 79 | "Ouroboros/Consensus/Shelley/Ledger/NetworkProtocolVersion" 80 | "Ouroboros/Consensus/Shelley/Ledger/Query" 81 | "Ouroboros/Consensus/Shelley/Ledger/PeerSelection" 82 | "Ouroboros/Consensus/Shelley/Ledger/TPraos" 83 | "Ouroboros/Consensus/Shelley/Node" 84 | "Ouroboros/Consensus/Shelley/Node/Serialisation" 85 | "Ouroboros/Consensus/Shelley/ShelleyBased" 86 | "Ouroboros/Consensus/Shelley/ShelleyHFC" 87 | ]; 88 | hsSourceDirs = [ "src" ]; 89 | }; 90 | }; 91 | } // { 92 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 93 | url = "10"; 94 | rev = "minimal"; 95 | sha256 = ""; 96 | }) // { 97 | url = "10"; 98 | rev = "minimal"; 99 | sha256 = ""; 100 | }; 101 | postUnpack = "sourceRoot+=/ouroboros-consensus-shelley; echo source root reset to \$sourceRoot"; 102 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/ouroboros-network-testing.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "ouroboros-network-testing"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019 Input Output (Hong Kong) Ltd."; 17 | maintainer = ""; 18 | author = "Alexander Vieth, Marcin Szamotulski, Duncan Coutts, Karl Knuttson"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Common modules used for testing in ouroboros-network and ouroboros-consensus"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "ChangeLog.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 38 | (hsPkgs."contra-tracer" or (errorHandler.buildDepError "contra-tracer")) 39 | (hsPkgs."deque" or (errorHandler.buildDepError "deque")) 40 | (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) 41 | (hsPkgs."io-sim" or (errorHandler.buildDepError "io-sim")) 42 | (hsPkgs."psqueues" or (errorHandler.buildDepError "psqueues")) 43 | (hsPkgs."cborg" or (errorHandler.buildDepError "cborg")) 44 | (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) 45 | (hsPkgs."network-mux" or (errorHandler.buildDepError "network-mux")) 46 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 47 | ]; 48 | buildable = true; 49 | modules = [ 50 | "Ouroboros/Network/Testing/Serialise" 51 | "Ouroboros/Network/Testing/QuickCheck" 52 | "Ouroboros/Network/Testing/Utils" 53 | "Ouroboros/Network/Testing/Data/Signal" 54 | "Ouroboros/Network/Testing/Data/Script" 55 | "Ouroboros/Network/Testing/Data/AbsBearerInfo" 56 | ]; 57 | hsSourceDirs = [ "src" ]; 58 | }; 59 | tests = { 60 | "test" = { 61 | depends = [ 62 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 63 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 64 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 65 | (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) 66 | (hsPkgs."ouroboros-network-testing" or (errorHandler.buildDepError "ouroboros-network-testing")) 67 | ]; 68 | buildable = true; 69 | modules = [ "Test/Ouroboros/Network/Testing/Data/AbsBearerInfo" ]; 70 | hsSourceDirs = [ "test" ]; 71 | mainPath = [ "Main.hs" ]; 72 | }; 73 | }; 74 | }; 75 | } // { 76 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 77 | url = "10"; 78 | rev = "minimal"; 79 | sha256 = ""; 80 | }) // { 81 | url = "10"; 82 | rev = "minimal"; 83 | sha256 = ""; 84 | }; 85 | postUnpack = "sourceRoot+=/ouroboros-network-testing; echo source root reset to \$sourceRoot"; 86 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/plutus-ghc-stub.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "plutus-ghc-stub"; version = "8.6.5"; }; 15 | license = "BSD-3-Clause"; 16 | copyright = ""; 17 | maintainer = "glasgow-haskell-users@haskell.org"; 18 | author = "The GHC Team"; 19 | homepage = "http://www.haskell.org/ghc/"; 20 | url = ""; 21 | synopsis = "The GHC API"; 22 | description = "Stub functionality for the Plutus plugin, for cross compilers that\ndon't have a GHC library installed, like GHCJS\nThis should contain all the types and functions that the Plutus\ncompiler uses.\nFor technical reasons (Cabal), we need to be able to compile the plutus-tx\ncompiler for the host platform, even if we are going to load the plugin\nfrom the build platform libraries."; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."ghc-boot" or (errorHandler.buildDepError "ghc-boot")) 38 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 39 | (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) 40 | ]; 41 | buildable = true; 42 | modules = [ 43 | "StubTypes" 44 | "Plugins" 45 | "GhcPlugins" 46 | "FamInstEnv" 47 | "Panic" 48 | "LoadIface" 49 | "Finder" 50 | "OccName" 51 | "TcRnTypes" 52 | "CoreSyn" 53 | "Kind" 54 | "TysPrim" 55 | "PrimOp" 56 | "Class" 57 | "FV" 58 | "MkId" 59 | "PrelNames" 60 | "TcRnMonad" 61 | ]; 62 | hsSourceDirs = [ "src" ]; 63 | }; 64 | }; 65 | } // { 66 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 67 | url = "11"; 68 | rev = "minimal"; 69 | sha256 = ""; 70 | }) // { 71 | url = "11"; 72 | rev = "minimal"; 73 | sha256 = ""; 74 | }; 75 | postUnpack = "sourceRoot+=/stubs/plutus-ghc-stub; echo source root reset to \$sourceRoot"; 76 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/prettyprinter-configurable.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.4"; 14 | identifier = { 15 | name = "prettyprinter-configurable"; 16 | version = "0.1.0.0"; 17 | }; 18 | license = "NONE"; 19 | copyright = ""; 20 | maintainer = "plutus@iohk.io"; 21 | author = "David Luposchainsky, effectfully"; 22 | homepage = ""; 23 | url = ""; 24 | synopsis = ""; 25 | description = ""; 26 | buildType = "Custom"; 27 | isLocal = true; 28 | setup-depends = [ 29 | (hsPkgs.buildPackages.base or (pkgs.buildPackages.base or (errorHandler.setupDepError "base"))) 30 | (hsPkgs.buildPackages.Cabal or (pkgs.buildPackages.Cabal or (errorHandler.setupDepError "Cabal"))) 31 | (hsPkgs.buildPackages.cabal-doctest or (pkgs.buildPackages.cabal-doctest or (errorHandler.setupDepError "cabal-doctest"))) 32 | ]; 33 | detailLevel = "FullDetails"; 34 | licenseFiles = [ "LICENSE" "NOTICE" ]; 35 | dataDir = "."; 36 | dataFiles = []; 37 | extraSrcFiles = [ "README.md" ]; 38 | extraTmpFiles = []; 39 | extraDocFiles = []; 40 | }; 41 | components = { 42 | "library" = { 43 | depends = [ 44 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 45 | (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) 46 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 47 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 48 | (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) 49 | ]; 50 | buildable = true; 51 | modules = [ 52 | "Text/Fixity" 53 | "Text/Fixity/Internal" 54 | "Text/Pretty" 55 | "Text/PrettyBy" 56 | "Text/PrettyBy/Default" 57 | "Text/PrettyBy/Fixity" 58 | "Text/PrettyBy/Internal" 59 | "Text/PrettyBy/Internal/Utils" 60 | "Text/PrettyBy/Monad" 61 | ]; 62 | hsSourceDirs = [ "src" ]; 63 | }; 64 | tests = { 65 | "prettyprinter-configurable-test" = { 66 | depends = [ 67 | (hsPkgs."prettyprinter-configurable" or (errorHandler.buildDepError "prettyprinter-configurable")) 68 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 69 | (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) 70 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 71 | (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) 72 | (hsPkgs."parser-combinators" or (errorHandler.buildDepError "parser-combinators")) 73 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 74 | (hsPkgs."quickcheck-text" or (errorHandler.buildDepError "quickcheck-text")) 75 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 76 | (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) 77 | (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) 78 | ]; 79 | buildable = true; 80 | modules = [ "Default" "NonDefault" "Universal" "Expr" ]; 81 | hsSourceDirs = [ "test" ]; 82 | mainPath = [ "Main.hs" ]; 83 | }; 84 | "prettyprinter-configurable-doctest" = { 85 | depends = [ 86 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 87 | (hsPkgs."doctest" or (errorHandler.buildDepError "doctest")) 88 | ]; 89 | buildable = true; 90 | hsSourceDirs = [ "doctest" ]; 91 | mainPath = [ "Main.hs" ]; 92 | }; 93 | }; 94 | }; 95 | } // { 96 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 97 | url = "11"; 98 | rev = "minimal"; 99 | sha256 = ""; 100 | }) // { 101 | url = "11"; 102 | rev = "minimal"; 103 | sha256 = ""; 104 | }; 105 | postUnpack = "sourceRoot+=/prettyprinter-configurable; echo source root reset to \$sourceRoot"; 106 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/set-algebra.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "set-algebra"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = ""; 17 | maintainer = "formal.methods@iohk.io"; 18 | author = "IOHK Formal Methods Team"; 19 | homepage = "https://github.com/input-output-hk/cardano-legder-specs"; 20 | url = ""; 21 | synopsis = "Set Algebra"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "CHANGELOG.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."ansi-wl-pprint" or (errorHandler.buildDepError "ansi-wl-pprint")) 38 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 39 | (hsPkgs."cardano-data" or (errorHandler.buildDepError "cardano-data")) 40 | (hsPkgs."cardano-ledger-core" or (errorHandler.buildDepError "cardano-ledger-core")) 41 | (hsPkgs."compact-map" or (errorHandler.buildDepError "compact-map")) 42 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 43 | ]; 44 | buildable = true; 45 | modules = [ 46 | "Control/Iterate/BaseTypes" 47 | "Control/Iterate/Collect" 48 | "Control/Iterate/Exp" 49 | "Control/Iterate/SetAlgebra" 50 | "Control/SetAlgebra" 51 | ]; 52 | hsSourceDirs = [ "src" ]; 53 | }; 54 | }; 55 | } // { 56 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 57 | url = "5"; 58 | rev = "minimal"; 59 | sha256 = ""; 60 | }) // { 61 | url = "5"; 62 | rev = "minimal"; 63 | sha256 = ""; 64 | }; 65 | postUnpack = "sourceRoot+=/libs/set-algebra; echo source root reset to \$sourceRoot"; 66 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/small-steps-test.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "small-steps-test"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = ""; 17 | maintainer = "formal.methods@iohk.io"; 18 | author = "IOHK Formal Methods Team"; 19 | homepage = "https://github.com/input-output-hk/cardano-legder-specs"; 20 | url = ""; 21 | synopsis = "Small step semantics testing library"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."goblins" or (errorHandler.buildDepError "goblins")) 38 | (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) 39 | (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) 40 | (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) 41 | (hsPkgs."microlens-th" or (errorHandler.buildDepError "microlens-th")) 42 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 43 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 44 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) 45 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 46 | (hsPkgs."small-steps" or (errorHandler.buildDepError "small-steps")) 47 | (hsPkgs."strict-containers" or (errorHandler.buildDepError "strict-containers")) 48 | ]; 49 | buildable = true; 50 | modules = [ 51 | "Control/State/Transition/Invalid/Trace" 52 | "Control/State/Transition/Generator" 53 | "Control/State/Transition/Trace" 54 | "Control/State/Transition/Trace/Generator/QuickCheck" 55 | "Hedgehog/Extra/Manual" 56 | ]; 57 | hsSourceDirs = [ "src" ]; 58 | }; 59 | tests = { 60 | "examples" = { 61 | depends = [ 62 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 63 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 64 | (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) 65 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 66 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 67 | (hsPkgs."tasty-hedgehog" or (errorHandler.buildDepError "tasty-hedgehog")) 68 | (hsPkgs."tasty-expected-failure" or (errorHandler.buildDepError "tasty-expected-failure")) 69 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 70 | (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) 71 | (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) 72 | (hsPkgs."Unique" or (errorHandler.buildDepError "Unique")) 73 | (hsPkgs."cardano-crypto-class" or (errorHandler.buildDepError "cardano-crypto-class")) 74 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 75 | (hsPkgs."small-steps" or (errorHandler.buildDepError "small-steps")) 76 | (hsPkgs."small-steps-test" or (errorHandler.buildDepError "small-steps-test")) 77 | ]; 78 | buildable = true; 79 | modules = [ 80 | "Control/State/Transition/Examples/Sum" 81 | "Control/State/Transition/Examples/GlobalSum" 82 | "Control/State/Transition/Examples/CommitReveal" 83 | ]; 84 | hsSourceDirs = [ "test" ]; 85 | mainPath = [ "examples/Main.hs" ]; 86 | }; 87 | }; 88 | }; 89 | } // { 90 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 91 | url = "5"; 92 | rev = "minimal"; 93 | sha256 = ""; 94 | }) // { 95 | url = "5"; 96 | rev = "minimal"; 97 | sha256 = ""; 98 | }; 99 | postUnpack = "sourceRoot+=/libs/small-steps-test; echo source root reset to \$sourceRoot"; 100 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/small-steps.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { sts_assert = false; }; 12 | package = { 13 | specVersion = "2.2"; 14 | identifier = { name = "small-steps"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = ""; 17 | maintainer = "formal.methods@iohk.io"; 18 | author = "IOHK Formal Methods Team"; 19 | homepage = "https://github.com/input-output-hk/cardano-legder-specs"; 20 | url = ""; 21 | synopsis = "Small step semantics"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "CHANGELOG.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 38 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 39 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 40 | (hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class")) 41 | (hsPkgs."free" or (errorHandler.buildDepError "free")) 42 | (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) 43 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 44 | (hsPkgs."strict-containers" or (errorHandler.buildDepError "strict-containers")) 45 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 46 | (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) 47 | ]; 48 | buildable = true; 49 | modules = [ 50 | "Control/State/Transition" 51 | "Control/State/Transition/Extended" 52 | "Control/State/Transition/Simple" 53 | "Control/Provenance" 54 | ]; 55 | hsSourceDirs = [ "src" ]; 56 | }; 57 | }; 58 | } // { 59 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 60 | url = "5"; 61 | rev = "minimal"; 62 | sha256 = ""; 63 | }) // { 64 | url = "5"; 65 | rev = "minimal"; 66 | sha256 = ""; 67 | }; 68 | postUnpack = "sourceRoot+=/libs/small-steps; echo source root reset to \$sourceRoot"; 69 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/strict-containers.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { development = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "strict-containers"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Various strict container types"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) 37 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 38 | (hsPkgs."cardano-binary" or (errorHandler.buildDepError "cardano-binary")) 39 | (hsPkgs."cborg" or (errorHandler.buildDepError "cborg")) 40 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 41 | (hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class")) 42 | (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) 43 | (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) 44 | (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) 45 | (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) 46 | ]; 47 | buildable = true; 48 | modules = [ 49 | "Data/FingerTree/Strict" 50 | "Data/Maybe/Strict" 51 | "Data/Sequence/Strict" 52 | "Data/Unit/Strict" 53 | ]; 54 | hsSourceDirs = [ "src" ]; 55 | }; 56 | }; 57 | } // { 58 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 59 | url = "3"; 60 | rev = "minimal"; 61 | sha256 = ""; 62 | }) // { 63 | url = "3"; 64 | rev = "minimal"; 65 | sha256 = ""; 66 | }; 67 | postUnpack = "sourceRoot+=/strict-containers; echo source root reset to \$sourceRoot"; 68 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/strict-non-empty-containers.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { release = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { 15 | name = "strict-non-empty-containers"; 16 | version = "2020.12.8"; 17 | }; 18 | license = "Apache-2.0"; 19 | copyright = "2018-2020 IOHK"; 20 | maintainer = "operations@iohk.io"; 21 | author = "IOHK Engineering Team"; 22 | homepage = "https://github.com/input-output-hk/cardano-wallet"; 23 | url = ""; 24 | synopsis = "Strict non-empty container types"; 25 | description = ""; 26 | buildType = "Simple"; 27 | isLocal = true; 28 | detailLevel = "FullDetails"; 29 | licenseFiles = []; 30 | dataDir = "."; 31 | dataFiles = []; 32 | extraSrcFiles = []; 33 | extraTmpFiles = []; 34 | extraDocFiles = []; 35 | }; 36 | components = { 37 | "library" = { 38 | depends = [ 39 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 40 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 41 | (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) 42 | (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) 43 | ]; 44 | buildable = true; 45 | modules = [ 46 | "Data/Map/Strict/NonEmptyMap" 47 | "Data/Map/Strict/NonEmptyMap/Internal" 48 | "Data/Set/Strict/NonEmptySet" 49 | ]; 50 | hsSourceDirs = [ "src" ]; 51 | }; 52 | tests = { 53 | "unit" = { 54 | depends = [ 55 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 56 | (hsPkgs."cardano-wallet-test-utils" or (errorHandler.buildDepError "cardano-wallet-test-utils")) 57 | (hsPkgs."containers" or (errorHandler.buildDepError "containers")) 58 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) 59 | (hsPkgs."hspec-core" or (errorHandler.buildDepError "hspec-core")) 60 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 61 | (hsPkgs."quickcheck-classes" or (errorHandler.buildDepError "quickcheck-classes")) 62 | (hsPkgs."should-not-typecheck" or (errorHandler.buildDepError "should-not-typecheck")) 63 | (hsPkgs."strict-non-empty-containers" or (errorHandler.buildDepError "strict-non-empty-containers")) 64 | ]; 65 | build-tools = [ 66 | (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) 67 | ]; 68 | buildable = true; 69 | modules = [ 70 | "Data/Map/Strict/NonEmptyMapSpec" 71 | "Data/Map/Strict/NonEmptyMap/TypeErrorSpec" 72 | ]; 73 | hsSourceDirs = [ "test/unit" ]; 74 | mainPath = [ "Main.hs" ]; 75 | }; 76 | }; 77 | }; 78 | } // { 79 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 80 | url = "13"; 81 | rev = "minimal"; 82 | sha256 = ""; 83 | }) // { 84 | url = "13"; 85 | rev = "minimal"; 86 | sha256 = ""; 87 | }; 88 | postUnpack = "sourceRoot+=/lib/strict-non-empty-containers; echo source root reset to \$sourceRoot"; 89 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/strict-stm.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { checktvarinvariant = false; asserts = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "strict-stm"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019-2021 Input Output (Hong Kong) Ltd."; 17 | maintainer = ""; 18 | author = "Alexander Vieth, Marcin Szamotulski, Duncan Coutts"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Strict STM interface polymorphic over stm implementation."; 22 | description = "The `strict-stm` package gives a strict interface to stm,\ncurrently either one provided by `stm` package for the\n`IO` monad or `io-sim` package for the `IOSim` monad."; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."stm" or (errorHandler.buildDepError "stm")) 38 | (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) 39 | ]; 40 | buildable = true; 41 | modules = [ "Control/Monad/Class/MonadSTM/Strict" ]; 42 | hsSourceDirs = [ "src" ]; 43 | }; 44 | }; 45 | } // { 46 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 47 | url = "10"; 48 | rev = "minimal"; 49 | sha256 = ""; 50 | }) // { 51 | url = "10"; 52 | rev = "minimal"; 53 | sha256 = ""; 54 | }; 55 | postUnpack = "sourceRoot+=/strict-stm; echo source root reset to \$sourceRoot"; 56 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/test-mint-scripts.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.4"; 14 | identifier = { name = "test-mint-scripts"; version = "1.0.0"; }; 15 | license = "NONE"; 16 | copyright = ""; 17 | maintainer = "jonathan@canonicalllc.com"; 18 | author = "Jonathan Fischoff"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = ""; 22 | description = "Simple mint scripts for testing."; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "README.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 38 | (hsPkgs."cardano-api" or (errorHandler.buildDepError "cardano-api")) 39 | (hsPkgs."plutus-core" or (errorHandler.buildDepError "plutus-core")) 40 | (hsPkgs."plutus-ledger" or (errorHandler.buildDepError "plutus-ledger")) 41 | (hsPkgs."plutus-ledger-api" or (errorHandler.buildDepError "plutus-ledger-api")) 42 | (hsPkgs."plutus-tx" or (errorHandler.buildDepError "plutus-tx")) 43 | (hsPkgs."plutus-tx-plugin" or (errorHandler.buildDepError "plutus-tx-plugin")) 44 | (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) 45 | ]; 46 | buildable = true; 47 | modules = [ "Canonical/TestMinting" ]; 48 | hsSourceDirs = [ "src" ]; 49 | }; 50 | exes = { 51 | "create-smart-contract" = { 52 | depends = [ 53 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 54 | (hsPkgs."cardano-api" or (errorHandler.buildDepError "cardano-api")) 55 | (hsPkgs."test-mint-scripts" or (errorHandler.buildDepError "test-mint-scripts")) 56 | ]; 57 | buildable = true; 58 | hsSourceDirs = [ "app" ]; 59 | mainPath = [ "Main.hs" ]; 60 | }; 61 | }; 62 | }; 63 | } // { 64 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 65 | url = "18"; 66 | rev = "minimal"; 67 | sha256 = ""; 68 | }) // { 69 | url = "18"; 70 | rev = "minimal"; 71 | sha256 = ""; 72 | }; 73 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/text-class.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = { release = false; }; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "text-class"; version = "2022.1.18"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2018-2020 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "IOHK Engineering Team"; 19 | homepage = "https://github.com/input-output-hk/cardano-wallet"; 20 | url = ""; 21 | synopsis = "Extra helpers to convert data-types to and from Text"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = []; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."casing" or (errorHandler.buildDepError "casing")) 38 | (hsPkgs."extra" or (errorHandler.buildDepError "extra")) 39 | (hsPkgs."formatting" or (errorHandler.buildDepError "formatting")) 40 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 41 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 42 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) 43 | (hsPkgs."OddWord" or (errorHandler.buildDepError "OddWord")) 44 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 45 | ]; 46 | buildable = true; 47 | modules = [ "Data/Text/Class" "Test/Text/Roundtrip" ]; 48 | hsSourceDirs = [ "src" ]; 49 | }; 50 | tests = { 51 | "unit" = { 52 | depends = [ 53 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 54 | (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) 55 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 56 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 57 | (hsPkgs."text-class" or (errorHandler.buildDepError "text-class")) 58 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 59 | ]; 60 | build-tools = [ 61 | (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) 62 | ]; 63 | buildable = true; 64 | modules = [ "Data/Text/ClassSpec" ]; 65 | hsSourceDirs = [ "test/unit" ]; 66 | mainPath = [ "text-class-unit-test.hs" ]; 67 | }; 68 | }; 69 | }; 70 | } // { 71 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 72 | url = "13"; 73 | rev = "minimal"; 74 | sha256 = ""; 75 | }) // { 76 | url = "13"; 77 | rev = "minimal"; 78 | sha256 = ""; 79 | }; 80 | postUnpack = "sourceRoot+=/lib/text-class; echo source root reset to \$sourceRoot"; 81 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/tracer-transformers.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "tracer-transformers"; version = "0.1.0.1"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019 IOHK"; 17 | maintainer = "operations@iohk.io"; 18 | author = "Neil Davies, Alexander Diemand, Andreas Triantafyllos"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "tracer transformers and examples showing their use"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."contra-tracer" or (errorHandler.buildDepError "contra-tracer")) 38 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 39 | (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) 40 | ] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "8.5") (hsPkgs."contravariant" or (errorHandler.buildDepError "contravariant")); 41 | buildable = true; 42 | modules = [ 43 | "Control/Tracer/Transformers" 44 | "Control/Tracer/Transformers/ObserveOutcome" 45 | "Control/Tracer/Transformers/WithThreadAndTime" 46 | ]; 47 | hsSourceDirs = [ "src" ]; 48 | }; 49 | exes = { 50 | "tracer-transfomers-example1" = { 51 | depends = [ 52 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 53 | (hsPkgs."contra-tracer" or (errorHandler.buildDepError "contra-tracer")) 54 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 55 | (hsPkgs."tracer-transformers" or (errorHandler.buildDepError "tracer-transformers")) 56 | ]; 57 | buildable = true; 58 | hsSourceDirs = [ "example1" ]; 59 | mainPath = [ "Main.hs" ]; 60 | }; 61 | "tracer-transfomers-example2" = { 62 | depends = [ 63 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 64 | (hsPkgs."contra-tracer" or (errorHandler.buildDepError "contra-tracer")) 65 | (hsPkgs."text" or (errorHandler.buildDepError "text")) 66 | (hsPkgs."tracer-transformers" or (errorHandler.buildDepError "tracer-transformers")) 67 | ]; 68 | buildable = true; 69 | hsSourceDirs = [ "example2" ]; 70 | mainPath = [ "Main.hs" ]; 71 | }; 72 | }; 73 | }; 74 | } // { 75 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 76 | url = "8"; 77 | rev = "minimal"; 78 | sha256 = ""; 79 | }) // { 80 | url = "8"; 81 | rev = "minimal"; 82 | sha256 = ""; 83 | }; 84 | postUnpack = "sourceRoot+=/tracer-transformers; echo source root reset to \$sourceRoot"; 85 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/typed-protocols-cborg.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "typed-protocols-cborg"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019-2021 Input Output (Hong Kong) Ltd."; 17 | maintainer = "alex@well-typed.com, duncan@well-typed.com, marcin.szamotulski@iohk.io"; 18 | author = "Alexander Vieth, Duncan Coutts, Marcin Szamotulski"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "CBOR codecs for typed-protocols"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = [ "ChangeLog.md" "README.md" ]; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 38 | (hsPkgs."cborg" or (errorHandler.buildDepError "cborg")) 39 | (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) 40 | (hsPkgs."typed-protocols" or (errorHandler.buildDepError "typed-protocols")) 41 | ]; 42 | buildable = true; 43 | modules = [ "Network/TypedProtocol/Codec/CBOR" ]; 44 | hsSourceDirs = [ "src" ]; 45 | }; 46 | }; 47 | } // { 48 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 49 | url = "10"; 50 | rev = "minimal"; 51 | sha256 = ""; 52 | }) // { 53 | url = "10"; 54 | rev = "minimal"; 55 | sha256 = ""; 56 | }; 57 | postUnpack = "sourceRoot+=/typed-protocols-cborg; echo source root reset to \$sourceRoot"; 58 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/typed-protocols-examples.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "typed-protocols-examples"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019 Input Output (Hong Kong) Ltd."; 17 | maintainer = "alex@well-typed.com, duncan@well-typed.com, marcin.szamotulski@iohk.io"; 18 | author = "Alexander Vieth, Duncan Coutts, Marcin Szamotulski"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "Examples and tests for the typed-protocols framework"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 38 | (hsPkgs."cborg" or (errorHandler.buildDepError "cborg")) 39 | (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) 40 | (hsPkgs."contra-tracer" or (errorHandler.buildDepError "contra-tracer")) 41 | (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) 42 | (hsPkgs."time" or (errorHandler.buildDepError "time")) 43 | (hsPkgs."typed-protocols" or (errorHandler.buildDepError "typed-protocols")) 44 | (hsPkgs."typed-protocols-cborg" or (errorHandler.buildDepError "typed-protocols-cborg")) 45 | ]; 46 | buildable = true; 47 | modules = [ 48 | "Network/TypedProtocol/Channel" 49 | "Network/TypedProtocol/Driver/Simple" 50 | "Network/TypedProtocol/PingPong/Type" 51 | "Network/TypedProtocol/PingPong/Client" 52 | "Network/TypedProtocol/PingPong/Server" 53 | "Network/TypedProtocol/PingPong/Codec" 54 | "Network/TypedProtocol/PingPong/Codec/CBOR" 55 | "Network/TypedProtocol/PingPong/Examples" 56 | "Network/TypedProtocol/ReqResp/Type" 57 | "Network/TypedProtocol/ReqResp/Client" 58 | "Network/TypedProtocol/ReqResp/Server" 59 | "Network/TypedProtocol/ReqResp/Codec" 60 | "Network/TypedProtocol/ReqResp/Codec/CBOR" 61 | "Network/TypedProtocol/ReqResp/Examples" 62 | ]; 63 | hsSourceDirs = [ "src" ]; 64 | }; 65 | tests = { 66 | "test" = { 67 | depends = [ 68 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 69 | (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) 70 | (hsPkgs."contra-tracer" or (errorHandler.buildDepError "contra-tracer")) 71 | (hsPkgs."typed-protocols" or (errorHandler.buildDepError "typed-protocols")) 72 | (hsPkgs."typed-protocols-cborg" or (errorHandler.buildDepError "typed-protocols-cborg")) 73 | (hsPkgs."typed-protocols-examples" or (errorHandler.buildDepError "typed-protocols-examples")) 74 | (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) 75 | (hsPkgs."io-sim" or (errorHandler.buildDepError "io-sim")) 76 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 77 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 78 | (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) 79 | ]; 80 | buildable = true; 81 | modules = [ 82 | "Network/TypedProtocol/PingPong/Tests" 83 | "Network/TypedProtocol/ReqResp/Tests" 84 | ]; 85 | hsSourceDirs = [ "test" ]; 86 | mainPath = [ "Main.hs" ]; 87 | }; 88 | }; 89 | }; 90 | } // { 91 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 92 | url = "10"; 93 | rev = "minimal"; 94 | sha256 = ""; 95 | }) // { 96 | url = "10"; 97 | rev = "minimal"; 98 | sha256 = ""; 99 | }; 100 | postUnpack = "sourceRoot+=/typed-protocols-examples; echo source root reset to \$sourceRoot"; 101 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/typed-protocols.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "1.10"; 14 | identifier = { name = "typed-protocols"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = "2019 Input Output (Hong Kong) Ltd."; 17 | maintainer = "alex@well-typed.com, duncan@well-typed.com, marcin.szamotulski@iohk.io"; 18 | author = "Alexander Vieth, Duncan Coutts, Marcin Szamotulski"; 19 | homepage = ""; 20 | url = ""; 21 | synopsis = "A framework for strongly typed protocols"; 22 | description = ""; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" "NOTICE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) 38 | ]; 39 | buildable = true; 40 | modules = [ 41 | "Network/TypedProtocol" 42 | "Network/TypedProtocol/Core" 43 | "Network/TypedProtocol/Codec" 44 | "Network/TypedProtocol/Pipelined" 45 | "Network/TypedProtocol/Driver" 46 | "Network/TypedProtocol/Proofs" 47 | ]; 48 | hsSourceDirs = [ "src" ]; 49 | }; 50 | }; 51 | } // { 52 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 53 | url = "10"; 54 | rev = "minimal"; 55 | sha256 = ""; 56 | }) // { 57 | url = "10"; 58 | rev = "minimal"; 59 | sha256 = ""; 60 | }; 61 | postUnpack = "sourceRoot+=/typed-protocols; echo source root reset to \$sourceRoot"; 62 | } -------------------------------------------------------------------------------- /nix/haskell/materialized/.plan.nix/word-array.nix: -------------------------------------------------------------------------------- 1 | { system 2 | , compiler 3 | , flags 4 | , pkgs 5 | , hsPkgs 6 | , pkgconfPkgs 7 | , errorHandler 8 | , config 9 | , ... }: 10 | { 11 | flags = {}; 12 | package = { 13 | specVersion = "2.4"; 14 | identifier = { name = "word-array"; version = "0.1.0.0"; }; 15 | license = "Apache-2.0"; 16 | copyright = ""; 17 | maintainer = "michael.peyton-jones@iohk.io"; 18 | author = "Zachary Churchill, Michael Peyton Jones"; 19 | homepage = "https://github.com/plutus"; 20 | url = ""; 21 | synopsis = ""; 22 | description = "Treat integral types as arrays of smaller integral types"; 23 | buildType = "Simple"; 24 | isLocal = true; 25 | detailLevel = "FullDetails"; 26 | licenseFiles = [ "LICENSE" ]; 27 | dataDir = "."; 28 | dataFiles = []; 29 | extraSrcFiles = []; 30 | extraTmpFiles = []; 31 | extraDocFiles = []; 32 | }; 33 | components = { 34 | "library" = { 35 | depends = [ 36 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 37 | (hsPkgs."mono-traversable" or (errorHandler.buildDepError "mono-traversable")) 38 | (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) 39 | (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) 40 | ]; 41 | buildable = true; 42 | modules = [ "Data/Word64Array/Word8" ]; 43 | hsSourceDirs = [ "src" ]; 44 | }; 45 | tests = { 46 | "test" = { 47 | depends = [ 48 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 49 | (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) 50 | (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) 51 | (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) 52 | (hsPkgs."vector" or (errorHandler.buildDepError "vector")) 53 | (hsPkgs."word-array" or (errorHandler.buildDepError "word-array")) 54 | (hsPkgs."mono-traversable" or (errorHandler.buildDepError "mono-traversable")) 55 | ]; 56 | buildable = true; 57 | hsSourceDirs = [ "test" ]; 58 | mainPath = [ "Spec.hs" ]; 59 | }; 60 | }; 61 | benchmarks = { 62 | "bench" = { 63 | depends = [ 64 | (hsPkgs."base" or (errorHandler.buildDepError "base")) 65 | (hsPkgs."tasty-bench" or (errorHandler.buildDepError "tasty-bench")) 66 | (hsPkgs."word-array" or (errorHandler.buildDepError "word-array")) 67 | (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) 68 | ]; 69 | buildable = true; 70 | hsSourceDirs = [ "bench" ]; 71 | }; 72 | }; 73 | }; 74 | } // { 75 | src = (pkgs.lib).mkDefault (pkgs.fetchgit { 76 | url = "11"; 77 | rev = "minimal"; 78 | sha256 = ""; 79 | }) // { 80 | url = "11"; 81 | rev = "minimal"; 82 | sha256 = ""; 83 | }; 84 | postUnpack = "sourceRoot+=/word-array; echo source root reset to \$sourceRoot"; 85 | } -------------------------------------------------------------------------------- /nix/haskell/plan-sha256: -------------------------------------------------------------------------------- 1 | 08f9axr3p5x4xx8zxdkbv2rfgzan4csjqf9pqzbjkm9zk1r9va53 2 | -------------------------------------------------------------------------------- /nix/haskell/project.nix: -------------------------------------------------------------------------------- 1 | { haskell-nix 2 | , lib 3 | , libsodium-vrf 4 | , plutus 5 | }: 6 | 7 | haskell-nix.project { 8 | inherit (plutus.plutus-apps.haskell) compiler-nix-name; 9 | 10 | src = haskell-nix.haskellLib.cleanGit { 11 | name = "jpg-store-bulk-purchase-src"; 12 | src = ../..; 13 | }; 14 | 15 | sha256map = import ./sha256map.nix; 16 | 17 | plan-sha256 = builtins.readFile ./plan-sha256; 18 | materialized = ./materialized; 19 | 20 | modules = [ 21 | { 22 | packages = { 23 | # Broken due to haddock errors. Refer to https://github.com/input-output-hk/plutus/blob/master/nix/pkgs/haskell/haskell.nix 24 | plutus-ledger.doHaddock = false; 25 | plutus-use-cases.doHaddock = false; 26 | 27 | # See https://github.com/input-output-hk/iohk-nix/pull/488 28 | cardano-crypto-praos.components.library.pkgconfig = lib.mkForce [ [ libsodium-vrf ] ]; 29 | cardano-crypto-class.components.library.pkgconfig = lib.mkForce [ [ libsodium-vrf ] ]; 30 | }; 31 | } 32 | ]; 33 | } 34 | 35 | -------------------------------------------------------------------------------- /nix/haskell/sha256map.nix: -------------------------------------------------------------------------------- 1 | { 2 | "https://github.com/input-output-hk/cardano-node"."814df2c146f5d56f8c35a681fe75e85b905aed5d" = "1hr00wqzmcyc3x0kp2hyw78rfmimf6z4zd4vv85b9zv3nqbjgrik"; 3 | "https://github.com/input-output-hk/optparse-applicative"."7497a29cb998721a9068d5725d49461f2bba0e7a" = "1gvsrg925vynwgqwplgjmp53vj953qyh3wbdf34pw21c8r47w35r"; 4 | "https://github.com/input-output-hk/hedgehog-extras"."edf6945007177a638fbeb8802397f3a6f4e47c14" = "0wc7qzkc7j4ns2rz562h6qrx2f8xyq7yjcb7zidnj7f6j0pcd0i9"; 5 | "https://github.com/input-output-hk/cardano-base"."41545ba3ac6b3095966316a99883d678b5ab8da8" = "0icq9y3nnl42fz536da84414av36g37894qnyw4rk3qkalksqwir"; 6 | "https://github.com/input-output-hk/cardano-crypto"."f73079303f663e028288f9f4a9e08bcca39a923e" = "1n87i15x54s0cjkh3nsxs4r1x016cdw1fypwmr68936n3xxsjn6q"; 7 | "https://github.com/input-output-hk/cardano-ledger"."1a9ec4ae9e0b09d54e49b2a40c4ead37edadcce5" = "0avzyiqq0m8njd41ck9kpn992yq676b1az9xs77977h7cf85y4wm"; 8 | "https://github.com/input-output-hk/cardano-prelude"."bb4ed71ba8e587f672d06edf9d2e376f4b055555" = "00h10l5mmiza9819p9v5q5749nb9pzgi20vpzpy1d34zmh6gf1cj"; 9 | "https://github.com/input-output-hk/goblins"."cde90a2b27f79187ca8310b6549331e59595e7ba" = "17c88rbva3iw82yg9srlxjv2ia5wjb9cyqw44hik565f5v9svnyg"; 10 | "https://github.com/input-output-hk/iohk-monitoring-framework"."808724ff8a19a33d0ed06f9ef59fbd900b08553c" = "0298dpl29gxzs9as9ha6y0w18hqwc00ipa3hzkxv7nlfrjjz8hmz"; 11 | "https://github.com/input-output-hk/Win32-network"."3825d3abf75f83f406c1f7161883c438dac7277d" = "19wahfv726fa3mqajpqdqhnl9ica3xmf68i254q45iyjcpj1psqx"; 12 | "https://github.com/input-output-hk/ouroboros-network"."d2d219a86cda42787325bb8c20539a75c2667132" = "18xk7r0h2pxrbx76d6flsxifh0a9rz1cj1rjqs1pbs5kdmy8b7kx"; 13 | "https://github.com/input-output-hk/plutus"."cc72a56eafb02333c96f662581b57504f8f8992f" = "1w89ikv3jsg5x9xf7qpcjnix3nf016z0xpf48q5238h4ngvcqp9y"; 14 | "https://github.com/input-output-hk/plutus-apps"."8c8206088fa2b9c587be435b85c060cb5aca4e58" = "1ia8lplaf46946b0jdj5xsxhz40a8pmf3qc67z8ipkjg6n3ifsk3"; 15 | "https://github.com/Canonical-LLC/cardano-wallet"."5e1503ac7ae7e371e4097b8447ff6781e05ca420" = "1ina2ln1iks44rn3lyh4lzi0jwxb3f24by0w2npsa8mzaqd24a1r"; 16 | "https://github.com/input-output-hk/cardano-addresses"."d2f86caa085402a953920c6714a0de6a50b655ec" = "0p6jbnd7ky2yf7bwb1350k8880py8dgqg39k49q02a6ij4ld01ay"; 17 | "https://github.com/input-output-hk/ekg-forward"."d9e8fd302fa6ba41c07183d371e6777286d37bc2" = "0s8cblhq3i528jj7r7yd4v82nqzafj8vrgf0y80l7saxc3a5f2lk"; 18 | "https://github.com/input-output-hk/flat"."ee59880f47ab835dbd73bea0847dab7869fc20d8" = "1lrzknw765pz2j97nvv9ip3l1mcpf2zr4n56hwlz0rk7wq7ls4cm"; 19 | "https://github.com/Canonical-LLC/cardano-transaction-builder"."d66112c7c7b6f11718bbaa3d7c34485b1dda3a81" = "0pwf2yx209ibjq504fdv5vp9s7x6y3g9ivaqf9nc67xsyxagi7fi"; 20 | "https://github.com/purefn/test-mint-scripts"."0627ce4815bb9fd0c60c39f0f622110b13df24b2" = "121w48k3ndj1hais3nb0n56jiq018vkj2bcmay946w32mvfkcvv7"; 21 | } 22 | -------------------------------------------------------------------------------- /nix/haskell/tools.nix: -------------------------------------------------------------------------------- 1 | { index-state }: 2 | 3 | # haskell.nix tools configuration for use with `project.tools`. 4 | # note: we don't add this directory to the shell in `project.nix`. 5 | # instead, we configure them into the `devShell` directory so that 6 | # we can reuse the same versions for the pre-commit-hooks 7 | { 8 | brittany = { 9 | inherit index-state; 10 | 11 | version = "latest"; 12 | # cabalProject = '' 13 | # packages: . 14 | # allow-newer: data-tree-print:base, butcher:base 15 | # ''; 16 | # modules = [ nonReinstallablePkgsModule ]; 17 | }; 18 | fourmolu = { 19 | inherit index-state; 20 | version = "latest"; 21 | }; 22 | cabal-fmt = { 23 | inherit index-state; 24 | version = "latest"; 25 | }; 26 | cabal-install = { 27 | inherit index-state; 28 | version = "latest"; 29 | }; 30 | ghcid = { 31 | inherit index-state; 32 | version = "latest"; 33 | }; 34 | # see the devShell in flake.nix for HLS 35 | hlint = { 36 | inherit index-state; 37 | 38 | version = "latest"; 39 | # modules = [ nonReinstallablePkgsModule ]; 40 | }; 41 | } 42 | 43 | -------------------------------------------------------------------------------- /nix/pre-commit-hooks.nix: -------------------------------------------------------------------------------- 1 | { findutils 2 | , git 3 | , gnugrep 4 | , hsTools 5 | , lib 6 | , pre-commit-hooks 7 | , system 8 | , writeShellScriptBin 9 | }: 10 | 11 | let 12 | # overrides brittany, hlint, etc. to be the same as those in our dev shell 13 | tools = pre-commit-hooks.packages.${system} // hsTools; 14 | pre-commit-check = pre-commit-hooks.lib.${system}.run { 15 | inherit tools; 16 | 17 | src = ./..; 18 | excludes = [ 19 | "nix/haskell/materialized/" 20 | "dist-newstyle/" 21 | ]; 22 | hooks = 23 | { 24 | # brittany.enable = true; 25 | cabal-fmt.enable = true; 26 | hlint.enable = true; 27 | nix-linter.enable = true; 28 | nixpkgs-fmt.enable = true; 29 | }; 30 | }; 31 | 32 | format = writeShellScriptBin "format" '' 33 | set -euo pipefail 34 | 35 | PATH="${lib.makeBinPath [ 36 | git 37 | gnugrep 38 | findutils 39 | hsTools.cabal-fmt 40 | hsTools.brittany 41 | pre-commit-hooks.packages.${system}.nixpkgs-fmt 42 | ]}" 43 | 44 | git ls-files | grep -v ^nix/haskell/materialized | grep .nix$ | xargs nixpkgs-fmt 45 | git ls-files | grep .hs$ | xargs brittany --write-mode inplace --config-file ${../brittany.yaml} 46 | git ls-files | grep .cabal$ | xargs cabal-fmt --inplace 47 | ''; 48 | in 49 | { 50 | inherit pre-commit-check format; 51 | inherit (pre-commit-check) shellHook; 52 | 53 | shellBuildInputs = 54 | [ format ] 55 | ++ (with pre-commit-hooks.packages.${system}; [ 56 | nixpkgs-fmt 57 | nix-linter 58 | ]) 59 | ++ (builtins.attrValues hsTools); 60 | } 61 | 62 | -------------------------------------------------------------------------------- /release.nix: -------------------------------------------------------------------------------- 1 | { version 2 | , system ? builtins.currentSystem 3 | }: 4 | 5 | let 6 | flake = builtins.getFlake (toString ./.); 7 | pkgs = flake.legacyPackages.${system}; 8 | inherit (pkgs.jpg-store-bulk-purchase.project.jpg-store-bulk-purchase) src; 9 | inherit (pkgs.jpg-store-bulk-purchase) assets; 10 | in 11 | pkgs.runCommand "jpg-store-bulk-purchase-${version}.tar.gz" { } '' 12 | DIR=jpg-store-bulk-purchase-${version} 13 | 14 | mkdir -p $DIR 15 | 16 | # copy the source 17 | cp --recursive --no-preserve=all ${src}/. $DIR/. 18 | 19 | # copy the assets (plutus script file, address files) 20 | cp --recursive --no-preserve=all ${assets}/. $DIR/. 21 | 22 | # create the tarball 23 | tar -zcf $out $DIR 24 | '' 25 | -------------------------------------------------------------------------------- /scripts/compile.sh: -------------------------------------------------------------------------------- 1 | set -eu 2 | thisDir=$(dirname "$0") 3 | mainDir=$thisDir/.. 4 | 5 | ( 6 | cd $mainDir 7 | cabal run create-smart-contract -- assets/swap.plutus 8 | ) 9 | 10 | cardano-cli address build \ 11 | --payment-script-file $mainDir/assets/swap.plutus \ 12 | --mainnet \ 13 | --out-file $mainDir/assets/mainnet/swap.addr 14 | 15 | cardano-cli address build \ 16 | --payment-script-file $mainDir/assets/swap.plutus \ 17 | --testnet-magic 1097911063 \ 18 | --out-file $mainDir/assets/testnet/swap.addr 19 | -------------------------------------------------------------------------------- /scripts/envars/local-testnet.envs: -------------------------------------------------------------------------------- 1 | export CARDANO_NODE_SOCKET_PATH="/Users/jonathanfischoff/prototypes/cardano-node/example/node-spo1/node.sock" 2 | export SOURCE_WALLET_ADDRESS_PATH=$(cardano-cli address build --testnet-magic "42" --payment-verification-key-file /Users/jonathanfischoff/prototypes/cardano-node/example/stake-delegator-keys/payment1.vkey --stake-verification-key-file /Users/jonathanfischoff/prototypes/cardano-node/example/stake-delegator-keys/staking1.vkey) 3 | export SOURCE_WALLET_SKEY_PATH=/Users/jonathanfischoff/prototypes/cardano-node/example/stake-delegator-keys/payment1.skey 4 | export TESTNET_MAGIC=42 5 | export WALLET_DIR=$PWD/temp/private-testnet 6 | -------------------------------------------------------------------------------- /scripts/envars/mainnet.envs: -------------------------------------------------------------------------------- 1 | export CARDANO_NODE_SOCKET_PATH="/Users/$USER/Library/Application Support/Daedalus Mainnet/cardano-node.socket" 2 | export SOURCE_WALLET_ADDRESS_PATH=$HOME/mainnet/user1.addr 3 | export SOURCE_WALLET_SKEY_PATH=$HOME/mainnet/user1.skey 4 | unset TESTNET_MAGIC 5 | export WALLET_DIR=$PWD/temp/mainnet 6 | -------------------------------------------------------------------------------- /scripts/envars/testnet.envs: -------------------------------------------------------------------------------- 1 | export CARDANO_NODE_SOCKET_PATH="/Users/$USER/Library/Application Support/Daedalus Testnet/cardano-node.socket" 2 | export SOURCE_WALLET_ADDRESS_PATH=$HOME/mainnet/user1.addr 3 | export SOURCE_WALLET_SKEY_PATH=$HOME/mainnet/user1.skey 4 | export TESTNET_MAGIC=1097911063 5 | export WALLET_DIR=$PWD/temp/mainnet 6 | -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- 1 | { system ? builtins.currentSystem }: 2 | 3 | (builtins.getFlake (toString ./.)).devShell."${system}" 4 | -------------------------------------------------------------------------------- /src/Canonical/DebugUtilities.h: -------------------------------------------------------------------------------- 1 | #if defined(DEBUG) 2 | #define TRACE_IF_FALSE(a,b,c) traceIfFalse a c 3 | #define TRACE_ERROR(a, b) traceError a 4 | #define TRACE(a, b, c) trace a c 5 | #define FROM_BUILT_IN_DATA(m, c, a, t) case fromBuiltinData a :: Maybe t of { Nothing -> TRACE_ERROR(m, c); Just x -> x } 6 | #define DataConstraint(a) FromData a 7 | #else 8 | #define TRACE_IF_FALSE(a,b,c) traceIfFalse b c 9 | #define TRACE_ERROR(a, b) traceError b 10 | #define TRACE(a, b, c) trace b c 11 | #define FROM_BUILT_IN_DATA(m, c, a, t) unsafeFromBuiltinData a :: t 12 | #define DataConstraint(a) UnsafeFromData a 13 | #endif 14 | 15 | #if defined(DEBUG) || defined(DEBUG_CLOSE) 16 | #define TRACE_IF_FALSE_CLOSE(a, b) traceIfFalse a b 17 | #else 18 | #define TRACE_IF_FALSE_CLOSE(a, b) b 19 | #endif 20 | -------------------------------------------------------------------------------- /src/Canonical/Shared.hs: -------------------------------------------------------------------------------- 1 | {-# LANGUAGE CPP #-} 2 | {-# LANGUAGE LambdaCase #-} 3 | {-# LANGUAGE NamedFieldPuns #-} 4 | {-# LANGUAGE NoImplicitPrelude #-} 5 | {-# LANGUAGE ScopedTypeVariables #-} 6 | {-# LANGUAGE RankNTypes #-} 7 | {-# LANGUAGE RecordWildCards #-} 8 | {-# LANGUAGE TemplateHaskell #-} 9 | {-# LANGUAGE OverloadedStrings #-} 10 | module Canonical.Shared where 11 | import PlutusTx.Prelude 12 | import PlutusTx 13 | import Plutus.V1.Ledger.Crypto 14 | import Plutus.V1.Ledger.Time 15 | import Plutus.V1.Ledger.Scripts 16 | import qualified Cardano.Api.Shelley as Shelly 17 | import qualified Data.ByteString.Short as BSS 18 | import qualified Data.ByteString.Lazy as BSL 19 | import Codec.Serialise 20 | #include "DebugUtilities.h" 21 | 22 | data Bid = Bid 23 | { bidBidder :: PubKeyHash 24 | , bidAmount :: Integer 25 | , bidTime :: POSIXTime 26 | } 27 | 28 | instance Eq Bid where 29 | {-# INLINABLE (==) #-} 30 | x == y 31 | = (bidBidder x == bidBidder y) 32 | && (bidAmount x == bidAmount y) 33 | && (bidTime x == bidTime y) 34 | 35 | PlutusTx.unstableMakeIsData ''Bid 36 | 37 | wrap :: forall a b c . 38 | ( DataConstraint(a) 39 | , DataConstraint(b) 40 | , DataConstraint(c) 41 | ) 42 | => (a -> b -> c -> Bool) 43 | -> BuiltinData 44 | -> BuiltinData 45 | -> BuiltinData 46 | -> () 47 | wrap f a b c 48 | = check 49 | ( f 50 | ( FROM_BUILT_IN_DATA("datum failed", "-1", a, a)) 51 | ( FROM_BUILT_IN_DATA("redeemer failed", "-2", b, b)) 52 | ( FROM_BUILT_IN_DATA("script context failed", "-3", c, c)) 53 | ) 54 | 55 | validatorHash :: Validator -> ValidatorHash 56 | validatorHash = ValidatorHash . getScriptHash . scriptHash . getValidator 57 | 58 | toCardanoApiScript :: Script -> Shelly.Script Shelly.PlutusScriptV2 59 | toCardanoApiScript 60 | = Shelly.PlutusScript Shelly.PlutusScriptV2 61 | . Shelly.PlutusScriptSerialised 62 | . BSS.toShort 63 | . BSL.toStrict 64 | . serialise 65 | 66 | scriptHash :: Script -> ScriptHash 67 | scriptHash = 68 | ScriptHash 69 | . toBuiltin 70 | . Shelly.serialiseToRawBytes 71 | . Shelly.hashScript 72 | . toCardanoApiScript 73 | -------------------------------------------------------------------------------- /supported-systems.nix: -------------------------------------------------------------------------------- 1 | [ "x86_64-linux" ] #"x86_64-darwin" ] 2 | 3 | --------------------------------------------------------------------------------