urbit/pkg/hs/urbit-king/package.yaml

name: urbit-king
version: 1.2
license: MIT
license-file: LICENSE
data-files:
  - test/gold/hoontree.gold
  - test/gold/hoontree.pill

library:
  source-dirs: lib
  ghc-options:
    - -Wall
    - -Werror
    - -Wno-type-defaults
    - -Wno-unused-matches
    - -Wno-name-shadowing
    - -Wno-unused-do-bind
    - -O2

tests:
  urbit-king-tests:
    source-dirs: test
    main: Main.hs
    dependencies: urbit-king
    ghc-options:
      - -threaded
      - -rtsopts
      - -with-rtsopts=-N

dependencies:
  - aeson
  - ansi-terminal
  - async
  - base
  - base-unicode-symbols
  - binary
  - bytestring
  - case-insensitive
  - cereal
  - classy-prelude
  - conduit
  - containers
  - cryptohash-sha256
  - cryptohash-sha512
  - data-default
  - data-fix
  - directory
  - ed25519
  - entropy
  - exceptions
  - extra
  - filepath
  - fixed-vector
  - flat
  - ghc-prim
  - Glob
  - hashable
  - hashtables
  - heap
  - hexstring
  - http-client
  - http-client-tls
  - http-types
  - integer-gmp
  - iproute
  - largeword
  - lens
  - lmdb-static
  - lock-file
  - megaparsec
  - memory
  - mtl
  - multimap
  - murmur3
  - natpmp-static
  - network
  - optparse-applicative
  - para
  - pem
  - pretty-show
  - primitive
  - process
  - QuickCheck
  - racquire
  - random
  - regex-tdfa
  - resourcet
  - rio
  - semigroups
  - smallcheck
  - stm
  - stm-chans
  - tasty
  - tasty-golden
  - tasty-hunit
  - tasty-quickcheck
  - tasty-th
  - template-haskell
  - terminal-progress-bar
  - text
  - these
  - time
  - tls
  - transformers
  - unix
  - unliftio
  - unliftio-core
  - unordered-containers
  - urbit-atom
  - urbit-eventlog-lmdb
  - urbit-hob
  - urbit-noun
  - urbit-noun-core
  - urbit-termsize
  - utf8-string
  - vector
  - wai
  - wai-conduit
  - wai-websockets
  - warp
  - warp-tls
  - websockets

default-extensions:
  - ApplicativeDo
  - BangPatterns
  - BinaryLiterals
  - BlockArguments
  - ConstraintKinds
  - DataKinds
  - DefaultSignatures
  - DeriveAnyClass
  - DeriveDataTypeable
  - DeriveFoldable
  - DeriveGeneric
  - DeriveTraversable
  - DerivingStrategies
  - EmptyCase
  - EmptyDataDecls
  - FlexibleContexts
  - FlexibleInstances
  - FunctionalDependencies
  - GADTs
  - GeneralizedNewtypeDeriving
  - LambdaCase
  - MagicHash
  - MultiParamTypeClasses
  - NamedFieldPuns
  - NoImplicitPrelude
  - NumericUnderscores
  - OverloadedStrings
  - PackageImports
  - PartialTypeSignatures
  - PatternGuards
  - PatternSynonyms
  - QuasiQuotes
  - Rank2Types
  - RankNTypes
  - RecordWildCards
  - ScopedTypeVariables
  - StandaloneDeriving
  - TemplateHaskell
  - TupleSections
  - TypeApplications
  - TypeFamilies
  - TypeOperators
  - UnboxedTuples
  - UnicodeSyntax
  - ViewPatterns

executables:
  urbit-king:
    main: Main.hs
    source-dirs: app
    dependencies:
      - urbit-king
    ghc-options:
      - -threaded
      - -rtsopts
      - -static
      - -O2
      - "-with-rtsopts=-N"
      - -fwarn-incomplete-patterns
king: Rename `king` package to `urbit-king`. 2020-01-24 08:20:43 +03:00			`name: urbit-king`
king: address joe and ted 2021-02-04 01:50:23 +03:00			`version: 1.2`
AGPL -> MIT 2019-12-19 14:08:19 +03:00			`license: MIT`
			`license-file: LICENSE`
king: ensure tests are enabled on ci and don't depend on lfs pills 2020-10-29 18:20:41 +03:00			`data-files:`
			`- test/gold/hoontree.gold`
			`- test/gold/hoontree.pill`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00
			`library:`
			`source-dirs: lib`
			`ghc-options:`
king: fix warnings; more consistent warn policy 2020-11-03 22:03:58 +03:00			`- -Wall`
-Werror 2019-07-12 22:18:14 +03:00			`- -Werror`
king: fix warnings; more consistent warn policy 2020-11-03 22:03:58 +03:00			`- -Wno-type-defaults`
			`- -Wno-unused-matches`
			`- -Wno-name-shadowing`
			`- -Wno-unused-do-bind`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- -O2`

Solid pills work now -- reworked lmdb code + lots of testing 2019-07-19 03:52:53 +03:00			`tests:`
king: Rename `king` package to `urbit-king`. 2020-01-24 08:20:43 +03:00			`urbit-king-tests:`
Solid pills work now -- reworked lmdb code + lots of testing 2019-07-19 03:52:53 +03:00			`source-dirs: test`
			`main: Main.hs`
king: Rename `king` package to `urbit-king`. 2020-01-24 08:20:43 +03:00			`dependencies: urbit-king`
Solid pills work now -- reworked lmdb code + lots of testing 2019-07-19 03:52:53 +03:00			`ghc-options:`
			`- -threaded`
Got effect collection working + hacked around weird fucking newt bug that I still do not understand. 2019-07-22 02:33:26 +03:00			`- -rtsopts`
			`- -with-rtsopts=-N`
Solid pills work now -- reworked lmdb code + lots of testing 2019-07-19 03:52:53 +03:00
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`dependencies:`
Pulled in and integrated a commit from my king-daemon branch. 2019-12-17 17:31:50 +03:00			`- aeson`
king: New dependency: `ansi-terminal` 2020-02-19 19:01:51 +03:00			`- ansi-terminal`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- async`
			`- base`
Wrote another Ames test -- two galaxies can talk to eachother. 2019-08-01 01:44:14 +03:00			`- base-unicode-symbols`
Fleshed out HTTP Server driver, jank and untested for now. 2019-08-03 03:09:53 +03:00			`- binary`
Separated new-vere executables into separate package for faster builds. 2019-06-02 00:56:09 +03:00			`- bytestring`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- case-insensitive`
king: stateless forwarding 2020-09-27 01:55:10 +03:00			`- cereal`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- classy-prelude`
Solid pills work now -- reworked lmdb code + lots of testing 2019-07-19 03:52:53 +03:00			`- conduit`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- containers`
Boot from mined comets in king. This makes the comet mining code actually work. You can now run king with `new --comet` to mine a new comet and get it on the network. Mining appears to be significantly faster; I've had to wait up to 20 minutes with vere, but I've never needed to wait more than 30 seconds with king. 2019-10-10 23:45:01 +03:00			`- cryptohash-sha256`
Stubbed comet mining 2019-10-09 23:39:11 +03:00			`- cryptohash-sha512`
Collect terminal size. 2019-09-18 09:58:42 +03:00			`- data-default`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- data-fix`
Fill in event log on boot + cleanup. 2019-07-16 05:20:23 +03:00			`- directory`
Switched from cryptonite to ed25519; key derivation works now! 2019-09-26 00:26:51 +03:00			`- ed25519`
Boot from a pill! 2019-07-16 03:01:45 +03:00			`- entropy`
Started RIO's logging system instead of printfs. 2019-08-28 14:00:26 +03:00			`- exceptions`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- extra`
Wrote a golden test for map/set conversions. 2019-09-27 02:03:25 +03:00			`- filepath`
Whatever 2019-06-12 23:47:36 +03:00			`- fixed-vector`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- flat`
			`- ghc-prim`
Wrote a golden test for map/set conversions. 2019-09-27 02:03:25 +03:00			`- Glob`
Jam: backreferences. 2019-06-30 06:05:45 +03:00			`- hashable`
Separated new-vere executables into separate package for faster builds. 2019-06-02 00:56:09 +03:00			`- hashtables`
king: First attempt at integration with NATPMP. This sets up a separate thread to handle scheduling of lease renewals. 2020-08-05 22:33:37 +03:00			`- heap`
king dawn: replace web3 usage with hand rolled jsonrpc messages. This replaces the autogenerated bindings to the Azimuth contracts which use Network.Web3 with hand rolled json messages. Booting a ship involved 256 individual galaxy point lookups using web3, while Vere batched all of that into one JSONRPC message. With this patch, we also batch everything at each phase into one JSONRPC batch. 2020-08-28 23:17:46 +03:00			`- hexstring`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- http-client`
Make TLS work and get the comet sponsor list. 2019-10-02 23:55:30 +03:00			`- http-client-tls`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- http-types`
			`- integer-gmp`
Skeleton of Ames support 2019-07-03 02:37:10 +03:00			`- iproute`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- largeword`
			`- lens`
Actually use lmdb-static package plus don't build all deps. 2019-12-11 09:06:43 +03:00			`- lmdb-static`
Implemented lockfile with correct handling of SIGINT (^C) and SIGTERM (send by `kill`). 2019-09-13 09:55:10 +03:00			`- lock-file`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- megaparsec`
Can retrieve the ames domains from Ethereum using web3. Partial support for retrieving the galaxy table, but I'm having problems converting the public key type. 2019-09-20 01:40:23 +03:00			`- memory`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- mtl`
			`- multimap`
Haskell <-> Hoon conversions for map and set. 2019-09-26 23:29:19 +03:00			`- murmur3`
natpmp: Make haskell bindings to libnatpmp and add them to the build. 2020-08-04 20:24:28 +03:00			`- natpmp-static`
Skeleton of Ames support 2019-07-03 02:37:10 +03:00			`- network`
Started RIO's logging system instead of printfs. 2019-08-28 14:00:26 +03:00			`- optparse-applicative`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- para`
king: Split cert from urbit into cert+chain before giving to warp (HTTP Server library). 2020-04-30 22:13:14 +03:00			`- pem`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- pretty-show`
Separated new-vere executables into separate package for faster builds. 2019-06-02 00:56:09 +03:00			`- primitive`
			`- process`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- QuickCheck`
king: Separate package for `racquire` + small cleanup. 2020-06-08 23:23:30 +03:00			`- racquire`
Set king-process-id to a random number. 2019-08-01 08:48:08 +03:00			`- random`
Properly implement string conversions. 2019-07-22 21:10:27 +03:00			`- regex-tdfa`
Solid pills work now -- reworked lmdb code + lots of testing 2019-07-19 03:52:53 +03:00			`- resourcet`
Actually replay events! Also, parse some effects. 2019-06-25 23:58:07 +03:00			`- rio`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- semigroups`
			`- smallcheck`
			`- stm`
			`- stm-chans`
			`- tasty`
Wrote a golden test for map/set conversions. 2019-09-27 02:03:25 +03:00			`- tasty-golden`
Boot from mined comets in king. This makes the comet mining code actually work. You can now run king with `new --comet` to mine a new comet and get it on the network. Mining appears to be significantly faster; I've had to wait up to 20 minutes with vere, but I've never needed to wait more than 30 seconds with king. 2019-10-10 23:45:01 +03:00			`- tasty-hunit`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- tasty-quickcheck`
			`- tasty-th`
Generate ToNoun instances for enum-shaped types. 2019-06-27 00:13:25 +03:00			`- template-haskell`
Display a progress bar on startup when we have to replay the log. Use the terminal-progress-bar package to display a progress bar during replay, when there are jobs that need to be replayed. Bumps the lts resolver so we get access to this package. 2019-09-12 22:49:27 +03:00			`- terminal-progress-bar`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- text`
			`- these`
			`- time`
king: Factor out HTTP server lifecycle from Eyre + impl multi-tenet HTTP. 2020-05-09 00:27:53 +03:00			`- tls`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- transformers`
Rework Job type to avoid false positives during parsing. 2019-07-21 04:29:39 +03:00			`- unix`
Logging in Vere.Pier 2019-08-28 14:45:49 +03:00			`- unliftio`
Started RIO's logging system instead of printfs. 2019-08-28 14:00:26 +03:00			`- unliftio-core`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- unordered-containers`
Clean up `Urbit.Atom` and move it into it's own package. 2020-01-23 12:22:30 +03:00			`- urbit-atom`
king: Separate out urbit-eventlog-lmdb package. 2020-06-09 00:27:58 +03:00			`- urbit-eventlog-lmdb`
Makes a progress bar on booting a new ship. Also prints the name of the ship you're trying to boot, along with whether its a fake or not. Also fixes a regression where we were trying to acquire a lockfile before the pier directory was created. 2019-09-17 21:19:53 +03:00			`- urbit-hob`
king: Separate package for `racquire` + small cleanup. 2020-06-08 23:23:30 +03:00			`- urbit-noun`
			`- urbit-noun-core`
urbit-king: urbit `urbit-termsize` library. 2020-03-23 23:35:50 +03:00			`- urbit-termsize`
Fix atom putfiles + do unicode accumulation correctly. 2019-09-13 21:46:03 +03:00			`- utf8-string`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- vector`
Separated new-vere executables into separate package for faster builds. 2019-06-02 00:56:09 +03:00			`- wai`
Much cleaner http-server code. 2019-08-03 22:26:45 +03:00			`- wai-conduit`
Pulled in and integrated a commit from my king-daemon branch. 2019-12-17 17:31:50 +03:00			`- wai-websockets`
Separated new-vere executables into separate package for faster builds. 2019-06-02 00:56:09 +03:00			`- warp`
			`- warp-tls`
Wrote hacky websocket client/server for terminal driver. Using websockets because it would be nice to eventually have a terminal in the Electron client. This is prototype-quality code. Using the built-in client/server from the `websockets` package, but that's just for testing. 2019-08-30 10:55:40 +03:00			`- websockets`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00
			`default-extensions:`
			`- ApplicativeDo`
			`- BangPatterns`
king: stateless forwarding 2020-09-27 01:55:10 +03:00			`- BinaryLiterals`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- BlockArguments`
king: Add command-line flags to configure HTTP and HTTPS ports. 2020-03-03 02:24:28 +03:00			`- ConstraintKinds`
Finished generating ToNoun instances. 2019-06-27 01:51:30 +03:00			`- DataKinds`
			`- DefaultSignatures`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- DeriveAnyClass`
			`- DeriveDataTypeable`
			`- DeriveFoldable`
			`- DeriveGeneric`
			`- DeriveTraversable`
			`- DerivingStrategies`
Generate ToNoun/FromNoun instances for polymorphic types. 2019-07-21 03:50:56 +03:00			`- EmptyCase`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- EmptyDataDecls`
			`- FlexibleContexts`
			`- FlexibleInstances`
			`- FunctionalDependencies`
			`- GADTs`
			`- GeneralizedNewtypeDeriving`
			`- LambdaCase`
Switch to fat nouns everywhere + a bunch of refactoring. 2019-07-12 00:41:09 +03:00			`- MagicHash`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- MultiParamTypeClasses`
			`- NamedFieldPuns`
			`- NoImplicitPrelude`
			`- NumericUnderscores`
			`- OverloadedStrings`
Strip sum-type prefix in generated ToNoun/FromNoun instances. 2019-07-21 02:47:35 +03:00			`- PackageImports`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- PartialTypeSignatures`
king: stateless forwarding 2020-09-27 01:55:10 +03:00			`- PatternGuards`
Switch to fat nouns everywhere + a bunch of refactoring. 2019-07-12 00:41:09 +03:00			`- PatternSynonyms`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- QuasiQuotes`
			`- Rank2Types`
			`- RankNTypes`
			`- RecordWildCards`
			`- ScopedTypeVariables`
Finished generating ToNoun instances. 2019-06-27 01:51:30 +03:00			`- StandaloneDeriving`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- TemplateHaskell`
			`- TupleSections`
			`- TypeApplications`
			`- TypeFamilies`
Finished generating ToNoun instances. 2019-06-27 01:51:30 +03:00			`- TypeOperators`
Switch to fat nouns everywhere + a bunch of refactoring. 2019-07-12 00:41:09 +03:00			`- UnboxedTuples`
Wrote code to load a pill file, but it doesn't work yet. 2019-05-20 04:53:32 +03:00			`- UnicodeSyntax`
			`- ViewPatterns`
CLI parsing. 2019-08-13 07:57:30 +03:00
			`executables:`
king: Rename `king` package to `urbit-king`. 2020-01-24 08:20:43 +03:00			`urbit-king:`
CLI parsing. 2019-08-13 07:57:30 +03:00			`main: Main.hs`
			`source-dirs: app`
king: Rename `king` package to `urbit-king`. 2020-01-24 08:20:43 +03:00			`dependencies:`
			`- urbit-king`
CLI parsing. 2019-08-13 07:57:30 +03:00			`ghc-options:`
			`- -threaded`
			`- -rtsopts`
Some preliminary work on static linking. 2019-08-30 11:57:05 +03:00			`- -static`
			`- -O2`
CLI parsing. 2019-08-13 07:57:30 +03:00			`- "-with-rtsopts=-N"`
			`- -fwarn-incomplete-patterns`