blob: 41efe8294b216627e9e0c6746d0e03efe8680bf0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
type C :: * -> * -> Constraint
class C a b where
c1 :: Num b => a -> b
c2 :: (Num b, Show b) => a -> b
c3 :: a1 -> b
{-# MINIMAL c1, c2, c3 #-}
type C :: * -> * -> Constraint
class C a b where
c1 :: Num b => a -> b
c2 :: (Num b, Show b) => a -> b
c3 :: forall a1. a1 -> b
{-# MINIMAL c1, c2, c3 #-}
|
