midas/task

Types

Effect

pub type Effect(a) {
  Done(a)
  Abort(Snag)
  Follow(uri: String, resume: fn(Result(Uri, Nil)) -> Effect(a))
  Fetch(
    request: Request(BitArray),
    resume: fn(Result(Response(BitArray), FetchError)) ->
      Effect(a),
  )
  Log(message: String, fn(Result(Nil, Nil)) -> Effect(a))
  Zip(
    files: List(#(String, BitArray)),
    resume: fn(Result(BitArray, Nil)) -> Effect(a),
  )
}

Constructors

```
Done(a)
```
```
Abort(Snag)
```

Follow(uri: String, resume: fn(Result(Uri, Nil)) -> Effect(a))

Fetch(
  request: Request(BitArray),
  resume: fn(Result(Response(BitArray), FetchError)) -> Effect(a),
)

Log(message: String, fn(Result(Nil, Nil)) -> Effect(a))

Zip(
  files: List(#(String, BitArray)),
  resume: fn(Result(BitArray, Nil)) -> Effect(a),
)

FetchError

</>

pub type FetchError {
  NetworkError(String)
  UnableToReadBody
  NotImplemented
}

Constructors

```
NetworkError(String)
```
```
UnableToReadBody
```
```
NotImplemented
```

Functions

do

</>

pub fn do(eff: Effect(a), then: fn(a) -> Effect(b)) -> Effect(b)

fetch

</>

pub fn fetch(
  request: Request(BitArray),
) -> Effect(Response(BitArray))

follow

</>

pub fn follow(uri: String) -> Effect(Uri)

log

</>

pub fn log(message: String) -> Effect(Nil)

try

</>

pub fn try(
  result: Result(a, Snag),
  then: fn(a) -> Effect(b),
) -> Effect(b)

zip

</>

pub fn zip(
  message: List(#(String, BitArray)),
) -> Effect(BitArray)