package Ġstri kt . arrow . option Ċ Ċ import Ġarrow . core . Option Ċ import Ġdev . min ut est . junit . test Factory For Ċ import Ġdev . min ut est . root Context Ċ import Ġorg . junit . jupiter . api . DisplayName Ċ import Ġorg . junit . jupiter . api . Test Factory Ċ import Ġstri kt . api . expect That Ċ import Ġstri kt . assertions . isEqualTo Ċ Ċ @ DisplayName (" assertions Ġon ĠOption ") Ċ object ĠOption Assertions Ġ{ ĊĊĠ Ġ@ Test Factory ĊĠ Ġfun Ġsome Option () Ġ= Ġtest Factory For ( root Context Ġ{ ĊĠĠĠ Ġval Ġoption Ġ= ĠOption . just (" a Value ") ĊĊĠĠĠ Ġtest (" can Ġassert Ġon Ġtype ") Ġ{ ĊĠĠĠĠĠ Ġexpect That ( option ). is Some () ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġtest (" can Ġneg ate Ġassertion ") Ġ{ ĊĠĠĠĠĠ Ġexpect That ( option ). not (). is None () ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġtest (" can Ġassert Ġon Ġtype Ġand Ġvalue Ġequality ") Ġ{ ĊĠĠĠĠĠ Ġexpect That ( option ). is Some (" a Value ") ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġtest (" can Ġassert Ġon Ġtype Ġand Ġtraverse Ġwrapped Ġvalue ") Ġ{ ĊĠĠĠĠĠ Ġexpect That ( option ). is Some (). t . isEqualTo (" a Value ") ĊĠĠĠ Ġ} ĊĠ Ġ}) ĊĊĠ Ġ@ Test Factory ĊĠ Ġfun Ġnone Option () Ġ= Ġtest Factory For ( root Context Ġ{ ĊĠĠĠ Ġval Ġoption Ġ= ĠOption . empty < String >() ĊĊĠĠĠ Ġtest (" can Ġassert Ġon Ġtype ") Ġ{ ĊĠĠĠĠĠ Ġexpect That ( option ). is None () ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġtest (" can Ġneg ate Ġassertion ") Ġ{ ĊĠĠĠĠĠ Ġexpect That ( option ). not (). is Some () ĊĠĠĠ Ġ} ĊĠ Ġ}) Ċ } Ċ