diff --git a/dhall/common.dhall b/dhall/common.dhall index b0131ab..1f0241c 100644 --- a/dhall/common.dhall +++ b/dhall/common.dhall @@ -2,7 +2,9 @@ let List/map = https://prelude.dhall-lang.org/v21.1.0/List/map sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680 -let T = ./Types.dhall +let T = + ./Types.dhall + sha256:9ae1752e3a609061fd4e53ff0295c0275998e92466cc6e17f7e670b343633165 let nullSplit = \(a : T.SplitAcnt) -> @@ -146,42 +148,43 @@ let mvDenP = \(x : Natural) -> mvP // { mvDen = Some x } let mvDenN = \(x : Natural) -> mvN // { mvDen = Some x } -in { nullSplit - , nullMatch - , nullVal - , nullOpts - , nullCron - , nullMod - , cron1 - , mY - , mYM - , mYMD - , mRngY - , mRngYM - , mRngYMD - , matchInf_ - , matchInf - , matchN_ - , matchN - , match1_ - , match1 - , greg - , gregM - , partN - , part1 - , part1_ - , d - , d_ - , addDay - , comma = 44 - , tab = 9 - , mvP - , mvN - , mvNum - , mvNumP - , mvNumN - , mvDen - , mvDenP - , mvDenN - , PartSplit - } +in { nullSplit + , nullMatch + , nullVal + , nullOpts + , nullCron + , nullMod + , cron1 + , mY + , mYM + , mYMD + , mRngY + , mRngYM + , mRngYMD + , matchInf_ + , matchInf + , matchN_ + , matchN + , match1_ + , match1 + , greg + , gregM + , partN + , part1 + , part1_ + , d + , d_ + , addDay + , comma = 44 + , tab = 9 + , mvP + , mvN + , mvNum + , mvNumP + , mvNumN + , mvDen + , mvDenP + , mvDenN + , PartSplit + } + /\ T