package Ġcom . g gl . arrow . addon Ċ Ċ import Ġarrow . core . Either Ċ import Ġarrow . core . sequence Either Ċ import Ġarrow . core . traverse Either Ċ import Ġarrow . core . zip Ċ Ċ object ĠEither Extensions Ġ{ ĊĊĠĠĠ Ġfun Ġ< L , ĠR > ĠEither < L , ĠR >. peek ( consumer : Ġ( R ) Ġ-> ĠUnit ) Ġ= Ġmap Ġ{ ĊĠĠĠĠĠĠĠ Ġconsumer ( it ) ĊĠĠĠĠĠĠĠ Ġit ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġfun Ġ< L , ĠR > ĠEither < L , ĠR >. peek Left ( consumer : Ġ( L ) Ġ-> ĠUnit ) Ġ= Ġmap Left Ġ{ ĊĠĠĠĠĠĠĠ Ġconsumer ( it ) ĊĠĠĠĠĠĠĠ Ġit ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Deprecated ( ĊĠĠĠĠĠĠĠ Ġmessage Ġ= Ġ" it Ġshould Ġno Ġlonger Ġexist Ġbecause Ġarrow - kt Ġprovide Ġa Ġnative Ġfunction ", ĊĠĠĠĠĠĠĠ Ġreplace With Ġ= ĠReplace With (" sequence Either () ") ĊĠĠĠ Ġ) ĊĠĠĠ Ġfun Ġ< L , ĠR > ĠList < Either < L , ĠR >> . sequence (): ĠEither < L , ĠList < R >> Ġ= Ġsequence Either () ĊĊĠĠĠ Ġ@ Deprecated ( ĊĠĠĠĠĠĠĠ Ġmessage Ġ= Ġ" it Ġshould Ġno Ġlonger Ġexist Ġbecause Ġarrow - kt Ġprovide Ġa Ġnative Ġfunction ", ĊĠĠĠĠĠĠĠ Ġreplace With Ġ= ĠReplace With (" traverse Either () ") ĊĠĠĠ Ġ) ĊĠĠĠ Ġfun Ġ< E , ĠA , ĠB > ĠList < A >. traverse ( action : Ġ( A ) Ġ-> ĠEither < E , ĠB >): ĠEither < E , ĠList < B >> Ġ= Ġtraverse Either ( action ) ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* ĠCombine ĊĠĠĠĠ Ġ*/ ĊĊĠĠĠ Ġfun Ġ< E , ĠA , ĠB , ĠZ > Ġcombine ( ĊĠĠĠĠĠĠĠ Ġe 1 : ĠEither < E , ĠA >, ĊĠĠĠĠĠĠĠ Ġe 2 : ĠEither < E , ĠB >, ĊĠĠĠĠĠĠĠ Ġf : Ġ( A , ĠB ) Ġ-> ĠZ ĊĠĠĠ Ġ): ĠEither < E , ĠZ > Ġ= Ġe 1 . zip ( e 2 , Ġf ) ĊĊĠĠĠ Ġfun Ġ< E , ĠA , ĠB , ĠC , ĠZ > Ġcombine ( ĊĠĠĠĠĠĠĠ Ġe 1 : ĠEither < E , ĠA >, ĊĠĠĠĠĠĠĠ Ġe 2 : ĠEither < E , ĠB >, ĊĠĠĠĠĠĠĠ Ġe 3 : ĠEither < E , ĠC >, ĊĠĠĠĠĠĠĠ Ġf : Ġ( A , ĠB , ĠC ) Ġ-> ĠZ ĊĠĠĠ Ġ): ĠEither < E , ĠZ > Ġ= Ġe 1 . zip ( e 2 , Ġe 3 , Ġf ) ĊĊĠĠĠ Ġfun Ġ< E , ĠA , ĠB , ĠC , ĠD , ĠZ > Ġcombine ( ĊĠĠĠĠĠĠĠ Ġe 1 : ĠEither < E , ĠA >, ĊĠĠĠĠĠĠĠ Ġe 2 : ĠEither < E , ĠB >, ĊĠĠĠĠĠĠĠ Ġe 3 : ĠEither < E , ĠC >, ĊĠĠĠĠĠĠĠ Ġe 4 : ĠEither < E , ĠD >, ĊĠĠĠĠĠĠĠ Ġf : Ġ( A , ĠB , ĠC , ĠD ) Ġ-> ĠZ ĊĠĠĠ Ġ): ĠEither < E , ĠZ > Ġ= Ġe 1 . zip ( e 2 , Ġe 3 , Ġe 4 , Ġf ) ĊĊĠĠĠ Ġfun Ġ< E , ĠA , ĠB , ĠC , ĠD , ĠEE , ĠZ > Ġcombine ( ĊĠĠĠĠĠĠĠ Ġe 1 : ĠEither < E , ĠA >, ĊĠĠĠĠĠĠĠ Ġe 2 : ĠEither < E , ĠB >, ĊĠĠĠĠĠĠĠ Ġe 3 : ĠEither < E , ĠC >, ĊĠĠĠĠĠĠĠ Ġe 4 : ĠEither < E , ĠD >, ĊĠĠĠĠĠĠĠ Ġe 5 : ĠEither < E , ĠEE >, ĊĠĠĠĠĠĠĠ Ġf : Ġ( A , ĠB , ĠC , ĠD , ĠEE ) Ġ-> ĠZ ĊĠĠĠ Ġ): ĠEither < E , ĠZ > Ġ= Ġe 1 . zip ( e 2 , Ġe 3 , Ġe 4 , Ġe 5 , Ġf ) ĊĊĠĠĠ Ġfun Ġ< E , ĠA , ĠB , ĠC , ĠD , ĠEE , ĠF , ĠZ > Ġcombine ( ĊĠĠĠĠĠĠĠ Ġe 1 : ĠEither < E , ĠA >, ĊĠĠĠĠĠĠĠ Ġe 2 : ĠEither < E , ĠB >, ĊĠĠĠĠĠĠĠ Ġe 3 : ĠEither < E , ĠC >, ĊĠĠĠĠĠĠĠ Ġe 4 : ĠEither < E , ĠD >, ĊĠĠĠĠĠĠĠ Ġe 5 : ĠEither < E , ĠEE >, ĊĠĠĠĠĠĠĠ Ġe 6 : ĠEither < E , ĠF >, ĊĠĠĠĠĠĠĠ Ġf : Ġ( A , ĠB , ĠC , ĠD , ĠEE , ĠF ) Ġ-> ĠZ ĊĠĠĠ Ġ): ĠEither < E , ĠZ > Ġ= Ġe 1 . zip ( e 2 , Ġe 3 , Ġe 4 , Ġe 5 , Ġe 6 , Ġf ) ĊĊĠĠĠ Ġfun Ġ< E , ĠA , ĠB , ĠC , ĠD , ĠEE , ĠF , ĠG , ĠZ > Ġcombine ( ĊĠĠĠĠĠĠĠ Ġe 1 : ĠEither < E , ĠA >, ĊĠĠĠĠĠĠĠ Ġe 2 : ĠEither < E , ĠB >, ĊĠĠĠĠĠĠĠ Ġe 3 : ĠEither < E , ĠC >, ĊĠĠĠĠĠĠĠ Ġe 4 : ĠEither < E , ĠD >, ĊĠĠĠĠĠĠĠ Ġe 5 : ĠEither < E , ĠEE >, ĊĠĠĠĠĠĠĠ Ġe 6 : ĠEither < E , ĠF >, ĊĠĠĠĠĠĠĠ Ġe 7 : ĠEither < E , ĠG >, ĊĠĠĠĠĠĠĠ Ġf : Ġ( A , ĠB , ĠC , ĠD , ĠEE , ĠF , ĠG ) Ġ-> ĠZ ĊĠĠĠ Ġ): ĠEither < E , ĠZ > Ġ= Ġe 1 . zip ( e 2 , Ġe 3 , Ġe 4 , Ġe 5 , Ġe 6 , Ġe 7 , Ġf ) ĊĊĠĠĠ Ġfun Ġ< E , ĠA , ĠB , ĠC , ĠD , ĠEE , ĠF , ĠG , ĠH , ĠZ > Ġcombine ( ĊĠĠĠĠĠĠĠ Ġe 1 : ĠEither < E , ĠA >, ĊĠĠĠĠĠĠĠ Ġe 2 : ĠEither < E , ĠB >, ĊĠĠĠĠĠĠĠ Ġe 3 : ĠEither < E , ĠC >, ĊĠĠĠĠĠĠĠ Ġe 4 : ĠEither < E , ĠD >, ĊĠĠĠĠĠĠĠ Ġe 5 : ĠEither < E , ĠEE >, ĊĠĠĠĠĠĠĠ Ġe 6 : ĠEither < E , ĠF >, ĊĠĠĠĠĠĠĠ Ġe 7 : ĠEither < E , ĠG >, ĊĠĠĠĠĠĠĠ Ġe 8 : ĠEither < E , ĠH >, ĊĠĠĠĠĠĠĠ Ġf : Ġ( A , ĠB , ĠC , ĠD , ĠEE , ĠF , ĠG , ĠH ) Ġ-> ĠZ ĊĠĠĠ Ġ): ĠEither < E , ĠZ > Ġ= Ġe 1 . zip ( e 2 , Ġe 3 , Ġe 4 , Ġe 5 , Ġe 6 , Ġe 7 , Ġe 8 , Ġf ) ĊĊĠĠĠ Ġfun Ġ< E , ĠA , ĠB , ĠC , ĠD , ĠEE , ĠF , ĠG , ĠH , ĠI , ĠZ > Ġcombine ( ĊĠĠĠĠĠĠĠ Ġe 1 : ĠEither < E , ĠA >, ĊĠĠĠĠĠĠĠ Ġe 2 : ĠEither < E , ĠB >, ĊĠĠĠĠĠĠĠ Ġe 3 : ĠEither < E , ĠC >, ĊĠĠĠĠĠĠĠ Ġe 4 : ĠEither < E , ĠD >, ĊĠĠĠĠĠĠĠ Ġe 5 : ĠEither < E , ĠEE >, ĊĠĠĠĠĠĠĠ Ġe 6 : ĠEither < E , ĠF >, ĊĠĠĠĠĠĠĠ Ġe 7 : ĠEither < E , ĠG >, ĊĠĠĠĠĠĠĠ Ġe 8 : ĠEither < E , ĠH >, ĊĠĠĠĠĠĠĠ Ġe 9 : ĠEither < E , ĠI >, ĊĠĠĠĠĠĠĠ Ġf : Ġ( A , ĠB , ĠC , ĠD , ĠEE , ĠF , ĠG , ĠH , ĠI ) Ġ-> ĠZ ĊĠĠĠ Ġ): ĠEither < E , ĠZ > Ġ= Ġe 1 . zip ( e 2 , Ġe 3 , Ġe 4 , Ġe 5 , Ġe 6 , Ġe 7 , Ġe 8 , Ġe 9 , Ġf ) ĊĊĠĠĠ Ġfun Ġ< E , ĠA , ĠB , ĠC , ĠD , ĠEE , ĠF , ĠG , ĠH , ĠI , ĠJ , ĠZ > Ġcombine ( ĊĠĠĠĠĠĠĠ Ġe 1 : ĠEither < E , ĠA >, ĊĠĠĠĠĠĠĠ Ġe 2 : ĠEither < E , ĠB >, ĊĠĠĠĠĠĠĠ Ġe 3 : ĠEither < E , ĠC >, ĊĠĠĠĠĠĠĠ Ġe 4 : ĠEither < E , ĠD >, ĊĠĠĠĠĠĠĠ Ġe 5 : ĠEither < E , ĠEE >, ĊĠĠĠĠĠĠĠ Ġe 6 : ĠEither < E , ĠF >, ĊĠĠĠĠĠĠĠ Ġe 7 : ĠEither < E , ĠG >, ĊĠĠĠĠĠĠĠ Ġe 8 : ĠEither < E , ĠH >, ĊĠĠĠĠĠĠĠ Ġe 9 : ĠEither < E , ĠI >, ĊĠĠĠĠĠĠĠ Ġe 1 0 : ĠEither < E , ĠJ >, ĊĠĠĠĠĠĠĠ Ġf : Ġ( A , ĠB , ĠC , ĠD , ĠEE , ĠF , ĠG , ĠH , ĠI , ĠJ ) Ġ-> ĠZ ĊĠĠĠ Ġ): ĠEither < E , ĠZ > Ġ= Ġe 1 . zip ( e 2 , Ġe 3 , Ġe 4 , Ġe 5 , Ġe 6 , Ġe 7 , Ġe 8 , Ġe 9 , Ġe 1 0 , Ġf ) Ċ } Ċ