!"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  1non-portable (type families, requires ghc >= 6.9) experimentalpgavin@gmail.com Safe-Inferred -The terminator type for decimal digit lists. 1The wrapper type for decimal type level numbers. 4Representation name for decimal type level numbers.      1non-portable (type families, requires ghc >= 6.9) experimentalpgavin@gmail.com Safe-Inferred   Safe-Inferred  !" !""!   !"1non-portable (type families, requires ghc >= 6.9) experimentalpgavin@gmail.com Safe-Inferred'#$%&'()*+,-./0123456789:;<=>?@ABC!#$%&'()*+,-./0123456789:;<=>?@ABC!78654392:1;0</.=-,>+*?)(@'&A%$B#C'#$%&'()*+,-./0123456789:;<=>?@ABC1non-portable (type families, requires ghc >= 6.9) experimentalpgavin@gmail.com Safe-Inferred_Neg x4 evaluates to the additive inverse of (i.e., minus) x. ADEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvw4DEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvw4`_a^b]c\d[eZfYgXhWiVjUkTlSmMsLtRnQoPpOqNrDEFHGKJIuvw>DEFHGIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvw Safe-Inferredxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~xyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!      ~}|{zyxwvutsrqponmlkjihgfedcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!      ~}|{zyx      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~xyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~1non-portable (type families, requires ghc >= 6.9) experimentalpgavin@gmail.com Safe-Inferred 1non-portable (type families, requires ghc >= 6.9) experimentalpgavin@gmail.com Safe-InferredIf subtracting y from x would not borrow, then   Borrow x y z evaluates to z. Otherwise,   Borrow x y z evaluates to Pred' z  If adding x and y would not carry, then  AddCarry x y z evaluates to z. Otherwise,  AddCarry x y z evaluates to Succ' z 98  Safe-Inferred  xyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~1non-portable (type families, requires ghc >= 6.9) experimentalpgavin@gmail.com Safe-InferredX DEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  Safe-Inferred  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  Safe-Inferred  Safe-Inferred           !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                                                         tfp-0.8Types.Data.Num.Decimal.DigitsTypes.Data.BoolTypes.Data.ListTypes.Data.OrdTypes.Data.Num.OpsTypes.Data.Num.Decimal.Literals Types.BaseTypes.Data.NumData.SizedWord Data.SizedIntTypes.Data.Num.Decimal.OpsTypes.Data.Num.DecimalTypesDec9Dec8Dec7Dec6Dec5Dec4Dec3Dec2Dec1Dec0DecNNeg'DecDecimaldecimalIfTIfifT:||::&&:NotFalseTruetrueTfalseTnotTandTorTAppendReverseTailHeadIsNullNullConsMaxMinGTT:>:GET:>=:NET:/=:EQT:==:LET:<=:LTT:<:IsGTIsEQIsLTGTEQLTComparecompareTisLTTisEQTisGTTltTleTeqTneTgeTgtTminTmaxTIntegerR reifyIntegralIntegerTRepr fromIntegerT NegativeT PositiveTNaturalTLog2CeilPow2FacDiv2ModDivDivModMul2:*::-::+:IsOddIsEvenPredSucc IsNatural IsNegativeIsZero IsPositiveNeg:.negT isPositiveTisZeroT isNegativeT isNaturalTsuccTpredTisEvenTisOddTaddTsubTmulTmul2TdivModTdivTmodTdiv2TfacTpow2T log2CeilT reifyPositive reifyNegative reifyNaturalDN256DN255DN254DN253DN252DN251DN250DN249DN248DN247DN246DN245DN244DN243DN242DN241DN240DN239DN238DN237DN236DN235DN234DN233DN232DN231DN230DN229DN228DN227DN226DN225DN224DN223DN222DN221DN220DN219DN218DN217DN216DN215DN214DN213DN212DN211DN210DN209DN208DN207DN206DN205DN204DN203DN202DN201DN200DN199DN198DN197DN196DN195DN194DN193DN192DN191DN190DN189DN188DN187DN186DN185DN184DN183DN182DN181DN180DN179DN178DN177DN176DN175DN174DN173DN172DN171DN170DN169DN168DN167DN166DN165DN164DN163DN162DN161DN160DN159DN158DN157DN156DN155DN154DN153DN152DN151DN150DN149DN148DN147DN146DN145DN144DN143DN142DN141DN140DN139DN138DN137DN136DN135DN134DN133DN132DN131DN130DN129DN128DN127DN126DN125DN124DN123DN122DN121DN120DN119DN118DN117DN116DN115DN114DN113DN112DN111DN110DN109DN108DN107DN106DN105DN104DN103DN102DN101DN100DN99DN98DN97DN96DN95DN94DN93DN92DN91DN90DN89DN88DN87DN86DN85DN84DN83DN82DN81DN80DN79DN78DN77DN76DN75DN74DN73DN72DN71DN70DN69DN68DN67DN66DN65DN64DN63DN62DN61DN60DN59DN58DN57DN56DN55DN54DN53DN52DN51DN50DN49DN48DN47DN46DN45DN44DN43DN42DN41DN40DN39DN38DN37DN36DN35DN34DN33DN32DN31DN30DN29DN28DN27DN26DN25DN24DN23DN22DN21DN20DN19DN18DN17DN16DN15DN14DN13DN12DN11DN10DN9DN8DN7DN6DN5DN4DN3DN2DN1D256D255D254D253D252D251D250D249D248D247D246D245D244D243D242D241D240D239D238D237D236D235D234D233D232D231D230D229D228D227D226D225D224D223D222D221D220D219D218D217D216D215D214D213D212D211D210D209D208D207D206D205D204D203D202D201D200D199D198D197D196D195D194D193D192D191D190D189D188D187D186D185D184D183D182D181D180D179D178D177D176D175D174D173D172D171D170D169D168D167D166D165D164D163D162D161D160D159D158D157D156D155D154D153D152D151D150D149D148D147D146D145D144D143D142D141D140D139D138D137D136D135D134D133D132D131D130D129D128D127D126D125D124D123D122D121D120D119D118D117D116D115D114D113D112D111D110D109D108D107D106D105D104D103D102D101D100D99D98D97D96D95D94D93D92D91D90D89D88D87D86D85D84D83D82D81D80D79D78D77D76D75D74D73D72D71D70D69D68D67D66D65D64D63D62D61D60D59D58D57D56D55D54D53D52D51D50D49D48D47D46D45D44D43D42D41D40D39D38D37D36D35D34D33D32D31D30D29D28D27D26D25D24D23D22D21D20D19D18D17D16D15D14D13D12D11D10D9D8D7D6D5D4D3D2D1D0DecNeg7DecNeg6DecNeg5DecNeg4DecNeg3DecNeg2DecNeg1DecNegDecPos7DecPos6DecPos5DecPos4DecPos3DecPos2DecPos1d0d1d2d3d4d5d6d7d8d9d10d11d12d13d14d15d16d17d18d19d20d21d22d23d24d25d26d27d28d29d30d31d32d33d34d35d36d37d38d39d40d41d42d43d44d45d46d47d48d49d50d51d52d53d54d55d56d57d58d59d60d61d62d63d64d65d66d67d68d69d70d71d72d73d74d75d76d77d78d79d80d81d82d83d84d85d86d87d88d89d90d91d92d93d94d95d96d97d98d99d100d101d102d103d104d105d106d107d108d109d110d111d112d113d114d115d116d117d118d119d120d121d122d123d124d125d126d127d128d129d130d131d132d133d134d135d136d137d138d139d140d141d142d143d144d145d146d147d148d149d150d151d152d153d154d155d156d157d158d159d160d161d162d163d164d165d166d167d168d169d170d171d172d173d174d175d176d177d178d179d180d181d182d183d184d185d186d187d188d189d190d191d192d193d194d195d196d197d198d199d200d201d202d203d204d205d206d207d208d209d210d211d212d213d214d215d216d217d218d219d220d221d222d223d224d225d226d227d228d229d230d231d232d233d234d235d236d237d238d239d240d241d242d243d244d245d246d247d248d249d250d251d252d253d254d255d256dn1dn2dn3dn4dn5dn6dn7dn8dn9dn10dn11dn12dn13dn14dn15dn16dn17dn18dn19dn20dn21dn22dn23dn24dn25dn26dn27dn28dn29dn30dn31dn32dn33dn34dn35dn36dn37dn38dn39dn40dn41dn42dn43dn44dn45dn46dn47dn48dn49dn50dn51dn52dn53dn54dn55dn56dn57dn58dn59dn60dn61dn62dn63dn64dn65dn66dn67dn68dn69dn70dn71dn72dn73dn74dn75dn76dn77dn78dn79dn80dn81dn82dn83dn84dn85dn86dn87dn88dn89dn90dn91dn92dn93dn94dn95dn96dn97dn98dn99dn100dn101dn102dn103dn104dn105dn106dn107dn108dn109dn110dn111dn112dn113dn114dn115dn116dn117dn118dn119dn120dn121dn122dn123dn124dn125dn126dn127dn128dn129dn130dn131dn132dn133dn134dn135dn136dn137dn138dn139dn140dn141dn142dn143dn144dn145dn146dn147dn148dn149dn150dn151dn152dn153dn154dn155dn156dn157dn158dn159dn160dn161dn162dn163dn164dn165dn166dn167dn168dn169dn170dn171dn172dn173dn174dn175dn176dn177dn178dn179dn180dn181dn182dn183dn184dn185dn186dn187dn188dn189dn190dn191dn192dn193dn194dn195dn196dn197dn198dn199dn200dn201dn202dn203dn204dn205dn206dn207dn208dn209dn210dn211dn212dn213dn214dn215dn216dn217dn218dn219dn220dn221dn222dn223dn224dn225dn226dn227dn228dn229dn230dn231dn232dn233dn234dn235dn236dn237dn238dn239dn240dn241dn242dn243dn244dn245dn246dn247dn248dn249dn250dn251dn252dn253dn254dn255dn256Id_TreifyIntegralDreifyPositiveDreifyNegativeD reifyNaturalD SizedWordSizedInt $fShowDec9 $fShowDec8 $fShowDec7 $fShowDec6 $fShowDec5 $fShowDec4 $fShowDec3 $fShowDec2 $fShowDec1 $fShowDec0 $fShowDecN $fIfTFalseyz $fIfTTrueyz $fShowFalse $fShowTrueReverse'showCons $fShowNull $fShowCons$fGTTxy$fGETxy$fNETxy$fEQTxy$fLETxy$fLTTxy AssertNat AssertNeg AssertPos assertPos assertNeg assertNat$fIntegerTAssertNat$fIntegerTAssertNeg$fIntegerTAssertPos $fNegativeTx $fPositiveTx $fNaturalTx$fShow:.BorrowAddCarry CompareNeg ComparePos' ComparePosCompare' CompareDigitLog2C'Pow2'Div2Pos'Div2PosDiv2' Div2DigitIsEven'Fac'Mul'MulMul2'SubPosSub''Sub'SubSubDigitAddAddDigitPred''Pred'Succ' IsNatural' IsNegative'IsZero' IsPositive' NormalizeNeg' NormalizeNegReverseDigits' ReverseDigits NormalizePos' NormalizePos Normalize' Normalize IntegerT' fromIntegerT'reifyIntegral' $fIntegerT':.$fIntegerT':.0$fIntegerT':.1$fIntegerT':.2$fIntegerT':.3$fIntegerT':.4$fIntegerT':.5$fIntegerT':.6$fIntegerT':.7$fIntegerT':.8$fIntegerT'Neg'$fIntegerT'DecN $fIntegerTDec$fIntegerRDecimalsizeTmaskshowSizedWordType$fBitsSizedWord$fIntegralSizedWord$fRealSizedWord$fNumSizedWord$fEnumSizedWord$fBoundedSizedWord$fOrdSizedWord$fReadSizedWord$fShowSizedWord $fEqSizedWord_sizeTsignBit isNegativeshowSizedIntType$fBitsSizedInt$fIntegralSizedInt$fRealSizedInt $fNumSizedInt$fEnumSizedInt$fBoundedSizedInt $fOrdSizedInt$fReadSizedInt$fShowSizedInt $fEqSizedInt