Data.Blockchain.Core.Types

Documentation

data Block

Constructors

Block

Fields

• blockHeader :: BlockHeader
• coinbaseTransaction :: CoinbaseTransaction
• transactions :: [Transaction]

Instances

Eq Block

Methods

(==) :: Block -> Block -> Bool

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

Show Block

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

Generic Block

Associated Types

type Rep Block :: * -> *

Methods

from :: Block -> Rep Block x

to :: Rep Block x -> Block

ToJSON Block

Methods

toJSON :: Block -> Value

toEncoding :: Block -> Encoding

toJSONList :: [Block] -> Value

toEncodingList :: [Block] -> Encoding

FromJSON Block

Methods

parseJSON :: Value -> Parser Block

parseJSONList :: Value -> Parser [Block]

type Rep Block

type Rep Block = D1 (MetaData "Block" "Data.Blockchain.Core.Types.Block" "blockchain-0.0.2-GnNnMI3zKhj6LOZvdPorJX" False) (C1 (MetaCons "Block" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "blockHeader") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 BlockHeader)) ((:*:) (S1 (MetaSel (Just Symbol "coinbaseTransaction") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CoinbaseTransaction)) (S1 (MetaSel (Just Symbol "transactions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Transaction])))))

data BlockHeader

Constructors

BlockHeader

Fields

• version :: Int
• prevBlockHeaderHash :: Hash BlockHeader
• coinbaseTransactionHash :: Hash CoinbaseTransaction
• transactionHashTreeRoot :: HashTreeRoot Transaction
• time :: UTCTime
• difficulty :: Difficulty
• nonce :: Int

Instances

Eq BlockHeader

Methods

(==) :: BlockHeader -> BlockHeader -> Bool

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

Show BlockHeader

Methods

showsPrec :: Int -> BlockHeader -> ShowS

show :: BlockHeader -> String

showList :: [BlockHeader] -> ShowS

Generic BlockHeader

Associated Types

type Rep BlockHeader :: * -> *

Methods

from :: BlockHeader -> Rep BlockHeader x

to :: Rep BlockHeader x -> BlockHeader

ToJSON BlockHeader

Methods

toJSON :: BlockHeader -> Value

toEncoding :: BlockHeader -> Encoding

toJSONList :: [BlockHeader] -> Value

toEncodingList :: [BlockHeader] -> Encoding

FromJSON BlockHeader

Methods

parseJSON :: Value -> Parser BlockHeader

parseJSONList :: Value -> Parser [BlockHeader]

ToHash BlockHeader

Methods

hash :: BlockHeader -> Hash BlockHeader

type Rep BlockHeader

type Rep BlockHeader = D1 (MetaData "BlockHeader" "Data.Blockchain.Core.Types.Block" "blockchain-0.0.2-GnNnMI3zKhj6LOZvdPorJX" False) (C1 (MetaCons "BlockHeader" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "version") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) ((:*:) (S1 (MetaSel (Just Symbol "prevBlockHeaderHash") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Hash BlockHeader))) (S1 (MetaSel (Just Symbol "coinbaseTransactionHash") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Hash CoinbaseTransaction))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "transactionHashTreeRoot") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (HashTreeRoot Transaction))) (S1 (MetaSel (Just Symbol "time") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UTCTime))) ((:*:) (S1 (MetaSel (Just Symbol "difficulty") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Difficulty)) (S1 (MetaSel (Just Symbol "nonce") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))))

data BlockchainConfig

Constructors

BlockchainConfig

Fields

• initialDifficulty :: Difficulty
• difficulty1Target :: Hex256
• targetSecondsPerBlock :: Word
• difficultyRecalculationHeight :: Word
• initialMiningReward :: Word
• miningRewardHalvingHeight :: Word

Instances

Eq BlockchainConfig

Methods

(==) :: BlockchainConfig -> BlockchainConfig -> Bool

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

Show BlockchainConfig

Methods

showsPrec :: Int -> BlockchainConfig -> ShowS

show :: BlockchainConfig -> String

showList :: [BlockchainConfig] -> ShowS

Generic BlockchainConfig

Associated Types

type Rep BlockchainConfig :: * -> *

Methods

from :: BlockchainConfig -> Rep BlockchainConfig x

to :: Rep BlockchainConfig x -> BlockchainConfig

ToJSON BlockchainConfig

Methods

toJSON :: BlockchainConfig -> Value

toEncoding :: BlockchainConfig -> Encoding

toJSONList :: [BlockchainConfig] -> Value

toEncodingList :: [BlockchainConfig] -> Encoding

FromJSON BlockchainConfig

Methods

parseJSON :: Value -> Parser BlockchainConfig

parseJSONList :: Value -> Parser [BlockchainConfig]

type Rep BlockchainConfig

type Rep BlockchainConfig = D1 (MetaData "BlockchainConfig" "Data.Blockchain.Core.Types.BlockchainConfig" "blockchain-0.0.2-GnNnMI3zKhj6LOZvdPorJX" False) (C1 (MetaCons "BlockchainConfig" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "initialDifficulty") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Difficulty)) ((:*:) (S1 (MetaSel (Just Symbol "difficulty1Target") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Hex256)) (S1 (MetaSel (Just Symbol "targetSecondsPerBlock") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)))) ((:*:) (S1 (MetaSel (Just Symbol "difficultyRecalculationHeight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)) ((:*:) (S1 (MetaSel (Just Symbol "initialMiningReward") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)) (S1 (MetaSel (Just Symbol "miningRewardHalvingHeight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word))))))

defaultConfig :: BlockchainConfig

A reasonable default config to use for testing. Mines blocks quickly and changes difficulty and rewards frequently. Note: reward will go to zero after 1100 blocks, which will take about 180 minutes of mining.

defaultConfig :: BlockchainConfig
defaultConfig = BlockchainConfig
    { initialDifficulty             = Difficulty 1
    , difficulty1Target             = hex256LeadingZeros 4
    , targetSecondsPerBlock         = 10
    , difficultyRecalculationHeight = 50
    , initialMiningReward           = 1024
    , miningRewardHalvingHeight     = 100
    }

targetReward :: BlockchainConfig -> Word -> Word

Calculates the target reward for a blockchain. Uses the longest chain.

targetDifficulty :: BlockchainConfig -> [Block] -> Difficulty

Calculates the target difficulty for a blockchain. Uses the longest chain.

newtype Difficulty

Constructors

Difficulty

Fields

• unDifficulty :: Natural

Instances

Bounded Difficulty

Methods

minBound :: Difficulty

maxBound :: Difficulty

Enum Difficulty

Methods

succ :: Difficulty -> Difficulty

pred :: Difficulty -> Difficulty

toEnum :: Int -> Difficulty

fromEnum :: Difficulty -> Int

enumFrom :: Difficulty -> [Difficulty]

enumFromThen :: Difficulty -> Difficulty -> [Difficulty]

enumFromTo :: Difficulty -> Difficulty -> [Difficulty]

enumFromThenTo :: Difficulty -> Difficulty -> Difficulty -> [Difficulty]

Eq Difficulty

Methods

(==) :: Difficulty -> Difficulty -> Bool

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

Integral Difficulty

Methods

quot :: Difficulty -> Difficulty -> Difficulty

rem :: Difficulty -> Difficulty -> Difficulty

div :: Difficulty -> Difficulty -> Difficulty

mod :: Difficulty -> Difficulty -> Difficulty

quotRem :: Difficulty -> Difficulty -> (Difficulty, Difficulty)

divMod :: Difficulty -> Difficulty -> (Difficulty, Difficulty)

toInteger :: Difficulty -> Integer

Num Difficulty

Methods

(+) :: Difficulty -> Difficulty -> Difficulty

(-) :: Difficulty -> Difficulty -> Difficulty

(*) :: Difficulty -> Difficulty -> Difficulty

negate :: Difficulty -> Difficulty

abs :: Difficulty -> Difficulty

signum :: Difficulty -> Difficulty

fromInteger :: Integer -> Difficulty

Ord Difficulty

Methods

compare :: Difficulty -> Difficulty -> Ordering

(<) :: Difficulty -> Difficulty -> Bool

(<=) :: Difficulty -> Difficulty -> Bool

(>) :: Difficulty -> Difficulty -> Bool

(>=) :: Difficulty -> Difficulty -> Bool

max :: Difficulty -> Difficulty -> Difficulty

min :: Difficulty -> Difficulty -> Difficulty

Real Difficulty

Methods

toRational :: Difficulty -> Rational

Show Difficulty

Methods

showsPrec :: Int -> Difficulty -> ShowS

show :: Difficulty -> String

showList :: [Difficulty] -> ShowS

ToJSON Difficulty

Methods

toJSON :: Difficulty -> Value

toEncoding :: Difficulty -> Encoding

toJSONList :: [Difficulty] -> Value

toEncodingList :: [Difficulty] -> Encoding

FromJSON Difficulty

Methods

parseJSON :: Value -> Parser Difficulty

parseJSONList :: Value -> Parser [Difficulty]

newtype Hex256

Constructors

Hex256

Fields

• unHex256 :: Natural

Instances

Bounded Hex256

Methods

minBound :: Hex256

maxBound :: Hex256

Enum Hex256

Methods

succ :: Hex256 -> Hex256

pred :: Hex256 -> Hex256

toEnum :: Int -> Hex256

fromEnum :: Hex256 -> Int

enumFrom :: Hex256 -> [Hex256]

enumFromThen :: Hex256 -> Hex256 -> [Hex256]

enumFromTo :: Hex256 -> Hex256 -> [Hex256]

enumFromThenTo :: Hex256 -> Hex256 -> Hex256 -> [Hex256]

Eq Hex256

Methods

(==) :: Hex256 -> Hex256 -> Bool

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

Integral Hex256

Methods

quot :: Hex256 -> Hex256 -> Hex256

rem :: Hex256 -> Hex256 -> Hex256

div :: Hex256 -> Hex256 -> Hex256

mod :: Hex256 -> Hex256 -> Hex256

quotRem :: Hex256 -> Hex256 -> (Hex256, Hex256)

divMod :: Hex256 -> Hex256 -> (Hex256, Hex256)

toInteger :: Hex256 -> Integer

Num Hex256

Methods

(+) :: Hex256 -> Hex256 -> Hex256

(-) :: Hex256 -> Hex256 -> Hex256

(*) :: Hex256 -> Hex256 -> Hex256

negate :: Hex256 -> Hex256

abs :: Hex256 -> Hex256

signum :: Hex256 -> Hex256

fromInteger :: Integer -> Hex256

Ord Hex256

Methods

compare :: Hex256 -> Hex256 -> Ordering

(<) :: Hex256 -> Hex256 -> Bool

(<=) :: Hex256 -> Hex256 -> Bool

(>) :: Hex256 -> Hex256 -> Bool

(>=) :: Hex256 -> Hex256 -> Bool

max :: Hex256 -> Hex256 -> Hex256

min :: Hex256 -> Hex256 -> Hex256

Real Hex256

Methods

toRational :: Hex256 -> Rational

Show Hex256

Methods

showsPrec :: Int -> Hex256 -> ShowS

show :: Hex256 -> String

showList :: [Hex256] -> ShowS

ToJSON Hex256

Methods

toJSON :: Hex256 -> Value

toEncoding :: Hex256 -> Encoding

toJSONList :: [Hex256] -> Value

toEncodingList :: [Hex256] -> Encoding

FromJSON Hex256

Methods

parseJSON :: Value -> Parser Hex256

parseJSONList :: Value -> Parser [Hex256]

hex256 :: String -> Maybe Hex256

hex256LeadingZeros :: Word -> Hex256

Create a Hex256 value with the specificed amount of leading zeros. Useful for creating a difficulty1Target when creating a blockchain.

>>> hex256LeadingZeros 4
0000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff

data Transaction

Constructors

Transaction

Fields

• transactionIn :: NonEmpty TransactionIn
• transactionOut :: NonEmpty TransactionOut

Instances

Eq Transaction

Methods

(==) :: Transaction -> Transaction -> Bool

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

Show Transaction

Methods

showsPrec :: Int -> Transaction -> ShowS

show :: Transaction -> String

showList :: [Transaction] -> ShowS

Generic Transaction

Associated Types

type Rep Transaction :: * -> *

Methods

from :: Transaction -> Rep Transaction x

to :: Rep Transaction x -> Transaction

ToJSON Transaction

Methods

toJSON :: Transaction -> Value

toEncoding :: Transaction -> Encoding

toJSONList :: [Transaction] -> Value

toEncodingList :: [Transaction] -> Encoding

FromJSON Transaction

Methods

parseJSON :: Value -> Parser Transaction

parseJSONList :: Value -> Parser [Transaction]

ToHash Transaction

Methods

hash :: Transaction -> Hash Transaction

type Rep Transaction

type Rep Transaction = D1 (MetaData "Transaction" "Data.Blockchain.Core.Types.Transaction" "blockchain-0.0.2-GnNnMI3zKhj6LOZvdPorJX" False) (C1 (MetaCons "Transaction" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "transactionIn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty TransactionIn))) (S1 (MetaSel (Just Symbol "transactionOut") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty TransactionOut)))))

newtype CoinbaseTransaction

Constructors

CoinbaseTransaction

Fields

• coinbaseTransactionOut :: NonEmpty TransactionOut

Instances

Eq CoinbaseTransaction

Methods

(==) :: CoinbaseTransaction -> CoinbaseTransaction -> Bool

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

Show CoinbaseTransaction

Methods

showsPrec :: Int -> CoinbaseTransaction -> ShowS

show :: CoinbaseTransaction -> String

showList :: [CoinbaseTransaction] -> ShowS

Generic CoinbaseTransaction

Associated Types

type Rep CoinbaseTransaction :: * -> *

Methods

from :: CoinbaseTransaction -> Rep CoinbaseTransaction x

to :: Rep CoinbaseTransaction x -> CoinbaseTransaction

ToJSON CoinbaseTransaction

Methods

toJSON :: CoinbaseTransaction -> Value

toEncoding :: CoinbaseTransaction -> Encoding

toJSONList :: [CoinbaseTransaction] -> Value

toEncodingList :: [CoinbaseTransaction] -> Encoding

FromJSON CoinbaseTransaction

Methods

parseJSON :: Value -> Parser CoinbaseTransaction

parseJSONList :: Value -> Parser [CoinbaseTransaction]

ToHash CoinbaseTransaction

Methods

hash :: CoinbaseTransaction -> Hash CoinbaseTransaction

type Rep CoinbaseTransaction

type Rep CoinbaseTransaction = D1 (MetaData "CoinbaseTransaction" "Data.Blockchain.Core.Types.Transaction" "blockchain-0.0.2-GnNnMI3zKhj6LOZvdPorJX" True) (C1 (MetaCons "CoinbaseTransaction" PrefixI True) (S1 (MetaSel (Just Symbol "coinbaseTransactionOut") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty TransactionOut))))

data TransactionIn

Constructors

TransactionIn

Fields

• transactionOutRef :: TransactionOutRef
• signature :: Signature

  Signature from prev transaction, using pubkey from prev transaction

Instances

Eq TransactionIn

Methods

(==) :: TransactionIn -> TransactionIn -> Bool

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

Show TransactionIn

Methods

showsPrec :: Int -> TransactionIn -> ShowS

show :: TransactionIn -> String

showList :: [TransactionIn] -> ShowS

Generic TransactionIn

Associated Types

type Rep TransactionIn :: * -> *

Methods

from :: TransactionIn -> Rep TransactionIn x

to :: Rep TransactionIn x -> TransactionIn

ToJSON TransactionIn

Methods

toJSON :: TransactionIn -> Value

toEncoding :: TransactionIn -> Encoding

toJSONList :: [TransactionIn] -> Value

toEncodingList :: [TransactionIn] -> Encoding

FromJSON TransactionIn

Methods

parseJSON :: Value -> Parser TransactionIn

parseJSONList :: Value -> Parser [TransactionIn]

ToHash TransactionIn

Methods

hash :: TransactionIn -> Hash TransactionIn

type Rep TransactionIn

type Rep TransactionIn = D1 (MetaData "TransactionIn" "Data.Blockchain.Core.Types.Transaction" "blockchain-0.0.2-GnNnMI3zKhj6LOZvdPorJX" False) (C1 (MetaCons "TransactionIn" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "transactionOutRef") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionOutRef)) (S1 (MetaSel (Just Symbol "signature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Signature))))

data TransactionOutRef

Pointer to a specific TransactionOut

Constructors

TransactionOutRef

Fields

• transactionHash :: Either (Hash CoinbaseTransaction) (Hash Transaction)
• transactionOutIndex :: Word

Instances

Eq TransactionOutRef

Methods

(==) :: TransactionOutRef -> TransactionOutRef -> Bool

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

Show TransactionOutRef

Methods

showsPrec :: Int -> TransactionOutRef -> ShowS

show :: TransactionOutRef -> String

showList :: [TransactionOutRef] -> ShowS

Generic TransactionOutRef

Associated Types

type Rep TransactionOutRef :: * -> *

Methods

from :: TransactionOutRef -> Rep TransactionOutRef x

to :: Rep TransactionOutRef x -> TransactionOutRef

Hashable TransactionOutRef

Methods

hashWithSalt :: Int -> TransactionOutRef -> Int

hash :: TransactionOutRef -> Int

ToJSON TransactionOutRef

Methods

toJSON :: TransactionOutRef -> Value

toEncoding :: TransactionOutRef -> Encoding

toJSONList :: [TransactionOutRef] -> Value

toEncodingList :: [TransactionOutRef] -> Encoding

FromJSON TransactionOutRef

Methods

parseJSON :: Value -> Parser TransactionOutRef

parseJSONList :: Value -> Parser [TransactionOutRef]

type Rep TransactionOutRef

type Rep TransactionOutRef = D1 (MetaData "TransactionOutRef" "Data.Blockchain.Core.Types.Transaction" "blockchain-0.0.2-GnNnMI3zKhj6LOZvdPorJX" False) (C1 (MetaCons "TransactionOutRef" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "transactionHash") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Either (Hash CoinbaseTransaction) (Hash Transaction)))) (S1 (MetaSel (Just Symbol "transactionOutIndex") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word))))

data TransactionOut

Constructors

TransactionOut

Fields

• value :: Word
• signaturePubKey :: PublicKey

  Address of where funds go

Instances

Eq TransactionOut

Methods

(==) :: TransactionOut -> TransactionOut -> Bool

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

Show TransactionOut

Methods

showsPrec :: Int -> TransactionOut -> ShowS

show :: TransactionOut -> String

showList :: [TransactionOut] -> ShowS

Generic TransactionOut

Associated Types

type Rep TransactionOut :: * -> *

Methods

from :: TransactionOut -> Rep TransactionOut x

to :: Rep TransactionOut x -> TransactionOut

ToJSON TransactionOut

Methods

toJSON :: TransactionOut -> Value

toEncoding :: TransactionOut -> Encoding

toJSONList :: [TransactionOut] -> Value

toEncodingList :: [TransactionOut] -> Encoding

FromJSON TransactionOut

Methods

parseJSON :: Value -> Parser TransactionOut

parseJSONList :: Value -> Parser [TransactionOut]

ToHash TransactionOut

Methods

hash :: TransactionOut -> Hash TransactionOut

type Rep TransactionOut

type Rep TransactionOut = D1 (MetaData "TransactionOut" "Data.Blockchain.Core.Types.Transaction" "blockchain-0.0.2-GnNnMI3zKhj6LOZvdPorJX" False) (C1 (MetaCons "TransactionOut" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)) (S1 (MetaSel (Just Symbol "signaturePubKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PublicKey))))

signTransaction :: PrivateKey -> TransactionOut -> IO Signature

verifyTransactionSignature :: Signature -> TransactionOut -> Bool