Îõ³h* ¡ <6      !"#$%&'()*+,-./0123450.1.0.7;Provides singleton-based default values and optional types.(c) 2024, Eitan ChatavMITeitan.chatav@gmail.com experimentalnon-portable (GHC extensions) Safe-Inferred)*/016ÂÃÄÍØÚÛÝäð Ú singletons-default!Singleton representation for the  kind. singletons-default)Construct the greatest common divisor of 6 types.singletons-default*Construct a rational type in reduced form.singletons-default3Perform reduction on a rational type, idempotently.Reduce (Reduce q) ~ Reduce qsingletons-default Datakind  , promoting 7,:kind! Demote Q Demote Q :: *= Ratio Integerwith : for constructing (unreduced) and matching rational types,demote @(Pos 7 :% 11)7 % 11demote @(Neg 4 :% 6)(-2) % 3:kind Pos 10 :% 10Pos 10 :% 10 :: Qand  and ) for constructing reduced rational types.:kind! Pos 14 % 49Pos 14 % 49 :: Q = Pos 2 :% 7type Percent n = Pos n :% 100:kind! Percent 10Percent 10 :: Q= Pos 10 :% 100:kind! Reduce (Percent 10)Reduce (Percent 10) :: Q = Pos 1 :% 10 singletons-default!Singleton representation for the   kind. singletons-default ate a 6 type . singletons-default Datakind   , promoting 8,:kind! Demote Z Demote Z :: * = Integerwith 1 for constructing nonnegative integer types, and  , for constructing nonpositive integer types.demote @(Pos 90210)90210demote @(Neg 5)-5demote @(Neg 0)0demote @(Pos 0)0Non .ative integer types are matched cardinally by , :kind! Pos 9 Pos 9 :: Z= Pos 9 :kind! Neg 0 Neg 0 :: Z= Pos 0and  -ative integer types are matched ordinally by . :kind! Neg 6 Neg 6 :: Z= NegOneMinus 5 :kind! Neg 1 Neg 1 :: Z= NegOneMinus 0singletons-defaultConstraint required to  @def. singletons-defaultional type with either a ault promoted value def, or  specific d value.singletons-defaultConstructs an  from a 9. : maps to , and ; maps to ..definite (optionally @'[ '[1,2],'[3]] Nothing) [[1,2],[3]])definite (optionally @"foo" (Just "bar"))"bar"singletons-defaultDeconstructs an  to a  d value.  maps to  @def, and  maps to its argument.singletons-defaultDeconstructs an  to an <  d value.  maps to =, and  maps to > , inverting .       Safe-Inferred /?@ABCDEFÇ      !"#$%&'()*+,-./0123456789:;<=>?@;AB>CD>CE>CF>GH>GI>GJKLMNOPQRÓ1singletons-default-0.1.0.7-H8sibp98QKbFUJwwOhyOLvData.Default.Singletonssingletons-defaultPaths_singletons_default'singletons-3.0.3-EtlXNNJENlBKw0ofmwG2hfData.SingletonsDemotedemote SRationalGCD%ReduceQ:%SIntegerSPos SNegOneMinusNegZPos NegOneMinusSingDefOptDefSome optionallydefiniteperhaps $fIsListOpt $fIsStringOpt$fFractionalOpt$fNumOpt $fDefaultOpt $fMonoidOpt$fSemigroupOpt$fNumZ$fEnumZ $fIntegralZ$fRealZ$fSingIZNegOneMinus $fSingIZPos $fSingKindZ$fNumQ $fFractionalQ$fRealQ $fSingIQ:% $fSingKindQ$fEqQ$fOrdQ$fShowQ$fReadQ$fEqZ$fOrdZ$fReadZ$fShowZ$fOrdOpt$fEqOpt $fReadOpt $fShowOpt ghc-bignumGHC.Num.NaturalNaturalbaseGHC.RealRationalGHC.Num.IntegerInteger GHC.MaybeMaybeNothingJustGHC.Base Alternativeemptypureversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDirgetDataFileName getSysconfDir