linear-base-0.2.0: Standard library for linear types.
Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
:
$
&
*
+
.
/
<
=
>
^
|
-
_
All
Index - U
unArray#
Data.Array.Mutable.Unlifted.Linear
uncons
1 (Function)
Data.V.Linear
2 (Function)
Data.List.Linear
, Prelude.Linear
3 (Function)
Streaming.Prelude.Linear
uncons#
Data.V.Linear
uncurry
Data.Tuple.Linear
,
Prelude.Linear
undefined
Prelude.Linear
unfold
Streaming.Linear
unfoldr
1 (Function)
Data.List.Linear
, Prelude.Linear
2 (Function)
Streaming.Prelude.Linear
unGenerically
Prelude.Linear.Generically
unGenerically1
Prelude.Linear.Generically
union
1 (Function)
Data.HashMap.Mutable.Linear
2 (Function)
Data.Set.Mutable.Linear
unionWith
Data.HashMap.Mutable.Linear
unit
Data.Profunctor.Linear
unlines
Prelude.Linear
unsafeAcquire
System.IO.Resource.Linear
unsafeFromSystemIOResource
System.IO.Resource.Linear
unsafeFromSystemIOResource_
System.IO.Resource.Linear
unsafeGet
1 (Function)
Data.Array.Mutable.Linear
2 (Function)
Data.Vector.Mutable.Linear
unsafeLinearityProofN
Unsafe.Linear
unsafeRead
1 (Function)
Data.Array.Mutable.Linear
2 (Function)
Data.Vector.Mutable.Linear
unsafeRelease
System.IO.Resource.Linear
UnsafeResource
System.IO.Resource.Linear
unsafeSet
1 (Function)
Data.Array.Mutable.Linear
2 (Function)
Data.Vector.Mutable.Linear
unsafeWrite
1 (Function)
Data.Array.Mutable.Linear
2 (Function)
Data.Vector.Mutable.Linear
Unsatisfiable
Prelude.Linear.Unsatisfiable
unsatisfiable
Prelude.Linear.Unsatisfiable
unseparate
1 (Function)
Streaming.Prelude.Linear
2 (Function)
Streaming.Linear
until
Prelude.Linear
untilJust
Streaming.Linear
untilRight
Streaming.Prelude.Linear
unur
Data.Unrestricted.Linear
,
Prelude.Linear
unwords
Prelude.Linear
unzip
1 (Function)
Data.List.Linear
, Prelude.Linear
2 (Function)
Streaming.Prelude.Linear
3 (Function)
Data.Array.Polarized.Push
unzip3
Data.List.Linear
, Prelude.Linear
unzips
Streaming.Linear
Ur
1 (Type/Class)
Data.Unrestricted.Linear
,
Prelude.Linear
2 (Data Constructor)
Data.Unrestricted.Linear
,
Prelude.Linear
UrT
1 (Type/Class)
Data.Unrestricted.Linear
2 (Data Constructor)
Data.Unrestricted.Linear