geo-therminator/lib/geo_therminator/pump_api/auth/user.ex

defmodule GeoTherminator.PumpAPI.Auth.User do
  require Record

  Record.defrecord(:record, :user, [:tokens])

  @type t :: :pump_api@auth@user.user()
end
Hackfest 2021-11-07 09:01:39 +00:00			`defmodule GeoTherminator.PumpAPI.Auth.User do`
Begin integration with Elixir code 2023-01-11 18:37:27 +00:00			`require Record`
Hackfest 2021-11-07 09:01:39 +00:00
Begin integration with Elixir code 2023-01-11 18:37:27 +00:00			`Record.defrecord(:record, :user, [:tokens])`

Reimplement the rest of the pump API core code in Gleam 2023-01-14 21:27:27 +00:00			`@type t :: :pump_api@auth@user.user()`
Hackfest 2021-11-07 09:01:39 +00:00			`end`