Ledger.Balance

Documentation

data Balance a

A value representing either zero (all zeroes are equivalent), a commoditized value, or a vector space of values indexed by commodity.

Constructors

Zero

Plain a

An uncommoditized integer

Amount Commodity a

A single commoditized amount

Balance (IntMap a)

A vector-space over commodities

Instances

Monad Balance

Functor Balance

Typeable1 Balance

Applicative Balance

Foldable Balance

Traversable Balance

Indexable Balance

Lookup Balance

Adjustable Balance

Additive Balance

Apply Balance

Bind Balance

FunctorWithIndex Int Balance

FoldableWithIndex Int Balance

TraversableWithIndex Int Balance

(Contravariant f, Functor f) => Contains f (Balance a)

Applicative f => Ixed f (Balance a)

Applicative f => Each f (Balance a) (Balance b) a b

Eq a => Eq (Balance a)

Data a => Data (Balance a)

Ord a => Ord (Balance a)

Read a => Read (Balance a)

Show a => Show (Balance a)

Num a => Monoid (Balance a)

Num a => Semigroup (Balance a)

At (Balance a)

noCommodity :: Commodity

balanceSum :: Num a => [Balance a] -> Balance a

insert :: Int -> a -> Balance a -> Balance a

delete :: Int -> Balance a -> Balance a

balanceStore :: Indexable f => Key f -> f a -> Store (Key f) a