/** Ċ Ġ* ĠCopyright Ġ( c ) Ġ 2 0 2 0 ĠDr . ĠFl orian ĠSch mid t Ċ Ġ* Ċ Ġ* ĠLicensed Ġunder Ġthe ĠApache ĠLicense , ĠVersion Ġ 2 . 0 Ġ( the Ġ" License "); Ċ Ġ* Ġyou Ġmay Ġnot Ġuse Ġthis Ġfile Ġexcept Ġin Ġcompliance Ġwith Ġthe ĠLicense . Ċ Ġ* ĠYou Ġmay Ġobtain Ġa Ġcopy Ġof Ġthe ĠLicense Ġat Ċ Ġ* Ċ Ġ* ĠĠĠĠ Ġhttp :// www . apache . org / licenses / LICENSE - 2 . 0 Ċ Ġ* Ċ Ġ* ĠUnless Ġrequired Ġby Ġapplicable Ġlaw Ġor Ġagreed Ġto Ġin Ġwriting , Ġsoftware Ċ Ġ* Ġdistributed Ġunder Ġthe ĠLicense Ġis Ġdistributed Ġon Ġan Ġ" AS ĠIS " ĠBASIS , Ċ Ġ* ĠWITHOUT ĠWARRANTIES ĠOR ĠCONDITIONS ĠOF ĠANY ĠKIND , Ġeither Ġexpress Ġor Ġimplied . Ċ Ġ* ĠSee Ġthe ĠLicense Ġfor Ġthe Ġspecific Ġlanguage Ġgoverning Ġpermissions Ġand Ċ Ġ* Ġlimitations Ġunder Ġthe ĠLicense . Ċ Ġ*/ Ċ package Ġorg . e vo leq . math . cat . pro functor . opt ic Ċ Ċ import Ġorg . e vo leq . math . cat . marker . Math Cat Dsl Ċ import Ġorg . e vo leq . math . cat . morph ism . Morph ism Ċ import Ġorg . e vo leq . math . cat . morph ism . by Ċ import Ġorg . e vo leq . math . cat . morph ism . o Ċ import Ġorg . e vo leq . math . cat . pro functor . Pro functor Ċ import Ġkotlin . reflect . K Property Ċ Ċ interface ĠOpt ic < A , ĠB , ĠS Ġ, T > Ġ: ĠM orphism < Pro functor < A , ĠB >, ĠPro functor < S , ĠT >> Ġ{ ĊĠĠĠ Ġoverride Ġfun ĠgetValue ( this Ref : ĠAny ?, Ġproperty : ĠK Property < *> ): Ġ( Pro functor < A , ĠB > )-> ĠPro functor < S , ĠT > Ġ= Ġ{ Ġp Ġ-> morph ism ( p )} Ċ } Ċ Ċ /** Ċ Ġ* ĠConstructor Ġfunction Ġfor Ġthe Ġ[ Opt ic ] Ċ Ġ*/ Ċ @ Math Cat Dsl Ċ @ Suppress (" FunctionName ") Ċ fun Ġ< A , ĠB , ĠS , ĠT > ĠOpt ic ( opt ic : Ġ( Pro functor < A , ĠB > )-> Pro functor < S , ĠT >): ĠOpt ic < A , ĠB , ĠS , ĠT > Ġ= Ġobject Ġ: ĠOpt ic < A , ĠB , ĠS , ĠT > Ġ{ ĊĠĠĠ Ġoverride Ġval Ġmorph ism : Ġ( Pro functor < A , ĠB >) Ġ-> ĠPro functor < S , ĠT > ĊĠĠĠĠĠĠĠ Ġget () Ġ= Ġopt ic Ċ } Ċ Ċ /** Ċ Ġ* ĠCompose Ġ[ Opt ic ] s Ċ Ġ*/ Ċ @ Math Cat Dsl Ċ infix Ġfun Ġ< A , ĠB , ĠS , ĠT , ĠX , ĠY > ĠOpt ic < S , ĠT , ĠX , ĠY >. o ( other : ĠOpt ic < A , ĠB , ĠS , ĠT >): ĠOpt ic < A , ĠB , ĠX , ĠY > Ġ= ĠOpt ic Ġ( Ġby ( this ) Ġo Ġby ( other ) Ġ) Ċ