Safe Haskell	None
Language	Haskell2010

Wallet.Graph

Description

Support for visualisation of a blockchain as a graph.

Synopsis

txnFlows :: [PubKey] -> Blockchain -> [FlowLink]
graph :: [FlowLink] -> FlowGraph
data FlowGraph
data FlowLink
data TxRef
data UtxOwner
data UtxoLocation

Documentation

txnFlows :: [PubKey] -> Blockchain -> [FlowLink] Source #

Compute the FlowLinks for a Blockchain given a set of known PubKeys.

graph :: [FlowLink] -> FlowGraph Source #

Construct a graph from a list of FlowLinks.

data FlowGraph Source #

The flow graph, consisting of a set of nodes (TxRefs) and edges (FlowLinks).

Instances

Instances details

Show FlowGraph Source #
Instance details Defined in Wallet.Graph Methods showsPrec :: Int -> FlowGraph -> ShowS Source # show :: FlowGraph -> String Source # showList :: [FlowGraph] -> ShowS Source #
Generic FlowGraph Source #
Instance details Defined in Wallet.Graph Associated Types type Rep FlowGraph :: Type -> Type Source # Methods from :: FlowGraph -> Rep FlowGraph x Source # to :: Rep FlowGraph x -> FlowGraph Source #
ToJSON FlowGraph Source #
Instance details Defined in Wallet.Graph Methods toJSON :: FlowGraph -> Value Source # toEncoding :: FlowGraph -> Encoding Source # toJSONList :: [FlowGraph] -> Value Source # toEncodingList :: [FlowGraph] -> Encoding Source #
type Rep FlowGraph Source #
Instance details Defined in Wallet.Graph type Rep FlowGraph = D1 ('MetaData "FlowGraph" "Wallet.Graph" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "FlowGraph" 'PrefixI 'True) (S1 ('MetaSel ('Just "flowGraphLinks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FlowLink]) :*: S1 ('MetaSel ('Just "flowGraphNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxRef])))

data FlowLink Source #

A link in the flow graph.

Instances

Instances details

Show FlowLink Source #
Instance details Defined in Wallet.Graph Methods showsPrec :: Int -> FlowLink -> ShowS Source # show :: FlowLink -> String Source # showList :: [FlowLink] -> ShowS Source #
Generic FlowLink Source #
Instance details Defined in Wallet.Graph Associated Types type Rep FlowLink :: Type -> Type Source # Methods from :: FlowLink -> Rep FlowLink x Source # to :: Rep FlowLink x -> FlowLink Source #
ToJSON FlowLink Source #
Instance details Defined in Wallet.Graph Methods toJSON :: FlowLink -> Value Source # toEncoding :: FlowLink -> Encoding Source # toJSONList :: [FlowLink] -> Value Source # toEncodingList :: [FlowLink] -> Encoding Source #
type Rep FlowLink Source #
Instance details Defined in Wallet.Graph type Rep FlowLink = D1 ('MetaData "FlowLink" "Wallet.Graph" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "FlowLink" 'PrefixI 'True) ((S1 ('MetaSel ('Just "flowLinkSource") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxRef) :: (S1 ('MetaSel ('Just "flowLinkTarget") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxRef) :: S1 ('MetaSel ('Just "flowLinkValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) :: (S1 ('MetaSel ('Just "flowLinkOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UtxOwner) :: (S1 ('MetaSel ('Just "flowLinkSourceLoc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UtxoLocation) :*: S1 ('MetaSel ('Just "flowLinkTargetLoc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe UtxoLocation))))))

data TxRef Source #

A wrapper around the first 8 digits of a TxId.

Instances

Instances details

Eq TxRef Source #
Instance details Defined in Wallet.Graph Methods (==) :: TxRef -> TxRef -> Bool Source # (/=) :: TxRef -> TxRef -> Bool Source #
Ord TxRef Source #
Instance details Defined in Wallet.Graph Methods compare :: TxRef -> TxRef -> Ordering Source # (<) :: TxRef -> TxRef -> Bool Source # (<=) :: TxRef -> TxRef -> Bool Source # (>) :: TxRef -> TxRef -> Bool Source # (>=) :: TxRef -> TxRef -> Bool Source # max :: TxRef -> TxRef -> TxRef Source # min :: TxRef -> TxRef -> TxRef Source #
Show TxRef Source #
Instance details Defined in Wallet.Graph Methods showsPrec :: Int -> TxRef -> ShowS Source # show :: TxRef -> String Source # showList :: [TxRef] -> ShowS Source #
Generic TxRef Source #
Instance details Defined in Wallet.Graph Associated Types type Rep TxRef :: Type -> Type Source # Methods from :: TxRef -> Rep TxRef x Source # to :: Rep TxRef x -> TxRef Source #
ToJSON TxRef Source #
Instance details Defined in Wallet.Graph Methods toJSON :: TxRef -> Value Source # toEncoding :: TxRef -> Encoding Source # toJSONList :: [TxRef] -> Value Source # toEncodingList :: [TxRef] -> Encoding Source #
type Rep TxRef Source #
Instance details Defined in Wallet.Graph type Rep TxRef = D1 ('MetaData "TxRef" "Wallet.Graph" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'True) (C1 ('MetaCons "TxRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data UtxOwner Source #

The owner of an unspent transaction output.

Instances

Instances details

Eq UtxOwner Source #
Instance details Defined in Wallet.Graph Methods (==) :: UtxOwner -> UtxOwner -> Bool Source # (/=) :: UtxOwner -> UtxOwner -> Bool Source #
Ord UtxOwner Source #
Instance details Defined in Wallet.Graph Methods compare :: UtxOwner -> UtxOwner -> Ordering Source # (<) :: UtxOwner -> UtxOwner -> Bool Source # (<=) :: UtxOwner -> UtxOwner -> Bool Source # (>) :: UtxOwner -> UtxOwner -> Bool Source # (>=) :: UtxOwner -> UtxOwner -> Bool Source # max :: UtxOwner -> UtxOwner -> UtxOwner Source # min :: UtxOwner -> UtxOwner -> UtxOwner Source #
Show UtxOwner Source #
Instance details Defined in Wallet.Graph Methods showsPrec :: Int -> UtxOwner -> ShowS Source # show :: UtxOwner -> String Source # showList :: [UtxOwner] -> ShowS Source #
Generic UtxOwner Source #
Instance details Defined in Wallet.Graph Associated Types type Rep UtxOwner :: Type -> Type Source # Methods from :: UtxOwner -> Rep UtxOwner x Source # to :: Rep UtxOwner x -> UtxOwner Source #
ToJSON UtxOwner Source #
Instance details Defined in Wallet.Graph Methods toJSON :: UtxOwner -> Value Source # toEncoding :: UtxOwner -> Encoding Source # toJSONList :: [UtxOwner] -> Value Source # toEncodingList :: [UtxOwner] -> Encoding Source #
type Rep UtxOwner Source #
Instance details Defined in Wallet.Graph type Rep UtxOwner = D1 ('MetaData "UtxOwner" "Wallet.Graph" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "PubKeyOwner" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKey)) :+: (C1 ('MetaCons "ScriptOwner" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OtherOwner" 'PrefixI 'False) (U1 :: Type -> Type)))

data UtxoLocation Source #

The location of a transaction in a blockchain specified by two indices: the index of the containing block in the chain, and the index of the transaction within the block.

Instances

Instances details

Eq UtxoLocation Source #
Instance details Defined in Wallet.Graph Methods (==) :: UtxoLocation -> UtxoLocation -> Bool Source # (/=) :: UtxoLocation -> UtxoLocation -> Bool Source #
Ord UtxoLocation Source #
Instance details Defined in Wallet.Graph Methods compare :: UtxoLocation -> UtxoLocation -> Ordering Source # (<) :: UtxoLocation -> UtxoLocation -> Bool Source # (<=) :: UtxoLocation -> UtxoLocation -> Bool Source # (>) :: UtxoLocation -> UtxoLocation -> Bool Source # (>=) :: UtxoLocation -> UtxoLocation -> Bool Source # max :: UtxoLocation -> UtxoLocation -> UtxoLocation Source # min :: UtxoLocation -> UtxoLocation -> UtxoLocation Source #
Show UtxoLocation Source #
Instance details Defined in Wallet.Graph Methods showsPrec :: Int -> UtxoLocation -> ShowS Source # show :: UtxoLocation -> String Source # showList :: [UtxoLocation] -> ShowS Source #
Generic UtxoLocation Source #
Instance details Defined in Wallet.Graph Associated Types type Rep UtxoLocation :: Type -> Type Source # Methods from :: UtxoLocation -> Rep UtxoLocation x Source # to :: Rep UtxoLocation x -> UtxoLocation Source #
ToJSON UtxoLocation Source #
Instance details Defined in Wallet.Graph Methods toJSON :: UtxoLocation -> Value Source # toEncoding :: UtxoLocation -> Encoding Source # toJSONList :: [UtxoLocation] -> Value Source # toEncodingList :: [UtxoLocation] -> Encoding Source #
type Rep UtxoLocation Source #
Instance details Defined in Wallet.Graph type Rep UtxoLocation = D1 ('MetaData "UtxoLocation" "Wallet.Graph" "plutus-contract-1.1.0.0-KZTRXOViW1GCXNPMdYqx30" 'False) (C1 ('MetaCons "UtxoLocation" 'PrefixI 'True) (S1 ('MetaSel ('Just "utxoLocBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "utxoLocBlockIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))