Cardano.Ledger.Torsor
class Torsor a where Source #
Associated Types
type Delta a :: Type Source #
Methods
addDelta :: a -> Delta a -> a Source #
toDelta :: a -> Delta a Source #
Defined in Shelley.Spec.Ledger.Coin
type Delta Coin Source #
addDelta :: Coin -> Delta Coin -> Coin Source #
toDelta :: Coin -> Delta Coin Source #