Gizra / elm-compat-019 / Task017

Elm 0.18 flipped parameters for andThen and onError, altered perform, and removed functions converting from and to Maybe and Result.

andThen : Task x a -> (a -> Task x b) -> Task x b

Chain together a task and a callback. The first task will run, and if it is successful, you give the result to the callback resulting in another task. This task then gets run.

succeed 2 `andThen` (\n -> succeed (n + 2)) -- succeed 4

This is useful for chaining tasks together. Maybe you need to get a user from your servers and then lookup their picture once you know their name.

onError : Task x a -> (x -> Task y a) -> Task y a

Recover from a failure in a task. If the given task fails, we use the callback to recover.

fail "file not found" `onError` (\msg -> succeed 42) -- succeed 42

succeed 9 `onError` (\msg -> succeed 42) -- succeed 9

perform : (x -> msg) -> (a -> msg) -> Task x a -> Platform.Cmd.Cmd msg

Command the runtime system to perform a task. The most important argument is the Task which describes what you want to happen. But you also need to provide functions to tag the two possible outcomes of the task. It can fail or succeed, but either way, you need to have a message to feed back into your application.

andMap : Task x (a -> b) -> Task x a -> Task x b

Put the results of two tasks together. If either task fails, the whole thing fails. It also runs in order so the first task will be completely finished before the second task starts.

This function makes it possible to chain tons of tasks together and pipe them all into a single function.

f `map` task1 `andMap` task2 `andMap` task3 -- map3 f task1 task2 task3

fromMaybe : x -> Maybe a -> Task x a

If you are chaining together a bunch of tasks, it may be useful to treat a maybe value like a task.

fromMaybe "file not found" Nothing -- fail "file not found"

fromMaybe "file not found" (Just 42) -- succeed 42

fromResult : Result x a -> Task x a

If you are chaining together a bunch of tasks, it may be useful to treat a result like a task.

fromResult (Err "file not found") -- fail "file not found"

fromResult (Ok 42) -- succeed 42

toMaybe : Task x a -> Task never (Maybe a)

Translate a task that can fail into a task that can never fail, by converting any failure into Nothing and any success into Just something.

toMaybe (fail "file not found") -- succeed Nothing

toMaybe (succeed 42) -- succeed (Just 42)

This means you can handle the error with the Maybe module instead.

toResult : Task x a -> Task never (Result x a)

Translate a task that can fail into a task that can never fail, by converting any failure into Err something and any success into Ok something.

toResult (fail "file not found") -- succeed (Err "file not found")

toResult (succeed 42) -- succeed (Ok 42)

This means you can handle the error with the Result module instead.