git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4079 from stevana/docs/dep-eff-typo
d78090fAhmad Salim Al-Sibahi
docs/effects/state.rst+1−1
compare with master
unifiedsplit
@@ -452,7 +452,7 @@ There are the following three versions:
452 TransEff.Eff : (t : Type) -> (input_effs : List EFFECT) ->
452 TransEff.Eff : (t : Type) -> (input_effs : List EFFECT) ->
453 (output_effs : List EFFECT) -> Type
453 (output_effs : List EFFECT) -> Type
454 DepEff.Eff : (t : Type) -> (input_effs : List EFFECT) ->
454 DepEff.Eff : (t : Type) -> (input_effs : List EFFECT) ->
455− (output_effs_fn : x -> List EFFECT) -> Type
455+ (output_effs_fn : t -> List EFFECT) -> Type
456
456
457So far, we have used only the first version, ``SimpleEff.Eff``, which
457So far, we have used only the first version, ``SimpleEff.Eff``, which
458is defined as follows:
458is defined as follows: