Inverse of self

Property definitions

core $ Numeric :: unary -
	# Inverse of `self`
	fun -: OTHER is abstract
lib/core/kernel.nit:443,2--444,25

core $ UInt32 :: unary -
	#     assert -1u32 == 0xFFFFFFFFu32
	#     assert -0u32 == 0x00u32
	redef fun - is intern
lib/core/fixed_ints.nit:608,2--610,22

core $ Int8 :: unary -
	#     assert -1i8 == 0xFFi8
	#     assert -0i8 == 0x00i8
	redef fun - is intern
lib/core/fixed_ints.nit:124,2--126,22

core $ Int16 :: unary -
	#     assert -1i16 == 0xFFFFi16
	#     assert -0i16 == 0i16
	redef fun - is intern
lib/core/fixed_ints.nit:245,2--247,22

core $ UInt16 :: unary -
	#     assert -1u16 == 0xFFFFu16
	#     assert -0u16 == 0u16
	redef fun - is intern
lib/core/fixed_ints.nit:366,2--368,22

core $ Int32 :: unary -
	#     assert -1i32 == 0xFFFFFFFFi32
	#     assert -0i32 == 0x00i32
	redef fun - is intern
lib/core/fixed_ints.nit:487,2--489,22

gmp $ Ratio :: unary -
    #     assert( -("1/2".to_r) == ("-1/2").to_r)
    redef fun - do
        var res = new NativeMPQ
        val.neg res
        return new Ratio(res)
    end
lib/gmp/gmp.nit:327,5--332,7

core $ Byte :: unary -
	# On an Byte, unary minus will return `(256 - self) % 256`
	#
	#     assert -1u8 == 0xFFu8
	#     assert -0u8 == 0x00u8
	redef fun - is intern
lib/core/kernel.nit:624,2--628,22

core $ Float :: unary -
	redef fun - is intern
lib/core/kernel.nit:535,2--22

gmp $ BigInt :: unary -
    #     assert(-(2.to_bi) == (-2).to_bi)
    redef fun - do
        var res = new NativeMPZ
        val.neg res
        return new BigInt(res)
    end
lib/gmp/gmp.nit:160,5--165,7

core $ Int :: unary -
	redef fun - is intern
lib/core/kernel.nit:725,2--22