Îõ³h$  ª<      !"#$%&'()*+,-./0123456789:;positive numbers(c) Grant Weyburne, 2022BSD-3None-/<>?ÀÉÎÖ×Ùèìö 1pos2conversion from nonempty list of Nats to Positivespos#constraint that limits to positive <posholds a positive numberposreadonly pattern synonym for posparser for an =pos parser for a  pos+parser for an int converted positive number pos-parser for a list of positive numbers as ints posunwrap  posmultiply two positive numbers posadd 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 pos!converts a restricted (positive) < to an =pos converts a < to a posconstruct a valid  using a <pos3converts 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 4pos@ instance for 3  !"#$%&'()*+,-./0123  !"#$%&'()*+,-./012    7 6 Safe-Inferred ABCDEFGHÉ      !"#$%&'()*+,-./0123456789:;<=>?@>?ABCDBEFBGHIJKLMNOPÑ!pos-0.1.0.0-G5PmLxDyM8rBA3ANVZcZVData.Pos Paths_posNSCfromNSP fromNSTotalP nsLengthPPosTPospIntpPospPosInt pPositivesunP*!+!minusP unsafePos eitherPos divModNextPdivModPsafeDivPproductP productPIntmaxPsuccPpredPfromNfromNP_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$fNSC:|$fNSC:|0$fEqPos$fOrdPos $fNFDataPosghc-prim GHC.TypesNatIntbaseGHC.RealdivMod GHC.NaturalNaturalGHC.EnumEnumversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName