plutus-contract-1.2.0.0
Safe HaskellNone
LanguageHaskell2010

Wallet.Rollup.Types

Documentation

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 #

FromJSON SequenceId Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

parseJSON :: Value -> Parser SequenceId

parseJSONList :: Value -> Parser [SequenceId]

ToJSON SequenceId Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

toJSON :: SequenceId -> Value

toEncoding :: SequenceId -> Encoding

toJSONList :: [SequenceId] -> Value

toEncodingList :: [SequenceId] -> Encoding

type Rep SequenceId Source # 
Instance details

Defined in Wallet.Rollup.Types

type Rep SequenceId = D1 ('MetaData "SequenceId" "Wallet.Rollup.Types" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" '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 TxIn 

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 #

FromJSON DereferencedInput Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

parseJSON :: Value -> Parser DereferencedInput

parseJSONList :: Value -> Parser [DereferencedInput]

ToJSON DereferencedInput Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

toJSON :: DereferencedInput -> Value

toEncoding :: DereferencedInput -> Encoding

toJSONList :: [DereferencedInput] -> Value

toEncodingList :: [DereferencedInput] -> Encoding

type Rep DereferencedInput Source # 
Instance details

Defined in Wallet.Rollup.Types

type Rep DereferencedInput = D1 ('MetaData "DereferencedInput" "Wallet.Rollup.Types" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" '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 TxIn)))

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 #

FromJSON BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

parseJSON :: Value -> Parser BeneficialOwner

parseJSONList :: Value -> Parser [BeneficialOwner]

FromJSONKey BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

fromJSONKey :: FromJSONKeyFunction BeneficialOwner

fromJSONKeyList :: FromJSONKeyFunction [BeneficialOwner]

ToJSON BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

toJSON :: BeneficialOwner -> Value

toEncoding :: BeneficialOwner -> Encoding

toJSONList :: [BeneficialOwner] -> Value

toEncodingList :: [BeneficialOwner] -> Encoding

ToJSONKey BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

toJSONKey :: ToJSONKeyFunction BeneficialOwner

toJSONKeyList :: ToJSONKeyFunction [BeneficialOwner]

type Rep BeneficialOwner Source # 
Instance details

Defined in Wallet.Rollup.Types

type Rep BeneficialOwner = D1 ('MetaData "BeneficialOwner" "Wallet.Rollup.Types" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" '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 #

FromJSON AnnotatedTx Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

parseJSON :: Value -> Parser AnnotatedTx

parseJSONList :: Value -> Parser [AnnotatedTx]

ToJSON AnnotatedTx Source # 
Instance details

Defined in Wallet.Rollup.Types

Methods

toJSON :: AnnotatedTx -> Value

toEncoding :: AnnotatedTx -> Encoding

toJSONList :: [AnnotatedTx] -> Value

toEncodingList :: [AnnotatedTx] -> Encoding

type Rep AnnotatedTx Source # 
Instance details

Defined in Wallet.Rollup.Types

type Rep AnnotatedTx = D1 ('MetaData "AnnotatedTx" "Wallet.Rollup.Types" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" '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.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) (C1 ('MetaCons "Rollup" 'PrefixI 'True) (S1 ('MetaSel ('Just "_previousOutputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map TxIn TxOut)) :*: S1 ('MetaSel ('Just "_rollingBalances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map BeneficialOwner Value))))

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

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

data RollupState Source #

Constructors

RollupState 

Fields

rollup :: Lens' RollupState Rollup Source #

currentSequenceId :: Lens' RollupState SequenceId Source #

annotatedTransactions :: Lens' RollupState [AnnotatedTx] Source #