Current section

Files

Jump to
gleamgen src gleamgen@expression@constructor.erl
Raw

src/gleamgen@expression@constructor.erl

-module(gleamgen@expression@constructor).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch]).
-export([new/1, to_expression0/1, to_expression1/1, to_expression2/1, to_expression3/1, to_expression4/1, to_expression5/1, to_expression6/1, to_expression7/1, to_expression8/1, to_expression9/1, to_expression_unchecked/1, name/1, unsafe_convert/1]).
-export_type([constructor/3]).
-opaque constructor(JDM, JDN, JDO) :: {constructor,
gleamgen@types@variant:variant(gleamgen@types:unchecked())} |
{gleam_phantom, JDM, JDN, JDO}.
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 39).
-spec new(gleamgen@types@variant:variant(gleamgen@types:unchecked())) -> constructor(any(), any(), any()).
new(Variant) ->
{constructor, Variant}.
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 45).
-spec to_expression0(constructor(JFP, {}, any())) -> gleamgen@expression:expression(JFP).
to_expression0(Constructor) ->
gleamgen@expression:unchecked_ident(
erlang:element(2, erlang:element(2, Constructor))
).
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 51).
-spec to_expression1(constructor(JFV, {{}, JFW}, JFY)) -> gleamgen@expression:expression(fun((JFW) -> gleamgen@types@custom:custom_type(JFV, JFY))).
to_expression1(Constructor) ->
gleamgen@expression:unchecked_ident(
erlang:element(2, erlang:element(2, Constructor))
).
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 60).
-spec to_expression2(constructor(JGF, {{{}, JGG}, JGH}, JGK)) -> gleamgen@expression:expression(fun((JGG, JGH) -> gleamgen@types@custom:custom_type(JGF, JGK))).
to_expression2(Constructor) ->
gleamgen@expression:unchecked_ident(
erlang:element(2, erlang:element(2, Constructor))
).
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 68).
-spec to_expression3(constructor(JGR, {{{{}, JGS}, JGT}, JGU}, JGY)) -> gleamgen@expression:expression(fun((JGS, JGT, JGU) -> gleamgen@types@custom:custom_type(JGR, JGY))).
to_expression3(Constructor) ->
gleamgen@expression:unchecked_ident(
erlang:element(2, erlang:element(2, Constructor))
).
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 76).
-spec to_expression4(constructor(JHF, {{{{{}, JHG}, JHH}, JHI}, JHJ}, any())) -> gleamgen@expression:expression(fun((JHG, JHH, JHI, JHJ) -> JHF)).
to_expression4(Constructor) ->
gleamgen@expression:unchecked_ident(
erlang:element(2, erlang:element(2, Constructor))
).
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 82).
-spec to_expression5(
constructor(JHT, {{{{{{}, JHU}, JHV}, JHW}, JHX}, JHY}, any())
) -> gleamgen@expression:expression(fun((JHU, JHV, JHW, JHX, JHY) -> JHT)).
to_expression5(Constructor) ->
gleamgen@expression:unchecked_ident(
erlang:element(2, erlang:element(2, Constructor))
).
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 88).
-spec to_expression6(
constructor(JIJ, {{{{{{{}, JIK}, JIL}, JIM}, JIN}, JIO}, JIP}, any())
) -> gleamgen@expression:expression(fun((JIK, JIL, JIM, JIN, JIO, JIP) -> JIJ)).
to_expression6(Constructor) ->
gleamgen@expression:unchecked_ident(
erlang:element(2, erlang:element(2, Constructor))
).
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 94).
-spec to_expression7(
constructor(JJB, {{{{{{{{}, JJC}, JJD}, JJE}, JJF}, JJG}, JJH}, JJI}, any())
) -> gleamgen@expression:expression(fun((JJC, JJD, JJE, JJF, JJG, JJH, JJI) -> JJB)).
to_expression7(Constructor) ->
gleamgen@expression:unchecked_ident(
erlang:element(2, erlang:element(2, Constructor))
).
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 104).
-spec to_expression8(
constructor(JJV, {{{{{{{{{}, JJW}, JJX}, JJY}, JJZ}, JKA}, JKB}, JKC}, JKD}, any())
) -> gleamgen@expression:expression(fun((JJW, JJX, JJY, JJZ, JKA, JKB, JKC, JKD) -> JJV)).
to_expression8(Constructor) ->
gleamgen@expression:unchecked_ident(
erlang:element(2, erlang:element(2, Constructor))
).
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 114).
-spec to_expression9(
constructor(JKR, {{{{{{{{{{}, JKS}, JKT}, JKU}, JKV}, JKW}, JKX}, JKY}, JKZ},
JLA}, any())
) -> gleamgen@expression:expression(fun((JKS, JKT, JKU, JKV, JKW, JKX, JKY, JKZ, JLA) -> JKR)).
to_expression9(Constructor) ->
gleamgen@expression:unchecked_ident(
erlang:element(2, erlang:element(2, Constructor))
).
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 126).
-spec to_expression_unchecked(constructor(any(), any(), any())) -> gleamgen@expression:expression(any()).
to_expression_unchecked(Constructor) ->
gleamgen@expression:unchecked_ident(
erlang:element(2, erlang:element(2, Constructor))
).
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 132).
-spec name(constructor(any(), any(), any())) -> binary().
name(Constructor) ->
erlang:element(2, erlang:element(2, Constructor)).
-file("/home/weasel/gleam/testing_gleamgen/gleamgen/src/gleamgen/expression/constructor.gleam", 136).
-spec unsafe_convert(constructor(JMD, any(), any())) -> constructor(JMD, any(), any()).
unsafe_convert(Constructor) ->
{constructor, erlang:element(2, Constructor)}.