Data.Set.Unboxed

An efficient implementation of sets.

Since many function names (but not the type name) clash with Prelude names, this module is usually imported qualified, e.g.

 import Data.Set.Unboxed (USet)
 import qualified Data.Set.Unboxed as USet

The implementation of USet is based on size balanced binary trees (or trees of bounded balance) as described by:

• Stephen Adams, "Efficient sets: a balancing act", Journal of Functional Programming 3(4):553-562, October 1993, http://www.swiss.ai.mit.edu/~adams/BB/.
• J. Nievergelt and E.M. Reingold, "Binary search trees of bounded balance", SIAM journal of computing 2(1), March 1973.

Note that the implementation is left-biased -- the elements of a first argument are always preferred to the second, for example in union or insert. Of course, left-biasing can only be observed when equality is an equivalence relation instead of structural equality.

Modified from Data.Set to use type families for automatic unboxing

Set type

class US a where

Minimal complete definition

view, tip, bin

Associated Types

data USet a

Methods

size :: USet a -> Size

O(1). The number of elements in the set.

null :: USet a -> Bool

O(1). Is this the empty set?

Instances

US Char

Associated Types

data USet Char :: *

Methods

view :: USet Char -> Set Char

viewk :: b -> (Size -> Char -> USet Char -> USet Char -> b) -> USet Char -> b

viewBin :: USet Char -> (#LiftedRep, LiftedRep, LiftedRep, Char, USet Char, USet Char#)

size :: USet Char -> Size

null :: USet Char -> Bool

tip :: USet Char

bin :: Size -> Char -> USet Char -> USet Char -> USet Char

balance :: Char -> USet Char -> USet Char -> USet Char

US Double

Associated Types

data USet Double :: *

Methods

view :: USet Double -> Set Double

viewk :: b -> (Size -> Double -> USet Double -> USet Double -> b) -> USet Double -> b

viewBin :: USet Double -> (#LiftedRep, LiftedRep, LiftedRep, Double, USet Double, USet Double#)

size :: USet Double -> Size

null :: USet Double -> Bool

tip :: USet Double

bin :: Size -> Double -> USet Double -> USet Double -> USet Double

balance :: Double -> USet Double -> USet Double -> USet Double

US Float

Associated Types

data USet Float :: *

Methods

view :: USet Float -> Set Float

viewk :: b -> (Size -> Float -> USet Float -> USet Float -> b) -> USet Float -> b

viewBin :: USet Float -> (#LiftedRep, LiftedRep, LiftedRep, Float, USet Float, USet Float#)

size :: USet Float -> Size

null :: USet Float -> Bool

tip :: USet Float

bin :: Size -> Float -> USet Float -> USet Float -> USet Float

balance :: Float -> USet Float -> USet Float -> USet Float

US Int

Associated Types

data USet Int :: *

Methods

view :: USet Int -> Set Int

viewk :: b -> (Size -> Int -> USet Int -> USet Int -> b) -> USet Int -> b

viewBin :: USet Int -> (#LiftedRep, LiftedRep, LiftedRep, Int, USet Int, USet Int#)

size :: USet Int -> Size

null :: USet Int -> Bool

tip :: USet Int

bin :: Size -> Int -> USet Int -> USet Int -> USet Int

balance :: Int -> USet Int -> USet Int -> USet Int

US Int8

Associated Types

data USet Int8 :: *

Methods

view :: USet Int8 -> Set Int8

viewk :: b -> (Size -> Int8 -> USet Int8 -> USet Int8 -> b) -> USet Int8 -> b

viewBin :: USet Int8 -> (#LiftedRep, LiftedRep, LiftedRep, Int8, USet Int8, USet Int8#)

size :: USet Int8 -> Size

null :: USet Int8 -> Bool

tip :: USet Int8

bin :: Size -> Int8 -> USet Int8 -> USet Int8 -> USet Int8

balance :: Int8 -> USet Int8 -> USet Int8 -> USet Int8

US Int16

Associated Types

data USet Int16 :: *

Methods

view :: USet Int16 -> Set Int16

viewk :: b -> (Size -> Int16 -> USet Int16 -> USet Int16 -> b) -> USet Int16 -> b

viewBin :: USet Int16 -> (#LiftedRep, LiftedRep, LiftedRep, Int16, USet Int16, USet Int16#)

size :: USet Int16 -> Size

null :: USet Int16 -> Bool

tip :: USet Int16

bin :: Size -> Int16 -> USet Int16 -> USet Int16 -> USet Int16

balance :: Int16 -> USet Int16 -> USet Int16 -> USet Int16

US Int32

Associated Types

data USet Int32 :: *

Methods

view :: USet Int32 -> Set Int32

viewk :: b -> (Size -> Int32 -> USet Int32 -> USet Int32 -> b) -> USet Int32 -> b

viewBin :: USet Int32 -> (#LiftedRep, LiftedRep, LiftedRep, Int32, USet Int32, USet Int32#)

size :: USet Int32 -> Size

null :: USet Int32 -> Bool

tip :: USet Int32

bin :: Size -> Int32 -> USet Int32 -> USet Int32 -> USet Int32

balance :: Int32 -> USet Int32 -> USet Int32 -> USet Int32

US Int64

Associated Types

data USet Int64 :: *

Methods

view :: USet Int64 -> Set Int64

viewk :: b -> (Size -> Int64 -> USet Int64 -> USet Int64 -> b) -> USet Int64 -> b

viewBin :: USet Int64 -> (#LiftedRep, LiftedRep, LiftedRep, Int64, USet Int64, USet Int64#)

size :: USet Int64 -> Size

null :: USet Int64 -> Bool

tip :: USet Int64

bin :: Size -> Int64 -> USet Int64 -> USet Int64 -> USet Int64

balance :: Int64 -> USet Int64 -> USet Int64 -> USet Int64

US Integer

Associated Types

data USet Integer :: *

Methods

view :: USet Integer -> Set Integer

viewk :: b -> (Size -> Integer -> USet Integer -> USet Integer -> b) -> USet Integer -> b

viewBin :: USet Integer -> (#LiftedRep, LiftedRep, LiftedRep, Integer, USet Integer, USet Integer#)

size :: USet Integer -> Size

null :: USet Integer -> Bool

tip :: USet Integer

bin :: Size -> Integer -> USet Integer -> USet Integer -> USet Integer

balance :: Integer -> USet Integer -> USet Integer -> USet Integer

US Word8

Associated Types

data USet Word8 :: *

Methods

view :: USet Word8 -> Set Word8

viewk :: b -> (Size -> Word8 -> USet Word8 -> USet Word8 -> b) -> USet Word8 -> b

viewBin :: USet Word8 -> (#LiftedRep, LiftedRep, LiftedRep, Word8, USet Word8, USet Word8#)

size :: USet Word8 -> Size

null :: USet Word8 -> Bool

tip :: USet Word8

bin :: Size -> Word8 -> USet Word8 -> USet Word8 -> USet Word8

balance :: Word8 -> USet Word8 -> USet Word8 -> USet Word8

US Word16

Associated Types

data USet Word16 :: *

Methods

view :: USet Word16 -> Set Word16

viewk :: b -> (Size -> Word16 -> USet Word16 -> USet Word16 -> b) -> USet Word16 -> b

viewBin :: USet Word16 -> (#LiftedRep, LiftedRep, LiftedRep, Word16, USet Word16, USet Word16#)

size :: USet Word16 -> Size

null :: USet Word16 -> Bool

tip :: USet Word16

bin :: Size -> Word16 -> USet Word16 -> USet Word16 -> USet Word16

balance :: Word16 -> USet Word16 -> USet Word16 -> USet Word16

US Word32

Associated Types

data USet Word32 :: *

Methods

view :: USet Word32 -> Set Word32

viewk :: b -> (Size -> Word32 -> USet Word32 -> USet Word32 -> b) -> USet Word32 -> b

viewBin :: USet Word32 -> (#LiftedRep, LiftedRep, LiftedRep, Word32, USet Word32, USet Word32#)

size :: USet Word32 -> Size

null :: USet Word32 -> Bool

tip :: USet Word32

bin :: Size -> Word32 -> USet Word32 -> USet Word32 -> USet Word32

balance :: Word32 -> USet Word32 -> USet Word32 -> USet Word32

US Word64

Associated Types

data USet Word64 :: *

Methods

view :: USet Word64 -> Set Word64

viewk :: b -> (Size -> Word64 -> USet Word64 -> USet Word64 -> b) -> USet Word64 -> b

viewBin :: USet Word64 -> (#LiftedRep, LiftedRep, LiftedRep, Word64, USet Word64, USet Word64#)

size :: USet Word64 -> Size

null :: USet Word64 -> Bool

tip :: USet Word64

bin :: Size -> Word64 -> USet Word64 -> USet Word64 -> USet Word64

balance :: Word64 -> USet Word64 -> USet Word64 -> USet Word64

US (Boxed a)

Associated Types

data USet (Boxed a) :: *

Methods

view :: USet (Boxed a) -> Set (Boxed a)

viewk :: b -> (Size -> Boxed a -> USet (Boxed a) -> USet (Boxed a) -> b) -> USet (Boxed a) -> b

viewBin :: USet (Boxed a) -> (#LiftedRep, LiftedRep, LiftedRep, Boxed a, USet (Boxed a), USet (Boxed a)#)

size :: USet (Boxed a) -> Size

null :: USet (Boxed a) -> Bool

tip :: USet (Boxed a)

bin :: Size -> Boxed a -> USet (Boxed a) -> USet (Boxed a) -> USet (Boxed a)

balance :: Boxed a -> USet (Boxed a) -> USet (Boxed a) -> USet (Boxed a)

US (Char, Char)

Associated Types

data USet (Char, Char) :: *

Methods

view :: USet (Char, Char) -> Set (Char, Char)

viewk :: b -> (Size -> (Char, Char) -> USet (Char, Char) -> USet (Char, Char) -> b) -> USet (Char, Char) -> b

viewBin :: USet (Char, Char) -> (#LiftedRep, LiftedRep, LiftedRep, (Char, Char), USet (Char, Char), USet (Char, Char)#)

size :: USet (Char, Char) -> Size

null :: USet (Char, Char) -> Bool

tip :: USet (Char, Char)

bin :: Size -> (Char, Char) -> USet (Char, Char) -> USet (Char, Char) -> USet (Char, Char)

balance :: (Char, Char) -> USet (Char, Char) -> USet (Char, Char) -> USet (Char, Char)

US (Double, Double)

Associated Types

data USet (Double, Double) :: *

Methods

view :: USet (Double, Double) -> Set (Double, Double)

viewk :: b -> (Size -> (Double, Double) -> USet (Double, Double) -> USet (Double, Double) -> b) -> USet (Double, Double) -> b

viewBin :: USet (Double, Double) -> (#LiftedRep, LiftedRep, LiftedRep, (Double, Double), USet (Double, Double), USet (Double, Double)#)

size :: USet (Double, Double) -> Size

null :: USet (Double, Double) -> Bool

tip :: USet (Double, Double)

bin :: Size -> (Double, Double) -> USet (Double, Double) -> USet (Double, Double) -> USet (Double, Double)

balance :: (Double, Double) -> USet (Double, Double) -> USet (Double, Double) -> USet (Double, Double)

US (Float, Float)

Associated Types

data USet (Float, Float) :: *

Methods

view :: USet (Float, Float) -> Set (Float, Float)

viewk :: b -> (Size -> (Float, Float) -> USet (Float, Float) -> USet (Float, Float) -> b) -> USet (Float, Float) -> b

viewBin :: USet (Float, Float) -> (#LiftedRep, LiftedRep, LiftedRep, (Float, Float), USet (Float, Float), USet (Float, Float)#)

size :: USet (Float, Float) -> Size

null :: USet (Float, Float) -> Bool

tip :: USet (Float, Float)

bin :: Size -> (Float, Float) -> USet (Float, Float) -> USet (Float, Float) -> USet (Float, Float)

balance :: (Float, Float) -> USet (Float, Float) -> USet (Float, Float) -> USet (Float, Float)

US (Int, Int)

Associated Types

data USet (Int, Int) :: *

Methods

view :: USet (Int, Int) -> Set (Int, Int)

viewk :: b -> (Size -> (Int, Int) -> USet (Int, Int) -> USet (Int, Int) -> b) -> USet (Int, Int) -> b

viewBin :: USet (Int, Int) -> (#LiftedRep, LiftedRep, LiftedRep, (Int, Int), USet (Int, Int), USet (Int, Int)#)

size :: USet (Int, Int) -> Size

null :: USet (Int, Int) -> Bool

tip :: USet (Int, Int)

bin :: Size -> (Int, Int) -> USet (Int, Int) -> USet (Int, Int) -> USet (Int, Int)

balance :: (Int, Int) -> USet (Int, Int) -> USet (Int, Int) -> USet (Int, Int)

US (Int8, Int8)

Associated Types

data USet (Int8, Int8) :: *

Methods

view :: USet (Int8, Int8) -> Set (Int8, Int8)

viewk :: b -> (Size -> (Int8, Int8) -> USet (Int8, Int8) -> USet (Int8, Int8) -> b) -> USet (Int8, Int8) -> b

viewBin :: USet (Int8, Int8) -> (#LiftedRep, LiftedRep, LiftedRep, (Int8, Int8), USet (Int8, Int8), USet (Int8, Int8)#)

size :: USet (Int8, Int8) -> Size

null :: USet (Int8, Int8) -> Bool

tip :: USet (Int8, Int8)

bin :: Size -> (Int8, Int8) -> USet (Int8, Int8) -> USet (Int8, Int8) -> USet (Int8, Int8)

balance :: (Int8, Int8) -> USet (Int8, Int8) -> USet (Int8, Int8) -> USet (Int8, Int8)

US (Int16, Int16)

Associated Types

data USet (Int16, Int16) :: *

Methods

view :: USet (Int16, Int16) -> Set (Int16, Int16)

viewk :: b -> (Size -> (Int16, Int16) -> USet (Int16, Int16) -> USet (Int16, Int16) -> b) -> USet (Int16, Int16) -> b

viewBin :: USet (Int16, Int16) -> (#LiftedRep, LiftedRep, LiftedRep, (Int16, Int16), USet (Int16, Int16), USet (Int16, Int16)#)

size :: USet (Int16, Int16) -> Size

null :: USet (Int16, Int16) -> Bool

tip :: USet (Int16, Int16)

bin :: Size -> (Int16, Int16) -> USet (Int16, Int16) -> USet (Int16, Int16) -> USet (Int16, Int16)

balance :: (Int16, Int16) -> USet (Int16, Int16) -> USet (Int16, Int16) -> USet (Int16, Int16)

US (Int32, Int32)

Associated Types

data USet (Int32, Int32) :: *

Methods

view :: USet (Int32, Int32) -> Set (Int32, Int32)

viewk :: b -> (Size -> (Int32, Int32) -> USet (Int32, Int32) -> USet (Int32, Int32) -> b) -> USet (Int32, Int32) -> b

viewBin :: USet (Int32, Int32) -> (#LiftedRep, LiftedRep, LiftedRep, (Int32, Int32), USet (Int32, Int32), USet (Int32, Int32)#)

size :: USet (Int32, Int32) -> Size

null :: USet (Int32, Int32) -> Bool

tip :: USet (Int32, Int32)

bin :: Size -> (Int32, Int32) -> USet (Int32, Int32) -> USet (Int32, Int32) -> USet (Int32, Int32)

balance :: (Int32, Int32) -> USet (Int32, Int32) -> USet (Int32, Int32) -> USet (Int32, Int32)

US (Int64, Int64)

Associated Types

data USet (Int64, Int64) :: *

Methods

view :: USet (Int64, Int64) -> Set (Int64, Int64)

viewk :: b -> (Size -> (Int64, Int64) -> USet (Int64, Int64) -> USet (Int64, Int64) -> b) -> USet (Int64, Int64) -> b

viewBin :: USet (Int64, Int64) -> (#LiftedRep, LiftedRep, LiftedRep, (Int64, Int64), USet (Int64, Int64), USet (Int64, Int64)#)

size :: USet (Int64, Int64) -> Size

null :: USet (Int64, Int64) -> Bool

tip :: USet (Int64, Int64)

bin :: Size -> (Int64, Int64) -> USet (Int64, Int64) -> USet (Int64, Int64) -> USet (Int64, Int64)

balance :: (Int64, Int64) -> USet (Int64, Int64) -> USet (Int64, Int64) -> USet (Int64, Int64)

US (Integer, Integer)

Associated Types

data USet (Integer, Integer) :: *

Methods

view :: USet (Integer, Integer) -> Set (Integer, Integer)

viewk :: b -> (Size -> (Integer, Integer) -> USet (Integer, Integer) -> USet (Integer, Integer) -> b) -> USet (Integer, Integer) -> b

viewBin :: USet (Integer, Integer) -> (#LiftedRep, LiftedRep, LiftedRep, (Integer, Integer), USet (Integer, Integer), USet (Integer, Integer)#)

size :: USet (Integer, Integer) -> Size

null :: USet (Integer, Integer) -> Bool

tip :: USet (Integer, Integer)

bin :: Size -> (Integer, Integer) -> USet (Integer, Integer) -> USet (Integer, Integer) -> USet (Integer, Integer)

balance :: (Integer, Integer) -> USet (Integer, Integer) -> USet (Integer, Integer) -> USet (Integer, Integer)

US (Word8, Word8)

Associated Types

data USet (Word8, Word8) :: *

Methods

view :: USet (Word8, Word8) -> Set (Word8, Word8)

viewk :: b -> (Size -> (Word8, Word8) -> USet (Word8, Word8) -> USet (Word8, Word8) -> b) -> USet (Word8, Word8) -> b

viewBin :: USet (Word8, Word8) -> (#LiftedRep, LiftedRep, LiftedRep, (Word8, Word8), USet (Word8, Word8), USet (Word8, Word8)#)

size :: USet (Word8, Word8) -> Size

null :: USet (Word8, Word8) -> Bool

tip :: USet (Word8, Word8)

bin :: Size -> (Word8, Word8) -> USet (Word8, Word8) -> USet (Word8, Word8) -> USet (Word8, Word8)

balance :: (Word8, Word8) -> USet (Word8, Word8) -> USet (Word8, Word8) -> USet (Word8, Word8)

US (Word16, Word16)

Associated Types

data USet (Word16, Word16) :: *

Methods

view :: USet (Word16, Word16) -> Set (Word16, Word16)

viewk :: b -> (Size -> (Word16, Word16) -> USet (Word16, Word16) -> USet (Word16, Word16) -> b) -> USet (Word16, Word16) -> b

viewBin :: USet (Word16, Word16) -> (#LiftedRep, LiftedRep, LiftedRep, (Word16, Word16), USet (Word16, Word16), USet (Word16, Word16)#)

size :: USet (Word16, Word16) -> Size

null :: USet (Word16, Word16) -> Bool

tip :: USet (Word16, Word16)

bin :: Size -> (Word16, Word16) -> USet (Word16, Word16) -> USet (Word16, Word16) -> USet (Word16, Word16)

balance :: (Word16, Word16) -> USet (Word16, Word16) -> USet (Word16, Word16) -> USet (Word16, Word16)

US (Word32, Word32)

Associated Types

data USet (Word32, Word32) :: *

Methods

view :: USet (Word32, Word32) -> Set (Word32, Word32)

viewk :: b -> (Size -> (Word32, Word32) -> USet (Word32, Word32) -> USet (Word32, Word32) -> b) -> USet (Word32, Word32) -> b

viewBin :: USet (Word32, Word32) -> (#LiftedRep, LiftedRep, LiftedRep, (Word32, Word32), USet (Word32, Word32), USet (Word32, Word32)#)

size :: USet (Word32, Word32) -> Size

null :: USet (Word32, Word32) -> Bool

tip :: USet (Word32, Word32)

bin :: Size -> (Word32, Word32) -> USet (Word32, Word32) -> USet (Word32, Word32) -> USet (Word32, Word32)

balance :: (Word32, Word32) -> USet (Word32, Word32) -> USet (Word32, Word32) -> USet (Word32, Word32)

US (Word64, Word64)

Associated Types

data USet (Word64, Word64) :: *

Methods

view :: USet (Word64, Word64) -> Set (Word64, Word64)

viewk :: b -> (Size -> (Word64, Word64) -> USet (Word64, Word64) -> USet (Word64, Word64) -> b) -> USet (Word64, Word64) -> b

viewBin :: USet (Word64, Word64) -> (#LiftedRep, LiftedRep, LiftedRep, (Word64, Word64), USet (Word64, Word64), USet (Word64, Word64)#)

size :: USet (Word64, Word64) -> Size

null :: USet (Word64, Word64) -> Bool

tip :: USet (Word64, Word64)

bin :: Size -> (Word64, Word64) -> USet (Word64, Word64) -> USet (Word64, Word64) -> USet (Word64, Word64)

balance :: (Word64, Word64) -> USet (Word64, Word64) -> USet (Word64, Word64) -> USet (Word64, Word64)

US (Boxed a, Boxed b)

Associated Types

data USet (Boxed a, Boxed b) :: *

Methods

view :: USet (Boxed a, Boxed b) -> Set (Boxed a, Boxed b)

viewk :: b -> (Size -> (Boxed a, Boxed b) -> USet (Boxed a, Boxed b) -> USet (Boxed a, Boxed b) -> b) -> USet (Boxed a, Boxed b) -> b

viewBin :: USet (Boxed a, Boxed b) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b), USet (Boxed a, Boxed b), USet (Boxed a, Boxed b)#)

size :: USet (Boxed a, Boxed b) -> Size

null :: USet (Boxed a, Boxed b) -> Bool

tip :: USet (Boxed a, Boxed b)

bin :: Size -> (Boxed a, Boxed b) -> USet (Boxed a, Boxed b) -> USet (Boxed a, Boxed b) -> USet (Boxed a, Boxed b)

balance :: (Boxed a, Boxed b) -> USet (Boxed a, Boxed b) -> USet (Boxed a, Boxed b) -> USet (Boxed a, Boxed b)

US (Char, Char, Char)

Associated Types

data USet (Char, Char, Char) :: *

Methods

view :: USet (Char, Char, Char) -> Set (Char, Char, Char)

viewk :: b -> (Size -> (Char, Char, Char) -> USet (Char, Char, Char) -> USet (Char, Char, Char) -> b) -> USet (Char, Char, Char) -> b

viewBin :: USet (Char, Char, Char) -> (#LiftedRep, LiftedRep, LiftedRep, (Char, Char, Char), USet (Char, Char, Char), USet (Char, Char, Char)#)

size :: USet (Char, Char, Char) -> Size

null :: USet (Char, Char, Char) -> Bool

tip :: USet (Char, Char, Char)

bin :: Size -> (Char, Char, Char) -> USet (Char, Char, Char) -> USet (Char, Char, Char) -> USet (Char, Char, Char)

balance :: (Char, Char, Char) -> USet (Char, Char, Char) -> USet (Char, Char, Char) -> USet (Char, Char, Char)

US (Double, Double, Double)

Associated Types

data USet (Double, Double, Double) :: *

Methods

view :: USet (Double, Double, Double) -> Set (Double, Double, Double)

viewk :: b -> (Size -> (Double, Double, Double) -> USet (Double, Double, Double) -> USet (Double, Double, Double) -> b) -> USet (Double, Double, Double) -> b

viewBin :: USet (Double, Double, Double) -> (#LiftedRep, LiftedRep, LiftedRep, (Double, Double, Double), USet (Double, Double, Double), USet (Double, Double, Double)#)

size :: USet (Double, Double, Double) -> Size

null :: USet (Double, Double, Double) -> Bool

tip :: USet (Double, Double, Double)

bin :: Size -> (Double, Double, Double) -> USet (Double, Double, Double) -> USet (Double, Double, Double) -> USet (Double, Double, Double)

balance :: (Double, Double, Double) -> USet (Double, Double, Double) -> USet (Double, Double, Double) -> USet (Double, Double, Double)

US (Float, Float, Float)

Associated Types

data USet (Float, Float, Float) :: *

Methods

view :: USet (Float, Float, Float) -> Set (Float, Float, Float)

viewk :: b -> (Size -> (Float, Float, Float) -> USet (Float, Float, Float) -> USet (Float, Float, Float) -> b) -> USet (Float, Float, Float) -> b

viewBin :: USet (Float, Float, Float) -> (#LiftedRep, LiftedRep, LiftedRep, (Float, Float, Float), USet (Float, Float, Float), USet (Float, Float, Float)#)

size :: USet (Float, Float, Float) -> Size

null :: USet (Float, Float, Float) -> Bool

tip :: USet (Float, Float, Float)

bin :: Size -> (Float, Float, Float) -> USet (Float, Float, Float) -> USet (Float, Float, Float) -> USet (Float, Float, Float)

balance :: (Float, Float, Float) -> USet (Float, Float, Float) -> USet (Float, Float, Float) -> USet (Float, Float, Float)

US (Int, Int, Int)

Associated Types

data USet (Int, Int, Int) :: *

Methods

view :: USet (Int, Int, Int) -> Set (Int, Int, Int)

viewk :: b -> (Size -> (Int, Int, Int) -> USet (Int, Int, Int) -> USet (Int, Int, Int) -> b) -> USet (Int, Int, Int) -> b

viewBin :: USet (Int, Int, Int) -> (#LiftedRep, LiftedRep, LiftedRep, (Int, Int, Int), USet (Int, Int, Int), USet (Int, Int, Int)#)

size :: USet (Int, Int, Int) -> Size

null :: USet (Int, Int, Int) -> Bool

tip :: USet (Int, Int, Int)

bin :: Size -> (Int, Int, Int) -> USet (Int, Int, Int) -> USet (Int, Int, Int) -> USet (Int, Int, Int)

balance :: (Int, Int, Int) -> USet (Int, Int, Int) -> USet (Int, Int, Int) -> USet (Int, Int, Int)

US (Int8, Int8, Int8)

Associated Types

data USet (Int8, Int8, Int8) :: *

Methods

view :: USet (Int8, Int8, Int8) -> Set (Int8, Int8, Int8)

viewk :: b -> (Size -> (Int8, Int8, Int8) -> USet (Int8, Int8, Int8) -> USet (Int8, Int8, Int8) -> b) -> USet (Int8, Int8, Int8) -> b

viewBin :: USet (Int8, Int8, Int8) -> (#LiftedRep, LiftedRep, LiftedRep, (Int8, Int8, Int8), USet (Int8, Int8, Int8), USet (Int8, Int8, Int8)#)

size :: USet (Int8, Int8, Int8) -> Size

null :: USet (Int8, Int8, Int8) -> Bool

tip :: USet (Int8, Int8, Int8)

bin :: Size -> (Int8, Int8, Int8) -> USet (Int8, Int8, Int8) -> USet (Int8, Int8, Int8) -> USet (Int8, Int8, Int8)

balance :: (Int8, Int8, Int8) -> USet (Int8, Int8, Int8) -> USet (Int8, Int8, Int8) -> USet (Int8, Int8, Int8)

US (Int16, Int16, Int16)

Associated Types

data USet (Int16, Int16, Int16) :: *

Methods

view :: USet (Int16, Int16, Int16) -> Set (Int16, Int16, Int16)

viewk :: b -> (Size -> (Int16, Int16, Int16) -> USet (Int16, Int16, Int16) -> USet (Int16, Int16, Int16) -> b) -> USet (Int16, Int16, Int16) -> b

viewBin :: USet (Int16, Int16, Int16) -> (#LiftedRep, LiftedRep, LiftedRep, (Int16, Int16, Int16), USet (Int16, Int16, Int16), USet (Int16, Int16, Int16)#)

size :: USet (Int16, Int16, Int16) -> Size

null :: USet (Int16, Int16, Int16) -> Bool

tip :: USet (Int16, Int16, Int16)

bin :: Size -> (Int16, Int16, Int16) -> USet (Int16, Int16, Int16) -> USet (Int16, Int16, Int16) -> USet (Int16, Int16, Int16)

balance :: (Int16, Int16, Int16) -> USet (Int16, Int16, Int16) -> USet (Int16, Int16, Int16) -> USet (Int16, Int16, Int16)

US (Int32, Int32, Int32)

Associated Types

data USet (Int32, Int32, Int32) :: *

Methods

view :: USet (Int32, Int32, Int32) -> Set (Int32, Int32, Int32)

viewk :: b -> (Size -> (Int32, Int32, Int32) -> USet (Int32, Int32, Int32) -> USet (Int32, Int32, Int32) -> b) -> USet (Int32, Int32, Int32) -> b

viewBin :: USet (Int32, Int32, Int32) -> (#LiftedRep, LiftedRep, LiftedRep, (Int32, Int32, Int32), USet (Int32, Int32, Int32), USet (Int32, Int32, Int32)#)

size :: USet (Int32, Int32, Int32) -> Size

null :: USet (Int32, Int32, Int32) -> Bool

tip :: USet (Int32, Int32, Int32)

bin :: Size -> (Int32, Int32, Int32) -> USet (Int32, Int32, Int32) -> USet (Int32, Int32, Int32) -> USet (Int32, Int32, Int32)

balance :: (Int32, Int32, Int32) -> USet (Int32, Int32, Int32) -> USet (Int32, Int32, Int32) -> USet (Int32, Int32, Int32)

US (Int64, Int64, Int64)

Associated Types

data USet (Int64, Int64, Int64) :: *

Methods

view :: USet (Int64, Int64, Int64) -> Set (Int64, Int64, Int64)

viewk :: b -> (Size -> (Int64, Int64, Int64) -> USet (Int64, Int64, Int64) -> USet (Int64, Int64, Int64) -> b) -> USet (Int64, Int64, Int64) -> b

viewBin :: USet (Int64, Int64, Int64) -> (#LiftedRep, LiftedRep, LiftedRep, (Int64, Int64, Int64), USet (Int64, Int64, Int64), USet (Int64, Int64, Int64)#)

size :: USet (Int64, Int64, Int64) -> Size

null :: USet (Int64, Int64, Int64) -> Bool

tip :: USet (Int64, Int64, Int64)

bin :: Size -> (Int64, Int64, Int64) -> USet (Int64, Int64, Int64) -> USet (Int64, Int64, Int64) -> USet (Int64, Int64, Int64)

balance :: (Int64, Int64, Int64) -> USet (Int64, Int64, Int64) -> USet (Int64, Int64, Int64) -> USet (Int64, Int64, Int64)

US (Integer, Integer, Integer)

Associated Types

data USet (Integer, Integer, Integer) :: *

Methods

view :: USet (Integer, Integer, Integer) -> Set (Integer, Integer, Integer)

viewk :: b -> (Size -> (Integer, Integer, Integer) -> USet (Integer, Integer, Integer) -> USet (Integer, Integer, Integer) -> b) -> USet (Integer, Integer, Integer) -> b

viewBin :: USet (Integer, Integer, Integer) -> (#LiftedRep, LiftedRep, LiftedRep, (Integer, Integer, Integer), USet (Integer, Integer, Integer), USet (Integer, Integer, Integer)#)

size :: USet (Integer, Integer, Integer) -> Size

null :: USet (Integer, Integer, Integer) -> Bool

tip :: USet (Integer, Integer, Integer)

bin :: Size -> (Integer, Integer, Integer) -> USet (Integer, Integer, Integer) -> USet (Integer, Integer, Integer) -> USet (Integer, Integer, Integer)

balance :: (Integer, Integer, Integer) -> USet (Integer, Integer, Integer) -> USet (Integer, Integer, Integer) -> USet (Integer, Integer, Integer)

US (Word8, Word8, Word8)

Associated Types

data USet (Word8, Word8, Word8) :: *

Methods

view :: USet (Word8, Word8, Word8) -> Set (Word8, Word8, Word8)

viewk :: b -> (Size -> (Word8, Word8, Word8) -> USet (Word8, Word8, Word8) -> USet (Word8, Word8, Word8) -> b) -> USet (Word8, Word8, Word8) -> b

viewBin :: USet (Word8, Word8, Word8) -> (#LiftedRep, LiftedRep, LiftedRep, (Word8, Word8, Word8), USet (Word8, Word8, Word8), USet (Word8, Word8, Word8)#)

size :: USet (Word8, Word8, Word8) -> Size

null :: USet (Word8, Word8, Word8) -> Bool

tip :: USet (Word8, Word8, Word8)

bin :: Size -> (Word8, Word8, Word8) -> USet (Word8, Word8, Word8) -> USet (Word8, Word8, Word8) -> USet (Word8, Word8, Word8)

balance :: (Word8, Word8, Word8) -> USet (Word8, Word8, Word8) -> USet (Word8, Word8, Word8) -> USet (Word8, Word8, Word8)

US (Word16, Word16, Word16)

Associated Types

data USet (Word16, Word16, Word16) :: *

Methods

view :: USet (Word16, Word16, Word16) -> Set (Word16, Word16, Word16)

viewk :: b -> (Size -> (Word16, Word16, Word16) -> USet (Word16, Word16, Word16) -> USet (Word16, Word16, Word16) -> b) -> USet (Word16, Word16, Word16) -> b

viewBin :: USet (Word16, Word16, Word16) -> (#LiftedRep, LiftedRep, LiftedRep, (Word16, Word16, Word16), USet (Word16, Word16, Word16), USet (Word16, Word16, Word16)#)

size :: USet (Word16, Word16, Word16) -> Size

null :: USet (Word16, Word16, Word16) -> Bool

tip :: USet (Word16, Word16, Word16)

bin :: Size -> (Word16, Word16, Word16) -> USet (Word16, Word16, Word16) -> USet (Word16, Word16, Word16) -> USet (Word16, Word16, Word16)

balance :: (Word16, Word16, Word16) -> USet (Word16, Word16, Word16) -> USet (Word16, Word16, Word16) -> USet (Word16, Word16, Word16)

US (Word32, Word32, Word32)

Associated Types

data USet (Word32, Word32, Word32) :: *

Methods

view :: USet (Word32, Word32, Word32) -> Set (Word32, Word32, Word32)

viewk :: b -> (Size -> (Word32, Word32, Word32) -> USet (Word32, Word32, Word32) -> USet (Word32, Word32, Word32) -> b) -> USet (Word32, Word32, Word32) -> b

viewBin :: USet (Word32, Word32, Word32) -> (#LiftedRep, LiftedRep, LiftedRep, (Word32, Word32, Word32), USet (Word32, Word32, Word32), USet (Word32, Word32, Word32)#)

size :: USet (Word32, Word32, Word32) -> Size

null :: USet (Word32, Word32, Word32) -> Bool

tip :: USet (Word32, Word32, Word32)

bin :: Size -> (Word32, Word32, Word32) -> USet (Word32, Word32, Word32) -> USet (Word32, Word32, Word32) -> USet (Word32, Word32, Word32)

balance :: (Word32, Word32, Word32) -> USet (Word32, Word32, Word32) -> USet (Word32, Word32, Word32) -> USet (Word32, Word32, Word32)

US (Word64, Word64, Word64)

Associated Types

data USet (Word64, Word64, Word64) :: *

Methods

view :: USet (Word64, Word64, Word64) -> Set (Word64, Word64, Word64)

viewk :: b -> (Size -> (Word64, Word64, Word64) -> USet (Word64, Word64, Word64) -> USet (Word64, Word64, Word64) -> b) -> USet (Word64, Word64, Word64) -> b

viewBin :: USet (Word64, Word64, Word64) -> (#LiftedRep, LiftedRep, LiftedRep, (Word64, Word64, Word64), USet (Word64, Word64, Word64), USet (Word64, Word64, Word64)#)

size :: USet (Word64, Word64, Word64) -> Size

null :: USet (Word64, Word64, Word64) -> Bool

tip :: USet (Word64, Word64, Word64)

bin :: Size -> (Word64, Word64, Word64) -> USet (Word64, Word64, Word64) -> USet (Word64, Word64, Word64) -> USet (Word64, Word64, Word64)

balance :: (Word64, Word64, Word64) -> USet (Word64, Word64, Word64) -> USet (Word64, Word64, Word64) -> USet (Word64, Word64, Word64)

US (Boxed a, Boxed b, Boxed c)

Associated Types

data USet (Boxed a, Boxed b, Boxed c) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c) -> Set (Boxed a, Boxed b, Boxed c)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c) -> b) -> USet (Boxed a, Boxed b, Boxed c) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c), USet (Boxed a, Boxed b, Boxed c), USet (Boxed a, Boxed b, Boxed c)#)

size :: USet (Boxed a, Boxed b, Boxed c) -> Size

null :: USet (Boxed a, Boxed b, Boxed c) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c)

bin :: Size -> (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c)

balance :: (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c)

US (Char, Char, Char, Char)

Associated Types

data USet (Char, Char, Char, Char) :: *

Methods

view :: USet (Char, Char, Char, Char) -> Set (Char, Char, Char, Char)

viewk :: b -> (Size -> (Char, Char, Char, Char) -> USet (Char, Char, Char, Char) -> USet (Char, Char, Char, Char) -> b) -> USet (Char, Char, Char, Char) -> b

viewBin :: USet (Char, Char, Char, Char) -> (#LiftedRep, LiftedRep, LiftedRep, (Char, Char, Char, Char), USet (Char, Char, Char, Char), USet (Char, Char, Char, Char)#)

size :: USet (Char, Char, Char, Char) -> Size

null :: USet (Char, Char, Char, Char) -> Bool

tip :: USet (Char, Char, Char, Char)

bin :: Size -> (Char, Char, Char, Char) -> USet (Char, Char, Char, Char) -> USet (Char, Char, Char, Char) -> USet (Char, Char, Char, Char)

balance :: (Char, Char, Char, Char) -> USet (Char, Char, Char, Char) -> USet (Char, Char, Char, Char) -> USet (Char, Char, Char, Char)

US (Double, Double, Double, Double)

Associated Types

data USet (Double, Double, Double, Double) :: *

Methods

view :: USet (Double, Double, Double, Double) -> Set (Double, Double, Double, Double)

viewk :: b -> (Size -> (Double, Double, Double, Double) -> USet (Double, Double, Double, Double) -> USet (Double, Double, Double, Double) -> b) -> USet (Double, Double, Double, Double) -> b

viewBin :: USet (Double, Double, Double, Double) -> (#LiftedRep, LiftedRep, LiftedRep, (Double, Double, Double, Double), USet (Double, Double, Double, Double), USet (Double, Double, Double, Double)#)

size :: USet (Double, Double, Double, Double) -> Size

null :: USet (Double, Double, Double, Double) -> Bool

tip :: USet (Double, Double, Double, Double)

bin :: Size -> (Double, Double, Double, Double) -> USet (Double, Double, Double, Double) -> USet (Double, Double, Double, Double) -> USet (Double, Double, Double, Double)

balance :: (Double, Double, Double, Double) -> USet (Double, Double, Double, Double) -> USet (Double, Double, Double, Double) -> USet (Double, Double, Double, Double)

US (Float, Float, Float, Float)

Associated Types

data USet (Float, Float, Float, Float) :: *

Methods

view :: USet (Float, Float, Float, Float) -> Set (Float, Float, Float, Float)

viewk :: b -> (Size -> (Float, Float, Float, Float) -> USet (Float, Float, Float, Float) -> USet (Float, Float, Float, Float) -> b) -> USet (Float, Float, Float, Float) -> b

viewBin :: USet (Float, Float, Float, Float) -> (#LiftedRep, LiftedRep, LiftedRep, (Float, Float, Float, Float), USet (Float, Float, Float, Float), USet (Float, Float, Float, Float)#)

size :: USet (Float, Float, Float, Float) -> Size

null :: USet (Float, Float, Float, Float) -> Bool

tip :: USet (Float, Float, Float, Float)

bin :: Size -> (Float, Float, Float, Float) -> USet (Float, Float, Float, Float) -> USet (Float, Float, Float, Float) -> USet (Float, Float, Float, Float)

balance :: (Float, Float, Float, Float) -> USet (Float, Float, Float, Float) -> USet (Float, Float, Float, Float) -> USet (Float, Float, Float, Float)

US (Int, Int, Int, Int)

Associated Types

data USet (Int, Int, Int, Int) :: *

Methods

view :: USet (Int, Int, Int, Int) -> Set (Int, Int, Int, Int)

viewk :: b -> (Size -> (Int, Int, Int, Int) -> USet (Int, Int, Int, Int) -> USet (Int, Int, Int, Int) -> b) -> USet (Int, Int, Int, Int) -> b

viewBin :: USet (Int, Int, Int, Int) -> (#LiftedRep, LiftedRep, LiftedRep, (Int, Int, Int, Int), USet (Int, Int, Int, Int), USet (Int, Int, Int, Int)#)

size :: USet (Int, Int, Int, Int) -> Size

null :: USet (Int, Int, Int, Int) -> Bool

tip :: USet (Int, Int, Int, Int)

bin :: Size -> (Int, Int, Int, Int) -> USet (Int, Int, Int, Int) -> USet (Int, Int, Int, Int) -> USet (Int, Int, Int, Int)

balance :: (Int, Int, Int, Int) -> USet (Int, Int, Int, Int) -> USet (Int, Int, Int, Int) -> USet (Int, Int, Int, Int)

US (Int8, Int8, Int8, Int8)

Associated Types

data USet (Int8, Int8, Int8, Int8) :: *

Methods

view :: USet (Int8, Int8, Int8, Int8) -> Set (Int8, Int8, Int8, Int8)

viewk :: b -> (Size -> (Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8) -> b) -> USet (Int8, Int8, Int8, Int8) -> b

viewBin :: USet (Int8, Int8, Int8, Int8) -> (#LiftedRep, LiftedRep, LiftedRep, (Int8, Int8, Int8, Int8), USet (Int8, Int8, Int8, Int8), USet (Int8, Int8, Int8, Int8)#)

size :: USet (Int8, Int8, Int8, Int8) -> Size

null :: USet (Int8, Int8, Int8, Int8) -> Bool

tip :: USet (Int8, Int8, Int8, Int8)

bin :: Size -> (Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8)

balance :: (Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8)

US (Int16, Int16, Int16, Int16)

Associated Types

data USet (Int16, Int16, Int16, Int16) :: *

Methods

view :: USet (Int16, Int16, Int16, Int16) -> Set (Int16, Int16, Int16, Int16)

viewk :: b -> (Size -> (Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16) -> b) -> USet (Int16, Int16, Int16, Int16) -> b

viewBin :: USet (Int16, Int16, Int16, Int16) -> (#LiftedRep, LiftedRep, LiftedRep, (Int16, Int16, Int16, Int16), USet (Int16, Int16, Int16, Int16), USet (Int16, Int16, Int16, Int16)#)

size :: USet (Int16, Int16, Int16, Int16) -> Size

null :: USet (Int16, Int16, Int16, Int16) -> Bool

tip :: USet (Int16, Int16, Int16, Int16)

bin :: Size -> (Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16)

balance :: (Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16)

US (Int32, Int32, Int32, Int32)

Associated Types

data USet (Int32, Int32, Int32, Int32) :: *

Methods

view :: USet (Int32, Int32, Int32, Int32) -> Set (Int32, Int32, Int32, Int32)

viewk :: b -> (Size -> (Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32) -> b) -> USet (Int32, Int32, Int32, Int32) -> b

viewBin :: USet (Int32, Int32, Int32, Int32) -> (#LiftedRep, LiftedRep, LiftedRep, (Int32, Int32, Int32, Int32), USet (Int32, Int32, Int32, Int32), USet (Int32, Int32, Int32, Int32)#)

size :: USet (Int32, Int32, Int32, Int32) -> Size

null :: USet (Int32, Int32, Int32, Int32) -> Bool

tip :: USet (Int32, Int32, Int32, Int32)

bin :: Size -> (Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32)

balance :: (Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32)

US (Int64, Int64, Int64, Int64)

Associated Types

data USet (Int64, Int64, Int64, Int64) :: *

Methods

view :: USet (Int64, Int64, Int64, Int64) -> Set (Int64, Int64, Int64, Int64)

viewk :: b -> (Size -> (Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64) -> b) -> USet (Int64, Int64, Int64, Int64) -> b

viewBin :: USet (Int64, Int64, Int64, Int64) -> (#LiftedRep, LiftedRep, LiftedRep, (Int64, Int64, Int64, Int64), USet (Int64, Int64, Int64, Int64), USet (Int64, Int64, Int64, Int64)#)

size :: USet (Int64, Int64, Int64, Int64) -> Size

null :: USet (Int64, Int64, Int64, Int64) -> Bool

tip :: USet (Int64, Int64, Int64, Int64)

bin :: Size -> (Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64)

balance :: (Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64)

US (Integer, Integer, Integer, Integer)

Associated Types

data USet (Integer, Integer, Integer, Integer) :: *

Methods

view :: USet (Integer, Integer, Integer, Integer) -> Set (Integer, Integer, Integer, Integer)

viewk :: b -> (Size -> (Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer) -> b) -> USet (Integer, Integer, Integer, Integer) -> b

viewBin :: USet (Integer, Integer, Integer, Integer) -> (#LiftedRep, LiftedRep, LiftedRep, (Integer, Integer, Integer, Integer), USet (Integer, Integer, Integer, Integer), USet (Integer, Integer, Integer, Integer)#)

size :: USet (Integer, Integer, Integer, Integer) -> Size

null :: USet (Integer, Integer, Integer, Integer) -> Bool

tip :: USet (Integer, Integer, Integer, Integer)

bin :: Size -> (Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer)

balance :: (Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer)

US (Word8, Word8, Word8, Word8)

Associated Types

data USet (Word8, Word8, Word8, Word8) :: *

Methods

view :: USet (Word8, Word8, Word8, Word8) -> Set (Word8, Word8, Word8, Word8)

viewk :: b -> (Size -> (Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8) -> b) -> USet (Word8, Word8, Word8, Word8) -> b

viewBin :: USet (Word8, Word8, Word8, Word8) -> (#LiftedRep, LiftedRep, LiftedRep, (Word8, Word8, Word8, Word8), USet (Word8, Word8, Word8, Word8), USet (Word8, Word8, Word8, Word8)#)

size :: USet (Word8, Word8, Word8, Word8) -> Size

null :: USet (Word8, Word8, Word8, Word8) -> Bool

tip :: USet (Word8, Word8, Word8, Word8)

bin :: Size -> (Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8)

balance :: (Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8)

US (Word16, Word16, Word16, Word16)

Associated Types

data USet (Word16, Word16, Word16, Word16) :: *

Methods

view :: USet (Word16, Word16, Word16, Word16) -> Set (Word16, Word16, Word16, Word16)

viewk :: b -> (Size -> (Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16) -> b) -> USet (Word16, Word16, Word16, Word16) -> b

viewBin :: USet (Word16, Word16, Word16, Word16) -> (#LiftedRep, LiftedRep, LiftedRep, (Word16, Word16, Word16, Word16), USet (Word16, Word16, Word16, Word16), USet (Word16, Word16, Word16, Word16)#)

size :: USet (Word16, Word16, Word16, Word16) -> Size

null :: USet (Word16, Word16, Word16, Word16) -> Bool

tip :: USet (Word16, Word16, Word16, Word16)

bin :: Size -> (Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16)

balance :: (Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16)

US (Word32, Word32, Word32, Word32)

Associated Types

data USet (Word32, Word32, Word32, Word32) :: *

Methods

view :: USet (Word32, Word32, Word32, Word32) -> Set (Word32, Word32, Word32, Word32)

viewk :: b -> (Size -> (Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32) -> b) -> USet (Word32, Word32, Word32, Word32) -> b

viewBin :: USet (Word32, Word32, Word32, Word32) -> (#LiftedRep, LiftedRep, LiftedRep, (Word32, Word32, Word32, Word32), USet (Word32, Word32, Word32, Word32), USet (Word32, Word32, Word32, Word32)#)

size :: USet (Word32, Word32, Word32, Word32) -> Size

null :: USet (Word32, Word32, Word32, Word32) -> Bool

tip :: USet (Word32, Word32, Word32, Word32)

bin :: Size -> (Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32)

balance :: (Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32)

US (Word64, Word64, Word64, Word64)

Associated Types

data USet (Word64, Word64, Word64, Word64) :: *

Methods

view :: USet (Word64, Word64, Word64, Word64) -> Set (Word64, Word64, Word64, Word64)

viewk :: b -> (Size -> (Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64) -> b) -> USet (Word64, Word64, Word64, Word64) -> b

viewBin :: USet (Word64, Word64, Word64, Word64) -> (#LiftedRep, LiftedRep, LiftedRep, (Word64, Word64, Word64, Word64), USet (Word64, Word64, Word64, Word64), USet (Word64, Word64, Word64, Word64)#)

size :: USet (Word64, Word64, Word64, Word64) -> Size

null :: USet (Word64, Word64, Word64, Word64) -> Bool

tip :: USet (Word64, Word64, Word64, Word64)

bin :: Size -> (Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64)

balance :: (Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64)

US (Boxed a, Boxed b, Boxed c, Boxed d)

Associated Types

data USet (Boxed a, Boxed b, Boxed c, Boxed d) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c, Boxed d) -> Set (Boxed a, Boxed b, Boxed c, Boxed d)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> b) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c, Boxed d) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c, Boxed d), USet (Boxed a, Boxed b, Boxed c, Boxed d), USet (Boxed a, Boxed b, Boxed c, Boxed d)#)

size :: USet (Boxed a, Boxed b, Boxed c, Boxed d) -> Size

null :: USet (Boxed a, Boxed b, Boxed c, Boxed d) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c, Boxed d)

bin :: Size -> (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d)

balance :: (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d)

US (Char, Char, Char, Char, Char)

Associated Types

data USet (Char, Char, Char, Char, Char) :: *

Methods

view :: USet (Char, Char, Char, Char, Char) -> Set (Char, Char, Char, Char, Char)

viewk :: b -> (Size -> (Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char) -> b) -> USet (Char, Char, Char, Char, Char) -> b

viewBin :: USet (Char, Char, Char, Char, Char) -> (#LiftedRep, LiftedRep, LiftedRep, (Char, Char, Char, Char, Char), USet (Char, Char, Char, Char, Char), USet (Char, Char, Char, Char, Char)#)

size :: USet (Char, Char, Char, Char, Char) -> Size

null :: USet (Char, Char, Char, Char, Char) -> Bool

tip :: USet (Char, Char, Char, Char, Char)

bin :: Size -> (Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char)

balance :: (Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char)

US (Double, Double, Double, Double, Double)

Associated Types

data USet (Double, Double, Double, Double, Double) :: *

Methods

view :: USet (Double, Double, Double, Double, Double) -> Set (Double, Double, Double, Double, Double)

viewk :: b -> (Size -> (Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double) -> b) -> USet (Double, Double, Double, Double, Double) -> b

viewBin :: USet (Double, Double, Double, Double, Double) -> (#LiftedRep, LiftedRep, LiftedRep, (Double, Double, Double, Double, Double), USet (Double, Double, Double, Double, Double), USet (Double, Double, Double, Double, Double)#)

size :: USet (Double, Double, Double, Double, Double) -> Size

null :: USet (Double, Double, Double, Double, Double) -> Bool

tip :: USet (Double, Double, Double, Double, Double)

bin :: Size -> (Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double)

balance :: (Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double)

US (Float, Float, Float, Float, Float)

Associated Types

data USet (Float, Float, Float, Float, Float) :: *

Methods

view :: USet (Float, Float, Float, Float, Float) -> Set (Float, Float, Float, Float, Float)

viewk :: b -> (Size -> (Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float) -> b) -> USet (Float, Float, Float, Float, Float) -> b

viewBin :: USet (Float, Float, Float, Float, Float) -> (#LiftedRep, LiftedRep, LiftedRep, (Float, Float, Float, Float, Float), USet (Float, Float, Float, Float, Float), USet (Float, Float, Float, Float, Float)#)

size :: USet (Float, Float, Float, Float, Float) -> Size

null :: USet (Float, Float, Float, Float, Float) -> Bool

tip :: USet (Float, Float, Float, Float, Float)

bin :: Size -> (Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float)

balance :: (Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float)

US (Int, Int, Int, Int, Int)

Associated Types

data USet (Int, Int, Int, Int, Int) :: *

Methods

view :: USet (Int, Int, Int, Int, Int) -> Set (Int, Int, Int, Int, Int)

viewk :: b -> (Size -> (Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int) -> b) -> USet (Int, Int, Int, Int, Int) -> b

viewBin :: USet (Int, Int, Int, Int, Int) -> (#LiftedRep, LiftedRep, LiftedRep, (Int, Int, Int, Int, Int), USet (Int, Int, Int, Int, Int), USet (Int, Int, Int, Int, Int)#)

size :: USet (Int, Int, Int, Int, Int) -> Size

null :: USet (Int, Int, Int, Int, Int) -> Bool

tip :: USet (Int, Int, Int, Int, Int)

bin :: Size -> (Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int)

balance :: (Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int)

US (Int8, Int8, Int8, Int8, Int8)

Associated Types

data USet (Int8, Int8, Int8, Int8, Int8) :: *

Methods

view :: USet (Int8, Int8, Int8, Int8, Int8) -> Set (Int8, Int8, Int8, Int8, Int8)

viewk :: b -> (Size -> (Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8) -> b) -> USet (Int8, Int8, Int8, Int8, Int8) -> b

viewBin :: USet (Int8, Int8, Int8, Int8, Int8) -> (#LiftedRep, LiftedRep, LiftedRep, (Int8, Int8, Int8, Int8, Int8), USet (Int8, Int8, Int8, Int8, Int8), USet (Int8, Int8, Int8, Int8, Int8)#)

size :: USet (Int8, Int8, Int8, Int8, Int8) -> Size

null :: USet (Int8, Int8, Int8, Int8, Int8) -> Bool

tip :: USet (Int8, Int8, Int8, Int8, Int8)

bin :: Size -> (Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8)

balance :: (Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8)

US (Int16, Int16, Int16, Int16, Int16)

Associated Types

data USet (Int16, Int16, Int16, Int16, Int16) :: *

Methods

view :: USet (Int16, Int16, Int16, Int16, Int16) -> Set (Int16, Int16, Int16, Int16, Int16)

viewk :: b -> (Size -> (Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16) -> b) -> USet (Int16, Int16, Int16, Int16, Int16) -> b

viewBin :: USet (Int16, Int16, Int16, Int16, Int16) -> (#LiftedRep, LiftedRep, LiftedRep, (Int16, Int16, Int16, Int16, Int16), USet (Int16, Int16, Int16, Int16, Int16), USet (Int16, Int16, Int16, Int16, Int16)#)

size :: USet (Int16, Int16, Int16, Int16, Int16) -> Size

null :: USet (Int16, Int16, Int16, Int16, Int16) -> Bool

tip :: USet (Int16, Int16, Int16, Int16, Int16)

bin :: Size -> (Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16)

balance :: (Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16)

US (Int32, Int32, Int32, Int32, Int32)

Associated Types

data USet (Int32, Int32, Int32, Int32, Int32) :: *

Methods

view :: USet (Int32, Int32, Int32, Int32, Int32) -> Set (Int32, Int32, Int32, Int32, Int32)

viewk :: b -> (Size -> (Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32) -> b) -> USet (Int32, Int32, Int32, Int32, Int32) -> b

viewBin :: USet (Int32, Int32, Int32, Int32, Int32) -> (#LiftedRep, LiftedRep, LiftedRep, (Int32, Int32, Int32, Int32, Int32), USet (Int32, Int32, Int32, Int32, Int32), USet (Int32, Int32, Int32, Int32, Int32)#)

size :: USet (Int32, Int32, Int32, Int32, Int32) -> Size

null :: USet (Int32, Int32, Int32, Int32, Int32) -> Bool

tip :: USet (Int32, Int32, Int32, Int32, Int32)

bin :: Size -> (Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32)

balance :: (Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32)

US (Int64, Int64, Int64, Int64, Int64)

Associated Types

data USet (Int64, Int64, Int64, Int64, Int64) :: *

Methods

view :: USet (Int64, Int64, Int64, Int64, Int64) -> Set (Int64, Int64, Int64, Int64, Int64)

viewk :: b -> (Size -> (Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64) -> b) -> USet (Int64, Int64, Int64, Int64, Int64) -> b

viewBin :: USet (Int64, Int64, Int64, Int64, Int64) -> (#LiftedRep, LiftedRep, LiftedRep, (Int64, Int64, Int64, Int64, Int64), USet (Int64, Int64, Int64, Int64, Int64), USet (Int64, Int64, Int64, Int64, Int64)#)

size :: USet (Int64, Int64, Int64, Int64, Int64) -> Size

null :: USet (Int64, Int64, Int64, Int64, Int64) -> Bool

tip :: USet (Int64, Int64, Int64, Int64, Int64)

bin :: Size -> (Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64)

balance :: (Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64)

US (Integer, Integer, Integer, Integer, Integer)

Associated Types

data USet (Integer, Integer, Integer, Integer, Integer) :: *

Methods

view :: USet (Integer, Integer, Integer, Integer, Integer) -> Set (Integer, Integer, Integer, Integer, Integer)

viewk :: b -> (Size -> (Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer) -> b) -> USet (Integer, Integer, Integer, Integer, Integer) -> b

viewBin :: USet (Integer, Integer, Integer, Integer, Integer) -> (#LiftedRep, LiftedRep, LiftedRep, (Integer, Integer, Integer, Integer, Integer), USet (Integer, Integer, Integer, Integer, Integer), USet (Integer, Integer, Integer, Integer, Integer)#)

size :: USet (Integer, Integer, Integer, Integer, Integer) -> Size

null :: USet (Integer, Integer, Integer, Integer, Integer) -> Bool

tip :: USet (Integer, Integer, Integer, Integer, Integer)

bin :: Size -> (Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer)

balance :: (Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer)

US (Word8, Word8, Word8, Word8, Word8)

Associated Types

data USet (Word8, Word8, Word8, Word8, Word8) :: *

Methods

view :: USet (Word8, Word8, Word8, Word8, Word8) -> Set (Word8, Word8, Word8, Word8, Word8)

viewk :: b -> (Size -> (Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8) -> b) -> USet (Word8, Word8, Word8, Word8, Word8) -> b

viewBin :: USet (Word8, Word8, Word8, Word8, Word8) -> (#LiftedRep, LiftedRep, LiftedRep, (Word8, Word8, Word8, Word8, Word8), USet (Word8, Word8, Word8, Word8, Word8), USet (Word8, Word8, Word8, Word8, Word8)#)

size :: USet (Word8, Word8, Word8, Word8, Word8) -> Size

null :: USet (Word8, Word8, Word8, Word8, Word8) -> Bool

tip :: USet (Word8, Word8, Word8, Word8, Word8)

bin :: Size -> (Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8)

balance :: (Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8)

US (Word16, Word16, Word16, Word16, Word16)

Associated Types

data USet (Word16, Word16, Word16, Word16, Word16) :: *

Methods

view :: USet (Word16, Word16, Word16, Word16, Word16) -> Set (Word16, Word16, Word16, Word16, Word16)

viewk :: b -> (Size -> (Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16) -> b) -> USet (Word16, Word16, Word16, Word16, Word16) -> b

viewBin :: USet (Word16, Word16, Word16, Word16, Word16) -> (#LiftedRep, LiftedRep, LiftedRep, (Word16, Word16, Word16, Word16, Word16), USet (Word16, Word16, Word16, Word16, Word16), USet (Word16, Word16, Word16, Word16, Word16)#)

size :: USet (Word16, Word16, Word16, Word16, Word16) -> Size

null :: USet (Word16, Word16, Word16, Word16, Word16) -> Bool

tip :: USet (Word16, Word16, Word16, Word16, Word16)

bin :: Size -> (Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16)

balance :: (Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16)

US (Word32, Word32, Word32, Word32, Word32)

Associated Types

data USet (Word32, Word32, Word32, Word32, Word32) :: *

Methods

view :: USet (Word32, Word32, Word32, Word32, Word32) -> Set (Word32, Word32, Word32, Word32, Word32)

viewk :: b -> (Size -> (Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32) -> b) -> USet (Word32, Word32, Word32, Word32, Word32) -> b

viewBin :: USet (Word32, Word32, Word32, Word32, Word32) -> (#LiftedRep, LiftedRep, LiftedRep, (Word32, Word32, Word32, Word32, Word32), USet (Word32, Word32, Word32, Word32, Word32), USet (Word32, Word32, Word32, Word32, Word32)#)

size :: USet (Word32, Word32, Word32, Word32, Word32) -> Size

null :: USet (Word32, Word32, Word32, Word32, Word32) -> Bool

tip :: USet (Word32, Word32, Word32, Word32, Word32)

bin :: Size -> (Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32)

balance :: (Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32)

US (Word64, Word64, Word64, Word64, Word64)

Associated Types

data USet (Word64, Word64, Word64, Word64, Word64) :: *

Methods

view :: USet (Word64, Word64, Word64, Word64, Word64) -> Set (Word64, Word64, Word64, Word64, Word64)

viewk :: b -> (Size -> (Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64) -> b) -> USet (Word64, Word64, Word64, Word64, Word64) -> b

viewBin :: USet (Word64, Word64, Word64, Word64, Word64) -> (#LiftedRep, LiftedRep, LiftedRep, (Word64, Word64, Word64, Word64, Word64), USet (Word64, Word64, Word64, Word64, Word64), USet (Word64, Word64, Word64, Word64, Word64)#)

size :: USet (Word64, Word64, Word64, Word64, Word64) -> Size

null :: USet (Word64, Word64, Word64, Word64, Word64) -> Bool

tip :: USet (Word64, Word64, Word64, Word64, Word64)

bin :: Size -> (Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64)

balance :: (Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64)

US (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)

Associated Types

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> Set (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> b) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)#)

size :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> Size

null :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)

bin :: Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)

balance :: (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)

US (Char, Char, Char, Char, Char, Char)

Associated Types

data USet (Char, Char, Char, Char, Char, Char) :: *

Methods

view :: USet (Char, Char, Char, Char, Char, Char) -> Set (Char, Char, Char, Char, Char, Char)

viewk :: b -> (Size -> (Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char) -> b) -> USet (Char, Char, Char, Char, Char, Char) -> b

viewBin :: USet (Char, Char, Char, Char, Char, Char) -> (#LiftedRep, LiftedRep, LiftedRep, (Char, Char, Char, Char, Char, Char), USet (Char, Char, Char, Char, Char, Char), USet (Char, Char, Char, Char, Char, Char)#)

size :: USet (Char, Char, Char, Char, Char, Char) -> Size

null :: USet (Char, Char, Char, Char, Char, Char) -> Bool

tip :: USet (Char, Char, Char, Char, Char, Char)

bin :: Size -> (Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char)

balance :: (Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char)

US (Double, Double, Double, Double, Double, Double)

Associated Types

data USet (Double, Double, Double, Double, Double, Double) :: *

Methods

view :: USet (Double, Double, Double, Double, Double, Double) -> Set (Double, Double, Double, Double, Double, Double)

viewk :: b -> (Size -> (Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double) -> b) -> USet (Double, Double, Double, Double, Double, Double) -> b

viewBin :: USet (Double, Double, Double, Double, Double, Double) -> (#LiftedRep, LiftedRep, LiftedRep, (Double, Double, Double, Double, Double, Double), USet (Double, Double, Double, Double, Double, Double), USet (Double, Double, Double, Double, Double, Double)#)

size :: USet (Double, Double, Double, Double, Double, Double) -> Size

null :: USet (Double, Double, Double, Double, Double, Double) -> Bool

tip :: USet (Double, Double, Double, Double, Double, Double)

bin :: Size -> (Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double)

balance :: (Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double)

US (Float, Float, Float, Float, Float, Float)

Associated Types

data USet (Float, Float, Float, Float, Float, Float) :: *

Methods

view :: USet (Float, Float, Float, Float, Float, Float) -> Set (Float, Float, Float, Float, Float, Float)

viewk :: b -> (Size -> (Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float) -> b) -> USet (Float, Float, Float, Float, Float, Float) -> b

viewBin :: USet (Float, Float, Float, Float, Float, Float) -> (#LiftedRep, LiftedRep, LiftedRep, (Float, Float, Float, Float, Float, Float), USet (Float, Float, Float, Float, Float, Float), USet (Float, Float, Float, Float, Float, Float)#)

size :: USet (Float, Float, Float, Float, Float, Float) -> Size

null :: USet (Float, Float, Float, Float, Float, Float) -> Bool

tip :: USet (Float, Float, Float, Float, Float, Float)

bin :: Size -> (Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float)

balance :: (Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float)

US (Int, Int, Int, Int, Int, Int)

Associated Types

data USet (Int, Int, Int, Int, Int, Int) :: *

Methods

view :: USet (Int, Int, Int, Int, Int, Int) -> Set (Int, Int, Int, Int, Int, Int)

viewk :: b -> (Size -> (Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int) -> b) -> USet (Int, Int, Int, Int, Int, Int) -> b

viewBin :: USet (Int, Int, Int, Int, Int, Int) -> (#LiftedRep, LiftedRep, LiftedRep, (Int, Int, Int, Int, Int, Int), USet (Int, Int, Int, Int, Int, Int), USet (Int, Int, Int, Int, Int, Int)#)

size :: USet (Int, Int, Int, Int, Int, Int) -> Size

null :: USet (Int, Int, Int, Int, Int, Int) -> Bool

tip :: USet (Int, Int, Int, Int, Int, Int)

bin :: Size -> (Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int)

balance :: (Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int)

US (Int8, Int8, Int8, Int8, Int8, Int8)

Associated Types

data USet (Int8, Int8, Int8, Int8, Int8, Int8) :: *

Methods

view :: USet (Int8, Int8, Int8, Int8, Int8, Int8) -> Set (Int8, Int8, Int8, Int8, Int8, Int8)

viewk :: b -> (Size -> (Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8) -> b) -> USet (Int8, Int8, Int8, Int8, Int8, Int8) -> b

viewBin :: USet (Int8, Int8, Int8, Int8, Int8, Int8) -> (#LiftedRep, LiftedRep, LiftedRep, (Int8, Int8, Int8, Int8, Int8, Int8), USet (Int8, Int8, Int8, Int8, Int8, Int8), USet (Int8, Int8, Int8, Int8, Int8, Int8)#)

size :: USet (Int8, Int8, Int8, Int8, Int8, Int8) -> Size

null :: USet (Int8, Int8, Int8, Int8, Int8, Int8) -> Bool

tip :: USet (Int8, Int8, Int8, Int8, Int8, Int8)

bin :: Size -> (Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8)

balance :: (Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8)

US (Int16, Int16, Int16, Int16, Int16, Int16)

Associated Types

data USet (Int16, Int16, Int16, Int16, Int16, Int16) :: *

Methods

view :: USet (Int16, Int16, Int16, Int16, Int16, Int16) -> Set (Int16, Int16, Int16, Int16, Int16, Int16)

viewk :: b -> (Size -> (Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16) -> b) -> USet (Int16, Int16, Int16, Int16, Int16, Int16) -> b

viewBin :: USet (Int16, Int16, Int16, Int16, Int16, Int16) -> (#LiftedRep, LiftedRep, LiftedRep, (Int16, Int16, Int16, Int16, Int16, Int16), USet (Int16, Int16, Int16, Int16, Int16, Int16), USet (Int16, Int16, Int16, Int16, Int16, Int16)#)

size :: USet (Int16, Int16, Int16, Int16, Int16, Int16) -> Size

null :: USet (Int16, Int16, Int16, Int16, Int16, Int16) -> Bool

tip :: USet (Int16, Int16, Int16, Int16, Int16, Int16)

bin :: Size -> (Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16)

balance :: (Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16)

US (Int32, Int32, Int32, Int32, Int32, Int32)

Associated Types

data USet (Int32, Int32, Int32, Int32, Int32, Int32) :: *

Methods

view :: USet (Int32, Int32, Int32, Int32, Int32, Int32) -> Set (Int32, Int32, Int32, Int32, Int32, Int32)

viewk :: b -> (Size -> (Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32) -> b) -> USet (Int32, Int32, Int32, Int32, Int32, Int32) -> b

viewBin :: USet (Int32, Int32, Int32, Int32, Int32, Int32) -> (#LiftedRep, LiftedRep, LiftedRep, (Int32, Int32, Int32, Int32, Int32, Int32), USet (Int32, Int32, Int32, Int32, Int32, Int32), USet (Int32, Int32, Int32, Int32, Int32, Int32)#)

size :: USet (Int32, Int32, Int32, Int32, Int32, Int32) -> Size

null :: USet (Int32, Int32, Int32, Int32, Int32, Int32) -> Bool

tip :: USet (Int32, Int32, Int32, Int32, Int32, Int32)

bin :: Size -> (Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32)

balance :: (Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32)

US (Int64, Int64, Int64, Int64, Int64, Int64)

Associated Types

data USet (Int64, Int64, Int64, Int64, Int64, Int64) :: *

Methods

view :: USet (Int64, Int64, Int64, Int64, Int64, Int64) -> Set (Int64, Int64, Int64, Int64, Int64, Int64)

viewk :: b -> (Size -> (Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64) -> b) -> USet (Int64, Int64, Int64, Int64, Int64, Int64) -> b

viewBin :: USet (Int64, Int64, Int64, Int64, Int64, Int64) -> (#LiftedRep, LiftedRep, LiftedRep, (Int64, Int64, Int64, Int64, Int64, Int64), USet (Int64, Int64, Int64, Int64, Int64, Int64), USet (Int64, Int64, Int64, Int64, Int64, Int64)#)

size :: USet (Int64, Int64, Int64, Int64, Int64, Int64) -> Size

null :: USet (Int64, Int64, Int64, Int64, Int64, Int64) -> Bool

tip :: USet (Int64, Int64, Int64, Int64, Int64, Int64)

bin :: Size -> (Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64)

balance :: (Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64)

US (Integer, Integer, Integer, Integer, Integer, Integer)

Associated Types

data USet (Integer, Integer, Integer, Integer, Integer, Integer) :: *

Methods

view :: USet (Integer, Integer, Integer, Integer, Integer, Integer) -> Set (Integer, Integer, Integer, Integer, Integer, Integer)

viewk :: b -> (Size -> (Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer) -> b) -> USet (Integer, Integer, Integer, Integer, Integer, Integer) -> b

viewBin :: USet (Integer, Integer, Integer, Integer, Integer, Integer) -> (#LiftedRep, LiftedRep, LiftedRep, (Integer, Integer, Integer, Integer, Integer, Integer), USet (Integer, Integer, Integer, Integer, Integer, Integer), USet (Integer, Integer, Integer, Integer, Integer, Integer)#)

size :: USet (Integer, Integer, Integer, Integer, Integer, Integer) -> Size

null :: USet (Integer, Integer, Integer, Integer, Integer, Integer) -> Bool

tip :: USet (Integer, Integer, Integer, Integer, Integer, Integer)

bin :: Size -> (Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer)

balance :: (Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer)

US (Word8, Word8, Word8, Word8, Word8, Word8)

Associated Types

data USet (Word8, Word8, Word8, Word8, Word8, Word8) :: *

Methods

view :: USet (Word8, Word8, Word8, Word8, Word8, Word8) -> Set (Word8, Word8, Word8, Word8, Word8, Word8)

viewk :: b -> (Size -> (Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8) -> b) -> USet (Word8, Word8, Word8, Word8, Word8, Word8) -> b

viewBin :: USet (Word8, Word8, Word8, Word8, Word8, Word8) -> (#LiftedRep, LiftedRep, LiftedRep, (Word8, Word8, Word8, Word8, Word8, Word8), USet (Word8, Word8, Word8, Word8, Word8, Word8), USet (Word8, Word8, Word8, Word8, Word8, Word8)#)

size :: USet (Word8, Word8, Word8, Word8, Word8, Word8) -> Size

null :: USet (Word8, Word8, Word8, Word8, Word8, Word8) -> Bool

tip :: USet (Word8, Word8, Word8, Word8, Word8, Word8)

bin :: Size -> (Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8)

balance :: (Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8)

US (Word16, Word16, Word16, Word16, Word16, Word16)

Associated Types

data USet (Word16, Word16, Word16, Word16, Word16, Word16) :: *

Methods

view :: USet (Word16, Word16, Word16, Word16, Word16, Word16) -> Set (Word16, Word16, Word16, Word16, Word16, Word16)

viewk :: b -> (Size -> (Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16) -> b) -> USet (Word16, Word16, Word16, Word16, Word16, Word16) -> b

viewBin :: USet (Word16, Word16, Word16, Word16, Word16, Word16) -> (#LiftedRep, LiftedRep, LiftedRep, (Word16, Word16, Word16, Word16, Word16, Word16), USet (Word16, Word16, Word16, Word16, Word16, Word16), USet (Word16, Word16, Word16, Word16, Word16, Word16)#)

size :: USet (Word16, Word16, Word16, Word16, Word16, Word16) -> Size

null :: USet (Word16, Word16, Word16, Word16, Word16, Word16) -> Bool

tip :: USet (Word16, Word16, Word16, Word16, Word16, Word16)

bin :: Size -> (Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16)

balance :: (Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16)

US (Word32, Word32, Word32, Word32, Word32, Word32)

Associated Types

data USet (Word32, Word32, Word32, Word32, Word32, Word32) :: *

Methods

view :: USet (Word32, Word32, Word32, Word32, Word32, Word32) -> Set (Word32, Word32, Word32, Word32, Word32, Word32)

viewk :: b -> (Size -> (Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32) -> b) -> USet (Word32, Word32, Word32, Word32, Word32, Word32) -> b

viewBin :: USet (Word32, Word32, Word32, Word32, Word32, Word32) -> (#LiftedRep, LiftedRep, LiftedRep, (Word32, Word32, Word32, Word32, Word32, Word32), USet (Word32, Word32, Word32, Word32, Word32, Word32), USet (Word32, Word32, Word32, Word32, Word32, Word32)#)

size :: USet (Word32, Word32, Word32, Word32, Word32, Word32) -> Size

null :: USet (Word32, Word32, Word32, Word32, Word32, Word32) -> Bool

tip :: USet (Word32, Word32, Word32, Word32, Word32, Word32)

bin :: Size -> (Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32)

balance :: (Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32)

US (Word64, Word64, Word64, Word64, Word64, Word64)

Associated Types

data USet (Word64, Word64, Word64, Word64, Word64, Word64) :: *

Methods

view :: USet (Word64, Word64, Word64, Word64, Word64, Word64) -> Set (Word64, Word64, Word64, Word64, Word64, Word64)

viewk :: b -> (Size -> (Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64) -> b) -> USet (Word64, Word64, Word64, Word64, Word64, Word64) -> b

viewBin :: USet (Word64, Word64, Word64, Word64, Word64, Word64) -> (#LiftedRep, LiftedRep, LiftedRep, (Word64, Word64, Word64, Word64, Word64, Word64), USet (Word64, Word64, Word64, Word64, Word64, Word64), USet (Word64, Word64, Word64, Word64, Word64, Word64)#)

size :: USet (Word64, Word64, Word64, Word64, Word64, Word64) -> Size

null :: USet (Word64, Word64, Word64, Word64, Word64, Word64) -> Bool

tip :: USet (Word64, Word64, Word64, Word64, Word64, Word64)

bin :: Size -> (Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64)

balance :: (Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64)

US (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)

Associated Types

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> Set (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> b) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)#)

size :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> Size

null :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)

bin :: Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)

balance :: (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)

US (Char, Char, Char, Char, Char, Char, Char)

Associated Types

data USet (Char, Char, Char, Char, Char, Char, Char) :: *

Methods

view :: USet (Char, Char, Char, Char, Char, Char, Char) -> Set (Char, Char, Char, Char, Char, Char, Char)

viewk :: b -> (Size -> (Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char) -> b) -> USet (Char, Char, Char, Char, Char, Char, Char) -> b

viewBin :: USet (Char, Char, Char, Char, Char, Char, Char) -> (#LiftedRep, LiftedRep, LiftedRep, (Char, Char, Char, Char, Char, Char, Char), USet (Char, Char, Char, Char, Char, Char, Char), USet (Char, Char, Char, Char, Char, Char, Char)#)

size :: USet (Char, Char, Char, Char, Char, Char, Char) -> Size

null :: USet (Char, Char, Char, Char, Char, Char, Char) -> Bool

tip :: USet (Char, Char, Char, Char, Char, Char, Char)

bin :: Size -> (Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char)

balance :: (Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char)

US (Double, Double, Double, Double, Double, Double, Double)

Associated Types

data USet (Double, Double, Double, Double, Double, Double, Double) :: *

Methods

view :: USet (Double, Double, Double, Double, Double, Double, Double) -> Set (Double, Double, Double, Double, Double, Double, Double)

viewk :: b -> (Size -> (Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double) -> b) -> USet (Double, Double, Double, Double, Double, Double, Double) -> b

viewBin :: USet (Double, Double, Double, Double, Double, Double, Double) -> (#LiftedRep, LiftedRep, LiftedRep, (Double, Double, Double, Double, Double, Double, Double), USet (Double, Double, Double, Double, Double, Double, Double), USet (Double, Double, Double, Double, Double, Double, Double)#)

size :: USet (Double, Double, Double, Double, Double, Double, Double) -> Size

null :: USet (Double, Double, Double, Double, Double, Double, Double) -> Bool

tip :: USet (Double, Double, Double, Double, Double, Double, Double)

bin :: Size -> (Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double)

balance :: (Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double)

US (Float, Float, Float, Float, Float, Float, Float)

Associated Types

data USet (Float, Float, Float, Float, Float, Float, Float) :: *

Methods

view :: USet (Float, Float, Float, Float, Float, Float, Float) -> Set (Float, Float, Float, Float, Float, Float, Float)

viewk :: b -> (Size -> (Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float) -> b) -> USet (Float, Float, Float, Float, Float, Float, Float) -> b

viewBin :: USet (Float, Float, Float, Float, Float, Float, Float) -> (#LiftedRep, LiftedRep, LiftedRep, (Float, Float, Float, Float, Float, Float, Float), USet (Float, Float, Float, Float, Float, Float, Float), USet (Float, Float, Float, Float, Float, Float, Float)#)

size :: USet (Float, Float, Float, Float, Float, Float, Float) -> Size

null :: USet (Float, Float, Float, Float, Float, Float, Float) -> Bool

tip :: USet (Float, Float, Float, Float, Float, Float, Float)

bin :: Size -> (Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float)

balance :: (Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float)

US (Int, Int, Int, Int, Int, Int, Int)

Associated Types

data USet (Int, Int, Int, Int, Int, Int, Int) :: *

Methods

view :: USet (Int, Int, Int, Int, Int, Int, Int) -> Set (Int, Int, Int, Int, Int, Int, Int)

viewk :: b -> (Size -> (Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int) -> b) -> USet (Int, Int, Int, Int, Int, Int, Int) -> b

viewBin :: USet (Int, Int, Int, Int, Int, Int, Int) -> (#LiftedRep, LiftedRep, LiftedRep, (Int, Int, Int, Int, Int, Int, Int), USet (Int, Int, Int, Int, Int, Int, Int), USet (Int, Int, Int, Int, Int, Int, Int)#)

size :: USet (Int, Int, Int, Int, Int, Int, Int) -> Size

null :: USet (Int, Int, Int, Int, Int, Int, Int) -> Bool

tip :: USet (Int, Int, Int, Int, Int, Int, Int)

bin :: Size -> (Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int)

balance :: (Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int)

US (Int8, Int8, Int8, Int8, Int8, Int8, Int8)

Associated Types

data USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8) :: *

Methods

view :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> Set (Int8, Int8, Int8, Int8, Int8, Int8, Int8)

viewk :: b -> (Size -> (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> b) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> b

viewBin :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> (#LiftedRep, LiftedRep, LiftedRep, (Int8, Int8, Int8, Int8, Int8, Int8, Int8), USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8), USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8)#)

size :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> Size

null :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> Bool

tip :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8)

bin :: Size -> (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8)

balance :: (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8)

US (Int16, Int16, Int16, Int16, Int16, Int16, Int16)

Associated Types

data USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16) :: *

Methods

view :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> Set (Int16, Int16, Int16, Int16, Int16, Int16, Int16)

viewk :: b -> (Size -> (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> b) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> b

viewBin :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> (#LiftedRep, LiftedRep, LiftedRep, (Int16, Int16, Int16, Int16, Int16, Int16, Int16), USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16), USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16)#)

size :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> Size

null :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> Bool

tip :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16)

bin :: Size -> (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16)

balance :: (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16)

US (Int32, Int32, Int32, Int32, Int32, Int32, Int32)

Associated Types

data USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32) :: *

Methods

view :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> Set (Int32, Int32, Int32, Int32, Int32, Int32, Int32)

viewk :: b -> (Size -> (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> b) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> b

viewBin :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> (#LiftedRep, LiftedRep, LiftedRep, (Int32, Int32, Int32, Int32, Int32, Int32, Int32), USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32), USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32)#)

size :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> Size

null :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> Bool

tip :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32)

bin :: Size -> (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32)

balance :: (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32)

US (Int64, Int64, Int64, Int64, Int64, Int64, Int64)

Associated Types

data USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64) :: *

Methods

view :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> Set (Int64, Int64, Int64, Int64, Int64, Int64, Int64)

viewk :: b -> (Size -> (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> b) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> b

viewBin :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> (#LiftedRep, LiftedRep, LiftedRep, (Int64, Int64, Int64, Int64, Int64, Int64, Int64), USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64), USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64)#)

size :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> Size

null :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> Bool

tip :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64)

bin :: Size -> (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64)

balance :: (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64)

US (Integer, Integer, Integer, Integer, Integer, Integer, Integer)

Associated Types

data USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer) :: *

Methods

view :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> Set (Integer, Integer, Integer, Integer, Integer, Integer, Integer)

viewk :: b -> (Size -> (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> b) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> b

viewBin :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> (#LiftedRep, LiftedRep, LiftedRep, (Integer, Integer, Integer, Integer, Integer, Integer, Integer), USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer), USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer)#)

size :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> Size

null :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> Bool

tip :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer)

bin :: Size -> (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer)

balance :: (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer)

US (Word8, Word8, Word8, Word8, Word8, Word8, Word8)

Associated Types

data USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8) :: *

Methods

view :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> Set (Word8, Word8, Word8, Word8, Word8, Word8, Word8)

viewk :: b -> (Size -> (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> b) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> b

viewBin :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> (#LiftedRep, LiftedRep, LiftedRep, (Word8, Word8, Word8, Word8, Word8, Word8, Word8), USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8), USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8)#)

size :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> Size

null :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> Bool

tip :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8)

bin :: Size -> (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8)

balance :: (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8)

US (Word16, Word16, Word16, Word16, Word16, Word16, Word16)

Associated Types

data USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16) :: *

Methods

view :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> Set (Word16, Word16, Word16, Word16, Word16, Word16, Word16)

viewk :: b -> (Size -> (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> b) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> b

viewBin :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> (#LiftedRep, LiftedRep, LiftedRep, (Word16, Word16, Word16, Word16, Word16, Word16, Word16), USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16), USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16)#)

size :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> Size

null :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> Bool

tip :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16)

bin :: Size -> (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16)

balance :: (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16)

US (Word32, Word32, Word32, Word32, Word32, Word32, Word32)

Associated Types

data USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32) :: *

Methods

view :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> Set (Word32, Word32, Word32, Word32, Word32, Word32, Word32)

viewk :: b -> (Size -> (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> b) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> b

viewBin :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> (#LiftedRep, LiftedRep, LiftedRep, (Word32, Word32, Word32, Word32, Word32, Word32, Word32), USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32), USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32)#)

size :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> Size

null :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> Bool

tip :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32)

bin :: Size -> (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32)

balance :: (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32)

US (Word64, Word64, Word64, Word64, Word64, Word64, Word64)

Associated Types

data USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64) :: *

Methods

view :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> Set (Word64, Word64, Word64, Word64, Word64, Word64, Word64)

viewk :: b -> (Size -> (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> b) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> b

viewBin :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> (#LiftedRep, LiftedRep, LiftedRep, (Word64, Word64, Word64, Word64, Word64, Word64, Word64), USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64), USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64)#)

size :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> Size

null :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> Bool

tip :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64)

bin :: Size -> (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64)

balance :: (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64)

US (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)

Associated Types

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> Set (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> b) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)#)

size :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> Size

null :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)

bin :: Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)

balance :: (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)

US (Char, Char, Char, Char, Char, Char, Char, Char)

Associated Types

data USet (Char, Char, Char, Char, Char, Char, Char, Char) :: *

Methods

view :: USet (Char, Char, Char, Char, Char, Char, Char, Char) -> Set (Char, Char, Char, Char, Char, Char, Char, Char)

viewk :: b -> (Size -> (Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char) -> b) -> USet (Char, Char, Char, Char, Char, Char, Char, Char) -> b

viewBin :: USet (Char, Char, Char, Char, Char, Char, Char, Char) -> (#LiftedRep, LiftedRep, LiftedRep, (Char, Char, Char, Char, Char, Char, Char, Char), USet (Char, Char, Char, Char, Char, Char, Char, Char), USet (Char, Char, Char, Char, Char, Char, Char, Char)#)

size :: USet (Char, Char, Char, Char, Char, Char, Char, Char) -> Size

null :: USet (Char, Char, Char, Char, Char, Char, Char, Char) -> Bool

tip :: USet (Char, Char, Char, Char, Char, Char, Char, Char)

bin :: Size -> (Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char)

balance :: (Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char)

US (Double, Double, Double, Double, Double, Double, Double, Double)

Associated Types

data USet (Double, Double, Double, Double, Double, Double, Double, Double) :: *

Methods

view :: USet (Double, Double, Double, Double, Double, Double, Double, Double) -> Set (Double, Double, Double, Double, Double, Double, Double, Double)

viewk :: b -> (Size -> (Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double) -> b) -> USet (Double, Double, Double, Double, Double, Double, Double, Double) -> b

viewBin :: USet (Double, Double, Double, Double, Double, Double, Double, Double) -> (#LiftedRep, LiftedRep, LiftedRep, (Double, Double, Double, Double, Double, Double, Double, Double), USet (Double, Double, Double, Double, Double, Double, Double, Double), USet (Double, Double, Double, Double, Double, Double, Double, Double)#)

size :: USet (Double, Double, Double, Double, Double, Double, Double, Double) -> Size

null :: USet (Double, Double, Double, Double, Double, Double, Double, Double) -> Bool

tip :: USet (Double, Double, Double, Double, Double, Double, Double, Double)

bin :: Size -> (Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double)

balance :: (Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double)

US (Float, Float, Float, Float, Float, Float, Float, Float)

Associated Types

data USet (Float, Float, Float, Float, Float, Float, Float, Float) :: *

Methods

view :: USet (Float, Float, Float, Float, Float, Float, Float, Float) -> Set (Float, Float, Float, Float, Float, Float, Float, Float)

viewk :: b -> (Size -> (Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float) -> b) -> USet (Float, Float, Float, Float, Float, Float, Float, Float) -> b

viewBin :: USet (Float, Float, Float, Float, Float, Float, Float, Float) -> (#LiftedRep, LiftedRep, LiftedRep, (Float, Float, Float, Float, Float, Float, Float, Float), USet (Float, Float, Float, Float, Float, Float, Float, Float), USet (Float, Float, Float, Float, Float, Float, Float, Float)#)

size :: USet (Float, Float, Float, Float, Float, Float, Float, Float) -> Size

null :: USet (Float, Float, Float, Float, Float, Float, Float, Float) -> Bool

tip :: USet (Float, Float, Float, Float, Float, Float, Float, Float)

bin :: Size -> (Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float)

balance :: (Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float)

US (Int, Int, Int, Int, Int, Int, Int, Int)

Associated Types

data USet (Int, Int, Int, Int, Int, Int, Int, Int) :: *

Methods

view :: USet (Int, Int, Int, Int, Int, Int, Int, Int) -> Set (Int, Int, Int, Int, Int, Int, Int, Int)

viewk :: b -> (Size -> (Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int) -> b) -> USet (Int, Int, Int, Int, Int, Int, Int, Int) -> b

viewBin :: USet (Int, Int, Int, Int, Int, Int, Int, Int) -> (#LiftedRep, LiftedRep, LiftedRep, (Int, Int, Int, Int, Int, Int, Int, Int), USet (Int, Int, Int, Int, Int, Int, Int, Int), USet (Int, Int, Int, Int, Int, Int, Int, Int)#)

size :: USet (Int, Int, Int, Int, Int, Int, Int, Int) -> Size

null :: USet (Int, Int, Int, Int, Int, Int, Int, Int) -> Bool

tip :: USet (Int, Int, Int, Int, Int, Int, Int, Int)

bin :: Size -> (Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int)

balance :: (Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int)

US (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8)

Associated Types

data USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) :: *

Methods

view :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> Set (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8)

viewk :: b -> (Size -> (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> b) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> b

viewBin :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> (#LiftedRep, LiftedRep, LiftedRep, (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8), USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8), USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8)#)

size :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> Size

null :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> Bool

tip :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8)

bin :: Size -> (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8)

balance :: (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8)

US (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16)

Associated Types

data USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) :: *

Methods

view :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> Set (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16)

viewk :: b -> (Size -> (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> b) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> b

viewBin :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> (#LiftedRep, LiftedRep, LiftedRep, (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16), USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16), USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16)#)

size :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> Size

null :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> Bool

tip :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16)

bin :: Size -> (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16)

balance :: (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16)

US (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32)

Associated Types

data USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) :: *

Methods

view :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> Set (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32)

viewk :: b -> (Size -> (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> b) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> b

viewBin :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> (#LiftedRep, LiftedRep, LiftedRep, (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32), USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32), USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32)#)

size :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> Size

null :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> Bool

tip :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32)

bin :: Size -> (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32)

balance :: (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32)

US (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)

Associated Types

data USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) :: *

Methods

view :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> Set (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)

viewk :: b -> (Size -> (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> b) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> b

viewBin :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> (#LiftedRep, LiftedRep, LiftedRep, (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64), USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64), USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)#)

size :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> Size

null :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> Bool

tip :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)

bin :: Size -> (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)

balance :: (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)

US (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer)

Associated Types

data USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) :: *

Methods

view :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> Set (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer)

viewk :: b -> (Size -> (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> b) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> b

viewBin :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> (#LiftedRep, LiftedRep, LiftedRep, (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer), USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer), USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer)#)

size :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> Size

null :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> Bool

tip :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer)

bin :: Size -> (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer)

balance :: (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer)

US (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)

Associated Types

data USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) :: *

Methods

view :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> Set (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)

viewk :: b -> (Size -> (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> b) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> b

viewBin :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> (#LiftedRep, LiftedRep, LiftedRep, (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8), USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8), USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)#)

size :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> Size

null :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> Bool

tip :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)

bin :: Size -> (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)

balance :: (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)

US (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)

Associated Types

data USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) :: *

Methods

view :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> Set (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)

viewk :: b -> (Size -> (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> b) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> b

viewBin :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> (#LiftedRep, LiftedRep, LiftedRep, (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16), USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16), USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)#)

size :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> Size

null :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> Bool

tip :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)

bin :: Size -> (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)

balance :: (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)

US (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32)

Associated Types

data USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) :: *

Methods

view :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> Set (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32)

viewk :: b -> (Size -> (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> b) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> b

viewBin :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> (#LiftedRep, LiftedRep, LiftedRep, (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32), USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32), USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32)#)

size :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> Size

null :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> Bool

tip :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32)

bin :: Size -> (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32)

balance :: (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32)

US (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64)

Associated Types

data USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) :: *

Methods

view :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> Set (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64)

viewk :: b -> (Size -> (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> b) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> b

viewBin :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> (#LiftedRep, LiftedRep, LiftedRep, (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64), USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64), USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64)#)

size :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> Size

null :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> Bool

tip :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64)

bin :: Size -> (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64)

balance :: (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64)

US (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)

Associated Types

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> Set (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> b) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)#)

size :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> Size

null :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)

bin :: Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)

balance :: (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)

US (Char, Char, Char, Char, Char, Char, Char, Char, Char)

Associated Types

data USet (Char, Char, Char, Char, Char, Char, Char, Char, Char) :: *

Methods

view :: USet (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> Set (Char, Char, Char, Char, Char, Char, Char, Char, Char)

viewk :: b -> (Size -> (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> b) -> USet (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> b

viewBin :: USet (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> (#LiftedRep, LiftedRep, LiftedRep, (Char, Char, Char, Char, Char, Char, Char, Char, Char), USet (Char, Char, Char, Char, Char, Char, Char, Char, Char), USet (Char, Char, Char, Char, Char, Char, Char, Char, Char)#)

size :: USet (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> Size

null :: USet (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> Bool

tip :: USet (Char, Char, Char, Char, Char, Char, Char, Char, Char)

bin :: Size -> (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char, Char)

balance :: (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char, Char) -> USet (Char, Char, Char, Char, Char, Char, Char, Char, Char)

US (Double, Double, Double, Double, Double, Double, Double, Double, Double)

Associated Types

data USet (Double, Double, Double, Double, Double, Double, Double, Double, Double) :: *

Methods

view :: USet (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> Set (Double, Double, Double, Double, Double, Double, Double, Double, Double)

viewk :: b -> (Size -> (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> b) -> USet (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> b

viewBin :: USet (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> (#LiftedRep, LiftedRep, LiftedRep, (Double, Double, Double, Double, Double, Double, Double, Double, Double), USet (Double, Double, Double, Double, Double, Double, Double, Double, Double), USet (Double, Double, Double, Double, Double, Double, Double, Double, Double)#)

size :: USet (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> Size

null :: USet (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> Bool

tip :: USet (Double, Double, Double, Double, Double, Double, Double, Double, Double)

bin :: Size -> (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double, Double)

balance :: (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double, Double) -> USet (Double, Double, Double, Double, Double, Double, Double, Double, Double)

US (Float, Float, Float, Float, Float, Float, Float, Float, Float)

Associated Types

data USet (Float, Float, Float, Float, Float, Float, Float, Float, Float) :: *

Methods

view :: USet (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> Set (Float, Float, Float, Float, Float, Float, Float, Float, Float)

viewk :: b -> (Size -> (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> b) -> USet (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> b

viewBin :: USet (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> (#LiftedRep, LiftedRep, LiftedRep, (Float, Float, Float, Float, Float, Float, Float, Float, Float), USet (Float, Float, Float, Float, Float, Float, Float, Float, Float), USet (Float, Float, Float, Float, Float, Float, Float, Float, Float)#)

size :: USet (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> Size

null :: USet (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> Bool

tip :: USet (Float, Float, Float, Float, Float, Float, Float, Float, Float)

bin :: Size -> (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float, Float)

balance :: (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float, Float) -> USet (Float, Float, Float, Float, Float, Float, Float, Float, Float)

US (Int, Int, Int, Int, Int, Int, Int, Int, Int)

Associated Types

data USet (Int, Int, Int, Int, Int, Int, Int, Int, Int) :: *

Methods

view :: USet (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> Set (Int, Int, Int, Int, Int, Int, Int, Int, Int)

viewk :: b -> (Size -> (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> b) -> USet (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> b

viewBin :: USet (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> (#LiftedRep, LiftedRep, LiftedRep, (Int, Int, Int, Int, Int, Int, Int, Int, Int), USet (Int, Int, Int, Int, Int, Int, Int, Int, Int), USet (Int, Int, Int, Int, Int, Int, Int, Int, Int)#)

size :: USet (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> Size

null :: USet (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> Bool

tip :: USet (Int, Int, Int, Int, Int, Int, Int, Int, Int)

bin :: Size -> (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int, Int)

balance :: (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int, Int) -> USet (Int, Int, Int, Int, Int, Int, Int, Int, Int)

US (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8)

Associated Types

data USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) :: *

Methods

view :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> Set (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8)

viewk :: b -> (Size -> (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> b) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> b

viewBin :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> (#LiftedRep, LiftedRep, LiftedRep, (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8), USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8), USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8)#)

size :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> Size

null :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> Bool

tip :: USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8)

bin :: Size -> (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8)

balance :: (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8) -> USet (Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8)

US (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16)

Associated Types

data USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) :: *

Methods

view :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> Set (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16)

viewk :: b -> (Size -> (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> b) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> b

viewBin :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> (#LiftedRep, LiftedRep, LiftedRep, (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16), USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16), USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16)#)

size :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> Size

null :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> Bool

tip :: USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16)

bin :: Size -> (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16)

balance :: (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16) -> USet (Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16, Int16)

US (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32)

Associated Types

data USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) :: *

Methods

view :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> Set (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32)

viewk :: b -> (Size -> (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> b) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> b

viewBin :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> (#LiftedRep, LiftedRep, LiftedRep, (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32), USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32), USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32)#)

size :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> Size

null :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> Bool

tip :: USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32)

bin :: Size -> (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32)

balance :: (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32) -> USet (Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32, Int32)

US (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)

Associated Types

data USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) :: *

Methods

view :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> Set (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)

viewk :: b -> (Size -> (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> b) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> b

viewBin :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> (#LiftedRep, LiftedRep, LiftedRep, (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64), USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64), USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)#)

size :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> Size

null :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> Bool

tip :: USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)

bin :: Size -> (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)

balance :: (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64) -> USet (Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64, Int64)

US (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer)

Associated Types

data USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) :: *

Methods

view :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> Set (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer)

viewk :: b -> (Size -> (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> b) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> b

viewBin :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> (#LiftedRep, LiftedRep, LiftedRep, (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer), USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer), USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer)#)

size :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> Size

null :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> Bool

tip :: USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer)

bin :: Size -> (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer)

balance :: (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer) -> USet (Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer)

US (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)

Associated Types

data USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) :: *

Methods

view :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> Set (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)

viewk :: b -> (Size -> (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> b) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> b

viewBin :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> (#LiftedRep, LiftedRep, LiftedRep, (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8), USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8), USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)#)

size :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> Size

null :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> Bool

tip :: USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)

bin :: Size -> (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)

balance :: (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8) -> USet (Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8, Word8)

US (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)

Associated Types

data USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) :: *

Methods

view :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> Set (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)

viewk :: b -> (Size -> (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> b) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> b

viewBin :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> (#LiftedRep, LiftedRep, LiftedRep, (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16), USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16), USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)#)

size :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> Size

null :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> Bool

tip :: USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)

bin :: Size -> (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)

balance :: (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> USet (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)

US (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32)

Associated Types

data USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) :: *

Methods

view :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> Set (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32)

viewk :: b -> (Size -> (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> b) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> b

viewBin :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> (#LiftedRep, LiftedRep, LiftedRep, (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32), USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32), USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32)#)

size :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> Size

null :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> Bool

tip :: USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32)

bin :: Size -> (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32)

balance :: (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32) -> USet (Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32, Word32)

US (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64)

Associated Types

data USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) :: *

Methods

view :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> Set (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64)

viewk :: b -> (Size -> (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> b) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> b

viewBin :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> (#LiftedRep, LiftedRep, LiftedRep, (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64), USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64), USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64)#)

size :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> Size

null :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> Bool

tip :: USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64)

bin :: Size -> (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64)

balance :: (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64) -> USet (Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64, Word64)

US (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)

Associated Types

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> Set (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> b) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)#)

size :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> Size

null :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)

bin :: Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)

balance :: (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)

newtype Boxed a

Constructors

Boxed

Fields

• getBoxed :: a

Instances

Bounded a => Bounded (Boxed a)

Methods

minBound :: Boxed a

maxBound :: Boxed a

Eq a => Eq (Boxed a)

Methods

(==) :: Boxed a -> Boxed a -> Bool

(/=) :: Boxed a -> Boxed a -> Bool

Ord a => Ord (Boxed a)

Methods

compare :: Boxed a -> Boxed a -> Ordering

(<) :: Boxed a -> Boxed a -> Bool

(<=) :: Boxed a -> Boxed a -> Bool

(>) :: Boxed a -> Boxed a -> Bool

(>=) :: Boxed a -> Boxed a -> Bool

max :: Boxed a -> Boxed a -> Boxed a

min :: Boxed a -> Boxed a -> Boxed a

Read a => Read (Boxed a)

Methods

readsPrec :: Int -> ReadS (Boxed a)

readList :: ReadS [Boxed a]

readPrec :: ReadPrec (Boxed a)

readListPrec :: ReadPrec [Boxed a]

Show a => Show (Boxed a)

Methods

showsPrec :: Int -> Boxed a -> ShowS

show :: Boxed a -> String

showList :: [Boxed a] -> ShowS

US (Boxed a)

Associated Types

data USet (Boxed a) :: *

Methods

view :: USet (Boxed a) -> Set (Boxed a)

viewk :: b -> (Size -> Boxed a -> USet (Boxed a) -> USet (Boxed a) -> b) -> USet (Boxed a) -> b

viewBin :: USet (Boxed a) -> (#LiftedRep, LiftedRep, LiftedRep, Boxed a, USet (Boxed a), USet (Boxed a)#)

size :: USet (Boxed a) -> Size

null :: USet (Boxed a) -> Bool

tip :: USet (Boxed a)

bin :: Size -> Boxed a -> USet (Boxed a) -> USet (Boxed a) -> USet (Boxed a)

balance :: Boxed a -> USet (Boxed a) -> USet (Boxed a) -> USet (Boxed a)

US (Boxed a, Boxed b)

Associated Types

data USet (Boxed a, Boxed b) :: *

Methods

view :: USet (Boxed a, Boxed b) -> Set (Boxed a, Boxed b)

viewk :: b -> (Size -> (Boxed a, Boxed b) -> USet (Boxed a, Boxed b) -> USet (Boxed a, Boxed b) -> b) -> USet (Boxed a, Boxed b) -> b

viewBin :: USet (Boxed a, Boxed b) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b), USet (Boxed a, Boxed b), USet (Boxed a, Boxed b)#)

size :: USet (Boxed a, Boxed b) -> Size

null :: USet (Boxed a, Boxed b) -> Bool

tip :: USet (Boxed a, Boxed b)

bin :: Size -> (Boxed a, Boxed b) -> USet (Boxed a, Boxed b) -> USet (Boxed a, Boxed b) -> USet (Boxed a, Boxed b)

balance :: (Boxed a, Boxed b) -> USet (Boxed a, Boxed b) -> USet (Boxed a, Boxed b) -> USet (Boxed a, Boxed b)

US (Boxed a, Boxed b, Boxed c)

Associated Types

data USet (Boxed a, Boxed b, Boxed c) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c) -> Set (Boxed a, Boxed b, Boxed c)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c) -> b) -> USet (Boxed a, Boxed b, Boxed c) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c), USet (Boxed a, Boxed b, Boxed c), USet (Boxed a, Boxed b, Boxed c)#)

size :: USet (Boxed a, Boxed b, Boxed c) -> Size

null :: USet (Boxed a, Boxed b, Boxed c) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c)

bin :: Size -> (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c)

balance :: (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c) -> USet (Boxed a, Boxed b, Boxed c)

US (Boxed a, Boxed b, Boxed c, Boxed d)

Associated Types

data USet (Boxed a, Boxed b, Boxed c, Boxed d) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c, Boxed d) -> Set (Boxed a, Boxed b, Boxed c, Boxed d)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> b) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c, Boxed d) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c, Boxed d), USet (Boxed a, Boxed b, Boxed c, Boxed d), USet (Boxed a, Boxed b, Boxed c, Boxed d)#)

size :: USet (Boxed a, Boxed b, Boxed c, Boxed d) -> Size

null :: USet (Boxed a, Boxed b, Boxed c, Boxed d) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c, Boxed d)

bin :: Size -> (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d)

balance :: (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d) -> USet (Boxed a, Boxed b, Boxed c, Boxed d)

US (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)

Associated Types

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> Set (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> b) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)#)

size :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> Size

null :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)

bin :: Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)

balance :: (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)

US (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)

Associated Types

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> Set (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> b) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)#)

size :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> Size

null :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)

bin :: Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)

balance :: (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)

US (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)

Associated Types

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> Set (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> b) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)#)

size :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> Size

null :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)

bin :: Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)

balance :: (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)

US (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)

Associated Types

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> Set (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> b) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)#)

size :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> Size

null :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)

bin :: Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)

balance :: (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)

US (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)

Associated Types

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) :: *

Methods

view :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> Set (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)

viewk :: b -> (Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> b) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> b

viewBin :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> (#LiftedRep, LiftedRep, LiftedRep, (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i), USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)#)

size :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> Size

null :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> Bool

tip :: USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)

bin :: Size -> (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)

balance :: (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i) -> USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)

data USet (Boxed a)

data USet (Boxed a)

• = BoxedTip
• | BoxedBin !Size (Boxed a) !(USet (Boxed a)) !(USet (Boxed a))

data USet (Boxed a, Boxed b)

data USet (Boxed a, Boxed b)

• = BoxedBoxedTip
• | BoxedBoxedBin !Size (Boxed a) (Boxed b) !(USet (Boxed a, Boxed b)) !(USet (Boxed a, Boxed b))

data USet (Boxed a, Boxed b, Boxed c)

data USet (Boxed a, Boxed b, Boxed c)

• = BoxedBoxedBoxedTip
• | BoxedBoxedBoxedBin !Size (Boxed a) (Boxed b) (Boxed c) !(USet (Boxed a, Boxed b, Boxed c)) !(USet (Boxed a, Boxed b, Boxed c))

data USet (Boxed a, Boxed b, Boxed c, Boxed d)

data USet (Boxed a, Boxed b, Boxed c, Boxed d)

• = BoxedBoxedBoxedBoxedTip
• | BoxedBoxedBoxedBoxedBin !Size (Boxed a) (Boxed b) (Boxed c) (Boxed d) !(USet (Boxed a, Boxed b, Boxed c, Boxed d)) !(USet (Boxed a, Boxed b, Boxed c, Boxed d))

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)

• = BoxedBoxedBoxedBoxedBoxedTip
• | BoxedBoxedBoxedBoxedBoxedBin !Size (Boxed a) (Boxed b) (Boxed c) (Boxed d) (Boxed e) !(USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e)) !(USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e))

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)

• = BoxedBoxedBoxedBoxedBoxedBoxedTip
• | BoxedBoxedBoxedBoxedBoxedBoxedBin !Size (Boxed a) (Boxed b) (Boxed c) (Boxed d) (Boxed e) (Boxed f) !(USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f)) !(USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f))

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)

• = BoxedBoxedBoxedBoxedBoxedBoxedBoxedTip
• | BoxedBoxedBoxedBoxedBoxedBoxedBoxedBin !Size (Boxed a) (Boxed b) (Boxed c) (Boxed d) (Boxed e) (Boxed f) (Boxed g) !(USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g)) !(USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g))

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)

• = BoxedBoxedBoxedBoxedBoxedBoxedBoxedBoxedTip
• | BoxedBoxedBoxedBoxedBoxedBoxedBoxedBoxedBin !Size (Boxed a) (Boxed b) (Boxed c) (Boxed d) (Boxed e) (Boxed f) (Boxed g) (Boxed h) !(USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h)) !(USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h))

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)

data USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)

• = BoxedBoxedBoxedBoxedBoxedBoxedBoxedBoxedBoxedTip
• | BoxedBoxedBoxedBoxedBoxedBoxedBoxedBoxedBoxedBin !Size (Boxed a) (Boxed b) (Boxed c) (Boxed d) (Boxed e) (Boxed f) (Boxed g) (Boxed h) (Boxed i) !(USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i)) !(USet (Boxed a, Boxed b, Boxed c, Boxed d, Boxed e, Boxed f, Boxed g, Boxed h, Boxed i))

type Size = Int

Operators

(\\) :: (US a, Ord a) => USet a -> USet a -> USet a infixl 9

O(n+m). See difference.

Query

null :: US a => USet a -> Bool

O(1). Is this the empty set?

size :: US a => USet a -> Size

O(1). The number of elements in the set.

member :: (US a, Ord a) => a -> USet a -> Bool

O(log n). Is the element in the set?

notMember :: (US a, Ord a) => a -> USet a -> Bool

O(log n). Is the element not in the set?

isSubsetOf :: (US a, Ord a) => USet a -> USet a -> Bool

O(n+m). Is this a subset? (s1 isSubsetOf s2) tells whether s1 is a subset of s2.

isProperSubsetOf :: (US a, Ord a) => USet a -> USet a -> Bool

O(n+m). Is this a proper subset? (ie. a subset but not equal).

Construction

empty :: US a => USet a

O(1). The empty set.

singleton :: US a => a -> USet a

O(1). Create a singleton set.

insert :: (US a, Ord a) => a -> USet a -> USet a

O(log n). Insert an element in a set. If the set already contains an element equal to the given value, it is replaced with the new value.

delete :: (US a, Ord a) => a -> USet a -> USet a

O(log n). Delete an element from a set.

Combine

union :: (US a, Ord a) => USet a -> USet a -> USet a

O(n+m). The union of two sets, preferring the first set when equal elements are encountered. The implementation uses the efficient hedge-union algorithm. Hedge-union is more efficient on (bigset union smallset).

unions :: (US a, Ord a) => [USet a] -> USet a

The union of a list of sets: (unions == foldl union empty).

difference :: (US a, Ord a) => USet a -> USet a -> USet a

O(n+m). Difference of two sets. The implementation uses an efficient hedge algorithm comparable with hedge-union.

intersection :: (US a, Ord a) => USet a -> USet a -> USet a

O(n+m). The intersection of two sets. Elements of the result come from the first set, so for example

import qualified Data.Set as S
data AB = A | B deriving Show
instance Ord AB where compare _ _ = EQ
instance Eq AB where _ == _ = True
main = print (S.singleton A `S.intersection` S.singleton B,
              S.singleton B `S.intersection` S.singleton A)

prints (fromList [A],fromList [B]).

Filter

filter :: (US a, Ord a) => (a -> Bool) -> USet a -> USet a

O(n). Filter all elements that satisfy the predicate.

partition :: (US a, Ord a) => (a -> Bool) -> USet a -> (USet a, USet a)

O(n). Partition the set into two sets, one with all elements that satisfy the predicate and one with all elements that don't satisfy the predicate. See also split.

split :: (US a, Ord a) => a -> USet a -> (USet a, USet a)

O(log n). The expression (split x set) is a pair (set1,set2) where set1 comprises the elements of set less than x and set2 comprises the elements of set greater than x.

splitMember :: (US a, Ord a) => a -> USet a -> (USet a, Bool, USet a)

O(log n). Performs a split but also returns whether the pivot element was found in the original set.

Map

map :: (US a, US b, Ord a, Ord b) => (a -> b) -> USet a -> USet b

O(n*log n). map f s is the set obtained by applying f to each element of s.

It's worth noting that the size of the result may be smaller if, for some (x,y), x /= y && f x == f y

mapMonotonic :: (US a, US b) => (a -> b) -> USet a -> USet b

O(n). The

mapMonotonic f s == map f s, but works only when f is monotonic. The precondition is not checked. Semi-formally, we have:

and [x < y ==> f x < f y | x <- ls, y <- ls] 
                    ==> mapMonotonic f s == map f s
    where ls = toList s

Fold

fold :: US a => (a -> b -> b) -> b -> USet a -> b

O(n). Fold over the elements of a set in an unspecified order.

Min/Max

findMin :: US a => USet a -> a

O(log n). The minimal element of a set.

findMax :: US a => USet a -> a

O(log n). The maximal element of a set.

deleteMin :: US a => USet a -> USet a

O(log n). Delete the minimal element.

deleteMax :: US a => USet a -> USet a

O(log n). Delete the maximal element.

deleteFindMin :: US a => USet a -> (a, USet a)

O(log n). Delete and find the minimal element.

deleteFindMin set = (findMin set, deleteMin set)

deleteFindMax :: US a => USet a -> (a, USet a)

O(log n). Delete and find the maximal element.

deleteFindMax set = (findMax set, deleteMax set)

maxView :: US a => USet a -> Maybe (a, USet a)

O(log n). Retrieves the maximal key of the set, and the set stripped of that element, or Nothing if passed an empty set.

minView :: US a => USet a -> Maybe (a, USet a)

O(log n). Retrieves the minimal key of the set, and the set stripped of that element, or Nothing if passed an empty set.

Conversion

List

elems :: US a => USet a -> [a]

O(n). The elements of a set.

toList :: US a => USet a -> [a]

O(n). Convert the set to a list of elements.

fromList :: (US a, Ord a) => [a] -> USet a

O(n*log n). Create a set from a list of elements.

Ordered list

toAscList :: US a => USet a -> [a]

O(n). Convert the set to an ascending list of elements.

fromAscList :: (US a, Eq a) => [a] -> USet a

O(n). Build a set from an ascending list in linear time. The precondition (input list is ascending) is not checked.

fromDistinctAscList :: US a => [a] -> USet a

O(n). Build a set from an ascending list of distinct elements in linear time. The precondition (input list is strictly ascending) is not checked.

Debugging

showTree :: (US a, Show a) => USet a -> String

O(n). Show the tree that implements the set. The tree is shown in a compressed, hanging format.

showTreeWith :: (US a, Show a) => Bool -> Bool -> USet a -> String

O(n). The expression (showTreeWith hang wide map) shows the tree that implements the set. If hang is True, a hanging tree is shown otherwise a rotated tree is shown. If wide is True, an extra wide version is shown.

Set> putStrLn $ showTreeWith True False $ fromDistinctAscList [1..5]
4
+--2
|  +--1
|  +--3
+--5

Set> putStrLn $ showTreeWith True True $ fromDistinctAscList [1..5]
4
|
+--2
|  |
|  +--1
|  |
|  +--3
|
+--5

Set> putStrLn $ showTreeWith False True $ fromDistinctAscList [1..5]
+--5
|
4
|
|  +--3
|  |
+--2
   |
   +--1

valid :: (US a, Ord a) => USet a -> Bool

O(n). Test if the internal set structure is valid.