8181
8282#include "assert.hs"
8383
84- {- $setup
85- >>> :m
86-
87- >>> import Data.Functor.Identity (runIdentity)
88- >>> import System.IO.Unsafe (unsafePerformIO)
89- >>> import qualified Streamly.Data.Stream as Stream
90- >>> import qualified Streamly.Unicode.Stream as Unicode
91- >>> import qualified Streamly.Internal.Data.Array as Array
92- >>> import qualified Streamly.Internal.FileSystem.Path.Common as Common
93- >>> import qualified Streamly.Internal.Unicode.Stream as Unicode
94-
95- >>> packPosix = unsafePerformIO . Stream.fold Array.create . Unicode.encodeUtf8' . Stream.fromList
96- >>> unpackPosix = runIdentity . Stream.toList . Unicode.decodeUtf8' . Array.read
97-
98- >>> packWindows = unsafePerformIO . Stream.fold Array.create . Unicode.encodeUtf16le' . Stream.fromList
99- >>> unpackWindows = runIdentity . Stream.toList . Unicode.decodeUtf16le' . Array.read
100- -}
101-
10284import Control.Monad (when )
10385import Control.Monad.Catch (MonadThrow (.. ))
10486import Control.Monad.IO.Class (MonadIO (.. ))
@@ -125,6 +107,24 @@ import qualified Streamly.Internal.Data.MutArray as MutArray
125107import qualified Streamly.Internal.Data.Stream as Stream
126108import qualified Streamly.Internal.Unicode.Stream as Unicode
127109
110+ {- $setup
111+ >>> :m
112+
113+ >>> import Data.Functor.Identity (runIdentity)
114+ >>> import System.IO.Unsafe (unsafePerformIO)
115+ >>> import qualified Streamly.Data.Stream as Stream
116+ >>> import qualified Streamly.Unicode.Stream as Unicode
117+ >>> import qualified Streamly.Internal.Data.Array as Array
118+ >>> import qualified Streamly.Internal.FileSystem.Path.Common as Common
119+ >>> import qualified Streamly.Internal.Unicode.Stream as Unicode
120+
121+ >>> packPosix = unsafePerformIO . Stream.fold Array.create . Unicode.encodeUtf8' . Stream.fromList
122+ >>> unpackPosix = runIdentity . Stream.toList . Unicode.decodeUtf8' . Array.read
123+
124+ >>> packWindows = unsafePerformIO . Stream.fold Array.create . Unicode.encodeUtf16le' . Stream.fromList
125+ >>> unpackWindows = runIdentity . Stream.toList . Unicode.decodeUtf16le' . Array.read
126+ -}
127+
128128data OS = Windows | Posix deriving Eq
129129
130130------------------------------------------------------------------------------
0 commit comments