plutarch-orphanage-1.1.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusLedgerApi.V1.Orphans

Synopsis

Documentation

data UnsortedAssocMap k v Source #

Since: 1.1.0

Instances

Instances details
(Arbitrary k, Ord k) => Arbitrary1 (UnsortedAssocMap k) Source #

Since: 1.1.0

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: 1.1.0

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: 1.1.0

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: 1.1.0

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: 1.1.0

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