Apr25

.github/workflows/docker-image-dev-by-tag.yml

@@ -53,3 +53,5 @@ jobs:
           tags: ${{ secrets.DOCKER_HUB_USERNAME }}/hastructure:dev, ${{ steps.meta.outputs.tags }}
           cache-from: type=registry,ref=${{ secrets.DOCKER_HUB_USERNAME }}/hastructure:buildcache
           cache-to: type=registry,ref=${{ secrets.DOCKER_HUB_USERNAME }}/hastructure:buildcache,mode=max  
+
+

.github/workflows/docker-image-dev.yml

@@ -57,4 +57,5 @@ jobs:
           context: "{{defaultContext}}"
           push: true
           tags: ${{ steps.meta.outputs.tags }}
-          labels: ${{ steps.meta.outputs.labels }}
+          labels: ${{ steps.meta.outputs.labels }}
+

.github/workflows/docker-image.yml

@@ -157,4 +157,4 @@ jobs:
           tags: ${{ secrets.DOCKER_HUB_USERNAME }}/hastructure:latest,  ${{ steps.meta.outputs.tags }}
           cache-from: type=registry,ref=${{ secrets.DOCKER_HUB_USERNAME }}/hastructure:buildcache
           cache-to: type=registry,ref=${{ secrets.DOCKER_HUB_USERNAME }}/hastructure:buildcache,mode=max       
-
+

.github/workflows/haskell.yml

@@ -35,12 +35,13 @@ jobs:
 
     - name: Install dependencies
       run: |
-        stack update
-        stack build   
+        cabal update
     - name: Build
-      run: stack build
+      run: cabal build
     - name: Run tests
-      run: stack test
+      run: cabal test
 
     - name: Badge Action
       uses: emibcn/[email protected]
+
+

CHANGELOG.md

@@ -2,11 +2,17 @@
 
 <!-- towncrier release notes start -->
 
+## 0.45.2
+### 2025-04-01
+* ENHANCE: Performance optimaization by replace `List` with `DList`.
+* ENHANCE: remove `stack` as build tool
+* ENHANCE: In `inspection` ,expose `IsOustanding` `HasPassedMaturity` in `Pre` 
+
+
+
 ## 0.45.1
 ### 2025-03-25
-* BREAK: 
 * FIX: in `Pricing/IRR`, error when holding position is too small
-* NEW: 
 * ENHANCE: engine will auto patch `interest start date` for bonds if it is not modeled. In `PreClosing` status, engine will use `closing date` as bond interest begin date ; In `Non-PreClosing` status, it defaults to use last waterfall distribution date as bond interest begin date.
 
 
@@ -17,9 +23,6 @@
 * FIX: `IsPaidOff` now can be queried in inspection formula
 
 
-
-
-
 ## 0.44.0
 ### 2025-03-11
 * BREAK: Add `PAC` `PAC Anchor` to `BondGroup`, now `BondGroup` is `Map String L.Bond (Maybe PrinType)`

Dockerfile

@@ -1,11 +1,10 @@
-FROM fpco/stack-build:lts-22.6 as build
+FROM haskell:9.8.4-slim-bullseye as build
 RUN mkdir /opt/build
 COPY . /opt/build
-RUN cd /opt/build && stack build  --copy-bins  \ 
-    --local-bin-path /opt/build  --resolver lts-22.6 # --system-ghc
+RUN cd /opt/build && cabal update && cabal install
 
 
-FROM --platform=linux/amd64 ubuntu:22.04
+FROM --platform=linux/amd64 ubuntu:25.04
 RUN mkdir -p /opt/myapp
 ARG BINARY_PATH
 WORKDIR /opt/myapp
@@ -15,7 +14,7 @@ RUN apt-get update && apt-get install -y \
 # NOTICE THIS LINE
 
 
-COPY --from=build /opt/build/Hastructure-exe .
+COPY --from=build /root/.local/bin/Hastructure-exe .
 COPY --from=build /opt/build/config.yml .
 COPY --from=build /opt/build/swagger.json .
 #COPY config.yml /opt/myapp

Hastructure.cabal

@@ -1,4 +1,4 @@
-cabal-version: 1.12
+cabal-version: 3.0
 
 -- This file has been generated from package.yaml by hpack version 0.37.0.
 --
@@ -13,7 +13,7 @@ bug-reports:    https://github.com/yellowbean/Hastructure/issues
 author:         Xiaoyu
 maintainer:     [email protected]
 copyright:      2025 Xiaoyu, Zhang
-license:        BSD3
+license:        BSD-3-Clause
 license-file:   LICENSE
 build-type:     Simple
 extra-source-files:
@@ -24,6 +24,8 @@ source-repository head
   type: git
   location: https://github.com/yellowbean/Hastructure
 
+with-compiler: ghc-9.8.2
+
 library
   exposed-modules:
       Accounts
@@ -67,7 +69,6 @@ library
       Util
       Validation
       Waterfall
-      WebUI
   other-modules:
       Paths_Hastructure
   hs-source-dirs:
@@ -84,7 +85,6 @@ library
     , hashable
     , ieee754
     , lens
-    , lucid
     , math-functions
     , monad-loops
     , mtl
@@ -104,9 +104,12 @@ library
     , template-haskell
     , text
     , time
-    , vector
     , wai
     , yaml
+    , vector
+    , MissingH
+    , dlist
+--    , proto3-wire
   default-language: Haskell2010
 
 executable Hastructure-exe
@@ -135,7 +138,6 @@ executable Hastructure-exe
     , http-types
     , ieee754
     , lens
-    , lucid
     , math-functions
     , monad-loops
     , mtl
@@ -158,11 +160,12 @@ executable Hastructure-exe
     , text
     , time
     , unordered-containers
-    , vector
     , wai
     , wai-cors
     , warp
     , yaml
+    , dlist
+--    , proto3-suite
   default-language: Haskell2010
 
 test-suite Hastructure-test
@@ -205,7 +208,6 @@ test-suite Hastructure-test
     , hashable
     , ieee754
     , lens
-    , lucid
     , math-functions
     , monad-loops
     , mtl
@@ -229,7 +231,9 @@ test-suite Hastructure-test
     , template-haskell
     , text
     , time
-    , vector
     , wai
     , yaml
+    , vector
+    , MissingH
+    , dlist
   default-language: Haskell2010

LICENSE

@@ -1,4 +1,4 @@
-Copyright Xiaoyu Zhang (always.zhang A_T gmail ) (c) 2022-2024
+Copyright Xiaoyu Zhang (always.zhang A_T gmail ) (c) 2022-2025
 
 All rights reserved.
 

app/Main.hs

@@ -44,7 +44,6 @@ import GHC.Generics
 import GHC.Real
 import qualified Data.ByteString.Lazy.Char8 as BL8
 import qualified Data.ByteString.Char8 as BS
-import Lucid hiding (type_)
 import Network.Wai
 import Network.Wai.Handler.Warp
 import Network.Wai.Middleware.Cors
@@ -101,7 +100,7 @@ debug = flip Debug.Trace.trace
 
 
 version1 :: Version 
-version1 = Version "0.44.2"
+version1 = Version "0.45.3"
 
 
 wrapRun :: DealType -> Maybe AP.ApplyAssumptionType -> AP.NonPerfAssumption -> RunResp
@@ -301,22 +300,18 @@ testByDefault dt assumps [email protected]{AP.revolving = mRevo
 
 -- add spread to bonds till PV of bond (discounted by pricing assumption) equals to face value
 -- with constraint that all liabilities are paid off
-testBySpread :: DealRunInput -> (BondName,[BondName]) -> Double -> Double
-testBySpread (dt,mPAssump,runAssump) (bn,bnds) f 
+testBySpread :: DealRunInput -> BondName -> Double -> Double
+testBySpread (dt,mPAssump,runAssump) bn f 
   = let
-      runResult = wrapRun (modifyDealType (DM.AddSpreadToBonds bnds) f dt) mPAssump runAssump
+      runResult = wrapRun (modifyDealType (DM.AddSpreadToBonds [bn]) f dt) mPAssump runAssump
     in 
       case runResult of 
         Right (d, mPoolCfMap, mResult, pResult) -> 
           let 
             v = getPriceValue $ pResult Map.! bn
-            bond = dtToBonds d Map.! bn
+            bondBal = L.getOriginBalance $ dtToBonds d Map.! bn
           in
-            -- if L.getCurBalance bond > 0 then
-            if True then
-              1.0
-            else
-              (fromRational . toRational) (v - L.getOriginBalance bond)
+            (fromRational . toRational) $ bondBal - v -- `debug` ("rate"++ show f ++ "bondBal:"++ show bondBal++"v:"++ show v)
         Left errorMsg -> error $ "Error in test fun for spread testing" ++ show errorMsg
 
 runRootFinderBy :: RootFindReq -> Handler (Either String RootFindResp)
@@ -335,15 +330,15 @@ runRootFinderBy (FirstLossReq (dt,Just assumps,[email protected]
           NotBracketed -> Left "Not able to bracket the root"
           SearchFailed -> Left "Not able to find the root"
 
-runRootFinderBy (MaxSpreadToFaceReq (dt,pAssump,dAssump) (bn,bnds)) 
+runRootFinderBy (MaxSpreadToFaceReq (dt,pAssump,dAssump) bn) 
   = return $
       let 
         itertimes = 500
         def = RiddersParam { riddersMaxIter = itertimes, riddersTol = RelTol 0.0001}
       in 
-        case ridders def (0.00,200.0) (testBySpread (dt,pAssump,dAssump) (bn,bnds)) of
+        case ridders def (0.00,200.0) (testBySpread (dt,pAssump,dAssump) bn) of
           Root r -> let 
-                      dt' = modifyDealType (DM.AddSpreadToBonds bnds) r dt  
+                      dt' = modifyDealType (DM.AddSpreadToBonds [bn]) r dt  
                     in 
                       Right $ BestSpreadResult r (dtToBonds dt') dt' 
           NotBracketed -> Left "Not able to bracket the root"

app/MainBase.hs

@@ -35,6 +35,7 @@ import Data.Aeson.Encode.Pretty (encodePretty)
 import Data.Attoparsec.ByteString
 import Data.ByteString (ByteString)
 import Data.List
+import qualified Data.DList as DL
 import Data.Map
 import Data.Proxy
 import qualified Data.Text as T
@@ -48,7 +49,6 @@ import GHC.Generics
 import GHC.Real
 import qualified Data.ByteString.Lazy.Char8 as BL8
 import qualified Data.ByteString.Char8 as BS
-import Lucid hiding (type_)
 import Network.Wai
 import Network.Wai.Handler.Warp
 import Network.Wai.Middleware.Cors
@@ -166,7 +166,7 @@ type TargetBonds = [BondName]
 --- 1. make sure all bonds are paid off
 --- 2. make sure WAC cap is met
 data RootFindReq = FirstLossReq DealRunInput BondName
-                 | MaxSpreadToFaceReq DealRunInput (BondName,TargetBonds)
+                 | MaxSpreadToFaceReq DealRunInput BondName
                  deriving(Show, Generic)
 
 instance ToSchema RootFindReq
@@ -247,8 +247,18 @@ instance ToSchema TRG.TriggerEffect
 instance ToSchema Types.BalanceSheetReport
 instance ToSchema Types.CashflowReport
 instance ToSchema Types.BookItem
-instance ToSchema Stmt.Statement
+-- instance ToSchema a => ToSchema (DL.DList a)
 instance ToSchema Types.Txn
+
+-- instance ToSchema (DL.DList Types.Txn) where
+--   declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy [Types.Txn])
+
+-- instance ToSchema (Generic (DL.DList Types.Txn)) 
+-- instance ToSchema (DL.DList Types.Txn)
+instance ToSchema a => ToSchema (DL.DList a) where
+  declareNamedSchema _ = declareNamedSchema (Proxy :: Proxy [a])
+
+instance ToSchema Stmt.Statement
 instance ToSchema AB.AssociateExp
 instance ToSchema AB.AssociateIncome
 instance ToSchema RV.RevolvingPool