clojure - How can I only use conforming values of a map? -


in forbidden keys in clojure.spec, accepted answer states can't forbid keys because should ignore values you're not interested.

however, there way map, containing keys validated , specced?

(s/def ::category (s/keys :req-un [::name ::description])) (s/conform ::category {:name "hugo" :description "asdf" :other 1})

gives me

{:name "hugo", :description "asdf", :other 1}

but i'd get

{:name "hugo", :description "asdf"}

of course don't want specify keys twice, defeat purpose. want make sure noone later uses keys aren't specced.


Comments

Post a Comment

Popular posts from this blog

4x4 Matrix in Python -

im trying code 4x4 matrix in python random integers 1-4. thats easy enough problem want each row , each column 1 time uses of each digit 1-4 example 1 2 3 4 2 3 4 1 3 4 1 2 4 1 2 3 my code 33% of time in loop there happens somthing this 2 1 4 3 3 4 2 1 1 3 x <-------- because of programm cant contiune , end in infinity loop helb how can out? code below """ programm playing game skyline """ random import randrange row1 = [] row2 = [] row3 = [] row4 = [] allrows = [row1, row2, row3, row4] column1 = [] column2 = [] column3 = [] column4 = [] allcolumns = [column1, column2, column3, column4] def board(): in range(4): j = 0 while len(allrows[i]) != 4: x = randrange(1,5) print(i, j) if x not in allrows[i] , x not in allcolumns[j]: allrows[i].append(x) allcolumns[j].append(x) j += 1 else: continue boa...
Read more

wso2is - WSO2 IS 5.0.0 SP1 After restart there is authentication error -

i have configured service provider sso saml2 web sso configuration. the single sign on & logout working fine, when logout , leave browser on login page of wso2 is, , restart wso2 is, when type username/password login in page left open in wso2 is, following error occurs: tid: [0] [is] [2017-03-28 08:03:29,462] debug {org.wso2.carbon.identity.application.authentication.framework.util.frameworkutils} - authentication context null {org.wso2.carbon.identity.application.authentication.framework.util.frameworkutils} tid: [0] [is] [2017-03-28 08:03:29,462] debug {org.wso2.carbon.identity.application.authentication.framework.handler.request.impl.defaultrequestcoordinator} - session data key : cbd70356-49e3-423d-8542-3d4a0c7ad2c6 {org.wso2.carbon.identity.application.authentication.framework.handler.request.impl.defaultrequestcoordinator} tid: [0] [is] [2017-03-28 08:03:29,462] error {org.wso2.carbon.identity.application.authentication.framework.handler.request.impl.defaultreques...
Read more

python - PyInstaller UAC not working in onefile mode -

hello everybody. i have small python project , want make single executable file . using... windows 7 python 3.4 pyinstaller 3.2.1 my pyinstaller command is, pyinstaller -y -w -f -n output_file_name --uac-admin --clean source_file.py this command works properly. single output file not ask admin rights when executed. , there's no shield mark on executable file icon. when remove -f option (equivalent --onefile), output executable file has shield mark on icon , ask me admin rights. not want. want single executable file. i found manifest file (output_file_name.exe.manifest) in dist\output_file_name folder. did... pyinstaller -y -w -f -n output_file_name --manifest output_file_name.exe.manifest --uac-admin --clean source_file.py but command doesn't work. single executable file still not ask admin rights. i have removed pyinstaller , installed recent development version. pip install git+https://github.com/pyinstaller/pyinstaller.git@develop but result...
Read more