blob: 32cb9bb28031ab5673ea6f6271ace0513f32a18b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
class AwsType a where
toText :: a -> b
{-# MINIMAL toText #-}
class Minimal a where
toText :: a -> b
{-# MINIMAL decimal, hexadecimal, realFloat, scientific #-}
class Minimal a where
toText :: a -> b
{-# MINIMAL shape, (maskedIndex | maskedLinearIndex) #-}
class Minimal a where
toText :: a -> b
{-# MINIMAL (toSample | toSamples) #-}
class ManyOps a where
aOp :: a -> a -> Bool
bOp :: a -> a -> Bool
cOp :: a -> a -> Bool
dOp :: a -> a -> Bool
eOp :: a -> a -> Bool
fOp :: a -> a -> Bool
{-# MINIMAL ( aOp)
| ( bOp , cOp)
| ((dOp | eOp) , fOp)
#-}
class Foo a where
bar :: a -> a -> Bool
foo :: a -> a -> Bool
baq :: a -> a -> Bool
baz :: a -> a -> Bool
quux :: a -> a -> Bool
{-# MINIMAL bar, (foo, baq | foo, quux) #-}
class Foo2 a where
f :: a
{-# MiNiMaL f #-}
|