@@ -12,9 +12,9 @@ import Data.Vect
12||| The Effect type describes effectful computations.
12||| The Effect type describes effectful computations.
14||| This type is parameterised by:
14||| This type is parameterised by:
15−||| + The input resource.
16||| + The return type of the computation.
15||| + The return type of the computation.
16+||| + The input resource.
17−||| + The computation to run on the resource.
17+||| + The computation to run on the resource given the return value.
18Effect : Type
18Effect : Type
19Effect = (x : Type) -> Type -> (x -> Type) -> Type
19Effect = (x : Type) -> Type -> (x -> Type) -> Type