marconi-cardano-core-1.2.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Marconi.Cardano.Core.Orphans

Synopsis

ChainPoint

C.Hash C.BlockHeader

Sometime we need to get a count or test if a value exist.

C.SlotNo

C.BlockNo

C.AddressAny

C.NetworkId and C.NetworkMagic

C.Hash C.ScriptData

C.ScriptData

mapLeft :: (a -> b) -> Either a c -> Either b c #

C.TxIn

C.Value

C.ScriptInAnyLang

C.ScriptHash

O.LedgerState (O.CardanoBlock O.StandardCrypto)

Ledger.Nonce

ToField/FromField

fromFieldViaRawBytes :: SerialiseAsRawBytes a => AsType a -> Field -> Ok a #

Helper to deserialize via SerialiseAsRawBytes instance

encodeLedgerState :: LedgerState (CardanoBlock StandardCrypto) -> Encoding #

decodeLedgerState :: forall s. Decoder s (LedgerState (CardanoBlock StandardCrypto)) #

SecurityParam

Orphan instances

FromJSON AddressAny # 
Instance details

Methods

parseJSON :: Value -> Parser AddressAny

parseJSONList :: Value -> Parser [AddressAny]

FromJSON NetworkId # 
Instance details

Methods

parseJSON :: Value -> Parser NetworkId

parseJSONList :: Value -> Parser [NetworkId]

FromJSON ScriptData # 
Instance details

Methods

parseJSON :: Value -> Parser ScriptData

parseJSONList :: Value -> Parser [ScriptData]

FromJSON NetworkMagic # 
Instance details

Methods

parseJSON :: Value -> Parser NetworkMagic

parseJSONList :: Value -> Parser [NetworkMagic]

ToJSON AddressAny # 
Instance details

Methods

toJSON :: AddressAny -> Value

toEncoding :: AddressAny -> Encoding

toJSONList :: [AddressAny] -> Value

toEncodingList :: [AddressAny] -> Encoding

ToJSON NetworkId # 
Instance details

Methods

toJSON :: NetworkId -> Value

toEncoding :: NetworkId -> Encoding

toJSONList :: [NetworkId] -> Value

toEncodingList :: [NetworkId] -> Encoding

ToJSON ScriptData # 
Instance details

Methods

toJSON :: ScriptData -> Value

toEncoding :: ScriptData -> Encoding

toJSONList :: [ScriptData] -> Value

toEncodingList :: [ScriptData] -> Encoding

ToJSON NetworkMagic # 
Instance details

Methods

toJSON :: NetworkMagic -> Value

toEncoding :: NetworkMagic -> Encoding

toJSONList :: [NetworkMagic] -> Value

toEncodingList :: [NetworkMagic] -> Encoding

Generic NetworkId # 
Instance details

Associated Types

type Rep NetworkId :: Type -> Type Source #

Methods

from :: NetworkId -> Rep NetworkId x Source #

to :: Rep NetworkId x -> NetworkId Source #

Ord ChainTip # 
Instance details

Methods

compare :: ChainTip -> ChainTip -> Ordering Source #

(<) :: ChainTip -> ChainTip -> Bool Source #

(<=) :: ChainTip -> ChainTip -> Bool Source #

(>) :: ChainTip -> ChainTip -> Bool Source #

(>=) :: ChainTip -> ChainTip -> Bool Source #

max :: ChainTip -> ChainTip -> ChainTip Source #

min :: ChainTip -> ChainTip -> ChainTip Source #

HasGenesis ChainPoint # 
Instance details

Methods

genesis :: ChainPoint Source #

Pretty ChainPoint # 
Instance details

Methods

pretty :: ChainPoint -> Doc ann

prettyList :: [ChainPoint] -> Doc ann

Pretty ChainTip # 
Instance details

Methods

pretty :: ChainTip -> Doc ann

prettyList :: [ChainTip] -> Doc ann

Pretty BlockNo # 
Instance details

Methods

pretty :: BlockNo -> Doc ann

prettyList :: [BlockNo] -> Doc ann

Pretty SlotNo # 
Instance details

Methods

pretty :: SlotNo -> Doc ann

prettyList :: [SlotNo] -> Doc ann

Serialise ScriptData # 
Instance details

Methods

encode :: ScriptData -> Encoding

decode :: Decoder s ScriptData

encodeList :: [ScriptData] -> Encoding

decodeList :: Decoder s [ScriptData]

FromField AddressAny # 
Instance details

Methods

fromField :: FieldParser AddressAny

FromField PoolId # 
Instance details

Methods

fromField :: FieldParser PoolId

FromField ScriptHash # 
Instance details

Methods

fromField :: FieldParser ScriptHash

FromField ScriptInAnyLang # 
Instance details

Methods

fromField :: FieldParser ScriptInAnyLang

FromField ScriptData # 
Instance details

Methods

fromField :: FieldParser ScriptData

FromField TxId # 
Instance details

Methods

fromField :: FieldParser TxId

FromField TxIx # 
Instance details

Methods

fromField :: FieldParser TxIx

FromField AssetName # 
Instance details

Methods

fromField :: FieldParser AssetName

FromField Lovelace # 
Instance details

Methods

fromField :: FieldParser Lovelace

FromField PolicyId # 
Instance details

Methods

fromField :: FieldParser PolicyId

FromField Quantity # 
Instance details

Methods

fromField :: FieldParser Quantity

FromField Value # 
Instance details

Methods

fromField :: FieldParser Value

FromField Nonce # 
Instance details

Methods

fromField :: FieldParser Nonce

FromField BlockNo # 
Instance details

Methods

fromField :: FieldParser BlockNo

FromField EpochNo # 
Instance details

Methods

fromField :: FieldParser EpochNo

FromField SlotNo # 
Instance details

Methods

fromField :: FieldParser SlotNo

FromField SecurityParam # 
Instance details

Methods

fromField :: FieldParser SecurityParam

FromRow ChainPoint # 
Instance details

Methods

fromRow :: RowParser ChainPoint

FromRow ChainTip # 
Instance details

Methods

fromRow :: RowParser ChainTip

FromRow TxIn # 
Instance details

Methods

fromRow :: RowParser TxIn

FromRow BlockNo # 
Instance details

Methods

fromRow :: RowParser BlockNo

FromRow SlotNo # 
Instance details

Methods

fromRow :: RowParser SlotNo

FromRow Integer # 
Instance details

Methods

fromRow :: RowParser Integer

ToField AddressAny # 
Instance details

Methods

toField :: AddressAny -> SQLData

ToField PoolId # 
Instance details

Methods

toField :: PoolId -> SQLData

ToField ScriptHash # 
Instance details

Methods

toField :: ScriptHash -> SQLData

ToField ScriptInAnyLang # 
Instance details

Methods

toField :: ScriptInAnyLang -> SQLData

ToField ScriptData # 
Instance details

Methods

toField :: ScriptData -> SQLData

ToField TxId # 
Instance details

Methods

toField :: TxId -> SQLData

ToField TxIx # 
Instance details

Methods

toField :: TxIx -> SQLData

ToField AssetName # 
Instance details

Methods

toField :: AssetName -> SQLData

ToField Lovelace # 
Instance details

Methods

toField :: Lovelace -> SQLData

ToField PolicyId # 
Instance details

Methods

toField :: PolicyId -> SQLData

ToField Quantity # 
Instance details

Methods

toField :: Quantity -> SQLData

ToField Value # 
Instance details

Methods

toField :: Value -> SQLData

ToField Nonce # 
Instance details

Methods

toField :: Nonce -> SQLData

ToField BlockNo # 
Instance details

Methods

toField :: BlockNo -> SQLData

ToField EpochNo # 
Instance details

Methods

toField :: EpochNo -> SQLData

ToField SlotNo # 
Instance details

Methods

toField :: SlotNo -> SQLData

ToField SecurityParam # 
Instance details

Methods

toField :: SecurityParam -> SQLData

ToRow ChainPoint # 
Instance details

Methods

toRow :: ChainPoint -> [SQLData] #

ToRow ChainTip # 
Instance details

Methods

toRow :: ChainTip -> [SQLData] #

ToRow TxIn # 
Instance details

Methods

toRow :: TxIn -> [SQLData] #

ToRow BlockNo # 
Instance details

Methods

toRow :: BlockNo -> [SQLData] #

ToRow SlotNo # 
Instance details

Methods

toRow :: SlotNo -> [SQLData] #

ToRow Integer # 
Instance details

Methods

toRow :: Integer -> [SQLData] #

Pretty (Hash BlockHeader) # 
Instance details

Methods

pretty :: Hash BlockHeader -> Doc ann

prettyList :: [Hash BlockHeader] -> Doc ann

FromField (Hash BlockHeader) # 
Instance details

Methods

fromField :: FieldParser (Hash BlockHeader)

FromField (Hash ScriptData) # 
Instance details

Methods

fromField :: FieldParser (Hash ScriptData)

FromField (LedgerState (CardanoBlock StandardCrypto)) # 
Instance details

Methods

fromField :: FieldParser (LedgerState (CardanoBlock StandardCrypto))

ToField (Hash BlockHeader) # 
Instance details

Methods

toField :: Hash BlockHeader -> SQLData

ToField (Hash ScriptData) # 
Instance details

Methods

toField :: Hash ScriptData -> SQLData

ToField (LedgerState (CardanoBlock StandardCrypto)) # 
Instance details

Methods

toField :: LedgerState (CardanoBlock StandardCrypto) -> SQLData