Safe Haskell	None
Language	Haskell2010

Cardano.Wallet.Primitive.Types.TokenMap.Gen

Synopsis

genAssetId :: Gen AssetId
genAssetIdLargeRange :: Gen AssetId
genTokenMap :: Gen TokenMap
genTokenMapSmallRange :: Gen TokenMap
shrinkAssetId :: AssetId -> [ AssetId ]
shrinkTokenMap :: TokenMap -> [ TokenMap ]
newtype AssetIdF = AssetIdF AssetId
genTokenMapPartition :: TokenMap -> Int -> Gen ( NonEmpty TokenMap )
genTokenMapPartitionNonNull :: TokenMap -> Int -> Gen [ TokenMap ]

Documentation

genAssetId :: Gen AssetId Source #

genAssetIdLargeRange :: Gen AssetId Source #

genTokenMap :: Gen TokenMap Source #

genTokenMapSmallRange :: Gen TokenMap Source #

shrinkAssetId :: AssetId -> [ AssetId ] Source #

shrinkTokenMap :: TokenMap -> [ TokenMap ] Source #

newtype AssetIdF Source #

Constructors

AssetIdF AssetId

Instances

Instances details

Eq AssetIdF Source #
Instance details Defined in Cardano.Wallet.Primitive.Types.TokenMap.Gen Methods (==) :: AssetIdF -> AssetIdF -> Bool Source # (/=) :: AssetIdF -> AssetIdF -> Bool Source #
Read AssetIdF Source #
Instance details Defined in Cardano.Wallet.Primitive.Types.TokenMap.Gen Methods readsPrec :: Int -> ReadS AssetIdF Source # readList :: ReadS [ AssetIdF ] Source # readPrec :: ReadPrec AssetIdF Source # readListPrec :: ReadPrec [ AssetIdF ] Source #
Show AssetIdF Source #
Instance details Defined in Cardano.Wallet.Primitive.Types.TokenMap.Gen Methods showsPrec :: Int -> AssetIdF -> ShowS Source # show :: AssetIdF -> String Source # showList :: [ AssetIdF ] -> ShowS Source #
Generic AssetIdF Source #
Instance details Defined in Cardano.Wallet.Primitive.Types.TokenMap.Gen Associated Types type Rep AssetIdF :: Type -> Type Source # Methods from :: AssetIdF -> Rep AssetIdF x Source # to :: Rep AssetIdF x -> AssetIdF Source #
Function AssetIdF Source #
Instance details Defined in Cardano.Wallet.Primitive.Types.TokenMap.Gen Methods function :: ( AssetIdF -> b) -> AssetIdF :-> b Source #
CoArbitrary AssetIdF Source #
Instance details Defined in Cardano.Wallet.Primitive.Types.TokenMap.Gen Methods coarbitrary :: AssetIdF -> Gen b -> Gen b Source #
type Rep AssetIdF Source #
Instance details Defined in Cardano.Wallet.Primitive.Types.TokenMap.Gen type Rep AssetIdF = D1 (' MetaData "AssetIdF" "Cardano.Wallet.Primitive.Types.TokenMap.Gen" "cardano-wallet-core-2022.7.1-AGKhlyz9liLKN3QqZD1gj" ' True ) ( C1 (' MetaCons "AssetIdF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 AssetId )))

genTokenMapPartition :: TokenMap -> Int -> Gen ( NonEmpty TokenMap ) Source #

Partitions a token map randomly into a given number of parts.

Satisfies the following properties:

forAll (genTokenMapPartition m i) $ (== m      ) . fold

forAll (genTokenMapPartition m i) $ (== max 1 i) . length

genTokenMapPartitionNonNull :: TokenMap -> Int -> Gen [ TokenMap ] Source #

Like genTokenMapPartition , but with empty values removed from the result.