package Ġarrow . core . extensions . none mpty list . mon ad Ċ Ċ import Ġarrow . Kind Ċ import Ġarrow . core . Either Ċ import Ġarrow . core . Eval Ċ import Ġarrow . core . For Non Empty List Ċ import Ġarrow . core . Non Empty List Ċ import Ġarrow . core . Non Empty List . Companion Ċ import Ġarrow . core . Tuple 2 Ċ import Ġarrow . core . extensions . Non Empty List Monad Ċ import Ġkotlin . Boolean Ċ import Ġkotlin . Deprecated Ċ import Ġkotlin . Function 0 Ċ import Ġkotlin . Function 1 Ċ import Ġkotlin . Published Api Ċ import Ġkotlin . Suppress Ċ import Ġkotlin . jvm . Jvm Name Ċ Ċ /** Ċ Ġ* Ġcached Ġextension Ċ Ġ*/ Ċ @ Published Api () Ċ internal Ġval Ġmon ad _ singleton : ĠNon Empty List Monad Ġ= Ġobject Ġ: Ġarrow . core . extensions . Non Empty List Monad Ċ {} Ċ Ċ @ Jvm Name (" flatMap ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). flatMap < B >( arg 1 )", ĊĠĠĠ Ġ" arrow . core . fix ", ĊĠĠĠ Ġ" arrow . core . flatMap " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠA >. flatMap ( arg 1 : ĠFunction 1 < A , ĠKind < For Non Empty List , ĠB >> ): ĊĠ ĠNon Empty List < B > Ġ= Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ flatMap . flatMap < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < B > ĊĠ Ġ} Ċ Ċ @ Jvm Name (" tail Rec M ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" Non Empty List . tail Rec M ( arg 0 ) Ġ{ Ġarg 1 ( it ) Ġ} ", ĊĠĠĠ Ġ" arrow . core . Non Empty List " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > Ġtail Rec M ( arg 0 : ĠA , Ġarg 1 : ĠFunction 1 < A , ĠKind < For Non Empty List , ĠEither < A , ĠB >>> ): ĊĠ ĠNon Empty List < B > Ġ= Ġarrow . core . Non Empty List ĊĠĠĠ Ġ. mon ad () ĊĠĠĠ Ġ. tail Rec M < A , ĠB >( arg 0 , Ġarg 1 ) Ġas Ġarrow . core . Non Empty List < B > Ċ Ċ @ Jvm Name (" map ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). map < B >( arg 1 )", ĊĠĠĠ Ġ" arrow . core . fix ", ĊĠĠĠ Ġ" arrow . core . map " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠA >. map ( arg 1 : ĠFunction 1 < A , ĠB >): ĠNon Empty List < B > Ġ= ĊĠ Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ map . map < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < B > ĊĠ Ġ} Ċ Ċ /** Ċ Ġ* Ġ Ġ@ see Ġ[ Apply . ap ] Ċ Ġ*/ Ċ @ Jvm Name (" ap ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). ap < B >( arg 1 )", ĊĠĠĠ Ġ" arrow . core . fix ", ĊĠĠĠ Ġ" arrow . core . ap " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠA >. ap ( arg 1 : ĠKind < For Non Empty List , ĠFunction 1 < A , ĠB >> ): ĊĠ ĠNon Empty List < B > Ġ= Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ ap . ap < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < B > ĊĠ Ġ} Ċ Ċ @ Jvm Name (" flatten ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix < Kind < For Non Empty List , ĠA >> (). map < Non Empty List < A >> Ġ{ Ġit . fix () Ġ}. flatten < A >() ", ĊĠĠĠ Ġ" arrow . core . fix ", ĊĠĠĠ Ġ" arrow . core . flatten " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A > ĠKind < For Non Empty List , ĠKind < For Non Empty List , ĠA >> . flatten (): ĠNon Empty List < A > Ġ= ĊĠ Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ flatten . flatten < A >() Ġas Ġarrow . core . Non Empty List < A > ĊĠ Ġ} Ċ Ċ @ Jvm Name (" follow edBy ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). flatMap Ġ{ Ġarg 1 Ġ} ", ĊĠĠĠ Ġ" arrow . core . fix " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠA >. follow edBy ( arg 1 : ĠKind < For Non Empty List , ĠB >): ĠNon Empty List < B > Ġ= ĊĠ Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ follow edBy . follow edBy < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < B > ĊĠ Ġ} Ċ Ċ @ Jvm Name (" ap Tap ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). flatMap Ġ{ Ġa Ġ-> Ġarg 1 . fix (). map Ġ{ Ġa Ġ} Ġ} ", ĊĠĠĠ Ġ" arrow . core . fix " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠA >. ap Tap ( arg 1 : ĠKind < For Non Empty List , ĠB >): ĠNon Empty List < A > Ġ= ĊĠ Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ ap Tap . ap Tap < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < A > ĊĠ Ġ} Ċ Ċ @ Jvm Name (" follow edBy Eval ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). flatMap Ġ{ Ġarg 1 . value () Ġ} ", ĊĠĠĠ Ġ" arrow . core . fix " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠA >. follow edBy Eval ( arg 1 : ĠEval < Kind < For Non Empty List , ĠB >> ): ĊĠ ĠNon Empty List < B > Ġ= Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ follow edBy Eval . follow edBy Eval < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < B > ĊĠ Ġ} Ċ Ċ @ Jvm Name (" effect M ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). flatMap Ġ{ Ġa Ġ-> Ġarg 1 ( a ). fix (). map Ġ{ Ġa Ġ} Ġ} ", ĊĠĠĠ Ġ" arrow . core . fix " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠA >. effect M ( arg 1 : ĠFunction 1 < A , ĠKind < For Non Empty List , ĠB >> ): ĊĠ ĠNon Empty List < A > Ġ= Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ effect M . effect M < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < A > ĊĠ Ġ} Ċ Ċ @ Jvm Name (" flat Tap ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). flatMap Ġ{ Ġa Ġ-> Ġarg 1 ( a ). fix (). map Ġ{ Ġa Ġ} Ġ} ", ĊĠĠĠ Ġ" arrow . core . fix " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠA >. flat Tap ( arg 1 : ĠFunction 1 < A , ĠKind < For Non Empty List , ĠB >> ): ĊĠ ĠNon Empty List < A > Ġ= Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ flat Tap . flat Tap < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < A > ĊĠ Ġ} Ċ Ċ @ Jvm Name (" product L ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). flatMap Ġ{ Ġa Ġ-> Ġarg 1 . fix (). map Ġ{ Ġa Ġ} Ġ} ", ĊĠĠĠ Ġ" arrow . core . fix " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠA >. product L ( arg 1 : ĠKind < For Non Empty List , ĠB >): ĠNon Empty List < A > Ġ= ĊĠ Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ product L . product L < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < A > ĊĠ Ġ} Ċ Ċ @ Jvm Name (" for Effect ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). flatMap Ġ{ Ġa Ġ-> Ġarg 1 . fix (). map Ġ{ Ġa Ġ} Ġ} ", ĊĠĠĠ Ġ" arrow . core . fix " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠA >. for Effect ( arg 1 : ĠKind < For Non Empty List , ĠB >): ĠNon Empty List < A > Ġ= ĊĠ Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ for Effect . for Effect < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < A > ĊĠ Ġ} Ċ Ċ @ Jvm Name (" product LE val ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). flatMap Ġ{ Ġa Ġ-> Ġarg 1 . value (). fix (). map Ġ{ Ġa Ġ} Ġ} ", ĊĠĠĠ Ġ" arrow . core . fix " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠA >. product LE val ( arg 1 : ĠEval < Kind < For Non Empty List , ĠB >> ): ĊĠ ĠNon Empty List < A > Ġ= Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ product LE val . product LE val < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < A > ĊĠ Ġ} Ċ Ċ @ Jvm Name (" for Effect Eval ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). flatMap Ġ{ Ġa Ġ-> Ġarg 1 . value (). fix (). map Ġ{ Ġa Ġ} Ġ} ", ĊĠĠĠ Ġ" arrow . core . fix " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠA >. for Effect Eval ( arg 1 : ĠEval < Kind < For Non Empty List , ĠB >> ): ĊĠ ĠNon Empty List < A > Ġ= Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ for Effect Eval . for Effect Eval < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < A > ĊĠ Ġ} Ċ Ċ @ Jvm Name (" mp ro duct ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). flatMap < Tuple 2 < A , ĠB >> Ġ{ Ġa Ġ-> Ġarg 1 ( a ). fix < B >(). map < Tuple 2 < A , ĠB >> Ġ{ ĠTuple 2 < A , ĠB >( a , Ġit ) Ġ} Ġ} ", ĊĠĠĠ Ġ" arrow . core . Tuple 2 ", ĊĠĠĠ Ġ" arrow . core . fix " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠA >. mp ro duct ( arg 1 : ĠFunction 1 < A , ĠKind < For Non Empty List , ĠB >> ): ĊĠ ĠNon Empty List < Tuple 2 < A , ĠB >> Ġ= Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ mp ro duct . mp ro duct < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < arrow . core . Tuple 2 < A , ĠB >> ĊĠ Ġ} Ċ Ċ @ Jvm Name (" if M ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix (). if M < B >( arg 1 . fix (), Ġarg 2 . fix ()) ", ĊĠĠĠ Ġ" arrow . core . fix ", ĊĠĠĠ Ġ" arrow . core . if M " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< B > ĠKind < For Non Empty List , ĠBoolean >. if M ( ĊĠ Ġarg 1 : ĠFunction 0 < Kind < For Non Empty List , ĠB >>, ĊĠ Ġarg 2 : ĠFunction 0 < Kind < For Non Empty List , ĠB >> Ċ ): ĠNon Empty List < B > Ġ= ĊĠ Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ if M . if M < B >( arg 1 , Ġarg 2 ) Ġas Ġarrow . core . Non Empty List < B > ĊĠ Ġ} Ċ Ċ @ Jvm Name (" select M ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix < Either < A , ĠB >> (). select M < A , ĠB >( arg 1 . fix <( A ) Ġ-> ĠB >()) ", ĊĠĠĠ Ġ" arrow . core . fix ", ĊĠĠĠ Ġ" arrow . core . select M " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠEither < A , ĠB >> . select M ( ĊĠ Ġarg 1 : ĠKind < For Non Empty List , ĠFunction 1 < A , ĠB >> Ċ ): ĠNon Empty List < B > Ġ= Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠ Ġthis @ select M . select M < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < B > Ċ } Ċ Ċ @ Jvm Name (" select ") Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" USE LESS _ CAST ", ĊĠ Ġ" EXTENSION _ SH ADOW ED _ BY _ MEMBER ", ĊĠ Ġ" UNUSED _ PARAMETER " Ċ ) Ċ @ Deprecated ( ĊĠ Ġ"@ extension Ġkin ded Ġprojected Ġfunctions Ġare Ġdeprecated ", ĊĠ ĠReplace With ( ĊĠĠĠ Ġ" fix < Either < A , ĠB >> (). select M < A , ĠB >( arg 1 . fix <( A ) Ġ-> ĠB >()) ", ĊĠĠĠ Ġ" arrow . core . fix ", ĊĠĠĠ Ġ" arrow . core . select M " ĊĠ Ġ), ĊĠ ĠDeprec ation Level . WARNING Ċ ) Ċ fun Ġ< A , ĠB > ĠKind < For Non Empty List , ĠEither < A , ĠB >> . select ( arg 1 : ĠKind < For Non Empty List , ĠFunction 1 < A , ĠB >> ): ĊĠ ĠNon Empty List < B > Ġ= Ġarrow . core . Non Empty List . mon ad (). run Ġ{ ĊĠĠĠ Ġthis @ select . select < A , ĠB >( arg 1 ) Ġas Ġarrow . core . Non Empty List < B > ĊĠ Ġ} Ċ Ċ /** Ċ Ġ* Ġ Ġ[ Monad ] Ġabstract Ġover Ġthe Ġability Ġto Ġdeclare Ġsequential Ġcomput ations Ġthat Ġare Ġdependent Ġin Ġthe Ġorder Ġor Ċ Ġ* Ġ Ġthe Ġresults Ġof Ġprevious Ġcomput ations . Ċ Ġ* Ċ Ġ* Ġ ĠGiven Ġa Ġtype Ġconstructor Ġ[ F ] Ġwith Ġa Ġvalue Ġof Ġ[ A ] Ġwe Ġcan Ġcompose Ġmultiple Ġoperations Ġof Ġtype Ċ Ġ* Ġ Ġ` Kind < F , Ġ?> ` Ġwhere Ġ` ?` Ġden otes Ġa Ġvalue Ġbeing Ġtransformed . Ċ Ġ* Ċ Ġ* Ġ ĠThis Ġis Ġtrue Ġfor Ġall Ġtype Ġconstructors Ġthat Ġcan Ġsupport Ġthe Ġ[ Monad ] Ġtype Ġclass Ġincluding Ġand Ġnot Ġlimited Ġto Ġ[ Option ], Ġ[ Either ], Ġ[ List ] Ġ... Ċ Ġ* Ċ Ġ* Ġ Ġ[ The ĠMonad ĠTutorial ]( https :// arrow - kt . io / docs / patterns / mon ads /) Ċ Ġ*/ Ċ @ Suppress ( ĊĠ Ġ" UN CHECK ED _ CAST ", ĊĠ Ġ" NOTH ING _ TO _ INLINE " Ċ ) Ċ @ Deprecated (" Monad Ġtype class Ġis Ġdeprecated . ĠUse Ġconcrete Ġmethods Ġon ĠNon Empty List ") Ċ inline Ġfun ĠComp anion . mon ad (): ĠNon Empty List Monad Ġ= Ġmon ad _ singleton Ċ