ENH export types in common

This commit is contained in:
Nathan Dwarshuis 2022-12-15 22:48:14 -05:00
parent 5e46efff9e
commit d0f66674e4
1 changed files with 43 additions and 40 deletions

View File

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