j5 UdZddlmZddlZddlmZddlmZmZmZddl m Z m Z m Z m Z ddlmZddlmZddlmZdd lmZmZmZmZmZmZmZmZmZmZm Z m!Z!m"Z"m#Z#m$Z$m%Z%dd l&m'Z'm(Z(m)Z)m*Z*m+Z+m,Z,m-Z-m.Z.m/Z/m0Z0m1Z1m2Z2m3Z3m4Z4m5Z5m6Z6m7Z7m8Z8m9Z9m:Z:m;Z;mZ>m?Z?m@Z@mAZAmBZBmCZCmDZDdd lEmFZFdd lGmHZHmIZIe r(dd lmJZJddlmKZKmLZLddlmMZMddlNmOZOmPZPmQZQddl&mRZRmSZSmTZTdZUdZVejWeeejWeeejWeeejWeeejWe edejWde!ejWde"ejWde#ejWde$ejWde%ddZXdeYd< dgdddhd!ZW dgddd"did'ZZdjd)Z[dkd+Z\dld-Z]eVfdmd0Z^dnd2Z_dod4Z` dpdqd;Zadrdsd=Zb dtdudCZcddddDdEdvdPZdddQdwdVZedxdXZfdydZZgie*e[e5eWd[de6eWd\de7eWd]de8eWdde9eWd^de@eWd[dDeAeWd\dDeBeWd]dDeCeWddDeDeWd^dDe?e_e,e`e=e\e)e]e;efe<egZhd_eYd`<e2d\e3d]e4diZidaeYdb<dDdQdzdfZjdS){z0Strategies for generating various forms of data.) annotationsN)Mapping)datetime timedeltatimezone) TYPE_CHECKINGAnyLiteralcast)ZoneInfo)InvalidArgument)EPOCHI8_MAXI8_MINI16_MAXI16_MINI32_MAXI32_MINI64_MAXI64_MINI128_MAXI128_MINU8_MAXU16_MAXU32_MAXU64_MAXU128_MAX)Array BaseExtensionBinaryBoolean CategoricalDateDatetimeDecimalDurationEnumFieldFloat16Float32Float64Int8Int16Int32Int64Int128ListNullObjectStringStructTimeUInt8UInt16UInt32UInt64UInt128)flexhash)_DEFAULT_ARRAY_WIDTH_LIMIT_DEFAULT_ENUM_CATEGORIES_LIMIT)Sequence)datetime)SearchStrategy)PolarsDataType SchemaDictTimeUnit)DataType DataTypeClass FloatType ) @)TFz*dict[bool, dict[int, SearchStrategy[int]]]_INTEGER_STRATEGIESrNT)signed bit_widthLiteral[8, 16, 32, 64, 128]rQboolreturnSearchStrategy[int]c(t||S)*Create a strategy for generating integers.)rP)rRrQs n/home/longshao/multi-rider-rag/.venv/lib/python3.11/site-packages/polars/testing/parametric/strategies/data.pyintegersrZds v &y 11) allow_nanallow_infinityLiteral[16, 32, 64]r\r]SearchStrategy[float]c0tj|||S)rX)widthr\r])stfloatsrRr\r]s rYrcrcks$ 99^   r[SearchStrategy[bool]c(tjS)z*Create a strategy for generating booleans.)rbbooleansr[rYrgrgws ;==r[SearchStrategy[str]c^tjdddg}tj|dS)z/Create a strategy for generating string values.CsCc) max_codepointexclude_categoriesrK)alphabetmax_size)rb characterstext)rps rYstringsrt|s/}4T4LQQQH 7Hq 1 1 11r[SearchStrategy[bytes]c(tjS)z'Create a strategy for generating bytes.)rbbinaryrhr[rYrwrws 9;;r[ n_categoriesintc\dt|D}tj|S)z Create a strategy for generating category strings. Parameters ---------- n_categories The number of categories. cg|]}d|S)crh).0is rY zcategories..s777a'a''777r[)rangerb sampled_from)rx categoriess rYrrs/875#6#6777J ?: & &&r[SearchStrategy[time]c(tjS)z0Create a strategy for generating `time` objects.)rbtimesrhr[rYrr 8::r[SearchStrategy[date]c(tjS)z0Create a strategy for generating `date` objects.)rbdatesrhr[rYrrrr[us time_unitrE time_zone str | NoneSearchStrategy[datetime]c|dvrtj}tj}n^|dkrDtt t dzdzz}tt t dzz}nd|}t||tj ||St|}|dkr&|t dz }|t dz}tj ||tj |d  d S) a  Create a strategy for generating `datetime` objects in the time unit's range. Parameters ---------- time_unit Time unit for which the datetime objects are valid. time_zone Time zone for which the datetime objects are valid. )rmsnsrk microsecondsinvalid time unit: N)daysF) min_value max_value timezonesallow_imaginarych|tjdS)N)tzinfo) astimezonerutcreplace)dts rYzdatetimes..s%R]]8<00888EEr[) rminmaxrrrrr rb datetimesr justmap)rrrrmsgtime_zone_infos rYrrsL  L L d  I7d?Q3FGGGG I7d?CCCC 1I11c"""|Iy111i((NDYA&&&& YA&&&&  <'.))      c E EFF Gr[SearchStrategy[timedelta]c|dkr'@'@AAO _--I i((I ;    r[F select_frommin_sizerqunique inner_dtyperFrSequence[Any] | Nonerrqrkwargsr SearchStrategy[list[Any]]c ||dkrtn|dz}|)|stj|}nt |f||||d|}tj||||rt ndS)aD Create a strategy for generating lists of the given data type. .. warning:: This functionality is currently considered **unstable**. It may be changed at any point without it being considered a breaking change. Parameters ---------- inner_dtype Data type of the list elements. If the data type is not fully instantiated, defaults will be used, e.g. `Datetime` will become `Datetime('us')`. select_from The values to use for the innermost lists. If set to `None` (default), the default strategy associated with the innermost data type is used. min_size The minimum length of the generated lists. max_size The maximum length of the generated lists. If set to `None` (default), the maximum is set based on `min_size`: `3` if `min_size` is zero, otherwise `2 * min_size`. unique Ensure that the generated lists contain unique values. **kwargs Additional arguments that are passed to nested data generation strategies. Examples -------- ... Nrr)elementsrrq unique_by)_DEFAULT_LIST_LEN_LIMIT is_nestedrbrdatalistsr<)rrrrqrrinner_strategys rYrrsN.6!mm**A{'<'<'>'>55  #       8%/884    r[ allow_nullfieldsSequence[Field] | SchemaDictrSearchStrategy[dict[str, Any]]c t|trd|D}fd|D}rtji|Stj|S)a Create a strategy for generating structs with the given fields. Parameters ---------- fields The fields that make up the struct. Can be either a sequence of Field objects or a mapping of column names to data types. allow_null Allow nulls as possible values. If set to True, the returned dictionaries may miss certain fields and are in random order. **kwargs Additional arguments that are passed to nested data generation strategies. c4g|]\}}t||Srh)r()r}namedtypes rYrzstructs..Zs&GGGu%e$$GGGr[cDi|]}|jt|jfdiSr)rrr)r}frrs rY zstructs..\s4 U U Uafd17DDzDVDD U U Ur[)optional) isinstanceritemsrbfixed_dictionaries)rrrstratss `` rYstructsrEs(&'""HGG GGG U U U U Uf U U UF-$R&9999$V,,,r[SearchStrategy[None]c(tjS)z-Create a strategy for generating null values.)rbnonerhr[rYnullsrds 799r[SearchStrategy[object]c4tjtS)z3Create a strategy for generating arbitrary objects.)rbbuildsobjectrhr[rYobjectsris 9V  r[rKrLrMrOz(dict[DataTypeClass, SearchStrategy[Any]]_STATIC_STRATEGIESzMapping[type[FloatType], int]_DTYPE_BIT_WIDTHSrrCSearchStrategy[Any]c t|x}|}nB|rtt d|}t t |}tt d||dd|dd}n|tkr3tt|ddpd t|d d }n||tkr#tt|ddpd }nN|tkr+t|d t }n|t"krt%|t"rS|jx}rt)}nt+j|}nt|d t0}nz|t2kr0t5t|ddt|dd}n?|t6kr0t|ddp t9}t;|fd|i|}n|t<kret|ddp t9}t|dt>}d| D}t;|f|||d|}n|tBkr>t|ddptEdt9g}tG|fd|i|}nKt%|tHr"tK|&fd|i|}nd|} tO| |rt)|z}|S)a Create a strategy for generating data for the given data type. Parameters ---------- dtype A Polars data type. If the data type is not fully instantiated, defaults will be used, e.g. `Datetime` will become `Datetime('us')`. allow_null Allow nulls as possible values. **kwargs Additional parameters for the strategy associated with the given `dtype`. NrHr^r\Tr]rdrrr)rr)rrx)rxrrrinnerrsizec"i|] \}}|dv || S))rrqrh)r}kvs rYrzdata..s)WWW41aQ>V5V5V!Q5V5V5Vr[)rrqrrf0zunsupported data type: )(rget base_typeis_floatr rtypercpopr$rgetattrr&rr"r_DEFAULT_N_CATEGORIESr'ris_emptyrrbrto_listr>r%rr1r2rrr=rr5r(rrr ext_storager ) rrrstrategyrRcatsrrrrs rYrrs '**5??+<+<===J   6#[%((%d5kk2 0)<<jjd33!::&6==    (  e[$77?4e[$77    (  wuk4'H'H'PDQQQ +  N4IJJ    $ eT " " ((2244 ; 77?4<<>>::!#ZZ8VWWHH '   E; - -wugq/I/I   $w--7@@:@@@ %w--7uf&@AAWW6<<>>WWW  !       &$//HE$4G4G3H6CCjCFCC E= ) )#))++MM MfMM///c"""&77X% Or[)rN)rRrSrQrTrUrV)rRr^r\rTr]rTrUr_)rUre)rUri)rUru)rxryrUri)rUr)rUr)rN)rrErrrUr)r)rrErUr)rr)rrrryrUr)rrFrrrryrqrrrTrr rUr)rrrrTrr rUr)rUr)rUr)rrCrrTrr rUr)k__doc__ __future__rrcollections.abcrrrrtypingrr r r zoneinfor hypothesis.strategies strategiesrbhypothesis.errorsr polars._utils.constantsrrrrrrrrrrrrrrrrpolars.datatypesrrr r!r"r#r$r%r&r'r(r)r*r+r,r-r.r/r0r1r2r3r4r5r6r7r8r9r:r;+polars.testing.parametric.strategies._utilsr<*polars.testing.parametric.strategies.dtyper=r>r?r@rArBpolars._typingrCrDrErFrGrHrrrZrP__annotations__rcrgrtrwrrrrrrrrrrrrrrhr[rYr s#666""""""######2222222222444444444444""""""------$@A@@@@@ D((((((########444444CCCCCCCCCCCCCCCCCCCC 2;vv & & BK ) ) BK ) ) BK ) ) R[8 , ,    2;q& ! ! BK7 # # BK7 # # BK7 # # R[H % %   CC&.02CG222222&(        2222  $9 ' ' ' ' '  9='G'G'G'G'GT#####B./D)- ;;;;;;B------>  @ XXZZ@((1T " " "@ 88Bt $ $ $@ 88Bt $ $ $ @  88Bt $ $ $ @  HHS & & & @ 88Ae $ $ $@ HHR & & &@ HHR & & &@ HHR & & &@ XXc% ( ( (@ %%''@ %%''@ GGII@ FFHH@  %%''!@" GGII#@* R R R427MMMMMMMMr[