package Ġarrow . d agger . extensions Ċ Ċ import Ġarrow . data . Sorted Map K Partial Of Ċ import Ġarrow . data . extensions .* Ċ import Ġarrow . type classes . Fold able Ċ import Ġarrow . type classes . Functor Ċ import Ġarrow . type classes . Sem ig roup Ċ import Ġarrow . type classes . Tra verse Ċ import Ġdagger . Module Ċ import Ġdagger . Provides Ċ import Ġjavax . inject . Inject Ċ Ċ @ Module Ċ abstract Ġclass ĠSorted Map K Instances < K Ġ: ĠComparable < K >> Ġ{ ĊĊĠ Ġ@ Provides ĊĠ Ġfun Ġsorted Map K Functor ( ev : ĠD agger Sorted Map K Functor < K >): ĠFun ctor < Sorted Map K Partial Of < K >> Ġ= Ġev ĊĊĠ Ġ@ Provides ĊĠ Ġfun Ġsorted Map K Fold able ( ev : ĠD agger Sorted Map K Fold able < K >): ĠFold able < Sorted Map K Partial Of < K >> Ġ= Ġev ĊĊĠ Ġ@ Provides ĊĠ Ġfun Ġsorted Map K Tra verse ( ev : ĠD agger Sorted Map K Tra verse < K >): ĠTra verse < Sorted Map K Partial Of < K >> Ġ= Ġev Ċ Ċ } Ċ Ċ class ĠD agger Sorted Map K Functor < K Ġ: ĠComparable < K >> Ġ@ Inject Ġconstructor () Ġ: ĠSorted Map K Functor < K > Ċ Ċ class ĠD agger Sorted Map K Fold able < K Ġ: ĠComparable < K >> Ġ@ Inject Ġconstructor () Ġ: ĠSorted Map K Fold able < K > Ċ Ċ class ĠD agger Sorted Map K Tra verse < K Ġ: ĠComparable < K >> Ġ@ Inject Ġconstructor () Ġ: ĠSorted Map K Tra verse < K > Ċ Ċ class ĠD agger Sorted Map K Sem ig roup < K Ġ: ĠComparable < K >, ĠA > Ġ@ Inject Ġconstructor ( val ĠSG : ĠSem ig roup < A >) Ġ: ĠSorted Map K Sem ig roup < K , ĠA > Ġ{ ĊĠ Ġoverride Ġfun ĠSG (): ĠSem ig roup < A > Ġ= ĠSG Ċ } Ċ Ċ class ĠD agger Sorted Map K Mon oid < K Ġ: ĠComparable < K >, ĠA > Ġ@ Inject Ġconstructor ( val ĠSG : ĠSem ig roup < A >) Ġ: ĠSorted Map K Mon oid < K , ĠA > Ġ{ ĊĠ Ġoverride Ġfun ĠSG (): ĠSem ig roup < A > Ġ= ĠSG Ċ }