hydra-tx-0.20.0: Hydra transaction library
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.Tx.HeadId

Synopsis

HeadId

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

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.20.0-b01Sd51Fpn1r0Mfj7XdB1" '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
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

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

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.20.0-b01Sd51Fpn1r0Mfj7XdB1" '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 #