Copyright	(c) Grant Weyburne 2022
License	BSD-3
Safe Haskell	None
Language	Haskell2010

Primus.ZipNonEmpty

Description

Synopsis

newtype ZipNonEmpty a = ZipNonEmpty (NonEmpty a)
_Zip1 :: Iso (ZipNonEmpty a) (ZipNonEmpty b) (NonEmpty a) (NonEmpty b)
unZipNonEmpty :: ZipNonEmpty a -> NonEmpty a

Documentation

newtype ZipNonEmpty a Source #

zippable version of NonEmpty

Constructors

ZipNonEmpty (NonEmpty a)

Instances

Instances details

Functor ZipNonEmpty Source #
Instance details Defined in Primus.ZipNonEmpty Methods fmap :: (a -> b) -> ZipNonEmpty a -> ZipNonEmpty b # (<$) :: a -> ZipNonEmpty b -> ZipNonEmpty a #
Applicative ZipNonEmpty Source #
Instance details Defined in Primus.ZipNonEmpty Methods pure :: a -> ZipNonEmpty a # (<>) :: ZipNonEmpty (a -> b) -> ZipNonEmpty a -> ZipNonEmpty b # liftA2 :: (a -> b -> c) -> ZipNonEmpty a -> ZipNonEmpty b -> ZipNonEmpty c # (>) :: ZipNonEmpty a -> ZipNonEmpty b -> ZipNonEmpty b # (<*) :: ZipNonEmpty a -> ZipNonEmpty b -> ZipNonEmpty a #
Foldable ZipNonEmpty Source #
Instance details Defined in Primus.ZipNonEmpty Methods fold :: Monoid m => ZipNonEmpty m -> m # foldMap :: Monoid m => (a -> m) -> ZipNonEmpty a -> m # foldMap' :: Monoid m => (a -> m) -> ZipNonEmpty a -> m # foldr :: (a -> b -> b) -> b -> ZipNonEmpty a -> b # foldr' :: (a -> b -> b) -> b -> ZipNonEmpty a -> b # foldl :: (b -> a -> b) -> b -> ZipNonEmpty a -> b # foldl' :: (b -> a -> b) -> b -> ZipNonEmpty a -> b # foldr1 :: (a -> a -> a) -> ZipNonEmpty a -> a # foldl1 :: (a -> a -> a) -> ZipNonEmpty a -> a # toList :: ZipNonEmpty a -> [a] # null :: ZipNonEmpty a -> Bool # length :: ZipNonEmpty a -> Int # elem :: Eq a => a -> ZipNonEmpty a -> Bool # maximum :: Ord a => ZipNonEmpty a -> a # minimum :: Ord a => ZipNonEmpty a -> a # sum :: Num a => ZipNonEmpty a -> a # product :: Num a => ZipNonEmpty a -> a #
Traversable ZipNonEmpty Source #
Instance details Defined in Primus.ZipNonEmpty Methods traverse :: Applicative f => (a -> f b) -> ZipNonEmpty a -> f (ZipNonEmpty b) # sequenceA :: Applicative f => ZipNonEmpty (f a) -> f (ZipNonEmpty a) # mapM :: Monad m => (a -> m b) -> ZipNonEmpty a -> m (ZipNonEmpty b) # sequence :: Monad m => ZipNonEmpty (m a) -> m (ZipNonEmpty a) #
NFData1 ZipNonEmpty Source #
Instance details Defined in Primus.ZipNonEmpty Methods liftRnf :: (a -> ()) -> ZipNonEmpty a -> () #
Traversable1 ZipNonEmpty Source #
Instance details Defined in Primus.ZipNonEmpty Methods traverse1 :: Apply f => (a -> f b) -> ZipNonEmpty a -> f (ZipNonEmpty b) # sequence1 :: Apply f => ZipNonEmpty (f b) -> f (ZipNonEmpty b) #
Apply ZipNonEmpty Source #
Instance details Defined in Primus.ZipNonEmpty Methods (<.>) :: ZipNonEmpty (a -> b) -> ZipNonEmpty a -> ZipNonEmpty b # (.>) :: ZipNonEmpty a -> ZipNonEmpty b -> ZipNonEmpty b # (<.) :: ZipNonEmpty a -> ZipNonEmpty b -> ZipNonEmpty a # liftF2 :: (a -> b -> c) -> ZipNonEmpty a -> ZipNonEmpty b -> ZipNonEmpty c #
Foldable1 ZipNonEmpty Source #
Instance details Defined in Primus.ZipNonEmpty Methods fold1 :: Semigroup m => ZipNonEmpty m -> m # foldMap1 :: Semigroup m => (a -> m) -> ZipNonEmpty a -> m # toNonEmpty :: ZipNonEmpty a -> NonEmpty a #
IsList (ZipNonEmpty a) Source #
Instance details Defined in Primus.ZipNonEmpty Associated Types type Item (ZipNonEmpty a) # Methods fromList :: [Item (ZipNonEmpty a)] -> ZipNonEmpty a # fromListN :: Int -> [Item (ZipNonEmpty a)] -> ZipNonEmpty a # toList :: ZipNonEmpty a -> [Item (ZipNonEmpty a)] #
Eq a => Eq (ZipNonEmpty a) Source #
Instance details Defined in Primus.ZipNonEmpty Methods (==) :: ZipNonEmpty a -> ZipNonEmpty a -> Bool # (/=) :: ZipNonEmpty a -> ZipNonEmpty a -> Bool #
Data a => Data (ZipNonEmpty a) Source #
Instance details Defined in Primus.ZipNonEmpty Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ZipNonEmpty a -> c (ZipNonEmpty a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ZipNonEmpty a) # toConstr :: ZipNonEmpty a -> Constr # dataTypeOf :: ZipNonEmpty a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ZipNonEmpty a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ZipNonEmpty a)) # gmapT :: (forall b. Data b => b -> b) -> ZipNonEmpty a -> ZipNonEmpty a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ZipNonEmpty a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ZipNonEmpty a -> r # gmapQ :: (forall d. Data d => d -> u) -> ZipNonEmpty a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ZipNonEmpty a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ZipNonEmpty a -> m (ZipNonEmpty a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ZipNonEmpty a -> m (ZipNonEmpty a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ZipNonEmpty a -> m (ZipNonEmpty a) #
Ord a => Ord (ZipNonEmpty a) Source #
Instance details Defined in Primus.ZipNonEmpty Methods compare :: ZipNonEmpty a -> ZipNonEmpty a -> Ordering # (<) :: ZipNonEmpty a -> ZipNonEmpty a -> Bool # (<=) :: ZipNonEmpty a -> ZipNonEmpty a -> Bool # (>) :: ZipNonEmpty a -> ZipNonEmpty a -> Bool # (>=) :: ZipNonEmpty a -> ZipNonEmpty a -> Bool # max :: ZipNonEmpty a -> ZipNonEmpty a -> ZipNonEmpty a # min :: ZipNonEmpty a -> ZipNonEmpty a -> ZipNonEmpty a #
Read a => Read (ZipNonEmpty a) Source #
Instance details Defined in Primus.ZipNonEmpty Methods readsPrec :: Int -> ReadS (ZipNonEmpty a) # readList :: ReadS [ZipNonEmpty a] # readPrec :: ReadPrec (ZipNonEmpty a) # readListPrec :: ReadPrec [ZipNonEmpty a] #
Show a => Show (ZipNonEmpty a) Source #
Instance details Defined in Primus.ZipNonEmpty Methods showsPrec :: Int -> ZipNonEmpty a -> ShowS # show :: ZipNonEmpty a -> String # showList :: [ZipNonEmpty a] -> ShowS #
Generic (ZipNonEmpty a) Source #
Instance details Defined in Primus.ZipNonEmpty Associated Types type Rep (ZipNonEmpty a) :: Type -> Type # Methods from :: ZipNonEmpty a -> Rep (ZipNonEmpty a) x # to :: Rep (ZipNonEmpty a) x -> ZipNonEmpty a #
Semigroup a => Semigroup (ZipNonEmpty a) Source #
Instance details Defined in Primus.ZipNonEmpty Methods (<>) :: ZipNonEmpty a -> ZipNonEmpty a -> ZipNonEmpty a # sconcat :: NonEmpty (ZipNonEmpty a) -> ZipNonEmpty a # stimes :: Integral b => b -> ZipNonEmpty a -> ZipNonEmpty a #
Monoid a => Monoid (ZipNonEmpty a) Source #
Instance details Defined in Primus.ZipNonEmpty Methods mempty :: ZipNonEmpty a # mappend :: ZipNonEmpty a -> ZipNonEmpty a -> ZipNonEmpty a # mconcat :: [ZipNonEmpty a] -> ZipNonEmpty a #
NFData a => NFData (ZipNonEmpty a) Source #
Instance details Defined in Primus.ZipNonEmpty Methods rnf :: ZipNonEmpty a -> () #
Generic1 ZipNonEmpty Source #
Instance details Defined in Primus.ZipNonEmpty Associated Types type Rep1 ZipNonEmpty :: k -> Type # Methods from1 :: forall (a :: k). ZipNonEmpty a -> Rep1 ZipNonEmpty a # to1 :: forall (a :: k). Rep1 ZipNonEmpty a -> ZipNonEmpty a #
type Rep (ZipNonEmpty a) Source #
Instance details Defined in Primus.ZipNonEmpty type Rep (ZipNonEmpty a) = D1 ('MetaData "ZipNonEmpty" "Primus.ZipNonEmpty" "primus-0.3.0.0-HWjmNHShjq52t4uZ5YxnWQ" 'True) (C1 ('MetaCons "ZipNonEmpty" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty a))))
type Item (ZipNonEmpty a) Source #
Instance details Defined in Primus.ZipNonEmpty type Item (ZipNonEmpty a) = a
type Rep1 ZipNonEmpty Source #
Instance details Defined in Primus.ZipNonEmpty type Rep1 ZipNonEmpty = D1 ('MetaData "ZipNonEmpty" "Primus.ZipNonEmpty" "primus-0.3.0.0-HWjmNHShjq52t4uZ5YxnWQ" 'True) (C1 ('MetaCons "ZipNonEmpty" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 NonEmpty)))

_Zip1 :: Iso (ZipNonEmpty a) (ZipNonEmpty b) (NonEmpty a) (NonEmpty b) Source #

iso for the zipnonempty constructor

unZipNonEmpty :: ZipNonEmpty a -> NonEmpty a Source #

unwrap ZipNonEmpty