glindo/examples/csv

Types

pub type CSV {
  CSV(value: List(CSVRecord))
}

</>

pub type CSVRecord {
  Field(line: Int, records: List(CSVal))
}

</>

pub type CSVal {
  CSVInt(Int)
  CSVStr(String)
  CSVBool(Bool)
}

</>

pub fn get_csv(str: String) -> Option(CSV)

</>

pub fn print_csv(str: String) -> Nil

</>

pub fn query_csv(
  csv csv: CSV,
  row row: Int,
  column col: Int,
) -> Nil