Lines Matching refs:PV1
42 | PV1 !Int [Int] constructor
52 compare (PV1 x xs) (PV1 y ys) = case compare x y of
55 compare (PV0 w) (PV1 y ys) = case compare x y of
63 compare (PV1 x xs) (PV0 w) = case compare x y of
88 rnf (PV1 _ ns) = rnf ns
140 | otherwise = PV1 v1 []
147 | otherwise = PV1 v1 vs
155 | otherwise = PV1 v1 vs
164 | otherwise = PV1 v1 vs
172 mkVersion (v1:vs) = PV1 v1 vs
207 versionNumbers (PV1 n ns) = n:ns