package Ġcommon Ċ Ċ import Ġio . vertx . ext . web . Router Ċ Ċ type alias ĠRequest Mapping Ġ= Ġ( Router ). () Ġ-> ĠUnit Ċ Ċ operator Ġfun ĠRequest Mapping . plus ( that : ĠRequest Mapping ): ĠRequest Mapping Ġ{ ĊĠĠĠ Ġval Ġself Ġ= Ġthis ĊĠĠĠ Ġreturn Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġrouter Ġ= Ġthis ĊĠĠĠĠĠĠĠ Ġself ( router ) ĊĠĠĠĠĠĠĠ Ġthat ( router ) ĊĠĠĠ Ġ} Ċ } Ċ Ċ open Ġclass ĠController ( val Ġmapping : ĠRequest Mapping ) Ġ{ ĊĊĠĠĠ Ġoperator Ġfun Ġplus ( that : ĠController ): ĠController Ġ= ĊĠĠĠĠĠĠĠ ĠController ( this . mapping Ġ+ Ġthat . mapping ) Ċ } Ċ