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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
interface System.Random where {
{-# NEED #-}
instance NHC.FFI.Storable (NHC.FFI.FunPtr a);
{-# NEED #-}
instance NHC.FFI.Storable (NHC.FFI.Ptr a);
{-# NEED #-}
instance Random Prelude.Int;
{-# NEED #-}
instance Random Prelude.Char;
{-# NEED #-}
instance Random Prelude.Float;
{-# NEED #-}
instance Random Prelude.Bool;
{-# NEED #-}
instance Random Prelude.Double;
{-# NEED #-}
instance Random Prelude.Integer;
{-# NEED #-}
instance RandomGen StdGen;
{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Fractional (Ratio.Ratio a);
{-# NEED #-}
instance (Prelude.Integral a) => Prelude.RealFrac (Ratio.Ratio a);
{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Num (Ratio.Ratio a);
{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Real (Ratio.Ratio a);
{-# NEED #-}
instance Prelude.Enum (NHC.FFI.Ptr a);
{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Enum (Ratio.Ratio a);
{-# NEED #-}
instance Prelude.Read StdGen;
{-# NEED #-}
instance (Prelude.Read a,Prelude.Integral a) => Prelude.Read (Ratio.Ratio a);
{-# NEED #-}
instance Prelude.Ord (NHC.FFI.FunPtr a);
{-# NEED #-}
instance Prelude.Ord (NHC.FFI.Ptr a);
{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Ord (Ratio.Ratio a);
{-# NEED #-}
instance Prelude.Eq (NHC.FFI.FunPtr a);
{-# NEED #-}
instance Prelude.Eq (NHC.FFI.Ptr a);
{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Eq (Ratio.Ratio a);
{-# NEED #-}
instance Prelude.Functor NHC.Internal.IO;
{-# NEED #-}
instance Prelude.Show StdGen;
{-# NEED #-}
instance Prelude.Show (NHC.FFI.FunPtr a);
{-# NEED #-}
instance Prelude.Show (NHC.FFI.Ptr a);
{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Show (Ratio.Ratio a);
{-# NEED #-}
instance (Prelude.Show a) => Prelude.Show (NHC.Internal.IO a);
{-# NEED #-}
instance Prelude.Monad NHC.Internal.IO;
interface NHC.FFI
{-# NEED FunPtr #-}
data FunPtr a;
{-# NEED Ptr #-}
data Ptr a;
interface Ratio
{-# NEED Ratio #-}
data Ratio a;
interface ! System.Random
{-# NEED getStdRandom #-}
getStdRandom{-# 1 #-}::((StdGen -> (a,StdGen)) -> (NHC.Internal.IO a));
{-# NEED newStdGen #-}
newStdGen{-# 0 #-}::(NHC.Internal.IO StdGen);
{-# NEED getStdGen #-}
getStdGen{-# 0 #-}::(NHC.Internal.IO StdGen);
{-# NEED setStdGen #-}
setStdGen{-# 1 #-}::(StdGen -> (NHC.Internal.IO ()));
{-# NEED {Random randoms randomRs randomIO randomRIO random randomR} #-}
class Random a where {
randoms{-# 1 #-}::(RandomGen b) => (b -> [a]);
randomRs{-# 2 #-}::(RandomGen b) => ((a,a) -> (b -> [a]));
randomIO{-# 0 #-}::(NHC.Internal.IO a);
randomRIO{-# 1 #-}::((a,a) -> (NHC.Internal.IO a));
random{-# 1 #-}::(RandomGen b) => (b -> (a,b));
randomR{-# 2 #-}::(RandomGen b) => ((a,a) -> (b -> (a,b)));
};
interface NHC.Internal
{-# NEED IO #-}
newtype {-# #-} IO a;
{-# NEED World #-}
data World;
interface ! System.Random
{-# NEED mkStdGen #-}
mkStdGen{-# 1 #-}::(Prelude.Int -> StdGen);
{-# NEED StdGen #-}
data StdGen;
{-# NEED {RandomGen genRange next split} #-}
class RandomGen a where {
genRange{-# 1 #-}::(a -> (Prelude.Int,Prelude.Int));
next{-# 1 #-}::(a -> (Prelude.Int,a));
split{-# 1 #-}::(a -> (a,a));
};
}
|
