idris-data-frame
idris-data-frame copied to clipboard
Is it possible to have multi value columns?
Given that my input data had a column that is either a text value or an integer, can I use this Library to transform such data?
In my example I have a column called `level|, which is either "one", "two", an integer for numbers larger than 2 and, "twenty" for the max level value. Using an integer level would be ab integer between 0 and20 inclusive.