我有一個可擴展的乙烯基/複合記錄（類似於HList，幀...），並且我想生成密鑰/值的元組，如 tuplify '[String :-> Whatevs, ...] :: [(String, String)]
這是令人驚訝的硬。 original gist。 Solution Gist, thanks to Alec below type FA = "a" :-> String
type F
我想知道是否有一種很好的方法來引用值的類型，而不是在代碼中使用type（不是在運行時 - 這裏沒有實現）顯式地對它們進行別名。 看看下面的代碼（使用）： {-# LANGUAGE DataKinds, TypeOperators #-}
import Data.Vinyl
name = Field :: "name" ::: String
age = Field :: "age" :::
在vinyl庫中，有一個RecAll類型系列，讓我們要求對於類型級別列表中的每個類型，部分應用的約束條件爲真。例如，我們可以這樣寫： myShowFunc :: RecAll f rs Show => Rec f rs -> String
而且都很可愛。現在，如果我們有約束RecAll f rs c其中c未知，並且我們知道c x需要d x（要從ekmett的contstraints包中借用語言
我陷入了一種微不足道的問題，無法得到它的一個竅門。 這裏的情景： 我使用咕嘟咕嘟任務我html模板轉換爲javascript使用gulp-html2js我的環境是Node v6.9.1, gulp 3.9.1, Windows 7 這裏是gulpfile.js var gulp = require('gulp');
var concat = require('gulp-concat');
va
乙烯基，我可以定義一個類型別名記錄，使其更容易出口到其他模塊： import Data.Vinyl
name = Field :: "name" ::: String
age = Field :: "age" ::: Int
type Person = ["name" ::: String, "age" ::: Int]
現在假設我添加一個字段存儲的高度。 height = Field