| ||||||||
| ||||||||
| Description | ||||||||
| Purely functional interface to initialisation of mutable vectors | ||||||||
| Documentation | ||||||||
| data New v a | ||||||||
| ||||||||
| create :: (forall s. ST s (Mutable v s a)) -> New v a | ||||||||
| run :: New v a -> ST s (Mutable v s a) | ||||||||
| apply :: (forall s. Mutable v s a -> Mutable v s a) -> New v a -> New v a | ||||||||
| modify :: (forall s. Mutable v s a -> ST s ()) -> New v a -> New v a | ||||||||
| modifyWithStream :: (forall s. Mutable v s a -> Stream b -> ST s ()) -> New v a -> Stream b -> New v a | ||||||||
| unstream :: Vector v a => Stream a -> New v a | ||||||||
| transform :: Vector v a => (forall m. Monad m => MStream m a -> MStream m a) -> New v a -> New v a | ||||||||
| unstreamR :: Vector v a => Stream a -> New v a | ||||||||
| transformR :: Vector v a => (forall m. Monad m => MStream m a -> MStream m a) -> New v a -> New v a | ||||||||
| slice :: Vector v a => Int -> Int -> New v a -> New v a | ||||||||
| init :: Vector v a => New v a -> New v a | ||||||||
| tail :: Vector v a => New v a -> New v a | ||||||||
| take :: Vector v a => Int -> New v a -> New v a | ||||||||
| drop :: Vector v a => Int -> New v a -> New v a | ||||||||
| unsafeSlice :: Vector v a => Int -> Int -> New v a -> New v a | ||||||||
| unsafeInit :: Vector v a => New v a -> New v a | ||||||||
| unsafeTail :: Vector v a => New v a -> New v a | ||||||||
| Produced by Haddock version 2.7.2 |