Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Tx.HeadId

Contents

HeadId
HeadSeed

Synopsis

newtype HeadId = UnsafeHeadId ByteString
currencySymbolToHeadId :: MonadFail m => CurrencySymbol -> m HeadId
headIdToPolicyId :: MonadFail m => HeadId -> m PolicyId
headIdToCurrencySymbol :: HeadId -> CurrencySymbol
mkHeadId :: PolicyId -> HeadId
newtype HeadSeed = UnsafeHeadSeed ByteString
headSeedToTxIn :: MonadFail m => HeadSeed -> m TxIn
txInToHeadSeed :: TxIn -> HeadSeed

HeadId

newtype HeadId Source #

Uniquely identifies a Hydra Head.

Constructors

UnsafeHeadId ByteString

Instances

Instances details

FromJSON HeadId Source #
Instance details Defined in Hydra.Tx.HeadId Methods parseJSON :: Value -> Parser HeadId parseJSONList :: Value -> Parser [HeadId] omittedField :: Maybe HeadId
ToJSON HeadId Source #
Instance details Defined in Hydra.Tx.HeadId Methods toJSON :: HeadId -> Value toEncoding :: HeadId -> Encoding toJSONList :: [HeadId] -> Value toEncodingList :: [HeadId] -> Encoding omitField :: HeadId -> Bool
Generic HeadId Source #
Instance details Defined in Hydra.Tx.HeadId Associated Types type Rep HeadId :: Type -> Type Source # Methods from :: HeadId -> Rep HeadId x Source # to :: Rep HeadId x -> HeadId Source #
Show HeadId Source #
Instance details Defined in Hydra.Tx.HeadId Methods showsPrec :: Int -> HeadId -> ShowS Source # show :: HeadId -> String Source # showList :: [HeadId] -> ShowS Source #
HasTypeProxy HeadId Source #
Instance details Defined in Hydra.Tx.HeadId Associated Types data AsType HeadId # Methods proxyToAsType :: Proxy HeadId -> AsType HeadId
SerialiseAsRawBytes HeadId Source #
Instance details Defined in Hydra.Tx.HeadId Methods serialiseToRawBytes :: HeadId -> ByteString deserialiseFromRawBytes :: AsType HeadId -> ByteString -> Either SerialiseAsRawBytesError HeadId
FromCBOR HeadId Source #
Instance details Defined in Hydra.Tx.HeadId Methods fromCBOR :: Decoder s HeadId label :: Proxy HeadId -> Text
ToCBOR HeadId Source #
Instance details Defined in Hydra.Tx.HeadId Methods toCBOR :: HeadId -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy HeadId -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [HeadId] -> Size
Eq HeadId Source #
Instance details Defined in Hydra.Tx.HeadId Methods (==) :: HeadId -> HeadId -> Bool Source # (/=) :: HeadId -> HeadId -> Bool Source #
Ord HeadId Source #
Instance details Defined in Hydra.Tx.HeadId Methods compare :: HeadId -> HeadId -> Ordering Source # (<) :: HeadId -> HeadId -> Bool Source # (<=) :: HeadId -> HeadId -> Bool Source # (>) :: HeadId -> HeadId -> Bool Source # (>=) :: HeadId -> HeadId -> Bool Source # max :: HeadId -> HeadId -> HeadId Source # min :: HeadId -> HeadId -> HeadId Source #
type Rep HeadId Source #
Instance details Defined in Hydra.Tx.HeadId type Rep HeadId = D1 ('MetaData "HeadId" "Hydra.Tx.HeadId" "hydra-tx-2.3.0-AmphLXDqLbeiaw5uNmLIz" 'True) (C1 ('MetaCons "UnsafeHeadId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))
data AsType HeadId Source #
Instance details Defined in Hydra.Tx.HeadId data AsType HeadId = AsHeadId

currencySymbolToHeadId :: MonadFail m => CurrencySymbol -> m HeadId Source #

headIdToPolicyId :: MonadFail m => HeadId -> m PolicyId Source #

headIdToCurrencySymbol :: HeadId -> CurrencySymbol Source #

mkHeadId :: PolicyId -> HeadId Source #

HeadSeed

newtype HeadSeed Source #

Unique seed to create a HeadId

XXX: This might actually be the HeadId to the protocol and users? Then the policy id of the cardano-specific implementation (being the result of minting policy + seed) stays internal. A drawback is, that the seed is not such a good "key" to find things about this head on explorers and indexers.

Constructors

UnsafeHeadSeed ByteString

Instances

Instances details

FromJSON HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId Methods parseJSON :: Value -> Parser HeadSeed parseJSONList :: Value -> Parser [HeadSeed] omittedField :: Maybe HeadSeed
ToJSON HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId Methods toJSON :: HeadSeed -> Value toEncoding :: HeadSeed -> Encoding toJSONList :: [HeadSeed] -> Value toEncodingList :: [HeadSeed] -> Encoding omitField :: HeadSeed -> Bool
IsString HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId Methods fromString :: String -> HeadSeed Source #
Generic HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId Associated Types type Rep HeadSeed :: Type -> Type Source # Methods from :: HeadSeed -> Rep HeadSeed x Source # to :: Rep HeadSeed x -> HeadSeed Source #
Show HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId Methods showsPrec :: Int -> HeadSeed -> ShowS Source # show :: HeadSeed -> String Source # showList :: [HeadSeed] -> ShowS Source #
HasTypeProxy HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId Associated Types data AsType HeadSeed # Methods proxyToAsType :: Proxy HeadSeed -> AsType HeadSeed
SerialiseAsRawBytes HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId Methods serialiseToRawBytes :: HeadSeed -> ByteString deserialiseFromRawBytes :: AsType HeadSeed -> ByteString -> Either SerialiseAsRawBytesError HeadSeed
FromCBOR HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId Methods fromCBOR :: Decoder s HeadSeed label :: Proxy HeadSeed -> Text
ToCBOR HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId Methods toCBOR :: HeadSeed -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy HeadSeed -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [HeadSeed] -> Size
Eq HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId Methods (==) :: HeadSeed -> HeadSeed -> Bool Source # (/=) :: HeadSeed -> HeadSeed -> Bool Source #
Ord HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId Methods compare :: HeadSeed -> HeadSeed -> Ordering Source # (<) :: HeadSeed -> HeadSeed -> Bool Source # (<=) :: HeadSeed -> HeadSeed -> Bool Source # (>) :: HeadSeed -> HeadSeed -> Bool Source # (>=) :: HeadSeed -> HeadSeed -> Bool Source # max :: HeadSeed -> HeadSeed -> HeadSeed Source # min :: HeadSeed -> HeadSeed -> HeadSeed Source #
type Rep HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId type Rep HeadSeed = D1 ('MetaData "HeadSeed" "Hydra.Tx.HeadId" "hydra-tx-2.3.0-AmphLXDqLbeiaw5uNmLIz" 'True) (C1 ('MetaCons "UnsafeHeadSeed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))
data AsType HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId data AsType HeadSeed = AsHeadSeed

headSeedToTxIn :: MonadFail m => HeadSeed -> m TxIn Source #

txInToHeadSeed :: TxIn -> HeadSeed Source #