Equality constraints (GHC拡張)

関数の型のコンテキストでのチルダ(~)はなんだろう GHC拡張のEquality constraintsで、 t1 ~ t2 型t1とt2が等しいというのを示す。 いつ使うのだろう Type Familiesを使っている時に必要なる。 associated typeを使ったクラスのあるインスタンスが前提だが、そのモジュールは参照したくないモジュールで利用。 -- module A class A type Foo a -- module B import A »

haskellのライブラリにプルリク送ったメモ

前提 persistent-mysqlを修正したい stack使ってる 修正 Idに利用するフィールドのカスタマイズのうち、型の変更が、mysqlで動作しなかった 利用する側のプロジェクトのstack.yamlをローカルに修正 packages: - '.' - '../../persistent/persistent' - '../../persistent/persistent-mysql' (なぜか、ローカル見てくれなかったら、バージョン上げてみる..?) default=の機能もpostgreと同様の対応しようとしたが、 »

KeterでのYesodアプリケーションの実行

Keterとは reverse proxy. 次のようなことが出来る main port 80番にバインド、各アプリケーションにリバースプロキシ SSLのサポート アプリのプロセスの死活監視、自動起動。ダウンタイム無しでの切り替え ログファイルの管理 他にも色々できるらしい。 ローカル環境での試す。 まずはmac os x上で試す。 keterのインストール cabal update cabal install keter keterの設定ファイルを作成 /etc/ »