newtype

2熱

1答えて

このnewtypeには正しいReadインスタンスが与えられていないのはなぜですか？

私はData.IPからIPタイプのnewtypeエイリアスを作成しました： {-# LANGUAGE GeneralizedNewtypeDeriving #-} module IPAddress (IPAddress) where import Data.IP (IP) import Database.PostgreSQL.Simple.ToField newtype IPAddr

6熱

1答えて

連続タイプの構造化？

は私が継続上つもりだと私は構造化継続タイプに2つの異なるアプローチに遭遇しました：私は後者のアプローチはdoesnのことを理解し type C r a = (a -> r) -> r exampleFunction :: String -> C Bool String exampleFunction s = \t -> if length s > 10 then t s else False

5熱

1答えて

newtype

Rewrite rulesの書き換えルールは、プログラムの最適化に役立ちます。 newtypeでオブジェクトをラップしても機能するかどうかは疑問です。知られているように、newtypeはパフォーマンス上の不利益をもたらすことはありませんが、実行時にはなくなるコンパイル時のラッパーです。ですから、書き換えルールがまだnewtypeでトリガーされるかどうか疑問です。たとえば、Data.Text（Wha

4熱

2答えて

にアクセスする方法のnewtypeという名前のタプルフィールド

私は、次のnewtypes宣言：私はいくつかの例で作成 *Main Lib> :t Code Code :: String -> Code *Main Lib> :t Name Name :: String -> Name *Main Lib> :t Account Account :: (Code, Name) -> Account 、その後：：だから newtype Code =

0熱

1答えて

Linear.Vのラッパーを導出する際の型チェックエラー

Linear.V型のnewtypeラッパーを作成し、有用なインスタンスを導出しようとしています。私はこれをしようとしていた。 {-# LANGUAGE DataKinds, PolyKinds, ScopedTypeVariables, StandaloneDeriving, FlexibleContexts, UndecidableInstances, GeneralizedNewtypeD

3熱

2答えて

Haskellインスタンスがちょうどintであるnewtypeのために読み込まれました

私はHaskellを新しくしました。私は何が何であるかを知ることができるようにしたいのですが、文字列からそれを読み取らなければなりません。私は私がのnewtypeで読み取りを引き出す場合は、それが唯一のread "SpecialId 5" :: SpecialId上で動作動作しないread "5" :: SpecialIdにできるようにしたい newtype SpecialId Int

1熱

1答えて

私はnewtypeモナド変換器を持っていても "型同義語インスタンスは許可されていません"

私はモナド変換器UlffTを次のように定義しました。私はHalogenで働いているが、これはHalogen -questionではありません - 私はちょうどコンテキストを提供しています。 UlffTは、Affに積み重ねられ、HalogenMで使用されます。 newtype UlffT m a = UlffT (ExceptT Error (ReaderT Env m) a) unUlffT

6熱

1答えて

Haskellコミュニティの "runSomething"というコンベンションの意味は何ですか？私はいくつかのドキュメントとチュートリアルで見てきた

： runReader runState runState このパターンがカバーしていること抽象的な概念とは何ですか？ハスケルで何かが何を意味するのでしょうか？あなたはいつも知りたいと思っていたもののタグはありますか？質問するのがあまりにも恐れていましたか？

0熱

1答えて

どのように包装の定型を排除し、アンラッピングレンズ

TLを使用して、DRを：それは/いずれかの任意newtype（すなわち、このような抽象化のインスタンスを提供する）アンラップラップする抽象化のlensファミリーのいずれかを使用することが可能ですか？私は真実の物語に基づいて簡単な例で私の質問を動機づけます。フォームの条件を表すために使用される newtype FreeMonoid a = FreeMonoid { asMap :: Map a I

0熱

1答えて

レコードの上にnewtypeの外部インポート

私はいくつかのjavascript jsonデータを持っていれば、私はforeign importそのデータをユーザー定義のnewtype以上で、実際のデータのサブセットで表示できますか？ JavaScriptで：purescriptで exports.foo = {foo: "foo", bar: "bar"} ：たとえば newtype Foo = Foo {foo :: String}