提供的可扩展记录不同于其他库(HList,可能还有其他库-记录/记录)提供的记录。这是因为查找的结果是基于(result type, label)对的,而其他库只有基于label的查找。乙烯基类就是一个这样的例子:
{-# LANGUAGE DataKinds, TypeOperators #-}
import Data.Vinyl
r = fixRecord $ (Field :: "x" ::: a) =: (3::Double)
<+> (Field :: "x" ::: a) =: (2::Int)
main = do
运行以下代码时没有出错,但数据库不影响。这意味着记录不能删除。Python代码的一部分
import MySQLdb as msdb
def delete_row(self):
con = msdb.connect('localhost','root','24434','matab_db')
cur = con.cursor()
qq = "DELETE FROM tbl_rezerv_nobat WHERE id=4"
# or qq = "DELETE FROM tbl_