Îõ³h$ / ¬     None'(/<ÇÉÊÎÔÖ×Ùèì „sint(One more than the maximum representable  on the current platform.sint#A singleton type linking a runtime  and a type-level .sint3A unidirectional pattern for safely deconstructing s.This lets us export ü as if it were a field selector, without making it legal to use in record updates (because this pattern is unidirectional).sint Construct an 4 unsafely. Incorrect uses cause undefined behavior.ÐSee the module intro for more details; prefer to use safe methods to construct /s, and treat this constructor equivalently to .sintUse an  as an existentially-quantified .sint Produce an  for a given , or  if out of range.sint Produce an  for a given , or  if out of range.sintLike ,, but with static proof that it's in-bounds.äThis optimizes down to an actual primitive literal wrapped in the appropriate constructors, unlike Ù, where the bounds checking gets in the way. If you're constructing a statically-known , use "; while if you're constructing an  from a runtime  instance, you'll have to use . sintAdd two s with bounds checks;  if the result overflows. sint Multiply two s with bounds checks;  if the result overflows. sint Subtract two s with bounds checks;  if the result is negative. sint Subtract two 7s, using an inequality constraint to rule out overflow. sint "Un-add" an  from another , on the left. This form of  Ñ is more convenient in certain cases when a type signature ensures a particular  is of the form m + n.sint"Un-multiply" an  by another , on the left. This form of divSIntÑ is more convenient in certain cases when a type signature ensures a particular  is of the form m * n.sint"Un-multiply" an  by another , on the right. This form of divSIntÑ is more convenient in certain cases when a type signature ensures a particular  is of the form m * n.sint Bring an  back into the type level as a  instance.        !"#!sint-0.2.0-Gu3REEwbhEqJhJxKWlbsaX Data.SIntIntMaxP1SIntSIunSIntSI#withSInt trySIntValsintVal staticSIntValaddSIntmulSIntsubSInt subSIntLEsubSIntLdivSIntLdivSIntR reifySInt $fShowSInt $fPortraySInt $fDiffSIntghc-prim GHC.TypesIntNatbase Unsafe.Coerce unsafeCoerce GHC.TypeNatsKnownNat GHC.MaybeNothingGHC.Errerror