starmap/insertion

Types

pub type Insertion(a, b) {
  Insertion(table: String, columns: a, values: List(b))
}

Constructors

  • Insertion(table: String, columns: a, values: List(b))

Functions

pub fn columns1(
  insertion: Insertion(Nil, Nil),
  column1: Column(a, b),
) -> Insertion(Column(a, b), a)
pub fn columns2(
  insertion: Insertion(Nil, Nil),
  column1: Column(a, b),
  column2: Column(c, b),
) -> Insertion(#(Column(a, b), Column(c, b)), #(a, c))
pub fn columns3(
  insertion: Insertion(Nil, Nil),
  column1: Column(a, b),
  column2: Column(c, b),
  column3: Column(d, b),
) -> Insertion(
  #(Column(a, b), Column(c, b), Column(d, b)),
  #(a, c, d),
)
pub fn columns4(
  insertion: Insertion(Nil, Nil),
  column1: Column(a, b),
  column2: Column(c, b),
  column3: Column(d, b),
  column4: Column(e, b),
) -> Insertion(
  #(Column(a, b), Column(c, b), Column(d, b), Column(e, b)),
  #(a, c, d, e),
)
pub fn columns5(
  insertion: Insertion(Nil, Nil),
  column1: Column(a, b),
  column2: Column(c, b),
  column3: Column(d, b),
  column4: Column(e, b),
  column5: Column(f, b),
) -> Insertion(
  #(
    Column(a, b),
    Column(c, b),
    Column(d, b),
    Column(e, b),
    Column(f, b),
  ),
  #(a, c, d, e, f),
)
pub fn columns6(
  insertion: Insertion(Nil, Nil),
  column1: Column(a, b),
  column2: Column(c, b),
  column3: Column(d, b),
  column4: Column(e, b),
  column5: Column(f, b),
  column6: Column(g, b),
) -> Insertion(
  #(
    Column(a, b),
    Column(c, b),
    Column(d, b),
    Column(e, b),
    Column(f, b),
    Column(g, b),
  ),
  #(a, c, d, e, f, g),
)
pub fn columns7(
  insertion: Insertion(Nil, Nil),
  column1: Column(a, b),
  column2: Column(c, b),
  column3: Column(d, b),
  column4: Column(e, b),
  column5: Column(f, b),
  column6: Column(g, b),
  column7: Column(h, b),
) -> Insertion(
  #(
    Column(a, b),
    Column(c, b),
    Column(d, b),
    Column(e, b),
    Column(f, b),
    Column(g, b),
    Column(h, b),
  ),
  #(a, c, d, e, f, g, h),
)
pub fn columns8(
  insertion: Insertion(Nil, Nil),
  column1: Column(a, b),
  column2: Column(c, b),
  column3: Column(d, b),
  column4: Column(e, b),
  column5: Column(f, b),
  column6: Column(g, b),
  column7: Column(h, b),
  column8: Column(i, b),
) -> Insertion(
  #(
    Column(a, b),
    Column(c, b),
    Column(d, b),
    Column(e, b),
    Column(f, b),
    Column(g, b),
    Column(h, b),
    Column(i, b),
  ),
  #(a, c, d, e, f, g, h, i),
)
pub fn columns9(
  insertion: Insertion(Nil, Nil),
  column1: Column(a, b),
  column2: Column(c, b),
  column3: Column(d, b),
  column4: Column(e, b),
  column5: Column(f, b),
  column6: Column(g, b),
  column7: Column(h, b),
  column8: Column(i, b),
  column9: Column(j, b),
) -> Insertion(
  #(
    Column(a, b),
    Column(c, b),
    Column(d, b),
    Column(e, b),
    Column(f, b),
    Column(g, b),
    Column(h, b),
    Column(i, b),
    Column(j, b),
  ),
  #(a, c, d, e, f, g, h, i),
)
pub fn insert_into(table: String) -> Insertion(Nil, Nil)
pub fn value(
  insertion: Insertion(a, b),
  value1: b,
) -> Insertion(a, b)
pub fn values(
  insertion: Insertion(a, b),
  values: List(b),
) -> Insertion(a, b)
Search Document