@@ -24,8 +24,9 @@ Effect = (x : Type) -> Type -> (x -> Type) -> Type
24data EFFECT : Type where
24data EFFECT : Type where
25 MkEff : Type -> Effect -> EFFECT
25 MkEff : Type -> Effect -> EFFECT
27−-- 'sig' gives the signature for an effect. There are three versions
27+-- 'sig' gives the signature for an effect. There are four versions
28+-- depending on whether there is no resource needed,
28−-- depending on whether there is no state change, a non-dependent change,
29+-- no state change, a non-dependent change,
29-- or a dependent change. These are easily disambiguated by type.
30-- or a dependent change. These are easily disambiguated by type.
31namespace NoResourceEffect
32namespace NoResourceEffect