Îõ³h$ Æ M>      !"#$%&'()*+,-./0123456789:;<=positive numbers(c) Grant Weyburne, 2022BSD-3None-/<>?ÀÉÎÖ×Ùèìö §/pos)conversion from list of Nats to Positivesposconstraint for positive numbersposholds a positive numberposreadonly pattern synonym for  posparser for an > pos parser for a  pos parser for a & but just reading in a positive number pos-parser for a list of positive numbers as ints posunwrap posmultiply two positive numbersposadd two positive numberspossubtract two positive numberspostry to convert an > to a postry to convert an > to a pos? for pos? for  returning @ for the remainderpossafely divide Ô values but the result is increased by one to guarantee the result is still positiveposproduct of list of  values is always positiveposproduct of list of  values is always positivepos max of a  and an >posnext value for = (not redundant as it is always successful and never partial)posprevious value for posconstruct a valid  using a Apos3converts a container of positives to a list of intspos7converts a list of ints to a nonempty list of positivesposenumerate a nonempty list of  from "i" to "j"poscommonly used values for  poscommonly used values for !poscommonly used values for "poscommonly used values for #poscommonly used values for $poscommonly used values for %poscommonly used values for &poscommonly used values for 'poscommonly used values for (poscommonly used values for )poscommonly used values for *poscommonly used values for +poscommonly used values for ,poscommonly used values for -poscommonly used values for .poscommonly used values for /poscommonly used values for 0poscommonly used values for 1poscommonly used values for 2poscommonly used values for 4posB instance for 3  !"#$%&'()*+,-./0123  !"#$%&'()*+,-./012 76 Safe-Inferred @CDEFGHIJË       !"#$%&'()*+,-./0123456789:;<=>?@ABCDECFG@AHCIJKLMNOPQRÓ"pos-0.3.0.0-A0f8DhErqNx2Uewo28WEMDData.Pos Paths_posNSfromNSP fromNSTotalP nsLengthPPosCfromNPfromNPospIntpPospPosInt pPositivesunP*!+!minusP unsafePos eitherPos divModNextPdivModPsafeDivPproductP productPIntmaxPsuccPpredP_P fromPositives toPositivesposRange_1P_2P_3P_4P_5P_6P_7P_8P_9P_10P_11P_12P_13P_14P_15P_16P_17P_18P_19P_20P $fBoundedPos $fEnumPos $fReadPos $fShowPos$fPosCn$fNS:$fNS:0$fNS[]$fEqPos$fOrdPos $fNFDataPosghc-prim GHC.TypesIntbaseGHC.RealdivMod GHC.NaturalNaturalNatGHC.EnumEnumversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName