| Safe Haskell | None |
|---|
Ivory.Stdlib.Memory
- resultInto :: IvoryStore a => Ivory eff a -> Ref s (Stored a) -> Ivory eff ()
- into :: IvoryStore a => Ref s (Stored a) -> Ref s' (Stored a) -> Ivory eff ()
- arrayCopy :: forall n m r s0 s1 s2 eff t. (SingI n, SingI m, IvoryRef r, IvoryExpr (r s2 (Array m (Stored t))), IvoryExpr (r s2 (Stored t)), IvoryStore t, GetAlloc eff ~ Scope s0) => Ref s1 (Array n (Stored t)) -> r s2 (Array m (Stored t)) -> Sint32 -> Sint32 -> Ivory eff ()
Documentation
resultInto :: IvoryStore a => Ivory eff a -> Ref s (Stored a) -> Ivory eff ()Source
handy shorthand for transfering members
arrayCopy :: forall n m r s0 s1 s2 eff t. (SingI n, SingI m, IvoryRef r, IvoryExpr (r s2 (Array m (Stored t))), IvoryExpr (r s2 (Stored t)), IvoryStore t, GetAlloc eff ~ Scope s0) => Ref s1 (Array n (Stored t)) -> r s2 (Array m (Stored t)) -> Sint32 -> Sint32 -> Ivory eff ()Source
Copies a prefix of an array into a postfix of another array. That is, copy
from array from (either a Ref or a ConstRef) into array to starting
at index toOffset in to. Copying continues until either the from array
is fully copied, the to array is full, or index end in the from array
is reached (index end is not copied). to copy the full from array, let
end equal 'arrayLen from'.