cardano-api
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Hash

Synopsis

Hash

data family Hash keyrole Source #

Instances

Instances details
FromJSON (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

Methods

parseJSON :: Value -> Parser (Hash BlockHeader) #

parseJSONList :: Value -> Parser [Hash BlockHeader] #

omittedField :: Maybe (Hash BlockHeader) #

FromJSON (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

parseJSON :: Value -> Parser (Hash DRepKey) #

parseJSONList :: Value -> Parser [Hash DRepKey] #

omittedField :: Maybe (Hash DRepKey) #

FromJSON (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

parseJSON :: Value -> Parser (Hash GenesisKey) #

parseJSONList :: Value -> Parser [Hash GenesisKey] #

omittedField :: Maybe (Hash GenesisKey) #

FromJSON (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

parseJSON :: Value -> Parser (Hash PaymentKey) #

parseJSONList :: Value -> Parser [Hash PaymentKey] #

omittedField :: Maybe (Hash PaymentKey) #

FromJSON (Hash StakePoolExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

parseJSON :: Value -> Parser (Hash StakePoolExtendedKey) #

parseJSONList :: Value -> Parser [Hash StakePoolExtendedKey] #

omittedField :: Maybe (Hash StakePoolExtendedKey) #

FromJSON (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

parseJSON :: Value -> Parser (Hash StakePoolKey) #

parseJSONList :: Value -> Parser [Hash StakePoolKey] #

omittedField :: Maybe (Hash StakePoolKey) #

FromJSON (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Methods

parseJSON :: Value -> Parser (Hash ScriptData) #

parseJSONList :: Value -> Parser [Hash ScriptData] #

omittedField :: Maybe (Hash ScriptData) #

FromJSONKey (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Methods

fromJSONKey :: FromJSONKeyFunction (Hash ScriptData)

fromJSONKeyList :: FromJSONKeyFunction [Hash ScriptData]

ToJSON (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

Methods

toJSON :: Hash BlockHeader -> Value #

toEncoding :: Hash BlockHeader -> Encoding #

toJSONList :: [Hash BlockHeader] -> Value #

toEncodingList :: [Hash BlockHeader] -> Encoding #

omitField :: Hash BlockHeader -> Bool #

ToJSON (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toJSON :: Hash DRepKey -> Value #

toEncoding :: Hash DRepKey -> Encoding #

toJSONList :: [Hash DRepKey] -> Value #

toEncodingList :: [Hash DRepKey] -> Encoding #

omitField :: Hash DRepKey -> Bool #

ToJSON (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toJSON :: Hash GenesisKey -> Value #

toEncoding :: Hash GenesisKey -> Encoding #

toJSONList :: [Hash GenesisKey] -> Value #

toEncodingList :: [Hash GenesisKey] -> Encoding #

omitField :: Hash GenesisKey -> Bool #

ToJSON (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toJSON :: Hash PaymentKey -> Value #

toEncoding :: Hash PaymentKey -> Encoding #

toJSONList :: [Hash PaymentKey] -> Value #

toEncodingList :: [Hash PaymentKey] -> Encoding #

omitField :: Hash PaymentKey -> Bool #

ToJSON (Hash StakePoolExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toJSON :: Hash StakePoolExtendedKey -> Value #

toEncoding :: Hash StakePoolExtendedKey -> Encoding #

toJSONList :: [Hash StakePoolExtendedKey] -> Value #

toEncodingList :: [Hash StakePoolExtendedKey] -> Encoding #

omitField :: Hash StakePoolExtendedKey -> Bool #

ToJSON (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toJSON :: Hash StakePoolKey -> Value #

toEncoding :: Hash StakePoolKey -> Encoding #

toJSONList :: [Hash StakePoolKey] -> Value #

toEncodingList :: [Hash StakePoolKey] -> Encoding #

omitField :: Hash StakePoolKey -> Bool #

ToJSON (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Methods

toJSON :: Hash ScriptData -> Value #

toEncoding :: Hash ScriptData -> Encoding #

toJSONList :: [Hash ScriptData] -> Value #

toEncodingList :: [Hash ScriptData] -> Encoding #

omitField :: Hash ScriptData -> Bool #

ToJSONKey (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toJSONKey :: ToJSONKeyFunction (Hash DRepKey)

toJSONKeyList :: ToJSONKeyFunction [Hash DRepKey]

ToJSONKey (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toJSONKey :: ToJSONKeyFunction (Hash GenesisKey)

toJSONKeyList :: ToJSONKeyFunction [Hash GenesisKey]

ToJSONKey (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toJSONKey :: ToJSONKeyFunction (Hash PaymentKey)

toJSONKeyList :: ToJSONKeyFunction [Hash PaymentKey]

ToJSONKey (Hash StakePoolExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toJSONKey :: ToJSONKeyFunction (Hash StakePoolExtendedKey)

toJSONKeyList :: ToJSONKeyFunction [Hash StakePoolExtendedKey]

ToJSONKey (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toJSONKey :: ToJSONKeyFunction (Hash StakePoolKey)

toJSONKeyList :: ToJSONKeyFunction [Hash StakePoolKey]

ToJSONKey (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Methods

toJSONKey :: ToJSONKeyFunction (Hash ScriptData)

toJSONKeyList :: ToJSONKeyFunction [Hash ScriptData]

Show (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

Methods

showsPrec :: Int -> Hash BlockHeader -> ShowS Source #

show :: Hash BlockHeader -> String Source #

showList :: [Hash BlockHeader] -> ShowS Source #

Show (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

showsPrec :: Int -> Hash ByronKey -> ShowS Source #

show :: Hash ByronKey -> String Source #

showList :: [Hash ByronKey] -> ShowS Source #

Show (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

showsPrec :: Int -> Hash ByronKeyLegacy -> ShowS Source #

show :: Hash ByronKeyLegacy -> String Source #

showList :: [Hash ByronKeyLegacy] -> ShowS Source #

Show (Hash DRepMetadata) Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.DRepMetadata

Methods

showsPrec :: Int -> Hash DRepMetadata -> ShowS Source #

show :: Hash DRepMetadata -> String Source #

showList :: [Hash DRepMetadata] -> ShowS Source #

Show (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata

Methods

showsPrec :: Int -> Hash StakePoolMetadata -> ShowS Source #

show :: Hash StakePoolMetadata -> String Source #

showList :: [Hash StakePoolMetadata] -> ShowS Source #

Show (Hash GovernancePoll) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

showsPrec :: Int -> Hash GovernancePoll -> ShowS Source #

show :: Hash GovernancePoll -> String Source #

showList :: [Hash GovernancePoll] -> ShowS Source #

Show (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash CommitteeColdExtendedKey -> ShowS Source #

show :: Hash CommitteeColdExtendedKey -> String Source #

showList :: [Hash CommitteeColdExtendedKey] -> ShowS Source #

Show (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash CommitteeColdKey -> ShowS Source #

show :: Hash CommitteeColdKey -> String Source #

showList :: [Hash CommitteeColdKey] -> ShowS Source #

Show (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash CommitteeHotExtendedKey -> ShowS Source #

show :: Hash CommitteeHotExtendedKey -> String Source #

showList :: [Hash CommitteeHotExtendedKey] -> ShowS Source #

Show (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash CommitteeHotKey -> ShowS Source #

show :: Hash CommitteeHotKey -> String Source #

showList :: [Hash CommitteeHotKey] -> ShowS Source #

Show (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash DRepExtendedKey -> ShowS Source #

show :: Hash DRepExtendedKey -> String Source #

showList :: [Hash DRepExtendedKey] -> ShowS Source #

Show (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash DRepKey -> ShowS Source #

show :: Hash DRepKey -> String Source #

showList :: [Hash DRepKey] -> ShowS Source #

Show (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash GenesisDelegateExtendedKey -> ShowS Source #

show :: Hash GenesisDelegateExtendedKey -> String Source #

showList :: [Hash GenesisDelegateExtendedKey] -> ShowS Source #

Show (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash GenesisDelegateKey -> ShowS Source #

show :: Hash GenesisDelegateKey -> String Source #

showList :: [Hash GenesisDelegateKey] -> ShowS Source #

Show (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash GenesisExtendedKey -> ShowS Source #

show :: Hash GenesisExtendedKey -> String Source #

showList :: [Hash GenesisExtendedKey] -> ShowS Source #

Show (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash GenesisKey -> ShowS Source #

show :: Hash GenesisKey -> String Source #

showList :: [Hash GenesisKey] -> ShowS Source #

Show (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash GenesisUTxOKey -> ShowS Source #

show :: Hash GenesisUTxOKey -> String Source #

showList :: [Hash GenesisUTxOKey] -> ShowS Source #

Show (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash PaymentExtendedKey -> ShowS Source #

show :: Hash PaymentExtendedKey -> String Source #

showList :: [Hash PaymentExtendedKey] -> ShowS Source #

Show (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash PaymentKey -> ShowS Source #

show :: Hash PaymentKey -> String Source #

showList :: [Hash PaymentKey] -> ShowS Source #

Show (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash StakeExtendedKey -> ShowS Source #

show :: Hash StakeExtendedKey -> String Source #

showList :: [Hash StakeExtendedKey] -> ShowS Source #

Show (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash StakeKey -> ShowS Source #

show :: Hash StakeKey -> String Source #

showList :: [Hash StakeKey] -> ShowS Source #

Show (Hash StakePoolExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash StakePoolExtendedKey -> ShowS Source #

show :: Hash StakePoolExtendedKey -> String Source #

showList :: [Hash StakePoolExtendedKey] -> ShowS Source #

Show (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

showsPrec :: Int -> Hash StakePoolKey -> ShowS Source #

show :: Hash StakePoolKey -> String Source #

showList :: [Hash StakePoolKey] -> ShowS Source #

Show (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

showsPrec :: Int -> Hash KesKey -> ShowS Source #

show :: Hash KesKey -> String Source #

showList :: [Hash KesKey] -> ShowS Source #

Show (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

showsPrec :: Int -> Hash VrfKey -> ShowS Source #

show :: Hash VrfKey -> String Source #

showList :: [Hash VrfKey] -> ShowS Source #

Show (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Methods

showsPrec :: Int -> Hash ScriptData -> ShowS Source #

show :: Hash ScriptData -> String Source #

showList :: [Hash ScriptData] -> ShowS Source #

HasTypeProxy a => HasTypeProxy (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

Associated Types

data AsType (Hash a) 
Instance details

Defined in Cardano.Api.Hash

data AsType (Hash a) = AsHash (AsType a)

Methods

proxyToAsType :: Proxy (Hash a) -> AsType (Hash a) Source #

SerialiseAsBech32 (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

bech32PrefixFor :: Hash CommitteeColdKey -> HumanReadablePart Source #

bech32PrefixesPermitted :: AsType (Hash CommitteeColdKey) -> [HumanReadablePart] Source #

SerialiseAsBech32 (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

bech32PrefixFor :: Hash CommitteeHotKey -> HumanReadablePart Source #

bech32PrefixesPermitted :: AsType (Hash CommitteeHotKey) -> [HumanReadablePart] Source #

SerialiseAsBech32 (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

bech32PrefixFor :: Hash DRepKey -> HumanReadablePart Source #

bech32PrefixesPermitted :: AsType (Hash DRepKey) -> [HumanReadablePart] Source #

SerialiseAsBech32 (Hash StakePoolExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

bech32PrefixFor :: Hash StakePoolExtendedKey -> HumanReadablePart Source #

bech32PrefixesPermitted :: AsType (Hash StakePoolExtendedKey) -> [HumanReadablePart] Source #

SerialiseAsBech32 (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

bech32PrefixFor :: Hash StakePoolKey -> HumanReadablePart Source #

bech32PrefixesPermitted :: AsType (Hash StakePoolKey) -> [HumanReadablePart] Source #

SerialiseAsCBOR (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

serialiseToCBOR :: Hash ByronKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash ByronKey) -> ByteString -> Either DecoderError (Hash ByronKey) Source #

SerialiseAsCBOR (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

serialiseToCBOR :: Hash ByronKeyLegacy -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash ByronKeyLegacy) -> ByteString -> Either DecoderError (Hash ByronKeyLegacy) Source #

SerialiseAsCBOR (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash CommitteeColdExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash CommitteeColdExtendedKey) -> ByteString -> Either DecoderError (Hash CommitteeColdExtendedKey) Source #

SerialiseAsCBOR (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash CommitteeColdKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash CommitteeColdKey) -> ByteString -> Either DecoderError (Hash CommitteeColdKey) Source #

SerialiseAsCBOR (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash CommitteeHotExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash CommitteeHotExtendedKey) -> ByteString -> Either DecoderError (Hash CommitteeHotExtendedKey) Source #

SerialiseAsCBOR (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash CommitteeHotKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash CommitteeHotKey) -> ByteString -> Either DecoderError (Hash CommitteeHotKey) Source #

SerialiseAsCBOR (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash DRepExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash DRepExtendedKey) -> ByteString -> Either DecoderError (Hash DRepExtendedKey) Source #

SerialiseAsCBOR (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash DRepKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash DRepKey) -> ByteString -> Either DecoderError (Hash DRepKey) Source #

SerialiseAsCBOR (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash GenesisDelegateExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash GenesisDelegateExtendedKey) -> ByteString -> Either DecoderError (Hash GenesisDelegateExtendedKey) Source #

SerialiseAsCBOR (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash GenesisDelegateKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash GenesisDelegateKey) -> ByteString -> Either DecoderError (Hash GenesisDelegateKey) Source #

SerialiseAsCBOR (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash GenesisExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash GenesisExtendedKey) -> ByteString -> Either DecoderError (Hash GenesisExtendedKey) Source #

SerialiseAsCBOR (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash GenesisKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash GenesisKey) -> ByteString -> Either DecoderError (Hash GenesisKey) Source #

SerialiseAsCBOR (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash GenesisUTxOKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash GenesisUTxOKey) -> ByteString -> Either DecoderError (Hash GenesisUTxOKey) Source #

SerialiseAsCBOR (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash PaymentExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash PaymentExtendedKey) -> ByteString -> Either DecoderError (Hash PaymentExtendedKey) Source #

SerialiseAsCBOR (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash PaymentKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash PaymentKey) -> ByteString -> Either DecoderError (Hash PaymentKey) Source #

SerialiseAsCBOR (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash StakeExtendedKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash StakeExtendedKey) -> ByteString -> Either DecoderError (Hash StakeExtendedKey) Source #

SerialiseAsCBOR (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash StakeKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash StakeKey) -> ByteString -> Either DecoderError (Hash StakeKey) Source #

SerialiseAsCBOR (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToCBOR :: Hash StakePoolKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash StakePoolKey) -> ByteString -> Either DecoderError (Hash StakePoolKey) Source #

SerialiseAsCBOR (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

serialiseToCBOR :: Hash KesKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash KesKey) -> ByteString -> Either DecoderError (Hash KesKey) Source #

SerialiseAsCBOR (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

serialiseToCBOR :: Hash VrfKey -> ByteString Source #

deserialiseFromCBOR :: AsType (Hash VrfKey) -> ByteString -> Either DecoderError (Hash VrfKey) Source #

SerialiseAsRawBytes (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

Methods

serialiseToRawBytes :: Hash BlockHeader -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash BlockHeader) -> ByteString -> Either SerialiseAsRawBytesError (Hash BlockHeader) Source #

SerialiseAsRawBytes (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

serialiseToRawBytes :: Hash ByronKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash ByronKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash ByronKey) Source #

SerialiseAsRawBytes (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

serialiseToRawBytes :: Hash ByronKeyLegacy -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash ByronKeyLegacy) -> ByteString -> Either SerialiseAsRawBytesError (Hash ByronKeyLegacy) Source #

SerialiseAsRawBytes (Hash DRepMetadata) Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.DRepMetadata

Methods

serialiseToRawBytes :: Hash DRepMetadata -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash DRepMetadata) -> ByteString -> Either SerialiseAsRawBytesError (Hash DRepMetadata) Source #

SerialiseAsRawBytes (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata

Methods

serialiseToRawBytes :: Hash StakePoolMetadata -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash StakePoolMetadata) -> ByteString -> Either SerialiseAsRawBytesError (Hash StakePoolMetadata) Source #

SerialiseAsRawBytes (Hash GovernancePoll) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

serialiseToRawBytes :: Hash GovernancePoll -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash GovernancePoll) -> ByteString -> Either SerialiseAsRawBytesError (Hash GovernancePoll) Source #

SerialiseAsRawBytes (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash CommitteeColdExtendedKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash CommitteeColdExtendedKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash CommitteeColdExtendedKey) Source #

SerialiseAsRawBytes (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash CommitteeColdKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash CommitteeColdKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash CommitteeColdKey) Source #

SerialiseAsRawBytes (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash CommitteeHotExtendedKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash CommitteeHotExtendedKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash CommitteeHotExtendedKey) Source #

SerialiseAsRawBytes (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash CommitteeHotKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash CommitteeHotKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash CommitteeHotKey) Source #

SerialiseAsRawBytes (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash DRepExtendedKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash DRepExtendedKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash DRepExtendedKey) Source #

SerialiseAsRawBytes (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash DRepKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash DRepKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash DRepKey) Source #

SerialiseAsRawBytes (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash GenesisDelegateExtendedKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash GenesisDelegateExtendedKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash GenesisDelegateExtendedKey) Source #

SerialiseAsRawBytes (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash GenesisDelegateKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash GenesisDelegateKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash GenesisDelegateKey) Source #

SerialiseAsRawBytes (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash GenesisExtendedKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash GenesisExtendedKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash GenesisExtendedKey) Source #

SerialiseAsRawBytes (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash GenesisKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash GenesisKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash GenesisKey) Source #

SerialiseAsRawBytes (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash GenesisUTxOKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash GenesisUTxOKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash GenesisUTxOKey) Source #

SerialiseAsRawBytes (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash PaymentExtendedKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash PaymentExtendedKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash PaymentExtendedKey) Source #

SerialiseAsRawBytes (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash PaymentKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash PaymentKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash PaymentKey) Source #

SerialiseAsRawBytes (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash StakeExtendedKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash StakeExtendedKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash StakeExtendedKey) Source #

SerialiseAsRawBytes (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash StakeKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash StakeKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash StakeKey) Source #

SerialiseAsRawBytes (Hash StakePoolExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash StakePoolExtendedKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash StakePoolExtendedKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash StakePoolExtendedKey) Source #

SerialiseAsRawBytes (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

serialiseToRawBytes :: Hash StakePoolKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash StakePoolKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash StakePoolKey) Source #

SerialiseAsRawBytes (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

serialiseToRawBytes :: Hash KesKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash KesKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash KesKey) Source #

SerialiseAsRawBytes (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

serialiseToRawBytes :: Hash VrfKey -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash VrfKey) -> ByteString -> Either SerialiseAsRawBytesError (Hash VrfKey) Source #

SerialiseAsRawBytes (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Methods

serialiseToRawBytes :: Hash ScriptData -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash ScriptData) -> ByteString -> Either SerialiseAsRawBytesError (Hash ScriptData) Source #

FromCBOR (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

fromCBOR :: Decoder s (Hash ByronKey) Source #

label :: Proxy (Hash ByronKey) -> Text Source #

FromCBOR (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

fromCBOR :: Decoder s (Hash ByronKeyLegacy) Source #

label :: Proxy (Hash ByronKeyLegacy) -> Text Source #

FromCBOR (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash CommitteeColdExtendedKey) Source #

label :: Proxy (Hash CommitteeColdExtendedKey) -> Text Source #

FromCBOR (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash CommitteeColdKey) Source #

label :: Proxy (Hash CommitteeColdKey) -> Text Source #

FromCBOR (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash CommitteeHotExtendedKey) Source #

label :: Proxy (Hash CommitteeHotExtendedKey) -> Text Source #

FromCBOR (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash CommitteeHotKey) Source #

label :: Proxy (Hash CommitteeHotKey) -> Text Source #

FromCBOR (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash DRepExtendedKey) Source #

label :: Proxy (Hash DRepExtendedKey) -> Text Source #

FromCBOR (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash DRepKey) Source #

label :: Proxy (Hash DRepKey) -> Text Source #

FromCBOR (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash GenesisDelegateExtendedKey) Source #

label :: Proxy (Hash GenesisDelegateExtendedKey) -> Text Source #

FromCBOR (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash GenesisDelegateKey) Source #

label :: Proxy (Hash GenesisDelegateKey) -> Text Source #

FromCBOR (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash GenesisExtendedKey) Source #

label :: Proxy (Hash GenesisExtendedKey) -> Text Source #

FromCBOR (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash GenesisKey) Source #

label :: Proxy (Hash GenesisKey) -> Text Source #

FromCBOR (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash GenesisUTxOKey) Source #

label :: Proxy (Hash GenesisUTxOKey) -> Text Source #

FromCBOR (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash PaymentExtendedKey) Source #

label :: Proxy (Hash PaymentExtendedKey) -> Text Source #

FromCBOR (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash PaymentKey) Source #

label :: Proxy (Hash PaymentKey) -> Text Source #

FromCBOR (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash StakeExtendedKey) Source #

label :: Proxy (Hash StakeExtendedKey) -> Text Source #

FromCBOR (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash StakeKey) Source #

label :: Proxy (Hash StakeKey) -> Text Source #

FromCBOR (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

fromCBOR :: Decoder s (Hash StakePoolKey) Source #

label :: Proxy (Hash StakePoolKey) -> Text Source #

FromCBOR (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

fromCBOR :: Decoder s (Hash KesKey) Source #

label :: Proxy (Hash KesKey) -> Text Source #

FromCBOR (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

fromCBOR :: Decoder s (Hash VrfKey) Source #

label :: Proxy (Hash VrfKey) -> Text Source #

ToCBOR (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

toCBOR :: Hash ByronKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash ByronKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash ByronKey] -> Size Source #

ToCBOR (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

toCBOR :: Hash ByronKeyLegacy -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash ByronKeyLegacy) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash ByronKeyLegacy] -> Size Source #

ToCBOR (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash CommitteeColdExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash CommitteeColdExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash CommitteeColdExtendedKey] -> Size Source #

ToCBOR (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash CommitteeColdKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash CommitteeColdKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash CommitteeColdKey] -> Size Source #

ToCBOR (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash CommitteeHotExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash CommitteeHotExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash CommitteeHotExtendedKey] -> Size Source #

ToCBOR (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash CommitteeHotKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash CommitteeHotKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash CommitteeHotKey] -> Size Source #

ToCBOR (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash DRepExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash DRepExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash DRepExtendedKey] -> Size Source #

ToCBOR (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash DRepKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash DRepKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash DRepKey] -> Size Source #

ToCBOR (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash GenesisDelegateExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash GenesisDelegateExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash GenesisDelegateExtendedKey] -> Size Source #

ToCBOR (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash GenesisDelegateKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash GenesisDelegateKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash GenesisDelegateKey] -> Size Source #

ToCBOR (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash GenesisExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash GenesisExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash GenesisExtendedKey] -> Size Source #

ToCBOR (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash GenesisKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash GenesisKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash GenesisKey] -> Size Source #

ToCBOR (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash GenesisUTxOKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash GenesisUTxOKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash GenesisUTxOKey] -> Size Source #

ToCBOR (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash PaymentExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash PaymentExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash PaymentExtendedKey] -> Size Source #

ToCBOR (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash PaymentKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash PaymentKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash PaymentKey] -> Size Source #

ToCBOR (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash StakeExtendedKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash StakeExtendedKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash StakeExtendedKey] -> Size Source #

ToCBOR (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash StakeKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash StakeKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash StakeKey] -> Size Source #

ToCBOR (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

toCBOR :: Hash StakePoolKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash StakePoolKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash StakePoolKey] -> Size Source #

ToCBOR (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

toCBOR :: Hash KesKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash KesKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash KesKey] -> Size Source #

ToCBOR (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

toCBOR :: Hash VrfKey -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash VrfKey) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash VrfKey] -> Size Source #

Eq (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

Methods

(==) :: Hash BlockHeader -> Hash BlockHeader -> Bool Source #

(/=) :: Hash BlockHeader -> Hash BlockHeader -> Bool Source #

Eq (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

(==) :: Hash ByronKey -> Hash ByronKey -> Bool Source #

(/=) :: Hash ByronKey -> Hash ByronKey -> Bool Source #

Eq (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

(==) :: Hash ByronKeyLegacy -> Hash ByronKeyLegacy -> Bool Source #

(/=) :: Hash ByronKeyLegacy -> Hash ByronKeyLegacy -> Bool Source #

Eq (Hash DRepMetadata) Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.DRepMetadata

Methods

(==) :: Hash DRepMetadata -> Hash DRepMetadata -> Bool Source #

(/=) :: Hash DRepMetadata -> Hash DRepMetadata -> Bool Source #

Eq (Hash StakePoolMetadata) Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata

Methods

(==) :: Hash StakePoolMetadata -> Hash StakePoolMetadata -> Bool Source #

(/=) :: Hash StakePoolMetadata -> Hash StakePoolMetadata -> Bool Source #

Eq (Hash GovernancePoll) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

(==) :: Hash GovernancePoll -> Hash GovernancePoll -> Bool Source #

(/=) :: Hash GovernancePoll -> Hash GovernancePoll -> Bool Source #

Eq (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash CommitteeColdExtendedKey -> Hash CommitteeColdExtendedKey -> Bool Source #

(/=) :: Hash CommitteeColdExtendedKey -> Hash CommitteeColdExtendedKey -> Bool Source #

Eq (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash CommitteeColdKey -> Hash CommitteeColdKey -> Bool Source #

(/=) :: Hash CommitteeColdKey -> Hash CommitteeColdKey -> Bool Source #

Eq (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash CommitteeHotExtendedKey -> Hash CommitteeHotExtendedKey -> Bool Source #

(/=) :: Hash CommitteeHotExtendedKey -> Hash CommitteeHotExtendedKey -> Bool Source #

Eq (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash CommitteeHotKey -> Hash CommitteeHotKey -> Bool Source #

(/=) :: Hash CommitteeHotKey -> Hash CommitteeHotKey -> Bool Source #

Eq (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash DRepExtendedKey -> Hash DRepExtendedKey -> Bool Source #

(/=) :: Hash DRepExtendedKey -> Hash DRepExtendedKey -> Bool Source #

Eq (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash DRepKey -> Hash DRepKey -> Bool Source #

(/=) :: Hash DRepKey -> Hash DRepKey -> Bool Source #

Eq (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash GenesisDelegateExtendedKey -> Hash GenesisDelegateExtendedKey -> Bool Source #

(/=) :: Hash GenesisDelegateExtendedKey -> Hash GenesisDelegateExtendedKey -> Bool Source #

Eq (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash GenesisDelegateKey -> Hash GenesisDelegateKey -> Bool Source #

(/=) :: Hash GenesisDelegateKey -> Hash GenesisDelegateKey -> Bool Source #

Eq (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash GenesisExtendedKey -> Hash GenesisExtendedKey -> Bool Source #

(/=) :: Hash GenesisExtendedKey -> Hash GenesisExtendedKey -> Bool Source #

Eq (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash GenesisKey -> Hash GenesisKey -> Bool Source #

(/=) :: Hash GenesisKey -> Hash GenesisKey -> Bool Source #

Eq (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash GenesisUTxOKey -> Hash GenesisUTxOKey -> Bool Source #

(/=) :: Hash GenesisUTxOKey -> Hash GenesisUTxOKey -> Bool Source #

Eq (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash PaymentExtendedKey -> Hash PaymentExtendedKey -> Bool Source #

(/=) :: Hash PaymentExtendedKey -> Hash PaymentExtendedKey -> Bool Source #

Eq (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash PaymentKey -> Hash PaymentKey -> Bool Source #

(/=) :: Hash PaymentKey -> Hash PaymentKey -> Bool Source #

Eq (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash StakeExtendedKey -> Hash StakeExtendedKey -> Bool Source #

(/=) :: Hash StakeExtendedKey -> Hash StakeExtendedKey -> Bool Source #

Eq (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash StakeKey -> Hash StakeKey -> Bool Source #

(/=) :: Hash StakeKey -> Hash StakeKey -> Bool Source #

Eq (Hash StakePoolExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash StakePoolExtendedKey -> Hash StakePoolExtendedKey -> Bool Source #

(/=) :: Hash StakePoolExtendedKey -> Hash StakePoolExtendedKey -> Bool Source #

Eq (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

(==) :: Hash StakePoolKey -> Hash StakePoolKey -> Bool Source #

(/=) :: Hash StakePoolKey -> Hash StakePoolKey -> Bool Source #

Eq (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

(==) :: Hash KesKey -> Hash KesKey -> Bool Source #

(/=) :: Hash KesKey -> Hash KesKey -> Bool Source #

Eq (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

(==) :: Hash VrfKey -> Hash VrfKey -> Bool Source #

(/=) :: Hash VrfKey -> Hash VrfKey -> Bool Source #

Eq (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Methods

(==) :: Hash ScriptData -> Hash ScriptData -> Bool Source #

(/=) :: Hash ScriptData -> Hash ScriptData -> Bool Source #

Ord (Hash BlockHeader) Source # 
Instance details

Defined in Cardano.Api.Block

Methods

compare :: Hash BlockHeader -> Hash BlockHeader -> Ordering Source #

(<) :: Hash BlockHeader -> Hash BlockHeader -> Bool Source #

(<=) :: Hash BlockHeader -> Hash BlockHeader -> Bool Source #

(>) :: Hash BlockHeader -> Hash BlockHeader -> Bool Source #

(>=) :: Hash BlockHeader -> Hash BlockHeader -> Bool Source #

max :: Hash BlockHeader -> Hash BlockHeader -> Hash BlockHeader Source #

min :: Hash BlockHeader -> Hash BlockHeader -> Hash BlockHeader Source #

Ord (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

compare :: Hash ByronKey -> Hash ByronKey -> Ordering Source #

(<) :: Hash ByronKey -> Hash ByronKey -> Bool Source #

(<=) :: Hash ByronKey -> Hash ByronKey -> Bool Source #

(>) :: Hash ByronKey -> Hash ByronKey -> Bool Source #

(>=) :: Hash ByronKey -> Hash ByronKey -> Bool Source #

max :: Hash ByronKey -> Hash ByronKey -> Hash ByronKey Source #

min :: Hash ByronKey -> Hash ByronKey -> Hash ByronKey Source #

Ord (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

compare :: Hash ByronKeyLegacy -> Hash ByronKeyLegacy -> Ordering Source #

(<) :: Hash ByronKeyLegacy -> Hash ByronKeyLegacy -> Bool Source #

(<=) :: Hash ByronKeyLegacy -> Hash ByronKeyLegacy -> Bool Source #

(>) :: Hash ByronKeyLegacy -> Hash ByronKeyLegacy -> Bool Source #

(>=) :: Hash ByronKeyLegacy -> Hash ByronKeyLegacy -> Bool Source #

max :: Hash ByronKeyLegacy -> Hash ByronKeyLegacy -> Hash ByronKeyLegacy Source #

min :: Hash ByronKeyLegacy -> Hash ByronKeyLegacy -> Hash ByronKeyLegacy Source #

Ord (Hash GovernancePoll) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

compare :: Hash GovernancePoll -> Hash GovernancePoll -> Ordering Source #

(<) :: Hash GovernancePoll -> Hash GovernancePoll -> Bool Source #

(<=) :: Hash GovernancePoll -> Hash GovernancePoll -> Bool Source #

(>) :: Hash GovernancePoll -> Hash GovernancePoll -> Bool Source #

(>=) :: Hash GovernancePoll -> Hash GovernancePoll -> Bool Source #

max :: Hash GovernancePoll -> Hash GovernancePoll -> Hash GovernancePoll Source #

min :: Hash GovernancePoll -> Hash GovernancePoll -> Hash GovernancePoll Source #

Ord (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash CommitteeColdExtendedKey -> Hash CommitteeColdExtendedKey -> Ordering Source #

(<) :: Hash CommitteeColdExtendedKey -> Hash CommitteeColdExtendedKey -> Bool Source #

(<=) :: Hash CommitteeColdExtendedKey -> Hash CommitteeColdExtendedKey -> Bool Source #

(>) :: Hash CommitteeColdExtendedKey -> Hash CommitteeColdExtendedKey -> Bool Source #

(>=) :: Hash CommitteeColdExtendedKey -> Hash CommitteeColdExtendedKey -> Bool Source #

max :: Hash CommitteeColdExtendedKey -> Hash CommitteeColdExtendedKey -> Hash CommitteeColdExtendedKey Source #

min :: Hash CommitteeColdExtendedKey -> Hash CommitteeColdExtendedKey -> Hash CommitteeColdExtendedKey Source #

Ord (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash CommitteeColdKey -> Hash CommitteeColdKey -> Ordering Source #

(<) :: Hash CommitteeColdKey -> Hash CommitteeColdKey -> Bool Source #

(<=) :: Hash CommitteeColdKey -> Hash CommitteeColdKey -> Bool Source #

(>) :: Hash CommitteeColdKey -> Hash CommitteeColdKey -> Bool Source #

(>=) :: Hash CommitteeColdKey -> Hash CommitteeColdKey -> Bool Source #

max :: Hash CommitteeColdKey -> Hash CommitteeColdKey -> Hash CommitteeColdKey Source #

min :: Hash CommitteeColdKey -> Hash CommitteeColdKey -> Hash CommitteeColdKey Source #

Ord (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash CommitteeHotExtendedKey -> Hash CommitteeHotExtendedKey -> Ordering Source #

(<) :: Hash CommitteeHotExtendedKey -> Hash CommitteeHotExtendedKey -> Bool Source #

(<=) :: Hash CommitteeHotExtendedKey -> Hash CommitteeHotExtendedKey -> Bool Source #

(>) :: Hash CommitteeHotExtendedKey -> Hash CommitteeHotExtendedKey -> Bool Source #

(>=) :: Hash CommitteeHotExtendedKey -> Hash CommitteeHotExtendedKey -> Bool Source #

max :: Hash CommitteeHotExtendedKey -> Hash CommitteeHotExtendedKey -> Hash CommitteeHotExtendedKey Source #

min :: Hash CommitteeHotExtendedKey -> Hash CommitteeHotExtendedKey -> Hash CommitteeHotExtendedKey Source #

Ord (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash CommitteeHotKey -> Hash CommitteeHotKey -> Ordering Source #

(<) :: Hash CommitteeHotKey -> Hash CommitteeHotKey -> Bool Source #

(<=) :: Hash CommitteeHotKey -> Hash CommitteeHotKey -> Bool Source #

(>) :: Hash CommitteeHotKey -> Hash CommitteeHotKey -> Bool Source #

(>=) :: Hash CommitteeHotKey -> Hash CommitteeHotKey -> Bool Source #

max :: Hash CommitteeHotKey -> Hash CommitteeHotKey -> Hash CommitteeHotKey Source #

min :: Hash CommitteeHotKey -> Hash CommitteeHotKey -> Hash CommitteeHotKey Source #

Ord (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash DRepExtendedKey -> Hash DRepExtendedKey -> Ordering Source #

(<) :: Hash DRepExtendedKey -> Hash DRepExtendedKey -> Bool Source #

(<=) :: Hash DRepExtendedKey -> Hash DRepExtendedKey -> Bool Source #

(>) :: Hash DRepExtendedKey -> Hash DRepExtendedKey -> Bool Source #

(>=) :: Hash DRepExtendedKey -> Hash DRepExtendedKey -> Bool Source #

max :: Hash DRepExtendedKey -> Hash DRepExtendedKey -> Hash DRepExtendedKey Source #

min :: Hash DRepExtendedKey -> Hash DRepExtendedKey -> Hash DRepExtendedKey Source #

Ord (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash DRepKey -> Hash DRepKey -> Ordering Source #

(<) :: Hash DRepKey -> Hash DRepKey -> Bool Source #

(<=) :: Hash DRepKey -> Hash DRepKey -> Bool Source #

(>) :: Hash DRepKey -> Hash DRepKey -> Bool Source #

(>=) :: Hash DRepKey -> Hash DRepKey -> Bool Source #

max :: Hash DRepKey -> Hash DRepKey -> Hash DRepKey Source #

min :: Hash DRepKey -> Hash DRepKey -> Hash DRepKey Source #

Ord (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash GenesisDelegateExtendedKey -> Hash GenesisDelegateExtendedKey -> Ordering Source #

(<) :: Hash GenesisDelegateExtendedKey -> Hash GenesisDelegateExtendedKey -> Bool Source #

(<=) :: Hash GenesisDelegateExtendedKey -> Hash GenesisDelegateExtendedKey -> Bool Source #

(>) :: Hash GenesisDelegateExtendedKey -> Hash GenesisDelegateExtendedKey -> Bool Source #

(>=) :: Hash GenesisDelegateExtendedKey -> Hash GenesisDelegateExtendedKey -> Bool Source #

max :: Hash GenesisDelegateExtendedKey -> Hash GenesisDelegateExtendedKey -> Hash GenesisDelegateExtendedKey Source #

min :: Hash GenesisDelegateExtendedKey -> Hash GenesisDelegateExtendedKey -> Hash GenesisDelegateExtendedKey Source #

Ord (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash GenesisDelegateKey -> Hash GenesisDelegateKey -> Ordering Source #

(<) :: Hash GenesisDelegateKey -> Hash GenesisDelegateKey -> Bool Source #

(<=) :: Hash GenesisDelegateKey -> Hash GenesisDelegateKey -> Bool Source #

(>) :: Hash GenesisDelegateKey -> Hash GenesisDelegateKey -> Bool Source #

(>=) :: Hash GenesisDelegateKey -> Hash GenesisDelegateKey -> Bool Source #

max :: Hash GenesisDelegateKey -> Hash GenesisDelegateKey -> Hash GenesisDelegateKey Source #

min :: Hash GenesisDelegateKey -> Hash GenesisDelegateKey -> Hash GenesisDelegateKey Source #

Ord (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash GenesisExtendedKey -> Hash GenesisExtendedKey -> Ordering Source #

(<) :: Hash GenesisExtendedKey -> Hash GenesisExtendedKey -> Bool Source #

(<=) :: Hash GenesisExtendedKey -> Hash GenesisExtendedKey -> Bool Source #

(>) :: Hash GenesisExtendedKey -> Hash GenesisExtendedKey -> Bool Source #

(>=) :: Hash GenesisExtendedKey -> Hash GenesisExtendedKey -> Bool Source #

max :: Hash GenesisExtendedKey -> Hash GenesisExtendedKey -> Hash GenesisExtendedKey Source #

min :: Hash GenesisExtendedKey -> Hash GenesisExtendedKey -> Hash GenesisExtendedKey Source #

Ord (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash GenesisKey -> Hash GenesisKey -> Ordering Source #

(<) :: Hash GenesisKey -> Hash GenesisKey -> Bool Source #

(<=) :: Hash GenesisKey -> Hash GenesisKey -> Bool Source #

(>) :: Hash GenesisKey -> Hash GenesisKey -> Bool Source #

(>=) :: Hash GenesisKey -> Hash GenesisKey -> Bool Source #

max :: Hash GenesisKey -> Hash GenesisKey -> Hash GenesisKey Source #

min :: Hash GenesisKey -> Hash GenesisKey -> Hash GenesisKey Source #

Ord (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash GenesisUTxOKey -> Hash GenesisUTxOKey -> Ordering Source #

(<) :: Hash GenesisUTxOKey -> Hash GenesisUTxOKey -> Bool Source #

(<=) :: Hash GenesisUTxOKey -> Hash GenesisUTxOKey -> Bool Source #

(>) :: Hash GenesisUTxOKey -> Hash GenesisUTxOKey -> Bool Source #

(>=) :: Hash GenesisUTxOKey -> Hash GenesisUTxOKey -> Bool Source #

max :: Hash GenesisUTxOKey -> Hash GenesisUTxOKey -> Hash GenesisUTxOKey Source #

min :: Hash GenesisUTxOKey -> Hash GenesisUTxOKey -> Hash GenesisUTxOKey Source #

Ord (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash PaymentExtendedKey -> Hash PaymentExtendedKey -> Ordering Source #

(<) :: Hash PaymentExtendedKey -> Hash PaymentExtendedKey -> Bool Source #

(<=) :: Hash PaymentExtendedKey -> Hash PaymentExtendedKey -> Bool Source #

(>) :: Hash PaymentExtendedKey -> Hash PaymentExtendedKey -> Bool Source #

(>=) :: Hash PaymentExtendedKey -> Hash PaymentExtendedKey -> Bool Source #

max :: Hash PaymentExtendedKey -> Hash PaymentExtendedKey -> Hash PaymentExtendedKey Source #

min :: Hash PaymentExtendedKey -> Hash PaymentExtendedKey -> Hash PaymentExtendedKey Source #

Ord (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash PaymentKey -> Hash PaymentKey -> Ordering Source #

(<) :: Hash PaymentKey -> Hash PaymentKey -> Bool Source #

(<=) :: Hash PaymentKey -> Hash PaymentKey -> Bool Source #

(>) :: Hash PaymentKey -> Hash PaymentKey -> Bool Source #

(>=) :: Hash PaymentKey -> Hash PaymentKey -> Bool Source #

max :: Hash PaymentKey -> Hash PaymentKey -> Hash PaymentKey Source #

min :: Hash PaymentKey -> Hash PaymentKey -> Hash PaymentKey Source #

Ord (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash StakeExtendedKey -> Hash StakeExtendedKey -> Ordering Source #

(<) :: Hash StakeExtendedKey -> Hash StakeExtendedKey -> Bool Source #

(<=) :: Hash StakeExtendedKey -> Hash StakeExtendedKey -> Bool Source #

(>) :: Hash StakeExtendedKey -> Hash StakeExtendedKey -> Bool Source #

(>=) :: Hash StakeExtendedKey -> Hash StakeExtendedKey -> Bool Source #

max :: Hash StakeExtendedKey -> Hash StakeExtendedKey -> Hash StakeExtendedKey Source #

min :: Hash StakeExtendedKey -> Hash StakeExtendedKey -> Hash StakeExtendedKey Source #

Ord (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash StakeKey -> Hash StakeKey -> Ordering Source #

(<) :: Hash StakeKey -> Hash StakeKey -> Bool Source #

(<=) :: Hash StakeKey -> Hash StakeKey -> Bool Source #

(>) :: Hash StakeKey -> Hash StakeKey -> Bool Source #

(>=) :: Hash StakeKey -> Hash StakeKey -> Bool Source #

max :: Hash StakeKey -> Hash StakeKey -> Hash StakeKey Source #

min :: Hash StakeKey -> Hash StakeKey -> Hash StakeKey Source #

Ord (Hash StakePoolExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash StakePoolExtendedKey -> Hash StakePoolExtendedKey -> Ordering Source #

(<) :: Hash StakePoolExtendedKey -> Hash StakePoolExtendedKey -> Bool Source #

(<=) :: Hash StakePoolExtendedKey -> Hash StakePoolExtendedKey -> Bool Source #

(>) :: Hash StakePoolExtendedKey -> Hash StakePoolExtendedKey -> Bool Source #

(>=) :: Hash StakePoolExtendedKey -> Hash StakePoolExtendedKey -> Bool Source #

max :: Hash StakePoolExtendedKey -> Hash StakePoolExtendedKey -> Hash StakePoolExtendedKey Source #

min :: Hash StakePoolExtendedKey -> Hash StakePoolExtendedKey -> Hash StakePoolExtendedKey Source #

Ord (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

compare :: Hash StakePoolKey -> Hash StakePoolKey -> Ordering Source #

(<) :: Hash StakePoolKey -> Hash StakePoolKey -> Bool Source #

(<=) :: Hash StakePoolKey -> Hash StakePoolKey -> Bool Source #

(>) :: Hash StakePoolKey -> Hash StakePoolKey -> Bool Source #

(>=) :: Hash StakePoolKey -> Hash StakePoolKey -> Bool Source #

max :: Hash StakePoolKey -> Hash StakePoolKey -> Hash StakePoolKey Source #

min :: Hash StakePoolKey -> Hash StakePoolKey -> Hash StakePoolKey Source #

Ord (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

compare :: Hash KesKey -> Hash KesKey -> Ordering Source #

(<) :: Hash KesKey -> Hash KesKey -> Bool Source #

(<=) :: Hash KesKey -> Hash KesKey -> Bool Source #

(>) :: Hash KesKey -> Hash KesKey -> Bool Source #

(>=) :: Hash KesKey -> Hash KesKey -> Bool Source #

max :: Hash KesKey -> Hash KesKey -> Hash KesKey Source #

min :: Hash KesKey -> Hash KesKey -> Hash KesKey Source #

Ord (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

compare :: Hash VrfKey -> Hash VrfKey -> Ordering Source #

(<) :: Hash VrfKey -> Hash VrfKey -> Bool Source #

(<=) :: Hash VrfKey -> Hash VrfKey -> Bool Source #

(>) :: Hash VrfKey -> Hash VrfKey -> Bool Source #

(>=) :: Hash VrfKey -> Hash VrfKey -> Bool Source #

max :: Hash VrfKey -> Hash VrfKey -> Hash VrfKey Source #

min :: Hash VrfKey -> Hash VrfKey -> Hash VrfKey Source #

Ord (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Methods

compare :: Hash ScriptData -> Hash ScriptData -> Ordering Source #

(<) :: Hash ScriptData -> Hash ScriptData -> Bool Source #

(<=) :: Hash ScriptData -> Hash ScriptData -> Bool Source #

(>) :: Hash ScriptData -> Hash ScriptData -> Bool Source #

(>=) :: Hash ScriptData -> Hash ScriptData -> Bool Source #

max :: Hash ScriptData -> Hash ScriptData -> Hash ScriptData Source #

min :: Hash ScriptData -> Hash ScriptData -> Hash ScriptData Source #

Pretty (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

pretty :: Hash ByronKey -> Doc ann #

prettyList :: [Hash ByronKey] -> Doc ann #

Pretty (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

pretty :: Hash ByronKeyLegacy -> Doc ann #

prettyList :: [Hash ByronKeyLegacy] -> Doc ann #

Pretty (Hash GovernancePoll) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

pretty :: Hash GovernancePoll -> Doc ann #

prettyList :: [Hash GovernancePoll] -> Doc ann #

Pretty (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash CommitteeColdExtendedKey -> Doc ann #

prettyList :: [Hash CommitteeColdExtendedKey] -> Doc ann #

Pretty (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash CommitteeColdKey -> Doc ann #

prettyList :: [Hash CommitteeColdKey] -> Doc ann #

Pretty (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash CommitteeHotExtendedKey -> Doc ann #

prettyList :: [Hash CommitteeHotExtendedKey] -> Doc ann #

Pretty (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash CommitteeHotKey -> Doc ann #

prettyList :: [Hash CommitteeHotKey] -> Doc ann #

Pretty (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash DRepExtendedKey -> Doc ann #

prettyList :: [Hash DRepExtendedKey] -> Doc ann #

Pretty (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash DRepKey -> Doc ann #

prettyList :: [Hash DRepKey] -> Doc ann #

Pretty (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash GenesisDelegateExtendedKey -> Doc ann #

prettyList :: [Hash GenesisDelegateExtendedKey] -> Doc ann #

Pretty (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash GenesisDelegateKey -> Doc ann #

prettyList :: [Hash GenesisDelegateKey] -> Doc ann #

Pretty (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash GenesisExtendedKey -> Doc ann #

prettyList :: [Hash GenesisExtendedKey] -> Doc ann #

Pretty (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash GenesisKey -> Doc ann #

prettyList :: [Hash GenesisKey] -> Doc ann #

Pretty (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash GenesisUTxOKey -> Doc ann #

prettyList :: [Hash GenesisUTxOKey] -> Doc ann #

Pretty (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash PaymentExtendedKey -> Doc ann #

prettyList :: [Hash PaymentExtendedKey] -> Doc ann #

Pretty (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash PaymentKey -> Doc ann #

prettyList :: [Hash PaymentKey] -> Doc ann #

Pretty (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash StakeExtendedKey -> Doc ann #

prettyList :: [Hash StakeExtendedKey] -> Doc ann #

Pretty (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash StakeKey -> Doc ann #

prettyList :: [Hash StakeKey] -> Doc ann #

Pretty (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash StakePoolKey -> Doc ann #

prettyList :: [Hash StakePoolKey] -> Doc ann #

Pretty (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

pretty :: Hash KesKey -> Doc ann #

prettyList :: [Hash KesKey] -> Doc ann #

Pretty (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

pretty :: Hash VrfKey -> Doc ann #

prettyList :: [Hash VrfKey] -> Doc ann #

Pretty (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Methods

pretty :: Hash ScriptData -> Doc ann #

prettyList :: [Hash ScriptData] -> Doc ann #

newtype Hash BlockHeader Source #

For now at least we use a fixed concrete hash type for all modes and era. The different eras do use different types, but it's all the same underlying representation.

Instance details

Defined in Cardano.Api.Block

newtype Hash BlockHeader = HeaderHash ShortByteString
newtype Hash ByronKey Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

newtype Hash ByronKey = ByronKeyHash KeyHash
newtype Hash ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

newtype Hash ByronKeyLegacy = ByronKeyHashLegacy KeyHash
newtype Hash DRepMetadata Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.DRepMetadata

newtype Hash DRepMetadata = DRepMetadataHash (Hash HASH ByteString)
newtype Hash StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata

newtype Hash StakePoolMetadata = StakePoolMetadataHash (Hash HASH ByteString)
newtype Hash GovernancePoll Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

newtype Hash GovernancePoll = GovernancePollHash {}
newtype Hash CommitteeColdExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash CommitteeColdExtendedKey = CommitteeColdExtendedKeyHash {}
newtype Hash CommitteeColdKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash CommitteeColdKey = CommitteeColdKeyHash {}
newtype Hash CommitteeHotExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash CommitteeHotExtendedKey = CommitteeHotExtendedKeyHash {}
newtype Hash CommitteeHotKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash CommitteeHotKey = CommitteeHotKeyHash {}
newtype Hash DRepExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash DRepExtendedKey = DRepExtendedKeyHash {}
newtype Hash DRepKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash DRepKey = DRepKeyHash {}
newtype Hash GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash GenesisDelegateExtendedKey = GenesisDelegateExtendedKeyHash {}
newtype Hash GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash GenesisDelegateKey = GenesisDelegateKeyHash {}
newtype Hash GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash GenesisExtendedKey = GenesisExtendedKeyHash {}
newtype Hash GenesisKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash GenesisKey = GenesisKeyHash {}
newtype Hash GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash GenesisUTxOKey = GenesisUTxOKeyHash {}
newtype Hash PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash PaymentExtendedKey = PaymentExtendedKeyHash {}
newtype Hash PaymentKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash PaymentKey = PaymentKeyHash {}
newtype Hash StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash StakeExtendedKey = StakeExtendedKeyHash {}
newtype Hash StakeKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash StakeKey = StakeKeyHash {}
newtype Hash StakePoolExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash StakePoolExtendedKey = StakePoolExtendedKeyHash {}
newtype Hash StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

newtype Hash StakePoolKey = StakePoolKeyHash {}
newtype Hash KesKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

newtype Hash KesKey = KesKeyHash (Hash HASH (VerKeyKES (KES StandardCrypto)))
newtype Hash VrfKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

newtype Hash VrfKey = VrfKeyHash (Hash HASH (VerKeyVRF (VRF StandardCrypto)))
newtype Hash ScriptData Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

newtype Hash ScriptData = ScriptDataHash DataHash
data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

data AsType (Hash a) = AsHash (AsType a)

class CastHash roleA roleB where Source #

Methods

castHash :: Hash roleA -> Hash roleB Source #

data family AsType t Source #

A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.

Values of this type are passed to deserialisation functions for example.

Instances

Instances details
data AsType AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

data AsType AddressAny = AsAddressAny
data AsType ByronAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ByronAddr = AsByronAddr
data AsType ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Address

data AsType ShelleyAddr = AsShelleyAddr
data AsType StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

data AsType StakeAddress = AsStakeAddress
data AsType BlockHeader Source # 
Instance details

Defined in Cardano.Api.Block

data AsType BlockHeader = AsBlockHeader
data AsType ByronKey Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Proposal

data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Proposal

data AsType ByronVote = AsByronVote
data AsType DRepMetadata Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.DRepMetadata

data AsType DRepMetadata = AsDRepMetadata
data AsType OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.OperationalCertificate

data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.OperationalCertificate

data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata

data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType AllegraEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType ByronEra = AsByronEra
data AsType ConwayEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType CommitteeColdExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakeKey = AsStakeKey
data AsType StakePoolExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakePoolExtendedKey = AsStakePoolExtendedKey
data AsType StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakePoolKey = AsStakePoolKey
data AsType KesKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

data AsType KesKey = AsKesKey
data AsType VrfKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

data AsType VrfKey = AsVrfKey
data AsType PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType ScriptHash Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

data AsType ScriptData = AsScriptData
data AsType PraosNonce Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType UpdateProposal = AsUpdateProposal
data AsType EraHistory Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

data AsType EraHistory = AsEraHistory
data AsType TextEnvelope Source # 
Instance details

Defined in Cardano.Api.Serialise.TextEnvelope.Internal

data AsType TextEnvelope = AsTextEnvelope
data AsType TxId Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.TxIn

data AsType TxId = AsTxId
data AsType TxMetadata Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.TxMetadata

data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source # 
Instance details

Defined in Cardano.Api.Value.Internal

data AsType AssetName = AsAssetName
data AsType PolicyId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

data AsType PolicyId = AsPolicyId
data AsType GovActionId Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType GovActionId = AsGovActionId
data AsType Term Source # 
Instance details

Defined in Cardano.Api.Serialise.Cbor.Canonical

data AsType Term = AsTerm
data AsType (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal

data AsType (Certificate era) = AsCertificate
data AsType (Proposal era) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure

data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

data AsType (VotingProcedures era) = AsVotingProcedures
data AsType (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

data AsType (Hash a) = AsHash (AsType a)
data AsType (SigningKey a) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Class

data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Class

data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

data AsType (TxBody era) = AsTxBody (AsType era)
data AsType (Credential 'ColdCommitteeRole) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (Credential 'ColdCommitteeRole) = AsColdCommitteeCredential
data AsType (Credential 'DRepRole) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (Credential 'DRepRole) = AsDrepCredential
data AsType (Credential 'HotCommitteeRole) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (Credential 'HotCommitteeRole) = AsHotCommitteeCredential
data AsType (PlutusScriptInEra era lang) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (PlutusScriptInEra era lang) = AsPlutusScriptInEra (AsType lang)

renderSafeHashAsHex :: SafeHash tag -> Text Source #

HasTypeProxy

class Typeable t => HasTypeProxy t where Source #

Methods

proxyToAsType :: Proxy t -> AsType t Source #

Instances

Instances details
HasTypeProxy AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType AddressAny 
Instance details

Defined in Cardano.Api.Address

data AsType AddressAny = AsAddressAny

Methods

proxyToAsType :: Proxy AddressAny -> AsType AddressAny Source #

HasTypeProxy ByronAddr Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType ByronAddr 
Instance details

Defined in Cardano.Api.Address

data AsType ByronAddr = AsByronAddr

Methods

proxyToAsType :: Proxy ByronAddr -> AsType ByronAddr Source #

HasTypeProxy ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType ShelleyAddr 
Instance details

Defined in Cardano.Api.Address

data AsType ShelleyAddr = AsShelleyAddr

Methods

proxyToAsType :: Proxy ShelleyAddr -> AsType ShelleyAddr Source #

HasTypeProxy StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType StakeAddress 
Instance details

Defined in Cardano.Api.Address

data AsType StakeAddress = AsStakeAddress

Methods

proxyToAsType :: Proxy StakeAddress -> AsType StakeAddress Source #

HasTypeProxy BlockHeader Source # 
Instance details

Defined in Cardano.Api.Block

Associated Types

data AsType BlockHeader 
Instance details

Defined in Cardano.Api.Block

data AsType BlockHeader = AsBlockHeader

Methods

proxyToAsType :: Proxy BlockHeader -> AsType BlockHeader Source #

HasTypeProxy ByronKey Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Associated Types

data AsType ByronKey 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

data AsType ByronKey = AsByronKey

Methods

proxyToAsType :: Proxy ByronKey -> AsType ByronKey Source #

HasTypeProxy ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Associated Types

data AsType ByronKeyLegacy 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

data AsType ByronKeyLegacy = AsByronKeyLegacy

Methods

proxyToAsType :: Proxy ByronKeyLegacy -> AsType ByronKeyLegacy Source #

HasTypeProxy ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Proposal

Associated Types

data AsType ByronUpdateProposal 
Instance details

Defined in Cardano.Api.Byron.Internal.Proposal

data AsType ByronUpdateProposal = AsByronUpdateProposal

Methods

proxyToAsType :: Proxy ByronUpdateProposal -> AsType ByronUpdateProposal Source #

HasTypeProxy ByronVote Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Proposal

Associated Types

data AsType ByronVote 
Instance details

Defined in Cardano.Api.Byron.Internal.Proposal

data AsType ByronVote = AsByronVote

Methods

proxyToAsType :: Proxy ByronVote -> AsType ByronVote Source #

HasTypeProxy DRepMetadata Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.DRepMetadata

Associated Types

data AsType DRepMetadata 
Instance details

Defined in Cardano.Api.Certificate.Internal.DRepMetadata

data AsType DRepMetadata = AsDRepMetadata

Methods

proxyToAsType :: Proxy DRepMetadata -> AsType DRepMetadata Source #

HasTypeProxy OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.OperationalCertificate

Associated Types

data AsType OperationalCertificate 
Instance details

Defined in Cardano.Api.Certificate.Internal.OperationalCertificate

data AsType OperationalCertificate = AsOperationalCertificate

Methods

proxyToAsType :: Proxy OperationalCertificate -> AsType OperationalCertificate Source #

HasTypeProxy OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.OperationalCertificate

Associated Types

data AsType OperationalCertificateIssueCounter 
Instance details

Defined in Cardano.Api.Certificate.Internal.OperationalCertificate

data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter

Methods

proxyToAsType :: Proxy OperationalCertificateIssueCounter -> AsType OperationalCertificateIssueCounter Source #

HasTypeProxy StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata

Associated Types

data AsType StakePoolMetadata 
Instance details

Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata

data AsType StakePoolMetadata = AsStakePoolMetadata

Methods

proxyToAsType :: Proxy StakePoolMetadata -> AsType StakePoolMetadata Source #

HasTypeProxy AllegraEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType AllegraEra 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType AllegraEra = AsAllegraEra

Methods

proxyToAsType :: Proxy AllegraEra -> AsType AllegraEra Source #

HasTypeProxy AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType AlonzoEra 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType AlonzoEra = AsAlonzoEra

Methods

proxyToAsType :: Proxy AlonzoEra -> AsType AlonzoEra Source #

HasTypeProxy BabbageEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType BabbageEra 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType BabbageEra = AsBabbageEra

Methods

proxyToAsType :: Proxy BabbageEra -> AsType BabbageEra Source #

HasTypeProxy ByronEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType ByronEra 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType ByronEra = AsByronEra

Methods

proxyToAsType :: Proxy ByronEra -> AsType ByronEra Source #

HasTypeProxy ConwayEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType ConwayEra 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType ConwayEra = AsConwayEra

Methods

proxyToAsType :: Proxy ConwayEra -> AsType ConwayEra Source #

HasTypeProxy MaryEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType MaryEra 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType MaryEra = AsMaryEra

Methods

proxyToAsType :: Proxy MaryEra -> AsType MaryEra Source #

HasTypeProxy ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

Associated Types

data AsType ShelleyEra 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType ShelleyEra = AsShelleyEra

Methods

proxyToAsType :: Proxy ShelleyEra -> AsType ShelleyEra Source #

HasTypeProxy GovernancePoll Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Associated Types

data AsType GovernancePoll 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

data AsType GovernancePoll = AsGovernancePoll

Methods

proxyToAsType :: Proxy GovernancePoll -> AsType GovernancePoll Source #

HasTypeProxy GovernancePollAnswer Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Associated Types

data AsType GovernancePollAnswer 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

data AsType GovernancePollAnswer = AsGovernancePollAnswer

Methods

proxyToAsType :: Proxy GovernancePollAnswer -> AsType GovernancePollAnswer Source #

HasTypeProxy CommitteeColdExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType CommitteeColdExtendedKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey

Methods

proxyToAsType :: Proxy CommitteeColdExtendedKey -> AsType CommitteeColdExtendedKey Source #

HasTypeProxy CommitteeColdKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType CommitteeColdKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeColdKey = AsCommitteeColdKey

Methods

proxyToAsType :: Proxy CommitteeColdKey -> AsType CommitteeColdKey Source #

HasTypeProxy CommitteeHotExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType CommitteeHotExtendedKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey

Methods

proxyToAsType :: Proxy CommitteeHotExtendedKey -> AsType CommitteeHotExtendedKey Source #

HasTypeProxy CommitteeHotKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType CommitteeHotKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeHotKey = AsCommitteeHotKey

Methods

proxyToAsType :: Proxy CommitteeHotKey -> AsType CommitteeHotKey Source #

HasTypeProxy DRepExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType DRepExtendedKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType DRepExtendedKey = AsDRepExtendedKey

Methods

proxyToAsType :: Proxy DRepExtendedKey -> AsType DRepExtendedKey Source #

HasTypeProxy DRepKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType DRepKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType DRepKey = AsDRepKey

Methods

proxyToAsType :: Proxy DRepKey -> AsType DRepKey Source #

HasTypeProxy GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType GenesisDelegateExtendedKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey

Methods

proxyToAsType :: Proxy GenesisDelegateExtendedKey -> AsType GenesisDelegateExtendedKey Source #

HasTypeProxy GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType GenesisDelegateKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisDelegateKey = AsGenesisDelegateKey

Methods

proxyToAsType :: Proxy GenesisDelegateKey -> AsType GenesisDelegateKey Source #

HasTypeProxy GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType GenesisExtendedKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisExtendedKey = AsGenesisExtendedKey

Methods

proxyToAsType :: Proxy GenesisExtendedKey -> AsType GenesisExtendedKey Source #

HasTypeProxy GenesisKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType GenesisKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisKey = AsGenesisKey

Methods

proxyToAsType :: Proxy GenesisKey -> AsType GenesisKey Source #

HasTypeProxy GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType GenesisUTxOKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisUTxOKey = AsGenesisUTxOKey

Methods

proxyToAsType :: Proxy GenesisUTxOKey -> AsType GenesisUTxOKey Source #

HasTypeProxy PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType PaymentExtendedKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType PaymentExtendedKey = AsPaymentExtendedKey

Methods

proxyToAsType :: Proxy PaymentExtendedKey -> AsType PaymentExtendedKey Source #

HasTypeProxy PaymentKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType PaymentKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType PaymentKey = AsPaymentKey

Methods

proxyToAsType :: Proxy PaymentKey -> AsType PaymentKey Source #

HasTypeProxy StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType StakeExtendedKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakeExtendedKey = AsStakeExtendedKey

Methods

proxyToAsType :: Proxy StakeExtendedKey -> AsType StakeExtendedKey Source #

HasTypeProxy StakeKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType StakeKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakeKey = AsStakeKey

Methods

proxyToAsType :: Proxy StakeKey -> AsType StakeKey Source #

HasTypeProxy StakePoolExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType StakePoolExtendedKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakePoolExtendedKey = AsStakePoolExtendedKey

Methods

proxyToAsType :: Proxy StakePoolExtendedKey -> AsType StakePoolExtendedKey Source #

HasTypeProxy StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Associated Types

data AsType StakePoolKey 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakePoolKey = AsStakePoolKey

Methods

proxyToAsType :: Proxy StakePoolKey -> AsType StakePoolKey Source #

HasTypeProxy KesKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Associated Types

data AsType KesKey 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

data AsType KesKey = AsKesKey

Methods

proxyToAsType :: Proxy KesKey -> AsType KesKey Source #

HasTypeProxy VrfKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Associated Types

data AsType VrfKey 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

data AsType VrfKey = AsVrfKey

Methods

proxyToAsType :: Proxy VrfKey -> AsType VrfKey Source #

HasTypeProxy PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType PlutusScriptV1 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType PlutusScriptV1 = AsPlutusScriptV1

Methods

proxyToAsType :: Proxy PlutusScriptV1 -> AsType PlutusScriptV1 Source #

HasTypeProxy PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType PlutusScriptV2 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType PlutusScriptV2 = AsPlutusScriptV2

Methods

proxyToAsType :: Proxy PlutusScriptV2 -> AsType PlutusScriptV2 Source #

HasTypeProxy PlutusScriptV3 Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType PlutusScriptV3 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType PlutusScriptV3 = AsPlutusScriptV3

Methods

proxyToAsType :: Proxy PlutusScriptV3 -> AsType PlutusScriptV3 Source #

HasTypeProxy ScriptHash Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType ScriptHash 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType ScriptHash = AsScriptHash

Methods

proxyToAsType :: Proxy ScriptHash -> AsType ScriptHash Source #

HasTypeProxy ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType ScriptInAnyLang 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType ScriptInAnyLang = AsScriptInAnyLang

Methods

proxyToAsType :: Proxy ScriptInAnyLang -> AsType ScriptInAnyLang Source #

HasTypeProxy SimpleScript' Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType SimpleScript' 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType SimpleScript' = AsSimpleScript

Methods

proxyToAsType :: Proxy SimpleScript' -> AsType SimpleScript' Source #

HasTypeProxy HashableScriptData Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Associated Types

data AsType HashableScriptData 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

data AsType HashableScriptData = AsHashableScriptData

Methods

proxyToAsType :: Proxy HashableScriptData -> AsType HashableScriptData Source #

HasTypeProxy ScriptData Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Associated Types

data AsType ScriptData 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

data AsType ScriptData = AsScriptData

Methods

proxyToAsType :: Proxy ScriptData -> AsType ScriptData Source #

HasTypeProxy PraosNonce Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

Associated Types

data AsType PraosNonce 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType PraosNonce = AsPraosNonce

Methods

proxyToAsType :: Proxy PraosNonce -> AsType PraosNonce Source #

HasTypeProxy UpdateProposal Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

Associated Types

data AsType UpdateProposal 
Instance details

Defined in Cardano.Api.ProtocolParameters

data AsType UpdateProposal = AsUpdateProposal

Methods

proxyToAsType :: Proxy UpdateProposal -> AsType UpdateProposal Source #

HasTypeProxy EraHistory Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

Associated Types

data AsType EraHistory 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

data AsType EraHistory = AsEraHistory

Methods

proxyToAsType :: Proxy EraHistory -> AsType EraHistory Source #

HasTypeProxy TextEnvelope Source # 
Instance details

Defined in Cardano.Api.Serialise.TextEnvelope.Internal

Associated Types

data AsType TextEnvelope 
Instance details

Defined in Cardano.Api.Serialise.TextEnvelope.Internal

data AsType TextEnvelope = AsTextEnvelope

Methods

proxyToAsType :: Proxy TextEnvelope -> AsType TextEnvelope Source #

HasTypeProxy TxId Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.TxIn

Associated Types

data AsType TxId 
Instance details

Defined in Cardano.Api.Tx.Internal.TxIn

data AsType TxId = AsTxId

Methods

proxyToAsType :: Proxy TxId -> AsType TxId Source #

HasTypeProxy TxMetadata Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.TxMetadata

Associated Types

data AsType TxMetadata 
Instance details

Defined in Cardano.Api.Tx.Internal.TxMetadata

data AsType TxMetadata = AsTxMetadata

Methods

proxyToAsType :: Proxy TxMetadata -> AsType TxMetadata Source #

HasTypeProxy AssetName Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Associated Types

data AsType AssetName 
Instance details

Defined in Cardano.Api.Value.Internal

data AsType AssetName = AsAssetName

Methods

proxyToAsType :: Proxy AssetName -> AsType AssetName Source #

HasTypeProxy PolicyId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Associated Types

data AsType PolicyId 
Instance details

Defined in Cardano.Api.Value.Internal

data AsType PolicyId = AsPolicyId

Methods

proxyToAsType :: Proxy PolicyId -> AsType PolicyId Source #

HasTypeProxy GovActionId Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

Associated Types

data AsType GovActionId 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType GovActionId = AsGovActionId

Methods

proxyToAsType :: Proxy GovActionId -> AsType GovActionId Source #

HasTypeProxy Term Source # 
Instance details

Defined in Cardano.Api.Serialise.Cbor.Canonical

Associated Types

data AsType Term 
Instance details

Defined in Cardano.Api.Serialise.Cbor.Canonical

data AsType Term = AsTerm

Methods

proxyToAsType :: Proxy Term -> AsType Term Source #

HasTypeProxy addrtype => HasTypeProxy (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType (Address addrtype) 
Instance details

Defined in Cardano.Api.Address

data AsType (Address addrtype) = AsAddress (AsType addrtype)

Methods

proxyToAsType :: Proxy (Address addrtype) -> AsType (Address addrtype) Source #

HasTypeProxy era => HasTypeProxy (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType (AddressInEra era) 
Instance details

Defined in Cardano.Api.Address

data AsType (AddressInEra era) = AsAddressInEra (AsType era)

Methods

proxyToAsType :: Proxy (AddressInEra era) -> AsType (AddressInEra era) Source #

Typeable era => HasTypeProxy (Certificate era) Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal

Associated Types

data AsType (Certificate era) 
Instance details

Defined in Cardano.Api.Certificate.Internal

data AsType (Certificate era) = AsCertificate

Methods

proxyToAsType :: Proxy (Certificate era) -> AsType (Certificate era) Source #

HasTypeProxy era => HasTypeProxy (Proposal era) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure

Associated Types

data AsType (Proposal era) 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure

data AsType (Proposal era) = AsProposal

Methods

proxyToAsType :: Proxy (Proposal era) -> AsType (Proposal era) Source #

HasTypeProxy era => HasTypeProxy (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Associated Types

data AsType (VotingProcedure era) 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

data AsType (VotingProcedure era) = AsVote

Methods

proxyToAsType :: Proxy (VotingProcedure era) -> AsType (VotingProcedure era) Source #

HasTypeProxy era => HasTypeProxy (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Associated Types

data AsType (VotingProcedures era) 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

data AsType (VotingProcedures era) = AsVotingProcedures

Methods

proxyToAsType :: Proxy (VotingProcedures era) -> AsType (VotingProcedures era) Source #

HasTypeProxy a => HasTypeProxy (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

Associated Types

data AsType (Hash a) 
Instance details

Defined in Cardano.Api.Hash

data AsType (Hash a) = AsHash (AsType a)

Methods

proxyToAsType :: Proxy (Hash a) -> AsType (Hash a) Source #

HasTypeProxy a => HasTypeProxy (SigningKey a) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Class

Associated Types

data AsType (SigningKey a) 
Instance details

Defined in Cardano.Api.Key.Internal.Class

data AsType (SigningKey a) = AsSigningKey (AsType a)

Methods

proxyToAsType :: Proxy (SigningKey a) -> AsType (SigningKey a) Source #

HasTypeProxy a => HasTypeProxy (VerificationKey a) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Class

Associated Types

data AsType (VerificationKey a) 
Instance details

Defined in Cardano.Api.Key.Internal.Class

data AsType (VerificationKey a) = AsVerificationKey (AsType a)

Methods

proxyToAsType :: Proxy (VerificationKey a) -> AsType (VerificationKey a) Source #

HasTypeProxy lang => HasTypeProxy (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType (PlutusScript lang) 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)

Methods

proxyToAsType :: Proxy (PlutusScript lang) -> AsType (PlutusScript lang) Source #

HasTypeProxy lang => HasTypeProxy (Script lang) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType (Script lang) 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (Script lang) = AsScript (AsType lang)

Methods

proxyToAsType :: Proxy (Script lang) -> AsType (Script lang) Source #

HasTypeProxy era => HasTypeProxy (ScriptInEra era) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType (ScriptInEra era) 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (ScriptInEra era) = AsScriptInEra (AsType era)

Methods

proxyToAsType :: Proxy (ScriptInEra era) -> AsType (ScriptInEra era) Source #

HasTypeProxy era => HasTypeProxy (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

Associated Types

data AsType (KeyWitness era) 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

data AsType (KeyWitness era) = AsKeyWitness (AsType era)

Methods

proxyToAsType :: Proxy (KeyWitness era) -> AsType (KeyWitness era) Source #

HasTypeProxy era => HasTypeProxy (Tx era) Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

Associated Types

data AsType (Tx era) 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

data AsType (Tx era) = AsTx (AsType era)

Methods

proxyToAsType :: Proxy (Tx era) -> AsType (Tx era) Source #

HasTypeProxy era => HasTypeProxy (TxBody era) Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

Associated Types

data AsType (TxBody era) 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

data AsType (TxBody era) = AsTxBody (AsType era)

Methods

proxyToAsType :: Proxy (TxBody era) -> AsType (TxBody era) Source #

HasTypeProxy (Credential 'ColdCommitteeRole) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

Associated Types

data AsType (Credential 'ColdCommitteeRole) 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (Credential 'ColdCommitteeRole) = AsColdCommitteeCredential

Methods

proxyToAsType :: Proxy (Credential 'ColdCommitteeRole) -> AsType (Credential 'ColdCommitteeRole) Source #

HasTypeProxy (Credential 'DRepRole) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

Associated Types

data AsType (Credential 'DRepRole) 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (Credential 'DRepRole) = AsDrepCredential

Methods

proxyToAsType :: Proxy (Credential 'DRepRole) -> AsType (Credential 'DRepRole) Source #

HasTypeProxy (Credential 'HotCommitteeRole) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

Associated Types

data AsType (Credential 'HotCommitteeRole) 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (Credential 'HotCommitteeRole) = AsHotCommitteeCredential

Methods

proxyToAsType :: Proxy (Credential 'HotCommitteeRole) -> AsType (Credential 'HotCommitteeRole) Source #

(HasTypeProxy era, HasTypeProxy lang) => HasTypeProxy (PlutusScriptInEra era lang) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Associated Types

data AsType (PlutusScriptInEra era lang) 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (PlutusScriptInEra era lang) = AsPlutusScriptInEra (AsType lang)

Methods

proxyToAsType :: Proxy (PlutusScriptInEra era lang) -> AsType (PlutusScriptInEra era lang) Source #

asType :: HasTypeProxy t => AsType t Source #

Provide type proxy from the already existing HasTypeProxy instance

data Proxy (t :: k) Source #

Proxy is a type that holds no data, but has a phantom parameter of arbitrary type (or even kind). Its use is to provide type information, even though there is no value available of that type (or it may be too costly to create one).

Historically, Proxy :: Proxy a is a safer alternative to the undefined :: a idiom.

>>> Proxy :: Proxy (Void, Int -> Int)
Proxy

Proxy can even hold types of higher kinds,

>>> Proxy :: Proxy Either
Proxy

>>> Proxy :: Proxy Functor
Proxy

>>> Proxy :: Proxy complicatedStructure
Proxy

Constructors

Proxy 

Instances

Instances details
ApplicativeB (Proxy :: (k -> Type) -> Type) 
Instance details

Defined in Barbies.Internal.ApplicativeB

Methods

bpure :: (forall (a :: k). f a) -> Proxy f

bprod :: forall (f :: k -> Type) (g :: k -> Type). Proxy f -> Proxy g -> Proxy (Product f g)

ConstraintsB (Proxy :: (k -> Type) -> Type) 
Instance details

Defined in Barbies.Internal.ConstraintsB

Methods

baddDicts :: forall (c :: k -> Constraint) (f :: k -> Type). AllB c (Proxy :: (k -> Type) -> Type) => Proxy f -> Proxy (Product (Dict c) f)

DistributiveB (Proxy :: (k -> Type) -> Type) 
Instance details

Defined in Barbies.Internal.DistributiveB

Methods

bdistribute :: forall f (g :: k -> Type). Functor f => f (Proxy g) -> Proxy (Compose f g)

FunctorB (Proxy :: (k -> Type) -> Type) 
Instance details

Defined in Barbies.Internal.FunctorB

Methods

bmap :: (forall (a :: k). f a -> g a) -> Proxy f -> Proxy g

TraversableB (Proxy :: (k -> Type) -> Type) 
Instance details

Defined in Barbies.Internal.TraversableB

Methods

btraverse :: Applicative e => (forall (a :: k). f a -> e (g a)) -> Proxy f -> e (Proxy g)

Generic1 (Proxy :: k -> Type) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep1 (Proxy :: k -> Type)

Since: base-4.6.0.0

Instance details

Defined in GHC.Generics

type Rep1 (Proxy :: k -> Type) = D1 ('MetaData "Proxy" "Data.Proxy" "base" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 :: k -> Type))

Methods

from1 :: forall (a :: k). Proxy a -> Rep1 (Proxy :: k -> Type) a Source #

to1 :: forall (a :: k). Rep1 (Proxy :: k -> Type) a -> Proxy a Source #

Representable (Proxy :: Type -> Type) 
Instance details

Defined in Data.Functor.Rep

Associated Types

type Rep (Proxy :: Type -> Type) 
Instance details

Defined in Data.Functor.Rep

type Rep (Proxy :: Type -> Type) = Void

Methods

tabulate :: (Rep (Proxy :: Type -> Type) -> a) -> Proxy a

index :: Proxy a -> Rep (Proxy :: Type -> Type) -> a

FromJSON1 (Proxy :: Type -> Type) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

liftParseJSON :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (Proxy a)

liftParseJSONList :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [Proxy a]

liftOmittedField :: Maybe a -> Maybe (Proxy a)

ToJSON1 (Proxy :: Type -> Type) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

liftToJSON :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> Proxy a -> Value

liftToJSONList :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> [Proxy a] -> Value

liftToEncoding :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> Proxy a -> Encoding

liftToEncodingList :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> [Proxy a] -> Encoding

liftOmitField :: (a -> Bool) -> Proxy a -> Bool

MonadZip (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Control.Monad.Zip

Methods

mzip :: Proxy a -> Proxy b -> Proxy (a, b) Source #

mzipWith :: (a -> b -> c) -> Proxy a -> Proxy b -> Proxy c Source #

munzip :: Proxy (a, b) -> (Proxy a, Proxy b) Source #

Foldable (Proxy :: Type -> Type)

Since: base-4.7.0.0

Instance details

Defined in Data.Foldable

Methods

fold :: Monoid m => Proxy m -> m Source #

foldMap :: Monoid m => (a -> m) -> Proxy a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Proxy a -> m Source #

foldr :: (a -> b -> b) -> b -> Proxy a -> b Source #

foldr' :: (a -> b -> b) -> b -> Proxy a -> b Source #

foldl :: (b -> a -> b) -> b -> Proxy a -> b Source #

foldl' :: (b -> a -> b) -> b -> Proxy a -> b Source #

foldr1 :: (a -> a -> a) -> Proxy a -> a Source #

foldl1 :: (a -> a -> a) -> Proxy a -> a Source #

toList :: Proxy a -> [a] Source #

null :: Proxy a -> Bool Source #

length :: Proxy a -> Int Source #

elem :: Eq a => a -> Proxy a -> Bool Source #

maximum :: Ord a => Proxy a -> a Source #

minimum :: Ord a => Proxy a -> a Source #

sum :: Num a => Proxy a -> a Source #

product :: Num a => Proxy a -> a Source #

Eq1 (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftEq :: (a -> b -> Bool) -> Proxy a -> Proxy b -> Bool Source #

Ord1 (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftCompare :: (a -> b -> Ordering) -> Proxy a -> Proxy b -> Ordering Source #

Read1 (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Proxy a) Source #

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Proxy a] Source #

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Proxy a) Source #

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Proxy a] Source #

Show1 (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Proxy a -> ShowS Source #

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Proxy a] -> ShowS Source #

Contravariant (Proxy :: Type -> Type) 
Instance details

Defined in Data.Functor.Contravariant

Methods

contramap :: (a' -> a) -> Proxy a -> Proxy a' Source #

(>$) :: b -> Proxy b -> Proxy a Source #

Traversable (Proxy :: Type -> Type)

Since: base-4.7.0.0

Instance details

Defined in Data.Traversable

Methods

traverse :: Applicative f => (a -> f b) -> Proxy a -> f (Proxy b) Source #

sequenceA :: Applicative f => Proxy (f a) -> f (Proxy a) Source #

mapM :: Monad m => (a -> m b) -> Proxy a -> m (Proxy b) Source #

sequence :: Monad m => Proxy (m a) -> m (Proxy a) Source #

Alternative (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Proxy

Methods

empty :: Proxy a Source #

(<|>) :: Proxy a -> Proxy a -> Proxy a Source #

some :: Proxy a -> Proxy [a] Source #

many :: Proxy a -> Proxy [a] Source #

Applicative (Proxy :: Type -> Type)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

pure :: a -> Proxy a Source #

(<*>) :: Proxy (a -> b) -> Proxy a -> Proxy b Source #

liftA2 :: (a -> b -> c) -> Proxy a -> Proxy b -> Proxy c Source #

(*>) :: Proxy a -> Proxy b -> Proxy b Source #

(<*) :: Proxy a -> Proxy b -> Proxy a Source #

Functor (Proxy :: Type -> Type)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

fmap :: (a -> b) -> Proxy a -> Proxy b Source #

(<$) :: a -> Proxy b -> Proxy a Source #

Monad (Proxy :: Type -> Type)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

(>>=) :: Proxy a -> (a -> Proxy b) -> Proxy b Source #

(>>) :: Proxy a -> Proxy b -> Proxy b Source #

return :: a -> Proxy a Source #

MonadPlus (Proxy :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Proxy

Methods

mzero :: Proxy a Source #

mplus :: Proxy a -> Proxy a -> Proxy a Source #

NFData1 (Proxy :: Type -> Type)

Since: deepseq-1.4.3.0

Instance details

Defined in Control.DeepSeq

Methods

liftRnf :: (a -> ()) -> Proxy a -> () Source #

Hashable1 (Proxy :: Type -> Type) 
Instance details

Defined in Data.Hashable.Class

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> Proxy a -> Int

FromJSON (Proxy a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Proxy a) #

parseJSONList :: Value -> Parser [Proxy a] #

omittedField :: Maybe (Proxy a) #

ToJSON (Proxy a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Proxy a -> Value #

toEncoding :: Proxy a -> Encoding #

toJSONList :: [Proxy a] -> Value #

toEncodingList :: [Proxy a] -> Encoding #

omitField :: Proxy a -> Bool #

Data t => Data (Proxy t)

Since: base-4.7.0.0

Instance details

Defined in Data.Data

Methods

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

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

toConstr :: Proxy t -> Constr Source #

dataTypeOf :: Proxy t -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Monoid (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

mempty :: Proxy s Source #

mappend :: Proxy s -> Proxy s -> Proxy s Source #

mconcat :: [Proxy s] -> Proxy s Source #

Semigroup (Proxy s)

Since: base-4.9.0.0

Instance details

Defined in Data.Proxy

Methods

(<>) :: Proxy s -> Proxy s -> Proxy s Source #

sconcat :: NonEmpty (Proxy s) -> Proxy s Source #

stimes :: Integral b => b -> Proxy s -> Proxy s Source #

Bounded (Proxy t)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

minBound :: Proxy t Source #

maxBound :: Proxy t Source #

Enum (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

succ :: Proxy s -> Proxy s Source #

pred :: Proxy s -> Proxy s Source #

toEnum :: Int -> Proxy s Source #

fromEnum :: Proxy s -> Int Source #

enumFrom :: Proxy s -> [Proxy s] Source #

enumFromThen :: Proxy s -> Proxy s -> [Proxy s] Source #

enumFromTo :: Proxy s -> Proxy s -> [Proxy s] Source #

enumFromThenTo :: Proxy s -> Proxy s -> Proxy s -> [Proxy s] Source #

Generic (Proxy t) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (Proxy t)

Since: base-4.6.0.0

Instance details

Defined in GHC.Generics

type Rep (Proxy t) = D1 ('MetaData "Proxy" "Data.Proxy" "base" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Proxy t -> Rep (Proxy t) x Source #

to :: Rep (Proxy t) x -> Proxy t Source #

Ix (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

range :: (Proxy s, Proxy s) -> [Proxy s] Source #

index :: (Proxy s, Proxy s) -> Proxy s -> Int Source #

unsafeIndex :: (Proxy s, Proxy s) -> Proxy s -> Int Source #

inRange :: (Proxy s, Proxy s) -> Proxy s -> Bool Source #

rangeSize :: (Proxy s, Proxy s) -> Int Source #

unsafeRangeSize :: (Proxy s, Proxy s) -> Int Source #

Read (Proxy t)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

readsPrec :: Int -> ReadS (Proxy t) Source #

readList :: ReadS [Proxy t] Source #

readPrec :: ReadPrec (Proxy t) Source #

readListPrec :: ReadPrec [Proxy t] Source #

Show (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

showsPrec :: Int -> Proxy s -> ShowS Source #

show :: Proxy s -> String Source #

showList :: [Proxy s] -> ShowS Source #

Default (Proxy a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Proxy a #

NFData (Proxy a)

Since: deepseq-1.4.0.0

Instance details

Defined in Control.DeepSeq

Methods

rnf :: Proxy a -> () Source #

Eq (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

(==) :: Proxy s -> Proxy s -> Bool Source #

(/=) :: Proxy s -> Proxy s -> Bool Source #

Ord (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

compare :: Proxy s -> Proxy s -> Ordering Source #

(<) :: Proxy s -> Proxy s -> Bool Source #

(<=) :: Proxy s -> Proxy s -> Bool Source #

(>) :: Proxy s -> Proxy s -> Bool Source #

(>=) :: Proxy s -> Proxy s -> Bool Source #

max :: Proxy s -> Proxy s -> Proxy s Source #

min :: Proxy s -> Proxy s -> Proxy s Source #

Abelian (Proxy x) 
Instance details

Defined in Data.Group

Cyclic (Proxy x) 
Instance details

Defined in Data.Group

Methods

generator :: Proxy x

Group (Proxy x) 
Instance details

Defined in Data.Group

Methods

invert :: Proxy x -> Proxy x

(~~) :: Proxy x -> Proxy x -> Proxy x

pow :: Integral x0 => Proxy x -> x0 -> Proxy x

Hashable (Proxy a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Proxy a -> Int

hash :: Proxy a -> Int

MonoFoldable (Proxy a) 
Instance details

Defined in Data.MonoTraversable

Methods

ofoldMap :: Monoid m => (Element (Proxy a) -> m) -> Proxy a -> m

ofoldr :: (Element (Proxy a) -> b -> b) -> b -> Proxy a -> b

ofoldl' :: (a0 -> Element (Proxy a) -> a0) -> a0 -> Proxy a -> a0

otoList :: Proxy a -> [Element (Proxy a)]

oall :: (Element (Proxy a) -> Bool) -> Proxy a -> Bool

oany :: (Element (Proxy a) -> Bool) -> Proxy a -> Bool

onull :: Proxy a -> Bool

olength :: Proxy a -> Int

olength64 :: Proxy a -> Int64

ocompareLength :: Integral i => Proxy a -> i -> Ordering

otraverse_ :: Applicative f => (Element (Proxy a) -> f b) -> Proxy a -> f ()

ofor_ :: Applicative f => Proxy a -> (Element (Proxy a) -> f b) -> f ()

omapM_ :: Applicative m => (Element (Proxy a) -> m ()) -> Proxy a -> m ()

oforM_ :: Applicative m => Proxy a -> (Element (Proxy a) -> m ()) -> m ()

ofoldlM :: Monad m => (a0 -> Element (Proxy a) -> m a0) -> a0 -> Proxy a -> m a0

ofoldMap1Ex :: Semigroup m => (Element (Proxy a) -> m) -> Proxy a -> m

ofoldr1Ex :: (Element (Proxy a) -> Element (Proxy a) -> Element (Proxy a)) -> Proxy a -> Element (Proxy a)

ofoldl1Ex' :: (Element (Proxy a) -> Element (Proxy a) -> Element (Proxy a)) -> Proxy a -> Element (Proxy a)

headEx :: Proxy a -> Element (Proxy a)

lastEx :: Proxy a -> Element (Proxy a)

unsafeHead :: Proxy a -> Element (Proxy a)

unsafeLast :: Proxy a -> Element (Proxy a)

maximumByEx :: (Element (Proxy a) -> Element (Proxy a) -> Ordering) -> Proxy a -> Element (Proxy a)

minimumByEx :: (Element (Proxy a) -> Element (Proxy a) -> Ordering) -> Proxy a -> Element (Proxy a)

oelem :: Element (Proxy a) -> Proxy a -> Bool

onotElem :: Element (Proxy a) -> Proxy a -> Bool

MonoFunctor (Proxy a) 
Instance details

Defined in Data.MonoTraversable

Methods

omap :: (Element (Proxy a) -> Element (Proxy a)) -> Proxy a -> Proxy a

MonoPointed (Proxy a) 
Instance details

Defined in Data.MonoTraversable

Methods

opoint :: Element (Proxy a) -> Proxy a

MonoTraversable (Proxy a) 
Instance details

Defined in Data.MonoTraversable

Methods

otraverse :: Applicative f => (Element (Proxy a) -> f (Element (Proxy a))) -> Proxy a -> f (Proxy a)

omapM :: Applicative m => (Element (Proxy a) -> m (Element (Proxy a))) -> Proxy a -> m (Proxy a)

Serialise (Proxy a) 
Instance details

Defined in Codec.Serialise.Class

Methods

encode :: Proxy a -> Encoding

decode :: Decoder s (Proxy a)

encodeList :: [Proxy a] -> Encoding

decodeList :: Decoder s [Proxy a]

type AllB (c :: k -> Constraint) (Proxy :: (k -> Type) -> Type) 
Instance details

Defined in Barbies.Internal.ConstraintsB

type AllB (c :: k -> Constraint) (Proxy :: (k -> Type) -> Type) = ()
type Rep1 (Proxy :: k -> Type)

Since: base-4.6.0.0

Instance details

Defined in GHC.Generics

type Rep1 (Proxy :: k -> Type) = D1 ('MetaData "Proxy" "Data.Proxy" "base" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 :: k -> Type))
type Rep (Proxy :: Type -> Type) 
Instance details

Defined in Data.Functor.Rep

type Rep (Proxy :: Type -> Type) = Void
type Rep (Proxy t)

Since: base-4.6.0.0

Instance details

Defined in GHC.Generics

type Rep (Proxy t) = D1 ('MetaData "Proxy" "Data.Proxy" "base" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 :: Type -> Type))
type Element (Proxy a) 
Instance details

Defined in Data.MonoTraversable

type Element (Proxy a) = a

data FromSomeType (c :: Type -> Constraint) b where Source #

Constructors

FromSomeType :: forall (c :: Type -> Constraint) a b. c a => AsType a -> (a -> b) -> FromSomeType c b