How to get normal value from IO action in Haskell

by

You can’t, because that would violate referential transparency.

IO in Haskell is made this way exactly to distinguish between actions whose result and effects may vary depending on the interaction with the environment/user and pure functions whose results are not going to change when you call them with the same input parameters.

In order to pass the result to a pure function taking a Chars in input you have to call your IO action into another IO action, bind the result with the <- operator to a variable and pass it to your pure function. Pseudocode example:

myPureFunction :: Chars -> ...

otherAction :: Chars -> IO ()
otherAction cs = do
  myChars <- get cs
  let pureResult = myPureFunction myChars
  ...

If you’re new to IO in haskell, you may wish to have a look at the Input and Output chapters in Learn You a Haskell for a Great Good! and Real World Haskell.

There is actually a way to simply get a pure value out of an IO action, but in your case you shouldn’t do it, as you’re interacting with the environment: the unsafe way is ok only when you can guarantee you’re not violating referential transparency.

More Related Contents:

  1. battleships game – Haskell [closed]
  2. How to run a for loop in Haskell
  3. Getting started with Haskell
  4. How is this fibonacci-function memoized?
  5. runST and function composition
  6. Explain this chunk of haskell code that outputs a stream of primes
  7. How do I deal with many levels of indentation?
  8. Why does length return 1 for a tuple with 2 elements, and gives an error for a tuple with more elements?
  9. Finite comprehension of an infinite list
  10. Are there pronounceable names for common Haskell operators? [closed]
  11. Split a number into its digits with Haskell
  12. double stream feed to prevent unneeded memoization?
  13. What indentation is required for a case statement within a let statement?
  14. What is the difference between Int and Integer?
  15. Is Haskell truly pure (is any language that deals with input and output outside the system)?
  16. Euler 43 – is there a monad to help write this list comprehension?
  17. What is a monad?
  18. Is there a way to place some impure code inside pure functions?
  19. How to increment a variable in functional programming?
  20. What part of Hindley-Milner do you not understand?
  21. Why is GHC complaining about non-exhaustive patterns?
  22. Haskell – simple constructor comparison (?) function
  23. foldl Implementation with Runtime Errors
  24. Exception handling in Haskell
  25. How to make a type with restrictions
  26. Given a Haskell type signature, is it possible to generate the code automatically?
  27. Why does OCaml sometimes require eta expansion?
  28. Explanation of “tying the knot”
  29. What is predicativity?
  30. Return specific type within Haskell

Leave a Comment