Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Tx.HeadId

Synopsis

newtype HeadId = UnsafeHeadId ByteString
newtype HeadSeed = UnsafeHeadSeed ByteString
headIdToCurrencySymbol :: HeadId -> CurrencySymbol
fromCurrencySymbol :: MonadFail m => CurrencySymbol -> m HeadId
mkHeadId :: PolicyId -> HeadId

Documentation

newtype HeadId Source #

Uniquely identifies a Hydra Head.

Constructors

UnsafeHeadId ByteString

Instances

Instances details

Arbitrary HeadId Source #
Instance details Defined in Hydra.Tx.HeadId Methods arbitrary :: Gen HeadId shrink :: HeadId -> [HeadId]
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-0.19.0-CNt37yoHV6SLHPMLDZKDue" '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

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

Arbitrary HeadSeed Source #
Instance details Defined in Hydra.Tx.HeadId Methods arbitrary :: Gen HeadSeed shrink :: HeadSeed -> [HeadSeed]
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
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
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-0.19.0-CNt37yoHV6SLHPMLDZKDue" '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

headIdToCurrencySymbol :: HeadId -> CurrencySymbol Source #

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

mkHeadId :: PolicyId -> HeadId Source #