package Ġarrow . a ql . extensions Ċ Ċ import Ġarrow . a ql . Select Ċ import Ġarrow . a ql . From Ċ import Ġarrow . a ql . GroupBy Ċ import Ġarrow . a ql . Count Ċ import Ġarrow . a ql . Sum Ċ import Ġarrow . a ql . OrderBy Ċ import Ġarrow . a ql . Union Ċ import Ġarrow . a ql . Max Ċ import Ġarrow . a ql . Min Ċ import Ġarrow . core . For Non Empty List Ċ import Ġarrow . core . Non Empty List Ċ import Ġarrow . extension Ċ import Ġarrow . core . extensions . none mpty list . applic ative . applic ative Ċ import Ġarrow . core . extensions . none mpty list . fold able . fold able Ċ import Ġarrow . core . extensions . none mpty list . functor . functor Ċ import Ġarrow . type classes . Applic ative Ċ import Ġarrow . type classes . Fold able Ċ import Ġarrow . type classes . Functor Ċ Ċ @ extension Ċ interface ĠNon Empty List From Ġ: ĠFrom < For Non Empty List > Ġ{ ĊĠ Ġoverride Ġfun Ġapplic ative (): ĠApplic ative < For Non Empty List > Ġ= ĠNon Empty List . applic ative () Ċ } Ċ Ċ @ extension Ċ interface ĠNon Empty List Select Ġ: ĠSelect < For Non Empty List > Ġ{ ĊĠ Ġoverride Ġfun Ġfunctor (): ĠFun ctor < For Non Empty List > Ġ= ĠNon Empty List . functor () Ċ } Ċ Ċ @ extension Ċ interface ĠNon Empty List GroupBy Ġ: ĠGroup By < For Non Empty List > Ġ{ ĊĠ Ġoverride Ġfun Ġfold able (): ĠFold able < For Non Empty List > Ġ= ĠNon Empty List . fold able () Ċ } Ċ Ċ @ extension Ċ interface ĠNon Empty List Count Ġ: ĠCount < For Non Empty List > Ġ{ ĊĠ Ġoverride Ġfun Ġfold able (): ĠFold able < For Non Empty List > Ġ= ĠNon Empty List . fold able () Ċ } Ċ Ċ @ extension Ċ interface ĠNon Empty List Sum Ġ: ĠSum < For Non Empty List > Ġ{ ĊĠ Ġoverride Ġfun Ġfold able (): ĠFold able < For Non Empty List > Ġ= ĠNon Empty List . fold able () Ċ } Ċ Ċ @ extension Ċ interface ĠNon Empty List OrderBy Ġ: ĠOrder By < For Non Empty List > Ġ{ ĊĠ Ġoverride Ġfun Ġfold able (): ĠFold able < For Non Empty List > Ġ= ĠNon Empty List . fold able () Ċ } Ċ Ċ @ extension Ċ interface ĠNon Empty List Union Ġ: ĠUnion < For Non Empty List > Ġ{ ĊĠ Ġoverride Ġfun Ġfold able (): ĠFold able < For Non Empty List > Ġ= ĠNon Empty List . fold able () Ċ } Ċ Ċ @ extension Ċ interface ĠNon Empty List Max Ġ: ĠMax < For Non Empty List > Ġ{ ĊĠ Ġoverride Ġfun Ġfold able (): ĠFold able < For Non Empty List > Ġ= ĠNon Empty List . fold able () Ċ } Ċ Ċ @ extension Ċ interface ĠNon Empty List Min Ġ: ĠMin < For Non Empty List > Ġ{ ĊĠ Ġoverride Ġfun Ġfold able (): ĠFold able < For Non Empty List > Ġ= ĠNon Empty List . fold able () Ċ } Ċ