@@ -92,7 +92,7 @@ type NonEmptySeq<'t> =
92
92
93
93
static member inline Traverse ( t : NonEmptySeq < 'T >, f : 'T -> '``Functor < 'U > ``) =
94
94
let mapped = NonEmptySeq<_>. map f t
95
- Sequence.ForInfiniteSequences ( mapped, IsLeftZero.Invoke, NonEmptySeq<_>. ofList) : '`` Functor<NonEmptySeq<'U>> ``
95
+ Sequence.ForInfiniteSequences ( mapped, IsLeftZero.Invoke, NonEmptySeq<_>. ofList, Return.Invoke ) : '`` Functor<NonEmptySeq<'U>> ``
96
96
97
97
#if ! FABLE_ COMPILER
98
98
static member Traverse ( t : 'T NonEmptySeq , f : 'T -> Async < 'u >) : Async < NonEmptySeq < _ >> = async {
@@ -103,13 +103,13 @@ type NonEmptySeq<'t> =
103
103
yield Async.RunSynchronously ( f enum .Current, cancellationToken = ct) } |> NonEmptySeq<_>. unsafeOfSeq }
104
104
#endif
105
105
106
- static member inline SequenceImpl ( t , _ , _ : obj ) = printfn " Using default4" ; Sequence.ForInfiniteSequences ( t, IsLeftZero.Invoke, NonEmptySeq<_>. ofList)
106
+ static member inline SequenceImpl ( t , _ , _ : obj ) = printfn " Using default4" ; Sequence.ForInfiniteSequences ( t, IsLeftZero.Invoke, NonEmptySeq<_>. ofList , Return.Invoke )
107
107
static member SequenceImpl ( t : NonEmptySeq < option < 'T >>, _ : option < NonEmptySeq < 'T >>, _ : Sequence ) : option < NonEmptySeq < 'T >> = printfn " Not using default4" ; Option.Sequence t |> Option.map NonEmptySeq<_>. unsafeOfSeq
108
108
109
109
static member SequenceImpl ( t : NonEmptySeq < Result < 'T , 'E >>) : Result < NonEmptySeq < 'T >, 'E > = Result.Sequence t |> Result.map NonEmptySeq<_>. unsafeOfSeq
110
110
static member SequenceImpl ( t : NonEmptySeq < Choice < 'T , 'E >>) : Choice < NonEmptySeq < 'T >, 'E > = Choice.Sequence t |> Choice.map NonEmptySeq<_>. unsafeOfSeq
111
- static member SequenceImpl ( t : NonEmptySeq < list < 'T >> , _ : list < NonEmptySeq < 'T >> , _ : Sequence ) : list < NonEmptySeq < 'T >> = printfn " Not using default4" ; Sequence.ForInfiniteSequences ( t, List.isEmpty , NonEmptySeq<_>. ofList)
112
- static member SequenceImpl ( t : NonEmptySeq < 'T []> ) : NonEmptySeq < 'T > [] = Sequence.ForInfiniteSequences ( t, Array.isEmpty, NonEmptySeq<_>. ofList)
111
+ static member SequenceImpl ( t : NonEmptySeq < list < 'T >> , _ : list < NonEmptySeq < 'T >> , _ : Sequence ) : list < NonEmptySeq < 'T >> = printfn " Not using default4" ; Sequence.ForInfiniteSequences ( t, List.isEmpty , NonEmptySeq<_>. ofList, List.singleton )
112
+ static member SequenceImpl ( t : NonEmptySeq < 'T []> ) : NonEmptySeq < 'T > [] = Sequence.ForInfiniteSequences ( t, Array.isEmpty, NonEmptySeq<_>. ofList, Array.singleton )
113
113
#if ! FABLE_ COMPILER
114
114
static member SequenceImpl ( t : NonEmptySeq < Async < 'T >> ) : Async < NonEmptySeq < 'T >> = Async.Sequence t |> Async.map NonEmptySeq<_>. unsafeOfSeq
115
115
#endif
0 commit comments