pub fn function0(
returns: GeneratedType(a),
) -> GeneratedType(fn() -> a)
pub fn function1(
arg1: GeneratedType(a),
returns: GeneratedType(b),
) -> GeneratedType(fn(a) -> b)
pub fn function2(
arg1: GeneratedType(a),
arg2: GeneratedType(b),
returns: GeneratedType(c),
) -> GeneratedType(fn(a, b) -> c)
pub fn generic(name: String) -> GeneratedType(a)
pub fn list(type_: GeneratedType(a)) -> GeneratedType(List(a))
pub fn render_type(
type_: GeneratedType(a),
) -> Result(Rendered, Nil)
pub fn result(
ok_type: GeneratedType(a),
err_type: GeneratedType(b),
) -> GeneratedType(Result(a, b))
pub fn to_unchecked(
type_: GeneratedType(a),
) -> GeneratedType(Unchecked)
pub fn tuple1(type1: GeneratedType(a)) -> GeneratedType(#(a))
pub fn tuple2(
type1: GeneratedType(a),
type2: GeneratedType(b),
) -> GeneratedType(#(a, b))
pub fn tuple3(
type1: GeneratedType(a),
type2: GeneratedType(b),
type3: GeneratedType(c),
) -> GeneratedType(#(a, b, c))
pub fn tuple4(
type1: GeneratedType(a),
type2: GeneratedType(b),
type3: GeneratedType(c),
type4: GeneratedType(d),
) -> GeneratedType(#(a, b, c, d))
pub fn tuple5(
type1: GeneratedType(a),
type2: GeneratedType(b),
type3: GeneratedType(c),
type4: GeneratedType(d),
type5: GeneratedType(e),
) -> GeneratedType(#(a, b, c, d, e))
pub fn tuple6(
type1: GeneratedType(a),
type2: GeneratedType(b),
type3: GeneratedType(c),
type4: GeneratedType(d),
type5: GeneratedType(e),
type6: GeneratedType(f),
) -> GeneratedType(#(a, b, c, d, e, f))
pub fn tuple7(
type1: GeneratedType(a),
type2: GeneratedType(b),
type3: GeneratedType(c),
type4: GeneratedType(d),
type5: GeneratedType(e),
type6: GeneratedType(f),
type7: GeneratedType(g),
) -> GeneratedType(#(a, b, c, d, e, f, g))
pub fn tuple8(
type1: GeneratedType(a),
type2: GeneratedType(b),
type3: GeneratedType(c),
type4: GeneratedType(d),
type5: GeneratedType(e),
type6: GeneratedType(f),
type7: GeneratedType(g),
type8: GeneratedType(h),
) -> GeneratedType(#(a, b, c, d, e, f, g, h))
pub fn tuple9(
type1: GeneratedType(a),
type2: GeneratedType(b),
type3: GeneratedType(c),
type4: GeneratedType(d),
type5: GeneratedType(e),
type6: GeneratedType(f),
type7: GeneratedType(g),
type8: GeneratedType(h),
type9: GeneratedType(i),
) -> GeneratedType(#(a, b, c, d, e, f, g, h, i))
pub fn unchecked() -> GeneratedType(a)
pub fn unchecked_ident(name: String) -> GeneratedType(a)
pub fn unsafe_from_unchecked(
type_: GeneratedType(Unchecked),
) -> GeneratedType(a)