wdX(dZddlmZdZdZdZdS)z Datashape validation. ) coretypesct|tjr7t|tjs|fd|jDS|S)z Map `f` over `t`, calling `f` with type `t` and the map result of the mapping `f` over `t` 's parameters. Parameters ---------- f : callable t : DataShape Returns ------- DataShape c0g|]}t|S)traverse).0pfs 4lib/python3.11/site-packages/datashape/validation.py ztraverse..s!:::Xa^^:::) isinstanceTMonoUnit parameters)r ts` r rr sZ!QV>> from datashape import dshape >>> dshape('10 * int32') dshape("10 * int32") >>> dshape('... * int32') dshape("... * int32") >>> dshape('... * ... * int32') # doctest: +IGNORE_EXCEPTION_DETAIL Traceback (most recent call last): ... TypeError: Can only use a single wildcard >>> dshape('T * ... * X * ... * X') # doctest: +IGNORE_EXCEPTION_DETAIL Traceback (most recent call last): ... TypeError: Can only use a single wildcard >>> dshape('T * ...') # doctest: +IGNORE_EXCEPTION_DETAIL Traceback (most recent call last): ... DataShapeSyntaxError: Expected a dtype N)r _validate)dss r validaters8 Yr c t|tjrgd|jD}t |dkrt dt|jdtjrt ddSdS)NcFg|]}t|tj|Sr)rrEllipsis)rxs r r z_validate..?s)JJJ! 1aj0I0IJAJJJr rzCan only use a single wildcardz$Measure may not be an Ellipsis (...))rr DataShaperlen TypeErrorr)rparamsellipsess r rr<s"ak""DJJr}JJJ x==1  D<== =  b)1: 6 6 DBCC C DD  D Dr N)__doc__rrrrrrr r r$s_   &>DDDDDr