[Haskell-beginners] cascade of if statements

[Emmanuel Touzery]

Thank you, I didn't realize I can simply put the maybe computation inside
the IO as you've shown. And I must research runState/evalState a bit more.
But yes it doesn't map so well to maybe. The parrallel just came to my mind.

The reason for splitting needToFetchAgain out was to keep function size
small and the code readable.

And in the caller function I can nicely write:

    needToFetchAgain <- needToFetchAgain export_filename
    when needToFetchAgain $ do
       ....

'when' coming from Control.Monad.

Well so I'll leave this function as it is for now and make a note to read
some more about runState/evalState.

Thank you!

Emmanuel

On Wed, Oct 31, 2012 at 12:05 PM, Daniel Trstenjak <
daniel.trstenjak at gmail.com> wrote:

>
> Hi Emmanuel,
>
> On Wed, Oct 31, 2012 at 11:25:05AM +0100, Emmanuel Touzery wrote:
> > But this function is already in the IO monad (maybe I'm thinking about
> > this in the wrong way though).
>
> A huge step in understanding monads for myself was to realize, that
> you can put any monadic computation (IO is the exception) inside an
> other monadic computation.
>
> e.g.
>
> ioComputation :: IO ()
> ioComputation = do
>    let maybe = do maybeComputation1
>                   maybeComputation2
>                   ...
>    return ()
>
>
> Most monads have some kind of execution function, like the state monad
> (runState, evalState):
>
> ioComputation :: IO ()
>    let initalState = ...
>        result      = evalState $ do stateComputation1
>                                     stateComputation2
>                      initalState
>    return ()
>
>
>
> In your case the Maybe monad doesn't help that much, because the
> functions you're calling doesn't return a Maybe value.
>
>
> In your case, why having a 'needToFetchAgain' and probably a 'fetch'
> function instead of just a 'refetch' function, which encapsulates
> the whole fetching?
>
>
> Greetings,
> Daniel
>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://www.haskell.org/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20121031/e4da6fdf/attachment.htm>