git.iko.soy/Idris-dev
on master help sign in
Type arguments of declaration were made to be similar to the others.
7f4ee1fDenis Buzdalov
docs/effects/depeff.rst+2−2
compare with master
unifiedsplit
@@ -43,8 +43,8 @@ express this as follows:
43
43
44.. code-block:: idris
44.. code-block:: idris
45
45
46− readInt : Eff ()[STATE (Vect n Int), STDIO]
46+ readInt : Eff () [STATE (Vect n Int), STDIO]
47− [STATE (Vect (S n) Int), STDIO]
47+ [STATE (Vect (S n) Int), STDIO]
48 readInt = do let x = trim !getStr
48 readInt = do let x = trim !getStr
49 putM (cast x :: !get)
49 putM (cast x :: !get)
50
50