linear-base-0.2.0: Standard library for linear types.

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
uncurryData.Tuple.Linear, Prelude.Linear
undefinedPrelude.Linear
unfoldStreaming.Linear
unfoldr 
1 (Function)Data.List.Linear, Prelude.Linear
2 (Function)Streaming.Prelude.Linear
unGenericallyPrelude.Linear.Generically
unGenerically1Prelude.Linear.Generically
union 
1 (Function)Data.HashMap.Mutable.Linear
2 (Function)Data.Set.Mutable.Linear
unionWithData.HashMap.Mutable.Linear
unitData.Profunctor.Linear
unlinesPrelude.Linear
unsafeAcquireSystem.IO.Resource.Linear
unsafeFromSystemIOResourceSystem.IO.Resource.Linear
unsafeFromSystemIOResource_System.IO.Resource.Linear
unsafeGet 
1 (Function)Data.Array.Mutable.Linear
2 (Function)Data.Vector.Mutable.Linear
unsafeLinearityProofNUnsafe.Linear
unsafeRead 
1 (Function)Data.Array.Mutable.Linear
2 (Function)Data.Vector.Mutable.Linear
unsafeReleaseSystem.IO.Resource.Linear
UnsafeResourceSystem.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
UnsatisfiablePrelude.Linear.Unsatisfiable
unsatisfiablePrelude.Linear.Unsatisfiable
unseparate 
1 (Function)Streaming.Prelude.Linear
2 (Function)Streaming.Linear
untilPrelude.Linear
untilJustStreaming.Linear
untilRightStreaming.Prelude.Linear
unurData.Unrestricted.Linear, Prelude.Linear
unwordsPrelude.Linear
unzip 
1 (Function)Data.List.Linear, Prelude.Linear
2 (Function)Streaming.Prelude.Linear
3 (Function)Data.Array.Polarized.Push
unzip3Data.List.Linear, Prelude.Linear
unzipsStreaming.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