Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family IsBetterConv (s :: Type) (t1 :: Type) (t2 :: Type) :: Bool where ... Source #
IsBetterConv s t1 t2 = BestType s t1 t2 == Just t1 |
Safe Haskell | None |
---|---|
Language | Haskell2010 |
type family IsBetterConv (s :: Type) (t1 :: Type) (t2 :: Type) :: Bool where ... Source #
IsBetterConv s t1 t2 = BestType s t1 t2 == Just t1 |