package Ġcom . fil ipp o eng idas het . circular progress app . data . mapper Ċ Ċ import Ġcom . fil ipp o eng idas het . circular progress app . data . model . User Ċ import Ġcom . fil ipp o eng idas het . circular progress app . data . model . UserData Ċ Ċ /** Ċ Ġ* Ġ@ author ĠFil ipp o Ġ 1 3 / 0 7 / 2 0 2 1 Ċ Ġ*/ Ċ class ĠUser Data Transformer Ġ{ ĊĊĠĠĠ Ġfun Ġmap ( user : ĠUser ): ĠUser Data Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġbook ings Ġ= Ġuser . bookings ?. first OrNull () ĊĠĠĠĠĠĠĠ Ġval Ġlast Energy Level Ġ= Ġbook ings ?. car ?. last _ energy _ level ?. toFloat () Ġ?: Ġ 0 f ĊĠĠĠĠĠĠĠ Ġval Ġsubscription M iles Left Ġ= Ġbook ings ?. subscription _ m iles _ left ?. toFloat () Ġ?: Ġ 0 f ĊĠĠĠĠĠĠĠ Ġreturn ĠUser Data ( last Energy Level , Ġsubscription M iles Left ) ĊĠĠĠ Ġ} Ċ } Ċ