o iv5 @sUdZddlmZddlZddlmZddlmZmZmZddl 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 rdd lmJZJddlmKZKmLZLddlmMZMddlNmOZOmPZPmQZQddl&mRZRmSZSmTZTdZUdZVeWeeeWeeeWeeeWeeeWe edeWde!eWde"eWde#eWde$eWde%ddZXdeYd< dudddvd!d"ZW duddd#dwd(d)ZZdxd+d,Z[dyd.d/Z\dzd1d2Z]eVfd{d5d6Z^d|d8d9Z_d}d;d<Z` d~ddCdDZadddFdGZb dddMdNZcddddOdPdd[d\Zddd]ddbdcZeddedfZfddhdiZgie*e[e5eWdjdde6eWdkdde7eWdldde8eWddde9eWdmdde@eWdjdOdeAeWdkdOdeBeWdldOdeCeWddOdeDeWdmdOde?e_e,e`e=e\e)e]e;efeszcategories..)ranger_ sampled_from)rq categoriesrWrWrXrys rySearchStrategy[time]cCrc)z0Create a strategy for generating `time` objects.)r_timesrWrWrWrXr{rer{SearchStrategy[date]cCrc)z0Create a strategy for generating `date` objects.)r_datesrWrWrWrXr}rer}us time_unitrD time_zone str | NoneSearchStrategy[datetime]cCs|dvr tj}tj}n"|dkr$tttddd}tttdd}n d|}t||dur7t ||St |}|dkrM|tdd7}|tdd8}tj ||t |d d  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. )r~msnsrg microsecondsinvalid time unit: N)daysF) min_value max_valueZ timezonesZallow_imaginarycSs|tjjddS)N)tzinfo) astimezonerutcreplace)dtrWrWrXszdatetimes..) rminmaxr rrrr r_ datetimesr Zjustmap)rrrrmsgZtime_zone_inforWrWrXrs,    rSearchStrategy[timedelta]cCs|dkrtjttdttddS|dkr&tjttddttdddS|dkr7tjttdttddSd|}t|)z Create a strategy for generating `timedelta` objects in the time unit's range. Parameters ---------- time_unit Time unit for which the timedelta objects are valid. r~r)rrrrgrr)r_Z timedeltasrrrr )rrrWrWrX durationss"    r& precision int | NonescaleSearchStrategy[decimal.Decimal]cCsT|durd}tj|d}|d||}||}||}tj||dd|dS)aH Create a strategy for generating `Decimal` objects. Parameters ---------- precision Maximum number of digits in each number. If set to `None`, the precision is set to 38 (the maximum supported by Polars). scale Number of digits to the right of the decimal point in each number. Nr)precz1E+F)rrrZr[Zplaces)decimalContextcreate_decimal next_minus copy_negater_decimals)rrrsZexclusive_limitrrrWrWrXrs   rF select_frommin_sizerkunique inner_dtyperErSequence[Any] | NonerrkrkwargsrSearchStrategy[list[Any]]cKsp|dur|dkr tn|d}|dur|st|}n t|f||||d|}tj||||r4tdSddS)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)elementsrrkZ unique_by)_DEFAULT_LIST_LEN_LIMITZ is_nestedr_rxdatalistsr;)rrrrkrrZinner_strategyrWrWrXrs,'  r allow_nullfieldsSequence[Field] | SchemaDictrSearchStrategy[dict[str, Any]]c sLt|trdd|D}fdd|D}r!tji|dSt|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. cSsg|] \}}t||qSrW)r')rtnamedtyperWrWrXrvZszstructs..cs&i|]}|jt|jfdiqSr)rrr)rtfrrrWrX \s&zstructs..)optional) isinstanceritemsr_Zfixed_dictionaries)rrrZstratsrWrrXstructsEs  rSearchStrategy[None]cCrc)z-Create a strategy for generating null values.)r_nonerWrWrWrXnullsdrerSearchStrategy[object]cCs ttS)z3Create a strategy for generating arbitrary objects.)r_ZbuildsobjectrWrWrWrXobjectsis rrJrKrLrNz(dict[DataTypeClass, SearchStrategy[Any]]_STATIC_STRATEGIESrrBSearchStrategy[Any]c KsJt|}dur|}n |r7td|}tdtdtdit|}t td|| dd| d dd }n|t krLt t |d dpCd t |d dd}n|tkr\tt |d dpXd d}n|tkrjt| dtd}n|tkrt|tr|j}r~t}nt|}nt| dtd}n|tkrtt |ddt |dd}ny|tkrt |ddpt}t|fd|i|}na|t krt |ddpt}t |dt!}dd|"D}t|f|||d|}n8|t#krt |ddpt$dtg}t%|fd|i|}nt|t&rt'|(fd|i|}n d|} t)| |r#t|B}|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`. NrGrKrLrMr\rZTr[rarr~r)rr)rrq)rqrrrinnerrsizecSsi|] \}}|dvr||qS))rrkrW)rtkvrWrWrXrszdata..)rrkrrZf0zunsupported data type: )*rgetZ base_typeZis_floatr r(r)r*typer`popr#rgetattrr%rr!ry_DEFAULT_N_CATEGORIESr&rZis_emptyrr_rxZto_listr=r$rr0r1rrr<rr4r'rrrZ ext_storager ) rrrZstrategyrQZcatsrrrrrWrWrXrsv           r)rM)rQrRrPrSrTrU)rQr\rZrSr[rSrTr])rTrb)rTrf)rTro)rqrrrTrf)rTrz)rTr|)r~N)rrDrrrTr)r~)rrDrTr)rr)rrrrrrTr)rrErrrrrrkrrrSrrrTr)rrrrSrrrTr)rTr)rTr)rrBrrSrrrTr)j__doc__ __future__rrcollections.abcrrrrtypingrrr r zoneinfor Zhypothesis.strategies strategiesr_Zhypothesis.errorsr Zpolars._utils.constantsr rrrrrrrrrrrrrrrZpolars.datatypesrrrr r!r"r#r$r%r&r'r(r)r*r+r,r-r.r/r0r1r2r3r4r5r6r7r8r9r:Z+polars.testing.parametric.strategies._utilsr;Z*polars.testing.parametric.strategies.dtyper<r=r>r?r@rAZpolars._typingrBrCrDrErFrGrrrYrO__annotations__r`rdrnrpryr{r}rrrrrrrrrrWrWrWrXs     H                 *! "A