Safe Haskell | None |
---|

- parallel :: Type a => Data Length -> (Data Index -> Data a) -> Data [a]
- sequential :: (Type a, Syntax s) => Data Length -> s -> (Data Index -> s -> (Data a, s)) -> Data [a]
- append :: Type a => Data [a] -> Data [a] -> Data [a]
- getLength :: Type a => Data [a] -> Data Length
- setLength :: Type a => Data Length -> Data [a] -> Data [a]
- getIx :: Type a => Data [a] -> Data Index -> Data a
- setIx :: Type a => Data [a] -> Data Index -> Data a -> Data [a]
- (|>) :: (Sized a, CollMap a a) => Patch (CollSize a) (CollSize a) -> Patch (Elem a) (Elem a) -> Patch a a

# Documentation

sequential :: (Type a, Syntax s) => Data Length -> s -> (Data Index -> s -> (Data a, s)) -> Data [a]Source