n9e.NddlmZmZmZmZmZmZmZmZm Z ddlm Z ddlm Z ddl Z dZdZdZdZd Zd ZGd d eZd ZdZdZeZdZeeedeefdZdZGddeZedediZiZ dZ!dZ"dZ#eefdZ$dd eefdZ%dd eefdZ&dZ'iZ(dZ)d Z*defd!Z+y)") CheckedPMap CheckedPSetCheckedPVector CheckedTypeInvariantException_restore_pickleget_typemaybe_parse_user_typemaybe_parse_many_user_types)optional)wrap_invariantNc 6tt|Dcgc]5}t|jj |ij 7c}g||<t|j D]!\}}t |ts||||<||=#ycc}wN)dictsumlist__dict__getitems isinstance_PField)dctbasesnamebkvs :/usr/lib/python3/dist-packages/pyrsistent/_field_common.py set_fieldsrsS%PQ$qzz~~dB7==?@PRTUVCISYY[!1 a !CIaLAQs:B cZtdfd|DD}|r t|ddy)Nc3*K|] \}}|s| ywr).0is_ok error_codes r z*check_global_invariants..s!W'8ujPU#Wsc3.K|] }|ywrr")r# invariantsubjects rr&z*check_global_invariants..sH 7+Hsr"zGlobal invariant failed)tupler)r) invariants error_codess` rcheck_global_invariantsr-s:WHZHWWK b2KLLcft|tr|tur|j|S|||Sr)rrPFIELD_NO_SERIALIZER serialize) serializerformatvalues rr1r1!s0%%*8L*Lv&& fe $$r.c|jrjtfd|jDsKt}dj|j||j}t |||j||yy)Nc3HK|]}tt|ywr)rr )r#tr4s rr&zcheck_type..)sQj <Qs"z'Invalid type for field {0}.{1}, was {2})typeanyr3__name__ PTypeError)destination_clsfieldrr4 actual_typemessages ` r check_typer@(se zz#QejjQQ5k ;BB?C[C[]acncwcwx$ KQQRzr.ct|turyt|}t|dk(ryt t |d|S)NTrF)r8setr*len issubclassr )type_cls field_typetypess r is_type_clsrH/s@ J3 * E 5zQ huQx(( 33r.c|syt||jsydtj|jj vS)NF ignore_extra)rHr8inspect signaturefactory parameters)rEr=rJs ris_field_ignore_extra_complaintrO8s9  x , W..u}}=HH HHr.c&eZdZdZdZedZy)rr8r(initial mandatory_factoryr2cX||_||_||_||_||_||_yrrQ)selfr8r(rRrSrMr2s r__init__z_PField.__init__Gs, " " $r.c|jturUt|jdk(r=t t |jd}t |tr |jS|jS)Nr) rTPFIELD_NO_FACTORYrCr8r r*rDrcreate)rVtyps rrMz_PField.factoryOsV ==- -#dii.A2E5+A./C#{+zz!}}r.N)r: __module__ __qualname__ __slots__rWpropertyrMr"r.rrrDs WI%r.rr"cy)N)TNr")_s rrcZr.c|Srr")xs rrcrc[sar.c|Srr")rbr4s rrcrc]sr.Fct|tttfrtt |}ntt |}|t k7rt|r t|n|}t||||||}t||S)a Field specification factory for :py:class:`PRecord`. :param type: a type or iterable with types that are allowed for this field :param invariant: a function specifying an invariant that must hold for the field :param initial: value of field if not specified when instantiating the record :param mandatory: boolean specifying if the field is mandatory or not :param factory: function called when field is set. :param serializer: function that returns a serialized version of the field )r8r(rRrSrMr2) rrrBr*r r PFIELD_NO_INVARIANTcallabler r_check_field_parameters) r8r(rRrSrMr2rGinvariant_functionr=s rr=r=`s|,$sE*+/56)$/06?CV6V[cdm[n 2t} *.s"TA:emmQ#?"Ts #zInitial has invalid type {0}zInvariant must be callablezFactory must be callablezSerializer must be callable) r8rstr TypeErrorr3rRPFIELD_NO_INITIALrjr9r(rMr2)r=r7s` rrkrks ZZP!T":a+=>EEd1gNO OP }}--' JJs"T"TT6==d5==>QRSS EOO $455 EMM "233 E$$ %566 &r.c"eZdZdZfdZxZS)r;a Raised when trying to assign a value with a type that doesn't match the declared type. Attributes: source_class -- The class of the record field -- Field name expected_types -- Types allowed for the field actual_type -- The non matching type cdtt| |i|||_||_||_||_yr)superr;rW source_classr=expected_typesr>)rVrur=rvr>argskwargs __class__s rrWzPTypeError.__init__s6 j$($9&9( ,&r.)r:r]r^__doc__rW __classcell__)rys@rr;r;s''r.r;PVectorPSetc0t||f}t||S)z=Unpickling function for auto-generated PVec/PSet field types.)_seq_field_typesr) checked_class item_typedatatype_s r_restore_seq_field_picklers ]I5 6E 5$ ''r.c2djd|DS)z4Convert a tuple of types to a human-readable string.c3bK|]'}t|jj)ywr)r r: capitalize)r#r\s rr&z"_types_to_names..s#H38C=))446Hs-/)join)rGs r_types_to_namesrs 77H%H HHr.ctjf}||SGfdd}t}t|j|z|_|tf<|S)zFCreate a subclass of the given checked class with the given item type.c&eZdZWZWZfdZy)%_make_seq_field_type..TheTypec,tt|ffSr)rr)rVrrs r __reduce__z0_make_seq_field_type..TheType.__reduce__s-"ItDz:< .TheMapcRt|j|jt|ffSr)r __key_type____value_type__r)rVs rrz0_make_pmap_field_type..TheMap.__reduce__(s+.&&(;(;T$ZHJ Jr.N)r:r]r^rrr)rrsrTheMapr$s # Jr.rz {0}To{1}PMap)rrrr3r_checked_key_types_checked_value_typesr:)rrrrs`` r_make_pmap_field_typersx  ! !8Z"8 9E  JJ%++1123346FO/5h *+ Mr.ct|||rfd}n j}td|r tn||S)ad Create a checked ``PMap`` field. :param key: The required type for the keys of the map. :param value: The required type for the values of the map. :param optional: If true, ``None`` can be used as a value for this field. :param invariant: Pass-through to ``field``. :return: A ``field`` containing a ``CheckedPMap``. c,|yj|Srr)rrs rrMzpmap_field..factoryBs}}X..r.T)rSrRr8rMr()rr[r=r)rrr r(rMrs @r pmap_fieldr3sH#8Z 8F / -- 4/7mF+V I 77r.),pyrsistent._checked_typesrrrrrrr r r r rr rKrr-r1r@rHrOobjectrPFIELD_NO_TYPErirZrqr0r=rkrpr;rrrrrrrr_validrrrrr"r.rrs   @4M%R4If*,H-)$)",1:&',R/!4:& !( */4?R7r.