singletons-default 0.1.0.2 → 0.1.0.3
raw patch · 2 files changed
+8/−8 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.Default.Singletons: instance forall k (def :: k). (Data.Default.Singletons.SingDef def, Data.String.IsString (Data.Singletons.Demote k)) => Data.String.IsString (Data.Default.Singletons.Opt def)
- Data.Default.Singletons: instance forall k (def :: k). (Data.Default.Singletons.SingDef def, GHC.IsList.IsList (Data.Singletons.Demote k)) => GHC.IsList.IsList (Data.Default.Singletons.Opt def)
- Data.Default.Singletons: instance forall k (def :: k). (Data.Default.Singletons.SingDef def, GHC.Num.Num (Data.Singletons.Demote k)) => GHC.Num.Num (Data.Default.Singletons.Opt def)
- Data.Default.Singletons: instance forall k (def :: k). (Data.Default.Singletons.SingDef def, GHC.Real.Fractional (Data.Singletons.Demote k)) => GHC.Real.Fractional (Data.Default.Singletons.Opt def)
+ Data.Default.Singletons: instance forall k (def :: k). Data.String.IsString (Data.Singletons.Demote k) => Data.String.IsString (Data.Default.Singletons.Opt def)
+ Data.Default.Singletons: instance forall k (def :: k). GHC.IsList.IsList (Data.Singletons.Demote k) => GHC.IsList.IsList (Data.Default.Singletons.Opt def)
+ Data.Default.Singletons: instance forall k (def :: k). GHC.Num.Num (Data.Singletons.Demote k) => GHC.Num.Num (Data.Default.Singletons.Opt def)
+ Data.Default.Singletons: instance forall k (def :: k). GHC.Real.Fractional (Data.Singletons.Demote k) => GHC.Real.Fractional (Data.Default.Singletons.Opt def)
- Data.Default.Singletons: [Some] :: SingDef def => Demote k -> Opt (def :: k)
+ Data.Default.Singletons: [Some] :: Demote k -> Opt (def :: k)
Files
singletons-default.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack name: singletons-default-version: 0.1.0.2+version: 0.1.0.3 synopsis: An optional type with type level default description: dependently typed optional values with default category: Data
src/Data/Default/Singletons.hs view
@@ -13,9 +13,9 @@ >>> definite (Def :: Opt True) True->>> definite (Some False :: Opt True)+>>> definite (Some False :: Opt (def :: Bool)) False->>> definite (Some True :: Opt True)+>>> definite (Some True :: Opt False) True >>> maybe "def" show (perhaps (Def :: Opt True)) "def"@@ -161,7 +161,7 @@ -} data Opt (def :: k) where Def :: SingDef def => Opt (def :: k)- Some :: SingDef def => Demote k -> Opt (def :: k)+ Some :: Demote k -> Opt (def :: k) {- | Constraint required to `demote` @@def@. -} type SingDef (def :: k) = (SingI def, SingKind k)@@ -188,7 +188,7 @@ instance SingDef def => Default (Opt (def :: k)) where def = Def -instance (SingDef def, Num (Demote k))+instance Num (Demote k) => Num (Opt (def :: k)) where x + y = Some $ definite x + definite y x * y = Some $ definite x * definite y@@ -198,17 +198,17 @@ negate x = Some $ negate (definite x) x - y = Some $ definite x - definite y -instance (SingDef def, Fractional (Demote k))+instance Fractional (Demote k) => Fractional (Opt (def :: k)) where recip x = Some $ recip (definite x) x / y = Some $ definite x / definite y fromRational x = Some $ fromRational x -instance (SingDef def, IsString (Demote k))+instance IsString (Demote k) => IsString (Opt (def :: k)) where fromString x = Some $ fromString x -instance (SingDef def, IsList (Demote k))+instance IsList (Demote k) => IsList (Opt (def :: k)) where type Item (Opt (def :: k)) = Item (Demote k) fromList xs = Some $ fromList xs