Purity
enum Purity[a: Type, b: Type, ef: Eff]Sourcecase Pure(a -> b)case Impure(a -> b \ ef)Type of unary functions tagged as either pure or impure.
enum Purity[a: Type, b: Type, ef: Eff]Sourcecase Pure(a -> b)case Impure(a -> b \ ef)Type of unary functions tagged as either pure or impure.