Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Chain.Blockfrost.Client

Synopsis

data BlockfrostException
- = TimeoutOnUTxO TxId
- | FailedToDecodeAddress Text
- | ByronAddressNotSupported
- | FailedUTxOForHash Text
- | FailedEraHistory
- | AssetNameMissing
- | DeserialiseError Text
- | DecodeError Text
- | BlockfrostAPIError Text
newtype APIBlockfrostError = BlockfrostError BlockfrostException
data BlockfrostConversion = BlockfrostConversion {
- a0 :: NonNegativeInterval
- rho :: UnitInterval
- tau :: UnitInterval
- priceMemory :: NonNegativeInterval
- priceSteps :: NonNegativeInterval
- pvtMotionNoConfidence :: UnitInterval
- pvtCommitteeNormal :: UnitInterval
- pvtCommitteeNoConfidence :: UnitInterval
- pvtHardForkInitiation :: UnitInterval
- pvtPPSecurityGroup :: UnitInterval
- dvtMotionNoConfidence :: UnitInterval
- dvtCommitteeNormal :: UnitInterval
- dvtCommitteeNoConfidence :: UnitInterval
- dvtUpdateToConstitution :: UnitInterval
- dvtHardForkInitiation :: UnitInterval
- dvtPPNetworkGroup :: UnitInterval
- dvtPPEconomicGroup :: UnitInterval
- dvtPPTechnicalGroup :: UnitInterval
- dvtPPGovGroup :: UnitInterval
- dvtTreasuryWithdrawal :: UnitInterval
- committeeMinSize :: Quantity
- committeeMaxTermLength :: Quantity
- govActionLifetime :: Quantity
- govActionDeposit :: Coin
- drepDeposit :: Integer
- drepActivity :: Quantity
- minFeeRefScriptCostPerByte :: NonNegativeInterval
}
queryGenesisParameters :: BlockfrostClientT IO Genesis
queryUTxOByTxIn :: NetworkId -> Text -> BlockfrostClientT IO UTxO
queryScriptRegistry :: [TxId] -> BlockfrostClientT IO ScriptRegistry
runBlockfrostM :: (MonadIO m, MonadThrow m) => Project -> BlockfrostClientT IO a -> m a
toCardanoNetworkId :: Integer -> NetworkId
queryProtocolParameters :: MonadIO m => BlockfrostClientT m (PParams LedgerEra)
scriptTypeToPlutusVersion :: ScriptType -> Maybe Language
toCardanoUTxO :: NetworkId -> TxIn -> Address -> Maybe ScriptHash -> Maybe DatumHash -> [Amount] -> Maybe InlineDatum -> BlockfrostClientT IO (UTxO' (TxOut ctx))
toCardanoValue :: [Amount] -> BlockfrostClientT IO Value
queryScript :: Text -> BlockfrostClientT IO (Maybe PlutusScript)
toCardanoTxOut :: NetworkId -> Text -> Value -> Maybe Text -> Maybe Text -> Maybe PlutusScript -> BlockfrostClientT IO (TxOut ctx)
toCardanoPoolId :: PoolId -> Hash StakePoolKey
toCardanoTxIn :: Text -> Integer -> TxIn
toCardanoAddress :: Text -> Maybe AddressInEra
toCardanoPolicyIdAndAssetName :: Text -> BlockfrostClientT IO (PolicyId, AssetName)
toCardanoGenesisParameters :: Genesis -> GenesisParameters ShelleyEra
submitTransaction :: MonadIO m => Tx -> BlockfrostClientT m TxHash
queryEraHistory :: BlockfrostClientT IO EraHistory
queryUTxO :: NetworkId -> [Address ShelleyAddr] -> BlockfrostClientT IO UTxO
queryUTxOFor :: VerificationKey PaymentKey -> BlockfrostClientT IO UTxO
querySystemStart :: BlockfrostClientT IO SystemStart
queryTip :: BlockfrostClientT IO ChainPoint
queryStakePools :: BlockfrostClientT IO (Set PoolId)
awaitTransaction :: Tx -> BlockfrostClientT IO UTxO
awaitUTxO :: NetworkId -> [Address ShelleyAddr] -> TxId -> Int -> BlockfrostClientT IO UTxO
data Block = Block {
- _blockTime :: POSIXTime
- _blockHeight :: Maybe Integer
- _blockHash :: BlockHash
- _blockSlot :: Maybe Slot
- _blockEpoch :: Maybe Epoch
- _blockEpochSlot :: Maybe Integer
- _blockSlotLeader :: Text
- _blockSize :: Integer
- _blockTxCount :: Integer
- _blockOutput :: Maybe Lovelaces
- _blockFees :: Maybe Lovelaces
- _blockBlockVrf :: Maybe Text
- _blockOpCert :: Maybe Text
- _blockOpCertCounter :: Maybe Quantity
- _blockPreviousBlock :: Maybe BlockHash
- _blockNextBlock :: Maybe BlockHash
- _blockConfirmations :: Integer
}
newtype Slot = Slot Integer
newtype BlockHash = BlockHash Text
data BlockfrostClientT (m :: Type -> Type) a
data Genesis = Genesis {
- _genesisActiveSlotsCoefficient :: Rational
- _genesisUpdateQuorum :: Integer
- _genesisMaxLovelaceSupply :: Lovelaces
- _genesisNetworkMagic :: Integer
- _genesisEpochLength :: Integer
- _genesisSystemStart :: POSIXTime
- _genesisSlotsPerKesPeriod :: Integer
- _genesisSlotLength :: Integer
- _genesisMaxKesEvolutions :: Integer
- _genesisSecurityParam :: Integer
}
data Project
newtype TransactionCBOR = TransactionCBOR {
- _transactionCBORCbor :: Text
}
newtype TxHashCBOR = TxHashCBOR {
- getTxHashCBOR :: (TxHash, TransactionCBOR)
}
tryError :: MonadError e m => m a -> m (Either e a)
allPages :: Monad m => (Paged -> m [a]) -> m [a]
def :: Default a => a
getBlock :: MonadBlockfrost m => Either Integer BlockHash -> m Block
getBlockTxsCBOR' :: MonadBlockfrost m => Either Integer BlockHash -> Paged -> SortOrder -> m [TxHashCBOR]
getLedgerGenesis :: MonadBlockfrost m => m Genesis
listPools :: MonadBlockfrost m => m [PoolId]
projectFromFile :: FilePath -> IO Project
runBlockfrost :: Project -> BlockfrostClientT IO a -> IO (Either BlockfrostError a)
unBlockHash :: BlockHash -> Text
unSlot :: Slot -> Integer

Documentation

data BlockfrostException Source #

Constructors

TimeoutOnUTxO TxId
FailedToDecodeAddress Text
ByronAddressNotSupported
FailedUTxOForHash Text
FailedEraHistory
AssetNameMissing
DeserialiseError Text
DecodeError Text
BlockfrostAPIError Text

Instances

Instances details

Exception BlockfrostException Source #
Instance details Defined in Hydra.Chain.Blockfrost.Client Methods toException :: BlockfrostException -> SomeException Source # fromException :: SomeException -> Maybe BlockfrostException Source # displayException :: BlockfrostException -> String Source #
Show BlockfrostException Source #
Instance details Defined in Hydra.Chain.Blockfrost.Client Methods showsPrec :: Int -> BlockfrostException -> ShowS Source # show :: BlockfrostException -> String Source # showList :: [BlockfrostException] -> ShowS Source #

newtype APIBlockfrostError Source #

Constructors

BlockfrostError BlockfrostException

Instances

Instances details

Exception APIBlockfrostError Source #
Instance details Defined in Hydra.Chain.Blockfrost.Client Methods toException :: APIBlockfrostError -> SomeException Source # fromException :: SomeException -> Maybe APIBlockfrostError Source # displayException :: APIBlockfrostError -> String Source #
Show APIBlockfrostError Source #
Instance details Defined in Hydra.Chain.Blockfrost.Client Methods showsPrec :: Int -> APIBlockfrostError -> ShowS Source # show :: APIBlockfrostError -> String Source # showList :: [APIBlockfrostError] -> ShowS Source #

data BlockfrostConversion Source #

Constructors

BlockfrostConversion

Fields

a0 :: NonNegativeInterval
rho :: UnitInterval
tau :: UnitInterval
priceMemory :: NonNegativeInterval
priceSteps :: NonNegativeInterval
pvtMotionNoConfidence :: UnitInterval
pvtCommitteeNormal :: UnitInterval
pvtCommitteeNoConfidence :: UnitInterval
pvtHardForkInitiation :: UnitInterval
pvtPPSecurityGroup :: UnitInterval
dvtMotionNoConfidence :: UnitInterval
dvtCommitteeNormal :: UnitInterval
dvtCommitteeNoConfidence :: UnitInterval
dvtUpdateToConstitution :: UnitInterval
dvtHardForkInitiation :: UnitInterval
dvtPPNetworkGroup :: UnitInterval
dvtPPEconomicGroup :: UnitInterval
dvtPPTechnicalGroup :: UnitInterval
dvtPPGovGroup :: UnitInterval
dvtTreasuryWithdrawal :: UnitInterval
committeeMinSize :: Quantity
committeeMaxTermLength :: Quantity
govActionLifetime :: Quantity
govActionDeposit :: Coin
drepDeposit :: Integer
drepActivity :: Quantity
minFeeRefScriptCostPerByte :: NonNegativeInterval

queryGenesisParameters :: BlockfrostClientT IO Genesis Source #

Query the Blockfrost API for Genesis

queryUTxOByTxIn :: NetworkId -> Text -> BlockfrostClientT IO UTxO Source #

Query the Blockfrost API to get the UTxO' for TxIn and convert to cardano UTxO'.

queryScriptRegistry :: [TxId] -> BlockfrostClientT IO ScriptRegistry Source #

Query for TxIns in the search for outputs containing all the reference scripts of the ScriptRegistry.

This is implemented by repeated querying until we have all necessary reference scripts as we do only know the transaction id, not the indices.

Can throw at least NewScriptRegistryException on failure.

runBlockfrostM :: (MonadIO m, MonadThrow m) => Project -> BlockfrostClientT IO a -> m a Source #

toCardanoNetworkId :: Integer -> NetworkId Source #

queryProtocolParameters :: MonadIO m => BlockfrostClientT m (PParams LedgerEra) Source #

scriptTypeToPlutusVersion :: ScriptType -> Maybe Language Source #

toCardanoUTxO :: NetworkId -> TxIn -> Address -> Maybe ScriptHash -> Maybe DatumHash -> [Amount] -> Maybe InlineDatum -> BlockfrostClientT IO (UTxO' (TxOut ctx)) Source #

toCardanoValue :: [Amount] -> BlockfrostClientT IO Value Source #

queryScript :: Text -> BlockfrostClientT IO (Maybe PlutusScript) Source #

toCardanoTxOut :: NetworkId -> Text -> Value -> Maybe Text -> Maybe Text -> Maybe PlutusScript -> BlockfrostClientT IO (TxOut ctx) Source #

toCardanoPoolId :: PoolId -> Hash StakePoolKey Source #

toCardanoTxIn :: Text -> Integer -> TxIn Source #

toCardanoAddress :: Text -> Maybe AddressInEra Source #

toCardanoPolicyIdAndAssetName :: Text -> BlockfrostClientT IO (PolicyId, AssetName) Source #

toCardanoGenesisParameters :: Genesis -> GenesisParameters ShelleyEra Source #

submitTransaction :: MonadIO m => Tx -> BlockfrostClientT m TxHash Source #

queryEraHistory :: BlockfrostClientT IO EraHistory Source #

queryUTxO :: NetworkId -> [Address ShelleyAddr] -> BlockfrostClientT IO UTxO Source #

Query the Blockfrost API for address UTxO and convert to cardano UTxO'. NOTE: We accept the address list here to be compatible with cardano-api but in fact this is a single address query always.

queryUTxOFor :: VerificationKey PaymentKey -> BlockfrostClientT IO UTxO Source #

querySystemStart :: BlockfrostClientT IO SystemStart Source #

queryTip :: BlockfrostClientT IO ChainPoint Source #

Query the Blockfrost API for Genesis and convert to cardano ChainPoint.

queryStakePools :: BlockfrostClientT IO (Set PoolId) Source #

awaitTransaction :: Tx -> BlockfrostClientT IO UTxO Source #

awaitUTxO Source #

Arguments

:: NetworkId	Network id
-> [Address ShelleyAddr]	Address we are interested in
-> TxId	Last transaction ID to await
-> Int	Number of seconds to wait
-> BlockfrostClientT IO UTxO

Await for specific UTxO at address - the one that is produced by the given TxId.

data Block #

Constructors

Block

Fields

_blockTime :: POSIXTime
_blockHeight :: Maybe Integer
_blockHash :: BlockHash
_blockSlot :: Maybe Slot
_blockEpoch :: Maybe Epoch
_blockEpochSlot :: Maybe Integer
_blockSlotLeader :: Text
_blockSize :: Integer
_blockTxCount :: Integer
_blockOutput :: Maybe Lovelaces
_blockFees :: Maybe Lovelaces
_blockBlockVrf :: Maybe Text
_blockOpCert :: Maybe Text
_blockOpCertCounter :: Maybe Quantity
_blockPreviousBlock :: Maybe BlockHash
_blockNextBlock :: Maybe BlockHash
_blockConfirmations :: Integer

Instances

Instances details

FromJSON Block
Instance details Defined in Blockfrost.Types.Cardano.Blocks Methods parseJSON :: Value -> Parser Block parseJSONList :: Value -> Parser [Block] omittedField :: Maybe Block
ToJSON Block
Instance details Defined in Blockfrost.Types.Cardano.Blocks Methods toJSON :: Block -> Value toEncoding :: Block -> Encoding toJSONList :: [Block] -> Value toEncodingList :: [Block] -> Encoding omitField :: Block -> Bool
Generic Block
Instance details Defined in Blockfrost.Types.Cardano.Blocks Associated Types type Rep Block :: Type -> Type Source # Methods from :: Block -> Rep Block x Source # to :: Rep Block x -> Block Source #
Show Block
Instance details Defined in Blockfrost.Types.Cardano.Blocks Methods showsPrec :: Int -> Block -> ShowS Source # show :: Block -> String Source # showList :: [Block] -> ShowS Source #
Eq Block
Instance details Defined in Blockfrost.Types.Cardano.Blocks Methods (==) :: Block -> Block -> Bool Source # (/=) :: Block -> Block -> Bool Source #
ToSample Block
Instance details Defined in Blockfrost.Types.Cardano.Blocks Methods toSamples :: Proxy Block -> [(Text, Block)]
HasConfirmations Block Integer
Instance details Defined in Blockfrost.Lens Methods confirmations :: Lens' Block Integer
a ~ Maybe Lovelaces => HasFees Block a
Instance details Defined in Blockfrost.Lens Methods fees :: Lens' Block a
HasHash Block BlockHash
Instance details Defined in Blockfrost.Lens Methods hash :: Lens' Block BlockHash
a ~ Maybe Lovelaces => HasOutput Block a
Instance details Defined in Blockfrost.Lens Methods output :: Lens' Block a
HasSize Block Integer
Instance details Defined in Blockfrost.Lens Methods size :: Lens' Block Integer
HasSlotLeader Block Text
Instance details Defined in Blockfrost.Lens Methods slotLeader :: Lens' Block Text
HasTime Block POSIXTime
Instance details Defined in Blockfrost.Lens Methods time :: Lens' Block POSIXTime
HasTxCount Block Integer
Instance details Defined in Blockfrost.Lens Methods txCount :: Lens' Block Integer
HasBlockVrf Block (Maybe Text)
Instance details Defined in Blockfrost.Lens Methods blockVrf :: Lens' Block (Maybe Text)
HasEpoch Block (Maybe Epoch)
Instance details Defined in Blockfrost.Lens Methods epoch :: Lens' Block (Maybe Epoch)
HasEpochSlot Block (Maybe Integer)
Instance details Defined in Blockfrost.Lens Methods epochSlot :: Lens' Block (Maybe Integer)
HasHeight Block (Maybe Integer)
Instance details Defined in Blockfrost.Lens Methods height :: Lens' Block (Maybe Integer)
HasNextBlock Block (Maybe BlockHash)
Instance details Defined in Blockfrost.Lens Methods nextBlock :: Lens' Block (Maybe BlockHash)
HasOpCert Block (Maybe Text)
Instance details Defined in Blockfrost.Lens Methods opCert :: Lens' Block (Maybe Text)
HasOpCertCounter Block (Maybe Quantity)
Instance details Defined in Blockfrost.Lens Methods opCertCounter :: Lens' Block (Maybe Quantity)
HasPreviousBlock Block (Maybe BlockHash)
Instance details Defined in Blockfrost.Lens Methods previousBlock :: Lens' Block (Maybe BlockHash)
HasSlot Block (Maybe Slot)
Instance details Defined in Blockfrost.Lens Methods slot :: Lens' Block (Maybe Slot)
type Rep Block
Instance details Defined in Blockfrost.Types.Cardano.Blocks type Rep Block = D1 ('MetaData "Block" "Blockfrost.Types.Cardano.Blocks" "blockfrost-api-0.12.2.0-K3zul2bL2BIIjD1KpIwbKT" 'False) (C1 ('MetaCons "Block" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "_blockTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTime) :: S1 ('MetaSel ('Just "_blockHeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer))) :: (S1 ('MetaSel ('Just "_blockHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHash) :: S1 ('MetaSel ('Just "_blockSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Slot)))) :: ((S1 ('MetaSel ('Just "_blockEpoch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Epoch)) :: S1 ('MetaSel ('Just "_blockEpochSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer))) :: (S1 ('MetaSel ('Just "_blockSlotLeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "_blockSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))) :: (((S1 ('MetaSel ('Just "_blockTxCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: S1 ('MetaSel ('Just "_blockOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Lovelaces))) :: (S1 ('MetaSel ('Just "_blockFees") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Lovelaces)) :: S1 ('MetaSel ('Just "_blockBlockVrf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))) :: ((S1 ('MetaSel ('Just "_blockOpCert") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "_blockOpCertCounter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Quantity))) :: (S1 ('MetaSel ('Just "_blockPreviousBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe BlockHash)) :: (S1 ('MetaSel ('Just "_blockNextBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe BlockHash)) :: S1 ('MetaSel ('Just "_blockConfirmations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))))))

newtype Slot #

Constructors

Slot Integer

Instances

Instances details

FromJSON Slot
Instance details Defined in Blockfrost.Types.Shared.Slot Methods parseJSON :: Value -> Parser Slot parseJSONList :: Value -> Parser [Slot] omittedField :: Maybe Slot
ToJSON Slot
Instance details Defined in Blockfrost.Types.Shared.Slot Methods toJSON :: Slot -> Value toEncoding :: Slot -> Encoding toJSONList :: [Slot] -> Value toEncodingList :: [Slot] -> Encoding omitField :: Slot -> Bool
Enum Slot
Instance details Defined in Blockfrost.Types.Shared.Slot Methods succ :: Slot -> Slot Source # pred :: Slot -> Slot Source # toEnum :: Int -> Slot Source # fromEnum :: Slot -> Int Source # enumFrom :: Slot -> [Slot] Source # enumFromThen :: Slot -> Slot -> [Slot] Source # enumFromTo :: Slot -> Slot -> [Slot] Source # enumFromThenTo :: Slot -> Slot -> Slot -> [Slot] Source #
Generic Slot
Instance details Defined in Blockfrost.Types.Shared.Slot Associated Types type Rep Slot :: Type -> Type Source # Methods from :: Slot -> Rep Slot x Source # to :: Rep Slot x -> Slot Source #
Num Slot
Instance details Defined in Blockfrost.Types.Shared.Slot Methods (+) :: Slot -> Slot -> Slot Source # (-) :: Slot -> Slot -> Slot Source # (*) :: Slot -> Slot -> Slot Source # negate :: Slot -> Slot Source # abs :: Slot -> Slot Source # signum :: Slot -> Slot Source # fromInteger :: Integer -> Slot Source #
Integral Slot
Instance details Defined in Blockfrost.Types.Shared.Slot Methods quot :: Slot -> Slot -> Slot Source # rem :: Slot -> Slot -> Slot Source # div :: Slot -> Slot -> Slot Source # mod :: Slot -> Slot -> Slot Source # quotRem :: Slot -> Slot -> (Slot, Slot) Source # divMod :: Slot -> Slot -> (Slot, Slot) Source # toInteger :: Slot -> Integer Source #
Real Slot
Instance details Defined in Blockfrost.Types.Shared.Slot Methods toRational :: Slot -> Rational Source #
Show Slot
Instance details Defined in Blockfrost.Types.Shared.Slot Methods showsPrec :: Int -> Slot -> ShowS Source # show :: Slot -> String Source # showList :: [Slot] -> ShowS Source #
Eq Slot
Instance details Defined in Blockfrost.Types.Shared.Slot Methods (==) :: Slot -> Slot -> Bool Source # (/=) :: Slot -> Slot -> Bool Source #
Ord Slot
Instance details Defined in Blockfrost.Types.Shared.Slot Methods compare :: Slot -> Slot -> Ordering Source # (<) :: Slot -> Slot -> Bool Source # (<=) :: Slot -> Slot -> Bool Source # (>) :: Slot -> Slot -> Bool Source # (>=) :: Slot -> Slot -> Bool Source # max :: Slot -> Slot -> Slot Source # min :: Slot -> Slot -> Slot Source #
FromHttpApiData Slot
Instance details Defined in Blockfrost.Types.Shared.Slot Methods parseUrlPiece :: Text -> Either Text Slot parseHeader :: ByteString -> Either Text Slot parseQueryParam :: Text -> Either Text Slot
ToHttpApiData Slot
Instance details Defined in Blockfrost.Types.Shared.Slot Methods toUrlPiece :: Slot -> Text toEncodedUrlPiece :: Slot -> Builder toHeader :: Slot -> ByteString toQueryParam :: Slot -> Text toEncodedQueryParam :: Slot -> Builder
ToSample Slot
Instance details Defined in Blockfrost.Types.Shared.Slot Methods toSamples :: Proxy Slot -> [(Text, Slot)]
HasBoundSlot NetworkEraBound Slot
Instance details Defined in Blockfrost.Lens Methods boundSlot :: Lens' NetworkEraBound Slot
HasSlot Transaction Slot
Instance details Defined in Blockfrost.Lens Methods slot :: Lens' Transaction Slot
HasSlot Block (Maybe Slot)
Instance details Defined in Blockfrost.Lens Methods slot :: Lens' Block (Maybe Slot)
ToCapture (Capture "slot_number" Slot)
Instance details Defined in Blockfrost.Types.Shared.Slot Methods toCapture :: Proxy (Capture "slot_number" Slot) -> DocCapture
type Rep Slot
Instance details Defined in Blockfrost.Types.Shared.Slot type Rep Slot = D1 ('MetaData "Slot" "Blockfrost.Types.Shared.Slot" "blockfrost-api-0.12.2.0-K3zul2bL2BIIjD1KpIwbKT" 'True) (C1 ('MetaCons "Slot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

newtype BlockHash #

Constructors

BlockHash Text

Instances

Instances details

FromJSON BlockHash
Instance details Defined in Blockfrost.Types.Shared.BlockHash Methods parseJSON :: Value -> Parser BlockHash parseJSONList :: Value -> Parser [BlockHash] omittedField :: Maybe BlockHash
ToJSON BlockHash
Instance details Defined in Blockfrost.Types.Shared.BlockHash Methods toJSON :: BlockHash -> Value toEncoding :: BlockHash -> Encoding toJSONList :: [BlockHash] -> Value toEncodingList :: [BlockHash] -> Encoding omitField :: BlockHash -> Bool
IsString BlockHash
Instance details Defined in Blockfrost.Types.Shared.BlockHash Methods fromString :: String -> BlockHash Source #
Generic BlockHash
Instance details Defined in Blockfrost.Types.Shared.BlockHash Associated Types type Rep BlockHash :: Type -> Type Source # Methods from :: BlockHash -> Rep BlockHash x Source # to :: Rep BlockHash x -> BlockHash Source #
Show BlockHash
Instance details Defined in Blockfrost.Types.Shared.BlockHash Methods showsPrec :: Int -> BlockHash -> ShowS Source # show :: BlockHash -> String Source # showList :: [BlockHash] -> ShowS Source #
Eq BlockHash
Instance details Defined in Blockfrost.Types.Shared.BlockHash Methods (==) :: BlockHash -> BlockHash -> Bool Source # (/=) :: BlockHash -> BlockHash -> Bool Source #
Ord BlockHash
Instance details Defined in Blockfrost.Types.Shared.BlockHash Methods compare :: BlockHash -> BlockHash -> Ordering Source # (<) :: BlockHash -> BlockHash -> Bool Source # (<=) :: BlockHash -> BlockHash -> Bool Source # (>) :: BlockHash -> BlockHash -> Bool Source # (>=) :: BlockHash -> BlockHash -> Bool Source # max :: BlockHash -> BlockHash -> BlockHash Source # min :: BlockHash -> BlockHash -> BlockHash Source #
FromHttpApiData BlockHash
Instance details Defined in Blockfrost.Types.Shared.BlockHash Methods parseUrlPiece :: Text -> Either Text BlockHash parseHeader :: ByteString -> Either Text BlockHash parseQueryParam :: Text -> Either Text BlockHash
ToHttpApiData BlockHash
Instance details Defined in Blockfrost.Types.Shared.BlockHash Methods toUrlPiece :: BlockHash -> Text toEncodedUrlPiece :: BlockHash -> Builder toHeader :: BlockHash -> ByteString toQueryParam :: BlockHash -> Text toEncodedQueryParam :: BlockHash -> Builder
ToSample BlockHash
Instance details Defined in Blockfrost.Types.Shared.BlockHash Methods toSamples :: Proxy BlockHash -> [(Text, BlockHash)]
HasBlock AddressUtxo BlockHash
Instance details Defined in Blockfrost.Lens Methods block :: Lens' AddressUtxo BlockHash
HasBlock Transaction BlockHash
Instance details Defined in Blockfrost.Lens Methods block :: Lens' Transaction BlockHash
HasHash Block BlockHash
Instance details Defined in Blockfrost.Lens Methods hash :: Lens' Block BlockHash
HasNextBlock Block (Maybe BlockHash)
Instance details Defined in Blockfrost.Lens Methods nextBlock :: Lens' Block (Maybe BlockHash)
HasPreviousBlock Block (Maybe BlockHash)
Instance details Defined in Blockfrost.Lens Methods previousBlock :: Lens' Block (Maybe BlockHash)
ToCapture (Capture "block_hash" BlockHash)
Instance details Defined in Blockfrost.Types.Shared.BlockHash Methods toCapture :: Proxy (Capture "block_hash" BlockHash) -> DocCapture
ToCapture (Capture "hash_or_number" (Either Integer BlockHash))
Instance details Defined in Blockfrost.Types.Shared.BlockHash Methods toCapture :: Proxy (Capture "hash_or_number" (Either Integer BlockHash)) -> DocCapture
FromHttpApiData (Either Integer BlockHash)
Instance details Defined in Blockfrost.Types.Shared.BlockHash Methods parseUrlPiece :: Text -> Either Text (Either Integer BlockHash) parseHeader :: ByteString -> Either Text (Either Integer BlockHash) parseQueryParam :: Text -> Either Text (Either Integer BlockHash)
ToHttpApiData (Either Integer BlockHash)
Instance details Defined in Blockfrost.Types.Shared.BlockHash Methods toUrlPiece :: Either Integer BlockHash -> Text toEncodedUrlPiece :: Either Integer BlockHash -> Builder toHeader :: Either Integer BlockHash -> ByteString toQueryParam :: Either Integer BlockHash -> Text toEncodedQueryParam :: Either Integer BlockHash -> Builder
type Rep BlockHash
Instance details Defined in Blockfrost.Types.Shared.BlockHash type Rep BlockHash = D1 ('MetaData "BlockHash" "Blockfrost.Types.Shared.BlockHash" "blockfrost-api-0.12.2.0-K3zul2bL2BIIjD1KpIwbKT" 'True) (C1 ('MetaCons "BlockHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data BlockfrostClientT (m :: Type -> Type) a #

Instances

Instances details

Monad m => MonadError BlockfrostError (BlockfrostClientT m)
Instance details Defined in Blockfrost.Client.Types Methods throwError :: BlockfrostError -> BlockfrostClientT m a Source # catchError :: BlockfrostClientT m a -> (BlockfrostError -> BlockfrostClientT m a) -> BlockfrostClientT m a Source #
Monad m => MonadReader ClientConfig (BlockfrostClientT m)
Instance details Defined in Blockfrost.Client.Types Methods ask :: BlockfrostClientT m ClientConfig Source # local :: (ClientConfig -> ClientConfig) -> BlockfrostClientT m a -> BlockfrostClientT m a Source # reader :: (ClientConfig -> a) -> BlockfrostClientT m a Source #
MonadIO m => MonadIO (BlockfrostClientT m)
Instance details Defined in Blockfrost.Client.Types Methods liftIO :: IO a -> BlockfrostClientT m a Source #
Monad m => Applicative (BlockfrostClientT m)
Instance details Defined in Blockfrost.Client.Types Methods pure :: a -> BlockfrostClientT m a Source # (<>) :: BlockfrostClientT m (a -> b) -> BlockfrostClientT m a -> BlockfrostClientT m b Source # liftA2 :: (a -> b -> c) -> BlockfrostClientT m a -> BlockfrostClientT m b -> BlockfrostClientT m c Source # (>) :: BlockfrostClientT m a -> BlockfrostClientT m b -> BlockfrostClientT m b Source # (<*) :: BlockfrostClientT m a -> BlockfrostClientT m b -> BlockfrostClientT m a Source #
Functor m => Functor (BlockfrostClientT m)
Instance details Defined in Blockfrost.Client.Types Methods fmap :: (a -> b) -> BlockfrostClientT m a -> BlockfrostClientT m b Source # (<$) :: a -> BlockfrostClientT m b -> BlockfrostClientT m a Source #
Monad m => Monad (BlockfrostClientT m)
Instance details Defined in Blockfrost.Client.Types Methods (>>=) :: BlockfrostClientT m a -> (a -> BlockfrostClientT m b) -> BlockfrostClientT m b Source # (>>) :: BlockfrostClientT m a -> BlockfrostClientT m b -> BlockfrostClientT m b Source # return :: a -> BlockfrostClientT m a Source #
MonadIO m => MonadBlockfrost (BlockfrostClientT m)
Instance details Defined in Blockfrost.Client.Types Methods liftBlockfrostClient :: ClientM a -> BlockfrostClientT m a getConf :: BlockfrostClientT m ClientConfig

data Genesis #

Constructors

Genesis
Fields _genesisActiveSlotsCoefficient :: Rational _genesisUpdateQuorum :: Integer _genesisMaxLovelaceSupply :: Lovelaces _genesisNetworkMagic :: Integer _genesisEpochLength :: Integer _genesisSystemStart :: POSIXTime _genesisSlotsPerKesPeriod :: Integer _genesisSlotLength :: Integer _genesisMaxKesEvolutions :: Integer _genesisSecurityParam :: Integer

Instances

Instances details

FromJSON Genesis
Instance details Defined in Blockfrost.Types.Cardano.Genesis Methods parseJSON :: Value -> Parser Genesis parseJSONList :: Value -> Parser [Genesis] omittedField :: Maybe Genesis
ToJSON Genesis
Instance details Defined in Blockfrost.Types.Cardano.Genesis Methods toJSON :: Genesis -> Value toEncoding :: Genesis -> Encoding toJSONList :: [Genesis] -> Value toEncodingList :: [Genesis] -> Encoding omitField :: Genesis -> Bool
Generic Genesis
Instance details Defined in Blockfrost.Types.Cardano.Genesis Associated Types type Rep Genesis :: Type -> Type Source # Methods from :: Genesis -> Rep Genesis x Source # to :: Rep Genesis x -> Genesis Source #
Show Genesis
Instance details Defined in Blockfrost.Types.Cardano.Genesis Methods showsPrec :: Int -> Genesis -> ShowS Source # show :: Genesis -> String Source # showList :: [Genesis] -> ShowS Source #
Eq Genesis
Instance details Defined in Blockfrost.Types.Cardano.Genesis Methods (==) :: Genesis -> Genesis -> Bool Source # (/=) :: Genesis -> Genesis -> Bool Source #
ToSample Genesis
Instance details Defined in Blockfrost.Types.Cardano.Genesis Methods toSamples :: Proxy Genesis -> [(Text, Genesis)]
HasActiveSlotsCoefficient Genesis Rational
Instance details Defined in Blockfrost.Lens Methods activeSlotsCoefficient :: Lens' Genesis Rational
HasEpochLength Genesis Integer
Instance details Defined in Blockfrost.Lens Methods epochLength :: Lens' Genesis Integer
HasMaxKesEvolutions Genesis Integer
Instance details Defined in Blockfrost.Lens Methods maxKesEvolutions :: Lens' Genesis Integer
a ~ Lovelaces => HasMaxLovelaceSupply Genesis a
Instance details Defined in Blockfrost.Lens Methods maxLovelaceSupply :: Lens' Genesis a
HasNetworkMagic Genesis Integer
Instance details Defined in Blockfrost.Lens Methods networkMagic :: Lens' Genesis Integer
HasSecurityParam Genesis Integer
Instance details Defined in Blockfrost.Lens Methods securityParam :: Lens' Genesis Integer
HasSlotLength Genesis Integer
Instance details Defined in Blockfrost.Lens Methods slotLength :: Lens' Genesis Integer
HasSlotsPerKesPeriod Genesis Integer
Instance details Defined in Blockfrost.Lens Methods slotsPerKesPeriod :: Lens' Genesis Integer
HasSystemStart Genesis POSIXTime
Instance details Defined in Blockfrost.Lens Methods systemStart :: Lens' Genesis POSIXTime
HasUpdateQuorum Genesis Integer
Instance details Defined in Blockfrost.Lens Methods updateQuorum :: Lens' Genesis Integer
type Rep Genesis
Instance details Defined in Blockfrost.Types.Cardano.Genesis type Rep Genesis = D1 ('MetaData "Genesis" "Blockfrost.Types.Cardano.Genesis" "blockfrost-api-0.12.2.0-K3zul2bL2BIIjD1KpIwbKT" 'False) (C1 ('MetaCons "Genesis" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_genesisActiveSlotsCoefficient") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational) :: S1 ('MetaSel ('Just "_genesisUpdateQuorum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :: (S1 ('MetaSel ('Just "_genesisMaxLovelaceSupply") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelaces) :: (S1 ('MetaSel ('Just "_genesisNetworkMagic") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: S1 ('MetaSel ('Just "_genesisEpochLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))) :: ((S1 ('MetaSel ('Just "_genesisSystemStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTime) :: S1 ('MetaSel ('Just "_genesisSlotsPerKesPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :: (S1 ('MetaSel ('Just "_genesisSlotLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: (S1 ('MetaSel ('Just "_genesisMaxKesEvolutions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "_genesisSecurityParam") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))))

data Project #

Instances

Instances details

IsString Project
Instance details Defined in Blockfrost.Auth Methods fromString :: String -> Project Source #
Generic Project
Instance details Defined in Blockfrost.Auth Associated Types type Rep Project :: Type -> Type Source # Methods from :: Project -> Rep Project x Source # to :: Rep Project x -> Project Source #
Show Project
Instance details Defined in Blockfrost.Auth Methods showsPrec :: Int -> Project -> ShowS Source # show :: Project -> String Source # showList :: [Project] -> ShowS Source #
Eq Project
Instance details Defined in Blockfrost.Auth Methods (==) :: Project -> Project -> Bool Source # (/=) :: Project -> Project -> Bool Source #
Monad m => MonadReader ClientConfig (BlockfrostClientT m)
Instance details Defined in Blockfrost.Client.Types Methods ask :: BlockfrostClientT m ClientConfig Source # local :: (ClientConfig -> ClientConfig) -> BlockfrostClientT m a -> BlockfrostClientT m a Source # reader :: (ClientConfig -> a) -> BlockfrostClientT m a Source #
type Rep Project
Instance details Defined in Blockfrost.Auth type Rep Project = D1 ('MetaData "Project" "Blockfrost.Auth" "blockfrost-api-0.12.2.0-K3zul2bL2BIIjD1KpIwbKT" 'False) (C1 ('MetaCons "Project" 'PrefixI 'True) (S1 ('MetaSel ('Just "projectEnv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Env) :*: S1 ('MetaSel ('Just "projectId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype TransactionCBOR #

Constructors

TransactionCBOR
Fields _transactionCBORCbor :: Text

Instances

Instances details

FromJSON TransactionCBOR
Instance details Defined in Blockfrost.Types.Cardano.Transactions Methods parseJSON :: Value -> Parser TransactionCBOR parseJSONList :: Value -> Parser [TransactionCBOR] omittedField :: Maybe TransactionCBOR
ToJSON TransactionCBOR
Instance details Defined in Blockfrost.Types.Cardano.Transactions Methods toJSON :: TransactionCBOR -> Value toEncoding :: TransactionCBOR -> Encoding toJSONList :: [TransactionCBOR] -> Value toEncodingList :: [TransactionCBOR] -> Encoding omitField :: TransactionCBOR -> Bool
Generic TransactionCBOR
Instance details Defined in Blockfrost.Types.Cardano.Transactions Associated Types type Rep TransactionCBOR :: Type -> Type Source # Methods from :: TransactionCBOR -> Rep TransactionCBOR x Source # to :: Rep TransactionCBOR x -> TransactionCBOR Source #
Show TransactionCBOR
Instance details Defined in Blockfrost.Types.Cardano.Transactions Methods showsPrec :: Int -> TransactionCBOR -> ShowS Source # show :: TransactionCBOR -> String Source # showList :: [TransactionCBOR] -> ShowS Source #
Eq TransactionCBOR
Instance details Defined in Blockfrost.Types.Cardano.Transactions Methods (==) :: TransactionCBOR -> TransactionCBOR -> Bool Source # (/=) :: TransactionCBOR -> TransactionCBOR -> Bool Source #
ToSample TransactionCBOR
Instance details Defined in Blockfrost.Types.Cardano.Transactions Methods toSamples :: Proxy TransactionCBOR -> [(Text, TransactionCBOR)]
HasCbor TransactionCBOR Text
Instance details Defined in Blockfrost.Lens Methods cbor :: Lens' TransactionCBOR Text
type Rep TransactionCBOR
Instance details Defined in Blockfrost.Types.Cardano.Transactions type Rep TransactionCBOR = D1 ('MetaData "TransactionCBOR" "Blockfrost.Types.Cardano.Transactions" "blockfrost-api-0.12.2.0-K3zul2bL2BIIjD1KpIwbKT" 'True) (C1 ('MetaCons "TransactionCBOR" 'PrefixI 'True) (S1 ('MetaSel ('Just "_transactionCBORCbor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype TxHashCBOR #

Constructors

TxHashCBOR
Fields getTxHashCBOR :: (TxHash, TransactionCBOR)

Instances

Instances details

FromJSON TxHashCBOR
Instance details Defined in Blockfrost.Types.Cardano.Blocks Methods parseJSON :: Value -> Parser TxHashCBOR parseJSONList :: Value -> Parser [TxHashCBOR] omittedField :: Maybe TxHashCBOR
ToJSON TxHashCBOR
Instance details Defined in Blockfrost.Types.Cardano.Blocks Methods toJSON :: TxHashCBOR -> Value toEncoding :: TxHashCBOR -> Encoding toJSONList :: [TxHashCBOR] -> Value toEncodingList :: [TxHashCBOR] -> Encoding omitField :: TxHashCBOR -> Bool
Generic TxHashCBOR
Instance details Defined in Blockfrost.Types.Cardano.Blocks Associated Types type Rep TxHashCBOR :: Type -> Type Source # Methods from :: TxHashCBOR -> Rep TxHashCBOR x Source # to :: Rep TxHashCBOR x -> TxHashCBOR Source #
Show TxHashCBOR
Instance details Defined in Blockfrost.Types.Cardano.Blocks Methods showsPrec :: Int -> TxHashCBOR -> ShowS Source # show :: TxHashCBOR -> String Source # showList :: [TxHashCBOR] -> ShowS Source #
Eq TxHashCBOR
Instance details Defined in Blockfrost.Types.Cardano.Blocks Methods (==) :: TxHashCBOR -> TxHashCBOR -> Bool Source # (/=) :: TxHashCBOR -> TxHashCBOR -> Bool Source #
ToSample TxHashCBOR
Instance details Defined in Blockfrost.Types.Cardano.Blocks Methods toSamples :: Proxy TxHashCBOR -> [(Text, TxHashCBOR)]
type Rep TxHashCBOR
Instance details Defined in Blockfrost.Types.Cardano.Blocks type Rep TxHashCBOR = D1 ('MetaData "TxHashCBOR" "Blockfrost.Types.Cardano.Blocks" "blockfrost-api-0.12.2.0-K3zul2bL2BIIjD1KpIwbKT" 'True) (C1 ('MetaCons "TxHashCBOR" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTxHashCBOR") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxHash, TransactionCBOR))))

tryError :: MonadError e m => m a -> m (Either e a) Source #

MonadError analogue to the try function.

allPages :: Monad m => (Paged -> m [a]) -> m [a] #

def :: Default a => a #

getBlock :: MonadBlockfrost m => Either Integer BlockHash -> m Block #

getBlockTxsCBOR' :: MonadBlockfrost m => Either Integer BlockHash -> Paged -> SortOrder -> m [TxHashCBOR] #

getLedgerGenesis :: MonadBlockfrost m => m Genesis #

listPools :: MonadBlockfrost m => m [PoolId] #

projectFromFile :: FilePath -> IO Project #

runBlockfrost :: Project -> BlockfrostClientT IO a -> IO (Either BlockfrostError a) #

unBlockHash :: BlockHash -> Text #

unSlot :: Slot -> Integer #