package Ġio . real world . cond uit . profile . domain Ċ Ċ import Ġio . real world . cond uit . user . domain . User Ċ import Ġio . real world . cond uit . user . domain . UserId Ċ Ċ data Ġclass ĠProfile ( ĊĠĠĠ Ġval Ġid : ĠUserId , ĊĠĠĠ Ġval Ġusername : ĠString , ĊĠĠĠ Ġval Ġbio : ĠString ?, ĊĠĠĠ Ġval Ġimage : ĠString ? Ċ ) Ġ{ ĊĠĠĠ Ġcompanion Ġobject Ġ{ ĊĠĠĠĠĠĠĠ Ġfun Ġfrom User ( user : ĠUser ): ĠProfile Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġreturn ĠProfile ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġid Ġ= Ġuser . id , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġusername Ġ= Ġuser . username , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġbio Ġ= Ġuser . bio , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġimage Ġ= Ġuser . image ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ } Ċ