package Ġarrow . core . extensions Ċ Ċ import Ġarrow . Kind Ċ import Ġarrow . Kind 2 Ċ import Ġarrow . core . Either Ċ import Ġarrow . core . Eval Ċ import Ġarrow . core . For Validated Ċ import Ġarrow . core . GT Ċ import Ġarrow . core . Invalid Ċ import Ġarrow . core . LT Ċ import Ġarrow . core . Non Empty List Ċ import Ġarrow . core . Ordering Ċ import Ġarrow . core . Valid Ċ import Ġarrow . core . Validated Ċ import Ġarrow . core . Validated Of Ċ import Ġarrow . core . Validated Partial Of Ċ import Ġarrow . core . ap Ċ import Ġarrow . core . combine K Ċ import Ġarrow . core . extensions . none mpty list . sem ig roup . sem ig roup Ċ import Ġarrow . core . extensions . validated . applic ative . applic ative Ċ import Ġarrow . core . extensions . validated . eq . eq Ċ import Ġarrow . core . fix Ċ import Ġarrow . type classes . Applic ative Ċ import Ġarrow . type classes . Applic ative Error Ċ import Ġarrow . type classes . B ifold able Ċ import Ġarrow . type classes . B if un ctor Ċ import Ġarrow . type classes . Bit ra verse Ċ import Ġarrow . type classes . Eq Ċ import Ġarrow . type classes . Eq De precation Ċ import Ġarrow . type classes . Eq K Ċ import Ġarrow . type classes . Eq K 2 Ċ import Ġarrow . type classes . Fold able Ċ import Ġarrow . type classes . Functor Ċ import Ġarrow . type classes . Hash Ċ import Ġarrow . type classes . Hash De precation Ċ import Ġarrow . type classes . Order Ċ import Ġarrow . type classes . Order De precation Ċ import Ġarrow . type classes . Select ive Ċ import Ġarrow . type classes . Sem ig roup Ċ import Ġarrow . type classes . Sem ig roup K Ċ import Ġarrow . type classes . Show Ċ import Ġarrow . type classes . Show De precation Ċ import Ġarrow . type classes . Tra verse Ċ import Ġarrow . type classes . hash With Salt Ċ import Ġarrow . core . handleError With Ġas Ġvalidated Handle Error With Ċ import Ġarrow . core . traverse Ġas Ġvalidated Tra verse Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= Ġ" Functor Ġtype class Ġis Ġdeprecated Ġand Ġwill Ġbe Ġremoved Ġin Ġ 0 . 1 3 . 0 . ĠUse Ġconcrete Ġmethods Ġon ĠValid ated .", ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated Functor < E > Ġ: ĠFun ctor < Validated Partial Of < E >> Ġ{ ĊĠ Ġoverride Ġfun Ġ< A , ĠB > ĠKind < Validated Partial Of < E >, ĠA >. map ( f : Ġ( A ) Ġ-> ĠB ): ĠValid ated < E , ĠB > Ġ= Ġfix (). map ( f ) Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= Ġ" Bi Functor Ġtype class Ġis Ġdeprecated Ġand Ġwill Ġbe Ġremoved Ġin Ġ 0 . 1 3 . 0 . ĠUse Ġconcrete Ġmethods Ġon ĠValid ated .", ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated B if un ctor Ġ: ĠB if un ctor < For Validated > Ġ{ ĊĠ Ġoverride Ġfun Ġ< A , ĠB , ĠC , ĠD > ĠValid ated Of < A , ĠB >. b imap ( fl : Ġ( A ) Ġ-> ĠC , Ġfr : Ġ( B ) Ġ-> ĠD ): ĠValid ated < C , ĠD > Ġ= ĊĠĠĠ Ġfix (). b imap ( fl , Ġfr ) Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= Ġ" Applic ative Ġtype class Ġis Ġdeprecated Ġand Ġwill Ġbe Ġremoved Ġin Ġ 0 . 1 3 . 0 . ĠUse Ġconcrete Ġmethods Ġon ĠValid ated .", ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated Applic ative < E > Ġ: ĠApplic ative < Validated Partial Of < E >>, ĠValid ated Functor < E > Ġ{ ĊĊĠ Ġfun ĠSE (): ĠSem ig roup < E > ĊĊĠ Ġoverride Ġfun Ġ< A > Ġjust ( a : ĠA ): ĠValid ated < E , ĠA > Ġ= ĠValid ( a ) ĊĊĠ Ġoverride Ġfun Ġ< A , ĠB > ĠKind < Validated Partial Of < E >, ĠA >. map ( f : Ġ( A ) Ġ-> ĠB ): ĠValid ated < E , ĠB > Ġ= Ġfix (). map ( f ) ĊĊĠ Ġoverride Ġfun Ġ< A , ĠB > ĠKind < Validated Partial Of < E >, ĠA >. ap ( ff : ĠKind < Validated Partial Of < E >, Ġ( A ) Ġ-> ĠB >): ĠValid ated < E , ĠB > Ġ= Ġfix (). ap ( SE (), Ġff . fix ()) Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= Ġ" Select ive Ġtype class Ġis Ġdeprecated Ġand Ġwill Ġbe Ġremoved Ġin Ġ 0 . 1 3 . 0 . ĠUse Ġconcrete Ġmethods Ġon ĠValid ated .", ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated Select ive < E > Ġ: ĠSelect ive < Validated Partial Of < E >>, ĠValid ated Applic ative < E > Ġ{ ĊĊĠ Ġoverride Ġfun ĠSE (): ĠSem ig roup < E > ĊĊĠ Ġoverride Ġfun Ġ< A , ĠB > ĠKind < Validated Partial Of < E >, ĠEither < A , ĠB >> . select ( f : ĠKind < Validated Partial Of < E >, Ġ( A ) Ġ-> ĠB >): ĠKind < Validated Partial Of < E >, ĠB > Ġ= ĊĠĠĠ Ġfix (). fold ({ ĠInvalid ( it ) Ġ}, Ġ{ Ġit . fold ({ Ġl Ġ-> Ġf . map Ġ{ Ġff Ġ-> Ġff ( l ) Ġ} Ġ}, Ġ{ Ġr Ġ-> Ġjust ( r ) Ġ}) Ġ}) Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= Ġ" Applic ative Error Ġtype class Ġis Ġdeprecated Ġand Ġwill Ġbe Ġremoved Ġin Ġ 0 . 1 3 . 0 . ĠUse Ġconcrete Ġmethods Ġon ĠValid ated .", ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated Applic ative Error < E > Ġ: ĠApplic ative Error < Validated Partial Of < E >, ĠE >, ĠValid ated Applic ative < E > Ġ{ ĊĊĠ Ġoverride Ġfun ĠSE (): ĠSem ig roup < E > ĊĊĠ Ġoverride Ġfun Ġ< A > Ġraise Error ( e : ĠE ): ĠValid ated < E , ĠA > Ġ= ĠInvalid ( e ) ĊĊĠ Ġoverride Ġfun Ġ< A > ĠKind < Validated Partial Of < E >, ĠA >. handleError With ( f : Ġ( E ) Ġ-> ĠKind < Validated Partial Of < E >, ĠA >): ĠValid ated < E , ĠA > Ġ= ĊĠĠĠ Ġfix (). validated Handle Error With ( f ) Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= Ġ" Fold able Ġtype class Ġis Ġdeprecated Ġand Ġwill Ġbe Ġremoved Ġin Ġ 0 . 1 3 . 0 . ĠUse Ġconcrete Ġmethods Ġon ĠValid ated .", ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated Fold able < E > Ġ: ĠFold able < Validated Partial Of < E >> Ġ{ ĊĊĠ Ġoverride Ġfun Ġ< A , ĠB > ĠKind < Validated Partial Of < E >, ĠA >. fold Left ( b : ĠB , Ġf : Ġ( B , ĠA ) Ġ-> ĠB ): ĠB Ġ= ĊĠĠĠ Ġfix (). fold Left ( b , Ġf ) ĊĊĠ Ġoverride Ġfun Ġ< A , ĠB > ĠKind < Validated Partial Of < E >, ĠA >. fold Right ( lb : ĠEval < B >, Ġf : Ġ( A , ĠEval < B >) Ġ-> ĠEval < B >): ĠEval < B > Ġ= ĊĠĠĠ Ġfix (). fold Right ( lb , Ġf ) Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= Ġ" Tra verse Ġtype class Ġis Ġdeprecated Ġand Ġwill Ġbe Ġremoved Ġin Ġ 0 . 1 3 . 0 . ĠUse Ġconcrete Ġmethods Ġon ĠValid ated .", ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated Tra verse < E > Ġ: ĠTra verse < Validated Partial Of < E >>, ĠValid ated Fold able < E > Ġ{ ĊĊĠ Ġoverride Ġfun Ġ< G , ĠA , ĠB > ĠKind < Validated Partial Of < E >, ĠA >. traverse ( AP : ĠApplic ative < G >, Ġf : Ġ( A ) Ġ-> ĠKind < G , ĠB >): ĠKind < G , ĠValid ated < E , ĠB >> Ġ= ĊĠĠĠ Ġfix (). validated Tra verse ( AP , Ġf ) Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= Ġ" Bi Fold able Ġtype class Ġis Ġdeprecated Ġand Ġwill Ġbe Ġremoved Ġin Ġ 0 . 1 3 . 0 . ĠUse Ġconcrete Ġmethods Ġon ĠValid ated .", ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated B ifold able Ġ: ĠB ifold able < For Validated > Ġ{ ĊĠ Ġoverride Ġfun Ġ< A , ĠB , ĠC > ĠValid ated Of < A , ĠB >. b ifold Left ( c : ĠC , Ġf : Ġ( C , ĠA ) Ġ-> ĠC , Ġg : Ġ( C , ĠB ) Ġ-> ĠC ): ĠC Ġ= ĊĠĠĠ Ġfix (). fold ({ Ġf ( c , Ġit ) Ġ}, Ġ{ Ġg ( c , Ġit ) Ġ}) ĊĊĠ Ġoverride Ġfun Ġ< A , ĠB , ĠC > ĠValid ated Of < A , ĠB >. b ifold Right ( c : ĠEval < C >, Ġf : Ġ( A , ĠEval < C >) Ġ-> ĠEval < C >, Ġg : Ġ( B , ĠEval < C >) Ġ-> ĠEval < C >): ĠEval < C > Ġ= ĊĠĠĠ Ġfix (). fold ({ Ġf ( it , Ġc ) Ġ}, Ġ{ Ġg ( it , Ġc ) Ġ}) Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= Ġ" Bi Tra verse Ġtype class Ġis Ġdeprecated Ġand Ġwill Ġbe Ġremoved Ġin Ġ 0 . 1 3 . 0 . ĠUse Ġconcrete Ġmethods Ġon ĠValid ated .", ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated Bit ra verse Ġ: ĠBit ra verse < For Validated >, ĠValid ated B ifold able Ġ{ ĊĠ Ġoverride Ġfun Ġ< G , ĠA , ĠB , ĠC , ĠD > ĠValid ated Of < A , ĠB >. bit ra verse ( AP : ĠApplic ative < G >, Ġf : Ġ( A ) Ġ-> ĠKind < G , ĠC >, Ġg : Ġ( B ) Ġ-> ĠKind < G , ĠD >): ĠKind < G , ĠValid ated Of < C , ĠD >> Ġ= ĊĠĠĠ Ġfix (). let Ġ{ ĊĠĠĠĠĠ ĠAP . run Ġ{ ĊĠĠĠĠĠĠĠ Ġit . fold ( ĊĠĠĠĠĠĠĠĠĠ Ġ{ Ġf ( it ). map Ġ{ ĠInvalid ( it ) Ġ} Ġ}, ĊĠĠĠĠĠĠĠĠĠ Ġ{ Ġg ( it ). map Ġ{ ĠValid ( it ) Ġ} Ġ} ĊĠĠĠĠĠĠĠ Ġ) ĊĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= Ġ" Sem ig roup K Ġtype class Ġis Ġdeprecated Ġand Ġwill Ġbe Ġremoved Ġin Ġ 0 . 1 3 . 0 . ĠUse Ġconcrete Ġmethods Ġon ĠValid ated .", ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated Sem ig roup K < E > Ġ: ĠSem ig roup K < Validated Partial Of < E >> Ġ{ ĊĊĠ Ġfun ĠSE (): ĠSem ig roup < E > ĊĊĠ Ġoverride Ġfun Ġ< B > ĠKind < Validated Partial Of < E >, ĠB >. combine K ( y : ĠKind < Validated Partial Of < E >, ĠB >): ĠValid ated < E , ĠB > Ġ= ĊĠĠĠ Ġfix (). combine K ( SE (), Ġy ) Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= ĠEq De precation , ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated Eq < L , ĠR > Ġ: ĠEq < Validated < L , ĠR >> Ġ{ ĊĊĠ Ġfun ĠE QL (): ĠEq < L > ĊĊĠ Ġfun ĠE QR (): ĠEq < R > ĊĊĠ Ġoverride Ġfun ĠValid ated < L , ĠR >. eq v ( b : ĠValid ated < L , ĠR >): ĠBoolean Ġ= Ġwhen Ġ( this ) Ġ{ ĊĠĠĠ Ġis ĠValid Ġ-> Ġwhen Ġ( b ) Ġ{ ĊĠĠĠĠĠ Ġis ĠInvalid Ġ-> Ġfalse ĊĠĠĠĠĠ Ġis ĠValid Ġ-> ĠE QR (). run Ġ{ Ġa . eq v ( b . a ) Ġ} ĊĠĠĠ Ġ} ĊĠĠĠ Ġis ĠInvalid Ġ-> Ġwhen Ġ( b ) Ġ{ ĊĠĠĠĠĠ Ġis ĠInvalid Ġ-> ĠE QL (). run Ġ{ Ġe . eq v ( b . e ) Ġ} ĊĠĠĠĠĠ Ġis ĠValid Ġ-> Ġfalse ĊĠĠĠ Ġ} ĊĠ Ġ} Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= Ġ" Eq K Ġtype class Ġis Ġdeprecated Ġand Ġwill Ġbe Ġremoved Ġin Ġ 0 . 1 3 . 0 . ĠUse Ġconcrete Ġmethods Ġon ĠValid ated .", ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated Eq K < L > Ġ: ĠEq K < Validated Partial Of < L >> Ġ{ ĊĠ Ġfun ĠE QL (): ĠEq < L > ĊĊĠ Ġoverride Ġfun Ġ< R > ĠKind < Validated Partial Of < L >, ĠR >. eq K ( other : ĠKind < Validated Partial Of < L >, ĠR >, ĠE Q : ĠEq < R >): ĠBoolean Ġ= ĊĠĠĠ ĠValid ated . eq ( E QL (), ĠE Q ). run Ġ{ ĊĠĠĠĠĠ Ġthis @ eq K . fix (). eq v ( other . fix ()) ĊĠĠĠ Ġ} Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= Ġ" Eq K 2 Ġtype class Ġis Ġdeprecated Ġand Ġwill Ġbe Ġremoved Ġin Ġ 0 . 1 3 . 0 . ĠUse Ġconcrete Ġmethods Ġon ĠValid ated .", ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated Eq K 2 Ġ: ĠEq K 2 < For Validated > Ġ{ ĊĠ Ġoverride Ġfun Ġ< A , ĠB > ĠKind 2 < For Validated , ĠA , ĠB >. eq K ( other : ĠKind 2 < For Validated , ĠA , ĠB >, ĠE QA : ĠEq < A >, ĠE QB : ĠEq < B >): ĠBoolean Ġ= ĊĠĠĠ Ġ( this . fix () Ġto Ġother . fix ()). let Ġ{ ĊĠĠĠĠĠ ĠValid ated . eq ( EQ A , ĠE QB ). run Ġ{ ĊĠĠĠĠĠĠĠ Ġit . first . eq v ( it . second ) ĊĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= ĠShow De precation , ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated Show < L , ĠR > Ġ: ĠShow < Validated < L , ĠR >> Ġ{ ĊĠ Ġfun ĠSL (): ĠShow < L > ĊĠ Ġfun ĠSR (): ĠShow < R > ĊĠ Ġoverride Ġfun ĠValid ated < L , ĠR >. show (): ĠString Ġ= Ġshow ( SL (), ĠSR ()) Ċ } Ċ Ċ @ Deprecated ( ĊĠ Ġmessage Ġ= ĠHash De precation , ĊĠ Ġlevel Ġ= ĠDeprec ation Level . WARNING Ċ ) Ċ interface ĠValid ated Hash < L , ĠR > Ġ: ĠHash < Validated < L , ĠR >> Ġ{ ĊĠ Ġfun ĠHL (): ĠHash < L > ĊĠ Ġfun ĠHR (): ĠHash < R > ĊĊĠ Ġoverride Ġfun ĠValid ated < L , ĠR >. hash With Salt ( salt : ĠInt ): ĠInt Ġ= ĊĠĠĠ Ġfold ( ĊĠĠĠĠĠ Ġ{ Ġl Ġ-> ĠHL (). run Ġ{ Ġl . hash With Salt ( salt . hash With Salt ( 0 )) Ġ} Ġ}, ĊĠĠĠĠĠ Ġ{ Ġr Ġ-> ĠHR (). run Ġ{ Ġr . hash With Salt ( salt . hash With Salt ( 1 )) Ġ} Ġ} ĊĠĠĠ Ġ) Ċ } Ċ Ċ @ Deprecated ( Order De precation ) Ċ interface ĠValid ated Order < L , ĠR > Ġ: ĠOrder < Validated < L , ĠR >> Ġ{ ĊĠ Ġfun ĠO L (): ĠOrder < L > ĊĠ Ġfun ĠOR (): ĠOrder < R > ĊĠ Ġoverride Ġfun ĠValid ated < L , ĠR >. compare ( b : ĠValid ated < L , ĠR >): ĠOrdering Ġ= Ġfold ( ĊĠĠĠ Ġ{ Ġl 1 Ġ-> ĊĠĠĠĠĠ Ġb . fold ({ Ġl 2 Ġ-> ĠO L (). run Ġ{ Ġl 1 . compare ( l 2 ) Ġ} Ġ}, Ġ{ ĠLT Ġ}) ĊĠĠĠ Ġ}, ĊĠĠĠ Ġ{ Ġr 1 Ġ-> ĊĠĠĠĠĠ Ġb . fold ({ ĠGT Ġ}, Ġ{ Ġr 2 Ġ-> ĠOR (). run Ġ{ Ġr 1 . compare ( r 2 ) Ġ} Ġ}) ĊĠĠĠ Ġ} ĊĠ Ġ) Ċ } Ċ Ċ @ Deprecated (" Applic ative Ġtype class Ġis Ġdeprecated . ĠUse Ġconcrete Ġmethods Ġon ĠValid ated ") Ċ fun Ġ< E > ĠValid ated . Companion . applic ative N el (): ĠValid ated Applic ative < Non Empty List < E >> Ġ= ĊĠ ĠValid ated . applic ative ( Non Empty List . sem ig roup ()) Ċ