Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusLedgerApi.V1.Orphans

Contents

Orphan instances

Synopsis

data UnsortedAssocMap k v
getUnsortedAssocMap :: UnsortedAssocMap k v -> Map k v
data MintValue
getMintValue :: MintValue -> Value
data UTxOValue
getUtxoValue :: UTxOValue -> Value

Documentation

data UnsortedAssocMap k v Source #

@since WIP

Instances

Instances details

(Arbitrary k, Ord k) => Arbitrary1 (UnsortedAssocMap k) Source #	@since WIP
Instance details Defined in PlutusLedgerApi.Orphans.Common Methods liftArbitrary :: Gen a -> Gen (UnsortedAssocMap k a) liftShrink :: (a -> [a]) -> UnsortedAssocMap k a -> [UnsortedAssocMap k a]
(Arbitrary k, Arbitrary v, Ord k) => Arbitrary (UnsortedAssocMap k v) Source #	@since WIP
Instance details Defined in PlutusLedgerApi.Orphans.Common Methods arbitrary :: Gen (UnsortedAssocMap k v) shrink :: UnsortedAssocMap k v -> [UnsortedAssocMap k v]
(CoArbitrary k, CoArbitrary v) => CoArbitrary (UnsortedAssocMap k v) Source #	@since WIP
Instance details Defined in PlutusLedgerApi.Orphans.Common Methods coarbitrary :: UnsortedAssocMap k v -> Gen b -> Gen b
(Function k, Function v) => Function (UnsortedAssocMap k v) Source #	@since WIP
Instance details Defined in PlutusLedgerApi.Orphans.Common Methods function :: (UnsortedAssocMap k v -> b) -> UnsortedAssocMap k v :-> b
(Show k, Show v) => Show (UnsortedAssocMap k v) Source #
Instance details Defined in PlutusLedgerApi.Orphans.Common Methods showsPrec :: Int -> UnsortedAssocMap k v -> ShowS Source # show :: UnsortedAssocMap k v -> String Source # showList :: [UnsortedAssocMap k v] -> ShowS Source #
(Ord k, Eq v) => Eq (UnsortedAssocMap k v) Source #
Instance details Defined in PlutusLedgerApi.Orphans.Common Methods (==) :: UnsortedAssocMap k v -> UnsortedAssocMap k v -> Bool Source # (/=) :: UnsortedAssocMap k v -> UnsortedAssocMap k v -> Bool Source #
(Ord k, Ord v) => Ord (UnsortedAssocMap k v) Source #
Instance details Defined in PlutusLedgerApi.Orphans.Common Methods compare :: UnsortedAssocMap k v -> UnsortedAssocMap k v -> Ordering Source # (<) :: UnsortedAssocMap k v -> UnsortedAssocMap k v -> Bool Source # (<=) :: UnsortedAssocMap k v -> UnsortedAssocMap k v -> Bool Source # (>) :: UnsortedAssocMap k v -> UnsortedAssocMap k v -> Bool Source # (>=) :: UnsortedAssocMap k v -> UnsortedAssocMap k v -> Bool Source # max :: UnsortedAssocMap k v -> UnsortedAssocMap k v -> UnsortedAssocMap k v Source # min :: UnsortedAssocMap k v -> UnsortedAssocMap k v -> UnsortedAssocMap k v Source #
(Pretty k, Pretty v) => Pretty (UnsortedAssocMap k v) Source #
Instance details Defined in PlutusLedgerApi.Orphans.Common Methods pretty :: UnsortedAssocMap k v -> Doc ann prettyList :: [UnsortedAssocMap k v] -> Doc ann

getUnsortedAssocMap :: UnsortedAssocMap k v -> Map k v Source #

@since WIP

data MintValue Source #

Similar to NonAdaValue, but also does not have nonzero amounts.

Note

This is designed to act as a modifier, and thus, we expose the constructor even though it preserves invariants. If you use the constructor directly, be very certain that the Value being wrapped satisfies the invariants described above: failing to do so means all guarantees of this type are off the table.

Since: 1.0.3

Instances

Instances details

Arbitrary MintValue Source #	Since: 1.0.3
Instance details Defined in PlutusLedgerApi.V1.Orphans.Value Methods arbitrary :: Gen MintValue shrink :: MintValue -> [MintValue]
CoArbitrary MintValue Source #	Since: 1.0.3
Instance details Defined in PlutusLedgerApi.V1.Orphans.Value Methods coarbitrary :: MintValue -> Gen b -> Gen b
Function MintValue Source #	Since: 1.0.3
Instance details Defined in PlutusLedgerApi.V1.Orphans.Value Methods function :: (MintValue -> b) -> MintValue :-> b
Show MintValue Source #	Since: 1.0.3
Instance details Defined in PlutusLedgerApi.V1.Orphans.Value Methods showsPrec :: Int -> MintValue -> ShowS Source # show :: MintValue -> String Source # showList :: [MintValue] -> ShowS Source #
Eq MintValue Source #	Since: 1.0.3
Instance details Defined in PlutusLedgerApi.V1.Orphans.Value Methods (==) :: MintValue -> MintValue -> Bool Source # (/=) :: MintValue -> MintValue -> Bool Source #
Pretty MintValue Source #
Instance details Defined in PlutusLedgerApi.V1.Orphans.Value Methods pretty :: MintValue -> Doc ann prettyList :: [MintValue] -> Doc ann

getMintValue :: MintValue -> Value Source #

Since: 1.0.3

data UTxOValue Source #

A Value suitable for TxOut. Specifically:

The Value is sorted by both keys (meaning CurrencySymbol and TokenName);
There exists an Ada amount; and
All amounts are positive.

Note

This is designed to act as a modifier, and thus, we expose the constructor even though it preserves invariants. If you use the constructor directly, be very certain that the Value being wrapped satisfies the invariants described above: failing to do so means all guarantees of this type are off the table.

Since: 1.0.2

Instances

Instances details

Arbitrary UTxOValue Source #	Since: 1.0.2
Instance details Defined in PlutusLedgerApi.V1.Orphans.Value Methods arbitrary :: Gen UTxOValue shrink :: UTxOValue -> [UTxOValue]
CoArbitrary UTxOValue Source #	Since: 1.0.0
Instance details Defined in PlutusLedgerApi.V1.Orphans.Value Methods coarbitrary :: UTxOValue -> Gen b -> Gen b
Function UTxOValue Source #	Since: 1.0.0
Instance details Defined in PlutusLedgerApi.V1.Orphans.Value Methods function :: (UTxOValue -> b) -> UTxOValue :-> b
Show UTxOValue Source #	Since: 1.0.0
Instance details Defined in PlutusLedgerApi.V1.Orphans.Value Methods showsPrec :: Int -> UTxOValue -> ShowS Source # show :: UTxOValue -> String Source # showList :: [UTxOValue] -> ShowS Source #
Eq UTxOValue Source #	Since: 1.0.0
Instance details Defined in PlutusLedgerApi.V1.Orphans.Value Methods (==) :: UTxOValue -> UTxOValue -> Bool Source # (/=) :: UTxOValue -> UTxOValue -> Bool Source #
Pretty UTxOValue Source #
Instance details Defined in PlutusLedgerApi.V1.Orphans.Value Methods pretty :: UTxOValue -> Doc ann prettyList :: [UTxOValue] -> Doc ann

getUtxoValue :: UTxOValue -> Value Source #

Since: 1.0.0

Orphan instances

Arbitrary ScriptContext Source #	Since: 1.0.2
Instance details Methods arbitrary :: Gen ScriptContext shrink :: ScriptContext -> [ScriptContext]
CoArbitrary ScriptContext Source #	Since: 1.0.2
Instance details Methods coarbitrary :: ScriptContext -> Gen b -> Gen b
Function ScriptContext Source #	Since: 1.0.2
Instance details Methods function :: (ScriptContext -> b) -> ScriptContext :-> b