https://kotlinlang.org logo
#arrow-meta
Title
# arrow-meta
r

rcd27

08/19/2022, 5:09 PM
Greetings, what is about https://arrow-kt.io/apidocs/arrow-refined-types/index.html and refined types in
Meta
? I need refined types, guys ❤️
r

raulraja

08/22/2022, 9:54 AM
Hi @rcd27, we discontinued use of refined types until we have a better encoding for it. Most likely you may be able to satisfy their use case with https://arrow-kt.io/docs/meta/analysis/
What does your type refinement look like? Any examples of what you are trying to achieve with refined types?
4 Views