package Ġio . kot est . property . ar bitrary Ċ Ċ import Ġio . kot est . property . Ar b Ċ import Ġio . kot est . property . Gen Ċ import Ġkotlin . random . next UInt Ċ Ċ /** Ċ Ġ* ĠReturns Ġan Ġ[ Ar b ] Ġthat Ġproduces Ġ[ Byte ] s Ġfrom Ġ[ min ] Ġto Ġ[ max ] Ġ( inclusive ). Ċ Ġ* ĠThe Ġedge Ġcases Ġare Ġ[ min ], Ġ- 1 , Ġ 0 , Ġ 1 Ġand Ġ[ max ] Ġwhich Ġare Ġonly Ġincluded Ġif Ġthey Ġare Ġin Ġthe Ġprovided Ġrange . Ċ Ġ*/ Ċ fun ĠA rb . Companion . byte ( min : ĠByte Ġ= ĠByte . MIN _ VALUE , Ġmax : ĠByte Ġ= ĠByte . MAX _ VALUE ): ĠA rb < Byte > Ġ= ĊĠĠ Ġarbitrary ( byte ArrayOf ( min , Ġ- 1 , Ġ 0 , Ġ 1 , Ġmax ). filter Ġ{ Ġit Ġin Ġmin .. max Ġ}. distinct (), ĠByte Shrink er ) Ġ{ ĊĠĠĠĠĠ Ġgenerate Sequence Ġ{ Ġit . random . next Bytes ( 1 ). first () Ġ}. filter Ġ{ Ġit Ġin Ġmin .. max Ġ}. first () ĊĠĠ Ġ} Ċ Ċ val ĠByte Shrink er Ġ= ĠInt Shrink er ( Byte . MIN _ VALUE .. Byte . MAX _ VALUE ). b imap ({ Ġit . toInt () Ġ}, Ġ{ Ġit . to Byte () Ġ}) Ċ Ċ /** Ċ Ġ* ĠReturns Ġan Ġ[ Ar b ] Ġthat Ġproduces Ġpositive Ġ[ Byte ] s Ġfrom Ġ 1 Ġto Ġ[ max ] Ġ( inclusive ). Ċ Ġ* ĠThe Ġedge Ġcases Ġare Ġ 1 Ġand Ġ[ max ] Ġwhich Ġare Ġonly Ġincluded Ġif Ġthey Ġare Ġin Ġthe Ġprovided Ġrange . Ċ Ġ*/ Ċ fun ĠA rb . Companion . positive Byte ( max : ĠByte Ġ= ĠByte . MAX _ VALUE ): ĠA rb < Byte > Ġ= Ġbyte ( 1 , Ġmax ) Ċ Ċ /** Ċ Ġ* ĠReturns Ġan Ġ[ Ar b ] Ġthat Ġproduces Ġnegative Ġ[ Byte ] s Ġfrom Ġ[ min ] Ġto Ġ- 1 Ġ( inclusive ). Ċ Ġ* ĠThe Ġedge Ġcases Ġare Ġ[ min ] Ġand Ġ- 1 Ġwhich Ġare Ġonly Ġincluded Ġif Ġthey Ġare Ġin Ġthe Ġprovided Ġrange . Ċ Ġ*/ Ċ fun ĠA rb . Companion . negative Byte ( min : ĠByte Ġ= ĠByte . MIN _ VALUE ): ĠA rb < Byte > Ġ= Ġbyte ( min , Ġ- 1 ) Ċ Ċ /** Ċ Ġ* ĠReturns Ġan Ġ[ Ar b ] Ġthat Ġproduces Ġ[ ByteArray ] s Ġwhere Ġ[ length ] Ġproduces Ġthe Ġlength Ġof Ġthe Ġarrays Ġand Ċ Ġ* Ġ[ content ] Ġproduces Ġthe Ġcontent Ġof Ġthe Ġarrays . Ċ Ġ*/ Ċ fun ĠA rb . Companion . byteArray ( length : ĠGen < Int >, Ġcontent : ĠA rb < Byte >): ĠA rb < ByteArray > Ġ= ĊĠĠ Ġto Primitive Array ( length , Ġcontent , ĠCollection < Byte >:: toByteArray ) Ċ Ċ @ Deprecated (" use ĠbyteArray ", ĠReplace With (" byteArray ( generate Array Length , Ġgenerate Contents ) ")) Ċ fun ĠA rb . Companion . byte Arrays ( generate Array Length : ĠGen < Int >, Ġgenerate Contents : ĠA rb < Byte >): ĠA rb < ByteArray > Ġ= ĊĠĠ ĠbyteArray ( generate Array Length , Ġgenerate Contents ) Ċ Ċ /** Ċ Ġ* ĠReturns Ġan Ġ[ Ar b ] Ġthat Ġproduces Ġ[ U Byte ] s Ġfrom Ġ[ min ] Ġto Ġ[ max ] Ġ( inclusive ). Ċ Ġ* ĠThe Ġedge Ġcases Ġare Ġ[ min ], Ġ 1 Ġand Ġ[ max ] Ġwhich Ġare Ġonly Ġincluded Ġif Ġthey Ġare Ġin Ġthe Ġprovided Ġrange . Ċ Ġ*/ Ċ fun ĠA rb . Companion . u Byte ( min : ĠU Byte Ġ= ĠU Byte . MIN _ VALUE , Ġmax : ĠU Byte Ġ= ĠU Byte . MAX _ VALUE ): ĠA rb < U Byte > Ġ= ĊĠĠ Ġarbitrary ( listOf ( min , Ġ 1 u , Ġmax ). filter Ġ{ Ġit Ġin Ġmin .. max Ġ}. distinct (), ĠU Byte Shrink er ) Ġ{ ĊĠĠĠĠĠ Ġit . random . next UInt ( min .. max ). to U Byte () ĊĠĠ Ġ} Ċ Ċ val ĠU Byte Shrink er Ġ= ĠUInt Shrink er ( U Byte . MIN _ VALUE .. U Byte . MAX _ VALUE ). b imap ({ Ġit . to UInt () Ġ}, Ġ{ Ġit . to U Byte () Ġ}) Ċ Ċ /** Ċ Ġ* ĠReturns Ġan Ġ[ Ar b ] Ġthat Ġproduces Ġ[ U ByteArray ] s Ġwhere Ġ[ length ] Ġproduces Ġthe Ġlength Ġof Ġthe Ġarrays Ġand Ċ Ġ* Ġ[ content ] Ġproduces Ġthe Ġcontent Ġof Ġthe Ġarrays . Ċ Ġ*/ Ċ @ Experimental Unsigned Types Ċ fun ĠA rb . Companion . u ByteArray ( length : ĠGen < Int >, Ġcontent : ĠA rb < U Byte >): ĠA rb < U ByteArray > Ġ= ĊĠĠ Ġto Primitive Array ( length , Ġcontent , ĠCollection < U Byte >:: to U ByteArray ) Ċ