flix
0.54.0
Prelude
Purity
enum
Purity
[
a
:
Type
,
b
:
Type
,
ef
:
Eff
]
Source
case
Pure
(
a -> b
)
case
Impure
(
a -> b \ ef
)