diff --git a/dhall/Types.dhall b/dhall/Types.dhall index 423eb20..3bf6b48 100644 --- a/dhall/Types.dhall +++ b/dhall/Types.dhall @@ -216,17 +216,24 @@ let Allocation = Allocation_ Amount let IntervalAllocation = Allocation_ (TimeAmount Interval) let Income = - { incGross : Decimal - , incCurrency : CurID - , incWhen : DatePat - , incPretax : List Allocation - , incTaxes : List Allocation - , incPosttax : List Allocation - , incFrom : - {- this must be an income AcntID, and is the only place income - accounts may be specified in the entire budget -} - TaggedAcnt - , incToBal : TaggedAcnt + { Type = + { incGross : Decimal + , incCurrency : CurID + , incWhen : DatePat + , incPretax : List Allocation + , incTaxes : List Allocation + , incPosttax : List Allocation + , incFrom : + {- this must be an income AcntID, and is the only place income + accounts may be specified in the entire budget -} + TaggedAcnt + , incToBal : TaggedAcnt + } + , default = + { incPretax = [] : List Allocation + , incTaxes = [] : List Allocation + , incPosttaxx = [] : List Allocation + } } let Transfer = @@ -267,7 +274,7 @@ let ShadowTransfer = let Budget = { budgetLabel : Text - , incomes : List Income + , incomes : List Income.Type , pretax : List IntervalAllocation , tax : List IntervalAllocation , posttax : List IntervalAllocation