mirror of
https://github.com/ilyakooo0/urbit.git
synced 2025-01-02 03:52:13 +03:00
Merge branch 'king-haskell' into philip/king-replay
This commit is contained in:
commit
dd29419f41
@ -10,7 +10,7 @@ jobs:
|
||||
|
||||
install:
|
||||
- nix-env -iA cachix -f https://cachix.org/api/v1/install
|
||||
- stack --no-terminal --install-ghc build king --only-dependencies
|
||||
- stack --no-terminal --install-ghc build urbit-king --only-dependencies
|
||||
|
||||
script:
|
||||
- cachix use urbit2
|
||||
@ -29,7 +29,7 @@ jobs:
|
||||
- sh/travis-install-stack
|
||||
|
||||
install:
|
||||
- stack --no-terminal --install-ghc build king --only-dependencies
|
||||
- stack --no-terminal --install-ghc build urbit-king --only-dependencies
|
||||
|
||||
script:
|
||||
- sh/release-king-darwin-dynamic
|
||||
|
@ -1,2 +0,0 @@
|
||||
module Main (module Ur.King.Main) where
|
||||
import Ur.King.Main
|
@ -1,13 +0,0 @@
|
||||
module Ur.Arvo
|
||||
( module Ur.Arvo.Common
|
||||
, module Ur.Arvo.Effect
|
||||
, module Ur.Arvo.Event
|
||||
, FX
|
||||
) where
|
||||
|
||||
import Ur.Arvo.Common
|
||||
import Ur.Arvo.Effect
|
||||
import Ur.Arvo.Event
|
||||
import Ur.Noun.Conversions (Lenient)
|
||||
|
||||
type FX = [Lenient Ef]
|
@ -3,7 +3,7 @@ module SimpleNoun where
|
||||
import ClassyPrelude
|
||||
import Numeric.Natural
|
||||
|
||||
import qualified Ur.Noun as N
|
||||
import qualified Urbit.Noun as N
|
||||
|
||||
type Atom = Natural
|
||||
|
||||
|
@ -19,7 +19,7 @@ dependencies:
|
||||
- transformers
|
||||
- transformers-compat
|
||||
- unordered-containers
|
||||
- king
|
||||
- urbit-king
|
||||
|
||||
default-extensions:
|
||||
- ApplicativeDo
|
||||
|
@ -1,12 +1,12 @@
|
||||
resolver: lts-14.21
|
||||
|
||||
packages:
|
||||
- king
|
||||
- lmdb-static
|
||||
- proto
|
||||
- terminal-progress-bar
|
||||
- urbit-atom
|
||||
- urbit-azimuth
|
||||
- urbit-king
|
||||
|
||||
extra-deps:
|
||||
- flat-0.3.4@sha256:002a0e0ae656ea8cc02a772d0bcb6ea7dbd7f2e79070959cc748ad1e7138eb38
|
||||
@ -15,19 +15,12 @@ extra-deps:
|
||||
- urbit-hob-0.3.1@sha256:afbdc7ad071eefc6ca85f5b598b6c62ed49079d15d1840dac27438a3b3150303
|
||||
- para-1.1@sha256:a90eebb063ad70271e6e2a7f00a93e8e8f8b77273f100f39852fbf8301926f81
|
||||
|
||||
# This allows building on NixOS.
|
||||
nix:
|
||||
packages:
|
||||
- pkgconfig
|
||||
- zlib
|
||||
|
||||
flags:
|
||||
king:
|
||||
Release: false
|
||||
|
||||
# TODO: Why is this here?
|
||||
ghc-options:
|
||||
king: '-optP-Wno-nonportable-include-path'
|
||||
|
||||
# build:
|
||||
# executable-profiling: true
|
||||
# executable-stripping: false
|
||||
# library-profiling: true
|
||||
urbit-king: '-optP-Wno-nonportable-include-path'
|
||||
|
2
pkg/hs/urbit-king/app/Main.hs
Normal file
2
pkg/hs/urbit-king/app/Main.hs
Normal file
@ -0,0 +1,2 @@
|
||||
module Main (module Urbit.King.Main) where
|
||||
import Urbit.King.Main
|
13
pkg/hs/urbit-king/lib/Urbit/Arvo.hs
Normal file
13
pkg/hs/urbit-king/lib/Urbit/Arvo.hs
Normal file
@ -0,0 +1,13 @@
|
||||
module Urbit.Arvo
|
||||
( module Urbit.Arvo.Common
|
||||
, module Urbit.Arvo.Effect
|
||||
, module Urbit.Arvo.Event
|
||||
, FX
|
||||
) where
|
||||
|
||||
import Urbit.Arvo.Common
|
||||
import Urbit.Arvo.Effect
|
||||
import Urbit.Arvo.Event
|
||||
import Urbit.Noun.Conversions (Lenient)
|
||||
|
||||
type FX = [Lenient Ef]
|
@ -1,7 +1,7 @@
|
||||
{-|
|
||||
Types used in both Events and Effects.
|
||||
-}
|
||||
module Ur.Arvo.Common
|
||||
module Urbit.Arvo.Common
|
||||
( KingId(..), ServId(..)
|
||||
, Json, JsonNode(..)
|
||||
, Desk(..), Mime(..)
|
||||
@ -12,7 +12,7 @@ module Ur.Arvo.Common
|
||||
, AmesDest(..), Ipv4(..), Ipv6(..), Patp(..), Galaxy, AmesAddress(..)
|
||||
) where
|
||||
|
||||
import Ur.Prelude hiding (Term)
|
||||
import Urbit.Prelude hiding (Term)
|
||||
|
||||
import qualified Network.HTTP.Types.Method as H
|
||||
import qualified Urbit.Ob as Ob
|
@ -1,16 +1,16 @@
|
||||
{-|
|
||||
Effect Types and Their Noun Conversions
|
||||
-}
|
||||
module Ur.Arvo.Effect where
|
||||
module Urbit.Arvo.Effect where
|
||||
|
||||
import Ur.Prelude
|
||||
import Ur.Time
|
||||
import Urbit.Prelude
|
||||
import Urbit.Time
|
||||
|
||||
import Ur.Arvo.Common (KingId(..), ServId(..))
|
||||
import Ur.Arvo.Common (Header, HttpEvent, HttpServerConf, Method, Mime)
|
||||
import Ur.Arvo.Common (AmesDest, Turf)
|
||||
import Ur.Arvo.Common (ReOrg(..), reorgThroughNoun)
|
||||
import Ur.Arvo.Common (Desk)
|
||||
import Urbit.Arvo.Common (KingId(..), ServId(..))
|
||||
import Urbit.Arvo.Common (Header, HttpEvent, HttpServerConf, Method, Mime)
|
||||
import Urbit.Arvo.Common (AmesDest, Turf)
|
||||
import Urbit.Arvo.Common (ReOrg(..), reorgThroughNoun)
|
||||
import Urbit.Arvo.Common (Desk)
|
||||
|
||||
|
||||
-- Newt Effects ----------------------------------------------------------------
|
@ -1,16 +1,16 @@
|
||||
{-|
|
||||
Event Types and Noun Conversion
|
||||
-}
|
||||
module Ur.Arvo.Event where
|
||||
module Urbit.Arvo.Event where
|
||||
|
||||
import Ur.Noun.Tree (HoonMap, HoonSet)
|
||||
import Ur.Prelude hiding (Term)
|
||||
import Urbit.Noun.Tree (HoonMap, HoonSet)
|
||||
import Urbit.Prelude hiding (Term)
|
||||
|
||||
import Ur.Arvo.Common (KingId(..), ServId(..))
|
||||
import Ur.Arvo.Common (Desk, Mime)
|
||||
import Ur.Arvo.Common (Header(..), HttpEvent)
|
||||
import Ur.Arvo.Common (AmesDest, Ipv4, Ipv6, Port, Turf)
|
||||
import Ur.Arvo.Common (ReOrg(..), reorgThroughNoun)
|
||||
import Urbit.Arvo.Common (KingId(..), ServId(..))
|
||||
import Urbit.Arvo.Common (Desk, Mime)
|
||||
import Urbit.Arvo.Common (Header(..), HttpEvent)
|
||||
import Urbit.Arvo.Common (AmesDest, Ipv4, Ipv6, Port, Turf)
|
||||
import Urbit.Arvo.Common (ReOrg(..), reorgThroughNoun)
|
||||
|
||||
import qualified Crypto.Sign.Ed25519 as Ed
|
||||
import qualified Data.ByteString as BS
|
@ -4,23 +4,23 @@
|
||||
ships. Do it or strip it out.
|
||||
-}
|
||||
|
||||
module Ur.King.API (King(..), kingAPI, readPortsFile) where
|
||||
module Urbit.King.API (King(..), kingAPI, readPortsFile) where
|
||||
|
||||
import RIO.Directory
|
||||
import Ur.Prelude
|
||||
import Urbit.Prelude
|
||||
|
||||
import Network.Socket (Socket)
|
||||
import Prelude (read)
|
||||
import Ur.Arvo (Belt)
|
||||
import Ur.King.App (HasConfigDir(..))
|
||||
import Urbit.Arvo (Belt)
|
||||
import Urbit.King.App (HasConfigDir(..))
|
||||
|
||||
import qualified Network.HTTP.Types as H
|
||||
import qualified Network.Wai as W
|
||||
import qualified Network.Wai.Handler.Warp as W
|
||||
import qualified Network.Wai.Handler.WebSockets as WS
|
||||
import qualified Network.WebSockets as WS
|
||||
import qualified Ur.Vere.NounServ as NounServ
|
||||
import qualified Ur.Vere.Term.API as Term
|
||||
import qualified Urbit.Vere.NounServ as NounServ
|
||||
import qualified Urbit.Vere.Term.API as Term
|
||||
|
||||
|
||||
-- Types -----------------------------------------------------------------------
|
@ -1,7 +1,7 @@
|
||||
{-|
|
||||
Code for setting up the RIO environment.
|
||||
-}
|
||||
module Ur.King.App
|
||||
module Urbit.King.App
|
||||
( App
|
||||
, runApp
|
||||
, runAppLogFile
|
||||
@ -10,8 +10,8 @@ module Ur.King.App
|
||||
, HasConfigDir(..)
|
||||
) where
|
||||
|
||||
import Ur.King.Config
|
||||
import Ur.Prelude
|
||||
import Urbit.King.Config
|
||||
import Urbit.Prelude
|
||||
|
||||
import System.Directory (createDirectoryIfMissing, getHomeDirectory)
|
||||
|
@ -4,7 +4,7 @@
|
||||
{-|
|
||||
Command line parsing.
|
||||
-}
|
||||
module Ur.King.CLI where
|
||||
module Urbit.King.CLI where
|
||||
|
||||
import ClassyPrelude
|
||||
import Options.Applicative
|
||||
@ -101,7 +101,7 @@ headNote :: String -> Doc
|
||||
headNote _version = string $ intercalate "\n"
|
||||
[ "Urbit: a personal server operating function"
|
||||
, "https://urbit.org"
|
||||
, "Version " <> VERSION_king
|
||||
, "Version " <> VERSION_urbit_king
|
||||
]
|
||||
|
||||
-- | TODO This needs to be updated.
|
||||
@ -143,7 +143,7 @@ parseArgs = do
|
||||
defaultPillURL :: String
|
||||
defaultPillURL = "https://bootstrap.urbit.org/urbit-v" <> ver <> ".pill"
|
||||
where
|
||||
ver = VERSION_king
|
||||
ver = VERSION_urbit_king
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
@ -1,9 +1,9 @@
|
||||
{-|
|
||||
Pier Configuration
|
||||
-}
|
||||
module Ur.King.Config where
|
||||
module Urbit.King.Config where
|
||||
|
||||
import Ur.Prelude
|
||||
import Urbit.Prelude
|
||||
|
||||
{-|
|
||||
All the configuration data revolving around a ship and the current
|
@ -4,21 +4,20 @@
|
||||
TODO Handle CTRL-D
|
||||
-}
|
||||
|
||||
module Ur.King.EventBrowser (run) where
|
||||
module Urbit.King.EventBrowser (run) where
|
||||
|
||||
import Ur.Prelude
|
||||
import Urbit.Prelude
|
||||
|
||||
import Data.Conduit
|
||||
import Ur.Arvo
|
||||
import Ur.Time
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Arvo
|
||||
import Urbit.Time
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Control.Monad.Trans.Maybe (MaybeT(..))
|
||||
|
||||
import Ur.Vere.Log (EventLog)
|
||||
import Urbit.Vere.Log (EventLog)
|
||||
|
||||
import qualified Data.Conduit.Combinators as C
|
||||
import qualified Ur.Vere.Log as Log
|
||||
import qualified Urbit.Vere.Log as Log
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
@ -53,9 +53,9 @@
|
||||
- `Hashless`: Don't use hashboard for jets.
|
||||
-}
|
||||
|
||||
module Ur.King.Main (main) where
|
||||
module Urbit.King.Main (main) where
|
||||
|
||||
import Ur.Prelude
|
||||
import Urbit.Prelude
|
||||
|
||||
import Data.Acquire
|
||||
import Data.Conduit
|
||||
@ -63,26 +63,30 @@ import Data.Conduit.List hiding (catMaybes, map, replicate, take)
|
||||
import Data.RAcquire
|
||||
import Network.HTTP.Client.TLS
|
||||
import RIO.Directory
|
||||
import Ur.Arvo
|
||||
import Ur.King.Config
|
||||
import Ur.Noun hiding (Parser)
|
||||
import Ur.Vere.Dawn
|
||||
import Ur.Vere.Pier
|
||||
import Ur.Vere.Pier.Types
|
||||
import Ur.Vere.Serf
|
||||
|
||||
import Control.Concurrent (myThreadId, runInBoundThread)
|
||||
import Control.Exception (AsyncException(UserInterrupt))
|
||||
import Control.Lens ((&))
|
||||
import Data.Default (def)
|
||||
import RIO (logSticky, logStickyDone)
|
||||
import System.Process (system)
|
||||
import Text.Show.Pretty (pPrint)
|
||||
import Ur.King.App (runApp, runAppLogFile, runPierApp)
|
||||
import Ur.King.App (HasConfigDir(..))
|
||||
import Ur.Noun.Conversions (cordToUW)
|
||||
import Ur.Time (Wen)
|
||||
import Ur.Vere.LockFile (lockFile)
|
||||
import Urbit.Arvo
|
||||
import Urbit.King.Config
|
||||
import Urbit.Noun hiding (Parser)
|
||||
import Urbit.Noun.Conversions (cordToUW)
|
||||
import Urbit.Vere.Dawn
|
||||
import Urbit.Vere.Pier
|
||||
import Urbit.Vere.Pier.Types
|
||||
import Urbit.Vere.Serf
|
||||
|
||||
import Control.Concurrent (myThreadId, runInBoundThread)
|
||||
import Control.Exception (AsyncException(UserInterrupt))
|
||||
import Control.Lens ((&))
|
||||
import Data.Default (def)
|
||||
import RIO (logSticky, logStickyDone)
|
||||
import System.Process (system)
|
||||
import Text.Show.Pretty (pPrint)
|
||||
import Urbit.King.App (runApp, runAppLogFile, runPierApp)
|
||||
import Urbit.King.App (HasConfigDir(..))
|
||||
import Urbit.King.App (runApp, runAppLogFile, runPierApp)
|
||||
import Urbit.King.App (HasConfigDir(..))
|
||||
import Urbit.Noun.Conversions (cordToUW)
|
||||
import Urbit.Time (Wen)
|
||||
import Urbit.Vere.LockFile (lockFile)
|
||||
|
||||
import qualified Data.Set as Set
|
||||
import qualified Data.Text as T
|
||||
@ -94,13 +98,13 @@ import qualified System.IO.LockFile.Internal as Lock
|
||||
import qualified System.Posix.Signals as Sys
|
||||
import qualified System.ProgressBar as PB
|
||||
import qualified System.Random as Sys
|
||||
import qualified Ur.King.CLI as CLI
|
||||
import qualified Ur.King.EventBrowser as EventBrowser
|
||||
import qualified Ur.Vere.Log as Log
|
||||
import qualified Ur.Vere.Pier as Pier
|
||||
import qualified Ur.Vere.Serf as Serf
|
||||
import qualified Ur.Vere.Term as Term
|
||||
import qualified Urbit.King.CLI as CLI
|
||||
import qualified Urbit.King.EventBrowser as EventBrowser
|
||||
import qualified Urbit.Ob as Ob
|
||||
import qualified Urbit.Vere.Log as Log
|
||||
import qualified Urbit.Vere.Pier as Pier
|
||||
import qualified Urbit.Vere.Serf as Serf
|
||||
import qualified Urbit.Vere.Term as Term
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
@ -1,11 +1,11 @@
|
||||
{-|
|
||||
Test jam/cue on pills.
|
||||
-}
|
||||
module Ur.King.TryJamPill where
|
||||
module Urbit.King.TryJamPill where
|
||||
|
||||
import ClassyPrelude
|
||||
import Control.Lens
|
||||
import Ur.Noun
|
||||
import Urbit.Noun
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
@ -3,17 +3,17 @@
|
||||
|
||||
This module just re-exports things from submodules.
|
||||
-}
|
||||
module Ur.Noun
|
||||
module Urbit.Noun
|
||||
( module Urbit.Atom
|
||||
, module Data.Word
|
||||
, module Ur.Noun.Conversions
|
||||
, module Ur.Noun.Convert
|
||||
, module Ur.Noun.Core
|
||||
, module Ur.Noun.Cue
|
||||
, module Ur.Noun.Jam
|
||||
, module Ur.Noun.Tank
|
||||
, module Ur.Noun.TH
|
||||
, module Ur.Noun.Tree
|
||||
, module Urbit.Noun.Conversions
|
||||
, module Urbit.Noun.Convert
|
||||
, module Urbit.Noun.Core
|
||||
, module Urbit.Noun.Cue
|
||||
, module Urbit.Noun.Jam
|
||||
, module Urbit.Noun.Tank
|
||||
, module Urbit.Noun.TH
|
||||
, module Urbit.Noun.Tree
|
||||
, _Cue
|
||||
, LoadErr(..)
|
||||
, loadFile
|
||||
@ -24,14 +24,14 @@ import Control.Lens
|
||||
|
||||
import Data.Word
|
||||
import Urbit.Atom
|
||||
import Ur.Noun.Conversions
|
||||
import Ur.Noun.Convert
|
||||
import Ur.Noun.Core
|
||||
import Ur.Noun.Cue
|
||||
import Ur.Noun.Jam
|
||||
import Ur.Noun.Tank
|
||||
import Ur.Noun.TH
|
||||
import Ur.Noun.Tree
|
||||
import Urbit.Noun.Conversions
|
||||
import Urbit.Noun.Convert
|
||||
import Urbit.Noun.Core
|
||||
import Urbit.Noun.Cue
|
||||
import Urbit.Noun.Jam
|
||||
import Urbit.Noun.Tank
|
||||
import Urbit.Noun.TH
|
||||
import Urbit.Noun.Tree
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
@ -4,7 +4,7 @@
|
||||
Large Library of conversion between various types and Nouns.
|
||||
-}
|
||||
|
||||
module Ur.Noun.Conversions
|
||||
module Urbit.Noun.Conversions
|
||||
( Nullable(..), Jammed(..), AtomCell(..)
|
||||
, Word128, Word256, Word512
|
||||
, Bytes(..), Octs(..), File(..)
|
||||
@ -24,9 +24,9 @@ import Data.Word
|
||||
import Text.Regex.TDFA
|
||||
import Text.Regex.TDFA.Text ()
|
||||
import Urbit.Atom
|
||||
import Ur.Noun.Convert
|
||||
import Ur.Noun.Core
|
||||
import Ur.Noun.TH
|
||||
import Urbit.Noun.Convert
|
||||
import Urbit.Noun.Core
|
||||
import Urbit.Noun.TH
|
||||
|
||||
import Data.LargeWord (LargeKey, Word128, Word256)
|
||||
import GHC.Exts (chr#, isTrue#, leWord#, word2Int#)
|
||||
@ -39,8 +39,8 @@ import RIO.FilePath (joinPath, splitDirectories, takeBaseName,
|
||||
takeDirectory, takeExtension, (<.>), (</>))
|
||||
import System.IO.Unsafe (unsafePerformIO)
|
||||
import Text.Show.Pretty (ppShow)
|
||||
import Ur.Noun.Cue (cue)
|
||||
import Ur.Noun.Jam (jam)
|
||||
import Urbit.Noun.Cue (cue)
|
||||
import Urbit.Noun.Jam (jam)
|
||||
|
||||
import qualified Data.Char as C
|
||||
import qualified Data.Text.Encoding as T
|
@ -1,7 +1,7 @@
|
||||
{-|
|
||||
Framework for writing conversions between types and nouns.
|
||||
-}
|
||||
module Ur.Noun.Convert
|
||||
module Urbit.Noun.Convert
|
||||
( ToNoun(toNoun)
|
||||
, FromNoun(parseNoun), fromNoun, fromNounErr, fromNounExn
|
||||
, Parser(..)
|
||||
@ -12,7 +12,7 @@ module Ur.Noun.Convert
|
||||
|
||||
import ClassyPrelude hiding (hash)
|
||||
|
||||
import Ur.Noun.Core
|
||||
import Urbit.Noun.Core
|
||||
|
||||
import qualified Control.Monad.Fail as Fail
|
||||
|
@ -9,7 +9,7 @@
|
||||
the total number of nodes under the tree of the cell. This is used
|
||||
as a heuristic to choose a hash-table size for `jam` and `cue`.
|
||||
-}
|
||||
module Ur.Noun.Core
|
||||
module Urbit.Noun.Core
|
||||
( Noun, nounSize
|
||||
, pattern Cell, pattern Atom
|
||||
, pattern C, pattern A
|
@ -5,12 +5,12 @@
|
||||
|
||||
Implementation is based on the approach used in `flat`.
|
||||
-}
|
||||
module Ur.Noun.Cue (cue, cueExn, cueBS, cueBSExn, DecodeErr) where
|
||||
module Urbit.Noun.Cue (cue, cueExn, cueBS, cueBSExn, DecodeErr) where
|
||||
|
||||
import ClassyPrelude
|
||||
|
||||
import Urbit.Atom
|
||||
import Ur.Noun.Core
|
||||
import Urbit.Noun.Core
|
||||
|
||||
import Data.Bits (shiftL, shiftR, (.&.), (.|.))
|
||||
import Data.Function ((&))
|
@ -5,13 +5,13 @@
|
||||
|
||||
This is based on the implementation of `flat`.
|
||||
-}
|
||||
module Ur.Noun.Jam (jam, jamBS) where
|
||||
module Urbit.Noun.Jam (jam, jamBS) where
|
||||
|
||||
import ClassyPrelude hiding (hash)
|
||||
|
||||
import Urbit.Atom
|
||||
import Urbit.Atom.Internal
|
||||
import Ur.Noun.Core
|
||||
import Urbit.Noun.Core
|
||||
|
||||
import Data.Bits (clearBit, setBit, shiftL, shiftR, (.|.))
|
||||
import Data.Vector.Primitive ((!))
|
@ -1,14 +1,14 @@
|
||||
{-|
|
||||
Template Haskell Code to Generate FromNoun and ToNoun Instances
|
||||
-}
|
||||
module Ur.Noun.TH (deriveNoun, deriveToNoun, deriveFromNoun) where
|
||||
module Urbit.Noun.TH (deriveNoun, deriveToNoun, deriveFromNoun) where
|
||||
|
||||
import ClassyPrelude hiding (fromList)
|
||||
import Language.Haskell.TH
|
||||
import Language.Haskell.TH.Syntax
|
||||
import Ur.Noun.Convert
|
||||
import Urbit.Noun.Convert
|
||||
|
||||
import Ur.Noun.Core (textToUtf8Atom)
|
||||
import Urbit.Noun.Core (textToUtf8Atom)
|
||||
|
||||
import qualified Data.Char as C
|
||||
|
@ -2,11 +2,11 @@
|
||||
Pretty Printer Types
|
||||
-}
|
||||
|
||||
module Ur.Noun.Tank where
|
||||
module Urbit.Noun.Tank where
|
||||
|
||||
import ClassyPrelude
|
||||
import Ur.Noun.Conversions
|
||||
import Ur.Noun.TH
|
||||
import Urbit.Noun.Conversions
|
||||
import Urbit.Noun.TH
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
@ -4,7 +4,7 @@
|
||||
{-|
|
||||
Hoon's `map` and `set` types and conversions to/from Nouns.
|
||||
-}
|
||||
module Ur.Noun.Tree
|
||||
module Urbit.Noun.Tree
|
||||
( HoonSet, setToHoonSet, setFromHoonSet
|
||||
, HoonMap, mapToHoonMap, mapFromHoonMap
|
||||
, mug
|
||||
@ -14,10 +14,10 @@ import ClassyPrelude
|
||||
import Control.Lens hiding (non)
|
||||
|
||||
import Urbit.Atom
|
||||
import Ur.Noun.Conversions ()
|
||||
import Ur.Noun.Convert
|
||||
import Ur.Noun.Core
|
||||
import Ur.Noun.TH
|
||||
import Urbit.Noun.Conversions ()
|
||||
import Urbit.Noun.Convert
|
||||
import Urbit.Noun.Core
|
||||
import Urbit.Noun.TH
|
||||
|
||||
import Data.Bits (shiftR, xor)
|
||||
import Data.Hash.Murmur (murmur3)
|
@ -2,14 +2,14 @@
|
||||
Convenient Re-Exports
|
||||
-}
|
||||
|
||||
module Ur.Prelude
|
||||
module Urbit.Prelude
|
||||
( module ClassyPrelude
|
||||
, module Control.Arrow
|
||||
, module Control.Lens
|
||||
, module Data.Acquire
|
||||
, module Data.RAcquire
|
||||
, module Data.Void
|
||||
, module Ur.Noun
|
||||
, module Urbit.Noun
|
||||
, module Text.Show.Pretty
|
||||
, module Text.Printf
|
||||
, module RIO
|
||||
@ -18,7 +18,7 @@ module Ur.Prelude
|
||||
) where
|
||||
|
||||
import ClassyPrelude
|
||||
import Ur.Noun
|
||||
import Urbit.Noun
|
||||
|
||||
import Control.Lens hiding (Each, Index, cons, index, snoc, uncons, unsnoc,
|
||||
(<.>), (<|))
|
@ -2,7 +2,7 @@
|
||||
TODO This is slow.
|
||||
-}
|
||||
|
||||
module Ur.Time where
|
||||
module Urbit.Time where
|
||||
|
||||
import Control.Lens
|
||||
import Prelude
|
||||
@ -12,7 +12,7 @@ import Data.Time.Clock (DiffTime, UTCTime)
|
||||
import Data.Time.Clock (diffTimeToPicoseconds, picosecondsToDiffTime)
|
||||
import Data.Time.Clock.System (SystemTime(..), getSystemTime)
|
||||
import Data.Time.Clock.System (systemToUTCTime, utcToSystemTime)
|
||||
import Ur.Noun (FromNoun, ToNoun)
|
||||
import Urbit.Noun (FromNoun, ToNoun)
|
||||
|
||||
|
||||
-- Types -----------------------------------------------------------------------
|
@ -1,4 +1,4 @@
|
||||
module Ur.Timer ( Timer(..), init, stop, start
|
||||
module Urbit.Timer ( Timer(..), init, stop, start
|
||||
, Sys.getSystemTime, sysTimeGapMicroSecs
|
||||
) where
|
||||
|
@ -2,21 +2,21 @@
|
||||
Ames IO Driver -- UDP
|
||||
-}
|
||||
|
||||
module Ur.Vere.Ames (ames) where
|
||||
module Urbit.Vere.Ames (ames) where
|
||||
|
||||
import Ur.Prelude
|
||||
import Urbit.Prelude
|
||||
|
||||
import Control.Monad.Extra hiding (mapM_)
|
||||
import Network.Socket hiding (recvFrom, sendTo)
|
||||
import Network.Socket.ByteString
|
||||
import Ur.Arvo hiding (Fake)
|
||||
import Ur.King.Config
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Arvo hiding (Fake)
|
||||
import Urbit.King.Config
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import qualified Data.ByteString as BS
|
||||
import qualified Data.Map as M
|
||||
import qualified Ur.Time as Time
|
||||
import qualified Urbit.Ob as Ob
|
||||
import qualified Urbit.Time as Time
|
||||
|
||||
-- Types -----------------------------------------------------------------------
|
||||
|
@ -2,17 +2,17 @@
|
||||
Behn: Timer Driver
|
||||
-}
|
||||
|
||||
module Ur.Vere.Behn (behn) where
|
||||
module Urbit.Vere.Behn (behn) where
|
||||
|
||||
import Ur.Arvo hiding (Behn)
|
||||
import Ur.Prelude
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Arvo hiding (Behn)
|
||||
import Urbit.Prelude
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Ur.Time (Wen)
|
||||
import Ur.Timer (Timer)
|
||||
import Urbit.Time (Wen)
|
||||
import Urbit.Timer (Timer)
|
||||
|
||||
import qualified Ur.Time as Time
|
||||
import qualified Ur.Timer as Timer
|
||||
import qualified Urbit.Time as Time
|
||||
import qualified Urbit.Timer as Timer
|
||||
|
||||
|
||||
-- Behn Stuff ------------------------------------------------------------------
|
@ -2,12 +2,12 @@
|
||||
UNIX Filesystem Driver
|
||||
-}
|
||||
|
||||
module Ur.Vere.Clay (clay) where
|
||||
module Urbit.Vere.Clay (clay) where
|
||||
|
||||
import Ur.Arvo hiding (Term)
|
||||
import Ur.King.Config
|
||||
import Ur.Prelude
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Arvo hiding (Term)
|
||||
import Urbit.King.Config
|
||||
import Urbit.Prelude
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Conduit
|
||||
import RIO.Directory
|
@ -2,11 +2,11 @@
|
||||
Use etherium to access PKI information.
|
||||
-}
|
||||
|
||||
module Ur.Vere.Dawn where
|
||||
module Urbit.Vere.Dawn where
|
||||
|
||||
import Ur.Arvo.Common
|
||||
import Ur.Arvo.Event hiding (Address)
|
||||
import Ur.Prelude hiding (Call, rights, to)
|
||||
import Urbit.Arvo.Common
|
||||
import Urbit.Arvo.Event hiding (Address)
|
||||
import Urbit.Prelude hiding (Call, rights, to)
|
||||
|
||||
import Data.Bits (xor)
|
||||
import Data.List (nub)
|
@ -2,11 +2,11 @@
|
||||
HTTP Driver
|
||||
-}
|
||||
|
||||
module Ur.Vere.Http where
|
||||
module Urbit.Vere.Http where
|
||||
|
||||
import ClassyPrelude
|
||||
import Ur.Arvo
|
||||
import Ur.Noun
|
||||
import Urbit.Arvo
|
||||
import Urbit.Noun
|
||||
|
||||
import qualified Data.CaseInsensitive as CI
|
||||
import qualified Network.HTTP.Types as HT
|
@ -5,15 +5,15 @@
|
||||
already in use.
|
||||
-}
|
||||
|
||||
module Ur.Vere.Http.Client where
|
||||
module Urbit.Vere.Http.Client where
|
||||
|
||||
import Ur.Arvo (BlipEv(..), Ev(..), HttpClientEf(..),
|
||||
HttpClientEv(..), HttpClientReq(..), HttpEvent(..),
|
||||
KingId, ResponseHeader(..))
|
||||
import Ur.Prelude hiding (Builder)
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Arvo (BlipEv(..), Ev(..), HttpClientEf(..),
|
||||
HttpClientEv(..), HttpClientReq(..),
|
||||
HttpEvent(..), KingId, ResponseHeader(..))
|
||||
import Urbit.Prelude hiding (Builder)
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Ur.Vere.Http
|
||||
import Urbit.Vere.Http
|
||||
|
||||
import qualified Data.Map as M
|
||||
import qualified Network.HTTP.Client as H
|
@ -24,21 +24,21 @@
|
||||
|
||||
{-# OPTIONS_GHC -Wwarn #-}
|
||||
|
||||
module Ur.Vere.Http.Server where
|
||||
module Urbit.Vere.Http.Server where
|
||||
|
||||
import Data.Conduit
|
||||
import Ur.Arvo hiding (ServerId, reqBody, reqUrl, secure)
|
||||
import Ur.King.Config
|
||||
import Ur.Noun
|
||||
import Ur.Prelude hiding (Builder)
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Arvo hiding (ServerId, reqBody, reqUrl, secure)
|
||||
import Urbit.King.Config
|
||||
import Urbit.Noun
|
||||
import Urbit.Prelude hiding (Builder)
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Data.Binary.Builder (Builder, fromByteString)
|
||||
import Data.Bits (shiftL, (.|.))
|
||||
import Network.Socket (SockAddr(..))
|
||||
import System.Directory (doesFileExist, removeFile)
|
||||
import System.Random (randomIO)
|
||||
import Ur.Vere.Http (convertHeaders, unconvertHeaders)
|
||||
import Urbit.Vere.Http (convertHeaders, unconvertHeaders)
|
||||
|
||||
import qualified Network.HTTP.Types as H
|
||||
import qualified Network.Socket as Net
|
@ -2,15 +2,15 @@
|
||||
Low-Level Inferface for LMDB Event Log.
|
||||
-}
|
||||
|
||||
module Ur.Vere.LMDB where
|
||||
module Urbit.Vere.LMDB where
|
||||
|
||||
import Ur.Prelude hiding (init)
|
||||
import Urbit.Prelude hiding (init)
|
||||
|
||||
import Data.RAcquire
|
||||
import Database.LMDB.Raw
|
||||
import Foreign.Marshal.Alloc
|
||||
import Foreign.Ptr
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Foreign.Storable (peek, poke, sizeOf)
|
||||
|
@ -2,9 +2,9 @@
|
||||
Acquire and release the vere lockfile.
|
||||
-}
|
||||
|
||||
module Ur.Vere.LockFile (lockFile) where
|
||||
module Urbit.Vere.LockFile (lockFile) where
|
||||
|
||||
import Ur.Prelude
|
||||
import Urbit.Prelude
|
||||
|
||||
import Data.Default (def)
|
||||
import RIO.Directory (createDirectoryIfMissing)
|
@ -4,20 +4,20 @@
|
||||
TODO Effects storage logic is messy.
|
||||
-}
|
||||
|
||||
module Ur.Vere.Log ( EventLog, identity, nextEv, lastEv
|
||||
, new, existing
|
||||
, streamEvents, appendEvents, trimEvents
|
||||
, streamEffectsRows, writeEffectsRow
|
||||
) where
|
||||
module Urbit.Vere.Log ( EventLog, identity, nextEv, lastEv
|
||||
, new, existing
|
||||
, streamEvents, appendEvents, trimEvents
|
||||
, streamEffectsRows, writeEffectsRow
|
||||
) where
|
||||
|
||||
import Ur.Prelude hiding (init)
|
||||
import Urbit.Prelude hiding (init)
|
||||
|
||||
import Data.Conduit
|
||||
import Data.RAcquire
|
||||
import Database.LMDB.Raw
|
||||
import Foreign.Marshal.Alloc
|
||||
import Foreign.Ptr
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Foreign.Storable (peek, poke, sizeOf)
|
||||
|
@ -2,7 +2,7 @@
|
||||
Use websockets to pass nouns between a client and server.
|
||||
-}
|
||||
|
||||
module Ur.Vere.NounServ
|
||||
module Urbit.Vere.NounServ
|
||||
( Conn(..)
|
||||
, Server(..)
|
||||
, Client(..)
|
||||
@ -14,7 +14,7 @@ module Ur.Vere.NounServ
|
||||
, wsConn
|
||||
) where
|
||||
|
||||
import Ur.Prelude
|
||||
import Urbit.Prelude
|
||||
|
||||
import qualified Network.Wai.Handler.Warp as W
|
||||
import qualified Network.WebSockets as WS
|
@ -6,39 +6,39 @@
|
||||
This is the code that starts the IO drivers and deals with
|
||||
communication between the serf, the log, and the IO drivers.
|
||||
-}
|
||||
module Ur.Vere.Pier
|
||||
module Urbit.Vere.Pier
|
||||
( booted, resumed, getSnapshot, pier, runPersist, runCompute, generateBootSeq
|
||||
) where
|
||||
|
||||
import Ur.Prelude
|
||||
import Urbit.Prelude
|
||||
|
||||
import System.Random
|
||||
import RIO.Directory
|
||||
import Ur.Arvo
|
||||
import Ur.King.Config
|
||||
import Ur.Vere.Pier.Types
|
||||
import System.Random
|
||||
import Urbit.Arvo
|
||||
import Urbit.King.Config
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Data.List (uncons)
|
||||
import Data.Text (append)
|
||||
import System.Posix.Files (ownerModes, setFileMode)
|
||||
import Ur.King.App (HasConfigDir(..))
|
||||
import Ur.Vere.Ames (ames)
|
||||
import Ur.Vere.Behn (behn)
|
||||
import Ur.Vere.Clay (clay)
|
||||
import Ur.Vere.Http.Client (client)
|
||||
import Ur.Vere.Http.Server (serv)
|
||||
import Ur.Vere.Log (EventLog)
|
||||
import Ur.Vere.Serf (Serf, SerfState(..), doJob, sStderr)
|
||||
import Data.List (uncons)
|
||||
import Data.Text (append)
|
||||
import System.Posix.Files (ownerModes, setFileMode)
|
||||
import Urbit.King.App (HasConfigDir(..))
|
||||
import Urbit.Vere.Ames (ames)
|
||||
import Urbit.Vere.Behn (behn)
|
||||
import Urbit.Vere.Clay (clay)
|
||||
import Urbit.Vere.Http.Client (client)
|
||||
import Urbit.Vere.Http.Server (serv)
|
||||
import Urbit.Vere.Log (EventLog)
|
||||
import Urbit.Vere.Serf (Serf, SerfState(..), doJob, sStderr)
|
||||
|
||||
import qualified System.Console.Terminal.Size as TSize
|
||||
import qualified System.Entropy as Ent
|
||||
import qualified Ur.King.API as King
|
||||
import qualified Ur.Time as Time
|
||||
import qualified Ur.Vere.Log as Log
|
||||
import qualified Ur.Vere.Serf as Serf
|
||||
import qualified Ur.Vere.Term as Term
|
||||
import qualified Ur.Vere.Term.API as Term
|
||||
import qualified Ur.Vere.Term.Demux as Term
|
||||
import qualified Urbit.King.API as King
|
||||
import qualified Urbit.Time as Time
|
||||
import qualified Urbit.Vere.Log as Log
|
||||
import qualified Urbit.Vere.Serf as Serf
|
||||
import qualified Urbit.Vere.Term as Term
|
||||
import qualified Urbit.Vere.Term.API as Term
|
||||
import qualified Urbit.Vere.Term.Demux as Term
|
||||
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
@ -154,8 +154,8 @@ getSnapshot :: String -> Word64 -> RIO e (Maybe String)
|
||||
getSnapshot top last = do
|
||||
createDirectoryIfMissing True $ top <> "/.partial-replay/"
|
||||
snapshots <- listDirectory $ top <> "/.partial-replay/"
|
||||
let nums = Ur.Prelude.mapMaybe readMay snapshots :: [Int]
|
||||
let snaps = sort $ Ur.Prelude.filter (\n -> n <= (fromIntegral last)) nums
|
||||
let nums = Urbit.Prelude.mapMaybe readMay snapshots :: [Int]
|
||||
let snaps = sort $ Urbit.Prelude.filter (\n -> n <= (fromIntegral last)) nums
|
||||
case (Data.List.uncons $ reverse snaps) of
|
||||
Nothing -> pure Nothing
|
||||
Just (sn, _) -> pure $ Just $ top <> "/.partial-replay/" <> (show sn)
|
@ -3,12 +3,12 @@
|
||||
|
||||
TODO Most of these could probably find better homes.
|
||||
-}
|
||||
module Ur.Vere.Pier.Types where
|
||||
module Urbit.Vere.Pier.Types where
|
||||
|
||||
import Ur.Prelude hiding (Term)
|
||||
import Urbit.Prelude hiding (Term)
|
||||
|
||||
import Ur.Arvo
|
||||
import Ur.Time
|
||||
import Urbit.Arvo
|
||||
import Urbit.Time
|
||||
|
||||
|
||||
-- Avoid touching Nock values. -------------------------------------------------
|
@ -6,20 +6,20 @@
|
||||
TODO: `recvLen` is not big-endian safe.
|
||||
-}
|
||||
|
||||
module Ur.Vere.Serf ( Serf, sStderr, SerfState(..), doJob
|
||||
, run, shutdown, kill
|
||||
, replay, bootFromSeq, snapshot
|
||||
, collectFX
|
||||
, Config(..), Flags, Flag(..)
|
||||
) where
|
||||
module Urbit.Vere.Serf ( Serf, sStderr, SerfState(..), doJob
|
||||
, run, shutdown, kill
|
||||
, replay, bootFromSeq, snapshot
|
||||
, collectFX
|
||||
, Config(..), Flags, Flag(..)
|
||||
) where
|
||||
|
||||
import Ur.Prelude
|
||||
import Urbit.Prelude
|
||||
|
||||
import Data.Conduit
|
||||
import System.Process
|
||||
import System.ProgressBar
|
||||
import Ur.Arvo
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Arvo
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Data.Bits (setBit)
|
||||
import Data.ByteString (hGet)
|
||||
@ -29,18 +29,14 @@ import Foreign.Ptr (castPtr)
|
||||
import Foreign.Storable (peek, poke)
|
||||
import System.Exit (ExitCode)
|
||||
|
||||
import qualified Data.ByteString.Unsafe as BS
|
||||
import qualified Data.ByteString.Unsafe as BS
|
||||
import qualified Data.Conduit.Combinators as CC
|
||||
import qualified Data.Text as T
|
||||
import qualified Data.Text as T
|
||||
import qualified System.IO as IO
|
||||
import qualified System.IO as IO
|
||||
import qualified System.IO.Error as IO
|
||||
import qualified System.IO.Error as IO
|
||||
import qualified Ur.Time as Time
|
||||
import qualified Ur.Vere.Log as Log
|
||||
import qualified Urbit.Ob as Ob
|
||||
import qualified Urbit.Time as Time
|
||||
import qualified Urbit.Vere.Log as Log
|
||||
|
||||
|
||||
-- Serf Config -----------------------------------------------------------------
|
@ -1,7 +1,7 @@
|
||||
{-|
|
||||
Terminal Driver
|
||||
-}
|
||||
module Ur.Vere.Term
|
||||
module Urbit.Vere.Term
|
||||
( module Term
|
||||
, localClient
|
||||
, connectToRemote
|
||||
@ -17,24 +17,24 @@ import Foreign.Storable
|
||||
import RIO.FilePath
|
||||
import System.Posix.IO
|
||||
import System.Posix.Terminal
|
||||
import Ur.Arvo hiding (Term)
|
||||
import Ur.King.Config
|
||||
import Ur.Prelude hiding (getCurrentTime)
|
||||
import Ur.Time
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Arvo hiding (Term)
|
||||
import Urbit.King.Config
|
||||
import Urbit.Prelude hiding (getCurrentTime)
|
||||
import Urbit.Time
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Data.List ((!!))
|
||||
import RIO.Directory (createDirectoryIfMissing)
|
||||
import Ur.King.API (readPortsFile)
|
||||
import Ur.King.App (HasConfigDir(..))
|
||||
import Ur.Vere.Term.API (Client(Client))
|
||||
import Data.List ((!!))
|
||||
import RIO.Directory (createDirectoryIfMissing)
|
||||
import Urbit.King.API (readPortsFile)
|
||||
import Urbit.King.App (HasConfigDir(..))
|
||||
import Urbit.Vere.Term.API (Client(Client))
|
||||
|
||||
import qualified Data.ByteString.Internal as BS
|
||||
import qualified Data.ByteString.UTF8 as BS
|
||||
import qualified System.Console.Terminal.Size as TSize
|
||||
import qualified System.Console.Terminfo.Base as T
|
||||
import qualified Ur.Vere.NounServ as Serv
|
||||
import qualified Ur.Vere.Term.API as Term
|
||||
import qualified Urbit.Vere.NounServ as Serv
|
||||
import qualified Urbit.Vere.Term.API as Term
|
||||
|
||||
|
||||
-- Types -----------------------------------------------------------------------
|
@ -1,11 +1,11 @@
|
||||
{-|
|
||||
Interface Terminal API.
|
||||
-}
|
||||
module Ur.Vere.Term.API (Ev(..), Client(..), trace, spin, stopSpin) where
|
||||
module Urbit.Vere.Term.API (Ev(..), Client(..), trace, spin, stopSpin) where
|
||||
|
||||
import Ur.Prelude hiding (trace)
|
||||
import Urbit.Prelude hiding (trace)
|
||||
|
||||
import Ur.Arvo (Belt, Blit)
|
||||
import Urbit.Arvo (Belt, Blit)
|
||||
|
||||
|
||||
-- External Types --------------------------------------------------------------
|
@ -4,15 +4,15 @@
|
||||
given full event history since the creation of the demuxer.
|
||||
-}
|
||||
|
||||
module Ur.Vere.Term.Demux (Demux, mkDemux, addDemux, useDemux) where
|
||||
module Urbit.Vere.Term.Demux (Demux, mkDemux, addDemux, useDemux) where
|
||||
|
||||
import Ur.Prelude
|
||||
import Urbit.Prelude
|
||||
|
||||
import Ur.Arvo (Belt)
|
||||
import Ur.Vere.Term.API (Client(Client))
|
||||
import Urbit.Arvo (Belt)
|
||||
import Urbit.Vere.Term.API (Client(Client))
|
||||
|
||||
import qualified Ur.Vere.Term.API as Term
|
||||
import qualified Ur.Vere.Term.Logic as Logic
|
||||
import qualified Urbit.Vere.Term.API as Term
|
||||
import qualified Urbit.Vere.Term.Logic as Logic
|
||||
|
||||
|
||||
-- External --------------------------------------------------------------------
|
@ -2,7 +2,7 @@
|
||||
Tracks terminal state so that new terminal connections can be brought
|
||||
up to speed.
|
||||
-}
|
||||
module Ur.Vere.Term.Logic
|
||||
module Urbit.Vere.Term.Logic
|
||||
( SpinnerCause(..), St, Ev(..), Ef(..)
|
||||
, init
|
||||
, step
|
||||
@ -11,12 +11,12 @@ module Ur.Vere.Term.Logic
|
||||
, toTermEv
|
||||
) where
|
||||
|
||||
import Ur.Prelude hiding (init)
|
||||
import Urbit.Prelude hiding (init)
|
||||
|
||||
import Data.Sequence (Seq((:<|)))
|
||||
|
||||
import qualified Ur.Arvo as Arvo
|
||||
import qualified Ur.Vere.Term.API as Term
|
||||
import qualified Urbit.Arvo as Arvo
|
||||
import qualified Urbit.Vere.Term.API as Term
|
||||
|
||||
|
||||
--------------------------------------------------------------------------------
|
@ -1,4 +1,4 @@
|
||||
name: king
|
||||
name: urbit-king
|
||||
version: 0.10.1
|
||||
license: MIT
|
||||
license-file: LICENSE
|
||||
@ -19,10 +19,10 @@ library:
|
||||
- -O2
|
||||
|
||||
tests:
|
||||
king-tests:
|
||||
urbit-king-tests:
|
||||
source-dirs: test
|
||||
main: Main.hs
|
||||
dependencies: king
|
||||
dependencies: urbit-king
|
||||
ghc-options:
|
||||
- -threaded
|
||||
- -rtsopts
|
||||
@ -160,10 +160,11 @@ default-extensions:
|
||||
- ViewPatterns
|
||||
|
||||
executables:
|
||||
king:
|
||||
urbit-king:
|
||||
main: Main.hs
|
||||
source-dirs: app
|
||||
dependencies: ["king"]
|
||||
dependencies:
|
||||
- urbit-king
|
||||
when:
|
||||
- condition: flag(Release)
|
||||
then:
|
@ -7,21 +7,21 @@ import Test.QuickCheck hiding ((.&.))
|
||||
import Test.Tasty
|
||||
import Test.Tasty.QuickCheck
|
||||
import Test.Tasty.TH
|
||||
import Ur.Arvo
|
||||
import Ur.King.Config
|
||||
import Ur.Noun
|
||||
import Ur.Prelude
|
||||
import Ur.Time
|
||||
import Ur.Vere.Ames
|
||||
import Ur.Vere.Log
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Arvo
|
||||
import Urbit.King.Config
|
||||
import Urbit.Noun
|
||||
import Urbit.Prelude
|
||||
import Urbit.Time
|
||||
import Urbit.Vere.Ames
|
||||
import Urbit.Vere.Log
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Control.Concurrent (runInBoundThread)
|
||||
import Data.LargeWord (LargeKey(..))
|
||||
import GHC.Natural (Natural)
|
||||
import Network.Socket (tupleToHostAddress)
|
||||
|
||||
import qualified Ur.Vere.Log as Log
|
||||
import qualified Urbit.Vere.Log as Log
|
||||
|
||||
|
||||
-- Utils -----------------------------------------------------------------------
|
@ -9,18 +9,18 @@ import Test.QuickCheck hiding ((.&.))
|
||||
import Test.Tasty
|
||||
import Test.Tasty.QuickCheck
|
||||
import Test.Tasty.TH
|
||||
import Ur.Arvo
|
||||
import Ur.Prelude
|
||||
import Ur.Time
|
||||
import Ur.Vere.Log
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Arvo
|
||||
import Urbit.Prelude
|
||||
import Urbit.Time
|
||||
import Urbit.Vere.Log
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Control.Concurrent (runInBoundThread, threadDelay)
|
||||
import Data.LargeWord (LargeKey(..))
|
||||
import GHC.Natural (Natural)
|
||||
import Network.Socket (tupleToHostAddress)
|
||||
|
||||
import qualified Ur.Vere.Log as Log
|
||||
import qualified Urbit.Vere.Log as Log
|
||||
|
||||
|
||||
-- Utils -----------------------------------------------------------------------
|
@ -8,22 +8,22 @@ import Test.QuickCheck hiding ((.&.))
|
||||
import Test.Tasty
|
||||
import Test.Tasty.QuickCheck
|
||||
import Test.Tasty.TH
|
||||
import Ur.Arvo
|
||||
import Ur.Noun
|
||||
import Ur.Prelude
|
||||
import Ur.Time
|
||||
import Ur.Vere.Behn
|
||||
import Ur.Vere.Log
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Arvo
|
||||
import Urbit.Noun
|
||||
import Urbit.Prelude
|
||||
import Urbit.Time
|
||||
import Urbit.Vere.Behn
|
||||
import Urbit.Vere.Log
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Control.Concurrent (runInBoundThread, threadDelay)
|
||||
import Data.LargeWord (LargeKey(..))
|
||||
import GHC.Natural (Natural)
|
||||
import Network.Socket (tupleToHostAddress)
|
||||
import Ur.King.App (runApp)
|
||||
import Urbit.King.App (runApp)
|
||||
|
||||
import qualified Ur.Time as Time
|
||||
import qualified Ur.Vere.Log as Log
|
||||
import qualified Urbit.Time as Time
|
||||
import qualified Urbit.Vere.Log as Log
|
||||
|
||||
|
||||
--------------------------------------------------------------------------------
|
@ -1,7 +1,7 @@
|
||||
module ClayTests (tests) where
|
||||
|
||||
import Ur.Noun.Conversions
|
||||
import Ur.Prelude
|
||||
import Urbit.Noun.Conversions
|
||||
import Urbit.Prelude
|
||||
|
||||
import Test.QuickCheck hiding ((.&.))
|
||||
import Test.Tasty
|
@ -1,14 +1,14 @@
|
||||
module DawnTests (tests) where
|
||||
|
||||
import Ur.Arvo.Event
|
||||
import Ur.Noun.Conversions
|
||||
import Ur.Prelude
|
||||
import Urbit.Arvo.Event
|
||||
import Urbit.Noun.Conversions
|
||||
import Urbit.Prelude
|
||||
|
||||
import Test.Tasty
|
||||
import Test.Tasty.HUnit
|
||||
|
||||
import qualified Ur.Vere.Dawn as Dawn
|
||||
import qualified Urbit.Ob as Ob
|
||||
import qualified Urbit.Ob as Ob
|
||||
import qualified Urbit.Vere.Dawn as Dawn
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
@ -7,15 +7,15 @@ import Test.QuickCheck hiding ((.&.))
|
||||
import Test.Tasty
|
||||
import Test.Tasty.QuickCheck
|
||||
import Test.Tasty.TH
|
||||
import Ur.Prelude
|
||||
import Ur.Vere.Log
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Prelude
|
||||
import Urbit.Vere.Log
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Control.Concurrent (runInBoundThread, threadDelay)
|
||||
import Data.LargeWord (LargeKey(..))
|
||||
import GHC.Natural (Natural)
|
||||
|
||||
import qualified Ur.Vere.Log as Log
|
||||
import qualified Urbit.Vere.Log as Log
|
||||
|
||||
|
||||
-- Sum Types -------------------------------------------------------------------
|
@ -1,7 +1,7 @@
|
||||
module HoonMapSetTests (tests) where
|
||||
|
||||
import RIO.Directory
|
||||
import Ur.Prelude hiding (encodeUtf8)
|
||||
import Urbit.Prelude hiding (encodeUtf8)
|
||||
|
||||
import Data.Text.Lazy.Encoding (encodeUtf8)
|
||||
import Numeric.Natural (Natural)
|
||||
@ -73,7 +73,7 @@ goldenFile :: String -> String -> (FilePath -> IO L.ByteString) -> TestTree
|
||||
goldenFile testName testFileName action =
|
||||
goldenVsString testName gold (action pill)
|
||||
where
|
||||
root = "pkg/hs/king/test/gold" </> testFileName
|
||||
root = "pkg/hs/urbit-king/test/gold" </> testFileName
|
||||
gold = root <.> "gold"
|
||||
pill = root <.> "pill"
|
||||
|
@ -1,10 +1,10 @@
|
||||
module JamTests (tests) where
|
||||
|
||||
import Ur.Arvo.Event
|
||||
import Ur.Noun.Conversions
|
||||
import Ur.Noun.Cue
|
||||
import Ur.Noun.Jam
|
||||
import Ur.Prelude
|
||||
import Urbit.Arvo.Event
|
||||
import Urbit.Noun.Conversions
|
||||
import Urbit.Noun.Cue
|
||||
import Urbit.Noun.Jam
|
||||
import Urbit.Prelude
|
||||
|
||||
import GHC.Natural (Natural(..))
|
||||
import Test.QuickCheck hiding ((.&.))
|
@ -7,16 +7,16 @@ import Test.QuickCheck hiding ((.&.))
|
||||
import Test.Tasty
|
||||
import Test.Tasty.QuickCheck
|
||||
import Test.Tasty.TH
|
||||
import Ur.Prelude
|
||||
import Ur.Vere.Log
|
||||
import Ur.Vere.Pier.Types
|
||||
import Urbit.Prelude
|
||||
import Urbit.Vere.Log
|
||||
import Urbit.Vere.Pier.Types
|
||||
|
||||
import Control.Concurrent (runInBoundThread, threadDelay)
|
||||
import Data.LargeWord (LargeKey(..))
|
||||
import GHC.Natural (Natural)
|
||||
import Ur.King.App (App, runApp)
|
||||
import Urbit.King.App (App, runApp)
|
||||
|
||||
import qualified Ur.Vere.Log as Log
|
||||
import qualified Urbit.Vere.Log as Log
|
||||
|
||||
|
||||
-- Utils -----------------------------------------------------------------------
|
@ -1,8 +1,8 @@
|
||||
module NounConversionTests (tests) where
|
||||
|
||||
import Ur.Arvo.Event
|
||||
import Ur.Noun.Conversions
|
||||
import Ur.Prelude
|
||||
import Urbit.Arvo.Event
|
||||
import Urbit.Noun.Conversions
|
||||
import Urbit.Prelude
|
||||
|
||||
import Data.Maybe
|
||||
import Test.QuickCheck hiding ((.&.))
|
@ -4,7 +4,7 @@ set -ex
|
||||
|
||||
export STACK_YAML="`pwd`/pkg/hs/stack.yaml"
|
||||
|
||||
stack test king
|
||||
stack test urbit-king
|
||||
|
||||
if [ "$TRAVIS_PULL_REQUEST" = false ]
|
||||
then
|
||||
|
@ -18,12 +18,12 @@ mkdir -p release
|
||||
|
||||
stack clean # Make sure we optimize
|
||||
|
||||
stack install king \
|
||||
stack install urbit-king \
|
||||
--local-bin-path "`pwd`/release" \
|
||||
--test --no-run-tests
|
||||
|
||||
out="release/king-darwin-dynamic-$ver"
|
||||
|
||||
mv release/king "$out"
|
||||
mv release/urbit-king "$out"
|
||||
|
||||
otool -L "$out"
|
||||
|
@ -18,12 +18,12 @@ mkdir -p release
|
||||
|
||||
stack clean # Make sure we optimize
|
||||
|
||||
stack install king \
|
||||
stack install urbit-king \
|
||||
--local-bin-path "`pwd`/release" \
|
||||
--test --no-run-tests
|
||||
|
||||
out="release/king-linux64-dynamic-$ver"
|
||||
|
||||
mv release/king "$out"
|
||||
mv release/urbit-king "$out"
|
||||
|
||||
ldd "$out"
|
||||
|
@ -20,6 +20,6 @@ popd
|
||||
|
||||
out="release/king-linux64-static-$ver"
|
||||
|
||||
cp "$king"/bin/king "$out"
|
||||
cp "$king"/bin/urbit-king "$out"
|
||||
|
||||
ldd "$out"
|
||||
|
Loading…
Reference in New Issue
Block a user