Ctl.Internal.Partition

class Equipartition (a :: Type)  where

Represents types whose values can be equally divided into several parts.

Members

• equipartition :: a -> Int -> NonEmptyArray a

Instances

• Equipartition BigInt

  Computes the equipartition of a BigInt into numParts smaller BigInts whose values differ by no more than 1. The resultant array is sorted in ascending order. Taken from cardano-wallet: https://github.com/input-output-hk/cardano-wallet/blob/d4b30de073f2b5eddb25bf12c2453abb42e8b352/lib/numeric/src/Cardano/Numeric/Util.hs#L127

• Equipartition BigNum
• Equipartition MultiAsset

class Partition (a :: Type)  where

Members

• partition :: a -> NonEmptyArray a -> Maybe (NonEmptyArray a)

Instances

• Partition BigNum
• Partition BigInt

  Partitions a BigInt into a number of parts, where the size of each part is proportional to the size of its corresponding element in the given list of weights, and the number of parts is equal to the number of weights.

  Taken from cardano-wallet: https://github.com/input-output-hk/cardano-wallet/blob/14e0f1c2a457f85b8ea470661e7bec5e6bcf93e0/lib/numeric/src/Cardano/Numeric/Util.hs#L175

equipartitionValueWithTokenQuantityUpperBound :: BigInt -> Value -> NonEmptyArray Value

Partitions a Value into smaller Values, where the Ada amount and the quantity of each token is equipartitioned across the resultant Values, with the goal that no token quantity in any of the resultant Values exceeds the given upper bound. Taken from cardano-wallet: https://github.com/input-output-hk/cardano-wallet/blob/d4b30de073f2b5eddb25bf12c2453abb42e8b352/lib/wallet/src/Cardano/Wallet/Primitive/Types/TokenBundle.hs#L381