data

Types

UserDataError

pub type UserDataError(identifier) {
  NoSuchData(id: identifier)
  Generic(id: identifier, message: String)
}

Constructors

```
NoSuchData(id: identifier)
```

Generic(id: identifier, message: String)

UserDataService

</>

pub type UserDataService(identifier) {
  UserDataService(
    get_user: fn(identifier) -> Option(User(identifier)),
  )
}

Constructors

UserDataService(
  get_user: fn(identifier) -> Option(User(identifier)),
)

UserDataSource

</>

pub type UserDataSource(identifier, data_store) {
  UserDataSource(
    get_data: fn(identifier) ->
      Result(data_store, UserDataError(identifier)),
  )
}

Constructors

UserDataSource(
  get_data: fn(identifier) ->
    Result(data_store, UserDataError(identifier)),
)

Functions

get_data

</>

pub fn get_data(
  user: User(a),
  data_source: UserDataSource(a, b),
) -> Result(b, UserDataError(a))

A stub method that just unwraps the user’s ID and then forwards it to the data store