Safe Haskell | None |
---|
- 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'.