Skip to content
This repository has been archived by the owner on Jan 17, 2020. It is now read-only.

Commit

Permalink
Mention runIO in readme again
Browse files Browse the repository at this point in the history
  • Loading branch information
no-longer-on-githu-b committed Apr 3, 2017
1 parent 9159e08 commit 92906d0
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -58,16 +58,14 @@ Therefore, MTL and direct-Free approaches can be considered alternatives to Pure
`IO` is a newtype for `Aff`, which you can unwrap to be used in your `main`:

```haskell
import Data.Newtype (unwrap)

unwrap :: forall a. IO a -> Aff (infinity :: INFINITY) a
runIO :: forall a. IO a -> Aff (infinity :: INFINITY) a
```

This converts an `IO` into an `Aff`, which you can then "convert" into a
runnable `Eff` using `launchAff` or `runAff`.

The effect row is closed, which is intentional because `INFINITY` represents
all possible effects. This will help ensure you only call `unwrap` at the top
all possible effects. This will help ensure you only call `runIO` at the top
level of your program.

Besides this, `IO` has almost all the same instances as `Aff`, and may be used
Expand Down

0 comments on commit 92906d0

Please sign in to comment.