haskus-utils-types 1.5 → 1.5.1

raw patch · 2 files changed

+4/−4 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Haskus.Utils.Types.Error: [:$$:] :: () => ErrorMessage -> ErrorMessage -> ErrorMessage

- Haskus.Utils.Types.Error: [:<>:] :: () => ErrorMessage -> ErrorMessage -> ErrorMessage

- Haskus.Utils.Types.Error: [ShowType] :: forall t. () => t -> ErrorMessage

- Haskus.Utils.Types.Error: [Text] :: () => Symbol -> ErrorMessage

- Haskus.Utils.Types.Nat: [SomeNat] :: forall (n :: Nat). KnownNat n => Proxy n -> SomeNat

- Haskus.Utils.Types.Proxy: data Proxy# :: forall k0. () => k0 -> TYPE TupleRep ([] :: [RuntimeRep])

- Haskus.Utils.Types.Symbol: [SomeSymbol] :: forall (n :: Symbol). KnownSymbol n => Proxy n -> SomeSymbol

+ Haskus.Utils.Types.Error: (:$$:) :: ErrorMessage -> ErrorMessage -> ErrorMessage

+ Haskus.Utils.Types.Error: (:<>:) :: ErrorMessage -> ErrorMessage -> ErrorMessage

+ Haskus.Utils.Types.Error: ShowType :: t -> ErrorMessage

+ Haskus.Utils.Types.Error: Text :: Symbol -> ErrorMessage

+ Haskus.Utils.Types.Nat: SomeNat :: Proxy n -> SomeNat

+ Haskus.Utils.Types.Proxy: data Proxy# (a :: k) :: TYPE 'TupleRep '[] :: [RuntimeRep]

+ Haskus.Utils.Types.Symbol: SomeSymbol :: Proxy n -> SomeSymbol

- Haskus.Utils.Types.List: type CheckNub (l :: [k]) = (CheckNubEx l (Nub l) ~ 'True)

+ Haskus.Utils.Types.List: type CheckNub (l :: [k]) = (CheckNubEx l (Nub l) ~ 'True)

- Haskus.Utils.Types.Nat: sameNat :: (KnownNat a, KnownNat b) => Proxy a -> Proxy b -> Maybe (a :~: b)

+ Haskus.Utils.Types.Nat: sameNat :: forall (a :: Nat) (b :: Nat). (KnownNat a, KnownNat b) => Proxy a -> Proxy b -> Maybe (a :~: b)

- Haskus.Utils.Types.Nat: type (<=) (x :: Nat) (y :: Nat) = x <=? y ~ True

+ Haskus.Utils.Types.Nat: type (x :: Nat) <= (y :: Nat) = x <=? y ~ 'True

- Haskus.Utils.Types.Proxy: NatVal :: NatVal

+ Haskus.Utils.Types.Proxy: NatVal :: NatVal (t :: Nat)

- Haskus.Utils.Types.Symbol: sameSymbol :: (KnownSymbol a, KnownSymbol b) => Proxy a -> Proxy b -> Maybe (a :~: b)

+ Haskus.Utils.Types.Symbol: sameSymbol :: forall (a :: Symbol) (b :: Symbol). (KnownSymbol a, KnownSymbol b) => Proxy a -> Proxy b -> Maybe (a :~: b)

haskus-utils-types.cabal view

@@ -1,5 +1,5 @@ name:                haskus-utils-types-version:             1.5+version:             1.5.1 synopsis:            Haskus types utility modules license:             BSD3 license-file:        LICENSE@@ -33,7 +33,7 @@   other-modules:    build-depends:       -         base >= 4.9 && < 5+         base >= 4.11 && < 5    ghc-options:          -Wall   default-language:     Haskell2010@@ -47,5 +47,5 @@    default-language:    Haskell2010     build-depends:-         base >= 4.9 && < 5+         base >= 4.11 && < 5       ,  doctest >= 0.16

src/lib/Haskus/Utils/Types/List.hs view

@@ -309,7 +309,7 @@ type Index (n :: Nat) (l :: [k]) = Index' n l l  -- | Indexed access into the list-type family Index' (n :: Nat) (l :: [k]) (l2 :: [k]) = (r :: k) where+type family Index' (n :: Nat) (l :: [k]) (l2 :: [k]) :: k where    Index' 0 (x ': _ ) _  = x    Index' n (_ ': xs) l2 = Index' (n-1) xs l2    Index' n '[]       l2 = TypeError ( 'Text "Index "