Safe Haskell	Safe-Inferred
Language	Haskell2010

Convex.Event

Contents

Extraction

Synopsis

type Extract a = TxOut CtxTx BabbageEra → ScriptHash → Maybe a
data TxWithEvents a = TxWithEvents {
- twTx ∷ !(Tx BabbageEra)
- twEvents ∷ !(NonEmpty (Event a))
- twBlock ∷ !BlockNo
- twSlot ∷ !SlotNo
}
data NewOutputEvent a = NewOutputEvent {
- neTransaction ∷ !TxId
- neEvent ∷ !a
- neTxIx ∷ !TxIx
- neOutput ∷ !ScriptOut
- neDatum ∷ !(Maybe (Data ERA))
- neBlockNo ∷ !Integer
- neSlot ∷ !SlotNo
- neScriptHash ∷ !ScriptHash
- neDataHash ∷ !ScriptOutDataHash
- neSigners ∷ ![KeyHash 'Witness StandardCrypto]
- neTxMetadata ∷ !(Map Word64 Metadatum)
}
data OutputSpentEvent a = OutputSpentEvent {
- oseTxIn ∷ !TxIn
- oseRedeemer ∷ !(Data StandardBabbage)
- oseDatum ∷ !(Data StandardBabbage)
- oseSpendingTx ∷ !TxId
- oseTxOutput ∷ !(NewOutputEvent a)
}
data Event a
- = AnOutputSpentEvent !(OutputSpentEvent a)
- | ANewOutputEvent !(NewOutputEvent a)
type ScriptOutDataHash = DataHash (EraCrypto ERA)
type ScriptOut = BabbageTxOut (BabbageEra StandardCrypto)
txIn ∷ NewOutputEvent a → TxIn
splitEvent ∷ Event a → Either (OutputSpentEvent a) (NewOutputEvent a)
newtype ResolvedInputs a = ResolvedInputs (Map TxIn (NewOutputEvent a))
extract ∷ Extract a → ResolvedInputs a → BlockInMode CardanoMode → ([TxWithEvents a], ResolvedInputs a)
convertScript ∷ Script ERA → Maybe (Script PlutusScriptV1)
extractBabbageTxn' ∷ ResolvedInputs a → Extract a → BlockHeader → Tx BabbageEra → ([TxWithEvents a], ResolvedInputs a)
extractBabbageTxn ∷ ∀ a m. MonadState (ResolvedInputs a) m ⇒ Extract a → BlockHeader → Tx BabbageEra → m (Maybe (TxWithEvents a))

Documentation

type Extract a = TxOut CtxTx BabbageEra → ScriptHash → Maybe a Source #

data TxWithEvents a Source #

A transaction annotated with events extracted from it.

Constructors

TxWithEvents
Fields twTx ∷ !(Tx BabbageEra) twEvents ∷ !(NonEmpty (Event a)) twBlock ∷ !BlockNo twSlot ∷ !SlotNo

Instances

Instances details

Foldable TxWithEvents Source #
Instance details Defined in Convex.Event Methods fold ∷ Monoid m ⇒ TxWithEvents m → m Source # foldMap ∷ Monoid m ⇒ (a → m) → TxWithEvents a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → TxWithEvents a → m Source # foldr ∷ (a → b → b) → b → TxWithEvents a → b Source # foldr' ∷ (a → b → b) → b → TxWithEvents a → b Source # foldl ∷ (b → a → b) → b → TxWithEvents a → b Source # foldl' ∷ (b → a → b) → b → TxWithEvents a → b Source # foldr1 ∷ (a → a → a) → TxWithEvents a → a Source # foldl1 ∷ (a → a → a) → TxWithEvents a → a Source # toList ∷ TxWithEvents a → [a] Source # null ∷ TxWithEvents a → Bool Source # length ∷ TxWithEvents a → Int Source # elem ∷ Eq a ⇒ a → TxWithEvents a → Bool Source # maximum ∷ Ord a ⇒ TxWithEvents a → a Source # minimum ∷ Ord a ⇒ TxWithEvents a → a Source # sum ∷ Num a ⇒ TxWithEvents a → a Source # product ∷ Num a ⇒ TxWithEvents a → a Source #
Traversable TxWithEvents Source #
Instance details Defined in Convex.Event Methods traverse ∷ Applicative f ⇒ (a → f b) → TxWithEvents a → f (TxWithEvents b) Source # sequenceA ∷ Applicative f ⇒ TxWithEvents (f a) → f (TxWithEvents a) Source # mapM ∷ Monad m ⇒ (a → m b) → TxWithEvents a → m (TxWithEvents b) Source # sequence ∷ Monad m ⇒ TxWithEvents (m a) → m (TxWithEvents a) Source #
Functor TxWithEvents Source #
Instance details Defined in Convex.Event Methods fmap ∷ (a → b) → TxWithEvents a → TxWithEvents b Source # (<$) ∷ a → TxWithEvents b → TxWithEvents a Source #
Generic (TxWithEvents a) Source #
Instance details Defined in Convex.Event Associated Types type Rep (TxWithEvents a) ∷ Type → Type Source # Methods from ∷ TxWithEvents a → Rep (TxWithEvents a) x Source # to ∷ Rep (TxWithEvents a) x → TxWithEvents a Source #
Show a ⇒ Show (TxWithEvents a) Source #
Instance details Defined in Convex.Event Methods showsPrec ∷ Int → TxWithEvents a → ShowS Source # show ∷ TxWithEvents a → String Source # showList ∷ [TxWithEvents a] → ShowS Source #
Eq a ⇒ Eq (TxWithEvents a) Source #
Instance details Defined in Convex.Event Methods (==) ∷ TxWithEvents a → TxWithEvents a → Bool Source # (/=) ∷ TxWithEvents a → TxWithEvents a → Bool Source #
type Rep (TxWithEvents a) Source #
Instance details Defined in Convex.Event type Rep (TxWithEvents a) = D1 ('MetaData "TxWithEvents" "Convex.Event" "convex-base-0.2.0.0-inplace" 'False) (C1 ('MetaCons "TxWithEvents" 'PrefixI 'True) ((S1 ('MetaSel ('Just "twTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx BabbageEra)) :: S1 ('MetaSel ('Just "twEvents") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty (Event a)))) :: (S1 ('MetaSel ('Just "twBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockNo) :*: S1 ('MetaSel ('Just "twSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo))))

data NewOutputEvent a Source #

Constructors

NewOutputEvent
Fields neTransaction ∷ !TxId neEvent ∷ !a neTxIx ∷ !TxIx neOutput ∷ !ScriptOut neDatum ∷ !(Maybe (Data ERA)) neBlockNo ∷ !Integer neSlot ∷ !SlotNo neScriptHash ∷ !ScriptHash neDataHash ∷ !ScriptOutDataHash neSigners ∷ ![KeyHash 'Witness StandardCrypto] neTxMetadata ∷ !(Map Word64 Metadatum)

Instances

Instances details

Foldable NewOutputEvent Source #
Instance details Defined in Convex.Event Methods fold ∷ Monoid m ⇒ NewOutputEvent m → m Source # foldMap ∷ Monoid m ⇒ (a → m) → NewOutputEvent a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → NewOutputEvent a → m Source # foldr ∷ (a → b → b) → b → NewOutputEvent a → b Source # foldr' ∷ (a → b → b) → b → NewOutputEvent a → b Source # foldl ∷ (b → a → b) → b → NewOutputEvent a → b Source # foldl' ∷ (b → a → b) → b → NewOutputEvent a → b Source # foldr1 ∷ (a → a → a) → NewOutputEvent a → a Source # foldl1 ∷ (a → a → a) → NewOutputEvent a → a Source # toList ∷ NewOutputEvent a → [a] Source # null ∷ NewOutputEvent a → Bool Source # length ∷ NewOutputEvent a → Int Source # elem ∷ Eq a ⇒ a → NewOutputEvent a → Bool Source # maximum ∷ Ord a ⇒ NewOutputEvent a → a Source # minimum ∷ Ord a ⇒ NewOutputEvent a → a Source # sum ∷ Num a ⇒ NewOutputEvent a → a Source # product ∷ Num a ⇒ NewOutputEvent a → a Source #
Traversable NewOutputEvent Source #
Instance details Defined in Convex.Event Methods traverse ∷ Applicative f ⇒ (a → f b) → NewOutputEvent a → f (NewOutputEvent b) Source # sequenceA ∷ Applicative f ⇒ NewOutputEvent (f a) → f (NewOutputEvent a) Source # mapM ∷ Monad m ⇒ (a → m b) → NewOutputEvent a → m (NewOutputEvent b) Source # sequence ∷ Monad m ⇒ NewOutputEvent (m a) → m (NewOutputEvent a) Source #
Functor NewOutputEvent Source #
Instance details Defined in Convex.Event Methods fmap ∷ (a → b) → NewOutputEvent a → NewOutputEvent b Source # (<$) ∷ a → NewOutputEvent b → NewOutputEvent a Source #
Generic (NewOutputEvent a) Source #
Instance details Defined in Convex.Event Associated Types type Rep (NewOutputEvent a) ∷ Type → Type Source # Methods from ∷ NewOutputEvent a → Rep (NewOutputEvent a) x Source # to ∷ Rep (NewOutputEvent a) x → NewOutputEvent a Source #
Show a ⇒ Show (NewOutputEvent a) Source #
Instance details Defined in Convex.Event Methods showsPrec ∷ Int → NewOutputEvent a → ShowS Source # show ∷ NewOutputEvent a → String Source # showList ∷ [NewOutputEvent a] → ShowS Source #
Eq a ⇒ Eq (NewOutputEvent a) Source #
Instance details Defined in Convex.Event Methods (==) ∷ NewOutputEvent a → NewOutputEvent a → Bool Source # (/=) ∷ NewOutputEvent a → NewOutputEvent a → Bool Source #
type Rep (NewOutputEvent a) Source #
Instance details Defined in Convex.Event type Rep (NewOutputEvent a) = D1 ('MetaData "NewOutputEvent" "Convex.Event" "convex-base-0.2.0.0-inplace" 'False) (C1 ('MetaCons "NewOutputEvent" 'PrefixI 'True) (((S1 ('MetaSel ('Just "neTransaction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :: S1 ('MetaSel ('Just "neEvent") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :: (S1 ('MetaSel ('Just "neTxIx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxIx) :: (S1 ('MetaSel ('Just "neOutput") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptOut) :: S1 ('MetaSel ('Just "neDatum") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (Data ERA)))))) :: ((S1 ('MetaSel ('Just "neBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer) :: (S1 ('MetaSel ('Just "neSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :: S1 ('MetaSel ('Just "neScriptHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptHash))) :: (S1 ('MetaSel ('Just "neDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptOutDataHash) :: (S1 ('MetaSel ('Just "neSigners") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [KeyHash 'Witness StandardCrypto]) :: S1 ('MetaSel ('Just "neTxMetadata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word64 Metadatum)))))))

data OutputSpentEvent a Source #

Constructors

OutputSpentEvent
Fields oseTxIn ∷ !TxIn oseRedeemer ∷ !(Data StandardBabbage) oseDatum ∷ !(Data StandardBabbage) oseSpendingTx ∷ !TxId oseTxOutput ∷ !(NewOutputEvent a)

Instances

Instances details

Foldable OutputSpentEvent Source #
Instance details Defined in Convex.Event Methods fold ∷ Monoid m ⇒ OutputSpentEvent m → m Source # foldMap ∷ Monoid m ⇒ (a → m) → OutputSpentEvent a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → OutputSpentEvent a → m Source # foldr ∷ (a → b → b) → b → OutputSpentEvent a → b Source # foldr' ∷ (a → b → b) → b → OutputSpentEvent a → b Source # foldl ∷ (b → a → b) → b → OutputSpentEvent a → b Source # foldl' ∷ (b → a → b) → b → OutputSpentEvent a → b Source # foldr1 ∷ (a → a → a) → OutputSpentEvent a → a Source # foldl1 ∷ (a → a → a) → OutputSpentEvent a → a Source # toList ∷ OutputSpentEvent a → [a] Source # null ∷ OutputSpentEvent a → Bool Source # length ∷ OutputSpentEvent a → Int Source # elem ∷ Eq a ⇒ a → OutputSpentEvent a → Bool Source # maximum ∷ Ord a ⇒ OutputSpentEvent a → a Source # minimum ∷ Ord a ⇒ OutputSpentEvent a → a Source # sum ∷ Num a ⇒ OutputSpentEvent a → a Source # product ∷ Num a ⇒ OutputSpentEvent a → a Source #
Traversable OutputSpentEvent Source #
Instance details Defined in Convex.Event Methods traverse ∷ Applicative f ⇒ (a → f b) → OutputSpentEvent a → f (OutputSpentEvent b) Source # sequenceA ∷ Applicative f ⇒ OutputSpentEvent (f a) → f (OutputSpentEvent a) Source # mapM ∷ Monad m ⇒ (a → m b) → OutputSpentEvent a → m (OutputSpentEvent b) Source # sequence ∷ Monad m ⇒ OutputSpentEvent (m a) → m (OutputSpentEvent a) Source #
Functor OutputSpentEvent Source #
Instance details Defined in Convex.Event Methods fmap ∷ (a → b) → OutputSpentEvent a → OutputSpentEvent b Source # (<$) ∷ a → OutputSpentEvent b → OutputSpentEvent a Source #
Generic (OutputSpentEvent a) Source #
Instance details Defined in Convex.Event Associated Types type Rep (OutputSpentEvent a) ∷ Type → Type Source # Methods from ∷ OutputSpentEvent a → Rep (OutputSpentEvent a) x Source # to ∷ Rep (OutputSpentEvent a) x → OutputSpentEvent a Source #
Show a ⇒ Show (OutputSpentEvent a) Source #
Instance details Defined in Convex.Event Methods showsPrec ∷ Int → OutputSpentEvent a → ShowS Source # show ∷ OutputSpentEvent a → String Source # showList ∷ [OutputSpentEvent a] → ShowS Source #
Eq a ⇒ Eq (OutputSpentEvent a) Source #
Instance details Defined in Convex.Event Methods (==) ∷ OutputSpentEvent a → OutputSpentEvent a → Bool Source # (/=) ∷ OutputSpentEvent a → OutputSpentEvent a → Bool Source #
type Rep (OutputSpentEvent a) Source #
Instance details Defined in Convex.Event type Rep (OutputSpentEvent a) = D1 ('MetaData "OutputSpentEvent" "Convex.Event" "convex-base-0.2.0.0-inplace" 'False) (C1 ('MetaCons "OutputSpentEvent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "oseTxIn") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxIn) :: S1 ('MetaSel ('Just "oseRedeemer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Data StandardBabbage))) :: (S1 ('MetaSel ('Just "oseDatum") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Data StandardBabbage)) :: (S1 ('MetaSel ('Just "oseSpendingTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :: S1 ('MetaSel ('Just "oseTxOutput") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewOutputEvent a))))))

data Event a Source #

Constructors

AnOutputSpentEvent !(OutputSpentEvent a)
ANewOutputEvent !(NewOutputEvent a)

Instances

Instances details

Foldable Event Source #
Instance details Defined in Convex.Event Methods fold ∷ Monoid m ⇒ Event m → m Source # foldMap ∷ Monoid m ⇒ (a → m) → Event a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → Event a → m Source # foldr ∷ (a → b → b) → b → Event a → b Source # foldr' ∷ (a → b → b) → b → Event a → b Source # foldl ∷ (b → a → b) → b → Event a → b Source # foldl' ∷ (b → a → b) → b → Event a → b Source # foldr1 ∷ (a → a → a) → Event a → a Source # foldl1 ∷ (a → a → a) → Event a → a Source # toList ∷ Event a → [a] Source # null ∷ Event a → Bool Source # length ∷ Event a → Int Source # elem ∷ Eq a ⇒ a → Event a → Bool Source # maximum ∷ Ord a ⇒ Event a → a Source # minimum ∷ Ord a ⇒ Event a → a Source # sum ∷ Num a ⇒ Event a → a Source # product ∷ Num a ⇒ Event a → a Source #
Traversable Event Source #
Instance details Defined in Convex.Event Methods traverse ∷ Applicative f ⇒ (a → f b) → Event a → f (Event b) Source # sequenceA ∷ Applicative f ⇒ Event (f a) → f (Event a) Source # mapM ∷ Monad m ⇒ (a → m b) → Event a → m (Event b) Source # sequence ∷ Monad m ⇒ Event (m a) → m (Event a) Source #
Functor Event Source #
Instance details Defined in Convex.Event Methods fmap ∷ (a → b) → Event a → Event b Source # (<$) ∷ a → Event b → Event a Source #
Generic (Event a) Source #
Instance details Defined in Convex.Event Associated Types type Rep (Event a) ∷ Type → Type Source # Methods from ∷ Event a → Rep (Event a) x Source # to ∷ Rep (Event a) x → Event a Source #
Show a ⇒ Show (Event a) Source #
Instance details Defined in Convex.Event Methods showsPrec ∷ Int → Event a → ShowS Source # show ∷ Event a → String Source # showList ∷ [Event a] → ShowS Source #
Eq a ⇒ Eq (Event a) Source #
Instance details Defined in Convex.Event Methods (==) ∷ Event a → Event a → Bool Source # (/=) ∷ Event a → Event a → Bool Source #
type Rep (Event a) Source #
Instance details Defined in Convex.Event type Rep (Event a) = D1 ('MetaData "Event" "Convex.Event" "convex-base-0.2.0.0-inplace" 'False) (C1 ('MetaCons "AnOutputSpentEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OutputSpentEvent a))) :+: C1 ('MetaCons "ANewOutputEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewOutputEvent a))))

type ScriptOutDataHash = DataHash (EraCrypto ERA) Source #

type ScriptOut = BabbageTxOut (BabbageEra StandardCrypto) Source #

txIn ∷ NewOutputEvent a → TxIn Source #

The TxIn of the new output

splitEvent ∷ Event a → Either (OutputSpentEvent a) (NewOutputEvent a) Source #

Extraction

newtype ResolvedInputs a Source #

Constructors

ResolvedInputs (Map TxIn (NewOutputEvent a))

Instances

Instances details

Monoid (ResolvedInputs a) Source #
Instance details Defined in Convex.Event Methods mempty ∷ ResolvedInputs a Source # mappend ∷ ResolvedInputs a → ResolvedInputs a → ResolvedInputs a Source # mconcat ∷ [ResolvedInputs a] → ResolvedInputs a Source #
Semigroup (ResolvedInputs a) Source #
Instance details Defined in Convex.Event Methods (<>) ∷ ResolvedInputs a → ResolvedInputs a → ResolvedInputs a Source # sconcat ∷ NonEmpty (ResolvedInputs a) → ResolvedInputs a Source # stimes ∷ Integral b ⇒ b → ResolvedInputs a → ResolvedInputs a Source #
Generic (ResolvedInputs a) Source #
Instance details Defined in Convex.Event Associated Types type Rep (ResolvedInputs a) ∷ Type → Type Source # Methods from ∷ ResolvedInputs a → Rep (ResolvedInputs a) x Source # to ∷ Rep (ResolvedInputs a) x → ResolvedInputs a Source #
Show a ⇒ Show (ResolvedInputs a) Source #
Instance details Defined in Convex.Event Methods showsPrec ∷ Int → ResolvedInputs a → ShowS Source # show ∷ ResolvedInputs a → String Source # showList ∷ [ResolvedInputs a] → ShowS Source #
Eq a ⇒ Eq (ResolvedInputs a) Source #
Instance details Defined in Convex.Event Methods (==) ∷ ResolvedInputs a → ResolvedInputs a → Bool Source # (/=) ∷ ResolvedInputs a → ResolvedInputs a → Bool Source #
type Rep (ResolvedInputs a) Source #
Instance details Defined in Convex.Event type Rep (ResolvedInputs a) = D1 ('MetaData "ResolvedInputs" "Convex.Event" "convex-base-0.2.0.0-inplace" 'True) (C1 ('MetaCons "ResolvedInputs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map TxIn (NewOutputEvent a)))))

extract Source #

Arguments

∷ Extract a
→ ResolvedInputs a	Resolved inputs
→ BlockInMode CardanoMode	New block
→ ([TxWithEvents a], ResolvedInputs a)	Defi events extracted from block

convertScript ∷ Script ERA → Maybe (Script PlutusScriptV1) Source #

extractBabbageTxn' ∷ ResolvedInputs a → Extract a → BlockHeader → Tx BabbageEra → ([TxWithEvents a], ResolvedInputs a) Source #

extractBabbageTxn ∷ ∀ a m. MonadState (ResolvedInputs a) m ⇒ Extract a → BlockHeader → Tx BabbageEra → m (Maybe (TxWithEvents a)) Source #