haskell-ivory

3熱度

1回答

象牙：如何使用象牙硬件包

我正在試驗Ivory（http://ivorylang.org,https://github.com/GaloisInc/ivory）並使用ivory-hw模塊來操作微控制器中的一些寄存器。 cmain :: Def ('[] :->()) cmain = voidProc "main" $ body $ do setReg regFoo $ do clearBit foo_

haskell haskell-ivory 2015-11-01

---

4熱度

1回答

在其構造函數之一中創建接受非*類型的Haskell數據類型

Hello。我正在與依賴於Haskell現代特徵的象牙圖書館玩耍。其中，它定義了接受所有類型的類型IvoryType和接受特殊類型Area的IvoryArea。定義如下： {-# LANGUAGE DataKinds #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE Ex

haskell type-kinds haskell-ivory 2016-03-02

---