The changes summarized below are available for you to review, using the following command:
pull-request.load https://github.com/unisonweb/base:.trunk https://github.com/anovstrup/unison-all:.prs.base._stream.v3
Stream.range : Nat -> Nat ->{Stream Nat} ()
โ
Stream.range : Nat -> Nat -> '{Stream Nat} ()
+ anovstrup.mit_2020 : License
+ unisoncomputing2020 : License
+ pchiusano : Author
+ authors.anovstrup : Author
Stream.toList : '{e, Stream a} () ->{e} [a]
โ
Stream.toList : '{g, Stream a} r -> '{g} [a]
- unisoncomputing2020 : License
- pchiusano : Author
+ anovstrup.mit_2020 : License
+ authors.anovstrup : Author
There were 1 auto-propagated updates.
patch patch (added 1 updates)
Stream.++ : (v1 ->{g, Stream a} v2)
-> (v2 ->{g, Stream a} v3)
-> v1
->{g, Stream a} v3 (+2 metadata)
Stream.++.doc : _M2.Doc (+2 metadata)
Stream.+: : a -> '{Stream a} r -> '{Stream a} r (+2 metadata)
Stream.+:.doc : _M2.Doc (+2 metadata)
Stream.Int.all : '{Stream Int} a (+2 metadata)
Stream.Int.all.doc : _M2.Doc (+2 metadata)
Stream.Int.from : Int -> '{Stream Int} a (+2 metadata)
Stream.Int.from! : Int ->{Stream Int} a (+2 metadata)
Stream.Int.from!.doc : _M2.Doc (+2 metadata)
Stream.Int.from.doc : _M2.Doc (+2 metadata)
Stream.Int.negatives : '{Stream Int} a (+2 metadata)
Stream.Int.negatives.doc : _M2.Doc (+2 metadata)
Stream.Int.positives : '{Stream Int} a (+2 metadata)
Stream.Int.positives.doc : _M2.Doc (+2 metadata)
Stream.Int.range : Int -> Int -> '{Stream Int} () (+2 metadata)
Stream.Int.range! : Int ->{Stream Int} Int ->{Stream Int} () (+2 metadata)
Stream.Int.range!.doc : _M2.Doc (+2 metadata)
Stream.Int.range.doc : _M2.Doc (+2 metadata)
Stream.Nat.all : '{Stream Nat} a (+2 metadata)
Stream.Nat.all.doc : _M2.Doc (+2 metadata)
Stream.drop : Nat -> '{g, Stream a} r -> '{g, Stream a} r (+2 metadata)
Stream.drop! : Nat -> '{g, Stream a} r ->{g, Stream a} r (+2 metadata)
Stream.drop!.doc : _M2.Doc (+2 metadata)
Stream.drop.doc : _M2.Doc (+2 metadata)
Stream.drop.test : [Result] (+3 metadata)
Stream.emitAndReturn : a -> '{Stream a} a (+2 metadata)
Stream.emitAndReturn! : a ->{Stream a} a (+2 metadata)
Stream.emitAndReturn!.doc : _M2.Doc (+2 metadata)
Stream.emitAndReturn.doc : _M2.Doc (+2 metadata)
Stream.filter : (a ->{g} Boolean)
-> '{g, Stream a} r
-> '{g, Stream a} r (+2 metadata)
Stream.filter! : (a ->{g} Boolean)
-> '{g, Stream a} r
->{g, Stream a} r (+2 metadata)
Stream.filter!.doc : _M2.Doc (+2 metadata)
Stream.filter.doc : _M2.Doc (+2 metadata)
Stream.filter.test : [Result] (+3 metadata)
Stream.flatMap : (a ->{e, Stream a} r)
-> '{e, Stream a} r
-> '{e, Stream a} r (+2 metadata)
Stream.flatMap! : (a ->{e, Stream b} r)
-> '{e, Stream a} r
->{e, Stream b} r (+2 metadata)
Stream.flatMap!.doc : _M2.Doc (+2 metadata)
Stream.flatMap.doc : _M2.Doc (+2 metadata)
Stream.flatMap.test : [Result] (+3 metadata)
Stream.fold : (b ->{g} a ->{g} b)
-> b
-> '{g, Stream a} r
-> '{g} b (+2 metadata)
Stream.fold! : (b ->{g} a ->{g} b)
-> b
-> '{g, Stream a} r
->{g} b (+2 metadata)
Stream.fold!.doc : _M2.Doc (+2 metadata)
Stream.fold!.test : [Result] (+3 metadata)
Stream.fold.doc : _M2.Doc (+2 metadata)
Stream.foldWithResult : (b ->{g} a ->{g} b)
-> b
-> '{g, Stream a} r
-> '{g} (b, r) (+2 metadata)
Stream.foldWithResult! : (b ->{g} a ->{g} b)
-> b
-> '{g, Stream a} r
->{g} (b, r) (+2 metadata)
Stream.foldWithResult!.doc : _M2.Doc (+2 metadata)
Stream.foldWithResult!.handler : (b ->{g} a ->{g} b)
-> b
-> Request (Stream a) r
->{g} (b, r) (+2 metadata)
Stream.foldWithResult!.test : [Result] (+3 metadata)
Stream.foldWithResult.doc : _M2.Doc (+2 metadata)
Stream.from : Nat -> '{Stream Nat} a (+2 metadata)
Stream.from! : Nat ->{Stream Nat} a (+2 metadata)
Stream.from!.doc : _M2.Doc (+2 metadata)
Stream.from.doc : _M2.Doc (+2 metadata)
Stream.fromList : [a] -> '{Stream a} () (+2 metadata)
Stream.fromList! : [a] ->{Stream a} () (+2 metadata)
Stream.fromList!.doc : _M2.Doc (+2 metadata)
Stream.fromList.doc : _M2.Doc (+2 metadata)
Stream.interleave : '{g, Stream a} r
-> '{g, Stream a} r
-> '{g, Stream a} r (+2 metadata)
Stream.interleave! : '{g, Stream a} r
-> '{g, Stream a} r
->{g, Stream a} r (+2 metadata)
Stream.interleave!.doc : _M2.Doc (+2 metadata)
Stream.interleave!.handler : '{e} r
-> Request (Stream a) r
->{e, Stream a} r (+2 metadata)
Stream.interleave.doc : _M2.Doc (+2 metadata)
Stream.map : (a ->{g} b)
-> '{g, Stream a} r
-> '{g, Stream b} r (+2 metadata)
Stream.map! : (a ->{g} b)
-> '{g, Stream a} r
->{g, Stream b} r (+2 metadata)
Stream.map!.doc : _M2.Doc (+2 metadata)
Stream.map.doc : _M2.Doc (+2 metadata)
Stream.map.test : [Result] (+3 metadata)
Stream.pipe : '{g, Stream a} r
-> '{g, Stream b, Ask a} r
-> '{g, Stream b} r (+2 metadata)
Stream.pipe! : '{g, Stream a} r
-> '{g, Stream b, Ask a} r
->{g, Stream b} r (+2 metadata)
Stream.pipe!.doc : _M2.Doc (+2 metadata)
Stream.pipe!.handler : '{g, Stream a} r
-> Request {Ask a, Stream b} r
->{g, Stream b} r (+2 metadata)
Stream.pipe.doc : _M2.Doc (+2 metadata)
Stream.range!.doc : _M2.Doc (+2 metadata)
Stream.range.doc : _M2.Doc (+2 metadata)
Stream.range.test.emptyRange : [Result] (+3 metadata)
Stream.range.test.emptyRange2 : [Result] (+3 metadata)
Stream.range.test.listLike : [Result] (+3 metadata)
Stream.range.test.singletonRange : [Result] (+3 metadata)
Stream.rangeClosed : Nat -> Nat -> '{Stream Nat} () (+2 metadata)
Stream.rangeClosed! : Nat -> Nat ->{Stream Nat} () (+2 metadata)
Stream.rangeClosed!.doc : _M2.Doc (+2 metadata)
Stream.rangeClosed.doc : _M2.Doc (+2 metadata)
Stream.scan : (b ->{g} a ->{g} b)
-> b
-> '{g, Stream a} r
-> '{g, Stream b} r (+2 metadata)
Stream.scan! : (b ->{g} a ->{g} b)
-> b
-> '{g, Stream a} r
->{g, Stream b} r (+2 metadata)
Stream.scan!.doc : _M2.Doc (+2 metadata)
Stream.scan.doc : _M2.Doc (+2 metadata)
Stream.take : Nat
-> '{g, Stream a} r
-> '{g, Stream a} Optional r (+2 metadata)
Stream.take! : Nat
-> '{g, Stream a} r
->{g, Stream a} Optional r (+2 metadata)
Stream.take!.doc : _M2.Doc (+2 metadata)
Stream.take.doc : _M2.Doc (+2 metadata)
Stream.take.testCompletion : [Result] (+3 metadata)
Stream.take.testEarlyTermination : [Result] (+3 metadata)
Stream.terminated : '{g, Stream a} r
-> '{g, Stream (Optional a)} r (+2 metadata)
Stream.terminated! : '{g, Stream a} r ->{g, Stream (Optional a)} r (+2 metadata)
Stream.terminated!.doc : _M2.Doc (+2 metadata)
Stream.terminated.doc : _M2.Doc (+2 metadata)
Stream.terminated.test : [Result] (+3 metadata)
Stream.to : Nat -> '{Stream Nat} () (+2 metadata)
Stream.to! : Nat ->{Stream Nat} () (+2 metadata)
Stream.to!.doc : _M2.Doc (+2 metadata)
Stream.to.doc : _M2.Doc (+2 metadata)
Stream.toList! : '{g, Stream a} r ->{g} [a] (+4 metadata)
Stream.toList!.doc : _M2.Doc (+2 metadata)
Stream.toList.doc : _M2.Doc (+2 metadata)
Stream.toList.test.bidirectional : [Result] (+3 metadata)
Stream.toListWithResult : '{g, Stream a} r -> '{g} ([a], r) (+2 metadata)
Stream.toListWithResult! : '{g, Stream a} r ->{g} ([a], r) (+2 metadata)
Stream.toListWithResult!.doc : _M2.Doc (+2 metadata)
Stream.toListWithResult.doc : _M2.Doc (+2 metadata)
Stream.until : Nat -> '{Stream Nat} () (+2 metadata)
Stream.until! : Nat ->{Stream Nat} () (+2 metadata)
Stream.until!.doc : _M2.Doc (+2 metadata)
Stream.until.doc : _M2.Doc (+2 metadata)
Stream.zip : '{g, Stream a} r
-> '{g, Stream b} r
-> '{g, Stream (a, b)} r (+2 metadata)
Stream.zip! : '{g, Stream a} r
-> '{g, Stream b} r
->{g, Stream (a, b)} r (+2 metadata)
Stream.zip!.doc : _M2.Doc (+2 metadata)
Stream.zip.doc : _M2.Doc (+2 metadata)
Stream.zipWith : (a ->{g} b ->{g} c)
-> '{g, Stream a} r
-> '{g, Stream b} r
-> '{g, Stream c} r (+2 metadata)
Stream.zipWith! : (a ->{g} b ->{g} c)
-> '{g, Stream a} r
-> '{g, Stream b} r
->{g, Stream c} r (+2 metadata)
Stream.zipWith!.doc : _M2.Doc (+2 metadata)
Stream.zipWith.doc : _M2.Doc (+2 metadata)
Original Changes
Stream.range Stream.range! (added)
Stream.range (removed)
Older versions of the PR are still available to review using the following commands:
pull-request.load https://github.com/unisonweb/base:.trunk https://github.com/anovstrup/unison-all:.prs.base._stream.v2
pull-request.load https://github.com/unisonweb/base:.trunk https://github.com/anovstrup/unison-all:.prs.base._streamPR