soaring zen
@soaring zen has joined the channel
mkMigrate が受け取るデータ型が EntityDef -> UnboundEntityDef となり、そのように変換する unbindEntityDef を使うと以上のようなよく分からないエラーになってしまい、どこに型エラーを引き起こす場所があるのかエラーメッセージから読み取れなくて困っています。data family Foo a where Foo Int = Bar Foo Char = Buzz
TypeFamilyDependencies とカインド注釈の併記ってどうすればいいんでしょう？type family Foo a :: Type
type family Foo a = t | t -> a
stack build はデフォルトでコア数に合わせて自動で並列でインストール作業してくれますが、これが原因でstack buildが失敗するとかってありえますか？何回やってもbuildが失敗しています。extra-packages を使うのが適当なのでしょうか？GeneralizedNewtypeDeriving はLensの makeFields が作る HasFoo のような複数の型引数を受け取る型クラスに対して使えますか? • Can't make a derived instance of
‘HasBase Search String’ with the newtype strategy:
GeneralizedNewtypeDeriving cannot be used on non-newtypes
• In the stand-alone deriving instance for ‘HasBase Search String’parseJSON :: Value -> Parser aこんな関数なのでできないですよね。
bundle exec rspec -P spec/**/some_spec.rbdata Point i where Pt :: Integral i => i -> Point i Infty :: Point i infty :: Point i infty = Infty instance Show i => Show (Point i) where ...