Move streaming data into its own file

2022-06-29 08:05:20 +01:00
parent b1a7e1bf35
commit 5501d6f9b5
12 changed files with 25 additions and 38 deletions
@@ -0,0 +1,5 @@
+module StreamingHelp.Data where
+import Streaming
+type StreamOf a = Stream (Of a) Identity ()
+
+newtype StreamOf' a = StreamOf' (Stream (Of a) Identity ())