Carry

Opaque type representing the result of an operation and whether or not there were any carries.

Unwrapping

unwrap : Carry a -> a

Converts a Carry to it's value.

check : Carry a -> Bool

Returns True if there was a carry from the resulting operation.

checkHalf : Carry a -> Bool

Returns True if there was a half-carry from the resulting operation.