次のコードがGHC 8.0.1をコンパイル時に永久にループさせる理由、またはこれがバグである理由を説明できますか？ {-# LANGUAGE TypeFamilyDependencies #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
main = return $ f (Just 'c
はスニペット {-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
import Data.Proxy
monadify' :: forall m sig. (Monad m, Sig sig) => Proxy sig -> Monadify m sig
monadify' p = monadify p
B aのEqインスタンスを派生させることは可能ですか？ Eq aどこか？ {-# LANGUAGE TypeFamilies #-}
class A a where
type B a
somef :: a -> B a -> B a -> Bool
質問deriving instances with type familiesとinstance definitions
は、ここに私が持っているものだタイプの家族を持つレコード用レンズを作るために： {-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE MultiPara
私の最初の質問は書くためにそこの方法ですT type family T a = b | b -> a
私は単射型家族がいるとしましょう： type family T' = the inverse of T
Tのすべてのインスタンスを繰り返すことなく、しかし、逆に。 は、このようなこと：これは動作するはずのように両方TとT'が単射あるようT (X1 a (T' a)) = a 他を働かせて機