more patching, about to implement remaining tests

src/Data/List/Lazy.purs

@@ -109,6 +109,9 @@ module Data.List.Lazy
   , snoc'
   , manyRec
 
+  , replicate1
+  , replicate1M
+
   ) where
 
 import Prelude
@@ -155,6 +158,13 @@ snoc' _ _ = unsafeCrashWith "todo snoc' for Lazy List"
 manyRec :: forall f a. MonadRec f => Alternative f => f a -> f (List a)
 manyRec _ = unsafeCrashWith "todo manyRec for Lazy List"
 
+-- Specialized from Unfoldable1's replicate1 / replicate1A
+replicate1 :: forall a. Int -> a -> List a
+replicate1 _ _ = unsafeCrashWith "todo replicate1 for Lazy List"
+
+replicate1M :: forall m a. Monad m => Int -> m a -> m (List a)
+replicate1M _ _ = unsafeCrashWith "todo replicate1M for Lazy List"
+
 -- | Convert a list into any unfoldable structure.
 -- |
 -- | Running time: `O(n)`

src/Data/List/Lazy/NonEmpty.purs

@@ -84,6 +84,9 @@ module Data.List.Lazy.NonEmpty
   , foldrLazy
   , scanlLazy
 
+  , replicate1
+  , replicate1M
+
   ) where
 
 import Prelude
@@ -276,6 +279,13 @@ foldrLazy _ _ _ = unsafeCrashWith "todo foldrLazy for LazyNonEmptyList"
 scanlLazy :: forall a b. (b -> a -> b) -> b -> NonEmptyList a -> NonEmptyList b
 scanlLazy _ _ _ = unsafeCrashWith "todo scanlLazy for LazyNonEmptyList"
 
+-- Specialized from Unfoldable1's replicate1 / replicate1A
+replicate1 :: forall a. Int -> a -> NonEmptyList a
+replicate1 _ _ = unsafeCrashWith "todo replicate1 for LazyNonEmptyList"
+
+replicate1M :: forall m a. Monad m => Int -> m a -> m (NonEmptyList a)
+replicate1M _ _ = unsafeCrashWith "todo replicate1M for LazyNonEmptyList"
+
 -----------
 
 toUnfoldable :: forall f. Unfoldable f => NonEmptyList ~> f

test/Test/API.purs

@@ -153,8 +153,45 @@ type OnlyLazy c =
   , cycle :: forall a. c a -> c a
   , foldrLazy :: forall a b. Lazy b => (a -> b -> b) -> b -> c a -> b
   , scanlLazy :: forall a b. (b -> a -> b) -> b -> c a -> c b
+
+  -- Specialized from Unfoldable1's replicate1 / replicate1A
+  , replicate1 :: forall a. Int -> a -> c a
+  , replicate1M :: forall m a. Monad m => Int -> m a -> m (c a)
+  }
+
+
+-- Non Overlapping APIs
+
+type OnlyStrictCanEmpty :: forall k. (k -> Type) -> Type
+type OnlyStrictCanEmpty c =
+  {
+  -- Same names, but different APIs
+    deleteAt :: forall a. Int -> c a -> Maybe (c a)
+  }
+
+type OnlyStrictNonEmpty :: forall k. (k -> Type) -> (k -> Type) -> Type
+type OnlyStrictNonEmpty c canEmpty =
+  {
+  -- Same names, but different APIs
+    deleteAt :: forall a. Int -> c a -> Maybe (canEmpty a)
   }
 
+-- Todo - investigate why kind signature is only recommended when
+-- records contain only a single field
+
+type OnlyLazyCanEmpty c =
+  {
+  -- Same names, but different APIs
+    deleteAt :: forall a. Int -> c a -> c a
+  -- Unique functions
+  -- Specialized from Unfoldable's replicate / replicateA
+  , replicate :: forall a. Int -> a -> c a
+  , replicateM :: forall m a. Monad m => Int -> m a -> m (c a)
+  }
 
--- Todo - no overlap
--- Or may not be necessary to define here
+type OnlyLazyNonEmpty :: forall k. (k -> Type) -> (k -> Type) -> Type
+type OnlyLazyNonEmpty c canEmpty =
+  {
+  -- Same names, but different APIs
+    deleteAt :: forall a. Int -> c a -> canEmpty a
+  }