newtype

2熱度

1回答

我創建了一個newtype別名IP類型從Data.IP： {-# LANGUAGE GeneralizedNewtypeDeriving #-} module IPAddress (IPAddress) where import Data.IP (IP) import Database.PostgreSQL.Simple.ToField newtype IPAddress = IPA

6熱度

1回答

構造連續類型？

我要去了延續和我遇到兩種不同的方法來構造延續類型： newtype C r a = C {runC :: (a -> r) -> r} exampleFunction :: String -> C Bool String exampleFunction s = C $ \t -> if length s > 10 then t s else False continuationFunct

4熱度

2回答

如何訪問NEWTYPE命名元組領域

我聲明如下newtypes： newtype Code = Code String deriving (Show) newtype Name = Name String deriving (Show) newtype Account = Account (Code, Name) deriving (Show) 所以： *Main Lib> :t Code Code :: String -

2熱度

1回答

如何使用inotify-rs生成的WatchDescriptor結構將事件與生成它們的文件進行匹配？

我正在使用Inotify（通過inotify-rs包裝器）在文件系統中觀看大量文件（不是目錄）。以下的inotify-RS方法返回一個WatchDescriptor結構： add_watch<P>(&mut self, path: P, mask: WatchMask) -> io::Result<WatchDescriptor> where P: AsRef<Path> Wat

1熱度

1回答

「類型同義詞實例是不允許的」，即使我有一個新類型單子變壓器

我已經定義了一個單子變壓器UlffT如下。我正在與Halogen，但這不是Halogen -question - 我只是提供上下文。 UlffT意味着堆疊在Aff上，並在HalogenM中使用。 newtype UlffT m a = UlffT (ExceptT Error (ReaderT Env m) a) unUlffT :: forall m. UlffT m ~> ExceptT

1熱度

1回答

將函數映射到新類型定義爲數據結構列表

我是Haskell和FP的新手，正在通過LYAH和其他來源工作，但是「通過干涉學習」我試圖編寫一個小程序JSON解析。然而，我已經把自己編碼到了一個角落，並且不能離開。我的代碼是從各種教程中拼湊出來的，我可以感覺到我仍然「在程序上思考」如何很好地將它組合在一起，但是我沒有得到必要的突破來使它工作。首先，這裏是一個多級JSON文件的簡化版，它是Weather Underground API的天氣預

0熱度

1回答

如何消除包裝的樣板和使用鏡片

TL展開;博士：是否有可能使用任何lens家族的抽象的包裝/解開任意newtype（即提供了一種用於這樣的抽象的實例）？我會通過一個基於真實故事的簡單示例來激發我的問題。假設我定義以下newtype： newtype FreeMonoid a = FreeMonoid { asMap :: Map a Int } 它是用來表示形式方面： a0 <> a1 <> ... <> an-1 我

2熱度

1回答

NEWTYPE推導單子錯誤

我試圖安裝一個應用程序Termite - Util但我在與線得到這個錯誤14 newtype CE m a = CE {unCE :: m a} deriving (Monad) 錯誤說： ContextError.hs：14：45 ：沒有適用於（適用（CE m））由數據類型聲明的「派生」子句產生可能的修正：使用獨立的「派生實例」聲明因此您可以sp ecify自己的實例上下文當導出

0熱度

1回答

一個新類型的外部導入超過一個記錄

如果我有一些javascript json數據，我可以foreign import那個數據超過一個用戶定義的newtype，但帶有一個子集的實際數據嗎？例如：在JavaScript ： exports.foo = {foo: "foo", bar: "bar"} 在purescript： newtype Foo = Foo {foo :: String} foreign import fo

2熱度

2回答

倒裝數據類型

函子類型變量我有以下類型定義： newtype Flip f a b = Flip (f b a) deriving (Eq, Show) 是否Flip數據構造有一個或三個參數？ Consinder實現如下： data K a b = K a newtype Flip f a b = Flip (f b a) deriving (Eq, Show) instance