Ivory.Stdlib.Operators

Documentation

(~>*) :: (IvoryVar a, IvoryStruct sym, IvoryRef ref, IvoryExpr (ref s (Stored a)), IvoryExpr (ref s (Struct sym))) => ref s (Struct sym) -> Label sym (Stored a) -> Ivory eff a

Infix structure field access and dereference. This is a shorthand for 'deref $ s~>x'.

(%=) :: IvoryStore a => Ref s (Stored a) -> (a -> a) -> Ivory eff ()

Modify the value stored at a reference by a function.

(%=!) :: IvoryStore a => Ref s (Stored a) -> (a -> Ivory eff a) -> Ivory eff ()

Modify the value stored at a reference by a function that returns a value in the Ivory monad

(+=) :: (Num a, IvoryStore a) => Ref s (Stored a) -> a -> Ivory eff ()

Increment the value stored at a reference.