galley-0.83.0: Conversations
Safe HaskellSafe-Inferred
LanguageGHC2021

Galley.Cassandra.MakeFeature

Description

Abstraction to fetch and store feature values from and to the database.

Synopsis

Documentation

type family TupleP (xs :: [Type]) where ... Source #

This is necessary in order to convert an NP f xs type to something that CQL can understand.

The generated code looks like: @ instance TupleP xs where TupleP '[] = () TupleP '[a] = Identity a TupleP '[a, b] = (a, b) ... @

Equations

TupleP '[] = () 
TupleP '[a0] = Identity a0 
TupleP '[a0, a1] = (a0, a1) 
TupleP '[a0, a1, a2] = (a0, a1, a2) 
TupleP '[a0, a1, a2, a3] = (a0, a1, a2, a3) 
TupleP '[a0, a1, a2, a3, a4] = (a0, a1, a2, a3, a4) 
TupleP '[a0, a1, a2, a3, a4, a5] = (a0, a1, a2, a3, a4, a5) 
TupleP '[a0, a1, a2, a3, a4, a5, a6] = (a0, a1, a2, a3, a4, a5, a6) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7] = (a0, a1, a2, a3, a4, a5, a6, a7) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8] = (a0, a1, a2, a3, a4, a5, a6, a7, a8) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60, a61] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60, a61) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60, a61, a62] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60, a61, a62) 
TupleP '[a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60, a61, a62, a63] = (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42, a43, a44, a45, a46, a47, a48, a49, a50, a51, a52, a53, a54, a55, a56, a57, a58, a59, a60, a61, a62, a63) 

class MakeFeature cfg where Source #

Minimal complete definition

featureColumns

Associated Types

type FeatureRow cfg :: [Type] Source #

type FeatureRow cfg = '[FeatureStatus]

Methods

featureColumns :: NP (K String) (FeatureRow cfg) Source #

rowToFeature :: NP Maybe (FeatureRow cfg) -> DbFeature cfg Source #

default rowToFeature :: FeatureRow cfg ~ '[FeatureStatus] => NP Maybe (FeatureRow cfg) -> DbFeature cfg Source #

featureToRow :: LockableFeature cfg -> NP Maybe (FeatureRow cfg) Source #

default featureToRow :: FeatureRow cfg ~ '[FeatureStatus] => LockableFeature cfg -> NP Maybe (FeatureRow cfg) Source #

Instances

Instances details
MakeFeature AppLockConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow AppLockConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow AppLockConfig) Source #

rowToFeature :: NP Maybe (FeatureRow AppLockConfig) -> DbFeature AppLockConfig Source #

featureToRow :: LockableFeature AppLockConfig -> NP Maybe (FeatureRow AppLockConfig) Source #

MakeFeature ClassifiedDomainsConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow ClassifiedDomainsConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow ClassifiedDomainsConfig) Source #

rowToFeature :: NP Maybe (FeatureRow ClassifiedDomainsConfig) -> DbFeature ClassifiedDomainsConfig Source #

featureToRow :: LockableFeature ClassifiedDomainsConfig -> NP Maybe (FeatureRow ClassifiedDomainsConfig) Source #

MakeFeature ConferenceCallingConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow ConferenceCallingConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow ConferenceCallingConfig) Source #

rowToFeature :: NP Maybe (FeatureRow ConferenceCallingConfig) -> DbFeature ConferenceCallingConfig Source #

featureToRow :: LockableFeature ConferenceCallingConfig -> NP Maybe (FeatureRow ConferenceCallingConfig) Source #

MakeFeature DigitalSignaturesConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow DigitalSignaturesConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow DigitalSignaturesConfig) Source #

rowToFeature :: NP Maybe (FeatureRow DigitalSignaturesConfig) -> DbFeature DigitalSignaturesConfig Source #

featureToRow :: LockableFeature DigitalSignaturesConfig -> NP Maybe (FeatureRow DigitalSignaturesConfig) Source #

MakeFeature EnforceFileDownloadLocationConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow EnforceFileDownloadLocationConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow EnforceFileDownloadLocationConfig) Source #

rowToFeature :: NP Maybe (FeatureRow EnforceFileDownloadLocationConfig) -> DbFeature EnforceFileDownloadLocationConfig Source #

featureToRow :: LockableFeature EnforceFileDownloadLocationConfig -> NP Maybe (FeatureRow EnforceFileDownloadLocationConfig) Source #

MakeFeature ExposeInvitationURLsToTeamAdminConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow ExposeInvitationURLsToTeamAdminConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow ExposeInvitationURLsToTeamAdminConfig) Source #

rowToFeature :: NP Maybe (FeatureRow ExposeInvitationURLsToTeamAdminConfig) -> DbFeature ExposeInvitationURLsToTeamAdminConfig Source #

featureToRow :: LockableFeature ExposeInvitationURLsToTeamAdminConfig -> NP Maybe (FeatureRow ExposeInvitationURLsToTeamAdminConfig) Source #

MakeFeature FileSharingConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow FileSharingConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow FileSharingConfig) Source #

rowToFeature :: NP Maybe (FeatureRow FileSharingConfig) -> DbFeature FileSharingConfig Source #

featureToRow :: LockableFeature FileSharingConfig -> NP Maybe (FeatureRow FileSharingConfig) Source #

MakeFeature GuestLinksConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow GuestLinksConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow GuestLinksConfig) Source #

rowToFeature :: NP Maybe (FeatureRow GuestLinksConfig) -> DbFeature GuestLinksConfig Source #

featureToRow :: LockableFeature GuestLinksConfig -> NP Maybe (FeatureRow GuestLinksConfig) Source #

MakeFeature LegalholdConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow LegalholdConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow LegalholdConfig) Source #

rowToFeature :: NP Maybe (FeatureRow LegalholdConfig) -> DbFeature LegalholdConfig Source #

featureToRow :: LockableFeature LegalholdConfig -> NP Maybe (FeatureRow LegalholdConfig) Source #

MakeFeature LimitedEventFanoutConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow LimitedEventFanoutConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow LimitedEventFanoutConfig) Source #

rowToFeature :: NP Maybe (FeatureRow LimitedEventFanoutConfig) -> DbFeature LimitedEventFanoutConfig Source #

featureToRow :: LockableFeature LimitedEventFanoutConfig -> NP Maybe (FeatureRow LimitedEventFanoutConfig) Source #

MakeFeature MLSConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow MLSConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow MLSConfig) Source #

rowToFeature :: NP Maybe (FeatureRow MLSConfig) -> DbFeature MLSConfig Source #

featureToRow :: LockableFeature MLSConfig -> NP Maybe (FeatureRow MLSConfig) Source #

MakeFeature MlsE2EIdConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow MlsE2EIdConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow MlsE2EIdConfig) Source #

rowToFeature :: NP Maybe (FeatureRow MlsE2EIdConfig) -> DbFeature MlsE2EIdConfig Source #

featureToRow :: LockableFeature MlsE2EIdConfig -> NP Maybe (FeatureRow MlsE2EIdConfig) Source #

MakeFeature MlsMigrationConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow MlsMigrationConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow MlsMigrationConfig) Source #

rowToFeature :: NP Maybe (FeatureRow MlsMigrationConfig) -> DbFeature MlsMigrationConfig Source #

featureToRow :: LockableFeature MlsMigrationConfig -> NP Maybe (FeatureRow MlsMigrationConfig) Source #

MakeFeature OutlookCalIntegrationConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow OutlookCalIntegrationConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow OutlookCalIntegrationConfig) Source #

rowToFeature :: NP Maybe (FeatureRow OutlookCalIntegrationConfig) -> DbFeature OutlookCalIntegrationConfig Source #

featureToRow :: LockableFeature OutlookCalIntegrationConfig -> NP Maybe (FeatureRow OutlookCalIntegrationConfig) Source #

MakeFeature SSOConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow SSOConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow SSOConfig) Source #

rowToFeature :: NP Maybe (FeatureRow SSOConfig) -> DbFeature SSOConfig Source #

featureToRow :: LockableFeature SSOConfig -> NP Maybe (FeatureRow SSOConfig) Source #

MakeFeature SearchVisibilityAvailableConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow SearchVisibilityAvailableConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow SearchVisibilityAvailableConfig) Source #

rowToFeature :: NP Maybe (FeatureRow SearchVisibilityAvailableConfig) -> DbFeature SearchVisibilityAvailableConfig Source #

featureToRow :: LockableFeature SearchVisibilityAvailableConfig -> NP Maybe (FeatureRow SearchVisibilityAvailableConfig) Source #

MakeFeature SearchVisibilityInboundConfig Source #

This feature shares its status column with SearchVisibilityAvailableConfig. This means that when fetching all features, this column is repeated in the query, i.e. the query looks like: @ select ..., search_visibility_status, search_visibility_status, ... from team_features ... @

Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow SearchVisibilityInboundConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow SearchVisibilityInboundConfig) Source #

rowToFeature :: NP Maybe (FeatureRow SearchVisibilityInboundConfig) -> DbFeature SearchVisibilityInboundConfig Source #

featureToRow :: LockableFeature SearchVisibilityInboundConfig -> NP Maybe (FeatureRow SearchVisibilityInboundConfig) Source #

MakeFeature SelfDeletingMessagesConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow SelfDeletingMessagesConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow SelfDeletingMessagesConfig) Source #

rowToFeature :: NP Maybe (FeatureRow SelfDeletingMessagesConfig) -> DbFeature SelfDeletingMessagesConfig Source #

featureToRow :: LockableFeature SelfDeletingMessagesConfig -> NP Maybe (FeatureRow SelfDeletingMessagesConfig) Source #

MakeFeature SndFactorPasswordChallengeConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow SndFactorPasswordChallengeConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow SndFactorPasswordChallengeConfig) Source #

rowToFeature :: NP Maybe (FeatureRow SndFactorPasswordChallengeConfig) -> DbFeature SndFactorPasswordChallengeConfig Source #

featureToRow :: LockableFeature SndFactorPasswordChallengeConfig -> NP Maybe (FeatureRow SndFactorPasswordChallengeConfig) Source #

MakeFeature ValidateSAMLEmailsConfig Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Associated Types

type FeatureRow ValidateSAMLEmailsConfig :: [Type] Source #

Methods

featureColumns :: NP (K String) (FeatureRow ValidateSAMLEmailsConfig) Source #

rowToFeature :: NP Maybe (FeatureRow ValidateSAMLEmailsConfig) -> DbFeature ValidateSAMLEmailsConfig Source #

featureToRow :: LockableFeature ValidateSAMLEmailsConfig -> NP Maybe (FeatureRow ValidateSAMLEmailsConfig) Source #

fetchFeature :: forall cfg m row mrow. (MonadClient m, row ~ FeatureRow cfg, MakeFeature cfg, IsProductType (TupleP mrow) mrow, AllZip (IsF Maybe) row mrow, Tuple (TupleP mrow)) => TeamId -> m (DbFeature cfg) Source #

fetchFeatureRow :: forall row mrow m. (MonadClient m, IsProductType (TupleP mrow) mrow, AllZip (IsF Maybe) row mrow, Tuple (TupleP mrow)) => TeamId -> NP (K String) row -> m (Maybe (NP Maybe row)) Source #

storeFeature :: forall cfg m row mrow. (MonadClient m, row ~ FeatureRow cfg, MakeFeature cfg, IsProductType (TupleP (TeamId : mrow)) (TeamId : mrow), AllZip (IsF Maybe) row mrow, Tuple (TupleP (TeamId : mrow)), KnownNat (Length row)) => TeamId -> LockableFeature cfg -> m () Source #

class FeatureRow cfg ~ row => StoreFeatureLockStatus (row :: [Type]) cfg where Source #

Methods

storeFeatureLockStatus' :: MonadClient m => TeamId -> Tagged cfg LockStatus -> m () Source #

Instances

Instances details
FeatureRow cfg ~ row => StoreFeatureLockStatus row cfg Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Methods

storeFeatureLockStatus' :: MonadClient m => TeamId -> Tagged cfg LockStatus -> m () Source #

(FeatureRow cfg ~ (LockStatus ': row), MakeFeature cfg) => StoreFeatureLockStatus (LockStatus ': row) cfg Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature

Methods

storeFeatureLockStatus' :: MonadClient m => TeamId -> Tagged cfg LockStatus -> m () Source #

storeFeatureLockStatus :: forall cfg m. (MonadClient m, StoreFeatureLockStatus (FeatureRow cfg) cfg) => TeamId -> Tagged cfg LockStatus -> m () Source #

factorI :: forall f xs ys. AllZip (IsF f) xs ys => NP f xs -> NP I ys Source #

Convert NP f [x1, ..., xn] to NP I [f x1, ..., f xn].

This works because I . f = f.

unfactorI :: forall f xs ys. AllZip (IsF f) xs ys => NP I ys -> NP f xs Source #

Convert NP I [f x1, ..., f xn] to NP f [x1, ..., xn].

See factorI.

class f x ~ y => IsF f x y | y -> x Source #

This is to emulate a constraint-level lambda.

Instances

Instances details
f x ~ y => IsF (f :: k1 -> k2) (x :: k1) (y :: k2) Source # 
Instance details

Defined in Galley.Cassandra.MakeFeature