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

FIX update types

This commit is contained in:
Nathan Dwarshuis 2023-06-10 21:38:13 -04:00
parent 776a10ba11
commit dcd260f6fd
1 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
dhall/common.dhall
View File

@ -4,10 +4,10 @@ let List/map =
let T = ./Types.dhall let T = ./Types.dhall
let nullSplit = let nullEntry =
\(a : T.EntryAcntGetter) -> \(a : T.EntryAcntGetter) ->
\(c : T.EntryCurGetter) -> \(c : T.EntryCurGetter) ->
T.EntryGetter::{ eAcnt = a, eCurrency = c, eTags = [] : List T.TagID } T.ToEntryGetter::{ eAcnt = a, eCurrency = c, eTags = [] : List T.TagID }
let nullOpts = T.TxOpts::{=} let nullOpts = T.TxOpts::{=}
@ -86,33 +86,33 @@ let mRngYMD =
\(r : Natural) -> \(r : Natural) ->
T.DateMatcher.In { _1 = T.YMDMatcher.YMD (greg y m d), _2 = r } T.DateMatcher.In { _1 = T.YMDMatcher.YMD (greg y m d), _2 = r }
let PartSplit = { _1 : T.AcntID, _2 : Double, _3 : Text } let PartEntry = { _1 : T.AcntID, _2 : Double, _3 : Text }
let partN = let partN =
\(c : T.EntryCurGetter) -> \(c : T.EntryCurGetter) ->
\(a : T.EntryAcntGetter) -> \(a : T.EntryAcntGetter) ->
\(comment : Text) -> \(comment : Text) ->
\(ss : List PartSplit) -> \(ss : List PartEntry) ->
let toSplit = let toEntry =
\(x : PartSplit) -> \(x : PartEntry) ->
nullSplit (T.EntryAcntGetter.ConstT x._1) c nullEntry (T.EntryAcntGetter.ConstT x._1) c
// { eValue = Some (T.EntryNumGetter.ConstN x._2) // { eValue = Some (T.EntryNumGetter.ConstN x._2)
, eComment = x._3 , eComment = x._3
} }
in [ nullSplit a c // { eComment = comment } ] in [ nullEntry a c // { eComment = comment } ]
# List/map PartSplit T.EntryGetter.Type toSplit ss # List/map PartEntry T.ToEntryGetter.Type toEntry ss
let part1 = let part1 =
\(c : T.EntryCurGetter) -> \(c : T.EntryCurGetter) ->
\(a : T.EntryAcntGetter) -> \(a : T.EntryAcntGetter) ->
\(comment : Text) -> \(comment : Text) ->
partN c a comment ([] : List PartSplit) partN c a comment ([] : List PartEntry)
let part1_ = let part1_ =
\(c : T.EntryCurGetter) -> \(c : T.EntryCurGetter) ->
\(a : T.EntryAcntGetter) -> \(a : T.EntryAcntGetter) ->
partN c a "" ([] : List PartSplit) partN c a "" ([] : List PartEntry)
let addDay = let addDay =
\(x : T.GregorianM) -> \(x : T.GregorianM) ->
@ -135,7 +135,7 @@ let mvDenP = \(x : Natural) -> mvP // { vmDen = Some x }
let mvDenN = \(x : Natural) -> mvN // { vmDen = Some x } let mvDenN = \(x : Natural) -> mvN // { vmDen = Some x }
in { nullSplit in { nullEntry
, nullMatch , nullMatch
, nullVal , nullVal
, nullOpts , nullOpts
@ -170,6 +170,6 @@ in { nullSplit
, mvDen , mvDen
, mvDenP , mvDenP
, mvDenN , mvDenN
, PartSplit , PartEntry
} }
/\ T /\ T