Greetings, what is about <https://arrow-kt.io/apid...
# arrow-metar
rcd27
08/19/2022, 5:09 PMGreetings, what is about https://arrow-kt.io/apidocs/arrow-refined-types/index.html and refined types in
Metar
raulraja
08/22/2022, 9:54 AMHi @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/
raulraja
08/22/2022, 9:55 AMWhat does your type refinement look like? Any examples of what you are trying to achieve with refined types?
4 Views