liblawless 0.25.2 → 0.26.0
raw patch · 10 files changed
+59/−35 lines, 10 filesdep +lawless-concurrent-machinesdep −concurrent-machinesdep ~basedep ~hjsonschemadep ~protoludePVP ok
version bump matches the API change (PVP)
Dependencies added: lawless-concurrent-machines
Dependencies removed: concurrent-machines
Dependency ranges changed: base, hjsonschema, protolude, time
API changes (from Hackage documentation)
- Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Clock.Scale.DiffTime
- Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Clock.UTC.UTCTime
- STM.Base: data IO a :: * -> *
+ Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Clock.Internal.DiffTime.DiffTime
+ Arbitrary: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Clock.Internal.UTCTime.UTCTime
+ IO: data IO a :: * -> *
+ IO.Base: data IO a :: * -> *
- IO: liftIO :: MonadIO m => forall a. IO a -> m a
+ IO: liftIO :: MonadIO m => forall a. () => IO a -> m a
- Map: singleton :: k -> a -> Map k a
+ Map: singleton :: () => k -> a -> Map k a
- Path: (<++>) :: FilePath os ar -> String -> FilePath os ar
+ Path: (<++>) :: () => FilePath os ar -> String -> FilePath os ar
- Path: (<.>) :: FilePath os ar -> String -> FilePath os ar
+ Path: (<.>) :: () => FilePath os ar -> String -> FilePath os ar
- Path: (</>) :: DirPath os ar -> RelPath os fd -> Path os ar fd
+ Path: (</>) :: () => DirPath os ar -> RelPath os fd -> Path os ar fd
- Path: addExtension :: FilePath os ar -> String -> FilePath os ar
+ Path: addExtension :: () => FilePath os ar -> String -> FilePath os ar
- Path: combine :: DirPath os ar -> RelPath os fd -> Path os ar fd
+ Path: combine :: () => DirPath os ar -> RelPath os fd -> Path os ar fd
- Path: dirFromFile :: FilePath os ar -> DirPath os ar
+ Path: dirFromFile :: () => FilePath os ar -> DirPath os ar
- Path: dirFromFileDir :: FileDirPath os ar -> DirPath os ar
+ Path: dirFromFileDir :: () => FileDirPath os ar -> DirPath os ar
- Path: dropExtension :: FilePath os ar -> FilePath os ar
+ Path: dropExtension :: () => FilePath os ar -> FilePath os ar
- Path: dropExtensions :: FilePath os ar -> FilePath os ar
+ Path: dropExtensions :: () => FilePath os ar -> FilePath os ar
- Path: dropFileName :: FilePath os ar -> DirPath os ar
+ Path: dropFileName :: () => FilePath os ar -> DirPath os ar
- Path: dynamicMakeAbsoluteFromCwd :: System os => AbsRelPath os fd -> IO (AbsPath os fd)
+ Path: dynamicMakeAbsoluteFromCwd :: System os => AbsRelPath os fd -> IO AbsPath os fd
- Path: fileFromDir :: DirPath os ar -> Maybe (FilePath os ar)
+ Path: fileFromDir :: () => DirPath os ar -> Maybe FilePath os ar
- Path: fileFromFileDir :: FileDirPath os ar -> Maybe (FilePath os ar)
+ Path: fileFromFileDir :: () => FileDirPath os ar -> Maybe FilePath os ar
- Path: fromFileDir :: FileDir fd => FileDirPath os ar -> Maybe (Path os ar fd)
+ Path: fromFileDir :: FileDir fd => FileDirPath os ar -> Maybe Path os ar fd
- Path: genericMakeAbsoluteFromCwd :: (System os, AbsRel ar) => Path os ar fd -> IO (AbsPath os fd)
+ Path: genericMakeAbsoluteFromCwd :: (System os, AbsRel ar) => Path os ar fd -> IO AbsPath os fd
- Path: hasAnExtension :: FilePath os ar -> Bool
+ Path: hasAnExtension :: () => FilePath os ar -> Bool
- Path: hasExtension :: String -> FilePath os ar -> Bool
+ Path: hasExtension :: () => String -> FilePath os ar -> Bool
- Path: makeAbsoluteFromCwd :: System os => RelPath os fd -> IO (AbsPath os fd)
+ Path: makeAbsoluteFromCwd :: System os => RelPath os fd -> IO AbsPath os fd
- Path: makeRelativeMaybe :: (System os, FileDir fd) => AbsDir os -> AbsPath os fd -> Maybe (RelPath os fd)
+ Path: makeRelativeMaybe :: (System os, FileDir fd) => AbsDir os -> AbsPath os fd -> Maybe RelPath os fd
- Path: mapFileName :: (String -> String) -> FilePath os ar -> FilePath os ar
+ Path: mapFileName :: () => (String -> String) -> FilePath os ar -> FilePath os ar
- Path: mapFileNameF :: Functor f => (String -> f String) -> FilePath os ar -> f (FilePath os ar)
+ Path: mapFileNameF :: Functor f => (String -> f String) -> FilePath os ar -> f FilePath os ar
- Path: parse :: (AbsRel ar, FileDir fd) => String -> Either String (Path ar fd)
+ Path: parse :: (AbsRel ar, FileDir fd) => String -> Either String Path ar fd
- Path: replaceBaseName :: FilePath os ar -> String -> FilePath os ar
+ Path: replaceBaseName :: () => FilePath os ar -> String -> FilePath os ar
- Path: replaceDirectory :: FilePath os ar1 -> DirPath os ar2 -> FilePath os ar2
+ Path: replaceDirectory :: () => FilePath os ar1 -> DirPath os ar2 -> FilePath os ar2
- Path: replaceExtension :: FilePath os ar -> String -> FilePath os ar
+ Path: replaceExtension :: () => FilePath os ar -> String -> FilePath os ar
- Path: replaceFileName :: FilePath os ar -> String -> FilePath os ar
+ Path: replaceFileName :: () => FilePath os ar -> String -> FilePath os ar
- Path: splitDirName :: DirPath os ar -> Maybe (DirPath os ar, RelDir os)
+ Path: splitDirName :: () => DirPath os ar -> Maybe (DirPath os ar, RelDir os)
- Path: splitExtension :: FilePath os ar -> (FilePath os ar, String)
+ Path: splitExtension :: () => FilePath os ar -> (FilePath os ar, String)
- Path: splitExtensions :: FilePath os ar -> (FilePath os ar, String)
+ Path: splitExtensions :: () => FilePath os ar -> (FilePath os ar, String)
- Path: splitFileName :: FilePath os ar -> (DirPath os ar, RelFile os)
+ Path: splitFileName :: () => FilePath os ar -> (DirPath os ar, RelFile os)
- Path: splitPath :: (AbsRel ar, FileOrDir fd) => Path os ar fd -> (Bool, [RelDir os], Maybe (RelFile os))
+ Path: splitPath :: (AbsRel ar, FileOrDir fd) => Path os ar fd -> (Bool, [RelDir os], Maybe RelFile os)
- Path: takeBaseName :: FilePath os ar -> RelFile os
+ Path: takeBaseName :: () => FilePath os ar -> RelFile os
- Path: takeDirName :: DirPath os ar -> Maybe (RelDir os)
+ Path: takeDirName :: () => DirPath os ar -> Maybe RelDir os
- Path: takeDirectory :: FilePath os ar -> DirPath os ar
+ Path: takeDirectory :: () => FilePath os ar -> DirPath os ar
- Path: takeExtension :: FilePath os ar -> String
+ Path: takeExtension :: () => FilePath os ar -> String
- Path: takeExtensions :: FilePath os ar -> String
+ Path: takeExtensions :: () => FilePath os ar -> String
- Path: takeFileName :: FilePath os ar -> RelFile os
+ Path: takeFileName :: () => FilePath os ar -> RelFile os
- Path: takeSuperDirectory :: DirPath os ar -> Maybe (DirPath os ar)
+ Path: takeSuperDirectory :: () => DirPath os ar -> Maybe DirPath os ar
- Time: formatCharacter :: FormatTime t => Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> t -> String)
+ Time: formatCharacter :: FormatTime t => Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> t -> String)
Files
- Source/Environment.hs +0/−1
- Source/IO.hs +2/−3
- Source/IO/Base.hs +4/−1
- Source/Lawless.hs +40/−15
- Source/STM/Base.hs +0/−2
- Source/STM/Hub.hs +0/−1
- Source/Text/IO.hs +0/−1
- Source/Time.hs +1/−1
- Tests/TestTextMachine.hs +0/−1
- liblawless.cabal +12/−9
Source/Environment.hs view
@@ -29,7 +29,6 @@ )where import Lawless-import IO import qualified System.Environment as SE
Source/IO.hs view
@@ -10,6 +10,7 @@ -} module IO (+ IO, getLine, hGetLine, putStr,@@ -58,7 +59,6 @@ import Lawless -- import IO.Base-import Control.Monad.IO.Class import qualified System.Path.Directory as D import qualified System.Path.IO as PIO import qualified Text.IO as TIO@@ -66,11 +66,10 @@ import Printer import Path import qualified System.Path.PartClass as PC-import Exception import qualified System.IO as SIO import System.IO (Handle, stdin, stdout, stderr, SeekMode(..), IOMode(..))-import Data.Typeable import Data.Text.Lazy.Builder (Builder)+import Exception default (Text)
Source/IO/Base.hs view
@@ -10,8 +10,11 @@ module IO.Base ( module Control.Monad.Base,- module Control.Monad.Trans.Control+ module Control.Monad.Trans.Control,+ IO ) where import Control.Monad.Base import Control.Monad.Trans.Control++import System.IO (IO)
Source/Lawless.hs view
@@ -1,7 +1,4 @@ module Lawless (- module Applicative,- module Base,- module Bool, module Control.Applicative, module Control.Lens, module Data.Bool,@@ -14,23 +11,51 @@ module Data.Ord, module Data.Text.Lens, module Data.Traversable,- module Either,- module Functor,- module List,- module Monad,+ module Prelude,+ module Protolude, module Text, module Textual, module Unicode ) where -import Applicative-import Base hiding (print, putStr, putStrLn)-import Bool-import Either-import Functor-import List hiding (sum, product)-import Monad-import Control.Lens hiding (strict)+import Prelude (+ Integer,+ Num(..),+ Bounded(..),+ Enum(..),+ Num(..),+ Integral(..),+ Real(..),+ Show(..),+ fromIntegral)++import Protolude hiding(+ print,+ putStr,+ putStrLn,+ getLine,+ hPutStr,+ hPutStrLn,+ readFile,+ writeFile,+ appendFile,+ sum,+ product,+ show,+ (<&>),+ to,+ from,+ unsnoc,+ uncons,+ (<.>),+ Strict,+ atomically,+ async,+ bracket,+ bracket_,+ try,+ finally)+import Control.Lens import Data.Eq (Eq(..)) import Data.Ord (Ord(..))
Source/STM/Base.hs view
@@ -13,7 +13,6 @@ module Control.Concurrent.STM.TVar, module Control.Concurrent.STM.TMVar, module Control.Concurrent.STM.TBChan,- IO, STM, atomically, newTVarIO,@@ -35,7 +34,6 @@ import Control.Concurrent.STM.TBChan ( TBChan, readTBChan, writeTBChan, isEmptyTBChan )-import Data.Word -- | 'STM.atomically' lifted to 'MonadBase' 'IO'. atomically :: MonadBase IO m => STM α -> m α
Source/STM/Hub.hs view
@@ -23,7 +23,6 @@ import Lawless import STM.Base-import Data.Word -- * The 'Hub'
Source/Text/IO.hs view
@@ -27,7 +27,6 @@ import qualified Data.Text.IO as TIO import Data.Text (Text) import System.Path-import Control.Monad.IO.Class import System.Path.IO (Handle, hIsEOF) import Machine
Source/Time.hs view
@@ -21,7 +21,7 @@ import Data.Time.Format import Generics import IO (MonadIO, liftIO)-import Lawless+import Lawless hiding (put, get) import qualified Textual as T import qualified Parser as P import Aeson
Tests/TestTextMachine.hs view
@@ -14,7 +14,6 @@ module TestTextMachine where import Lawless-import Text hiding (text) import Arbitrary() import Test.Framework
liblawless.cabal view
@@ -1,5 +1,5 @@ name: liblawless-version: 0.25.2+version: 0.26.0 synopsis: Prelude based on protolude for GHC 8 and beyond. license: GPL-3 license-file: LICENSE@@ -29,10 +29,10 @@ source-repository this type: git location: https://gitlab.com/theunixman/liblawless.git- tag: v0.25.2+ tag: v0.26.0 library- ghc-options: -Wall -Wno-redundant-constraints -Wno-type-defaults -O2+ ghc-options: -Wall -Wno-redundant-constraints -Wno-type-defaults exposed-modules: Aeson Arbitrary@@ -90,19 +90,19 @@ TypeSynonymInstances build-depends: aeson >= 0.11.2 && < 0.12,- base >=4.9 && <4.10,+ base >= 4.9 && < 5, base-unicode-symbols >= 0.2.2 && < 0.3, binary >= 0.8.3 && < 0.9, boomerang >= 1.4.5.2 && < 1.5, bytestring >= 0.10.8 && < 0.11, containers >= 0.5.7 && < 0.6, containers-unicode-symbols >= 0.3.1 && < 0.4,- concurrent-machines >= 0.2.3.3 && < 0.3,+ lawless-concurrent-machines >= 0.2.3.3 && < 0.5, contravariant >= 1.4 && < 1.5, data-textual >= 0.3.0 && < 0.4, dns >= 2.0.8 && < 2.1, exceptions >= 0.8.3 && < 0.9,- hjsonschema >= 1.6.2 && < 1.7,+ hjsonschema >= 1.6.2 && < 1.9, lens >= 4.14 && < 4.16, lifted-async >= 0.9.1.1 && < 0.10, lifted-base >= 0.2.3 && < 0.3,@@ -114,7 +114,7 @@ network-ip >= 0.3 && < 0.4, parsers >= 0.12.4 && < 0.13, pathtype >= 0.8 && < 0.9,- protolude >= 0.1.10 && < 0.2,+ protolude >= 0.1.10 && < 0.4, random >= 1.1 && < 1.2, semigroups >= 0.18.2 && < 0.19, stm >= 2.4.4 && < 2.5,@@ -124,7 +124,7 @@ temporary >= 1.2.0 && < 1.3, text >= 1.2.2 && < 1.3, text-printer >= 0.4 && < 0.5,- time >= 1.6.0 && < 1.7,+ time >= 1.6.0 && < 1.9, transformers >= 0.5.2 && < 0.6, transformers-base >= 0.4.4 && < 0.5, zippers >= 0.2.2 && < 0.3@@ -147,14 +147,17 @@ ghc-options: -threaded main-is: Main.hs other-modules:+ Line TestAeson+ TestAesonEncoding TestTemporary+ TestTextMachine TestTime Paths_liblawless build-depends: QuickCheck >= 2.8 && < 2.10, aeson < 1.0,- base >= 4.9 && < 4.10,+ base >= 4.9 && < 5, binary >= 0.7.5.0, bytestring, exceptions >= 0.8.3,