Safe Haskell | None |
---|---|
Language | Haskell2010 |
The NetworkId
type and related functions
Synopsis
- data NetworkId
- newtype NetworkMagic = NetworkMagic {}
- toNetworkMagic ∷ NetworkId → NetworkMagic
- mainnetNetworkMagic ∷ NetworkMagic
- toColeProtocolMagicId ∷ NetworkId → ProtocolMagicId
- toColeNetworkMagic ∷ NetworkId → NetworkMagic
- toColeRequiresNetworkMagic ∷ NetworkId → RequiresNetworkMagic
- toSophieNetwork ∷ NetworkId → Network
- fromSophieNetwork ∷ Network → NetworkMagic → NetworkId
Network types
newtype NetworkMagic #
Instances
Eq NetworkMagic | |
Defined in Shardagnostic.Network.Magic (==) ∷ NetworkMagic → NetworkMagic → Bool Source # (/=) ∷ NetworkMagic → NetworkMagic → Bool Source # | |
Show NetworkMagic | |
Defined in Shardagnostic.Network.Magic | |
Generic NetworkMagic | |
Defined in Shardagnostic.Network.Magic from ∷ NetworkMagic → Rep NetworkMagic x Source # to ∷ Rep NetworkMagic x → NetworkMagic Source # | |
NoThunks NetworkMagic | |
Defined in Shardagnostic.Network.Magic noThunks ∷ Context → NetworkMagic → IO (Maybe ThunkInfo) wNoThunks ∷ Context → NetworkMagic → IO (Maybe ThunkInfo) | |
type Rep NetworkMagic | |
Defined in Shardagnostic.Network.Magic type Rep NetworkMagic = D1 ('MetaData "NetworkMagic" "Shardagnostic.Network.Magic" "shardagnostic-network-0.1.0.0-5c350aed8ecd813d3e0e78a45ca35fdda83036491303e35a58d283b38c865e88" 'True) (C1 ('MetaCons "NetworkMagic" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNetworkMagic") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32))) |
Internal conversion functions
toColeProtocolMagicId ∷ NetworkId → ProtocolMagicId Source #
toColeNetworkMagic ∷ NetworkId → NetworkMagic Source #
toColeRequiresNetworkMagic ∷ NetworkId → RequiresNetworkMagic Source #
toSophieNetwork ∷ NetworkId → Network Source #
fromSophieNetwork ∷ Network → NetworkMagic → NetworkId Source #