constraint-kinds

5熱

1答えて

制限付きの制約タイプとタイプファミリーを '限定された'制約付きで使用する

私は、実行を「見る」ためにモノイドを含む応用ファンクタに取り組んでいます。しかし、時には私はこの部分をまったく気にしないので、モノオイドの選択は決して消費されないので無関係です。 {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE MultiParamTypeClasses #-}

haskell type-families constraint-kinds 2013-01-04

---

6熱

1答えて

制約の種類を持つ多態性STUArraysの再訪

スコア型で動的プログラミングアルゴリズム多相を実装したいと思います。境界条件のない簡略化された1Dバージョンです： {-# LANGUAGE ConstraintKinds, FlexibleContexts, RankNTypes, ScopedTypeVariables #-} import Control.Monad import Control.Monad.ST.Strict im

haskell marray constraint-kinds stuarray 2013-03-09

---

5熱

3答えて

制約のある異種リスト

Hackageを検索したところ、次のようなものは見つかりませんでしたが、それはかなりシンプルで便利です。ある種のデータ型を含むライブラリはありますか？ data HList c where (:-) :: c a => a -> HList c Nil :: HList c 私が見つけたすべてのHListは、任意のタイプを持つことができ、制約されませんでした。 私は自分自身

haskell types hlist constraint-kinds 2017-09-12

---

20熱

1答えて

GHC 7.4.1の制約の種類構文は何ですか？

私は簡単な例を記述しようとすると、 {-# LANGUAGE UndecidableInstances, MultiParamTypeClasses, KindSignatures, Rank2Types, ConstraintKinds, FlexibleInstances, OverlappingInstanc

haskell typeclass constraint-kinds 2012-02-26

---