Fixed comment of Effect type; ordering incorrect and vague.
commit7806ff594f8d816406b28af2a3974ac3af43664b
authorCraig McLaughlin <mr_mcl@live.co.uk>
dateFri 9 Oct 2015, 11:43 (11 years ago)
parent6ee21c7
libs/effects/Effects.idr+2−2
@@ -12,9 +12,9 @@ import Data.Vect
1212||| The Effect type describes effectful computations.
1313|||
1414||| This type is parameterised by:
15−||| + The input resource.
1615||| + The return type of the computation.
17−||| + The computation to run on the resource.
16+||| + The input resource.
17+||| + The computation to run on the resource given the return value.
1818Effect : Type
1919Effect = (x : Type) -> Type -> (x -> Type) -> Type
2020