6c48da8 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Add doc comment in System.Interactive

6c48da8Edwin Brady11 years ago

libs/base/System/Interactive.idr+6−7

@@ -1,13 +1,12 @@

1+||| Various helper functions for creating simple interactive systems.

2+|||

3+||| These are mostly intended for helping with teaching, in that they will allow

4+||| the easy creation of interactive programs without needing to teach IO

5+||| or Effects first, but they also capture some common patterns of interactive

6+||| programming.

1module System.Interactive

7module System.Interactive

3{-

9{-

4−Various helper functions for creating simple interactive systems.

5−

6−These are mostly intended for helping with teaching, in that they will allow

7−the easy creation of interactive programs without needing to teach IO

8−or Effects first, but they also capture some common patterns of interactive

9−programming.

10−

11When the interfaces and names are stable, these are intended for the Prelude.

10When the interfaces and names are stable, these are intended for the Prelude.

12-}

11-}