cardano-api
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Internal.Orphans

Orphan instances

FromJSON ParamName Source # 
Instance details

Methods

parseJSON :: Value -> Parser ParamName

parseJSONList :: Value -> Parser [ParamName]

omittedField :: Maybe ParamName

FromJSONKey ParamName Source # 
Instance details

Methods

fromJSONKey :: FromJSONKeyFunction ParamName

fromJSONKeyList :: FromJSONKeyFunction [ParamName]

ToJSON ApplyMempoolPayloadErr Source # 
Instance details

Methods

toJSON :: ApplyMempoolPayloadErr -> Value

toEncoding :: ApplyMempoolPayloadErr -> Encoding

toJSONList :: [ApplyMempoolPayloadErr] -> Value

toEncodingList :: [ApplyMempoolPayloadErr] -> Encoding

omitField :: ApplyMempoolPayloadErr -> Bool

ToJSON KeyHash Source # 
Instance details

Methods

toJSON :: KeyHash -> Value

toEncoding :: KeyHash -> Encoding

toJSONList :: [KeyHash] -> Value

toEncodingList :: [KeyHash] -> Encoding

omitField :: KeyHash -> Bool

ToJSON LovelaceError Source # 
Instance details

Methods

toJSON :: LovelaceError -> Value

toEncoding :: LovelaceError -> Encoding

toJSONList :: [LovelaceError] -> Value

toEncodingList :: [LovelaceError] -> Encoding

omitField :: LovelaceError -> Bool

ToJSON Error Source # 
Instance details

Methods

toJSON :: Error -> Value

toEncoding :: Error -> Encoding

toJSONList :: [Error] -> Value

toEncodingList :: [Error] -> Encoding

omitField :: Error -> Bool

ToJSON UTxOError Source # 
Instance details

Methods

toJSON :: UTxOError -> Value

toEncoding :: UTxOError -> Encoding

toJSONList :: [UTxOError] -> Value

toEncodingList :: [UTxOError] -> Encoding

omitField :: UTxOError -> Bool

ToJSON TxValidationError Source # 
Instance details

Methods

toJSON :: TxValidationError -> Value

toEncoding :: TxValidationError -> Encoding

toJSONList :: [TxValidationError] -> Value

toEncodingList :: [TxValidationError] -> Encoding

omitField :: TxValidationError -> Bool

ToJSON UTxOValidationError Source # 
Instance details

Methods

toJSON :: UTxOValidationError -> Value

toEncoding :: UTxOValidationError -> Encoding

toJSONList :: [UTxOValidationError] -> Value

toEncodingList :: [UTxOValidationError] -> Encoding

omitField :: UTxOValidationError -> Bool

ToJSON ApplicationNameError Source # 
Instance details

Methods

toJSON :: ApplicationNameError -> Value

toEncoding :: ApplicationNameError -> Encoding

toJSONList :: [ApplicationNameError] -> Value

toEncodingList :: [ApplicationNameError] -> Encoding

omitField :: ApplicationNameError -> Bool

ToJSON SoftwareVersionError Source # 
Instance details

Methods

toJSON :: SoftwareVersionError -> Value

toEncoding :: SoftwareVersionError -> Encoding

toJSONList :: [SoftwareVersionError] -> Value

toEncodingList :: [SoftwareVersionError] -> Encoding

omitField :: SoftwareVersionError -> Bool

ToJSON SystemTagError Source # 
Instance details

Methods

toJSON :: SystemTagError -> Value

toEncoding :: SystemTagError -> Encoding

toJSONList :: [SystemTagError] -> Value

toEncodingList :: [SystemTagError] -> Encoding

omitField :: SystemTagError -> Bool

ToJSON Error Source # 
Instance details

Methods

toJSON :: Error -> Value

toEncoding :: Error -> Encoding

toJSONList :: [Error] -> Value

toEncodingList :: [Error] -> Encoding

omitField :: Error -> Bool

ToJSON Error Source # 
Instance details

Methods

toJSON :: Error -> Value

toEncoding :: Error -> Encoding

toJSONList :: [Error] -> Value

toEncodingList :: [Error] -> Encoding

omitField :: Error -> Bool

ToJSON Adopted Source # 
Instance details

Methods

toJSON :: Adopted -> Value

toEncoding :: Adopted -> Encoding

toJSONList :: [Adopted] -> Value

toEncodingList :: [Adopted] -> Encoding

omitField :: Adopted -> Bool

ToJSON ApplicationVersion Source # 
Instance details

Methods

toJSON :: ApplicationVersion -> Value

toEncoding :: ApplicationVersion -> Encoding

toJSONList :: [ApplicationVersion] -> Value

toEncodingList :: [ApplicationVersion] -> Encoding

omitField :: ApplicationVersion -> Bool

ToJSON Error Source # 
Instance details

Methods

toJSON :: Error -> Value

toEncoding :: Error -> Encoding

toJSONList :: [Error] -> Value

toEncodingList :: [Error] -> Encoding

omitField :: Error -> Bool

ToJSON Error Source # 
Instance details

Methods

toJSON :: Error -> Value

toEncoding :: Error -> Encoding

toJSONList :: [Error] -> Value

toEncodingList :: [Error] -> Encoding

omitField :: Error -> Bool

ToJSON VotingPeriod Source # 
Instance details

Methods

toJSON :: VotingPeriod -> Value

toEncoding :: VotingPeriod -> Encoding

toJSONList :: [VotingPeriod] -> Value

toEncodingList :: [VotingPeriod] -> Encoding

omitField :: VotingPeriod -> Bool

ToJSON TicknState Source # 
Instance details

Methods

toJSON :: TicknState -> Value

toEncoding :: TicknState -> Encoding

toJSONList :: [TicknState] -> Value

toEncodingList :: [TicknState] -> Encoding

omitField :: TicknState -> Bool

ToJSON ByronHash Source # 
Instance details

Methods

toJSON :: ByronHash -> Value

toEncoding :: ByronHash -> Encoding

toJSONList :: [ByronHash] -> Value

toEncodingList :: [ByronHash] -> Encoding

omitField :: ByronHash -> Bool

ToJSONKey ApplicationName Source # 
Instance details

Methods

toJSONKey :: ToJSONKeyFunction ApplicationName

toJSONKeyList :: ToJSONKeyFunction [ApplicationName]

Data CharPosition Source # 
Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CharPosition -> c CharPosition Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CharPosition Source #

toConstr :: CharPosition -> Constr Source #

dataTypeOf :: CharPosition -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CharPosition) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CharPosition) Source #

gmapT :: (forall b. Data b => b -> b) -> CharPosition -> CharPosition Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CharPosition -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CharPosition -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> CharPosition -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CharPosition -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CharPosition -> m CharPosition Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CharPosition -> m CharPosition Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CharPosition -> m CharPosition Source #

Data DecodingError Source # 
Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DecodingError -> c DecodingError Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DecodingError Source #

toConstr :: DecodingError -> Constr Source #

dataTypeOf :: DecodingError -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DecodingError) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DecodingError) Source #

gmapT :: (forall b. Data b => b -> b) -> DecodingError -> DecodingError Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DecodingError -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DecodingError -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> DecodingError -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DecodingError -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DecodingError -> m DecodingError Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DecodingError -> m DecodingError Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DecodingError -> m DecodingError Source #

Data DecoderError Source # 
Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DecoderError -> c DecoderError Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DecoderError Source #

toConstr :: DecoderError -> Constr Source #

dataTypeOf :: DecoderError -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DecoderError) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DecoderError) Source #

gmapT :: (forall b. Data b => b -> b) -> DecoderError -> DecoderError Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DecoderError -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DecoderError -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> DecoderError -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DecoderError -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DecoderError -> m DecoderError Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DecoderError -> m DecoderError Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DecoderError -> m DecoderError Source #

Data DeserialiseFailure Source # 
Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DeserialiseFailure -> c DeserialiseFailure Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DeserialiseFailure Source #

toConstr :: DeserialiseFailure -> Constr Source #

dataTypeOf :: DeserialiseFailure -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DeserialiseFailure) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DeserialiseFailure) Source #

gmapT :: (forall b. Data b => b -> b) -> DeserialiseFailure -> DeserialiseFailure Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DeserialiseFailure -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DeserialiseFailure -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> DeserialiseFailure -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DeserialiseFailure -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DeserialiseFailure -> m DeserialiseFailure Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DeserialiseFailure -> m DeserialiseFailure Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DeserialiseFailure -> m DeserialiseFailure Source #

Generic ApplyMempoolPayloadErr Source # 
Instance details

Associated Types

type Rep ApplyMempoolPayloadErr 
Instance details

Defined in Cardano.Api.Internal.Orphans

type Rep ApplyMempoolPayloadErr = D1 ('MetaData "ApplyMempoolPayloadErr" "Cardano.Chain.Byron.API.Mempool" "cardano-ledger-byron-1.0.2.0-70c14b4de5d5343f887fe981d953c2bcbee3a48ad131cde49a0b771f2538c487" 'False) ((C1 ('MetaCons "MempoolTxErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTxOValidationError)) :+: C1 ('MetaCons "MempoolDlgErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Error))) :+: (C1 ('MetaCons "MempoolUpdateProposalErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Error)) :+: C1 ('MetaCons "MempoolUpdateVoteErr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Error))))

Methods

from :: ApplyMempoolPayloadErr -> Rep ApplyMempoolPayloadErr x Source #

to :: Rep ApplyMempoolPayloadErr x -> ApplyMempoolPayloadErr Source #

Generic LovelaceError Source # 
Instance details

Associated Types

type Rep LovelaceError 
Instance details

Defined in Cardano.Api.Internal.Orphans

type Rep LovelaceError = D1 ('MetaData "LovelaceError" "Cardano.Chain.Common.Lovelace" "cardano-ledger-byron-1.0.2.0-70c14b4de5d5343f887fe981d953c2bcbee3a48ad131cde49a0b771f2538c487" 'False) ((C1 ('MetaCons "LovelaceOverflow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: C1 ('MetaCons "LovelaceTooLarge" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) :+: (C1 ('MetaCons "LovelaceTooSmall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "LovelaceUnderflow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))))

Methods

from :: LovelaceError -> Rep LovelaceError x Source #

to :: Rep LovelaceError x -> LovelaceError Source #

Generic Error Source # 
Instance details

Methods

from :: Error -> Rep Error x Source #

to :: Rep Error x -> Error Source #

Generic UTxOError Source # 
Instance details

Associated Types

type Rep UTxOError 
Instance details

Defined in Cardano.Api.Internal.Orphans

type Rep UTxOError = D1 ('MetaData "UTxOError" "Cardano.Chain.UTxO.UTxO" "cardano-ledger-byron-1.0.2.0-70c14b4de5d5343f887fe981d953c2bcbee3a48ad131cde49a0b771f2538c487" 'False) (C1 ('MetaCons "UTxOMissingInput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIn)) :+: C1 ('MetaCons "UTxOOverlappingUnion" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: UTxOError -> Rep UTxOError x Source #

to :: Rep UTxOError x -> UTxOError Source #

Generic TxValidationError Source # 
Instance details

Associated Types

type Rep TxValidationError 
Instance details

Defined in Cardano.Api.Internal.Orphans

type Rep TxValidationError = D1 ('MetaData "TxValidationError" "Cardano.Chain.UTxO.Validation" "cardano-ledger-byron-1.0.2.0-70c14b4de5d5343f887fe981d953c2bcbee3a48ad131cde49a0b771f2538c487" 'False) (((C1 ('MetaCons "TxValidationLovelaceError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LovelaceError)) :+: C1 ('MetaCons "TxValidationFeeTooSmall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelace) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelace)))) :+: (C1 ('MetaCons "TxValidationWitnessWrongSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInWitness) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtocolMagicId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxSigData))) :+: C1 ('MetaCons "TxValidationWitnessWrongKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInWitness) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Address)))) :+: ((C1 ('MetaCons "TxValidationMissingInput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIn)) :+: C1 ('MetaCons "TxValidationNetworkMagicMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NetworkMagic) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NetworkMagic))) :+: (C1 ('MetaCons "TxValidationTxTooLarge" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)) :+: (C1 ('MetaCons "TxValidationUnknownAddressAttributes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TxValidationUnknownAttributes" 'PrefixI 'False) (U1 :: Type -> Type)))))

Methods

from :: TxValidationError -> Rep TxValidationError x Source #

to :: Rep TxValidationError x -> TxValidationError Source #

Generic UTxOValidationError Source # 
Instance details

Associated Types

type Rep UTxOValidationError 
Instance details

Defined in Cardano.Api.Internal.Orphans

type Rep UTxOValidationError = D1 ('MetaData "UTxOValidationError" "Cardano.Chain.UTxO.Validation" "cardano-ledger-byron-1.0.2.0-70c14b4de5d5343f887fe981d953c2bcbee3a48ad131cde49a0b771f2538c487" 'False) (C1 ('MetaCons "UTxOValidationTxValidationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxValidationError)) :+: C1 ('MetaCons "UTxOValidationUTxOError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTxOError)))

Methods

from :: UTxOValidationError -> Rep UTxOValidationError x Source #

to :: Rep UTxOValidationError x -> UTxOValidationError Source #

Generic ApplicationNameError Source # 
Instance details

Associated Types

type Rep ApplicationNameError 
Instance details

Defined in Cardano.Api.Internal.Orphans

type Rep ApplicationNameError = D1 ('MetaData "ApplicationNameError" "Cardano.Chain.Update.ApplicationName" "cardano-ledger-byron-1.0.2.0-70c14b4de5d5343f887fe981d953c2bcbee3a48ad131cde49a0b771f2538c487" 'False) (C1 ('MetaCons "ApplicationNameTooLong" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "ApplicationNameNotAscii" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: ApplicationNameError -> Rep ApplicationNameError x Source #

to :: Rep ApplicationNameError x -> ApplicationNameError Source #

Generic SoftwareVersionError Source # 
Instance details

Associated Types

type Rep SoftwareVersionError 
Instance details

Defined in Cardano.Api.Internal.Orphans

type Rep SoftwareVersionError = D1 ('MetaData "SoftwareVersionError" "Cardano.Chain.Update.SoftwareVersion" "cardano-ledger-byron-1.0.2.0-70c14b4de5d5343f887fe981d953c2bcbee3a48ad131cde49a0b771f2538c487" 'False) (C1 ('MetaCons "SoftwareVersionApplicationNameError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ApplicationNameError)))

Methods

from :: SoftwareVersionError -> Rep SoftwareVersionError x Source #

to :: Rep SoftwareVersionError x -> SoftwareVersionError Source #

Generic SystemTagError Source # 
Instance details

Associated Types

type Rep SystemTagError 
Instance details

Defined in Cardano.Api.Internal.Orphans

type Rep SystemTagError = D1 ('MetaData "SystemTagError" "Cardano.Chain.Update.SystemTag" "cardano-ledger-byron-1.0.2.0-70c14b4de5d5343f887fe981d953c2bcbee3a48ad131cde49a0b771f2538c487" 'False) (C1 ('MetaCons "SystemTagNotAscii" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "SystemTagTooLong" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: SystemTagError -> Rep SystemTagError x Source #

to :: Rep SystemTagError x -> SystemTagError Source #

Generic Error Source # 
Instance details

Methods

from :: Error -> Rep Error x Source #

to :: Rep Error x -> Error Source #

Generic Error Source # 
Instance details

Methods

from :: Error -> Rep Error x Source #

to :: Rep Error x -> Error Source #

Generic Adopted Source # 
Instance details

Associated Types

type Rep Adopted 
Instance details

Defined in Cardano.Api.Internal.Orphans

type Rep Adopted = D1 ('MetaData "Adopted" "Cardano.Chain.Update.Validation.Registration" "cardano-ledger-byron-1.0.2.0-70c14b4de5d5343f887fe981d953c2bcbee3a48ad131cde49a0b771f2538c487" 'True) (C1 ('MetaCons "Adopted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtocolVersion)))

Methods

from :: Adopted -> Rep Adopted x Source #

to :: Rep Adopted x -> Adopted Source #

Generic Error Source # 
Instance details

Methods

from :: Error -> Rep Error x Source #

to :: Rep Error x -> Error Source #

Generic Error Source # 
Instance details

Associated Types

type Rep Error 
Instance details

Defined in Cardano.Api.Internal.Orphans

type Rep Error = D1 ('MetaData "Error" "Cardano.Chain.Update.Validation.Voting" "cardano-ledger-byron-1.0.2.0-70c14b4de5d5343f887fe981d953c2bcbee3a48ad131cde49a0b771f2538c487" 'False) ((C1 ('MetaCons "VotingInvalidSignature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VotingProposalNotRegistered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UpId))) :+: (C1 ('MetaCons "VotingVoterNotDelegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KeyHash)) :+: C1 ('MetaCons "VotingVoteAlreadyCast" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KeyHash))))

Methods

from :: Error -> Rep Error x Source #

to :: Rep Error x -> Error Source #

Num Coin Source # 
Instance details

Methods

(+) :: Coin -> Coin -> Coin Source #

(-) :: Coin -> Coin -> Coin Source #

(*) :: Coin -> Coin -> Coin Source #

negate :: Coin -> Coin Source #

abs :: Coin -> Coin Source #

signum :: Coin -> Coin Source #

fromInteger :: Integer -> Coin Source #

Integral Coin Source # 
Instance details

Methods

quot :: Coin -> Coin -> Coin Source #

rem :: Coin -> Coin -> Coin Source #

div :: Coin -> Coin -> Coin Source #

mod :: Coin -> Coin -> Coin Source #

quotRem :: Coin -> Coin -> (Coin, Coin) Source #

divMod :: Coin -> Coin -> (Coin, Coin) Source #

toInteger :: Coin -> Integer Source #

Real Coin Source #

These instances originally existed on the Lovelace type. As the Lovelace type is deleted and we use L.Coin instead, these instances are added to L.Coin. The instances are purely for the convenience of writing expressions involving L.Coin but be aware that not all uses of these typeclasses are valid.

Instance details

Methods

toRational :: Coin -> Rational Source #

Show ParamName Source # 
Instance details

Methods

showsPrec :: Int -> ParamName -> ShowS Source #

show :: ParamName -> String Source #

showList :: [ParamName] -> ShowS Source #

Pretty Coin Source # 
Instance details

Methods

pretty :: Coin -> Doc ann #

prettyList :: [Coin] -> Doc ann #

Pretty Error Source # 
Instance details

Methods

pretty :: Error -> Doc ann #

prettyList :: [Error] -> Doc ann #

Show (AllegraUtxoPredFailure ledgerera) => ToJSON (AllegraUtxoPredFailure ledgerera) Source # 
Instance details

Methods

toJSON :: AllegraUtxoPredFailure ledgerera -> Value

toEncoding :: AllegraUtxoPredFailure ledgerera -> Encoding

toJSONList :: [AllegraUtxoPredFailure ledgerera] -> Value

toEncodingList :: [AllegraUtxoPredFailure ledgerera] -> Encoding

omitField :: AllegraUtxoPredFailure ledgerera -> Bool

Show (AlonzoUtxoPredFailure ledgerera) => ToJSON (AlonzoUtxoPredFailure ledgerera) Source # 
Instance details

Methods

toJSON :: AlonzoUtxoPredFailure ledgerera -> Value

toEncoding :: AlonzoUtxoPredFailure ledgerera -> Encoding

toJSONList :: [AlonzoUtxoPredFailure ledgerera] -> Value

toEncodingList :: [AlonzoUtxoPredFailure ledgerera] -> Encoding

omitField :: AlonzoUtxoPredFailure ledgerera -> Bool

(Crypto (EraCrypto ledgerera), ToJSON (PredicateFailure (EraRule "UTXO" ledgerera)), ToJSON (PlutusPurpose AsItem ledgerera), ToJSON (PlutusPurpose AsIx ledgerera)) => ToJSON (AlonzoUtxowPredFailure ledgerera) Source # 
Instance details

Methods

toJSON :: AlonzoUtxowPredFailure ledgerera -> Value

toEncoding :: AlonzoUtxowPredFailure ledgerera -> Encoding

toJSONList :: [AlonzoUtxowPredFailure ledgerera] -> Value

toEncodingList :: [AlonzoUtxowPredFailure ledgerera] -> Encoding

omitField :: AlonzoUtxowPredFailure ledgerera -> Bool

Show (BabbageUtxoPredFailure ledgerera) => ToJSON (BabbageUtxoPredFailure ledgerera) Source # 
Instance details

Methods

toJSON :: BabbageUtxoPredFailure ledgerera -> Value

toEncoding :: BabbageUtxoPredFailure ledgerera -> Encoding

toJSONList :: [BabbageUtxoPredFailure ledgerera] -> Value

toEncodingList :: [BabbageUtxoPredFailure ledgerera] -> Encoding

omitField :: BabbageUtxoPredFailure ledgerera -> Bool

(Crypto (EraCrypto ledgerera), ToJSON (PredicateFailure (EraRule "UTXO" ledgerera)), ToJSON (TxCert ledgerera), ToJSON (PlutusPurpose AsItem ledgerera), ToJSON (PlutusPurpose AsIx ledgerera)) => ToJSON (BabbageUtxowPredFailure ledgerera) Source # 
Instance details

Methods

toJSON :: BabbageUtxowPredFailure ledgerera -> Value

toEncoding :: BabbageUtxowPredFailure ledgerera -> Encoding

toJSONList :: [BabbageUtxowPredFailure ledgerera] -> Value

toEncodingList :: [BabbageUtxowPredFailure ledgerera] -> Encoding

omitField :: BabbageUtxowPredFailure ledgerera -> Bool

ToJSON a => ToJSON (TooLarge a) Source # 
Instance details

Methods

toJSON :: TooLarge a -> Value

toEncoding :: TooLarge a -> Encoding

toJSONList :: [TooLarge a] -> Value

toEncodingList :: [TooLarge a] -> Encoding

omitField :: TooLarge a -> Bool

Show (ConwayLedgerPredFailure ledgerera) => ToJSON (ConwayLedgerPredFailure ledgerera) Source # 
Instance details

Methods

toJSON :: ConwayLedgerPredFailure ledgerera -> Value

toEncoding :: ConwayLedgerPredFailure ledgerera -> Encoding

toJSONList :: [ConwayLedgerPredFailure ledgerera] -> Value

toEncodingList :: [ConwayLedgerPredFailure ledgerera] -> Encoding

omitField :: ConwayLedgerPredFailure ledgerera -> Bool

ToJSON (PredicateFailure (EraRule "LEDGER" ledgerera)) => ToJSON (ApplyTxError ledgerera) Source # 
Instance details

Methods

toJSON :: ApplyTxError ledgerera -> Value

toEncoding :: ApplyTxError ledgerera -> Encoding

toJSONList :: [ApplyTxError ledgerera] -> Value

toEncodingList :: [ApplyTxError ledgerera] -> Encoding

omitField :: ApplyTxError ledgerera -> Bool

Show (ShelleyDelegsPredFailure ledgerera) => ToJSON (ShelleyDelegsPredFailure ledgerera) Source # 
Instance details

Methods

toJSON :: ShelleyDelegsPredFailure ledgerera -> Value

toEncoding :: ShelleyDelegsPredFailure ledgerera -> Encoding

toJSONList :: [ShelleyDelegsPredFailure ledgerera] -> Value

toEncodingList :: [ShelleyDelegsPredFailure ledgerera] -> Encoding

omitField :: ShelleyDelegsPredFailure ledgerera -> Bool

(ToJSON (PredicateFailure (EraRule "UTXOW" ledgerera)), ToJSON (PredicateFailure (EraRule "DELEGS" ledgerera))) => ToJSON (ShelleyLedgerPredFailure ledgerera) Source # 
Instance details

Methods

toJSON :: ShelleyLedgerPredFailure ledgerera -> Value

toEncoding :: ShelleyLedgerPredFailure ledgerera -> Encoding

toJSONList :: [ShelleyLedgerPredFailure ledgerera] -> Value

toEncodingList :: [ShelleyLedgerPredFailure ledgerera] -> Encoding

omitField :: ShelleyLedgerPredFailure ledgerera -> Bool

(Crypto (EraCrypto ledgerera), ToJSON (PredicateFailure (EraRule "UTXO" ledgerera))) => ToJSON (ShelleyPpupPredFailure ledgerera) Source # 
Instance details

Methods

toJSON :: ShelleyPpupPredFailure ledgerera -> Value

toEncoding :: ShelleyPpupPredFailure ledgerera -> Encoding

toJSONList :: [ShelleyPpupPredFailure ledgerera] -> Value

toEncodingList :: [ShelleyPpupPredFailure ledgerera] -> Encoding

omitField :: ShelleyPpupPredFailure ledgerera -> Bool

Show (ShelleyUtxoPredFailure ledgerera) => ToJSON (ShelleyUtxoPredFailure ledgerera) Source # 
Instance details

Methods

toJSON :: ShelleyUtxoPredFailure ledgerera -> Value

toEncoding :: ShelleyUtxoPredFailure ledgerera -> Encoding

toJSONList :: [ShelleyUtxoPredFailure ledgerera] -> Value

toEncodingList :: [ShelleyUtxoPredFailure ledgerera] -> Encoding

omitField :: ShelleyUtxoPredFailure ledgerera -> Bool

(Crypto (EraCrypto ledgerera), ToJSON (PredicateFailure (EraRule "UTXO" ledgerera))) => ToJSON (ShelleyUtxowPredFailure ledgerera) Source # 
Instance details

Methods

toJSON :: ShelleyUtxowPredFailure ledgerera -> Value

toEncoding :: ShelleyUtxowPredFailure ledgerera -> Encoding

toJSONList :: [ShelleyUtxowPredFailure ledgerera] -> Value

toEncodingList :: [ShelleyUtxowPredFailure ledgerera] -> Encoding

omitField :: ShelleyUtxowPredFailure ledgerera -> Bool

ToJSON (ChainDepState StandardCrypto) Source # 
Instance details

Methods

toJSON :: ChainDepState StandardCrypto -> Value

toEncoding :: ChainDepState StandardCrypto -> Encoding

toJSONList :: [ChainDepState StandardCrypto] -> Value

toEncodingList :: [ChainDepState StandardCrypto] -> Encoding

omitField :: ChainDepState StandardCrypto -> Bool

Crypto crypto => ToJSON (HashHeader crypto) Source # 
Instance details

Methods

toJSON :: HashHeader crypto -> Value

toEncoding :: HashHeader crypto -> Encoding

toJSONList :: [HashHeader crypto] -> Value

toEncodingList :: [HashHeader crypto] -> Encoding

omitField :: HashHeader crypto -> Bool

ToJSON (PrtclState StandardCrypto) Source # 
Instance details

Methods

toJSON :: PrtclState StandardCrypto -> Value

toEncoding :: PrtclState StandardCrypto -> Encoding

toJSONList :: [PrtclState StandardCrypto] -> Value

toEncodingList :: [PrtclState StandardCrypto] -> Encoding

omitField :: PrtclState StandardCrypto -> Bool

ToJSON (StakeSnapshot crypto) Source # 
Instance details

Methods

toJSON :: StakeSnapshot crypto -> Value

toEncoding :: StakeSnapshot crypto -> Encoding

toJSONList :: [StakeSnapshot crypto] -> Value

toEncodingList :: [StakeSnapshot crypto] -> Encoding

omitField :: StakeSnapshot crypto -> Bool

Crypto crypto => ToJSON (StakeSnapshots crypto) Source # 
Instance details

Methods

toJSON :: StakeSnapshots crypto -> Value

toEncoding :: StakeSnapshots crypto -> Encoding

toJSONList :: [StakeSnapshots crypto] -> Value

toEncodingList :: [StakeSnapshots crypto] -> Encoding

omitField :: StakeSnapshots crypto -> Bool

Crypto crypto => ToJSON (ShelleyHash crypto) Source # 
Instance details

Methods

toJSON :: ShelleyHash crypto -> Value

toEncoding :: ShelleyHash crypto -> Encoding

toJSONList :: [ShelleyHash crypto] -> Value

toEncodingList :: [ShelleyHash crypto] -> Encoding

omitField :: ShelleyHash crypto -> Bool

ToJSON (PraosState StandardCrypto) Source # 
Instance details

Methods

toJSON :: PraosState StandardCrypto -> Value

toEncoding :: PraosState StandardCrypto -> Encoding

toJSONList :: [PraosState StandardCrypto] -> Value

toEncodingList :: [PraosState StandardCrypto] -> Encoding

omitField :: PraosState StandardCrypto -> Bool

ToJSON (TPraosState StandardCrypto) Source # 
Instance details

Methods

toJSON :: TPraosState StandardCrypto -> Value

toEncoding :: TPraosState StandardCrypto -> Encoding

toJSONList :: [TPraosState StandardCrypto] -> Value

toEncodingList :: [TPraosState StandardCrypto] -> Encoding

omitField :: TPraosState StandardCrypto -> Bool

Generic (TooLarge a) Source # 
Instance details

Associated Types

type Rep (TooLarge a) 
Instance details

Defined in Cardano.Api.Internal.Orphans

type Rep (TooLarge a) = D1 ('MetaData "TooLarge" "Cardano.Chain.Update.Validation.Registration" "cardano-ledger-byron-1.0.2.0-70c14b4de5d5343f887fe981d953c2bcbee3a48ad131cde49a0b771f2538c487" 'False) (C1 ('MetaCons "TooLarge" 'PrefixI 'True) (S1 ('MetaSel ('Just "tlActual") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "tlMaxBound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: TooLarge a -> Rep (TooLarge a) x Source #

to :: Rep (TooLarge a) x -> TooLarge a Source #

Generic (ApplyTxError era) Source # 
Instance details

Associated Types

type Rep (ApplyTxError era) 
Instance details

Defined in Cardano.Api.Internal.Orphans

type Rep (ApplyTxError era) = D1 ('MetaData "ApplyTxError" "Cardano.Ledger.Shelley.API.Mempool" "cardano-ledger-shelley-1.15.0.0-be2aa3f08dacdd7ab5c802d4cd4b55841f070811f7cb96d454cfa8a1768c7e9f" 'True) (C1 ('MetaCons "ApplyTxError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PredicateFailure (EraRule "LEDGER" era))))))

Methods

from :: ApplyTxError era -> Rep (ApplyTxError era) x Source #

to :: Rep (ApplyTxError era) x -> ApplyTxError era Source #

Crypto c => ToJSON (VKey 'Witness c) Source # 
Instance details

Methods

toJSON :: VKey 'Witness c -> Value

toEncoding :: VKey 'Witness c -> Encoding

toJSONList :: [VKey 'Witness c] -> Value

toEncodingList :: [VKey 'Witness c] -> Encoding

omitField :: VKey 'Witness c -> Bool

ToJSON (OneEraHash xs) Source # 
Instance details

Methods

toJSON :: OneEraHash xs -> Value

toEncoding :: OneEraHash xs -> Encoding

toJSONList :: [OneEraHash xs] -> Value

toEncodingList :: [OneEraHash xs] -> Encoding

omitField :: OneEraHash xs -> Bool

ToJSON (HeaderHash blk) => ToJSON (Tip blk) Source # 
Instance details

Methods

toJSON :: Tip blk -> Value

toEncoding :: Tip blk -> Encoding

toJSONList :: [Tip blk] -> Value

toEncodingList :: [Tip blk] -> Encoding

omitField :: Tip blk -> Bool

Semigroup (AlonzoPParams StrictMaybe era) Source # 
Instance details

Methods

(<>) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era Source #

sconcat :: NonEmpty (AlonzoPParams StrictMaybe era) -> AlonzoPParams StrictMaybe era Source #

stimes :: Integral b => b -> AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era Source #

Semigroup (BabbagePParams StrictMaybe era) Source # 
Instance details

Methods

(<>) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era Source #

sconcat :: NonEmpty (BabbagePParams StrictMaybe era) -> BabbagePParams StrictMaybe era Source #

stimes :: Integral b => b -> BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era Source #

Semigroup (ConwayPParams StrictMaybe era) Source # 
Instance details

Methods

(<>) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era Source #

sconcat :: NonEmpty (ConwayPParams StrictMaybe era) -> ConwayPParams StrictMaybe era Source #

stimes :: Integral b => b -> ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era Source #

Semigroup (ShelleyPParams StrictMaybe era) Source # 
Instance details

Methods

(<>) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era Source #

sconcat :: NonEmpty (ShelleyPParams StrictMaybe era) -> ShelleyPParams StrictMaybe era Source #

stimes :: Integral b => b -> ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era Source #

IsList (ListMap k a) Source # 
Instance details

Associated Types

type Item (ListMap k a) 
Instance details

Defined in Cardano.Api.Internal.Orphans

type Item (ListMap k a) = (k, a)

Methods

fromList :: [Item (ListMap k a)] -> ListMap k a Source #

fromListN :: Int -> [Item (ListMap k a)] -> ListMap k a Source #

toList :: ListMap k a -> [Item (ListMap k a)] Source #