vector-0.6.0.1: Efficient Arrays
Source code
Contents
Index
Data.Vector.Generic.New
Portability
non-portable
Stability
experimental
Maintainer
Roman Leshchinskiy <rl@cse.unsw.edu.au>
Description
Purely functional interface to initialisation of mutable vectors
Documentation
data
New
v a
Source
Constructors
New
(
forall
s.
ST
s (
Mutable
v s a))
create
:: (
forall
s.
ST
s (
Mutable
v s a)) ->
New
v a
Source
run
::
New
v a ->
ST
s (
Mutable
v s a)
Source
apply
:: (
forall
s.
Mutable
v s a ->
Mutable
v s a) ->
New
v a ->
New
v a
Source
modify
:: (
forall
s.
Mutable
v s a ->
ST
s
()
) ->
New
v a ->
New
v a
Source
modifyWithStream
:: (
forall
s.
Mutable
v s a ->
Stream
b ->
ST
s
()
) ->
New
v a ->
Stream
b ->
New
v a
Source
unstream
::
Vector
v a =>
Stream
a ->
New
v a
Source
transform
::
Vector
v a => (
forall
m.
Monad
m =>
MStream
m a ->
MStream
m a) ->
New
v a ->
New
v a
Source
unstreamR
::
Vector
v a =>
Stream
a ->
New
v a
Source
transformR
::
Vector
v a => (
forall
m.
Monad
m =>
MStream
m a ->
MStream
m a) ->
New
v a ->
New
v a
Source
slice
::
Vector
v a =>
Int
->
Int
->
New
v a ->
New
v a
Source
init
::
Vector
v a =>
New
v a ->
New
v a
Source
tail
::
Vector
v a =>
New
v a ->
New
v a
Source
take
::
Vector
v a =>
Int
->
New
v a ->
New
v a
Source
drop
::
Vector
v a =>
Int
->
New
v a ->
New
v a
Source
unsafeSlice
::
Vector
v a =>
Int
->
Int
->
New
v a ->
New
v a
Source
unsafeInit
::
Vector
v a =>
New
v a ->
New
v a
Source
unsafeTail
::
Vector
v a =>
New
v a ->
New
v a
Source
Produced by
Haddock
version 2.6.0