Safe Haskell	None
Language	Haskell2010

Gini.Core.Protocol.Types.Block

Contents

Blocks
Account and block
Signature
Raw32ByteValue
BlockType
Other types

Description

Block definitions

Synopsis

data SignedBlock = SignedBlock {
- signedBlockBlock :: !UnsignedBlock
- signedBlockSignature :: !Signature
- signedBlockWork :: !ProofOfWork
}
data UnsignedBlock
- = UnsignedBlockSend !SendBlock
- | UnsignedBlockReceive !ReceiveBlock
- | UnsignedBlockOpen !OpenBlock
- | UnsignedBlockChange !ChangeBlock
- | UnsignedBlockState !StateBlock
data SendBlock = SendBlock {
- sendBlockPrevious :: !BlockHash
- sendBlockDestination :: !Account
- sendBlockBalance :: !Amount
}
data ReceiveBlock = ReceiveBlock {
- receiveBlockPrevious :: !BlockHash
- receiveBlockSource :: !BlockHash
}
data OpenBlock = OpenBlock {
- openBlockSource :: !BlockHash
- openBlockRepresentative :: !Representative
- openBlockAccount :: !Account
}
data ChangeBlock = ChangeBlock {
- changeBlockPrevious :: !BlockHash
- changeBlockRepresentative :: !Representative
}
data StateBlock = StateBlock {
- stateBlockAccount :: !Account
- stateBlockPrevious :: !BlockHash
- stateBlockRepresentative :: !Representative
- stateBlockBalance :: !Amount
- stateBlockLink :: !Link
}
getSignedBlock :: BlockType -> Get SignedBlock
verifySignedBlock :: SignedBlock -> Either SignedBlockError BlockHash
getUnsignedBlock :: BlockType -> Get UnsignedBlock
putSignedBlock :: SignedBlock -> (BlockType, Put ())
putUnsignedBlock :: UnsignedBlock -> (BlockType, Put ())
data BlockHash
data BlockHashOrAccount
blockHashOrAccountToAccount :: BlockHashOrAccount -> Either String Account
blockHashOrAccountToBlockHash :: BlockHashOrAccount -> Either String BlockHash
linkToAccount :: Link -> Either String Account
linkToBlockHash :: Link -> Either String BlockHash
zeroBlockHash :: BlockHash
data Signature
data SignedBlockError
- = SignedBlockSignatureInvalid
- | SignedBlockDeserializationError
- | SignedBlockProofOfWorkInvalid
newtype Raw32ByteValue = Raw32ByteValue {
- unRaw32ByteValue :: ShortByteString
}
raw32ByteValueToByteString :: Raw32ByteValue -> ByteString
generateRandomRaw32ByteValue :: MonadRandom m => m Raw32ByteValue
data BlockType
- = BlockTypeInvalid
- | BlockTypeNotABlock
- | BlockTypeSend
- | BlockTypeReceive
- | BlockTypeOpen
- | BlockTypeChange
- | BlockTypeState
toBlockTypeValue :: BlockType -> Word8
fromBlockTypeValue :: Word8 -> Maybe BlockType
newtype Link = Link {
- unLink :: Raw32ByteValue
}
newtype ProofOfWork = ProofOfWork {
- unProofOfWork :: Word64
}

Blocks

data SignedBlock #

Wraps a block with its proof of work and signature

Constructors

SignedBlock
Fields signedBlockBlock :: !UnsignedBlock The contained block signedBlockSignature :: !Signature ed25519 signature signedBlockWork :: !ProofOfWork Proof of work

Instances

Eq SignedBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods (==) :: SignedBlock -> SignedBlock -> Bool # (/=) :: SignedBlock -> SignedBlock -> Bool #
Show SignedBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods showsPrec :: Int -> SignedBlock -> ShowS # show :: SignedBlock -> String # showList :: [SignedBlock] -> ShowS #
Generic SignedBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Associated Types type Rep SignedBlock :: * -> * # Methods from :: SignedBlock -> Rep SignedBlock x # to :: Rep SignedBlock x -> SignedBlock #
Validity SignedBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods validate :: SignedBlock -> Validation
type Rep SignedBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal type Rep SignedBlock = D1 (MetaData "SignedBlock" "Gini.Core.Protocol.Types.Block.Internal" "gini-core-0.1.0.0-CYC9q60CJ5rDf5hHcbgY0V" False) (C1 (MetaCons "SignedBlock" PrefixI True) (S1 (MetaSel (Just "signedBlockBlock") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 UnsignedBlock) :: (S1 (MetaSel (Just "signedBlockSignature") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Signature) :: S1 (MetaSel (Just "signedBlockWork") SourceUnpack SourceStrict DecidedStrict) (Rec0 ProofOfWork))))

data UnsignedBlock #

An unsigned block

Constructors

UnsignedBlockSend !SendBlock
UnsignedBlockReceive !ReceiveBlock
UnsignedBlockOpen !OpenBlock
UnsignedBlockChange !ChangeBlock
UnsignedBlockState !StateBlock

Instances

Eq UnsignedBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods (==) :: UnsignedBlock -> UnsignedBlock -> Bool # (/=) :: UnsignedBlock -> UnsignedBlock -> Bool #
Show UnsignedBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods showsPrec :: Int -> UnsignedBlock -> ShowS # show :: UnsignedBlock -> String # showList :: [UnsignedBlock] -> ShowS #
Generic UnsignedBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Associated Types type Rep UnsignedBlock :: * -> * # Methods from :: UnsignedBlock -> Rep UnsignedBlock x # to :: Rep UnsignedBlock x -> UnsignedBlock #
Validity UnsignedBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods validate :: UnsignedBlock -> Validation
type Rep UnsignedBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal type Rep UnsignedBlock = D1 (MetaData "UnsignedBlock" "Gini.Core.Protocol.Types.Block.Internal" "gini-core-0.1.0.0-CYC9q60CJ5rDf5hHcbgY0V" False) ((C1 (MetaCons "UnsignedBlockSend" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SendBlock)) :+: C1 (MetaCons "UnsignedBlockReceive" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ReceiveBlock))) :+: (C1 (MetaCons "UnsignedBlockOpen" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 OpenBlock)) :+: (C1 (MetaCons "UnsignedBlockChange" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ChangeBlock)) :+: C1 (MetaCons "UnsignedBlockState" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 StateBlock)))))

data SendBlock #

Contents of a send block

Constructors

SendBlock
Fields sendBlockPrevious :: !BlockHash Hash of the previous block sendBlockDestination :: !Account Public key of destination account sendBlockBalance :: !Amount 128-bit big endian balance

Instances

Eq SendBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods (==) :: SendBlock -> SendBlock -> Bool # (/=) :: SendBlock -> SendBlock -> Bool #
Show SendBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods showsPrec :: Int -> SendBlock -> ShowS # show :: SendBlock -> String # showList :: [SendBlock] -> ShowS #
Generic SendBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Associated Types type Rep SendBlock :: * -> * # Methods from :: SendBlock -> Rep SendBlock x # to :: Rep SendBlock x -> SendBlock #
Validity SendBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods validate :: SendBlock -> Validation
Persist SendBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods put :: SendBlock -> Put () get :: Get SendBlock
type Rep SendBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal type Rep SendBlock = D1 (MetaData "SendBlock" "Gini.Core.Protocol.Types.Block.Internal" "gini-core-0.1.0.0-CYC9q60CJ5rDf5hHcbgY0V" False) (C1 (MetaCons "SendBlock" PrefixI True) (S1 (MetaSel (Just "sendBlockPrevious") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BlockHash) :: (S1 (MetaSel (Just "sendBlockDestination") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Account) :: S1 (MetaSel (Just "sendBlockBalance") SourceUnpack SourceStrict DecidedStrict) (Rec0 Amount))))

data ReceiveBlock #

Contents of a receive block

Constructors

ReceiveBlock
Fields receiveBlockPrevious :: !BlockHash Hash of the previous block receiveBlockSource :: !BlockHash Hash of the source send block

Instances

Eq ReceiveBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods (==) :: ReceiveBlock -> ReceiveBlock -> Bool # (/=) :: ReceiveBlock -> ReceiveBlock -> Bool #
Show ReceiveBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods showsPrec :: Int -> ReceiveBlock -> ShowS # show :: ReceiveBlock -> String # showList :: [ReceiveBlock] -> ShowS #
Generic ReceiveBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Associated Types type Rep ReceiveBlock :: * -> * # Methods from :: ReceiveBlock -> Rep ReceiveBlock x # to :: Rep ReceiveBlock x -> ReceiveBlock #
Validity ReceiveBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods validate :: ReceiveBlock -> Validation
Persist ReceiveBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods put :: ReceiveBlock -> Put () get :: Get ReceiveBlock
type Rep ReceiveBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal type Rep ReceiveBlock = D1 (MetaData "ReceiveBlock" "Gini.Core.Protocol.Types.Block.Internal" "gini-core-0.1.0.0-CYC9q60CJ5rDf5hHcbgY0V" False) (C1 (MetaCons "ReceiveBlock" PrefixI True) (S1 (MetaSel (Just "receiveBlockPrevious") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BlockHash) :*: S1 (MetaSel (Just "receiveBlockSource") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BlockHash)))

data OpenBlock #

Contents of open block

Constructors

OpenBlock
Fields openBlockSource :: !BlockHash Hash of the source send block openBlockRepresentative :: !Representative Public key of initial representative account openBlockAccount :: !Account Public key of account being opened

Instances

Eq OpenBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods (==) :: OpenBlock -> OpenBlock -> Bool # (/=) :: OpenBlock -> OpenBlock -> Bool #
Show OpenBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods showsPrec :: Int -> OpenBlock -> ShowS # show :: OpenBlock -> String # showList :: [OpenBlock] -> ShowS #
Generic OpenBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Associated Types type Rep OpenBlock :: * -> * # Methods from :: OpenBlock -> Rep OpenBlock x # to :: Rep OpenBlock x -> OpenBlock #
Validity OpenBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods validate :: OpenBlock -> Validation
Persist OpenBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods put :: OpenBlock -> Put () get :: Get OpenBlock
type Rep OpenBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal type Rep OpenBlock = D1 (MetaData "OpenBlock" "Gini.Core.Protocol.Types.Block.Internal" "gini-core-0.1.0.0-CYC9q60CJ5rDf5hHcbgY0V" False) (C1 (MetaCons "OpenBlock" PrefixI True) (S1 (MetaSel (Just "openBlockSource") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BlockHash) :: (S1 (MetaSel (Just "openBlockRepresentative") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Representative) :: S1 (MetaSel (Just "openBlockAccount") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Account))))

data ChangeBlock #

Contents of change block

Constructors

ChangeBlock
Fields changeBlockPrevious :: !BlockHash Hash of the previous block changeBlockRepresentative :: !Representative Public key of new representative account

Instances

Eq ChangeBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods (==) :: ChangeBlock -> ChangeBlock -> Bool # (/=) :: ChangeBlock -> ChangeBlock -> Bool #
Show ChangeBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods showsPrec :: Int -> ChangeBlock -> ShowS # show :: ChangeBlock -> String # showList :: [ChangeBlock] -> ShowS #
Generic ChangeBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Associated Types type Rep ChangeBlock :: * -> * # Methods from :: ChangeBlock -> Rep ChangeBlock x # to :: Rep ChangeBlock x -> ChangeBlock #
Validity ChangeBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods validate :: ChangeBlock -> Validation
Persist ChangeBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods put :: ChangeBlock -> Put () get :: Get ChangeBlock
type Rep ChangeBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal type Rep ChangeBlock = D1 (MetaData "ChangeBlock" "Gini.Core.Protocol.Types.Block.Internal" "gini-core-0.1.0.0-CYC9q60CJ5rDf5hHcbgY0V" False) (C1 (MetaCons "ChangeBlock" PrefixI True) (S1 (MetaSel (Just "changeBlockPrevious") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BlockHash) :*: S1 (MetaSel (Just "changeBlockRepresentative") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Representative)))

data StateBlock #

Contents of state block

Constructors

StateBlock

Fields

stateBlockAccount :: !Account
Public key of account represented by this state block
stateBlockPrevious :: !BlockHash
Hash of the previous block
stateBlockRepresentative :: !Representative
Public key of the representative account
stateBlockBalance :: !Amount
128-bit big endian balance
stateBlockLink :: !Link
Pairing send's block hash (open/receive), 0 (change) or destination public key (send)

Instances

Eq StateBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods (==) :: StateBlock -> StateBlock -> Bool # (/=) :: StateBlock -> StateBlock -> Bool #
Show StateBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods showsPrec :: Int -> StateBlock -> ShowS # show :: StateBlock -> String # showList :: [StateBlock] -> ShowS #
Generic StateBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Associated Types type Rep StateBlock :: * -> * # Methods from :: StateBlock -> Rep StateBlock x # to :: Rep StateBlock x -> StateBlock #
Validity StateBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods validate :: StateBlock -> Validation
Persist StateBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods put :: StateBlock -> Put () get :: Get StateBlock
type Rep StateBlock #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal type Rep StateBlock = D1 (MetaData "StateBlock" "Gini.Core.Protocol.Types.Block.Internal" "gini-core-0.1.0.0-CYC9q60CJ5rDf5hHcbgY0V" False) (C1 (MetaCons "StateBlock" PrefixI True) ((S1 (MetaSel (Just "stateBlockAccount") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Account) :: S1 (MetaSel (Just "stateBlockPrevious") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BlockHash)) :: (S1 (MetaSel (Just "stateBlockRepresentative") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Representative) :: (S1 (MetaSel (Just "stateBlockBalance") SourceUnpack SourceStrict DecidedStrict) (Rec0 Amount) :: S1 (MetaSel (Just "stateBlockLink") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Link)))))

getSignedBlock :: BlockType -> Get SignedBlock #

Deserialize a SignedBlock, given the BlockType value.

verifySignedBlock :: SignedBlock -> Either SignedBlockError BlockHash #

Verifies the signature and produces block hash. (possibly other validations)

getUnsignedBlock :: BlockType -> Get UnsignedBlock #

Deserialize an UnsignedBlock, given the BlockType value.

putSignedBlock :: SignedBlock -> (BlockType, Put ()) #

Returns a BlockType value and a closure that will serialize the SignedBlock.

putUnsignedBlock :: UnsignedBlock -> (BlockType, Put ()) #

Returns a BlockType value and a closure that will serialize the UnsignedBlock.

Account and block

data BlockHash #

Instances

Eq BlockHash
Instance details Defined in Gini.Crypto.Hash Methods (==) :: BlockHash -> BlockHash -> Bool # (/=) :: BlockHash -> BlockHash -> Bool #
Show BlockHash
Instance details Defined in Gini.Crypto.Hash Methods showsPrec :: Int -> BlockHash -> ShowS # show :: BlockHash -> String # showList :: [BlockHash] -> ShowS #
NFData BlockHash
Instance details Defined in Gini.Crypto.Hash Methods rnf :: BlockHash -> () #
Display BlockHash
Instance details Defined in Gini.Crypto.Hash Methods display :: BlockHash -> Utf8Builder textDisplay :: BlockHash -> Text
ByteArrayAccess BlockHash
Instance details Defined in Gini.Crypto.Hash Methods length :: BlockHash -> Int # withByteArray :: BlockHash -> (Ptr p -> IO a) -> IO a # copyByteArrayToPtr :: BlockHash -> Ptr p -> IO () #
Validity BlockHash
Instance details Defined in Gini.Crypto.Hash Methods validate :: BlockHash -> Validation
Persist BlockHash
Instance details Defined in Gini.Crypto.Hash Methods put :: BlockHash -> Put () get :: Get BlockHash
PersistField BlockHash
Instance details Defined in Gini.Crypto.Hash Methods toPersistValue :: BlockHash -> PersistValue fromPersistValue :: PersistValue -> Either Text BlockHash
PersistFieldSql BlockHash
Instance details Defined in Gini.Crypto.Hash Methods sqlType :: Proxy BlockHash -> SqlType

data BlockHashOrAccount #

Block hash or account address

Instances

Eq BlockHashOrAccount #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods (==) :: BlockHashOrAccount -> BlockHashOrAccount -> Bool # (/=) :: BlockHashOrAccount -> BlockHashOrAccount -> Bool #
Show BlockHashOrAccount #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods showsPrec :: Int -> BlockHashOrAccount -> ShowS # show :: BlockHashOrAccount -> String # showList :: [BlockHashOrAccount] -> ShowS #
IsString BlockHashOrAccount #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods fromString :: String -> BlockHashOrAccount #
Generic BlockHashOrAccount #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Associated Types type Rep BlockHashOrAccount :: * -> * # Methods from :: BlockHashOrAccount -> Rep BlockHashOrAccount x # to :: Rep BlockHashOrAccount x -> BlockHashOrAccount #
Display BlockHashOrAccount #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods display :: BlockHashOrAccount -> Utf8Builder textDisplay :: BlockHashOrAccount -> Text
Validity BlockHashOrAccount #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods validate :: BlockHashOrAccount -> Validation
Persist BlockHashOrAccount #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods put :: BlockHashOrAccount -> Put () get :: Get BlockHashOrAccount
type Rep BlockHashOrAccount #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal type Rep BlockHashOrAccount = D1 (MetaData "BlockHashOrAccount" "Gini.Core.Protocol.Types.Block.Internal" "gini-core-0.1.0.0-CYC9q60CJ5rDf5hHcbgY0V" True) (C1 (MetaCons "BlockHashOrAccount" PrefixI True) (S1 (MetaSel (Just "unBlockHashOrAccount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Raw32ByteValue)))

blockHashOrAccountToAccount :: BlockHashOrAccount -> Either String Account #

Convert BlockHashOrAccount to Account

blockHashOrAccountToBlockHash :: BlockHashOrAccount -> Either String BlockHash #

Convert BlockHashOrAccount to BlockHash

linkToAccount :: Link -> Either String Account #

Convert Link to Account

linkToBlockHash :: Link -> Either String BlockHash #

Convert Link to BlockHash

zeroBlockHash :: BlockHash #

BlockHash with all zeros

Signature

data Signature #

Instances

Eq Signature
Instance details Defined in Gini.Crypto.PubKey Methods (==) :: Signature -> Signature -> Bool # (/=) :: Signature -> Signature -> Bool #
Show Signature
Instance details Defined in Gini.Crypto.PubKey Methods showsPrec :: Int -> Signature -> ShowS # show :: Signature -> String # showList :: [Signature] -> ShowS #
NFData Signature
Instance details Defined in Gini.Crypto.PubKey Methods rnf :: Signature -> () #
Display Signature
Instance details Defined in Gini.Crypto.PubKey Methods display :: Signature -> Utf8Builder textDisplay :: Signature -> Text
ByteArrayAccess Signature
Instance details Defined in Gini.Crypto.PubKey Methods length :: Signature -> Int # withByteArray :: Signature -> (Ptr p -> IO a) -> IO a # copyByteArrayToPtr :: Signature -> Ptr p -> IO () #
Validity Signature
Instance details Defined in Gini.Crypto.PubKey Methods validate :: Signature -> Validation
Persist Signature
Instance details Defined in Gini.Crypto.PubKey Methods put :: Signature -> Put () get :: Get Signature
PersistField Signature
Instance details Defined in Gini.Crypto.PubKey Methods toPersistValue :: Signature -> PersistValue fromPersistValue :: PersistValue -> Either Text Signature
PersistFieldSql Signature
Instance details Defined in Gini.Crypto.PubKey Methods sqlType :: Proxy Signature -> SqlType

data SignedBlockError #

Constructors

SignedBlockSignatureInvalid
SignedBlockDeserializationError
SignedBlockProofOfWorkInvalid

Instances

Eq SignedBlockError #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods (==) :: SignedBlockError -> SignedBlockError -> Bool # (/=) :: SignedBlockError -> SignedBlockError -> Bool #
Show SignedBlockError #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods showsPrec :: Int -> SignedBlockError -> ShowS # show :: SignedBlockError -> String # showList :: [SignedBlockError] -> ShowS #
Display SignedBlockError #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods display :: SignedBlockError -> Utf8Builder textDisplay :: SignedBlockError -> Text

Raw32ByteValue

newtype Raw32ByteValue #

A generic 256-bit (32-byte) value rendered as hex.

Constructors

Raw32ByteValue
Fields unRaw32ByteValue :: ShortByteString

Instances

Eq Raw32ByteValue #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods (==) :: Raw32ByteValue -> Raw32ByteValue -> Bool # (/=) :: Raw32ByteValue -> Raw32ByteValue -> Bool #
Show Raw32ByteValue #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods showsPrec :: Int -> Raw32ByteValue -> ShowS # show :: Raw32ByteValue -> String # showList :: [Raw32ByteValue] -> ShowS #
IsString Raw32ByteValue #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods fromString :: String -> Raw32ByteValue #
Generic Raw32ByteValue #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Associated Types type Rep Raw32ByteValue :: * -> * # Methods from :: Raw32ByteValue -> Rep Raw32ByteValue x # to :: Rep Raw32ByteValue x -> Raw32ByteValue #
Display Raw32ByteValue #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods display :: Raw32ByteValue -> Utf8Builder textDisplay :: Raw32ByteValue -> Text
Validity Raw32ByteValue #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods validate :: Raw32ByteValue -> Validation
Persist Raw32ByteValue #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods put :: Raw32ByteValue -> Put () get :: Get Raw32ByteValue
PersistField Raw32ByteValue #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods toPersistValue :: Raw32ByteValue -> PersistValue fromPersistValue :: PersistValue -> Either Text Raw32ByteValue
PersistFieldSql Raw32ByteValue #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods sqlType :: Proxy Raw32ByteValue -> SqlType
type Rep Raw32ByteValue #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal type Rep Raw32ByteValue = D1 (MetaData "Raw32ByteValue" "Gini.Core.Protocol.Types.Block.Internal" "gini-core-0.1.0.0-CYC9q60CJ5rDf5hHcbgY0V" True) (C1 (MetaCons "Raw32ByteValue" PrefixI True) (S1 (MetaSel (Just "unRaw32ByteValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString)))

raw32ByteValueToByteString :: Raw32ByteValue -> ByteString #

generateRandomRaw32ByteValue :: MonadRandom m => m Raw32ByteValue #

BlockType

data BlockType #

The block type determines what block is embedded in the message. For some message types, block type is not relevant and the block type is set to invalid or not_a_block

Constructors

BlockTypeInvalid	0x00
BlockTypeNotABlock	0x01
BlockTypeSend	0x02
BlockTypeReceive	0x03
BlockTypeOpen	0x04
BlockTypeChange	0x05
BlockTypeState	0x06

Instances

Bounded BlockType #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods minBound :: BlockType # maxBound :: BlockType #
Enum BlockType #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods succ :: BlockType -> BlockType # pred :: BlockType -> BlockType # toEnum :: Int -> BlockType # fromEnum :: BlockType -> Int # enumFrom :: BlockType -> [BlockType] # enumFromThen :: BlockType -> BlockType -> [BlockType] # enumFromTo :: BlockType -> BlockType -> [BlockType] # enumFromThenTo :: BlockType -> BlockType -> BlockType -> [BlockType] #
Eq BlockType #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods (==) :: BlockType -> BlockType -> Bool # (/=) :: BlockType -> BlockType -> Bool #
Show BlockType #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods showsPrec :: Int -> BlockType -> ShowS # show :: BlockType -> String # showList :: [BlockType] -> ShowS #
Generic BlockType #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Associated Types type Rep BlockType :: * -> * # Methods from :: BlockType -> Rep BlockType x # to :: Rep BlockType x -> BlockType #
Validity BlockType #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods validate :: BlockType -> Validation
PersistField BlockType #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods toPersistValue :: BlockType -> PersistValue fromPersistValue :: PersistValue -> Either Text BlockType
PersistFieldSql BlockType #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods sqlType :: Proxy BlockType -> SqlType
type Rep BlockType #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal type Rep BlockType = D1 (MetaData "BlockType" "Gini.Core.Protocol.Types.Block.Internal" "gini-core-0.1.0.0-CYC9q60CJ5rDf5hHcbgY0V" False) ((C1 (MetaCons "BlockTypeInvalid" PrefixI False) (U1 :: * -> ) :+: (C1 (MetaCons "BlockTypeNotABlock" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "BlockTypeSend" PrefixI False) (U1 :: -> ))) :+: ((C1 (MetaCons "BlockTypeReceive" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "BlockTypeOpen" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "BlockTypeChange" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "BlockTypeState" PrefixI False) (U1 :: -> *))))

toBlockTypeValue :: BlockType -> Word8 #

fromBlockTypeValue :: Word8 -> Maybe BlockType #

Other types

newtype Link #

Contents of state block's link field

Constructors

Link
Fields unLink :: Raw32ByteValue

Instances

Eq Link #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods (==) :: Link -> Link -> Bool # (/=) :: Link -> Link -> Bool #
Show Link #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods showsPrec :: Int -> Link -> ShowS # show :: Link -> String # showList :: [Link] -> ShowS #
IsString Link #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods fromString :: String -> Link #
Generic Link #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Associated Types type Rep Link :: * -> * # Methods from :: Link -> Rep Link x # to :: Rep Link x -> Link #
Display Link #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods display :: Link -> Utf8Builder textDisplay :: Link -> Text
Validity Link #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods validate :: Link -> Validation
Persist Link #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods put :: Link -> Put () get :: Get Link
type Rep Link #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal type Rep Link = D1 (MetaData "Link" "Gini.Core.Protocol.Types.Block.Internal" "gini-core-0.1.0.0-CYC9q60CJ5rDf5hHcbgY0V" True) (C1 (MetaCons "Link" PrefixI True) (S1 (MetaSel (Just "unLink") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Raw32ByteValue)))

newtype ProofOfWork #

Proof of work nonce

Constructors

ProofOfWork
Fields unProofOfWork :: Word64

Instances

Eq ProofOfWork #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods (==) :: ProofOfWork -> ProofOfWork -> Bool # (/=) :: ProofOfWork -> ProofOfWork -> Bool #
Show ProofOfWork #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods showsPrec :: Int -> ProofOfWork -> ShowS # show :: ProofOfWork -> String # showList :: [ProofOfWork] -> ShowS #
Generic ProofOfWork #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Associated Types type Rep ProofOfWork :: * -> * # Methods from :: ProofOfWork -> Rep ProofOfWork x # to :: Rep ProofOfWork x -> ProofOfWork #
NFData ProofOfWork #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods rnf :: ProofOfWork -> () #
Validity ProofOfWork #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods validate :: ProofOfWork -> Validation
PersistField ProofOfWork #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods toPersistValue :: ProofOfWork -> PersistValue fromPersistValue :: PersistValue -> Either Text ProofOfWork
PersistFieldSql ProofOfWork #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal Methods sqlType :: Proxy ProofOfWork -> SqlType
type Rep ProofOfWork #
Instance details Defined in Gini.Core.Protocol.Types.Block.Internal type Rep ProofOfWork = D1 (MetaData "ProofOfWork" "Gini.Core.Protocol.Types.Block.Internal" "gini-core-0.1.0.0-CYC9q60CJ5rDf5hHcbgY0V" True) (C1 (MetaCons "ProofOfWork" PrefixI True) (S1 (MetaSel (Just "unProofOfWork") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)))