hw-polysemy 0.2.14.11 → 0.2.14.12
raw patch · 33 files changed
+615/−567 lines, 33 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- core/HaskellWorks/Data/String.hs +8/−0
- core/HaskellWorks/Error.hs +4/−4
- core/HaskellWorks/Error/Types.hs +2/−2
- core/HaskellWorks/IO/Network/Port.hs +3/−3
- core/HaskellWorks/IO/Network/Socket.hs +5/−5
- core/HaskellWorks/IO/Process.hs +2/−2
- core/HaskellWorks/Polysemy/Cabal.hs +3/−3
- core/HaskellWorks/Polysemy/Cabal/Types.hs +2/−2
- core/HaskellWorks/Polysemy/Data/Aeson.hs +2/−2
- core/HaskellWorks/Polysemy/Data/Text.hs +117/−117
- core/HaskellWorks/Polysemy/Data/Text/Lazy.hs +114/−114
- core/HaskellWorks/Polysemy/Data/Text/Strict.hs +116/−116
- core/HaskellWorks/Polysemy/Error.hs +5/−5
- core/HaskellWorks/Polysemy/FilePath.hs +2/−2
- core/HaskellWorks/Polysemy/OS.hs +1/−1
- core/HaskellWorks/Polysemy/Stack.hs +1/−1
- core/HaskellWorks/Polysemy/String.hs +1/−1
- core/HaskellWorks/Polysemy/System/IO.hs +0/−1
- core/HaskellWorks/Prelude.hs +152/−140
- core/HaskellWorks/Unsafe.hs +6/−0
- hedgehog/HaskellWorks/Polysemy/Hedgehog.hs +1/−0
- hedgehog/HaskellWorks/Polysemy/Hedgehog/Assert.hs +6/−1
- hedgehog/HaskellWorks/Polysemy/Hedgehog/Effect/Hedgehog.hs +15/−15
- hedgehog/HaskellWorks/Polysemy/Hedgehog/Effect/Hedgehog/Internal.hs +9/−9
- hedgehog/HaskellWorks/Polysemy/Hedgehog/Effect/Log.hs +2/−2
- hedgehog/HaskellWorks/Polysemy/Hedgehog/Eval.hs +5/−5
- hedgehog/HaskellWorks/Polysemy/Hedgehog/Jot.hs +18/−2
- hedgehog/HaskellWorks/Polysemy/Hedgehog/Property.hs +2/−3
- hedgehog/HaskellWorks/Polysemy/Hedgehog/Test.hs +2/−2
- hw-polysemy.cabal +3/−1
- test/HaskellWorks/Polysemy/HedgehogSpec.hs +2/−2
- test/HaskellWorks/Polysemy/TestContainers/LocalStackSpec.hs +1/−1
- testcontainers-localstack/HaskellWorks/Polysemy/Amazonka/LocalStack.hs +3/−3
+ core/HaskellWorks/Data/String.hs view
@@ -0,0 +1,8 @@+module HaskellWorks.Data.String+ ( unlines+ , unwords+ , words+ , lines+ ) where++import Data.String
core/HaskellWorks/Error.hs view
@@ -1,8 +1,8 @@ module HaskellWorks.Error- ( onLeft- , onNothing- , onLeftM- , onNothingM+ ( onLeft,+ onNothing,+ onLeftM,+ onNothingM, ) where import HaskellWorks.Polysemy.Prelude
core/HaskellWorks/Error/Types.hs view
@@ -1,8 +1,8 @@ {-# LANGUAGE DeriveGeneric #-} module HaskellWorks.Error.Types- ( GenericError(..)- , TimedOut(..)+ ( GenericError(..),+ TimedOut(..), ) where import HaskellWorks.Polysemy.Prelude
core/HaskellWorks/IO/Network/Port.hs view
@@ -1,9 +1,9 @@ {-# LANGUAGE TypeApplications #-} module HaskellWorks.IO.Network.Port- ( randomPort- , reserveRandomPort- , portInUse+ ( randomPort,+ reserveRandomPort,+ portInUse, ) where import Control.Exception
core/HaskellWorks/IO/Network/Socket.hs view
@@ -2,11 +2,11 @@ {-# LANGUAGE TypeApplications #-} module HaskellWorks.IO.Network.Socket- ( doesSocketExist- , isPortOpen- , canConnect- , listenOn- , allocateRandomPorts+ ( doesSocketExist,+ isPortOpen,+ canConnect,+ listenOn,+ allocateRandomPorts, ) where import Control.Exception (IOException, handle)
core/HaskellWorks/IO/Process.hs view
@@ -1,6 +1,6 @@ module HaskellWorks.IO.Process- ( maybeWaitForProcess- , waitSecondsForProcess+ ( maybeWaitForProcess,+ waitSecondsForProcess, ) where import Control.Concurrent as IO
core/HaskellWorks/Polysemy/Cabal.hs view
@@ -1,7 +1,7 @@ module HaskellWorks.Polysemy.Cabal- ( findDefaultPlanJsonFile- , getPlanJsonFile- , binDist+ ( findDefaultPlanJsonFile,+ getPlanJsonFile,+ binDist, ) where import HaskellWorks.Polysemy.Cabal.Types
core/HaskellWorks/Polysemy/Cabal/Types.hs view
@@ -2,8 +2,8 @@ {-# LANGUAGE OverloadedStrings #-} module HaskellWorks.Polysemy.Cabal.Types- ( Plan(..)- , Component(..)+ ( Plan(..),+ Component(..), ) where import Control.Applicative
core/HaskellWorks/Polysemy/Data/Aeson.hs view
@@ -1,6 +1,6 @@ module HaskellWorks.Polysemy.Data.Aeson- ( AesonDecodeError(..)- , aesonDecode+ ( AesonDecodeError(..),+ aesonDecode, ) where import qualified Data.Aeson as Aeson
core/HaskellWorks/Polysemy/Data/Text.hs view
@@ -1,143 +1,143 @@ module HaskellWorks.Polysemy.Data.Text- ( Text+ ( Text, - -- * Creation and elimination- , pack- , unpack- , singleton- , empty+ -- * Creation and elimination+ pack,+ unpack,+ singleton,+ empty, - -- * Basic interface- , length- , compareLength- , null+ -- * Basic interface+ length,+ compareLength,+ null, - -- * Transformations- , map- , intercalate- , intersperse- , transpose- , reverse- , replace+ -- * Transformations+ map,+ intercalate,+ intersperse,+ transpose,+ reverse,+ replace, - -- ** Case conversion- -- $case- , toCaseFold- , toLower- , toUpper- , toTitle+ -- ** Case conversion+ -- $case+ toCaseFold,+ toLower,+ toUpper,+ toTitle, - -- ** Justification- , justifyLeft- , justifyRight- , center+ -- ** Justification+ justifyLeft,+ justifyRight,+ center, - -- * Folds- , foldl- , foldl'- , foldl1- , foldl1'- , foldr- , foldr'- , foldr1+ -- * Folds+ foldl,+ foldl',+ foldl1,+ foldl1',+ foldr,+ foldr',+ foldr1, - -- ** Special folds- , concat- , concatMap- , any- , all- , maximum- , minimum- , isAscii+ -- ** Special folds+ concat,+ concatMap,+ any,+ all,+ maximum,+ minimum,+ isAscii, - -- * Construction+ -- * Construction - -- ** Scans- , scanl- , scanl1- , scanr- , scanr1+ -- ** Scans+ scanl,+ scanl1,+ scanr,+ scanr1, - -- ** Accumulating maps- , mapAccumL- , mapAccumR+ -- ** Accumulating maps+ mapAccumL,+ mapAccumR, - -- ** Generation and unfolding- , replicate- , unfoldr- , unfoldrN+ -- ** Generation and unfolding+ replicate,+ unfoldr,+ unfoldrN, - -- * Substrings+ -- * Substrings - -- ** Breaking strings- , take- , takeEnd- , drop- , dropEnd- , takeWhile- , takeWhileEnd- , dropWhile- , dropWhileEnd- , dropAround- , strip- , stripStart- , stripEnd- , splitAt- , breakOn- , breakOnEnd- , break- , span- , spanM- , spanEndM- , group- , groupBy- , inits- , tails+ -- ** Breaking strings+ take,+ takeEnd,+ drop,+ dropEnd,+ takeWhile,+ takeWhileEnd,+ dropWhile,+ dropWhileEnd,+ dropAround,+ strip,+ stripStart,+ stripEnd,+ splitAt,+ breakOn,+ breakOnEnd,+ break,+ span,+ spanM,+ spanEndM,+ group,+ groupBy,+ inits,+ tails, - -- ** Breaking into many substrings- -- $split- , splitOn- , split- , chunksOf+ -- ** Breaking into many substrings+ -- $split+ splitOn,+ split,+ chunksOf, - -- ** Breaking into lines and words- , lines- --, lines'- , words- , unlines- , unwords+ -- ** Breaking into lines and words+ lines,+ --, lines'+ words,+ unlines,+ unwords, - -- * Predicates- , isPrefixOf- , isSuffixOf- , isInfixOf+ -- * Predicates+ isPrefixOf,+ isSuffixOf,+ isInfixOf, - -- ** View patterns- , stripPrefix- , stripSuffix- , commonPrefixes+ -- ** View patterns+ stripPrefix,+ stripSuffix,+ commonPrefixes, - -- * Searching- , filter- , breakOnAll- , find- , elem- , partition+ -- * Searching+ filter,+ breakOnAll,+ find,+ elem,+ partition, - -- , findSubstring+ -- , findSubstring - -- * Indexing- -- $index- , index- , findIndex- , count+ -- * Indexing+ -- $index+ index,+ findIndex,+ count, - -- * Zipping- , zip- , zipWith+ -- * Zipping+ zip,+ zipWith, - -- * File reading- , readFile+ -- * File reading+ readFile, ) where
core/HaskellWorks/Polysemy/Data/Text/Lazy.hs view
@@ -1,140 +1,140 @@ module HaskellWorks.Polysemy.Data.Text.Lazy- ( LT.Text+ ( LT.Text, - -- * Creation and elimination- , LT.pack- , LT.unpack- , LT.singleton- , LT.empty+ -- * Creation and elimination+ LT.pack,+ LT.unpack,+ LT.singleton,+ LT.empty, - -- * Basic interface- , LT.length- , LT.compareLength+ -- * Basic interface+ LT.length,+ LT.compareLength, - -- * Transformations- , LT.map- , LT.intercalate- , LT.intersperse- , LT.transpose- , LT.reverse- , LT.replace+ -- * Transformations+ LT.map,+ LT.intercalate,+ LT.intersperse,+ LT.transpose,+ LT.reverse,+ LT.replace, - -- ** Case conversion- -- $case- , LT.toCaseFold- , LT.toLower- , LT.toUpper- , LT.toTitle+ -- ** Case conversion+ -- $case+ LT.toCaseFold,+ LT.toLower,+ LT.toUpper,+ LT.toTitle, - -- ** Justification- , LT.justifyLeft- , LT.justifyRight- , LT.center+ -- ** Justification+ LT.justifyLeft,+ LT.justifyRight,+ LT.center, - -- * Folds- , LT.foldl- , LT.foldl'- , LT.foldl1- , LT.foldl1'- , LT.foldr- , LT.foldr1+ -- * Folds+ LT.foldl,+ LT.foldl',+ LT.foldl1,+ LT.foldl1',+ LT.foldr,+ LT.foldr1, - -- ** Special folds- , LT.concat- , LT.concatMap- , LT.any- , LT.all- , LT.maximum- , LT.minimum- , LT.isAscii+ -- ** Special folds+ LT.concat,+ LT.concatMap,+ LT.any,+ LT.all,+ LT.maximum,+ LT.minimum,+ LT.isAscii, - -- * Construction+ -- * Construction - -- ** Scans- , LT.scanl- , LT.scanl1- , LT.scanr- , LT.scanr1+ -- ** Scans+ LT.scanl,+ LT.scanl1,+ LT.scanr,+ LT.scanr1, - -- ** Accumulating maps- , LT.mapAccumL- , LT.mapAccumR+ -- ** Accumulating maps+ LT.mapAccumL,+ LT.mapAccumR, - -- ** Generation and unfolding- , LT.replicate- , LT.unfoldr- , LT.unfoldrN+ -- ** Generation and unfolding+ LT.replicate,+ LT.unfoldr,+ LT.unfoldrN, - -- * Substrings+ -- * Substrings - -- ** Breaking strings- , LT.take- , LT.takeEnd- , LT.drop- , LT.dropEnd- , LT.takeWhile- , LT.takeWhileEnd- , LT.dropWhile- , LT.dropWhileEnd- , LT.dropAround- , LT.strip- , LT.stripStart- , LT.stripEnd- , LT.splitAt- , LT.breakOn- , LT.breakOnEnd- , LT.break- , LT.span- , LT.spanM- , LT.spanEndM- , LT.group- , LT.groupBy- , LT.inits- , LT.tails+ -- ** Breaking strings+ LT.take,+ LT.takeEnd,+ LT.drop,+ LT.dropEnd,+ LT.takeWhile,+ LT.takeWhileEnd,+ LT.dropWhile,+ LT.dropWhileEnd,+ LT.dropAround,+ LT.strip,+ LT.stripStart,+ LT.stripEnd,+ LT.splitAt,+ LT.breakOn,+ LT.breakOnEnd,+ LT.break,+ LT.span,+ LT.spanM,+ LT.spanEndM,+ LT.group,+ LT.groupBy,+ LT.inits,+ LT.tails, - -- ** Breaking into many substrings- -- $split- , LT.splitOn- , LT.split- , LT.chunksOf+ -- ** Breaking into many substrings+ -- $split+ LT.splitOn,+ LT.split,+ LT.chunksOf, - -- ** Breaking into lines and words- , LT.lines- --, LT.lines'- , LT.words- , LT.unlines- , LT.unwords+ -- ** Breaking into lines and words+ LT.lines,+ --, LT.lines'+ LT.words,+ LT.unlines,+ LT.unwords, - -- * Predicates- , LT.isPrefixOf- , LT.isSuffixOf- , LT.isInfixOf+ -- * Predicates+ LT.isPrefixOf,+ LT.isSuffixOf,+ LT.isInfixOf, - -- ** View patterns- , LT.stripPrefix- , LT.stripSuffix- , LT.commonPrefixes+ -- ** View patterns+ LT.stripPrefix,+ LT.stripSuffix,+ LT.commonPrefixes, - -- * Searching- , LT.filter- , LT.breakOnAll- , LT.find- , LT.elem- , LT.partition+ -- * Searching+ LT.filter,+ LT.breakOnAll,+ LT.find,+ LT.elem,+ LT.partition, - -- , LT.findSubstring+ -- , LT.findSubstring - -- * Indexing- -- $index- , LT.index- , LT.count+ -- * Indexing+ -- $index+ LT.index,+ LT.count, - -- * Zipping- , LT.zip- , LT.zipWith+ -- * Zipping+ LT.zip,+ LT.zipWith, - -- * File reading- , readFile+ -- * File reading+ readFile, ) where
core/HaskellWorks/Polysemy/Data/Text/Strict.hs view
@@ -1,141 +1,141 @@ module HaskellWorks.Polysemy.Data.Text.Strict- ( T.Text+ ( T.Text, - -- * Creation and elimination- , T.pack- , T.unpack- , T.singleton- , T.empty+ -- * Creation and elimination+ T.pack,+ T.unpack,+ T.singleton,+ T.empty, - -- * Basic interface- , T.length- , T.compareLength- , T.null+ -- * Basic interface+ T.length,+ T.compareLength,+ T.null, - -- * Transformations- , T.map- , T.intercalate- , T.intersperse- , T.transpose- , T.reverse- , T.replace+ -- * Transformations+ T.map,+ T.intercalate,+ T.intersperse,+ T.transpose,+ T.reverse,+ T.replace, - -- ** Case conversion- -- $case- , T.toCaseFold- , T.toLower- , T.toUpper- , T.toTitle+ -- ** Case conversion+ -- $case+ T.toCaseFold,+ T.toLower,+ T.toUpper,+ T.toTitle, - -- ** Justification- , T.justifyLeft- , T.justifyRight- , T.center+ -- ** Justification+ T.justifyLeft,+ T.justifyRight,+ T.center, - -- * Folds- , T.foldl- , T.foldl'- , T.foldl1- , T.foldl1'- , T.foldr- , T.foldr'- , T.foldr1+ -- * Folds+ T.foldl,+ T.foldl',+ T.foldl1,+ T.foldl1',+ T.foldr,+ T.foldr',+ T.foldr1, - -- ** Special folds- , T.concat- , T.concatMap- , T.any- , T.all- , T.maximum- , T.minimum- , T.isAscii+ -- ** Special folds+ T.concat,+ T.concatMap,+ T.any,+ T.all,+ T.maximum,+ T.minimum,+ T.isAscii, - -- * Construction+ -- * Construction - -- ** Scans- , T.scanl- , T.scanl1- , T.scanr- , T.scanr1+ -- ** Scans+ T.scanl,+ T.scanl1,+ T.scanr,+ T.scanr1, - -- ** Accumulating maps- , T.mapAccumL- , T.mapAccumR+ -- ** Accumulating maps+ T.mapAccumL,+ T.mapAccumR, - -- ** Generation and unfolding- , T.replicate- , T.unfoldr- , T.unfoldrN+ -- ** Generation and unfolding+ T.replicate,+ T.unfoldr,+ T.unfoldrN, - -- * Substrings+ -- * Substrings - -- ** Breaking strings- , T.take- , T.takeEnd- , T.drop- , T.dropEnd- , T.takeWhile- , T.takeWhileEnd- , T.dropWhile- , T.dropWhileEnd- , T.dropAround- , T.strip- , T.stripStart- , T.stripEnd- , T.splitAt- , T.breakOn- , T.breakOnEnd- , T.break- , T.span- , T.spanM- , T.spanEndM- , T.group- , T.groupBy- , T.inits- , T.tails+ -- ** Breaking strings+ T.take,+ T.takeEnd,+ T.drop,+ T.dropEnd,+ T.takeWhile,+ T.takeWhileEnd,+ T.dropWhile,+ T.dropWhileEnd,+ T.dropAround,+ T.strip,+ T.stripStart,+ T.stripEnd,+ T.splitAt,+ T.breakOn,+ T.breakOnEnd,+ T.break,+ T.span,+ T.spanM,+ T.spanEndM,+ T.group,+ T.groupBy,+ T.inits,+ T.tails, - -- ** Breaking into many substrings- -- $split- , T.splitOn- , T.split- , T.chunksOf+ -- ** Breaking into many substrings+ -- $split+ T.splitOn,+ T.split,+ T.chunksOf, - -- ** Breaking into lines and words- , T.lines- --, T.lines'- , T.words- , T.unlines- , T.unwords+ -- ** Breaking into lines and words+ T.lines,+ --, T.lines'+ T.words,+ T.unlines,+ T.unwords, - -- * Predicates- , T.isPrefixOf- , T.isSuffixOf- , T.isInfixOf+ -- * Predicates+ T.isPrefixOf,+ T.isSuffixOf,+ T.isInfixOf, - -- ** View patterns- , T.stripPrefix- , T.stripSuffix- , T.commonPrefixes+ -- ** View patterns+ T.stripPrefix,+ T.stripSuffix,+ T.commonPrefixes, - -- * Searching- , T.filter- , T.breakOnAll- , T.find- , T.elem- , T.partition+ -- * Searching+ T.filter,+ T.breakOnAll,+ T.find,+ T.elem,+ T.partition, - -- * Indexing- -- $index- , T.index- , T.findIndex- , T.count+ -- * Indexing+ -- $index+ T.index,+ T.findIndex,+ T.count, - -- * Zipping- , T.zip- , T.zipWith+ -- * Zipping+ T.zip,+ T.zipWith, - -- * File reading- , readFile+ -- * File reading+ readFile, ) where
core/HaskellWorks/Polysemy/Error.hs view
@@ -1,9 +1,9 @@ module HaskellWorks.Polysemy.Error- ( module HaskellWorks.Error- , trap- , trap_- , embedRunExceptT- , embedThrowExceptT+ ( module HaskellWorks.Error,+ trap,+ trap_,+ embedRunExceptT,+ embedThrowExceptT, ) where import Control.Monad.Except
core/HaskellWorks/Polysemy/FilePath.hs view
@@ -1,6 +1,6 @@ module HaskellWorks.Polysemy.FilePath- ( exeSuffix- , addExeSuffix+ ( exeSuffix,+ addExeSuffix, ) where import qualified HaskellWorks.Polysemy.OS as OS
core/HaskellWorks/Polysemy/OS.hs view
@@ -1,5 +1,5 @@ module HaskellWorks.Polysemy.OS- ( isWin32+ ( isWin32, ) where import Data.Bool
core/HaskellWorks/Polysemy/Stack.hs view
@@ -1,5 +1,5 @@ module HaskellWorks.Polysemy.Stack- ( callerModuleName+ ( callerModuleName, ) where import GHC.Stack (callStack, getCallStack,
core/HaskellWorks/Polysemy/String.hs view
@@ -1,5 +1,5 @@ module HaskellWorks.Polysemy.String- ( ToString(..)+ ( ToString(..), ) where
core/HaskellWorks/Polysemy/System/IO.hs view
@@ -110,7 +110,6 @@ import System.IO (BufferMode, Handle, HandlePosn, IOMode, NewlineMode, SeekMode, TextEncoding)-import Text.Read import Polysemy import Polysemy.Error
core/HaskellWorks/Prelude.hs view
@@ -1,158 +1,170 @@ module HaskellWorks.Prelude- ( Bool(..)- , Char(..)- , Maybe(..)- , Either(..)+ ( Bool(..),+ Char(..),+ Maybe(..),+ Either(..), - , String- , Text- , ByteString- , Int- , Int8- , Int16- , Int32- , Int64- , Integer- , Word- , Word8- , Word16- , Word32- , Word64- , Float- , Double- , FilePath- , Void+ String,+ Text,+ ByteString,+ Int,+ Int8,+ Int16,+ Int32,+ Int64,+ Integer,+ Word,+ Word8,+ Word16,+ Word32,+ Word64,+ Float,+ Double,+ FilePath,+ Void, - , Eq(..)- , Ord(..)- , Num(..)- , Show(..)- , IsString(..)- , tshow+ Eq(..),+ Ord(..),+ Num(..),+ Show(..),+ IsString(..),+ tshow, - , bool- , const+ bool,+ const, - , absurd- , vacuous+ absurd,+ vacuous, - , either- , lefts- , rights- , isLeft- , isRight- , fromLeft- , fromRight+ either,+ lefts,+ rights,+ isLeft,+ isRight,+ fromLeft,+ fromRight, - , maybe- , isJust- , isNothing- , fromMaybe- , listToMaybe- , maybeToList- , catMaybes- , mapMaybe+ maybe,+ isJust,+ isNothing,+ fromMaybe,+ listToMaybe,+ maybeToList,+ catMaybes,+ mapMaybe, - , fst- , flip- , snd- , id- , seq- , curry- , uncurry- , ($!)- , ($)- , (&)- , not- , otherwise- , (&&)- , (||)- , (.)- , (</>)+ fst,+ flip,+ snd,+ id,+ seq,+ curry,+ uncurry,+ ($!),+ ($),+ (&),+ not,+ otherwise,+ (&&),+ (||),+ (.),+ (</>), - , void- , mapM_- , forM- , forM_- , sequence_- , (=<<)- , (>=>)- , (<=<)- , forever- , join- , msum- , mfilter- , filterM- , foldM- , foldM_- , replicateM- , replicateM_- , guard- , when- , unless- , liftM- , liftM2- , liftM3- , liftM4- , liftM5- , ap- , (<$!>)+ void,+ mapM_,+ forM,+ forM_,+ sequence_,+ (=<<),+ (>=>),+ (<=<),+ forever,+ join,+ msum,+ mfilter,+ filterM,+ foldM,+ foldM_,+ replicateM,+ replicateM_,+ guard,+ when,+ unless,+ liftM,+ liftM2,+ liftM3,+ liftM4,+ liftM5,+ ap,+ (<$!>), - , (<$>)+ (<$>), - , (<**>)- , liftA- , liftA3- , optional- , asum+ (<**>),+ liftA,+ liftA3,+ optional,+ asum, - , for_+ for_, - , Fractional(..)- , Real(..)- , RealFrac(..)- , Ratio(..)- , Rational- , fromIntegral- , realToFrac- , even- , odd- , numericEnumFrom- , numericEnumFromThen- , numericEnumFromTo- , numericEnumFromThenTo- , integralEnumFrom- , integralEnumFromThen- , integralEnumFromTo- , integralEnumFromThenTo- , numerator- , denominator- , (%)+ zip,+ zip3,+ zipWith,+ zipWith3,+ unzip,+ unzip3, - , Monad(..)- , MonadFail(..)- , MonadPlus(..)- , Applicative(..)- , Alternative(..)- , Contravariant(..)- , Divisible(..)- , Functor(..)- , Bifunctor(..)- , Semigroup(..)- , Monoid(..)- , Foldable(..)- , Traversable(..)+ Fractional(..),+ Floating(..),+ Integral(..),+ Read(..),+ Real(..),+ RealFrac(..),+ RealFloat(..),+ Ratio(..),+ Rational,+ fromIntegral,+ realToFrac,+ even,+ odd,+ numericEnumFrom,+ numericEnumFromThen,+ numericEnumFromTo,+ numericEnumFromThenTo,+ integralEnumFrom,+ integralEnumFromThen,+ integralEnumFromTo,+ integralEnumFromThenTo,+ numerator,+ denominator,+ (%), - , IO+ Monad(..),+ MonadFail(..),+ MonadPlus(..),+ Applicative(..),+ Alternative(..),+ Contravariant(..),+ Divisible(..),+ Functor(..),+ Bifunctor(..),+ Semigroup(..),+ Monoid(..),+ Foldable(..),+ Traversable(..), - , CallStack- , HasCallStack- , withFrozenCallStack+ IO, - , Generic+ CallStack,+ HasCallStack,+ withFrozenCallStack, - , IOException- , SomeException(..)+ Generic,++ IOException,+ IOError,+ SomeException(..), ) where import Control.Applicative@@ -160,7 +172,7 @@ import Control.Monad import Data.Bifunctor import Data.Bool-import Data.ByteString+import Data.ByteString (ByteString) import Data.Char import Data.Either import Data.Eq@@ -174,7 +186,7 @@ import Data.Ord import Data.Semigroup import Data.String-import Data.Text+import Data.Text (Text) import Data.Traversable import Data.Tuple import Data.Void@@ -184,8 +196,8 @@ import GHC.Num import GHC.Real import GHC.Stack+import Prelude import System.FilePath-import Text.Show import qualified Data.Text as T
+ core/HaskellWorks/Unsafe.hs view
@@ -0,0 +1,6 @@+module HaskellWorks.Unsafe+ ( error+ , undefined+ ) where++import Prelude
hedgehog/HaskellWorks/Polysemy/Hedgehog.hs view
@@ -76,6 +76,7 @@ jotYamlM_, jotShowIO, jotShowIO_,+ jotShowRead, jotEach, jotEach_, jotEachM,
hedgehog/HaskellWorks/Polysemy/Hedgehog/Assert.hs view
@@ -69,11 +69,13 @@ import qualified Prettyprinter as PP import qualified Prettyprinter.Render.String as PP +import Control.Monad.IO.Class (MonadIO (..)) import HaskellWorks.Polysemy.System.IO as IO import HaskellWorks.Polysemy.System.Process import Polysemy import Polysemy.Error import Polysemy.Log+import qualified System.IO as IOIO (===) :: forall a r. () => Member Hedgehog r@@ -277,7 +279,9 @@ let msg = LT.unpack $ LT.decodeUtf8 $ J.encodePretty e failMessage GHC.callStack msg -trapFailYaml :: forall e a r. ()+trapFailYaml :: forall e a r m. ()+ => MonadIO m+ => Member (Embed m) r => Member Hedgehog r => HasCallStack => ToJSON e@@ -289,6 +293,7 @@ Right a -> pure a Left e -> do let msg = T.unpack $ T.decodeUtf8 $ Y.encode e+ embed $ liftIO $ IOIO.putStrLn msg failMessage GHC.callStack msg requireHead :: forall a r. ()
hedgehog/HaskellWorks/Polysemy/Hedgehog/Effect/Hedgehog.hs view
@@ -2,24 +2,24 @@ {-# LANGUAGE TemplateHaskell #-} module HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog- ( Hedgehog+ ( Hedgehog, - , assertEquals- , catchAssertion- , eval- , evalM- , evalIO- , writeLog- , failWith- , failWithCustom- , throwAssertion- , trapAssertion+ assertEquals,+ catchAssertion,+ eval,+ evalM,+ evalIO,+ writeLog,+ failWith,+ failWithCustom,+ throwAssertion,+ trapAssertion, - , hedgehogToMonadTestFinal- , hedgehogToPropertyFinal- , hedgehogToTestFinal+ hedgehogToMonadTestFinal,+ hedgehogToPropertyFinal,+ hedgehogToTestFinal, - , catchExToPropertyFinal+ catchExToPropertyFinal, ) where
hedgehog/HaskellWorks/Polysemy/Hedgehog/Effect/Hedgehog/Internal.hs view
@@ -1,20 +1,20 @@ {-# LANGUAGE GeneralizedNewtypeDeriving #-}-{-# LANGUAGE StandaloneDeriving #-}+{-# LANGUAGE StandaloneDeriving #-} module HaskellWorks.Polysemy.Hedgehog.Effect.Hedgehog.Internal- ( MonadAssertion(..)- , failWithCustom+ ( MonadAssertion(..),+ failWithCustom, ) where import HaskellWorks.Polysemy.Prelude-import qualified Hedgehog as H-import qualified Hedgehog.Internal.Property as H-import qualified Hedgehog.Internal.Source as H+import qualified Hedgehog as H+import qualified Hedgehog.Internal.Property as H+import qualified Hedgehog.Internal.Source as H -import qualified Control.Monad.Trans.Except as E-import qualified Control.Monad.Trans.Resource as IO-import qualified Control.Monad.Trans.Resource.Internal as IO import Control.Monad.Trans.Class+import qualified Control.Monad.Trans.Except as E+import qualified Control.Monad.Trans.Resource as IO+import qualified Control.Monad.Trans.Resource.Internal as IO failWithCustom :: () => H.MonadTest m
hedgehog/HaskellWorks/Polysemy/Hedgehog/Effect/Log.hs view
@@ -1,6 +1,6 @@ module HaskellWorks.Polysemy.Hedgehog.Effect.Log- ( interpretDataLogHedgehog- , getLogEntryCallStack+ ( interpretDataLogHedgehog,+ getLogEntryCallStack, ) where import qualified Data.Text as Text
hedgehog/HaskellWorks/Polysemy/Hedgehog/Eval.hs view
@@ -1,9 +1,9 @@ module HaskellWorks.Polysemy.Hedgehog.Eval- ( evalIO_- , evalM_- , eval- , evalM- , evalIO+ ( evalIO_,+ evalM_,+ eval,+ evalM,+ evalIO, ) where
hedgehog/HaskellWorks/Polysemy/Hedgehog/Jot.hs view
@@ -1,5 +1,6 @@-{-# LANGUAGE BangPatterns #-}-{-# LANGUAGE GADTs #-}+{-# LANGUAGE BangPatterns #-}+{-# LANGUAGE GADTs #-}+{-# LANGUAGE ScopedTypeVariables #-} module HaskellWorks.Polysemy.Hedgehog.Jot ( jotShow,@@ -19,6 +20,7 @@ jotShowM_, jotShowIO, jotShowIO_,+ jotShowRead, jotJson, jotJson_, jotJsonM,@@ -61,6 +63,7 @@ import qualified Data.Yaml as Y import qualified GHC.Stack as GHC import HaskellWorks.Polysemy.Prelude+import Text.Read (read) import qualified Hedgehog.Internal.Property as H import qualified Hedgehog.Internal.Source as H@@ -243,6 +246,19 @@ !a <- evalIO f jotWithCallstack GHC.callStack (show a) return ()++-- | Annotate the given value.+jotShowRead :: forall a r. ()+ => HasCallStack+ => Member Hedgehog r+ => Read a+ => Show a+ => String+ -> Sem r a+jotShowRead s = GHC.withFrozenCallStack $ do+ !a <- eval (read @a s)+ jotWithCallstack GHC.callStack (show a)+ return a -- | Annotate the given value as JSON. jotJson :: forall a r. ()
hedgehog/HaskellWorks/Polysemy/Hedgehog/Property.hs view
@@ -1,7 +1,6 @@ module HaskellWorks.Polysemy.Hedgehog.Property- ( Property- , propertyOnce-+ ( Property,+ propertyOnce, ) where import qualified GHC.Stack as GHC
hedgehog/HaskellWorks/Polysemy/Hedgehog/Test.hs view
@@ -1,6 +1,6 @@ module HaskellWorks.Polysemy.Hedgehog.Test- ( Property- , test+ ( Property,+ test, ) where
hw-polysemy.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.4 name: hw-polysemy-version: 0.2.14.11+version: 0.2.14.12 synopsis: Opinionated polysemy library description: Opinionated polysemy library. license: Apache-2.0@@ -128,6 +128,7 @@ exposed-modules: HaskellWorks.IO.Win32.NamedPipe exposed-modules: HaskellWorks.Control.Monad+ HaskellWorks.Data.String HaskellWorks.Error HaskellWorks.Error.Types HaskellWorks.IO.Network@@ -167,6 +168,7 @@ HaskellWorks.Polysemy.System.IO.Temp HaskellWorks.Polysemy.System.Process HaskellWorks.Prelude+ HaskellWorks.Unsafe hs-source-dirs: core default-language: Haskell2010
test/HaskellWorks/Polysemy/HedgehogSpec.hs view
@@ -3,8 +3,8 @@ {-# LANGUAGE TypeApplications #-} module HaskellWorks.Polysemy.HedgehogSpec- ( hprop_example_property- , hprop_example_test+ ( hprop_example_property,+ hprop_example_test, ) where import HaskellWorks.Polysemy.Prelude
test/HaskellWorks/Polysemy/TestContainers/LocalStackSpec.hs view
@@ -4,7 +4,7 @@ {- HLINT ignore "Use let" -} module HaskellWorks.Polysemy.TestContainers.LocalStackSpec- ( tasty_local_stack+ ( tasty_local_stack, ) where import Prelude
testcontainers-localstack/HaskellWorks/Polysemy/Amazonka/LocalStack.hs view
@@ -1,9 +1,9 @@ {- HLINT ignore "Use let" -} module HaskellWorks.Polysemy.Amazonka.LocalStack- ( runReaderLocalAwsEnvDiscover- , getLocalStackEndpoint- , inspectContainer+ ( runReaderLocalAwsEnvDiscover,+ getLocalStackEndpoint,+ inspectContainer, ) where import qualified Amazonka as AWS