package Ġme . j ason 5 lee . k tp ost . getPost Ċ Ċ import Ġme . j ason 5 lee . k tp ost . common .* Ċ import Ġme . j ason 5 lee . res uk t . Result Ċ Ċ data Ġclass ĠCreator Info ( ĊĠ Ġval Ġname : ĠUser Name , ĊĠ Ġval Ġid : ĠUserId , Ċ ) Ċ Ċ data Ġclass ĠPost Info For Page ( ĊĠ Ġval Ġcreator : ĠCreator Info , ĊĠ Ġval Ġcreation : ĠTime , ĊĠ Ġval Ġlast Modified : ĠTime ?, ĊĠ Ġval Ġtitle : ĠPost Title , ĊĠ Ġval Ġcontent : ĠPost Content , Ċ ) Ċ Ċ type alias ĠQuery Ġ= ĠPost Id Ċ Ċ enum Ġclass ĠFailure Ġ{ ĊĠ ĠPost NotFound Ċ } Ċ Ċ interface ĠGet Post Ġ: Ġsuspend Ġ( Query ) Ġ-> ĠResult < Post Info For Page , ĠFailure > Ċ