Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

7
LINES

< > BotCompany Repo | #1027922 // makeAnd - construct chain of And(...) objects

JavaX fragment (include) [tags: use-pretranspiled]

Libraryless. Click here for Pure Java version (2586L/17K).

1  
sO makeAnd(O... l) {
2  
  ret makeAnd(asList(l));
3  
}
4  
5  
sO makeAnd(Cl l) {
6  
  ret foldr_noSeed((a, b) -> And(a, b), l);
7  
}

download  show line numbers  debug dex  old transpilations   

Travelled to 7 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt, xrpafgyirdlv

No comments. add comment

Snippet ID: #1027922
Snippet name: makeAnd - construct chain of And(...) objects
Eternal ID of this version: #1027922/5
Text MD5: 5e4cd163d70274e79f446e550df36d05
Transpilation MD5: 1534f5938cd2e7dcd7ff914c9aac8152
Author: stefan
Category: javax
Type: JavaX fragment (include)
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2020-04-18 11:29:41
Source code size: 120 bytes / 7 lines
Pitched / IR pitched: No / No
Views / Downloads: 216 / 331
Version history: 4 change(s)
Referenced in: [show references]