plutarch-orphanage-1.0.3
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusLedgerApi.V1.Orphans

Synopsis

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

(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

(Ord k, Eq v) => Eq (UnsortedAssocMap k v) Source # 
Instance details

Defined in PlutusLedgerApi.Orphans.Common

(Ord k, Ord v) => Ord (UnsortedAssocMap k v) Source # 
Instance details

Defined in PlutusLedgerApi.Orphans.Common

(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

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