Copyright	2022-2024 Vergara Technologies
License	MIT
Maintainer	pitmutt@vergara.tech
Stability	experimental
Portability	unknown
Safe Haskell	Safe-Inferred
Language	Haskell2010

ZcashHaskell.Types

Contents

General
- Constants
  - Constants for Sapling Human-readable part
  - Constants for Unified Human-readable part
RPC
- zcashd
- zebrad
Transparent
Sapling
Orchard
Classes
Helpers

Description

The types used by the ZcashHaskell library to interact with the Zcash blockchain

Synopsis

newtype Seed = Seed ByteString
newtype Phrase = Phrase ByteString
data Scope
- = External
- | Internal
data RawData = RawData {
- hrp :: !ByteString
- bytes :: !ByteString
}
data ZcashNet
- = MainNet
- | TestNet
- | RegTestNet
type AccountId = Int
getTransparentPrefix :: ZcashNet -> TransparentType -> (Word8, Word8)
data CoinType
- = MainNetCoin
- | TestNetCoin
- | RegTestNetCoin
getValue :: CoinType -> Word32
data Transaction = Transaction {
- tx_id :: !HexString
- tx_height :: !Int
- tx_conf :: !Int
- tx_expiry :: !Int
- tx_transpBundle :: !(Maybe TransparentBundle)
- tx_saplingBundle :: !(Maybe SaplingBundle)
- tx_orchardBundle :: !(Maybe OrchardBundle)
}
data TransparentBundle = TransparentBundle {
- tb_vin :: ![TxIn]
- tb_vout :: ![TxOut]
- tb_coinbase :: !Bool
}
fromRawTBundle :: RawTBundle -> Maybe TransparentBundle
fromRawTxIn :: RawTxIn -> TxIn
fromRawTxOut :: RawTxOut -> TxOut
sapExtSpendingKeyHrp :: String
sapExtFullViewingKeyHrp :: String
sapPaymentAddressHrp :: String
sapTestExtSpendingKeyHrp :: String
sapTestExtFullViewingKeyHrp :: String
sapTestPaymentAddressHrp :: String
uniPaymentAddressHrp :: Text
uniFullViewingKeyHrp :: Text
uniIncomingViewingKeyHrp :: Text
uniTestPaymentAddressHrp :: Text
uniTestFullViewingKeyHrp :: Text
uniTestIncomingViewingKeyHrp :: Text
data RpcCall = RpcCall {
- jsonrpc :: !Text
- callId :: !Text
- method :: !Text
- parameters :: ![Value]
}
data RpcResponse r = MakeRpcResponse {
- err :: !(Maybe RpcError)
- respId :: !Text
- result :: !(Maybe r)
}
data RpcError = RpcError {
- ecode :: !Double
- emessage :: !Text
}
data BlockResponse = BlockResponse {
- bl_hash :: !HexString
- bl_confirmations :: !Integer
- bl_height :: !Integer
- bl_time :: !Integer
- bl_txs :: ![HexString]
}
data RawTxResponse = RawTxResponse {
- rt_id :: !HexString
- rt_hex :: !HexString
- rt_shieldedSpends :: ![ShieldedSpend]
- rt_shieldedOutputs :: ![ShieldedOutput]
- rt_orchardActions :: ![OrchardAction]
- rt_blockheight :: !Integer
- rt_confirmations :: !Integer
- rt_blocktime :: !Integer
}
data ZebraTxResponse = ZebraTxResponse {
- ztr_blockheight :: !Int
- ztr_conf :: !Int
- ztr_hex :: !HexString
}
data RawZebraTx = RawZebraTx {
- zt_id :: !HexString
- zt_locktime :: !Word32
- zt_expiry :: !Word32
- zt_tBundle :: !RawTBundle
- zt_sBundle :: !RawSBundle
- zt_oBundle :: !RawOBundle
}
data RawTBundle = RawTBundle {
- ztb_empty :: !Bool
- ztb_vin :: ![RawTxIn]
- ztb_vout :: ![RawTxOut]
- ztb_coinbase :: !Bool
}
data RawSBundle = RawSBundle {
- zsb_empty :: !Bool
- zsb_spends :: ![ShieldedSpend]
- zsb_outputs :: ![ShieldedOutput]
- zsb_value :: !Int64
- zsb_sig :: !HexString
}
data SaplingBundle = SaplingBundle {
- sbSpends :: ![ShieldedSpend]
- sbOutputs :: ![ShieldedOutput]
- sbValue :: !Int64
- sbSig :: !HexString
}
fromRawSBundle :: RawSBundle -> Maybe SaplingBundle
data RawOBundle = RawOBundle {
- zob_empty :: !Bool
- zob_actions :: ![OrchardAction]
- zob_flags :: !OrchardFlags
- zob_value :: !Int64
- zob_anchor :: !HexString
- zob_proof :: !HexString
- zob_sig :: !HexString
}
data OrchardBundle = OrchardBundle {
- obActions :: ![OrchardAction]
- obFlags :: !OrchardFlags
- obValue :: !Int64
- obAnchor :: !HexString
- obProof :: !HexString
- obSig :: !HexString
}
fromRawOBundle :: RawOBundle -> Maybe OrchardBundle
data OrchardFlags = OrchardFlags {
- of_spends :: !Bool
- of_outputs :: !Bool
}
data ZebraGetInfo = ZebraGetInfo {
- zgi_build :: !Text
- zgi_subversion :: !Text
}
data ZebraGetBlockChainInfo = ZebraGetBlockChainInfo {
- zgb_best :: !HexString
- zgb_blocks :: !Int
- zgb_net :: !ZcashNet
}
data TransparentType
- = P2SH
- | P2PKH
type TransparentSpendingKey = XPrvKey
data TransparentReceiver = TransparentReceiver {
- tr_type :: !TransparentType
- tr_bytes :: !HexString
}
data TransparentAddress = TransparentAddress {
- ta_network :: !ZcashNet
- ta_receiver :: !TransparentReceiver
}
data ExchangeAddress = ExchangeAddress {
- ex_network :: !ZcashNet
- ex_address :: !TransparentReceiver
}
data RawTxIn = RawTxIn {
- rti_outpoint :: !RawOutPoint
- rti_script :: !ByteString
- rti_seq :: !Word32
}
data RawTxOut = RawTxOut {
- rto_amt :: !Word64
- rto_script :: !ByteString
}
data RawOutPoint = RawOutPoint {
- rop_hash :: !ByteString
- rop_n :: !Word32
}
newtype SaplingSpendingKey = SaplingSpendingKey ByteString
newtype SaplingReceiver = SaplingReceiver ByteString
data SaplingAddress = SaplingAddress {
- net_type :: !ZcashNet
- sa_receiver :: !SaplingReceiver
}
data ShieldedSpend = ShieldedSpend {
- sp_cv :: !HexString
- sp_anchor :: !HexString
- sp_nullifier :: !HexString
- sp_rk :: !HexString
- sp_proof :: !HexString
- sp_auth :: !HexString
}
data ShieldedOutput = ShieldedOutput {
- s_cv :: !HexString
- s_cmu :: !HexString
- s_ephKey :: !HexString
- s_encCipherText :: !HexString
- s_outCipherText :: !HexString
- s_proof :: !HexString
}
newtype SaplingCommitmentTree = SaplingCommitmentTree {
- sapTree :: HexString
}
data SaplingRawTree = SaplingRawTree {
- srt_left :: !HexString
- srt_right :: !HexString
- srt_parents :: ![HexString]
}
data SaplingTree = SaplingTree {
- st_left :: !(Maybe HexString)
- st_right :: !(Maybe HexString)
- st_parents :: ![Maybe HexString]
}
data SaplingFrontier = SaplingFrontier {
- sf_pos :: !Int64
- sf_leaf :: !HexString
- sf_ommers :: ![HexString]
}
newtype SaplingWitness = SaplingWitness {
- sapWit :: HexString
}
newtype OrchardSpendingKey = OrchardSpendingKey ByteString
newtype OrchardReceiver = OrchardReceiver ByteString
data UnifiedAddress = UnifiedAddress {
- ua_net :: !ZcashNet
- o_rec :: !(Maybe OrchardReceiver)
- s_rec :: !(Maybe SaplingReceiver)
- t_rec :: !(Maybe TransparentReceiver)
}
data RawUA = RawUA {
- raw_net :: !Word8
- raw_o :: !ByteString
- raw_s :: !ByteString
- raw_t :: !ByteString
- raw_to :: !ByteString
}
data ValidAddress
- = Unified !UnifiedAddress
- | Sapling !SaplingAddress
- | Transparent !TransparentAddress
- | Exchange !ExchangeAddress
data ValidVk
- = FullVk !UnifiedFullViewingKey
- | IncomingVk !UnifiedIncomingViewingKey
data UnifiedFullViewingKey = UnifiedFullViewingKey {
- net :: !Word8
- o_key :: !ByteString
- s_key :: !ByteString
- t_key :: !ByteString
}
data UnifiedIncomingViewingKey = UnifiedIncomingViewingKey {
- i_net :: !Word8
- i_o_key :: !ByteString
- i_s_key :: !ByteString
- i_t_key :: !ByteString
}
data OrchardAction = OrchardAction {
- nf :: !HexString
- rk :: !HexString
- cmx :: !HexString
- eph_key :: !HexString
- enc_ciphertext :: !HexString
- out_ciphertext :: !HexString
- cv :: !HexString
- auth :: !HexString
}
data MerklePath = MerklePath {
- mp_position :: !Int32
- mp_path :: ![HexString]
}
newtype OrchardCommitmentTree = OrchardCommitmentTree {
- orchTree :: HexString
}
data OrchardRawTree = OrchardRawTree {
- ort_left :: !HexString
- ort_right :: !HexString
- ort_parents :: ![HexString]
}
data OrchardTree = OrchardTree {
- ot_left :: !(Maybe HexString)
- ot_right :: !(Maybe HexString)
- ot_parents :: ![Maybe HexString]
}
data OrchardFrontier = OrchardFrontier {
- of_pos :: !Int64
- of_leaf :: !HexString
- of_ommers :: ![HexString]
}
newtype OrchardWitness = OrchardWitness {
- orchWit :: HexString
}
data DecodedNote = DecodedNote {
- a_value :: !Int64
- a_recipient :: !ByteString
- a_memo :: !ByteString
- a_nullifier :: !HexString
- a_rho :: !ByteString
- a_rseed :: !Rseed
}
data Rseed = Rseed {
- rs_kind :: !Word8
- rs_bytes :: !ByteString
}
data TransparentTxSpend = TransparentTxSpend {
- ts_sk :: !ByteString
- ts_utxo :: !RawOutPoint
- ts_coin :: !RawTxOut
}
data SaplingTxSpend = SaplingTxSpend {
- ss_sk :: !ByteString
- ss_note :: !DecodedNote
- ss_iw :: !MerklePath
}
data OrchardTxSpend = OrchardTxSpend {
- ss_sk :: !ByteString
- ss_note :: !DecodedNote
- ss_iw :: !MerklePath
}
data OutgoingNote = OutgoingNote {
- on_kind :: !Word8
- on_key :: !ByteString
- on_recipient :: !ByteString
- on_amt :: !Word64
- on_memo :: !ByteString
- on_chg :: !Bool
}
newtype SaplingSpendParams = SaplingSpendParams {
- sapSParams :: ByteString
}
newtype SaplingOutputParams = SaplingOutputParams {
- sapOParams :: ByteString
}
data TxError
- = InsufficientFunds
- | ChangeRequired
- | Fee
- | Balance
- | TransparentBuild
- | SaplingBuild
- | OrchardBuild
- | OrchardSpend
- | OrchardRecipient
- | SaplingBuilderNotAvailable
- | OrchardBuilderNotAvailable
- | PrivacyPolicyError !Text
- | ZHError
class ToBytes a where
- getBytes :: a -> ByteString
decodeHexText :: String -> ByteString

General

newtype Seed #

A seed for generating private keys

Constructors

Seed ByteString

Instances

Instances details

Generic Seed #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep Seed :: Type -> Type # Methods from :: Seed -> Rep Seed x # to :: Rep Seed x -> Seed #
Show Seed #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> Seed -> ShowS # show :: Seed -> String # showList :: [Seed] -> ShowS #
BorshSize Seed #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize Seed :: KnownSize # Methods borshSize :: Proxy Seed -> Size (StaticBorshSize Seed) #
FromBorsh Seed #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s Seed #
ToBorsh Seed #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder Seed #
Show Seed #
Instance details Defined in ZcashHaskell.Types Methods toValue :: Seed -> Value #
Generic Seed #
Instance details Defined in ZcashHaskell.Types Associated Types type Code Seed :: [[Type]] # Methods from :: Seed -> Rep Seed # to :: Rep Seed -> Seed #
HasDatatypeInfo Seed #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf Seed :: DatatypeInfo # Methods datatypeInfo :: proxy Seed -> DatatypeInfo (Code Seed) #
Eq Seed #
Instance details Defined in ZcashHaskell.Types Methods (==) :: Seed -> Seed -> Bool # (/=) :: Seed -> Seed -> Bool #
ToBytes Seed #
Instance details Defined in ZcashHaskell.Types Methods getBytes :: Seed -> ByteString #
type Rep Seed #
Instance details Defined in ZcashHaskell.Types type Rep Seed = D1 ('MetaData "Seed" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'True) (C1 ('MetaCons "Seed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))
type StaticBorshSize Seed #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize Seed = StaticBorshSize (AsStruct Seed)
type Code Seed #
Instance details Defined in ZcashHaskell.Types type Code Seed = GCode Seed
type DatatypeInfoOf Seed #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf Seed = GDatatypeInfoOf Seed

newtype Phrase #

A mnemonic phrase used to derive seeds

Constructors

Phrase ByteString

Instances

Instances details

Generic Phrase #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep Phrase :: Type -> Type # Methods from :: Phrase -> Rep Phrase x # to :: Rep Phrase x -> Phrase #
Read Phrase #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS Phrase # readList :: ReadS [Phrase] # readPrec :: ReadPrec Phrase # readListPrec :: ReadPrec [Phrase] #
Show Phrase #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> Phrase -> ShowS # show :: Phrase -> String # showList :: [Phrase] -> ShowS #
BorshSize Phrase #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize Phrase :: KnownSize # Methods borshSize :: Proxy Phrase -> Size (StaticBorshSize Phrase) #
FromBorsh Phrase #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s Phrase #
ToBorsh Phrase #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder Phrase #
Show Phrase #
Instance details Defined in ZcashHaskell.Types Methods toValue :: Phrase -> Value #
Generic Phrase #
Instance details Defined in ZcashHaskell.Types Associated Types type Code Phrase :: [[Type]] # Methods from :: Phrase -> Rep Phrase # to :: Rep Phrase -> Phrase #
HasDatatypeInfo Phrase #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf Phrase :: DatatypeInfo # Methods datatypeInfo :: proxy Phrase -> DatatypeInfo (Code Phrase) #
Eq Phrase #
Instance details Defined in ZcashHaskell.Types Methods (==) :: Phrase -> Phrase -> Bool # (/=) :: Phrase -> Phrase -> Bool #
ToBytes Phrase #
Instance details Defined in ZcashHaskell.Types Methods getBytes :: Phrase -> ByteString #
type Rep Phrase #
Instance details Defined in ZcashHaskell.Types type Rep Phrase = D1 ('MetaData "Phrase" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'True) (C1 ('MetaCons "Phrase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))
type StaticBorshSize Phrase #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize Phrase = StaticBorshSize (AsStruct Phrase)
type Code Phrase #
Instance details Defined in ZcashHaskell.Types type Code Phrase = GCode Phrase
type DatatypeInfoOf Phrase #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf Phrase = GDatatypeInfoOf Phrase

data Scope #

Scope for addresses/receivers

Constructors

External	Addresses used publically to receive payments
Internal	Addresses used internally by wallets for change and shielding

Instances

Instances details

Read Scope #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS Scope # readList :: ReadS [Scope] # readPrec :: ReadPrec Scope # readListPrec :: ReadPrec [Scope] #
Show Scope #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> Scope -> ShowS # show :: Scope -> String # showList :: [Scope] -> ShowS #
Eq Scope #
Instance details Defined in ZcashHaskell.Types Methods (==) :: Scope -> Scope -> Bool # (/=) :: Scope -> Scope -> Bool #

data RawData #

Type to represent data after Bech32 decoding

Constructors

RawData
Fields hrp :: !ByteString Human-readable part of the Bech32 encoding bytes :: !ByteString Decoded bytes

Instances

Instances details

Generic RawData #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep RawData :: Type -> Type # Methods from :: RawData -> Rep RawData x # to :: Rep RawData x -> RawData #
Show RawData #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> RawData -> ShowS # show :: RawData -> String # showList :: [RawData] -> ShowS #
BorshSize RawData #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize RawData :: KnownSize # Methods borshSize :: Proxy RawData -> Size (StaticBorshSize RawData) #
FromBorsh RawData #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s RawData #
ToBorsh RawData #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder RawData #
Show RawData #
Instance details Defined in ZcashHaskell.Types Methods toValue :: RawData -> Value #
Generic RawData #
Instance details Defined in ZcashHaskell.Types Associated Types type Code RawData :: [[Type]] # Methods from :: RawData -> Rep RawData # to :: Rep RawData -> RawData #
HasDatatypeInfo RawData #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf RawData :: DatatypeInfo # Methods datatypeInfo :: proxy RawData -> DatatypeInfo (Code RawData) #
type Rep RawData #
Instance details Defined in ZcashHaskell.Types type Rep RawData = D1 ('MetaData "RawData" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "RawData" 'PrefixI 'True) (S1 ('MetaSel ('Just "hrp") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "bytes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))
type StaticBorshSize RawData #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize RawData = StaticBorshSize (AsStruct RawData)
type Code RawData #
Instance details Defined in ZcashHaskell.Types type Code RawData = GCode RawData
type DatatypeInfoOf RawData #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf RawData = GDatatypeInfoOf RawData

data ZcashNet #

Type for the different networks of the Zcash blockchain

Constructors

MainNet
TestNet
RegTestNet

Instances

Instances details

FromJSON ZcashNet #
Instance details Defined in ZcashHaskell.Types Methods parseJSON :: Value -> Parser ZcashNet # parseJSONList :: Value -> Parser [ZcashNet] # omittedField :: Maybe ZcashNet #
ToJSON ZcashNet #
Instance details Defined in ZcashHaskell.Types Methods toJSON :: ZcashNet -> Value # toEncoding :: ZcashNet -> Encoding # toJSONList :: [ZcashNet] -> Value # toEncodingList :: [ZcashNet] -> Encoding # omitField :: ZcashNet -> Bool #
Generic ZcashNet #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep ZcashNet :: Type -> Type # Methods from :: ZcashNet -> Rep ZcashNet x # to :: Rep ZcashNet x -> ZcashNet #
Read ZcashNet #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS ZcashNet # readList :: ReadS [ZcashNet] # readPrec :: ReadPrec ZcashNet # readListPrec :: ReadPrec [ZcashNet] #
Show ZcashNet #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> ZcashNet -> ShowS # show :: ZcashNet -> String # showList :: [ZcashNet] -> ShowS #
Eq ZcashNet #
Instance details Defined in ZcashHaskell.Types Methods (==) :: ZcashNet -> ZcashNet -> Bool # (/=) :: ZcashNet -> ZcashNet -> Bool #
type Rep ZcashNet #
Instance details Defined in ZcashHaskell.Types type Rep ZcashNet = D1 ('MetaData "ZcashNet" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "MainNet" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TestNet" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RegTestNet" 'PrefixI 'False) (U1 :: Type -> Type)))

type AccountId = Int #

getTransparentPrefix :: ZcashNet -> TransparentType -> (Word8, Word8) #

Function to get the Base58 prefix for encoding a TransparentReceiver

Constants

data CoinType #

Type for coin types on the different networks

Constructors

MainNetCoin
TestNetCoin
RegTestNetCoin

Instances

Instances details

Show CoinType #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> CoinType -> ShowS # show :: CoinType -> String # showList :: [CoinType] -> ShowS #
Eq CoinType #
Instance details Defined in ZcashHaskell.Types Methods (==) :: CoinType -> CoinType -> Bool # (/=) :: CoinType -> CoinType -> Bool #
Ord CoinType #
Instance details Defined in ZcashHaskell.Types Methods compare :: CoinType -> CoinType -> Ordering # (<) :: CoinType -> CoinType -> Bool # (<=) :: CoinType -> CoinType -> Bool # (>) :: CoinType -> CoinType -> Bool # (>=) :: CoinType -> CoinType -> Bool # max :: CoinType -> CoinType -> CoinType # min :: CoinType -> CoinType -> CoinType #

getValue :: CoinType -> Word32 #

data Transaction #

A Zcash transaction

Constructors

Transaction
Fields tx_id :: !HexString tx_height :: !Int tx_conf :: !Int tx_expiry :: !Int tx_transpBundle :: !(Maybe TransparentBundle) tx_saplingBundle :: !(Maybe SaplingBundle) tx_orchardBundle :: !(Maybe OrchardBundle)

Instances

Instances details

ToJSON Transaction #
Instance details Defined in ZcashHaskell.Types Methods toJSON :: Transaction -> Value # toEncoding :: Transaction -> Encoding # toJSONList :: [Transaction] -> Value # toEncodingList :: [Transaction] -> Encoding # omitField :: Transaction -> Bool #
Read Transaction #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS Transaction # readList :: ReadS [Transaction] # readPrec :: ReadPrec Transaction # readListPrec :: ReadPrec [Transaction] #
Show Transaction #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> Transaction -> ShowS # show :: Transaction -> String # showList :: [Transaction] -> ShowS #
Eq Transaction #
Instance details Defined in ZcashHaskell.Types Methods (==) :: Transaction -> Transaction -> Bool # (/=) :: Transaction -> Transaction -> Bool #

data TransparentBundle #

The transparent portion of a Zcash transaction

Constructors

TransparentBundle
Fields tb_vin :: ![TxIn] tb_vout :: ![TxOut] tb_coinbase :: !Bool

Instances

Instances details

ToJSON TransparentBundle #
Instance details Defined in ZcashHaskell.Types Methods toJSON :: TransparentBundle -> Value # toEncoding :: TransparentBundle -> Encoding # toJSONList :: [TransparentBundle] -> Value # toEncodingList :: [TransparentBundle] -> Encoding # omitField :: TransparentBundle -> Bool #
Read TransparentBundle #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS TransparentBundle # readList :: ReadS [TransparentBundle] # readPrec :: ReadPrec TransparentBundle # readListPrec :: ReadPrec [TransparentBundle] #
Show TransparentBundle #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> TransparentBundle -> ShowS # show :: TransparentBundle -> String # showList :: [TransparentBundle] -> ShowS #
Eq TransparentBundle #
Instance details Defined in ZcashHaskell.Types Methods (==) :: TransparentBundle -> TransparentBundle -> Bool # (/=) :: TransparentBundle -> TransparentBundle -> Bool #

fromRawTBundle :: RawTBundle -> Maybe TransparentBundle #

Read a raw transparent bundle into the Haskell type

fromRawTxIn :: RawTxIn -> TxIn #

fromRawTxOut :: RawTxOut -> TxOut #

Constants for Sapling Human-readable part

sapExtSpendingKeyHrp :: String #

sapExtFullViewingKeyHrp :: String #

sapPaymentAddressHrp :: String #

sapTestExtSpendingKeyHrp :: String #

sapTestExtFullViewingKeyHrp :: String #

sapTestPaymentAddressHrp :: String #

Constants for Unified Human-readable part

uniPaymentAddressHrp :: Text #

uniFullViewingKeyHrp :: Text #

uniIncomingViewingKeyHrp :: Text #

uniTestPaymentAddressHrp :: Text #

uniTestFullViewingKeyHrp :: Text #

uniTestIncomingViewingKeyHrp :: Text #

RPC

data RpcCall #

A type to model Zcash RPC calls

Constructors

RpcCall
Fields jsonrpc :: !Text callId :: !Text method :: !Text parameters :: ![Value]

Instances

Instances details

ToJSON RpcCall #
Instance details Defined in ZcashHaskell.Types Methods toJSON :: RpcCall -> Value # toEncoding :: RpcCall -> Encoding # toJSONList :: [RpcCall] -> Value # toEncodingList :: [RpcCall] -> Encoding # omitField :: RpcCall -> Bool #
Generic RpcCall #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep RpcCall :: Type -> Type # Methods from :: RpcCall -> Rep RpcCall x # to :: Rep RpcCall x -> RpcCall #
Show RpcCall #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> RpcCall -> ShowS # show :: RpcCall -> String # showList :: [RpcCall] -> ShowS #
type Rep RpcCall #
Instance details Defined in ZcashHaskell.Types type Rep RpcCall = D1 ('MetaData "RpcCall" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "RpcCall" 'PrefixI 'True) ((S1 ('MetaSel ('Just "jsonrpc") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "callId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :: (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "parameters") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Value]))))

data RpcResponse r #

A type to model the response of the Zcash RPC

Constructors

MakeRpcResponse
Fields err :: !(Maybe RpcError) respId :: !Text result :: !(Maybe r)

Instances

Instances details

FromJSON r => FromJSON (RpcResponse r) #
Instance details Defined in ZcashHaskell.Types Methods parseJSON :: Value -> Parser (RpcResponse r) # parseJSONList :: Value -> Parser [RpcResponse r] # omittedField :: Maybe (RpcResponse r) #
ToJSON r => ToJSON (RpcResponse r) #
Instance details Defined in ZcashHaskell.Types Methods toJSON :: RpcResponse r -> Value # toEncoding :: RpcResponse r -> Encoding # toJSONList :: [RpcResponse r] -> Value # toEncodingList :: [RpcResponse r] -> Encoding # omitField :: RpcResponse r -> Bool #
Generic (RpcResponse r) #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep (RpcResponse r) :: Type -> Type # Methods from :: RpcResponse r -> Rep (RpcResponse r) x # to :: Rep (RpcResponse r) x -> RpcResponse r #
Show r => Show (RpcResponse r) #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> RpcResponse r -> ShowS # show :: RpcResponse r -> String # showList :: [RpcResponse r] -> ShowS #
type Rep (RpcResponse r) #
Instance details Defined in ZcashHaskell.Types type Rep (RpcResponse r) = D1 ('MetaData "RpcResponse" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "MakeRpcResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "err") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe RpcError)) :: (S1 ('MetaSel ('Just "respId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "result") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe r)))))

data RpcError #

A type to model the errors from the Zcash RPC

Constructors

RpcError
Fields ecode :: !Double emessage :: !Text

Instances

Instances details

FromJSON RpcError #
Instance details Defined in ZcashHaskell.Types Methods parseJSON :: Value -> Parser RpcError # parseJSONList :: Value -> Parser [RpcError] # omittedField :: Maybe RpcError #
ToJSON RpcError #
Instance details Defined in ZcashHaskell.Types Methods toJSON :: RpcError -> Value # toEncoding :: RpcError -> Encoding # toJSONList :: [RpcError] -> Value # toEncodingList :: [RpcError] -> Encoding # omitField :: RpcError -> Bool #
Generic RpcError #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep RpcError :: Type -> Type # Methods from :: RpcError -> Rep RpcError x # to :: Rep RpcError x -> RpcError #
Show RpcError #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> RpcError -> ShowS # show :: RpcError -> String # showList :: [RpcError] -> ShowS #
type Rep RpcError #
Instance details Defined in ZcashHaskell.Types type Rep RpcError = D1 ('MetaData "RpcError" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "RpcError" 'PrefixI 'True) (S1 ('MetaSel ('Just "ecode") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "emessage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

`zcashd`

data BlockResponse #

Type to represent response from the zcashd RPC getblock method

Constructors

BlockResponse
Fields bl_hash :: !HexString bl_confirmations :: !Integer Block confirmations bl_height :: !Integer Block height bl_time :: !Integer Block time bl_txs :: ![HexString] List of transaction IDs in the block

Instances

Instances details

FromJSON BlockResponse #
Instance details Defined in ZcashHaskell.Types Methods parseJSON :: Value -> Parser BlockResponse # parseJSONList :: Value -> Parser [BlockResponse] # omittedField :: Maybe BlockResponse #
ToJSON BlockResponse #
Instance details Defined in ZcashHaskell.Types Methods toJSON :: BlockResponse -> Value # toEncoding :: BlockResponse -> Encoding # toJSONList :: [BlockResponse] -> Value # toEncodingList :: [BlockResponse] -> Encoding # omitField :: BlockResponse -> Bool #
Show BlockResponse #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> BlockResponse -> ShowS # show :: BlockResponse -> String # showList :: [BlockResponse] -> ShowS #
Eq BlockResponse #
Instance details Defined in ZcashHaskell.Types Methods (==) :: BlockResponse -> BlockResponse -> Bool # (/=) :: BlockResponse -> BlockResponse -> Bool #

data RawTxResponse #

Type to represent response from the zcashd RPC getrawtransaction

Constructors

RawTxResponse
Fields rt_id :: !HexString rt_hex :: !HexString rt_shieldedSpends :: ![ShieldedSpend] rt_shieldedOutputs :: ![ShieldedOutput] rt_orchardActions :: ![OrchardAction] rt_blockheight :: !Integer rt_confirmations :: !Integer rt_blocktime :: !Integer

Instances

Instances details

FromJSON RawTxResponse #
Instance details Defined in ZcashHaskell.Sapling Methods parseJSON :: Value -> Parser RawTxResponse # parseJSONList :: Value -> Parser [RawTxResponse] # omittedField :: Maybe RawTxResponse #
Read RawTxResponse #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS RawTxResponse # readList :: ReadS [RawTxResponse] # readPrec :: ReadPrec RawTxResponse # readListPrec :: ReadPrec [RawTxResponse] #
Show RawTxResponse #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> RawTxResponse -> ShowS # show :: RawTxResponse -> String # showList :: [RawTxResponse] -> ShowS #
Eq RawTxResponse #
Instance details Defined in ZcashHaskell.Types Methods (==) :: RawTxResponse -> RawTxResponse -> Bool # (/=) :: RawTxResponse -> RawTxResponse -> Bool #

`zebrad`

data ZebraTxResponse #

Constructors

ZebraTxResponse
Fields ztr_blockheight :: !Int ztr_conf :: !Int ztr_hex :: !HexString

Instances

Instances details

FromJSON ZebraTxResponse #
Instance details Defined in ZcashHaskell.Types Methods parseJSON :: Value -> Parser ZebraTxResponse # parseJSONList :: Value -> Parser [ZebraTxResponse] # omittedField :: Maybe ZebraTxResponse #
Read ZebraTxResponse #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS ZebraTxResponse # readList :: ReadS [ZebraTxResponse] # readPrec :: ReadPrec ZebraTxResponse # readListPrec :: ReadPrec [ZebraTxResponse] #
Show ZebraTxResponse #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> ZebraTxResponse -> ShowS # show :: ZebraTxResponse -> String # showList :: [ZebraTxResponse] -> ShowS #
Eq ZebraTxResponse #
Instance details Defined in ZcashHaskell.Types Methods (==) :: ZebraTxResponse -> ZebraTxResponse -> Bool # (/=) :: ZebraTxResponse -> ZebraTxResponse -> Bool #

data RawZebraTx #

Type to represent a raw deserialized Zebra transaction

Constructors

RawZebraTx
Fields zt_id :: !HexString zt_locktime :: !Word32 zt_expiry :: !Word32 zt_tBundle :: !RawTBundle zt_sBundle :: !RawSBundle zt_oBundle :: !RawOBundle

Instances

Instances details

Generic RawZebraTx #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep RawZebraTx :: Type -> Type # Methods from :: RawZebraTx -> Rep RawZebraTx x # to :: Rep RawZebraTx x -> RawZebraTx #
Show RawZebraTx #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> RawZebraTx -> ShowS # show :: RawZebraTx -> String # showList :: [RawZebraTx] -> ShowS #
BorshSize RawZebraTx #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize RawZebraTx :: KnownSize # Methods borshSize :: Proxy RawZebraTx -> Size (StaticBorshSize RawZebraTx) #
FromBorsh RawZebraTx #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s RawZebraTx #
ToBorsh RawZebraTx #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder RawZebraTx #
Show RawZebraTx #
Instance details Defined in ZcashHaskell.Types Methods toValue :: RawZebraTx -> Value #
Generic RawZebraTx #
Instance details Defined in ZcashHaskell.Types Associated Types type Code RawZebraTx :: [[Type]] # Methods from :: RawZebraTx -> Rep RawZebraTx # to :: Rep RawZebraTx -> RawZebraTx #
HasDatatypeInfo RawZebraTx #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf RawZebraTx :: DatatypeInfo # Methods datatypeInfo :: proxy RawZebraTx -> DatatypeInfo (Code RawZebraTx) #
Eq RawZebraTx #
Instance details Defined in ZcashHaskell.Types Methods (==) :: RawZebraTx -> RawZebraTx -> Bool # (/=) :: RawZebraTx -> RawZebraTx -> Bool #
type Rep RawZebraTx #
Instance details Defined in ZcashHaskell.Types type Rep RawZebraTx = D1 ('MetaData "RawZebraTx" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "RawZebraTx" 'PrefixI 'True) ((S1 ('MetaSel ('Just "zt_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: (S1 ('MetaSel ('Just "zt_locktime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :: S1 ('MetaSel ('Just "zt_expiry") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32))) :: (S1 ('MetaSel ('Just "zt_tBundle") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RawTBundle) :: (S1 ('MetaSel ('Just "zt_sBundle") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RawSBundle) :*: S1 ('MetaSel ('Just "zt_oBundle") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RawOBundle)))))
type StaticBorshSize RawZebraTx #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize RawZebraTx = StaticBorshSize (AsStruct RawZebraTx)
type Code RawZebraTx #
Instance details Defined in ZcashHaskell.Types type Code RawZebraTx = GCode RawZebraTx
type DatatypeInfoOf RawZebraTx #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf RawZebraTx = GDatatypeInfoOf RawZebraTx

data RawTBundle #

Type for a raw deserialized Zebra transparent bundle

Constructors

RawTBundle
Fields ztb_empty :: !Bool ztb_vin :: ![RawTxIn] ztb_vout :: ![RawTxOut] ztb_coinbase :: !Bool

Instances

Instances details

Generic RawTBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep RawTBundle :: Type -> Type # Methods from :: RawTBundle -> Rep RawTBundle x # to :: Rep RawTBundle x -> RawTBundle #
Show RawTBundle #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> RawTBundle -> ShowS # show :: RawTBundle -> String # showList :: [RawTBundle] -> ShowS #
BorshSize RawTBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize RawTBundle :: KnownSize # Methods borshSize :: Proxy RawTBundle -> Size (StaticBorshSize RawTBundle) #
FromBorsh RawTBundle #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s RawTBundle #
ToBorsh RawTBundle #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder RawTBundle #
Show RawTBundle #
Instance details Defined in ZcashHaskell.Types Methods toValue :: RawTBundle -> Value #
Generic RawTBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type Code RawTBundle :: [[Type]] # Methods from :: RawTBundle -> Rep RawTBundle # to :: Rep RawTBundle -> RawTBundle #
HasDatatypeInfo RawTBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf RawTBundle :: DatatypeInfo # Methods datatypeInfo :: proxy RawTBundle -> DatatypeInfo (Code RawTBundle) #
Eq RawTBundle #
Instance details Defined in ZcashHaskell.Types Methods (==) :: RawTBundle -> RawTBundle -> Bool # (/=) :: RawTBundle -> RawTBundle -> Bool #
type Rep RawTBundle #
Instance details Defined in ZcashHaskell.Types type Rep RawTBundle = D1 ('MetaData "RawTBundle" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "RawTBundle" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ztb_empty") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :: S1 ('MetaSel ('Just "ztb_vin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [RawTxIn])) :: (S1 ('MetaSel ('Just "ztb_vout") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [RawTxOut]) :*: S1 ('MetaSel ('Just "ztb_coinbase") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))))
type StaticBorshSize RawTBundle #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize RawTBundle = StaticBorshSize (AsStruct RawTBundle)
type Code RawTBundle #
Instance details Defined in ZcashHaskell.Types type Code RawTBundle = GCode RawTBundle
type DatatypeInfoOf RawTBundle #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf RawTBundle = GDatatypeInfoOf RawTBundle

data RawSBundle #

Type for a raw deserialized Zebra Sapling bundle

Constructors

RawSBundle
Fields zsb_empty :: !Bool zsb_spends :: ![ShieldedSpend] zsb_outputs :: ![ShieldedOutput] zsb_value :: !Int64 zsb_sig :: !HexString

Instances

Instances details

Generic RawSBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep RawSBundle :: Type -> Type # Methods from :: RawSBundle -> Rep RawSBundle x # to :: Rep RawSBundle x -> RawSBundle #
Show RawSBundle #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> RawSBundle -> ShowS # show :: RawSBundle -> String # showList :: [RawSBundle] -> ShowS #
BorshSize RawSBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize RawSBundle :: KnownSize # Methods borshSize :: Proxy RawSBundle -> Size (StaticBorshSize RawSBundle) #
FromBorsh RawSBundle #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s RawSBundle #
ToBorsh RawSBundle #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder RawSBundle #
Show RawSBundle #
Instance details Defined in ZcashHaskell.Types Methods toValue :: RawSBundle -> Value #
Generic RawSBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type Code RawSBundle :: [[Type]] # Methods from :: RawSBundle -> Rep RawSBundle # to :: Rep RawSBundle -> RawSBundle #
HasDatatypeInfo RawSBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf RawSBundle :: DatatypeInfo # Methods datatypeInfo :: proxy RawSBundle -> DatatypeInfo (Code RawSBundle) #
Eq RawSBundle #
Instance details Defined in ZcashHaskell.Types Methods (==) :: RawSBundle -> RawSBundle -> Bool # (/=) :: RawSBundle -> RawSBundle -> Bool #
type Rep RawSBundle #
Instance details Defined in ZcashHaskell.Types type Rep RawSBundle = D1 ('MetaData "RawSBundle" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "RawSBundle" 'PrefixI 'True) ((S1 ('MetaSel ('Just "zsb_empty") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :: S1 ('MetaSel ('Just "zsb_spends") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [ShieldedSpend])) :: (S1 ('MetaSel ('Just "zsb_outputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [ShieldedOutput]) :: (S1 ('MetaSel ('Just "zsb_value") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :: S1 ('MetaSel ('Just "zsb_sig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString)))))
type StaticBorshSize RawSBundle #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize RawSBundle = StaticBorshSize (AsStruct RawSBundle)
type Code RawSBundle #
Instance details Defined in ZcashHaskell.Types type Code RawSBundle = GCode RawSBundle
type DatatypeInfoOf RawSBundle #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf RawSBundle = GDatatypeInfoOf RawSBundle

data SaplingBundle #

Constructors

SaplingBundle
Fields sbSpends :: ![ShieldedSpend] sbOutputs :: ![ShieldedOutput] sbValue :: !Int64 sbSig :: !HexString

Instances

Instances details

ToJSON SaplingBundle #
Instance details Defined in ZcashHaskell.Types Methods toJSON :: SaplingBundle -> Value # toEncoding :: SaplingBundle -> Encoding # toJSONList :: [SaplingBundle] -> Value # toEncodingList :: [SaplingBundle] -> Encoding # omitField :: SaplingBundle -> Bool #
Generic SaplingBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep SaplingBundle :: Type -> Type # Methods from :: SaplingBundle -> Rep SaplingBundle x # to :: Rep SaplingBundle x -> SaplingBundle #
Read SaplingBundle #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS SaplingBundle # readList :: ReadS [SaplingBundle] # readPrec :: ReadPrec SaplingBundle # readListPrec :: ReadPrec [SaplingBundle] #
Show SaplingBundle #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> SaplingBundle -> ShowS # show :: SaplingBundle -> String # showList :: [SaplingBundle] -> ShowS #
Eq SaplingBundle #
Instance details Defined in ZcashHaskell.Types Methods (==) :: SaplingBundle -> SaplingBundle -> Bool # (/=) :: SaplingBundle -> SaplingBundle -> Bool #
type Rep SaplingBundle #
Instance details Defined in ZcashHaskell.Types type Rep SaplingBundle = D1 ('MetaData "SaplingBundle" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "SaplingBundle" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sbSpends") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [ShieldedSpend]) :: S1 ('MetaSel ('Just "sbOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [ShieldedOutput])) :: (S1 ('MetaSel ('Just "sbValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: S1 ('MetaSel ('Just "sbSig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString))))

fromRawSBundle :: RawSBundle -> Maybe SaplingBundle #

data RawOBundle #

Type for a raw deseralized Zebra Orchard bundle

Constructors

RawOBundle
Fields zob_empty :: !Bool zob_actions :: ![OrchardAction] zob_flags :: !OrchardFlags zob_value :: !Int64 zob_anchor :: !HexString zob_proof :: !HexString zob_sig :: !HexString

Instances

Instances details

Generic RawOBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep RawOBundle :: Type -> Type # Methods from :: RawOBundle -> Rep RawOBundle x # to :: Rep RawOBundle x -> RawOBundle #
Show RawOBundle #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> RawOBundle -> ShowS # show :: RawOBundle -> String # showList :: [RawOBundle] -> ShowS #
BorshSize RawOBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize RawOBundle :: KnownSize # Methods borshSize :: Proxy RawOBundle -> Size (StaticBorshSize RawOBundle) #
FromBorsh RawOBundle #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s RawOBundle #
ToBorsh RawOBundle #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder RawOBundle #
Show RawOBundle #
Instance details Defined in ZcashHaskell.Types Methods toValue :: RawOBundle -> Value #
Generic RawOBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type Code RawOBundle :: [[Type]] # Methods from :: RawOBundle -> Rep RawOBundle # to :: Rep RawOBundle -> RawOBundle #
HasDatatypeInfo RawOBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf RawOBundle :: DatatypeInfo # Methods datatypeInfo :: proxy RawOBundle -> DatatypeInfo (Code RawOBundle) #
Eq RawOBundle #
Instance details Defined in ZcashHaskell.Types Methods (==) :: RawOBundle -> RawOBundle -> Bool # (/=) :: RawOBundle -> RawOBundle -> Bool #
type Rep RawOBundle #
Instance details Defined in ZcashHaskell.Types type Rep RawOBundle = D1 ('MetaData "RawOBundle" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "RawOBundle" 'PrefixI 'True) ((S1 ('MetaSel ('Just "zob_empty") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :: (S1 ('MetaSel ('Just "zob_actions") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [OrchardAction]) :: S1 ('MetaSel ('Just "zob_flags") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OrchardFlags))) :: ((S1 ('MetaSel ('Just "zob_value") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :: S1 ('MetaSel ('Just "zob_anchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString)) :: (S1 ('MetaSel ('Just "zob_proof") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: S1 ('MetaSel ('Just "zob_sig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString)))))
type StaticBorshSize RawOBundle #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize RawOBundle = StaticBorshSize (AsStruct RawOBundle)
type Code RawOBundle #
Instance details Defined in ZcashHaskell.Types type Code RawOBundle = GCode RawOBundle
type DatatypeInfoOf RawOBundle #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf RawOBundle = GDatatypeInfoOf RawOBundle

data OrchardBundle #

Type for an Orchard Bundle

Constructors

OrchardBundle
Fields obActions :: ![OrchardAction] obFlags :: !OrchardFlags obValue :: !Int64 obAnchor :: !HexString obProof :: !HexString obSig :: !HexString

Instances

Instances details

ToJSON OrchardBundle #
Instance details Defined in ZcashHaskell.Types Methods toJSON :: OrchardBundle -> Value # toEncoding :: OrchardBundle -> Encoding # toJSONList :: [OrchardBundle] -> Value # toEncodingList :: [OrchardBundle] -> Encoding # omitField :: OrchardBundle -> Bool #
Generic OrchardBundle #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep OrchardBundle :: Type -> Type # Methods from :: OrchardBundle -> Rep OrchardBundle x # to :: Rep OrchardBundle x -> OrchardBundle #
Read OrchardBundle #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS OrchardBundle # readList :: ReadS [OrchardBundle] # readPrec :: ReadPrec OrchardBundle # readListPrec :: ReadPrec [OrchardBundle] #
Show OrchardBundle #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> OrchardBundle -> ShowS # show :: OrchardBundle -> String # showList :: [OrchardBundle] -> ShowS #
Eq OrchardBundle #
Instance details Defined in ZcashHaskell.Types Methods (==) :: OrchardBundle -> OrchardBundle -> Bool # (/=) :: OrchardBundle -> OrchardBundle -> Bool #
type Rep OrchardBundle #
Instance details Defined in ZcashHaskell.Types type Rep OrchardBundle = D1 ('MetaData "OrchardBundle" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "OrchardBundle" 'PrefixI 'True) ((S1 ('MetaSel ('Just "obActions") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [OrchardAction]) :: (S1 ('MetaSel ('Just "obFlags") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OrchardFlags) :: S1 ('MetaSel ('Just "obValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64))) :: (S1 ('MetaSel ('Just "obAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: (S1 ('MetaSel ('Just "obProof") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :*: S1 ('MetaSel ('Just "obSig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString)))))

fromRawOBundle :: RawOBundle -> Maybe OrchardBundle #

data OrchardFlags #

Type for the Orchard bundle flags

Constructors

OrchardFlags
Fields of_spends :: !Bool of_outputs :: !Bool

Instances

Instances details

ToJSON OrchardFlags #
Instance details Defined in ZcashHaskell.Types Methods toJSON :: OrchardFlags -> Value # toEncoding :: OrchardFlags -> Encoding # toJSONList :: [OrchardFlags] -> Value # toEncodingList :: [OrchardFlags] -> Encoding # omitField :: OrchardFlags -> Bool #
Generic OrchardFlags #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep OrchardFlags :: Type -> Type # Methods from :: OrchardFlags -> Rep OrchardFlags x # to :: Rep OrchardFlags x -> OrchardFlags #
Read OrchardFlags #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS OrchardFlags # readList :: ReadS [OrchardFlags] # readPrec :: ReadPrec OrchardFlags # readListPrec :: ReadPrec [OrchardFlags] #
Show OrchardFlags #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> OrchardFlags -> ShowS # show :: OrchardFlags -> String # showList :: [OrchardFlags] -> ShowS #
BorshSize OrchardFlags #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize OrchardFlags :: KnownSize # Methods borshSize :: Proxy OrchardFlags -> Size (StaticBorshSize OrchardFlags) #
FromBorsh OrchardFlags #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s OrchardFlags #
ToBorsh OrchardFlags #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder OrchardFlags #
Show OrchardFlags #
Instance details Defined in ZcashHaskell.Types Methods toValue :: OrchardFlags -> Value #
Generic OrchardFlags #
Instance details Defined in ZcashHaskell.Types Associated Types type Code OrchardFlags :: [[Type]] # Methods from :: OrchardFlags -> Rep OrchardFlags # to :: Rep OrchardFlags -> OrchardFlags #
HasDatatypeInfo OrchardFlags #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf OrchardFlags :: DatatypeInfo # Methods datatypeInfo :: proxy OrchardFlags -> DatatypeInfo (Code OrchardFlags) #
Eq OrchardFlags #
Instance details Defined in ZcashHaskell.Types Methods (==) :: OrchardFlags -> OrchardFlags -> Bool # (/=) :: OrchardFlags -> OrchardFlags -> Bool #
type Rep OrchardFlags #
Instance details Defined in ZcashHaskell.Types type Rep OrchardFlags = D1 ('MetaData "OrchardFlags" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "OrchardFlags" 'PrefixI 'True) (S1 ('MetaSel ('Just "of_spends") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "of_outputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))
type StaticBorshSize OrchardFlags #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize OrchardFlags = StaticBorshSize (AsStruct OrchardFlags)
type Code OrchardFlags #
Instance details Defined in ZcashHaskell.Types type Code OrchardFlags = GCode OrchardFlags
type DatatypeInfoOf OrchardFlags #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf OrchardFlags = GDatatypeInfoOf OrchardFlags

data ZebraGetInfo #

Type for the response from the zebrad RPC method getinfo

Constructors

ZebraGetInfo
Fields zgi_build :: !Text zgi_subversion :: !Text

Instances

Instances details

FromJSON ZebraGetInfo #
Instance details Defined in ZcashHaskell.Types Methods parseJSON :: Value -> Parser ZebraGetInfo # parseJSONList :: Value -> Parser [ZebraGetInfo] # omittedField :: Maybe ZebraGetInfo #
Show ZebraGetInfo #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> ZebraGetInfo -> ShowS # show :: ZebraGetInfo -> String # showList :: [ZebraGetInfo] -> ShowS #
Eq ZebraGetInfo #
Instance details Defined in ZcashHaskell.Types Methods (==) :: ZebraGetInfo -> ZebraGetInfo -> Bool # (/=) :: ZebraGetInfo -> ZebraGetInfo -> Bool #

data ZebraGetBlockChainInfo #

Type for the response from the zebrad RPC method getblockchaininfo

Constructors

ZebraGetBlockChainInfo
Fields zgb_best :: !HexString zgb_blocks :: !Int zgb_net :: !ZcashNet

Instances

Instances details

FromJSON ZebraGetBlockChainInfo #
Instance details Defined in ZcashHaskell.Types Methods parseJSON :: Value -> Parser ZebraGetBlockChainInfo # parseJSONList :: Value -> Parser [ZebraGetBlockChainInfo] # omittedField :: Maybe ZebraGetBlockChainInfo #
Show ZebraGetBlockChainInfo #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> ZebraGetBlockChainInfo -> ShowS # show :: ZebraGetBlockChainInfo -> String # showList :: [ZebraGetBlockChainInfo] -> ShowS #
Eq ZebraGetBlockChainInfo #
Instance details Defined in ZcashHaskell.Types Methods (==) :: ZebraGetBlockChainInfo -> ZebraGetBlockChainInfo -> Bool # (/=) :: ZebraGetBlockChainInfo -> ZebraGetBlockChainInfo -> Bool #

Transparent

data TransparentType #

Type to represent the two kinds of transparent addresses

Constructors

P2SH
P2PKH

Instances

Instances details

Read TransparentType #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS TransparentType # readList :: ReadS [TransparentType] # readPrec :: ReadPrec TransparentType # readListPrec :: ReadPrec [TransparentType] #
Show TransparentType #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> TransparentType -> ShowS # show :: TransparentType -> String # showList :: [TransparentType] -> ShowS #
Eq TransparentType #
Instance details Defined in ZcashHaskell.Types Methods (==) :: TransparentType -> TransparentType -> Bool # (/=) :: TransparentType -> TransparentType -> Bool #

type TransparentSpendingKey = XPrvKey #

Type for transparent spending key

data TransparentReceiver #

Type to represent a transparent Zcash addresses

Constructors

TransparentReceiver
Fields tr_type :: !TransparentType tr_bytes :: !HexString

Instances

Instances details

Read TransparentReceiver #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS TransparentReceiver # readList :: ReadS [TransparentReceiver] # readPrec :: ReadPrec TransparentReceiver # readListPrec :: ReadPrec [TransparentReceiver] #
Show TransparentReceiver #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> TransparentReceiver -> ShowS # show :: TransparentReceiver -> String # showList :: [TransparentReceiver] -> ShowS #
Eq TransparentReceiver #
Instance details Defined in ZcashHaskell.Types Methods (==) :: TransparentReceiver -> TransparentReceiver -> Bool # (/=) :: TransparentReceiver -> TransparentReceiver -> Bool #

data TransparentAddress #

Type to represent a transparent Zcash addresses

Constructors

TransparentAddress
Fields ta_network :: !ZcashNet ta_receiver :: !TransparentReceiver

Instances

Instances details

Read TransparentAddress #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS TransparentAddress # readList :: ReadS [TransparentAddress] # readPrec :: ReadPrec TransparentAddress # readListPrec :: ReadPrec [TransparentAddress] #
Show TransparentAddress #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> TransparentAddress -> ShowS # show :: TransparentAddress -> String # showList :: [TransparentAddress] -> ShowS #
Eq TransparentAddress #
Instance details Defined in ZcashHaskell.Types Methods (==) :: TransparentAddress -> TransparentAddress -> Bool # (/=) :: TransparentAddress -> TransparentAddress -> Bool #

data ExchangeAddress #

Type to represent a TEX Zcash addresses

Constructors

ExchangeAddress
Fields ex_network :: !ZcashNet ex_address :: !TransparentReceiver

Instances

Instances details

Read ExchangeAddress #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS ExchangeAddress # readList :: ReadS [ExchangeAddress] # readPrec :: ReadPrec ExchangeAddress # readListPrec :: ReadPrec [ExchangeAddress] #
Show ExchangeAddress #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> ExchangeAddress -> ShowS # show :: ExchangeAddress -> String # showList :: [ExchangeAddress] -> ShowS #
Eq ExchangeAddress #
Instance details Defined in ZcashHaskell.Types Methods (==) :: ExchangeAddress -> ExchangeAddress -> Bool # (/=) :: ExchangeAddress -> ExchangeAddress -> Bool #

data RawTxIn #

Wrapper types for transparent elements

Constructors

RawTxIn
Fields rti_outpoint :: !RawOutPoint rti_script :: !ByteString rti_seq :: !Word32

Instances

Instances details

Generic RawTxIn #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep RawTxIn :: Type -> Type # Methods from :: RawTxIn -> Rep RawTxIn x # to :: Rep RawTxIn x -> RawTxIn #
Show RawTxIn #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> RawTxIn -> ShowS # show :: RawTxIn -> String # showList :: [RawTxIn] -> ShowS #
BorshSize RawTxIn #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize RawTxIn :: KnownSize # Methods borshSize :: Proxy RawTxIn -> Size (StaticBorshSize RawTxIn) #
FromBorsh RawTxIn #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s RawTxIn #
ToBorsh RawTxIn #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder RawTxIn #
Show RawTxIn #
Instance details Defined in ZcashHaskell.Types Methods toValue :: RawTxIn -> Value #
Generic RawTxIn #
Instance details Defined in ZcashHaskell.Types Associated Types type Code RawTxIn :: [[Type]] # Methods from :: RawTxIn -> Rep RawTxIn # to :: Rep RawTxIn -> RawTxIn #
HasDatatypeInfo RawTxIn #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf RawTxIn :: DatatypeInfo # Methods datatypeInfo :: proxy RawTxIn -> DatatypeInfo (Code RawTxIn) #
Eq RawTxIn #
Instance details Defined in ZcashHaskell.Types Methods (==) :: RawTxIn -> RawTxIn -> Bool # (/=) :: RawTxIn -> RawTxIn -> Bool #
type Rep RawTxIn #
Instance details Defined in ZcashHaskell.Types type Rep RawTxIn = D1 ('MetaData "RawTxIn" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "RawTxIn" 'PrefixI 'True) (S1 ('MetaSel ('Just "rti_outpoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RawOutPoint) :: (S1 ('MetaSel ('Just "rti_script") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :: S1 ('MetaSel ('Just "rti_seq") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32))))
type StaticBorshSize RawTxIn #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize RawTxIn = StaticBorshSize (AsStruct RawTxIn)
type Code RawTxIn #
Instance details Defined in ZcashHaskell.Types type Code RawTxIn = GCode RawTxIn
type DatatypeInfoOf RawTxIn #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf RawTxIn = GDatatypeInfoOf RawTxIn

data RawTxOut #

Constructors

RawTxOut
Fields rto_amt :: !Word64 rto_script :: !ByteString

Instances

Instances details

Generic RawTxOut #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep RawTxOut :: Type -> Type # Methods from :: RawTxOut -> Rep RawTxOut x # to :: Rep RawTxOut x -> RawTxOut #
Show RawTxOut #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> RawTxOut -> ShowS # show :: RawTxOut -> String # showList :: [RawTxOut] -> ShowS #
BorshSize RawTxOut #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize RawTxOut :: KnownSize # Methods borshSize :: Proxy RawTxOut -> Size (StaticBorshSize RawTxOut) #
FromBorsh RawTxOut #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s RawTxOut #
ToBorsh RawTxOut #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder RawTxOut #
Show RawTxOut #
Instance details Defined in ZcashHaskell.Types Methods toValue :: RawTxOut -> Value #
Generic RawTxOut #
Instance details Defined in ZcashHaskell.Types Associated Types type Code RawTxOut :: [[Type]] # Methods from :: RawTxOut -> Rep RawTxOut # to :: Rep RawTxOut -> RawTxOut #
HasDatatypeInfo RawTxOut #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf RawTxOut :: DatatypeInfo # Methods datatypeInfo :: proxy RawTxOut -> DatatypeInfo (Code RawTxOut) #
Eq RawTxOut #
Instance details Defined in ZcashHaskell.Types Methods (==) :: RawTxOut -> RawTxOut -> Bool # (/=) :: RawTxOut -> RawTxOut -> Bool #
type Rep RawTxOut #
Instance details Defined in ZcashHaskell.Types type Rep RawTxOut = D1 ('MetaData "RawTxOut" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "RawTxOut" 'PrefixI 'True) (S1 ('MetaSel ('Just "rto_amt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "rto_script") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))
type StaticBorshSize RawTxOut #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize RawTxOut = StaticBorshSize (AsStruct RawTxOut)
type Code RawTxOut #
Instance details Defined in ZcashHaskell.Types type Code RawTxOut = GCode RawTxOut
type DatatypeInfoOf RawTxOut #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf RawTxOut = GDatatypeInfoOf RawTxOut

data RawOutPoint #

Constructors

RawOutPoint
Fields rop_hash :: !ByteString rop_n :: !Word32

Instances

Instances details

Generic RawOutPoint #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep RawOutPoint :: Type -> Type # Methods from :: RawOutPoint -> Rep RawOutPoint x # to :: Rep RawOutPoint x -> RawOutPoint #
Show RawOutPoint #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> RawOutPoint -> ShowS # show :: RawOutPoint -> String # showList :: [RawOutPoint] -> ShowS #
BorshSize RawOutPoint #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize RawOutPoint :: KnownSize # Methods borshSize :: Proxy RawOutPoint -> Size (StaticBorshSize RawOutPoint) #
FromBorsh RawOutPoint #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s RawOutPoint #
ToBorsh RawOutPoint #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder RawOutPoint #
Show RawOutPoint #
Instance details Defined in ZcashHaskell.Types Methods toValue :: RawOutPoint -> Value #
Generic RawOutPoint #
Instance details Defined in ZcashHaskell.Types Associated Types type Code RawOutPoint :: [[Type]] # Methods from :: RawOutPoint -> Rep RawOutPoint # to :: Rep RawOutPoint -> RawOutPoint #
HasDatatypeInfo RawOutPoint #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf RawOutPoint :: DatatypeInfo # Methods datatypeInfo :: proxy RawOutPoint -> DatatypeInfo (Code RawOutPoint) #
Eq RawOutPoint #
Instance details Defined in ZcashHaskell.Types Methods (==) :: RawOutPoint -> RawOutPoint -> Bool # (/=) :: RawOutPoint -> RawOutPoint -> Bool #
type Rep RawOutPoint #
Instance details Defined in ZcashHaskell.Types type Rep RawOutPoint = D1 ('MetaData "RawOutPoint" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "RawOutPoint" 'PrefixI 'True) (S1 ('MetaSel ('Just "rop_hash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "rop_n") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32)))
type StaticBorshSize RawOutPoint #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize RawOutPoint = StaticBorshSize (AsStruct RawOutPoint)
type Code RawOutPoint #
Instance details Defined in ZcashHaskell.Types type Code RawOutPoint = GCode RawOutPoint
type DatatypeInfoOf RawOutPoint #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf RawOutPoint = GDatatypeInfoOf RawOutPoint

Sapling

newtype SaplingSpendingKey #

A spending key for Sapling

Constructors

SaplingSpendingKey ByteString

Instances

Instances details

Read SaplingSpendingKey #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS SaplingSpendingKey # readList :: ReadS [SaplingSpendingKey] # readPrec :: ReadPrec SaplingSpendingKey # readListPrec :: ReadPrec [SaplingSpendingKey] #
Show SaplingSpendingKey #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> SaplingSpendingKey -> ShowS # show :: SaplingSpendingKey -> String # showList :: [SaplingSpendingKey] -> ShowS #
Eq SaplingSpendingKey #
Instance details Defined in ZcashHaskell.Types Methods (==) :: SaplingSpendingKey -> SaplingSpendingKey -> Bool # (/=) :: SaplingSpendingKey -> SaplingSpendingKey -> Bool #
ToBytes SaplingSpendingKey #
Instance details Defined in ZcashHaskell.Types Methods getBytes :: SaplingSpendingKey -> ByteString #

newtype SaplingReceiver #

A Sapling receiver

Constructors

SaplingReceiver ByteString

Instances

Instances details

Read SaplingReceiver #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS SaplingReceiver # readList :: ReadS [SaplingReceiver] # readPrec :: ReadPrec SaplingReceiver # readListPrec :: ReadPrec [SaplingReceiver] #
Show SaplingReceiver #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> SaplingReceiver -> ShowS # show :: SaplingReceiver -> String # showList :: [SaplingReceiver] -> ShowS #
Eq SaplingReceiver #
Instance details Defined in ZcashHaskell.Types Methods (==) :: SaplingReceiver -> SaplingReceiver -> Bool # (/=) :: SaplingReceiver -> SaplingReceiver -> Bool #
ToBytes SaplingReceiver #
Instance details Defined in ZcashHaskell.Types Methods getBytes :: SaplingReceiver -> ByteString #

data SaplingAddress #

Constructors

SaplingAddress
Fields net_type :: !ZcashNet sa_receiver :: !SaplingReceiver

Instances

Instances details

Read SaplingAddress #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS SaplingAddress # readList :: ReadS [SaplingAddress] # readPrec :: ReadPrec SaplingAddress # readListPrec :: ReadPrec [SaplingAddress] #
Show SaplingAddress #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> SaplingAddress -> ShowS # show :: SaplingAddress -> String # showList :: [SaplingAddress] -> ShowS #
Eq SaplingAddress #
Instance details Defined in ZcashHaskell.Types Methods (==) :: SaplingAddress -> SaplingAddress -> Bool # (/=) :: SaplingAddress -> SaplingAddress -> Bool #

data ShieldedSpend #

Type to represent a Sapling Shielded Spend as provided by the getrawtransaction RPC method

Constructors

ShieldedSpend
Fields sp_cv :: !HexString sp_anchor :: !HexString sp_nullifier :: !HexString sp_rk :: !HexString sp_proof :: !HexString sp_auth :: !HexString

Instances

Instances details

FromJSON ShieldedSpend #
Instance details Defined in ZcashHaskell.Types Methods parseJSON :: Value -> Parser ShieldedSpend # parseJSONList :: Value -> Parser [ShieldedSpend] # omittedField :: Maybe ShieldedSpend #
ToJSON ShieldedSpend #
Instance details Defined in ZcashHaskell.Types Methods toJSON :: ShieldedSpend -> Value # toEncoding :: ShieldedSpend -> Encoding # toJSONList :: [ShieldedSpend] -> Value # toEncodingList :: [ShieldedSpend] -> Encoding # omitField :: ShieldedSpend -> Bool #
Generic ShieldedSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep ShieldedSpend :: Type -> Type # Methods from :: ShieldedSpend -> Rep ShieldedSpend x # to :: Rep ShieldedSpend x -> ShieldedSpend #
Read ShieldedSpend #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS ShieldedSpend # readList :: ReadS [ShieldedSpend] # readPrec :: ReadPrec ShieldedSpend # readListPrec :: ReadPrec [ShieldedSpend] #
Show ShieldedSpend #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> ShieldedSpend -> ShowS # show :: ShieldedSpend -> String # showList :: [ShieldedSpend] -> ShowS #
BorshSize ShieldedSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize ShieldedSpend :: KnownSize # Methods borshSize :: Proxy ShieldedSpend -> Size (StaticBorshSize ShieldedSpend) #
FromBorsh ShieldedSpend #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s ShieldedSpend #
ToBorsh ShieldedSpend #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder ShieldedSpend #
Show ShieldedSpend #
Instance details Defined in ZcashHaskell.Types Methods toValue :: ShieldedSpend -> Value #
Generic ShieldedSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type Code ShieldedSpend :: [[Type]] # Methods from :: ShieldedSpend -> Rep ShieldedSpend # to :: Rep ShieldedSpend -> ShieldedSpend #
HasDatatypeInfo ShieldedSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf ShieldedSpend :: DatatypeInfo # Methods datatypeInfo :: proxy ShieldedSpend -> DatatypeInfo (Code ShieldedSpend) #
Eq ShieldedSpend #
Instance details Defined in ZcashHaskell.Types Methods (==) :: ShieldedSpend -> ShieldedSpend -> Bool # (/=) :: ShieldedSpend -> ShieldedSpend -> Bool #
type Rep ShieldedSpend #
Instance details Defined in ZcashHaskell.Types type Rep ShieldedSpend = D1 ('MetaData "ShieldedSpend" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "ShieldedSpend" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sp_cv") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: (S1 ('MetaSel ('Just "sp_anchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: S1 ('MetaSel ('Just "sp_nullifier") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString))) :: (S1 ('MetaSel ('Just "sp_rk") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: (S1 ('MetaSel ('Just "sp_proof") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :*: S1 ('MetaSel ('Just "sp_auth") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString)))))
type StaticBorshSize ShieldedSpend #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize ShieldedSpend = StaticBorshSize (AsStruct ShieldedSpend)
type Code ShieldedSpend #
Instance details Defined in ZcashHaskell.Types type Code ShieldedSpend = GCode ShieldedSpend
type DatatypeInfoOf ShieldedSpend #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf ShieldedSpend = GDatatypeInfoOf ShieldedSpend

data ShieldedOutput #

Type to represent a Sapling Shielded Output as provided by the getrawtransaction RPC method of zcashd.

Constructors

ShieldedOutput

Fields

s_cv :: !HexString
Value commitment to the input note
s_cmu :: !HexString
The u-coordinate of the note commitment for the output note
s_ephKey :: !HexString
Ephemeral Jubjub public key
s_encCipherText :: !HexString
The output note encrypted to the recipient
s_outCipherText :: !HexString
A ciphertext enabling the sender to recover the output note
s_proof :: !HexString
Zero-knowledge proof using the Sapling Output circuit

Instances

Instances details

FromJSON ShieldedOutput #
Instance details Defined in ZcashHaskell.Types Methods parseJSON :: Value -> Parser ShieldedOutput # parseJSONList :: Value -> Parser [ShieldedOutput] # omittedField :: Maybe ShieldedOutput #
ToJSON ShieldedOutput #
Instance details Defined in ZcashHaskell.Types Methods toJSON :: ShieldedOutput -> Value # toEncoding :: ShieldedOutput -> Encoding # toJSONList :: [ShieldedOutput] -> Value # toEncodingList :: [ShieldedOutput] -> Encoding # omitField :: ShieldedOutput -> Bool #
Generic ShieldedOutput #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep ShieldedOutput :: Type -> Type # Methods from :: ShieldedOutput -> Rep ShieldedOutput x # to :: Rep ShieldedOutput x -> ShieldedOutput #
Read ShieldedOutput #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS ShieldedOutput # readList :: ReadS [ShieldedOutput] # readPrec :: ReadPrec ShieldedOutput # readListPrec :: ReadPrec [ShieldedOutput] #
Show ShieldedOutput #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> ShieldedOutput -> ShowS # show :: ShieldedOutput -> String # showList :: [ShieldedOutput] -> ShowS #
BorshSize ShieldedOutput #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize ShieldedOutput :: KnownSize # Methods borshSize :: Proxy ShieldedOutput -> Size (StaticBorshSize ShieldedOutput) #
FromBorsh ShieldedOutput #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s ShieldedOutput #
ToBorsh ShieldedOutput #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder ShieldedOutput #
Show ShieldedOutput #
Instance details Defined in ZcashHaskell.Types Methods toValue :: ShieldedOutput -> Value #
Generic ShieldedOutput #
Instance details Defined in ZcashHaskell.Types Associated Types type Code ShieldedOutput :: [[Type]] # Methods from :: ShieldedOutput -> Rep ShieldedOutput # to :: Rep ShieldedOutput -> ShieldedOutput #
HasDatatypeInfo ShieldedOutput #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf ShieldedOutput :: DatatypeInfo # Methods datatypeInfo :: proxy ShieldedOutput -> DatatypeInfo (Code ShieldedOutput) #
Eq ShieldedOutput #
Instance details Defined in ZcashHaskell.Types Methods (==) :: ShieldedOutput -> ShieldedOutput -> Bool # (/=) :: ShieldedOutput -> ShieldedOutput -> Bool #
type Rep ShieldedOutput #
Instance details Defined in ZcashHaskell.Types type Rep ShieldedOutput = D1 ('MetaData "ShieldedOutput" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "ShieldedOutput" 'PrefixI 'True) ((S1 ('MetaSel ('Just "s_cv") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: (S1 ('MetaSel ('Just "s_cmu") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: S1 ('MetaSel ('Just "s_ephKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString))) :: (S1 ('MetaSel ('Just "s_encCipherText") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: (S1 ('MetaSel ('Just "s_outCipherText") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :*: S1 ('MetaSel ('Just "s_proof") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString)))))
type StaticBorshSize ShieldedOutput #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize ShieldedOutput = StaticBorshSize (AsStruct ShieldedOutput)
type Code ShieldedOutput #
Instance details Defined in ZcashHaskell.Types type Code ShieldedOutput = GCode ShieldedOutput
type DatatypeInfoOf ShieldedOutput #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf ShieldedOutput = GDatatypeInfoOf ShieldedOutput

newtype SaplingCommitmentTree #

Type for a Sapling note commitment tree

Constructors

SaplingCommitmentTree
Fields sapTree :: HexString

Instances

Instances details

Read SaplingCommitmentTree #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS SaplingCommitmentTree # readList :: ReadS [SaplingCommitmentTree] # readPrec :: ReadPrec SaplingCommitmentTree # readListPrec :: ReadPrec [SaplingCommitmentTree] #
Show SaplingCommitmentTree #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> SaplingCommitmentTree -> ShowS # show :: SaplingCommitmentTree -> String # showList :: [SaplingCommitmentTree] -> ShowS #
Eq SaplingCommitmentTree #
Instance details Defined in ZcashHaskell.Types Methods (==) :: SaplingCommitmentTree -> SaplingCommitmentTree -> Bool # (/=) :: SaplingCommitmentTree -> SaplingCommitmentTree -> Bool #

data SaplingRawTree #

Constructors

SaplingRawTree
Fields srt_left :: !HexString srt_right :: !HexString srt_parents :: ![HexString]

Instances

Instances details

Generic SaplingRawTree #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep SaplingRawTree :: Type -> Type # Methods from :: SaplingRawTree -> Rep SaplingRawTree x # to :: Rep SaplingRawTree x -> SaplingRawTree #
Show SaplingRawTree #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> SaplingRawTree -> ShowS # show :: SaplingRawTree -> String # showList :: [SaplingRawTree] -> ShowS #
BorshSize SaplingRawTree #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize SaplingRawTree :: KnownSize # Methods borshSize :: Proxy SaplingRawTree -> Size (StaticBorshSize SaplingRawTree) #
FromBorsh SaplingRawTree #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s SaplingRawTree #
ToBorsh SaplingRawTree #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder SaplingRawTree #
Show SaplingRawTree #
Instance details Defined in ZcashHaskell.Types Methods toValue :: SaplingRawTree -> Value #
Generic SaplingRawTree #
Instance details Defined in ZcashHaskell.Types Associated Types type Code SaplingRawTree :: [[Type]] # Methods from :: SaplingRawTree -> Rep SaplingRawTree # to :: Rep SaplingRawTree -> SaplingRawTree #
HasDatatypeInfo SaplingRawTree #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf SaplingRawTree :: DatatypeInfo # Methods datatypeInfo :: proxy SaplingRawTree -> DatatypeInfo (Code SaplingRawTree) #
Eq SaplingRawTree #
Instance details Defined in ZcashHaskell.Types Methods (==) :: SaplingRawTree -> SaplingRawTree -> Bool # (/=) :: SaplingRawTree -> SaplingRawTree -> Bool #
type Rep SaplingRawTree #
Instance details Defined in ZcashHaskell.Types type Rep SaplingRawTree = D1 ('MetaData "SaplingRawTree" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "SaplingRawTree" 'PrefixI 'True) (S1 ('MetaSel ('Just "srt_left") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: (S1 ('MetaSel ('Just "srt_right") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: S1 ('MetaSel ('Just "srt_parents") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [HexString]))))
type StaticBorshSize SaplingRawTree #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize SaplingRawTree = StaticBorshSize (AsStruct SaplingRawTree)
type Code SaplingRawTree #
Instance details Defined in ZcashHaskell.Types type Code SaplingRawTree = GCode SaplingRawTree
type DatatypeInfoOf SaplingRawTree #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf SaplingRawTree = GDatatypeInfoOf SaplingRawTree

data SaplingTree #

Constructors

SaplingTree
Fields st_left :: !(Maybe HexString) st_right :: !(Maybe HexString) st_parents :: ![Maybe HexString]

Instances

Instances details

Read SaplingTree #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS SaplingTree # readList :: ReadS [SaplingTree] # readPrec :: ReadPrec SaplingTree # readListPrec :: ReadPrec [SaplingTree] #
Show SaplingTree #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> SaplingTree -> ShowS # show :: SaplingTree -> String # showList :: [SaplingTree] -> ShowS #
Eq SaplingTree #
Instance details Defined in ZcashHaskell.Types Methods (==) :: SaplingTree -> SaplingTree -> Bool # (/=) :: SaplingTree -> SaplingTree -> Bool #

data SaplingFrontier #

Constructors

SaplingFrontier
Fields sf_pos :: !Int64 sf_leaf :: !HexString sf_ommers :: ![HexString]

Instances

Instances details

Generic SaplingFrontier #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep SaplingFrontier :: Type -> Type # Methods from :: SaplingFrontier -> Rep SaplingFrontier x # to :: Rep SaplingFrontier x -> SaplingFrontier #
Show SaplingFrontier #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> SaplingFrontier -> ShowS # show :: SaplingFrontier -> String # showList :: [SaplingFrontier] -> ShowS #
BorshSize SaplingFrontier #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize SaplingFrontier :: KnownSize # Methods borshSize :: Proxy SaplingFrontier -> Size (StaticBorshSize SaplingFrontier) #
FromBorsh SaplingFrontier #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s SaplingFrontier #
ToBorsh SaplingFrontier #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder SaplingFrontier #
Show SaplingFrontier #
Instance details Defined in ZcashHaskell.Types Methods toValue :: SaplingFrontier -> Value #
Generic SaplingFrontier #
Instance details Defined in ZcashHaskell.Types Associated Types type Code SaplingFrontier :: [[Type]] # Methods from :: SaplingFrontier -> Rep SaplingFrontier # to :: Rep SaplingFrontier -> SaplingFrontier #
HasDatatypeInfo SaplingFrontier #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf SaplingFrontier :: DatatypeInfo # Methods datatypeInfo :: proxy SaplingFrontier -> DatatypeInfo (Code SaplingFrontier) #
Eq SaplingFrontier #
Instance details Defined in ZcashHaskell.Types Methods (==) :: SaplingFrontier -> SaplingFrontier -> Bool # (/=) :: SaplingFrontier -> SaplingFrontier -> Bool #
type Rep SaplingFrontier #
Instance details Defined in ZcashHaskell.Types type Rep SaplingFrontier = D1 ('MetaData "SaplingFrontier" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "SaplingFrontier" 'PrefixI 'True) (S1 ('MetaSel ('Just "sf_pos") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :: (S1 ('MetaSel ('Just "sf_leaf") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: S1 ('MetaSel ('Just "sf_ommers") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [HexString]))))
type StaticBorshSize SaplingFrontier #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize SaplingFrontier = StaticBorshSize (AsStruct SaplingFrontier)
type Code SaplingFrontier #
Instance details Defined in ZcashHaskell.Types type Code SaplingFrontier = GCode SaplingFrontier
type DatatypeInfoOf SaplingFrontier #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf SaplingFrontier = GDatatypeInfoOf SaplingFrontier

newtype SaplingWitness #

Type for a Sapling incremental witness

Constructors

SaplingWitness
Fields sapWit :: HexString

Instances

Instances details

Read SaplingWitness #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS SaplingWitness # readList :: ReadS [SaplingWitness] # readPrec :: ReadPrec SaplingWitness # readListPrec :: ReadPrec [SaplingWitness] #
Show SaplingWitness #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> SaplingWitness -> ShowS # show :: SaplingWitness -> String # showList :: [SaplingWitness] -> ShowS #
Eq SaplingWitness #
Instance details Defined in ZcashHaskell.Types Methods (==) :: SaplingWitness -> SaplingWitness -> Bool # (/=) :: SaplingWitness -> SaplingWitness -> Bool #

Orchard

newtype OrchardSpendingKey #

A spending key for Orchard

Constructors

OrchardSpendingKey ByteString

Instances

Instances details

Read OrchardSpendingKey #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS OrchardSpendingKey # readList :: ReadS [OrchardSpendingKey] # readPrec :: ReadPrec OrchardSpendingKey # readListPrec :: ReadPrec [OrchardSpendingKey] #
Show OrchardSpendingKey #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> OrchardSpendingKey -> ShowS # show :: OrchardSpendingKey -> String # showList :: [OrchardSpendingKey] -> ShowS #
Eq OrchardSpendingKey #
Instance details Defined in ZcashHaskell.Types Methods (==) :: OrchardSpendingKey -> OrchardSpendingKey -> Bool # (/=) :: OrchardSpendingKey -> OrchardSpendingKey -> Bool #
ToBytes OrchardSpendingKey #
Instance details Defined in ZcashHaskell.Types Methods getBytes :: OrchardSpendingKey -> ByteString #

newtype OrchardReceiver #

An Orchard receiver

Constructors

OrchardReceiver ByteString

Instances

Instances details

Read OrchardReceiver #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS OrchardReceiver # readList :: ReadS [OrchardReceiver] # readPrec :: ReadPrec OrchardReceiver # readListPrec :: ReadPrec [OrchardReceiver] #
Show OrchardReceiver #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> OrchardReceiver -> ShowS # show :: OrchardReceiver -> String # showList :: [OrchardReceiver] -> ShowS #
Eq OrchardReceiver #
Instance details Defined in ZcashHaskell.Types Methods (==) :: OrchardReceiver -> OrchardReceiver -> Bool # (/=) :: OrchardReceiver -> OrchardReceiver -> Bool #
ToBytes OrchardReceiver #
Instance details Defined in ZcashHaskell.Types Methods getBytes :: OrchardReceiver -> ByteString #

data UnifiedAddress #

Type to represent a Unified Address

Constructors

UnifiedAddress
Fields ua_net :: !ZcashNet o_rec :: !(Maybe OrchardReceiver) s_rec :: !(Maybe SaplingReceiver) t_rec :: !(Maybe TransparentReceiver)

Instances

Instances details

Read UnifiedAddress #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS UnifiedAddress # readList :: ReadS [UnifiedAddress] # readPrec :: ReadPrec UnifiedAddress # readListPrec :: ReadPrec [UnifiedAddress] #
Show UnifiedAddress #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> UnifiedAddress -> ShowS # show :: UnifiedAddress -> String # showList :: [UnifiedAddress] -> ShowS #
Eq UnifiedAddress #
Instance details Defined in ZcashHaskell.Types Methods (==) :: UnifiedAddress -> UnifiedAddress -> Bool # (/=) :: UnifiedAddress -> UnifiedAddress -> Bool #

data RawUA #

Helper type for marshalling UAs

Constructors

RawUA
Fields raw_net :: !Word8 raw_o :: !ByteString raw_s :: !ByteString raw_t :: !ByteString raw_to :: !ByteString

Instances

Instances details

Generic RawUA #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep RawUA :: Type -> Type # Methods from :: RawUA -> Rep RawUA x # to :: Rep RawUA x -> RawUA #
Show RawUA #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> RawUA -> ShowS # show :: RawUA -> String # showList :: [RawUA] -> ShowS #
BorshSize RawUA #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize RawUA :: KnownSize # Methods borshSize :: Proxy RawUA -> Size (StaticBorshSize RawUA) #
FromBorsh RawUA #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s RawUA #
ToBorsh RawUA #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder RawUA #
Show RawUA #
Instance details Defined in ZcashHaskell.Types Methods toValue :: RawUA -> Value #
Generic RawUA #
Instance details Defined in ZcashHaskell.Types Associated Types type Code RawUA :: [[Type]] # Methods from :: RawUA -> Rep RawUA # to :: Rep RawUA -> RawUA #
HasDatatypeInfo RawUA #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf RawUA :: DatatypeInfo # Methods datatypeInfo :: proxy RawUA -> DatatypeInfo (Code RawUA) #
Eq RawUA #
Instance details Defined in ZcashHaskell.Types Methods (==) :: RawUA -> RawUA -> Bool # (/=) :: RawUA -> RawUA -> Bool #
type Rep RawUA #
Instance details Defined in ZcashHaskell.Types type Rep RawUA = D1 ('MetaData "RawUA" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "RawUA" 'PrefixI 'True) ((S1 ('MetaSel ('Just "raw_net") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8) :: S1 ('MetaSel ('Just "raw_o") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :: (S1 ('MetaSel ('Just "raw_s") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :: (S1 ('MetaSel ('Just "raw_t") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :: S1 ('MetaSel ('Just "raw_to") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))))
type StaticBorshSize RawUA #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize RawUA = StaticBorshSize (AsStruct RawUA)
type Code RawUA #
Instance details Defined in ZcashHaskell.Types type Code RawUA = GCode RawUA
type DatatypeInfoOf RawUA #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf RawUA = GDatatypeInfoOf RawUA

data ValidAddress #

A type to handle user-entered addresses

Constructors

Unified !UnifiedAddress
Sapling !SaplingAddress
Transparent !TransparentAddress
Exchange !ExchangeAddress

Instances

Instances details

Show ValidAddress #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> ValidAddress -> ShowS # show :: ValidAddress -> String # showList :: [ValidAddress] -> ShowS #
Eq ValidAddress #
Instance details Defined in ZcashHaskell.Types Methods (==) :: ValidAddress -> ValidAddress -> Bool # (/=) :: ValidAddress -> ValidAddress -> Bool #

data ValidVk #

A type to handle user-entered viewing keys

Constructors

FullVk !UnifiedFullViewingKey
IncomingVk !UnifiedIncomingViewingKey

Instances

Instances details

Read ValidVk #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS ValidVk # readList :: ReadS [ValidVk] # readPrec :: ReadPrec ValidVk # readListPrec :: ReadPrec [ValidVk] #
Show ValidVk #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> ValidVk -> ShowS # show :: ValidVk -> String # showList :: [ValidVk] -> ShowS #
Eq ValidVk #
Instance details Defined in ZcashHaskell.Types Methods (==) :: ValidVk -> ValidVk -> Bool # (/=) :: ValidVk -> ValidVk -> Bool #

data UnifiedFullViewingKey #

Type to represent a Unified Full Viewing Key

Constructors

UnifiedFullViewingKey

Fields

net :: !Word8
Number representing the network the key belongs to. 1 for mainnet, 2 for testnet and 3 for regtestnet.
o_key :: !ByteString
Raw bytes of the Orchard Full Viewing Key as specified in ZIP-316
s_key :: !ByteString
Raw bytes of the Sapling Full Viewing Key as specified in ZIP-316
t_key :: !ByteString
Raw bytes of the P2PKH chain code and public key as specified in ZIP-316

Instances

Instances details

Generic UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep UnifiedFullViewingKey :: Type -> Type # Methods from :: UnifiedFullViewingKey -> Rep UnifiedFullViewingKey x # to :: Rep UnifiedFullViewingKey x -> UnifiedFullViewingKey #
Read UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS UnifiedFullViewingKey # readList :: ReadS [UnifiedFullViewingKey] # readPrec :: ReadPrec UnifiedFullViewingKey # readListPrec :: ReadPrec [UnifiedFullViewingKey] #
Show UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> UnifiedFullViewingKey -> ShowS # show :: UnifiedFullViewingKey -> String # showList :: [UnifiedFullViewingKey] -> ShowS #
BorshSize UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize UnifiedFullViewingKey :: KnownSize # Methods borshSize :: Proxy UnifiedFullViewingKey -> Size (StaticBorshSize UnifiedFullViewingKey) #
FromBorsh UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s UnifiedFullViewingKey #
ToBorsh UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder UnifiedFullViewingKey #
Show UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types Methods toValue :: UnifiedFullViewingKey -> Value #
Generic UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types Associated Types type Code UnifiedFullViewingKey :: [[Type]] # Methods from :: UnifiedFullViewingKey -> Rep UnifiedFullViewingKey # to :: Rep UnifiedFullViewingKey -> UnifiedFullViewingKey #
HasDatatypeInfo UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf UnifiedFullViewingKey :: DatatypeInfo # Methods datatypeInfo :: proxy UnifiedFullViewingKey -> DatatypeInfo (Code UnifiedFullViewingKey) #
Eq UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types Methods (==) :: UnifiedFullViewingKey -> UnifiedFullViewingKey -> Bool # (/=) :: UnifiedFullViewingKey -> UnifiedFullViewingKey -> Bool #
type Rep UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types type Rep UnifiedFullViewingKey = D1 ('MetaData "UnifiedFullViewingKey" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "UnifiedFullViewingKey" 'PrefixI 'True) ((S1 ('MetaSel ('Just "net") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8) :: S1 ('MetaSel ('Just "o_key") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :: (S1 ('MetaSel ('Just "s_key") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "t_key") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString))))
type StaticBorshSize UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize UnifiedFullViewingKey = StaticBorshSize (AsStruct UnifiedFullViewingKey)
type Code UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types type Code UnifiedFullViewingKey = GCode UnifiedFullViewingKey
type DatatypeInfoOf UnifiedFullViewingKey #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf UnifiedFullViewingKey = GDatatypeInfoOf UnifiedFullViewingKey

data UnifiedIncomingViewingKey #

Type to represent a Unified Incoming Viewing Key

Constructors

UnifiedIncomingViewingKey

Fields

i_net :: !Word8
Number representing the network the key belongs to. 1 for mainnet, 2 for testnet and 3 for regtestnet.
i_o_key :: !ByteString
Raw bytes of the Orchard Incoming Viewing Key as specified in ZIP-316
i_s_key :: !ByteString
Raw bytes of the Sapling Incoming Viewing Key as specified in ZIP-316
i_t_key :: !ByteString
Raw bytes of the P2PKH chain code and public key as specified in ZIP-316

Instances

Instances details

Generic UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep UnifiedIncomingViewingKey :: Type -> Type # Methods from :: UnifiedIncomingViewingKey -> Rep UnifiedIncomingViewingKey x # to :: Rep UnifiedIncomingViewingKey x -> UnifiedIncomingViewingKey #
Read UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS UnifiedIncomingViewingKey # readList :: ReadS [UnifiedIncomingViewingKey] # readPrec :: ReadPrec UnifiedIncomingViewingKey # readListPrec :: ReadPrec [UnifiedIncomingViewingKey] #
Show UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> UnifiedIncomingViewingKey -> ShowS # show :: UnifiedIncomingViewingKey -> String # showList :: [UnifiedIncomingViewingKey] -> ShowS #
BorshSize UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize UnifiedIncomingViewingKey :: KnownSize # Methods borshSize :: Proxy UnifiedIncomingViewingKey -> Size (StaticBorshSize UnifiedIncomingViewingKey) #
FromBorsh UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s UnifiedIncomingViewingKey #
ToBorsh UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder UnifiedIncomingViewingKey #
Show UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types Methods toValue :: UnifiedIncomingViewingKey -> Value #
Generic UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types Associated Types type Code UnifiedIncomingViewingKey :: [[Type]] # Methods from :: UnifiedIncomingViewingKey -> Rep UnifiedIncomingViewingKey # to :: Rep UnifiedIncomingViewingKey -> UnifiedIncomingViewingKey #
HasDatatypeInfo UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf UnifiedIncomingViewingKey :: DatatypeInfo # Methods datatypeInfo :: proxy UnifiedIncomingViewingKey -> DatatypeInfo (Code UnifiedIncomingViewingKey) #
Eq UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types Methods (==) :: UnifiedIncomingViewingKey -> UnifiedIncomingViewingKey -> Bool # (/=) :: UnifiedIncomingViewingKey -> UnifiedIncomingViewingKey -> Bool #
type Rep UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types type Rep UnifiedIncomingViewingKey = D1 ('MetaData "UnifiedIncomingViewingKey" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "UnifiedIncomingViewingKey" 'PrefixI 'True) ((S1 ('MetaSel ('Just "i_net") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8) :: S1 ('MetaSel ('Just "i_o_key") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :: (S1 ('MetaSel ('Just "i_s_key") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "i_t_key") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString))))
type StaticBorshSize UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize UnifiedIncomingViewingKey = StaticBorshSize (AsStruct UnifiedIncomingViewingKey)
type Code UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types type Code UnifiedIncomingViewingKey = GCode UnifiedIncomingViewingKey
type DatatypeInfoOf UnifiedIncomingViewingKey #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf UnifiedIncomingViewingKey = GDatatypeInfoOf UnifiedIncomingViewingKey

data OrchardAction #

Type to represent an Orchard Action as provided by the getrawtransaction RPC method of zcashd, and defined in the Zcash Protocol

Constructors

OrchardAction

Fields

nf :: !HexString
The nullifier of the input note
rk :: !HexString
The randomized validating key for auth
cmx :: !HexString
The x-coordinate of the note commitment for the output note
eph_key :: !HexString
An encoding of an ephemeral Pallas public key
enc_ciphertext :: !HexString
The output note encrypted to the recipient
out_ciphertext :: !HexString
A ciphertext enabling the sender to recover the output note
cv :: !HexString
A value commitment to the net value of the input note minus the output note
auth :: !HexString
A signature authorizing the spend in this Action

Instances

Instances details

FromJSON OrchardAction #
Instance details Defined in ZcashHaskell.Types Methods parseJSON :: Value -> Parser OrchardAction # parseJSONList :: Value -> Parser [OrchardAction] # omittedField :: Maybe OrchardAction #
ToJSON OrchardAction #
Instance details Defined in ZcashHaskell.Types Methods toJSON :: OrchardAction -> Value # toEncoding :: OrchardAction -> Encoding # toJSONList :: [OrchardAction] -> Value # toEncodingList :: [OrchardAction] -> Encoding # omitField :: OrchardAction -> Bool #
Generic OrchardAction #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep OrchardAction :: Type -> Type # Methods from :: OrchardAction -> Rep OrchardAction x # to :: Rep OrchardAction x -> OrchardAction #
Read OrchardAction #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS OrchardAction # readList :: ReadS [OrchardAction] # readPrec :: ReadPrec OrchardAction # readListPrec :: ReadPrec [OrchardAction] #
Show OrchardAction #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> OrchardAction -> ShowS # show :: OrchardAction -> String # showList :: [OrchardAction] -> ShowS #
BorshSize OrchardAction #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize OrchardAction :: KnownSize # Methods borshSize :: Proxy OrchardAction -> Size (StaticBorshSize OrchardAction) #
FromBorsh OrchardAction #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s OrchardAction #
ToBorsh OrchardAction #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder OrchardAction #
Show OrchardAction #
Instance details Defined in ZcashHaskell.Types Methods toValue :: OrchardAction -> Value #
Generic OrchardAction #
Instance details Defined in ZcashHaskell.Types Associated Types type Code OrchardAction :: [[Type]] # Methods from :: OrchardAction -> Rep OrchardAction # to :: Rep OrchardAction -> OrchardAction #
HasDatatypeInfo OrchardAction #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf OrchardAction :: DatatypeInfo # Methods datatypeInfo :: proxy OrchardAction -> DatatypeInfo (Code OrchardAction) #
Eq OrchardAction #
Instance details Defined in ZcashHaskell.Types Methods (==) :: OrchardAction -> OrchardAction -> Bool # (/=) :: OrchardAction -> OrchardAction -> Bool #
type Rep OrchardAction #
Instance details Defined in ZcashHaskell.Types type Rep OrchardAction = D1 ('MetaData "OrchardAction" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "OrchardAction" 'PrefixI 'True) (((S1 ('MetaSel ('Just "nf") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: S1 ('MetaSel ('Just "rk") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString)) :: (S1 ('MetaSel ('Just "cmx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: S1 ('MetaSel ('Just "eph_key") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString))) :: ((S1 ('MetaSel ('Just "enc_ciphertext") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: S1 ('MetaSel ('Just "out_ciphertext") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString)) :: (S1 ('MetaSel ('Just "cv") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :*: S1 ('MetaSel ('Just "auth") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString)))))
type StaticBorshSize OrchardAction #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize OrchardAction = StaticBorshSize (AsStruct OrchardAction)
type Code OrchardAction #
Instance details Defined in ZcashHaskell.Types type Code OrchardAction = GCode OrchardAction
type DatatypeInfoOf OrchardAction #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf OrchardAction = GDatatypeInfoOf OrchardAction

data MerklePath #

Constructors

MerklePath
Fields mp_position :: !Int32 mp_path :: ![HexString]

Instances

Instances details

Generic MerklePath #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep MerklePath :: Type -> Type # Methods from :: MerklePath -> Rep MerklePath x # to :: Rep MerklePath x -> MerklePath #
Show MerklePath #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> MerklePath -> ShowS # show :: MerklePath -> String # showList :: [MerklePath] -> ShowS #
BorshSize MerklePath #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize MerklePath :: KnownSize # Methods borshSize :: Proxy MerklePath -> Size (StaticBorshSize MerklePath) #
FromBorsh MerklePath #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s MerklePath #
ToBorsh MerklePath #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder MerklePath #
Show MerklePath #
Instance details Defined in ZcashHaskell.Types Methods toValue :: MerklePath -> Value #
Generic MerklePath #
Instance details Defined in ZcashHaskell.Types Associated Types type Code MerklePath :: [[Type]] # Methods from :: MerklePath -> Rep MerklePath # to :: Rep MerklePath -> MerklePath #
HasDatatypeInfo MerklePath #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf MerklePath :: DatatypeInfo # Methods datatypeInfo :: proxy MerklePath -> DatatypeInfo (Code MerklePath) #
Eq MerklePath #
Instance details Defined in ZcashHaskell.Types Methods (==) :: MerklePath -> MerklePath -> Bool # (/=) :: MerklePath -> MerklePath -> Bool #
type Rep MerklePath #
Instance details Defined in ZcashHaskell.Types type Rep MerklePath = D1 ('MetaData "MerklePath" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "MerklePath" 'PrefixI 'True) (S1 ('MetaSel ('Just "mp_position") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int32) :*: S1 ('MetaSel ('Just "mp_path") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [HexString])))
type StaticBorshSize MerklePath #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize MerklePath = StaticBorshSize (AsStruct MerklePath)
type Code MerklePath #
Instance details Defined in ZcashHaskell.Types type Code MerklePath = GCode MerklePath
type DatatypeInfoOf MerklePath #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf MerklePath = GDatatypeInfoOf MerklePath

newtype OrchardCommitmentTree #

Type for a Orchard note commitment tree

Constructors

OrchardCommitmentTree
Fields orchTree :: HexString

Instances

Instances details

Read OrchardCommitmentTree #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS OrchardCommitmentTree # readList :: ReadS [OrchardCommitmentTree] # readPrec :: ReadPrec OrchardCommitmentTree # readListPrec :: ReadPrec [OrchardCommitmentTree] #
Show OrchardCommitmentTree #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> OrchardCommitmentTree -> ShowS # show :: OrchardCommitmentTree -> String # showList :: [OrchardCommitmentTree] -> ShowS #
Eq OrchardCommitmentTree #
Instance details Defined in ZcashHaskell.Types Methods (==) :: OrchardCommitmentTree -> OrchardCommitmentTree -> Bool # (/=) :: OrchardCommitmentTree -> OrchardCommitmentTree -> Bool #

data OrchardRawTree #

Constructors

OrchardRawTree
Fields ort_left :: !HexString ort_right :: !HexString ort_parents :: ![HexString]

Instances

Instances details

Generic OrchardRawTree #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep OrchardRawTree :: Type -> Type # Methods from :: OrchardRawTree -> Rep OrchardRawTree x # to :: Rep OrchardRawTree x -> OrchardRawTree #
Show OrchardRawTree #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> OrchardRawTree -> ShowS # show :: OrchardRawTree -> String # showList :: [OrchardRawTree] -> ShowS #
BorshSize OrchardRawTree #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize OrchardRawTree :: KnownSize # Methods borshSize :: Proxy OrchardRawTree -> Size (StaticBorshSize OrchardRawTree) #
FromBorsh OrchardRawTree #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s OrchardRawTree #
ToBorsh OrchardRawTree #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder OrchardRawTree #
Show OrchardRawTree #
Instance details Defined in ZcashHaskell.Types Methods toValue :: OrchardRawTree -> Value #
Generic OrchardRawTree #
Instance details Defined in ZcashHaskell.Types Associated Types type Code OrchardRawTree :: [[Type]] # Methods from :: OrchardRawTree -> Rep OrchardRawTree # to :: Rep OrchardRawTree -> OrchardRawTree #
HasDatatypeInfo OrchardRawTree #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf OrchardRawTree :: DatatypeInfo # Methods datatypeInfo :: proxy OrchardRawTree -> DatatypeInfo (Code OrchardRawTree) #
Eq OrchardRawTree #
Instance details Defined in ZcashHaskell.Types Methods (==) :: OrchardRawTree -> OrchardRawTree -> Bool # (/=) :: OrchardRawTree -> OrchardRawTree -> Bool #
type Rep OrchardRawTree #
Instance details Defined in ZcashHaskell.Types type Rep OrchardRawTree = D1 ('MetaData "OrchardRawTree" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "OrchardRawTree" 'PrefixI 'True) (S1 ('MetaSel ('Just "ort_left") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: (S1 ('MetaSel ('Just "ort_right") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: S1 ('MetaSel ('Just "ort_parents") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [HexString]))))
type StaticBorshSize OrchardRawTree #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize OrchardRawTree = StaticBorshSize (AsStruct OrchardRawTree)
type Code OrchardRawTree #
Instance details Defined in ZcashHaskell.Types type Code OrchardRawTree = GCode OrchardRawTree
type DatatypeInfoOf OrchardRawTree #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf OrchardRawTree = GDatatypeInfoOf OrchardRawTree

data OrchardTree #

Constructors

OrchardTree
Fields ot_left :: !(Maybe HexString) ot_right :: !(Maybe HexString) ot_parents :: ![Maybe HexString]

Instances

Instances details

Read OrchardTree #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS OrchardTree # readList :: ReadS [OrchardTree] # readPrec :: ReadPrec OrchardTree # readListPrec :: ReadPrec [OrchardTree] #
Show OrchardTree #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> OrchardTree -> ShowS # show :: OrchardTree -> String # showList :: [OrchardTree] -> ShowS #
Eq OrchardTree #
Instance details Defined in ZcashHaskell.Types Methods (==) :: OrchardTree -> OrchardTree -> Bool # (/=) :: OrchardTree -> OrchardTree -> Bool #

data OrchardFrontier #

Constructors

OrchardFrontier
Fields of_pos :: !Int64 of_leaf :: !HexString of_ommers :: ![HexString]

Instances

Instances details

Generic OrchardFrontier #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep OrchardFrontier :: Type -> Type # Methods from :: OrchardFrontier -> Rep OrchardFrontier x # to :: Rep OrchardFrontier x -> OrchardFrontier #
Show OrchardFrontier #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> OrchardFrontier -> ShowS # show :: OrchardFrontier -> String # showList :: [OrchardFrontier] -> ShowS #
BorshSize OrchardFrontier #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize OrchardFrontier :: KnownSize # Methods borshSize :: Proxy OrchardFrontier -> Size (StaticBorshSize OrchardFrontier) #
FromBorsh OrchardFrontier #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s OrchardFrontier #
ToBorsh OrchardFrontier #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder OrchardFrontier #
Show OrchardFrontier #
Instance details Defined in ZcashHaskell.Types Methods toValue :: OrchardFrontier -> Value #
Generic OrchardFrontier #
Instance details Defined in ZcashHaskell.Types Associated Types type Code OrchardFrontier :: [[Type]] # Methods from :: OrchardFrontier -> Rep OrchardFrontier # to :: Rep OrchardFrontier -> OrchardFrontier #
HasDatatypeInfo OrchardFrontier #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf OrchardFrontier :: DatatypeInfo # Methods datatypeInfo :: proxy OrchardFrontier -> DatatypeInfo (Code OrchardFrontier) #
Eq OrchardFrontier #
Instance details Defined in ZcashHaskell.Types Methods (==) :: OrchardFrontier -> OrchardFrontier -> Bool # (/=) :: OrchardFrontier -> OrchardFrontier -> Bool #
type Rep OrchardFrontier #
Instance details Defined in ZcashHaskell.Types type Rep OrchardFrontier = D1 ('MetaData "OrchardFrontier" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "OrchardFrontier" 'PrefixI 'True) (S1 ('MetaSel ('Just "of_pos") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :: (S1 ('MetaSel ('Just "of_leaf") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: S1 ('MetaSel ('Just "of_ommers") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [HexString]))))
type StaticBorshSize OrchardFrontier #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize OrchardFrontier = StaticBorshSize (AsStruct OrchardFrontier)
type Code OrchardFrontier #
Instance details Defined in ZcashHaskell.Types type Code OrchardFrontier = GCode OrchardFrontier
type DatatypeInfoOf OrchardFrontier #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf OrchardFrontier = GDatatypeInfoOf OrchardFrontier

newtype OrchardWitness #

Type for a Sapling incremental witness

Constructors

OrchardWitness
Fields orchWit :: HexString

Instances

Instances details

Read OrchardWitness #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS OrchardWitness # readList :: ReadS [OrchardWitness] # readPrec :: ReadPrec OrchardWitness # readListPrec :: ReadPrec [OrchardWitness] #
Show OrchardWitness #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> OrchardWitness -> ShowS # show :: OrchardWitness -> String # showList :: [OrchardWitness] -> ShowS #
Eq OrchardWitness #
Instance details Defined in ZcashHaskell.Types Methods (==) :: OrchardWitness -> OrchardWitness -> Bool # (/=) :: OrchardWitness -> OrchardWitness -> Bool #

data DecodedNote #

Type to represent a decoded note

Constructors

DecodedNote
Fields a_value :: !Int64 The amount of the transaction in _zatoshis_. a_recipient :: !ByteString The recipient Orchard receiver. a_memo :: !ByteString The decoded shielded memo field. a_nullifier :: !HexString The calculated nullifier a_rho :: !ByteString a_rseed :: !Rseed

Instances

Instances details

Generic DecodedNote #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep DecodedNote :: Type -> Type # Methods from :: DecodedNote -> Rep DecodedNote x # to :: Rep DecodedNote x -> DecodedNote #
Show DecodedNote #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> DecodedNote -> ShowS # show :: DecodedNote -> String # showList :: [DecodedNote] -> ShowS #
BorshSize DecodedNote #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize DecodedNote :: KnownSize # Methods borshSize :: Proxy DecodedNote -> Size (StaticBorshSize DecodedNote) #
FromBorsh DecodedNote #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s DecodedNote #
ToBorsh DecodedNote #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder DecodedNote #
Show DecodedNote #
Instance details Defined in ZcashHaskell.Types Methods toValue :: DecodedNote -> Value #
Generic DecodedNote #
Instance details Defined in ZcashHaskell.Types Associated Types type Code DecodedNote :: [[Type]] # Methods from :: DecodedNote -> Rep DecodedNote # to :: Rep DecodedNote -> DecodedNote #
HasDatatypeInfo DecodedNote #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf DecodedNote :: DatatypeInfo # Methods datatypeInfo :: proxy DecodedNote -> DatatypeInfo (Code DecodedNote) #
Eq DecodedNote #
Instance details Defined in ZcashHaskell.Types Methods (==) :: DecodedNote -> DecodedNote -> Bool # (/=) :: DecodedNote -> DecodedNote -> Bool #
type Rep DecodedNote #
Instance details Defined in ZcashHaskell.Types type Rep DecodedNote = D1 ('MetaData "DecodedNote" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "DecodedNote" 'PrefixI 'True) ((S1 ('MetaSel ('Just "a_value") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :: (S1 ('MetaSel ('Just "a_recipient") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :: S1 ('MetaSel ('Just "a_memo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString))) :: (S1 ('MetaSel ('Just "a_nullifier") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 HexString) :: (S1 ('MetaSel ('Just "a_rho") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "a_rseed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rseed)))))
type StaticBorshSize DecodedNote #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize DecodedNote = StaticBorshSize (AsStruct DecodedNote)
type Code DecodedNote #
Instance details Defined in ZcashHaskell.Types type Code DecodedNote = GCode DecodedNote
type DatatypeInfoOf DecodedNote #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf DecodedNote = GDatatypeInfoOf DecodedNote

data Rseed #

Constructors

Rseed
Fields rs_kind :: !Word8 rs_bytes :: !ByteString

Instances

Instances details

Generic Rseed #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep Rseed :: Type -> Type # Methods from :: Rseed -> Rep Rseed x # to :: Rep Rseed x -> Rseed #
Read Rseed #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS Rseed # readList :: ReadS [Rseed] # readPrec :: ReadPrec Rseed # readListPrec :: ReadPrec [Rseed] #
Show Rseed #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> Rseed -> ShowS # show :: Rseed -> String # showList :: [Rseed] -> ShowS #
BorshSize Rseed #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize Rseed :: KnownSize # Methods borshSize :: Proxy Rseed -> Size (StaticBorshSize Rseed) #
FromBorsh Rseed #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s Rseed #
ToBorsh Rseed #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder Rseed #
Show Rseed #
Instance details Defined in ZcashHaskell.Types Methods toValue :: Rseed -> Value #
Generic Rseed #
Instance details Defined in ZcashHaskell.Types Associated Types type Code Rseed :: [[Type]] # Methods from :: Rseed -> Rep Rseed # to :: Rep Rseed -> Rseed #
HasDatatypeInfo Rseed #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf Rseed :: DatatypeInfo # Methods datatypeInfo :: proxy Rseed -> DatatypeInfo (Code Rseed) #
Eq Rseed #
Instance details Defined in ZcashHaskell.Types Methods (==) :: Rseed -> Rseed -> Bool # (/=) :: Rseed -> Rseed -> Bool #
type Rep Rseed #
Instance details Defined in ZcashHaskell.Types type Rep Rseed = D1 ('MetaData "Rseed" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "Rseed" 'PrefixI 'True) (S1 ('MetaSel ('Just "rs_kind") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Just "rs_bytes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))
type StaticBorshSize Rseed #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize Rseed = StaticBorshSize (AsStruct Rseed)
type Code Rseed #
Instance details Defined in ZcashHaskell.Types type Code Rseed = GCode Rseed
type DatatypeInfoOf Rseed #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf Rseed = GDatatypeInfoOf Rseed

data TransparentTxSpend #

Constructors

TransparentTxSpend
Fields ts_sk :: !ByteString ts_utxo :: !RawOutPoint ts_coin :: !RawTxOut

Instances

Instances details

Generic TransparentTxSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep TransparentTxSpend :: Type -> Type # Methods from :: TransparentTxSpend -> Rep TransparentTxSpend x # to :: Rep TransparentTxSpend x -> TransparentTxSpend #
Show TransparentTxSpend #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> TransparentTxSpend -> ShowS # show :: TransparentTxSpend -> String # showList :: [TransparentTxSpend] -> ShowS #
BorshSize TransparentTxSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize TransparentTxSpend :: KnownSize # Methods borshSize :: Proxy TransparentTxSpend -> Size (StaticBorshSize TransparentTxSpend) #
FromBorsh TransparentTxSpend #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s TransparentTxSpend #
ToBorsh TransparentTxSpend #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder TransparentTxSpend #
Show TransparentTxSpend #
Instance details Defined in ZcashHaskell.Types Methods toValue :: TransparentTxSpend -> Value #
Generic TransparentTxSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type Code TransparentTxSpend :: [[Type]] # Methods from :: TransparentTxSpend -> Rep TransparentTxSpend # to :: Rep TransparentTxSpend -> TransparentTxSpend #
HasDatatypeInfo TransparentTxSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf TransparentTxSpend :: DatatypeInfo # Methods datatypeInfo :: proxy TransparentTxSpend -> DatatypeInfo (Code TransparentTxSpend) #
Eq TransparentTxSpend #
Instance details Defined in ZcashHaskell.Types Methods (==) :: TransparentTxSpend -> TransparentTxSpend -> Bool # (/=) :: TransparentTxSpend -> TransparentTxSpend -> Bool #
type Rep TransparentTxSpend #
Instance details Defined in ZcashHaskell.Types type Rep TransparentTxSpend = D1 ('MetaData "TransparentTxSpend" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "TransparentTxSpend" 'PrefixI 'True) (S1 ('MetaSel ('Just "ts_sk") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :: (S1 ('MetaSel ('Just "ts_utxo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RawOutPoint) :: S1 ('MetaSel ('Just "ts_coin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RawTxOut))))
type StaticBorshSize TransparentTxSpend #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize TransparentTxSpend = StaticBorshSize (AsStruct TransparentTxSpend)
type Code TransparentTxSpend #
Instance details Defined in ZcashHaskell.Types type Code TransparentTxSpend = GCode TransparentTxSpend
type DatatypeInfoOf TransparentTxSpend #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf TransparentTxSpend = GDatatypeInfoOf TransparentTxSpend

data SaplingTxSpend #

Constructors

SaplingTxSpend
Fields ss_sk :: !ByteString ss_note :: !DecodedNote ss_iw :: !MerklePath

Instances

Instances details

Generic SaplingTxSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep SaplingTxSpend :: Type -> Type # Methods from :: SaplingTxSpend -> Rep SaplingTxSpend x # to :: Rep SaplingTxSpend x -> SaplingTxSpend #
Show SaplingTxSpend #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> SaplingTxSpend -> ShowS # show :: SaplingTxSpend -> String # showList :: [SaplingTxSpend] -> ShowS #
BorshSize SaplingTxSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize SaplingTxSpend :: KnownSize # Methods borshSize :: Proxy SaplingTxSpend -> Size (StaticBorshSize SaplingTxSpend) #
FromBorsh SaplingTxSpend #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s SaplingTxSpend #
ToBorsh SaplingTxSpend #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder SaplingTxSpend #
Show SaplingTxSpend #
Instance details Defined in ZcashHaskell.Types Methods toValue :: SaplingTxSpend -> Value #
Generic SaplingTxSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type Code SaplingTxSpend :: [[Type]] # Methods from :: SaplingTxSpend -> Rep SaplingTxSpend # to :: Rep SaplingTxSpend -> SaplingTxSpend #
HasDatatypeInfo SaplingTxSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf SaplingTxSpend :: DatatypeInfo # Methods datatypeInfo :: proxy SaplingTxSpend -> DatatypeInfo (Code SaplingTxSpend) #
Eq SaplingTxSpend #
Instance details Defined in ZcashHaskell.Types Methods (==) :: SaplingTxSpend -> SaplingTxSpend -> Bool # (/=) :: SaplingTxSpend -> SaplingTxSpend -> Bool #
type Rep SaplingTxSpend #
Instance details Defined in ZcashHaskell.Types type Rep SaplingTxSpend = D1 ('MetaData "SaplingTxSpend" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "SaplingTxSpend" 'PrefixI 'True) (S1 ('MetaSel ('Just "ss_sk") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :: (S1 ('MetaSel ('Just "ss_note") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DecodedNote) :: S1 ('MetaSel ('Just "ss_iw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MerklePath))))
type StaticBorshSize SaplingTxSpend #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize SaplingTxSpend = StaticBorshSize (AsStruct SaplingTxSpend)
type Code SaplingTxSpend #
Instance details Defined in ZcashHaskell.Types type Code SaplingTxSpend = GCode SaplingTxSpend
type DatatypeInfoOf SaplingTxSpend #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf SaplingTxSpend = GDatatypeInfoOf SaplingTxSpend

data OrchardTxSpend #

Constructors

OrchardTxSpend
Fields ss_sk :: !ByteString ss_note :: !DecodedNote ss_iw :: !MerklePath

Instances

Instances details

Generic OrchardTxSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep OrchardTxSpend :: Type -> Type # Methods from :: OrchardTxSpend -> Rep OrchardTxSpend x # to :: Rep OrchardTxSpend x -> OrchardTxSpend #
Show OrchardTxSpend #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> OrchardTxSpend -> ShowS # show :: OrchardTxSpend -> String # showList :: [OrchardTxSpend] -> ShowS #
BorshSize OrchardTxSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize OrchardTxSpend :: KnownSize # Methods borshSize :: Proxy OrchardTxSpend -> Size (StaticBorshSize OrchardTxSpend) #
FromBorsh OrchardTxSpend #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s OrchardTxSpend #
ToBorsh OrchardTxSpend #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder OrchardTxSpend #
Show OrchardTxSpend #
Instance details Defined in ZcashHaskell.Types Methods toValue :: OrchardTxSpend -> Value #
Generic OrchardTxSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type Code OrchardTxSpend :: [[Type]] # Methods from :: OrchardTxSpend -> Rep OrchardTxSpend # to :: Rep OrchardTxSpend -> OrchardTxSpend #
HasDatatypeInfo OrchardTxSpend #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf OrchardTxSpend :: DatatypeInfo # Methods datatypeInfo :: proxy OrchardTxSpend -> DatatypeInfo (Code OrchardTxSpend) #
Eq OrchardTxSpend #
Instance details Defined in ZcashHaskell.Types Methods (==) :: OrchardTxSpend -> OrchardTxSpend -> Bool # (/=) :: OrchardTxSpend -> OrchardTxSpend -> Bool #
type Rep OrchardTxSpend #
Instance details Defined in ZcashHaskell.Types type Rep OrchardTxSpend = D1 ('MetaData "OrchardTxSpend" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "OrchardTxSpend" 'PrefixI 'True) (S1 ('MetaSel ('Just "ss_sk") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :: (S1 ('MetaSel ('Just "ss_note") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DecodedNote) :: S1 ('MetaSel ('Just "ss_iw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MerklePath))))
type StaticBorshSize OrchardTxSpend #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize OrchardTxSpend = StaticBorshSize (AsStruct OrchardTxSpend)
type Code OrchardTxSpend #
Instance details Defined in ZcashHaskell.Types type Code OrchardTxSpend = GCode OrchardTxSpend
type DatatypeInfoOf OrchardTxSpend #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf OrchardTxSpend = GDatatypeInfoOf OrchardTxSpend

data OutgoingNote #

Constructors

OutgoingNote
Fields on_kind :: !Word8 on_key :: !ByteString on_recipient :: !ByteString on_amt :: !Word64 on_memo :: !ByteString on_chg :: !Bool

Instances

Instances details

Generic OutgoingNote #
Instance details Defined in ZcashHaskell.Types Associated Types type Rep OutgoingNote :: Type -> Type # Methods from :: OutgoingNote -> Rep OutgoingNote x # to :: Rep OutgoingNote x -> OutgoingNote #
Show OutgoingNote #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> OutgoingNote -> ShowS # show :: OutgoingNote -> String # showList :: [OutgoingNote] -> ShowS #
BorshSize OutgoingNote #
Instance details Defined in ZcashHaskell.Types Associated Types type StaticBorshSize OutgoingNote :: KnownSize # Methods borshSize :: Proxy OutgoingNote -> Size (StaticBorshSize OutgoingNote) #
FromBorsh OutgoingNote #
Instance details Defined in ZcashHaskell.Types Methods decodeBorsh :: Decoder s OutgoingNote #
ToBorsh OutgoingNote #
Instance details Defined in ZcashHaskell.Types Methods encodeBorsh :: Encoder OutgoingNote #
Show OutgoingNote #
Instance details Defined in ZcashHaskell.Types Methods toValue :: OutgoingNote -> Value #
Generic OutgoingNote #
Instance details Defined in ZcashHaskell.Types Associated Types type Code OutgoingNote :: [[Type]] # Methods from :: OutgoingNote -> Rep OutgoingNote # to :: Rep OutgoingNote -> OutgoingNote #
HasDatatypeInfo OutgoingNote #
Instance details Defined in ZcashHaskell.Types Associated Types type DatatypeInfoOf OutgoingNote :: DatatypeInfo # Methods datatypeInfo :: proxy OutgoingNote -> DatatypeInfo (Code OutgoingNote) #
Eq OutgoingNote #
Instance details Defined in ZcashHaskell.Types Methods (==) :: OutgoingNote -> OutgoingNote -> Bool # (/=) :: OutgoingNote -> OutgoingNote -> Bool #
type Rep OutgoingNote #
Instance details Defined in ZcashHaskell.Types type Rep OutgoingNote = D1 ('MetaData "OutgoingNote" "ZcashHaskell.Types" "zcash-haskell-0.8.0.0-inplace" 'False) (C1 ('MetaCons "OutgoingNote" 'PrefixI 'True) ((S1 ('MetaSel ('Just "on_kind") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8) :: (S1 ('MetaSel ('Just "on_key") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :: S1 ('MetaSel ('Just "on_recipient") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString))) :: (S1 ('MetaSel ('Just "on_amt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :: (S1 ('MetaSel ('Just "on_memo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "on_chg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))))
type StaticBorshSize OutgoingNote #
Instance details Defined in ZcashHaskell.Types type StaticBorshSize OutgoingNote = StaticBorshSize (AsStruct OutgoingNote)
type Code OutgoingNote #
Instance details Defined in ZcashHaskell.Types type Code OutgoingNote = GCode OutgoingNote
type DatatypeInfoOf OutgoingNote #
Instance details Defined in ZcashHaskell.Types type DatatypeInfoOf OutgoingNote = GDatatypeInfoOf OutgoingNote

newtype SaplingSpendParams #

Constructors

SaplingSpendParams
Fields sapSParams :: ByteString

Instances

Instances details

Read SaplingSpendParams #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS SaplingSpendParams # readList :: ReadS [SaplingSpendParams] # readPrec :: ReadPrec SaplingSpendParams # readListPrec :: ReadPrec [SaplingSpendParams] #
Show SaplingSpendParams #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> SaplingSpendParams -> ShowS # show :: SaplingSpendParams -> String # showList :: [SaplingSpendParams] -> ShowS #
Eq SaplingSpendParams #
Instance details Defined in ZcashHaskell.Types Methods (==) :: SaplingSpendParams -> SaplingSpendParams -> Bool # (/=) :: SaplingSpendParams -> SaplingSpendParams -> Bool #

newtype SaplingOutputParams #

Constructors

SaplingOutputParams
Fields sapOParams :: ByteString

Instances

Instances details

Read SaplingOutputParams #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS SaplingOutputParams # readList :: ReadS [SaplingOutputParams] # readPrec :: ReadPrec SaplingOutputParams # readListPrec :: ReadPrec [SaplingOutputParams] #
Show SaplingOutputParams #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> SaplingOutputParams -> ShowS # show :: SaplingOutputParams -> String # showList :: [SaplingOutputParams] -> ShowS #
Eq SaplingOutputParams #
Instance details Defined in ZcashHaskell.Types Methods (==) :: SaplingOutputParams -> SaplingOutputParams -> Bool # (/=) :: SaplingOutputParams -> SaplingOutputParams -> Bool #

data TxError #

Constructors

InsufficientFunds
ChangeRequired
Fee
Balance
TransparentBuild
SaplingBuild
OrchardBuild
OrchardSpend
OrchardRecipient
SaplingBuilderNotAvailable
OrchardBuilderNotAvailable
PrivacyPolicyError !Text
ZHError

Instances

Instances details

Read TxError #
Instance details Defined in ZcashHaskell.Types Methods readsPrec :: Int -> ReadS TxError # readList :: ReadS [TxError] # readPrec :: ReadPrec TxError # readListPrec :: ReadPrec [TxError] #
Show TxError #
Instance details Defined in ZcashHaskell.Types Methods showsPrec :: Int -> TxError -> ShowS # show :: TxError -> String # showList :: [TxError] -> ShowS #
Eq TxError #
Instance details Defined in ZcashHaskell.Types Methods (==) :: TxError -> TxError -> Bool # (/=) :: TxError -> TxError -> Bool #

Classes

class ToBytes a where #

Class to represent types with a bytestring representation

Methods

getBytes :: a -> ByteString #

Instances

Instances details

ToBytes OrchardReceiver #
Instance details Defined in ZcashHaskell.Types Methods getBytes :: OrchardReceiver -> ByteString #
ToBytes OrchardSpendingKey #
Instance details Defined in ZcashHaskell.Types Methods getBytes :: OrchardSpendingKey -> ByteString #
ToBytes Phrase #
Instance details Defined in ZcashHaskell.Types Methods getBytes :: Phrase -> ByteString #
ToBytes SaplingReceiver #
Instance details Defined in ZcashHaskell.Types Methods getBytes :: SaplingReceiver -> ByteString #
ToBytes SaplingSpendingKey #
Instance details Defined in ZcashHaskell.Types Methods getBytes :: SaplingSpendingKey -> ByteString #
ToBytes Seed #
Instance details Defined in ZcashHaskell.Types Methods getBytes :: Seed -> ByteString #

Helpers

decodeHexText :: String -> ByteString #

Helper function to turn a hex-encoded string to bytestring