flix

0.54.0

IO

eff IOSource

The uninterpretable IO effect.

The IO effect represents the actions not described by any other effect.

The IO effect is uninterpretable which means that it cannot be handled.