@ file : Suppress (" DE PREC ATION ") Ċ Ċ package Ġstri kt . arrow Ċ Ċ import Ġarrow . core . Try Ċ import Ġarrow . core . Try . Failure Ċ import Ġarrow . core . Try . Success Ċ import Ġstri kt . api . Assertion Ċ Ċ /** Ċ Ġ* ĠAssert s Ġthat Ġthe Ġ[ Try ] Ġis Ġ[ Success ] Ċ Ġ* Ġ@ return ĠAssertion Ġbuilder Ġover Ġthe Ġsame Ġsubject Ġthat Ġis Ġnow Ġknown Ġto Ġbe Ċ Ġ* Ġa Ġ[ Success ]. Ċ Ġ*/ Ċ @ Suppress (" UN CHECK ED _ CAST ") Ċ fun Ġ< T > ĠAssertion . Builder < Try < T >> . is Success () Ġ= ĊĠ Ġassert (" should Ġbe ĠSuccess ") Ġ{ ĊĠĠĠ Ġwhen Ġ( it ) Ġ{ ĊĠĠĠĠĠ Ġis ĠSuccess Ġ-> Ġpass () ĊĠĠĠĠĠ Ġelse Ġ-> Ġfail () ĊĠĠĠ Ġ} ĊĠ Ġ} Ġas ĠAssertion . Builder < Success < T >> Ċ Ċ /** Ċ Ġ* ĠAssert s Ġthat Ġthe Ġ[ Try ] Ġis Ġ[ Success ] Ġand Ġthat Ġit Ġcontains Ġthe Ġexact Ġvalue Ċ Ġ* Ġ@ param Ġvalue ĠValue Ġto Ġcompare Ġto Ġthe Ġ[ Try ]' s Ġwrapped Ġvalue Ċ Ġ* Ġ@ return ĠAssertion Ġbuilder Ġover Ġthe Ġsame Ġsubject Ġthat Ġis Ġnow Ġknown Ġto Ġbe Ċ Ġ* Ġa Ġ[ Success ]. Ċ Ġ*/ Ċ @ Suppress (" UN CHECK ED _ CAST ") Ċ infix Ġfun Ġ< T > ĠAssertion . Builder < Try < T >> . is Success ( value : ĠT ) Ġ= ĊĠ Ġassert (" should Ġbe ĠSuccess ($ value )") Ġ{ ĊĠĠĠ Ġwhen Ġ( it ) Ġ{ ĊĠĠĠĠĠ Ġis ĠSuccess Ġ-> Ġ{ ĊĠĠĠĠĠĠĠ Ġif Ġ( it . value Ġ== Ġvalue ) Ġ{ ĊĠĠĠĠĠĠĠĠĠ Ġpass () ĊĠĠĠĠĠĠĠ Ġ} Ġelse Ġ{ ĊĠĠĠĠĠĠĠĠĠ Ġfail () ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠ Ġ} ĊĠĠĠĠĠ Ġelse Ġ-> Ġfail () ĊĠĠĠ Ġ} ĊĠ Ġ} Ġas ĠAssertion . Builder < Success < T >> Ċ Ċ /** Ċ Ġ* ĠUn wrap s Ġthe Ġcontaining Ġvalue Ġof Ġthe Ġ[ Success ] Ċ Ġ* Ġ@ return ĠAssertion Ġbuilder Ġover Ġthe Ġun wrapped Ġsubject Ċ Ġ*/ Ċ val Ġ< T > ĠAssertion . Builder < Success < T >> . value : ĠAssertion . Builder < T > ĊĠ Ġget () Ġ= Ġget (" success Ġvalue ") Ġ{ Ġvalue Ġ} Ċ Ċ /** Ċ Ġ* ĠAssert s Ġthat Ġthe Ġ[ Try ] Ġis Ġ[ Failure ] Ċ Ġ* Ġ@ return ĠAssertion Ġbuilder Ġover Ġthe Ġsame Ġsubject Ġthat Ġis Ġnow Ġknown Ġto Ġbe Ċ Ġ* Ġa Ġ[ Failure ]. Ċ Ġ*/ Ċ @ Suppress (" UN CHECK ED _ CAST ") Ċ fun Ġ< T > ĠAssertion . Builder < Try < T >> . is Failure () Ġ= ĊĠ Ġassert (" should Ġbe ĠFailure ") Ġ{ ĊĠĠĠ Ġwhen Ġ( it ) Ġ{ ĊĠĠĠĠĠ Ġis ĠFailure Ġ-> Ġpass () ĊĠĠĠĠĠ Ġelse Ġ-> Ġfail () ĊĠĠĠ Ġ} ĊĠ Ġ} Ġas ĠAssertion . Builder < Failure > Ċ Ċ /** Ċ Ġ* ĠUn wrap s Ġthe Ġcontaining Ġ[ Throwable ] Ġvalue Ġof Ġthe Ġ[ Failure ] Ċ Ġ* Ġ@ return ĠAssertion Ġbuilder Ġover Ġthe Ġun wrapped Ġ[ Throwable ] Ċ Ġ*/ Ċ val ĠAssertion . Builder < Failure >. exception : ĠAssertion . Builder < Throwable > ĊĠ Ġget () Ġ= Ġget (" failure Ġexception ") Ġ{ Ġexception Ġ} Ċ