plutus-contract-1.1.0.0
Safe HaskellNone
LanguageHaskell2010

Wallet.Rollup.Types

Documentation

data TxKey Source #

Constructors

TxKey 

Fields

Instances

Instances details
Eq TxKey Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

(==) :: TxKey -> TxKey -> Bool Source #

(/=) :: TxKey -> TxKey -> Bool Source #

Ord TxKey Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

compare :: TxKey -> TxKey -> Ordering Source #

(<) :: TxKey -> TxKey -> Bool Source #

(<=) :: TxKey -> TxKey -> Bool Source #

(>) :: TxKey -> TxKey -> Bool Source #

(>=) :: TxKey -> TxKey -> Bool Source #

max :: TxKey -> TxKey -> TxKey Source #

min :: TxKey -> TxKey -> TxKey Source #

Show TxKey Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

showsPrec :: Int -> TxKey -> ShowS Source #

show :: TxKey -> String Source #

showList :: [TxKey] -> ShowS Source #

Generic TxKey Source # 
Instance details

Defined in Wallet.Rollup.Types

Associated Types

type Rep TxKey :: Type -> Type Source #

Methods

from :: TxKey -> Rep TxKey x Source #

to :: Rep TxKey x -> TxKey Source #

ToJSON TxKey Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

toJSON :: TxKey -> Value Source #

toEncoding :: TxKey -> Encoding Source #

toJSONList :: [TxKey] -> Value Source #

toEncodingList :: [TxKey] -> Encoding Source #

FromJSON TxKey Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

parseJSON :: Value -> Parser TxKey Source #

parseJSONList :: Value -> Parser [TxKey] Source #

ToSchema TxKey Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

declareNamedSchema :: Proxy TxKey -> Declare (Definitions Schema) NamedSchema Source #

Pretty TxKey Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

pretty :: TxKey -> Doc ann Source #

prettyList :: [TxKey] -> Doc ann Source #

type Rep TxKey Source # 
Instance details

Defined in Wallet.Rollup.Types

type Rep TxKey = D1 ('MetaData "TxKey" "Wallet.Rollup.Types" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "TxKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "_txKeyTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Just "_txKeyTxOutRefIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

data SequenceId Source #

Constructors

SequenceId 

Fields

Instances

Instances details
Eq SequenceId Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

(==) :: SequenceId -> SequenceId -> Bool Source #

(/=) :: SequenceId -> SequenceId -> Bool Source #

Ord SequenceId Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

compare :: SequenceId -> SequenceId -> Ordering Source #

(<) :: SequenceId -> SequenceId -> Bool Source #

(<=) :: SequenceId -> SequenceId -> Bool Source #

(>) :: SequenceId -> SequenceId -> Bool Source #

(>=) :: SequenceId -> SequenceId -> Bool Source #

max :: SequenceId -> SequenceId -> SequenceId Source #

min :: SequenceId -> SequenceId -> SequenceId Source #

Show SequenceId Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

showsPrec :: Int -> SequenceId -> ShowS Source #

show :: SequenceId -> String Source #

showList :: [SequenceId] -> ShowS Source #

Generic SequenceId Source # 
Instance details

Defined in Wallet.Rollup.Types

Associated Types

type Rep SequenceId :: Type -> Type Source #

Methods

from :: SequenceId -> Rep SequenceId x Source #

to :: Rep SequenceId x -> SequenceId Source #

ToJSON SequenceId Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

toJSON :: SequenceId -> Value Source #

toEncoding :: SequenceId -> Encoding Source #

toJSONList :: [SequenceId] -> Value Source #

toEncodingList :: [SequenceId] -> Encoding Source #

FromJSON SequenceId Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

parseJSON :: Value -> Parser SequenceId Source #

parseJSONList :: Value -> Parser [SequenceId] Source #

ToSchema SequenceId Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

declareNamedSchema :: Proxy SequenceId -> Declare (Definitions Schema) NamedSchema Source #

type Rep SequenceId Source # 
Instance details

Defined in Wallet.Rollup.Types

type Rep SequenceId = D1 ('MetaData "SequenceId" "Wallet.Rollup.Types" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "SequenceId" 'PrefixI 'True) (S1 ('MetaSel ('Just "slotIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "txIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

txIndexL :: Lens' SequenceId Int Source #

slotIndexL :: Lens' SequenceId Int Source #

data DereferencedInput Source #

Constructors

DereferencedInput 

Fields

InputNotFound TxKey 

Instances

Instances details
Eq DereferencedInput Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

(==) :: DereferencedInput -> DereferencedInput -> Bool Source #

(/=) :: DereferencedInput -> DereferencedInput -> Bool Source #

Show DereferencedInput Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

showsPrec :: Int -> DereferencedInput -> ShowS Source #

show :: DereferencedInput -> String Source #

showList :: [DereferencedInput] -> ShowS Source #

Generic DereferencedInput Source # 
Instance details

Defined in Wallet.Rollup.Types

Associated Types

type Rep DereferencedInput :: Type -> Type Source #

Methods

from :: DereferencedInput -> Rep DereferencedInput x Source #

to :: Rep DereferencedInput x -> DereferencedInput Source #

ToJSON DereferencedInput Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

toJSON :: DereferencedInput -> Value Source #

toEncoding :: DereferencedInput -> Encoding Source #

toJSONList :: [DereferencedInput] -> Value Source #

toEncodingList :: [DereferencedInput] -> Encoding Source #

FromJSON DereferencedInput Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

parseJSON :: Value -> Parser DereferencedInput Source #

parseJSONList :: Value -> Parser [DereferencedInput] Source #

ToSchema DereferencedInput Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

declareNamedSchema :: Proxy DereferencedInput -> Declare (Definitions Schema) NamedSchema Source #

type Rep DereferencedInput Source # 
Instance details

Defined in Wallet.Rollup.Types

type Rep DereferencedInput = D1 ('MetaData "DereferencedInput" "Wallet.Rollup.Types" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "DereferencedInput" 'PrefixI 'True) (S1 ('MetaSel ('Just "originalInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIn) :*: S1 ('MetaSel ('Just "refersTo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOut)) :+: C1 ('MetaCons "InputNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxKey)))

isFound :: DereferencedInput -> Bool Source #

data BeneficialOwner Source #

Constructors

OwnedByPaymentPubKey PaymentPubKeyHash 
OwnedByScript ValidatorHash 

Instances

Instances details
Eq BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

(==) :: BeneficialOwner -> BeneficialOwner -> Bool Source #

(/=) :: BeneficialOwner -> BeneficialOwner -> Bool Source #

Ord BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

compare :: BeneficialOwner -> BeneficialOwner -> Ordering Source #

(<) :: BeneficialOwner -> BeneficialOwner -> Bool Source #

(<=) :: BeneficialOwner -> BeneficialOwner -> Bool Source #

(>) :: BeneficialOwner -> BeneficialOwner -> Bool Source #

(>=) :: BeneficialOwner -> BeneficialOwner -> Bool Source #

max :: BeneficialOwner -> BeneficialOwner -> BeneficialOwner Source #

min :: BeneficialOwner -> BeneficialOwner -> BeneficialOwner Source #

Show BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

showsPrec :: Int -> BeneficialOwner -> ShowS Source #

show :: BeneficialOwner -> String Source #

showList :: [BeneficialOwner] -> ShowS Source #

Generic BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

Associated Types

type Rep BeneficialOwner :: Type -> Type Source #

Methods

from :: BeneficialOwner -> Rep BeneficialOwner x Source #

to :: Rep BeneficialOwner x -> BeneficialOwner Source #

ToJSON BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

toJSON :: BeneficialOwner -> Value Source #

toEncoding :: BeneficialOwner -> Encoding Source #

toJSONList :: [BeneficialOwner] -> Value Source #

toEncodingList :: [BeneficialOwner] -> Encoding Source #

ToJSONKey BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

toJSONKey :: ToJSONKeyFunction BeneficialOwner Source #

toJSONKeyList :: ToJSONKeyFunction [BeneficialOwner] Source #

FromJSON BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

parseJSON :: Value -> Parser BeneficialOwner Source #

parseJSONList :: Value -> Parser [BeneficialOwner] Source #

FromJSONKey BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

fromJSONKey :: FromJSONKeyFunction BeneficialOwner Source #

fromJSONKeyList :: FromJSONKeyFunction [BeneficialOwner] Source #

ToSchema BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

declareNamedSchema :: Proxy BeneficialOwner -> Declare (Definitions Schema) NamedSchema Source #

type Rep BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

type Rep BeneficialOwner = D1 ('MetaData "BeneficialOwner" "Wallet.Rollup.Types" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "OwnedByPaymentPubKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PaymentPubKeyHash)) :+: C1 ('MetaCons "OwnedByScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidatorHash)))

toBeneficialOwner :: TxOut -> BeneficialOwner Source #

data AnnotatedTx Source #

Constructors

AnnotatedTx 

Fields

Instances

Instances details
Eq AnnotatedTx Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

(==) :: AnnotatedTx -> AnnotatedTx -> Bool Source #

(/=) :: AnnotatedTx -> AnnotatedTx -> Bool Source #

Show AnnotatedTx Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

showsPrec :: Int -> AnnotatedTx -> ShowS Source #

show :: AnnotatedTx -> String Source #

showList :: [AnnotatedTx] -> ShowS Source #

Generic AnnotatedTx Source # 
Instance details

Defined in Wallet.Rollup.Types

Associated Types

type Rep AnnotatedTx :: Type -> Type Source #

Methods

from :: AnnotatedTx -> Rep AnnotatedTx x Source #

to :: Rep AnnotatedTx x -> AnnotatedTx Source #

ToJSON AnnotatedTx Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

toJSON :: AnnotatedTx -> Value Source #

toEncoding :: AnnotatedTx -> Encoding Source #

toJSONList :: [AnnotatedTx] -> Value Source #

toEncodingList :: [AnnotatedTx] -> Encoding Source #

FromJSON AnnotatedTx Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

parseJSON :: Value -> Parser AnnotatedTx Source #

parseJSONList :: Value -> Parser [AnnotatedTx] Source #

ToSchema AnnotatedTx Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

declareNamedSchema :: Proxy AnnotatedTx -> Declare (Definitions Schema) NamedSchema Source #

type Rep AnnotatedTx Source # 
Instance details

Defined in Wallet.Rollup.Types

type Rep AnnotatedTx = D1 ('MetaData "AnnotatedTx" "Wallet.Rollup.Types" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "AnnotatedTx" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sequenceId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SequenceId) :*: (S1 ('MetaSel ('Just "txId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Just "tx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CardanoTx))) :*: (S1 ('MetaSel ('Just "dereferencedInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DereferencedInput]) :*: (S1 ('MetaSel ('Just "balances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map BeneficialOwner Value)) :*: S1 ('MetaSel ('Just "valid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))

data Rollup Source #

Constructors

Rollup 

Fields

Instances

Instances details
Eq Rollup Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

(==) :: Rollup -> Rollup -> Bool Source #

(/=) :: Rollup -> Rollup -> Bool Source #

Show Rollup Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

showsPrec :: Int -> Rollup -> ShowS Source #

show :: Rollup -> String Source #

showList :: [Rollup] -> ShowS Source #

Generic Rollup Source # 
Instance details

Defined in Wallet.Rollup.Types

Associated Types

type Rep Rollup :: Type -> Type Source #

Methods

from :: Rollup -> Rep Rollup x Source #

to :: Rep Rollup x -> Rollup Source #

type Rep Rollup Source # 
Instance details

Defined in Wallet.Rollup.Types

type Rep Rollup = D1 ('MetaData "Rollup" "Wallet.Rollup.Types" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "Rollup" 'PrefixI 'True) (S1 ('MetaSel ('Just "_previousOutputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map TxKey TxOut)) :*: S1 ('MetaSel ('Just "_rollingBalances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map BeneficialOwner Value))))

rollingBalances :: Lens' Rollup (Map BeneficialOwner Value) Source #

previousOutputs :: Lens' Rollup (Map TxKey TxOut) Source #

data RollupState Source #

Constructors

RollupState 

Fields

rollup :: Lens' RollupState Rollup Source #

currentSequenceId :: Lens' RollupState SequenceId Source #

annotatedTransactions :: Lens' RollupState [AnnotatedTx] Source #