vext-0.1.7.0: Array library monomorphized with backpack

Index

A# 
1 (Type/Class)Int
2 (Type/Class)Int16
3 (Type/Class)Int32
4 (Type/Class)Int64
5 (Type/Class)Int8
6 (Type/Class)Lifted
7 (Type/Class)Unlifted
8 (Type/Class)Word
9 (Type/Class)Word1
10 (Type/Class)Word128
11 (Type/Class)Word16
12 (Type/Class)Word32
13 (Type/Class)Word64
14 (Type/Class)Word8
ArrayRep 
1 (Type/Class)Lifted
2 (Type/Class)Unlifted
copy# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Lifted
7 (Function)Unlifted
8 (Function)Word
9 (Function)Word1
10 (Function)Word128
11 (Function)Word16
12 (Function)Word32
13 (Function)Word64
14 (Function)Word8
EShortText
empty# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Lifted
7 (Function)Unlifted
8 (Function)Word
9 (Function)Word1
10 (Function)Word128
11 (Function)Word16
12 (Function)Word32
13 (Function)Word64
14 (Function)Word8
eq 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)ShortText
7 (Function)Word
8 (Function)Word1
9 (Function)Word16
10 (Function)Word32
11 (Function)Word64
12 (Function)Word8
eq# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)ShortText
7 (Function)Word
8 (Function)Word1
9 (Function)Word16
10 (Function)Word32
11 (Function)Word64
12 (Function)Word8
freeze# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Lifted
7 (Function)Unlifted
8 (Function)Word
9 (Function)Word1
10 (Function)Word128
11 (Function)Word16
12 (Function)Word32
13 (Function)Word64
14 (Function)Word8
gt 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Word
7 (Function)Word16
8 (Function)Word32
9 (Function)Word64
10 (Function)Word8
gt# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Word
7 (Function)Word16
8 (Function)Word32
9 (Function)Word64
10 (Function)Word8
index# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Lifted
7 (Function)Unlifted
8 (Function)Word
9 (Function)Word1
10 (Function)Word128
11 (Function)Word16
12 (Function)Word32
13 (Function)Word64
14 (Function)Word8
initialized# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Lifted
7 (Function)Unlifted
8 (Function)Word
9 (Function)Word1
10 (Function)Word128
11 (Function)Word16
12 (Function)Word32
13 (Function)Word64
14 (Function)Word8
lt 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Word
7 (Function)Word16
8 (Function)Word32
9 (Function)Word64
10 (Function)Word8
lt# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Word
7 (Function)Word16
8 (Function)Word32
9 (Function)Word64
10 (Function)Word8
M# 
1 (Type/Class)Int
2 (Type/Class)Int16
3 (Type/Class)Int32
4 (Type/Class)Int64
5 (Type/Class)Int8
6 (Type/Class)Lifted
7 (Type/Class)Unlifted
8 (Type/Class)Word
9 (Type/Class)Word1
10 (Type/Class)Word128
11 (Type/Class)Word16
12 (Type/Class)Word32
13 (Type/Class)Word64
14 (Type/Class)Word8
max 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Word
7 (Function)Word16
8 (Function)Word32
9 (Function)Word64
10 (Function)Word8
R 
1 (Type/Class)Int
2 (Type/Class)Int16
3 (Type/Class)Int32
4 (Type/Class)Int64
5 (Type/Class)Int8
6 (Type/Class)Lifted
7 (Type/Class)Unlifted
8 (Type/Class)Word
9 (Type/Class)Word1
10 (Type/Class)Word128
11 (Type/Class)Word16
12 (Type/Class)Word32
13 (Type/Class)Word64
14 (Type/Class)Word8
read# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Lifted
7 (Function)Unlifted
8 (Function)Word
9 (Function)Word1
10 (Function)Word128
11 (Function)Word16
12 (Function)Word32
13 (Function)Word64
14 (Function)Word8
set# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Lifted
7 (Function)Unlifted
8 (Function)Word
9 (Function)Word1
10 (Function)Word128
11 (Function)Word16
12 (Function)Word32
13 (Function)Word64
14 (Function)Word8
size 
1 (Function)Int32
2 (Function)Int64
3 (Function)Int8
4 (Function)Word16
5 (Function)Word32
6 (Function)Word64
7 (Function)Word8
size#Unlifted
thaw# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Lifted
7 (Function)Unlifted
8 (Function)Word
9 (Function)Word1
10 (Function)Word128
11 (Function)Word16
12 (Function)Word32
13 (Function)Word64
14 (Function)Word8
uninitialized#Lifted
unsafeFreeze# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Lifted
7 (Function)Unlifted
8 (Function)Word
9 (Function)Word1
10 (Function)Word128
11 (Function)Word16
12 (Function)Word32
13 (Function)Word64
14 (Function)Word8
unsafeShrinkFreeze# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Lifted
7 (Function)Unlifted
8 (Function)Word
9 (Function)Word1
10 (Function)Word128
11 (Function)Word16
12 (Function)Word32
13 (Function)Word64
14 (Function)Word8
write# 
1 (Function)Int
2 (Function)Int16
3 (Function)Int32
4 (Function)Int64
5 (Function)Int8
6 (Function)Lifted
7 (Function)Unlifted
8 (Function)Word
9 (Function)Word1
10 (Function)Word128
11 (Function)Word16
12 (Function)Word32
13 (Function)Word64
14 (Function)Word8