Hey guys. I was thinking, is there a point in addi...

# arrow

[Egor Trutenko]

Hey guys. I was thinking, is there a point in adding something like http://hackage.haskell.org/package/base-4.12.0.0/docs/Control-Category.html to Arrow?
I just had a case where I had to generate a free poset by hand to encode some business rules, and intuition tells me that I could derive a lot more from it, but I can't get my mind around it yet.
Thoughts?

[Jannis]

I don't think it is well document (if at all) but we already have it: https://github.com/arrow-kt/arrow/blob/master/modules/core/arrow-core-data/src/main/kotlin/arrow/typeclasses/Category.kt
Not sure if it helps with your use-case, but it's there :)

[Egor Trutenko]

oh, thanks! Yeah, tbh I sometimes find it hard to navigate through Arrow stuff

[Jannis]

It is, a lot of the older parts are undocumented or its docs are outdated. There is just too many parts to keep track of. We've switched to mostly compile time checked docs to at least have code examples up to date, but there is definitly a lot of work left.

[Egor Trutenko]

Oh, arrow even has an Order typeclass. Is there a typeclass for partial order tho?

[Jannis]

Not that I know of 😕

[raulraja]

All data types and docs will be ready before we go stable but right now the focus it's in other areas

[raulraja]

@Egor Trutenko PartialOrder can be contributed to arrow.core if you are up for it 😊

[Egor Trutenko]

I'd want to implement the whole bunch of free structures, although I'm not sure how long will it take me
But I'll try