From acbf193bdce5b356ac8c14809946ccd908e6ffad Mon Sep 17 00:00:00 2001
From: ndwarshuis <ndwar@yavin4.ch>
Date: Sun, 29 Jan 2023 18:04:24 -0500
Subject: [PATCH] ADD exports for allocation types

---
 dhall/Types.dhall | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/dhall/Types.dhall b/dhall/Types.dhall
index cd4bd15..1ad2dfc 100644
--- a/dhall/Types.dhall
+++ b/dhall/Types.dhall
@@ -190,14 +190,18 @@ let Allocation =
         , alloCurrency : CurID
         }
 
+let PreAllocation = Allocation Decimal
+
+let PostAllocation = Allocation (Optional Decimal)
+
 let Income =
       { incGross : Decimal
       , incCurrency : CurID
       , incWhen : DatePat
       , incAccount : AcntID
-      , incPretax : List (Allocation Decimal)
+      , incPretax : List PreAllocation
       , incTaxes : List Tax
-      , incPosttax : List (Allocation (Optional Decimal))
+      , incPosttax : List PostAllocation
       }
 
 let Expense =
@@ -250,4 +254,7 @@ in  { CurID
     , Bucket
     , Budget
     , Tax
+    , Allocation
+    , PreAllocation
+    , PostAllocation
     }