Data.Blockchain.Core.Blockchain

Documentation

data Validated

data Unvalidated

Instances

FromJSON (Blockchain Unvalidated)

Methods

parseJSON :: Value -> Parser (Blockchain Unvalidated)

parseJSONList :: Value -> Parser [Blockchain Unvalidated]

data Blockchain a

Core blockchain data type. Uses a validation tag to declare if it is known to abide by expected blockchain rules. Will be either Blockchain Validated or Blockchain Unvalidated.

Note: both Blockchain Validated and Blockchain Unvalidated can be serialized to json, while only Blockchain Unvalidated can be deserialized from json.

Instances

Eq (Blockchain a)

Methods

(==) :: Blockchain a -> Blockchain a -> Bool

(/=) :: Blockchain a -> Blockchain a -> Bool

Show (Blockchain a)

Methods

showsPrec :: Int -> Blockchain a -> ShowS

show :: Blockchain a -> String

showList :: [Blockchain a] -> ShowS

Generic (Blockchain a)

Associated Types

type Rep (Blockchain a) :: * -> *

Methods

from :: Blockchain a -> Rep (Blockchain a) x

to :: Rep (Blockchain a) x -> Blockchain a

ToJSON (Blockchain a)

Methods

toJSON :: Blockchain a -> Value

toEncoding :: Blockchain a -> Encoding

toJSONList :: [Blockchain a] -> Value

toEncodingList :: [Blockchain a] -> Encoding

FromJSON (Blockchain Unvalidated)

Methods

parseJSON :: Value -> Parser (Blockchain Unvalidated)

parseJSONList :: Value -> Parser [Blockchain Unvalidated]

type Rep (Blockchain a)

type Rep (Blockchain a) = D1 (MetaData "Blockchain" "Data.Blockchain.Core.Blockchain" "blockchain-0.0.2-GnNnMI3zKhj6LOZvdPorJX" False) (C1 (MetaCons "Blockchain" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_config") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 BlockchainConfig)) (S1 (MetaSel (Just Symbol "_node") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 BlockchainNode))))

blockchainConfig :: Blockchain a -> BlockchainConfig

blockchainNode :: Blockchain a -> BlockchainNode

data BlockchainNode

Constructors

BlockchainNode

Fields

• nodeBlock :: Block
• nodeNodes :: [BlockchainNode]

Instances

Eq BlockchainNode

Methods

(==) :: BlockchainNode -> BlockchainNode -> Bool

(/=) :: BlockchainNode -> BlockchainNode -> Bool

Show BlockchainNode

Methods

showsPrec :: Int -> BlockchainNode -> ShowS

show :: BlockchainNode -> String

showList :: [BlockchainNode] -> ShowS

Generic BlockchainNode

Associated Types

type Rep BlockchainNode :: * -> *

Methods

from :: BlockchainNode -> Rep BlockchainNode x

to :: Rep BlockchainNode x -> BlockchainNode

ToJSON BlockchainNode

Methods

toJSON :: BlockchainNode -> Value

toEncoding :: BlockchainNode -> Encoding

toJSONList :: [BlockchainNode] -> Value

toEncodingList :: [BlockchainNode] -> Encoding

FromJSON BlockchainNode

Methods

parseJSON :: Value -> Parser BlockchainNode

parseJSONList :: Value -> Parser [BlockchainNode]

type Rep BlockchainNode

type Rep BlockchainNode = D1 (MetaData "BlockchainNode" "Data.Blockchain.Core.Blockchain" "blockchain-0.0.2-GnNnMI3zKhj6LOZvdPorJX" False) (C1 (MetaCons "BlockchainNode" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "nodeBlock") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Block)) (S1 (MetaSel (Just Symbol "nodeNodes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [BlockchainNode]))))

data ValidationException

Constructors

GenesisBlockHasTransactions

GenesisBlockException BlockException

BlockValidationException BlockException

Instances

Eq ValidationException

Methods

(==) :: ValidationException -> ValidationException -> Bool

(/=) :: ValidationException -> ValidationException -> Bool

Show ValidationException

Methods

showsPrec :: Int -> ValidationException -> ShowS

show :: ValidationException -> String

showList :: [ValidationException] -> ShowS

data BlockException

Constructors

BlockAlreadyExists

NoParentFound

TimestampTooOld

TimestampTooFarIntoFuture

InvalidDifficultyReference

InvalidDifficulty

InvalidCoinbaseTransactionHash

InvalidTransactionHashTreeRoot

InvalidCoinbaseTransactionValue

InvalidTransactionValues

TransactionOutRefNotFound

InvalidTransactionSignature

Instances

Eq BlockException

Methods

(==) :: BlockException -> BlockException -> Bool

(/=) :: BlockException -> BlockException -> Bool

Show BlockException

Methods

showsPrec :: Int -> BlockException -> ShowS

show :: BlockException -> String

showList :: [BlockException] -> ShowS

Construction

construct :: BlockchainConfig -> BlockchainNode -> Blockchain Unvalidated

Constructs an unvalidated blockchain from a config and a node. Allows arbitrary blockchains to be constructed. However, blockchains are generally not useful until validated.

validate :: Blockchain Unvalidated -> Either ValidationException (Blockchain Validated)

Validates a blockchain. Returns a ValidationException if provided blockchain does not meet expected rules.

addBlock :: Block -> Blockchain Validated -> Either BlockException (Blockchain Validated)

Adds a block to a validated blockchain. Returns a BlockException if block is not able to be inserted into the blockchain.

Validation

validateTransaction :: Blockchain Validated -> Transaction -> Either BlockException ()

validateTransactions :: Blockchain Validated -> [Transaction] -> Either BlockException ()

Chain inspection

blockHeaderHashDifficulty :: Hex256 -> BlockHeader -> Difficulty

addressValues :: Blockchain Validated -> HashMap PublicKey Word

unspentTransactionOutputs :: Blockchain Validated -> HashMap PublicKey [(TransactionOutRef, TransactionOut)]

longestChain :: Blockchain Validated -> NonEmpty Block

flatten :: Blockchain Validated -> NonEmpty (NonEmpty Block)