Documentation

withArray :: (Type a, Syntax b) => Data (MArr a) -> (Data [a] -> M b) -> M bSource

runMutableArray :: Type a => M (Data (MArr a)) -> Data [a]Source

freezeArray :: Type a => Data (MArr a) -> M (Data [a])Source

thawArray :: Type a => Data [a] -> M (Data (MArr a))Source