隨着近期發佈的關於HaskellDB的文章,我一直有動力再次研究HList。因爲我們現在在GHC中有-XDataKinds,它實際上有一個異類列表的例子,所以我想調查HList如何使用DataKinds。到目前爲止,我有以下幾點: {-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANG
當通過單擊選擇Tk :: HList中的條目時,將在此條目周圍繪製虛線。我不想擁有這條路線。我如何配置它?我沒有看到任何記錄的方式來做到這一點。 下面是一些示例代碼,顯示了帶有預選條目的Tk :: HList。當你點擊該條目時,會出現一條虛線。 #!perl
use strict;
use warnings;
use utf8;
use Tk;
use Tk::HList;
my
我是一個Haskell和一個Stackoverflow noob,這裏是我的 第一個&可能很基本的Haskell問題。 module M where
import Data.HList
data R r a
r1 = undefined :: R a Int
r2 = undefined :: R a Double
rPair :: R r a -> R r b -> (R r