Core types and Servant API definitions.
All data types have a ToSample
instance
for servant-docs
which can be used to get a sample response in cabal repl
:
λ: import Data.Proxy
λ: import Servant.Docs
λ: Just block = toSample (Proxy :: Proxy Block)
λ: _blockHash block
BlockHash "4ea1ba291e8eef538635a53e59fddba7810d1679631cc3aed7c8e6c4091a516a"
Instead of using long record names, it is recommended to use provided lenses and a lens or similar package.
λ: import Control.Lens (^.)
λ: import Blockfrost.Lens
λ: block ^. epoch
Just (Epoch 425)
Ada values and values of assets are represented using Discrete
type
from safe-money library.
We use a type alias type Lovelaces = Money.Discrete "ADA" "lovelace"
for Ada values and SomeDiscrete
for asset values. This should allow working
with monetary values safely, preventing summing different currencies.
See the blog post by the library author.
λ: block ^. fees
Just (Discrete "ADA" 1000000%1 592661)