[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Recursive definitions of higher-order operators

From: Y2i <yur...@xxxxxxxxx>
Date: Sun, 6 Dec 2015 13:41:30 -0800 (PST)
References: <75f4c1c5-52ee-4f44-a2fa-8dbadc6599ec@googlegroups.com> <9150ba4f-c010-4695-93d5-9c9d7e9d5b33@googlegroups.com> <801f1d2b-a659-43ce-9da6-3edc32a7d437@googlegroups.com> <3c2d6eae-aeb1-4cbf-8990-80ffb054b158@googlegroups.com> <941C05F9-703C-48FA-B607-F88D2424C062@sglaser.com>

Thank you Steve! Nothing is wrong with your sample, I simply forgot that SelectSeq exists.

I'm still curious about the answer to my question because FlatMap from Ron's response and SortSet are other operators that I'd like to use.

Yuri

References:
- Recursive definitions of higher-order operators
  - From: Y2i
- Re: Recursive definitions of higher-order operators
  - From: Ron Pressler
- Re: Recursive definitions of higher-order operators
  - From: Y2i
- Re: Recursive definitions of higher-order operators
  - From: Y2i
- Re: [tlaplus] Recursive definitions of higher-order operators
  - From: Steve Glaser

Prev by Date: Re: How to check if a variable increases or stays the same at each new state?
Next by Date: Re: [tlaplus] TLA+ logic
Previous by thread: Re: [tlaplus] Recursive definitions of higher-order operators
Next by thread: Re: Recursive definitions of higher-order operators
Index(es):
- Date
- Thread