typelits-witnesses 0.1.0.1 → 0.1.1.0

raw patch · 2 files changed

+7/−5 lines, 2 files

Files

• src/GHC/TypeLits/List.hs +6/−4
• typelits-witnesses.cabal +1/−1

@@ -90,7 +90,7 @@ -- It's a 'NatList', but you don't know what the list contains at -- compile-time. data SomeNats :: * where-    SomeNats :: KnownNats ns => NatList ns -> SomeNats+    SomeNats :: KnownNats ns => !(NatList ns) -> SomeNats  -- | Singleton-esque type for "traversing" over type-level lists of 'Nat's. -- Essentially contains a (value-level) list of @'Proxy' n@s, but each 'n'@@ -100,7 +100,8 @@ -- Typically generated using 'natsList'. data NatList :: [Nat] -> * where     ØNL   :: NatList '[]-    (:<#) :: (KnownNat n, KnownNats ns) => Proxy n -> NatList ns -> NatList (n ': ns)+    (:<#) :: (KnownNat n, KnownNats ns)+          => !(Proxy n) -> !(NatList ns) -> NatList (n ': ns)  infixr 5 :<# deriving instance Show (NatList ns)@@ -216,7 +217,7 @@ -- | Represents unknown type-level lists of 'Symbol's. It's a 'SymbolList', -- but you don't know what the list contains at compile-time. data SomeSymbols :: * where-    SomeSymbols :: KnownSymbols ns => SymbolList ns -> SomeSymbols+    SomeSymbols :: KnownSymbols ns => !(SymbolList ns) -> SomeSymbols  -- | Singleton-esque type for "traversing" over type-level lists of -- 'Symbol's. Essentially contains a (value-level) list of @'Proxy' n@s,@@ -226,7 +227,8 @@ -- Typically generated using 'symbolsList'. data SymbolList :: [Symbol] -> * where     ØSL   :: SymbolList '[]-    (:<$) :: (KnownSymbol n, KnownSymbols ns) => Proxy n -> SymbolList ns -> SymbolList (n ': ns)+    (:<$) :: (KnownSymbol n, KnownSymbols ns)+          => !(Proxy n) -> !(SymbolList ns) -> SymbolList (n ': ns)  infixr 5 :<$ deriving instance Show (SymbolList ns)

@@ -1,5 +1,5 @@ name:                typelits-witnesses-version:             0.1.0.1+version:             0.1.1.0 synopsis:            Existential witnesses, singletons, and classes for operations on GHC TypeLits description:         Provides witnesses for 'KnownNat' and 'KnownSymbol'                      instances for various operations on GHC TypeLits - in