ndwarshuis
/
pwncash
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ENH split partn

This commit is contained in:
Nathan Dwarshuis 2023-06-19 13:21:20 -04:00
parent 33678e3908
commit 4c88151610
1 changed files with 21 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
dhall/common.dhall
View File

@ -90,17 +90,31 @@ let mRngYMD =
let PartEntry = { _1 : T.AcntID, _2 : Double, _3 : Text } let PartEntry = { _1 : T.AcntID, _2 : Double, _3 : Text }
let partN = let partNFrom =
\(ss : List PartEntry) -> \(ss : List PartEntry) ->
let toEntry = let toEntry =
\(x : PartEntry) -> \(x : PartEntry) ->
nullEntry T.FromEntryGetter::{
(T.EntryAcntGetter.ConstT x._1) , eAcnt = T.EntryAcntGetter.ConstT x._1
(T.EntryNumGetter.ConstN x._2) , eValue = T.EntryNumGetter.ConstN x._2
// { eComment = x._3 } , eComment = x._3
}
in List/map PartEntry T.FromEntryGetter.Type toEntry ss in List/map PartEntry T.FromEntryGetter.Type toEntry ss
let partNTo =
\(ss : List PartEntry) ->
let toEntry =
\(x : PartEntry) ->
T.ToEntryGetter::{
, eAcnt = T.EntryAcntGetter.ConstT x._1
, eValue =
T.LinkedEntryNumGetter.Getter (T.EntryNumGetter.ConstN x._2)
, eComment = x._3
}
in List/map PartEntry T.ToEntryGetter.Type toEntry ss
let addDay = let addDay =
\(x : T.GregorianM) -> \(x : T.GregorianM) ->
\(d : Natural) -> \(d : Natural) ->
@ -143,7 +157,8 @@ in { nullEntry
, match1 , match1
, greg , greg
, gregM , gregM
, partN , partNFrom
, partNTo
, addDay , addDay
, comma = 44 , comma = 44
, tab = 9 , tab = 9