package Ġfr . ac in q . phoenix . ctrl Ċ Ċ import Ġfr . ac in q . bitcoin . Sat oshi Ċ import Ġfr . ac in q . lightning . Milli Sat oshi Ċ import Ġfr . ac in q . lightning . db . Wallet Payment ĊĊ Ċ type alias ĠHome Controller Ġ= ĠM VI . Controller < Home . Model , ĠHome . Intent > Ċ Ċ object ĠHome Ġ{ ĊĊĠĠĠ Ġdata Ġclass ĠModel ( ĊĠĠĠĠĠĠĠ Ġval Ġbalance : ĠM illi Sat oshi , ĊĠĠĠĠĠĠĠ Ġval Ġincoming Balance : ĠM illi Sat oshi ?, ĊĠĠĠĠĠĠĠ Ġval Ġpayments : ĠList < Wallet Payment > ĊĠĠĠ Ġ) Ġ: ĠM VI . Model () ĊĊĠĠĠ Ġval Ġempty Model Ġ= ĠModel ( Milli Sat oshi ( 0 ), Ġnull , Ġempty List ()) ĊĊĠĠĠ Ġsealed Ġclass ĠIntent Ġ: ĠM VI . Intent () Ċ Ċ } Ċ