Documentation

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

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