`then` reticle #130

New issue

Open

opened 2025-07-01 14:46:47 +02:00 by riki · 0 comments

riki commented

2025-07-01 14:46:47 +02:00

Owner

Considering the idea of selectRect / editRect (#123), we currently don't have a way to sandwich a scribble inbetween reticles. Therefore, I propose an effect combinator called then, which makes a reticle out of a scribble and a reticle:

then
  s : scribble
  r : reticle
  -> reticle

The intended usage is as follows:

s
|then . r

The full behaviour is to draw s, then act out r.

Considering the idea of `selectRect` / `editRect` (#123), we currently don't have a way to sandwich a scribble inbetween reticles. Therefore, I propose an effect combinator called `then`, which makes a reticle out of a scribble and a reticle: ``` then s : scribble r : reticle -> reticle ``` The intended usage is as follows: ``` s |then . r ``` The full behaviour is to **draw s, then act out r.**