Fresnel.Semigroup.Snoc1

Non-empty snoc lists

newtype Snoc1 a

Constructors

Snoc1

Fields

• runSnoc1 :: forall r. (a -> r) -> (r -> a -> r) -> r

Instances

Foldable1 Snoc1

Defined in Fresnel.Semigroup.Snoc1

Methods

fold1 :: Semigroup m => Snoc1 m -> m

foldMap1 :: Semigroup m => (a -> m) -> Snoc1 a -> m

foldMap1' :: Semigroup m => (a -> m) -> Snoc1 a -> m

toNonEmpty :: Snoc1 a -> NonEmpty a

maximum :: Ord a => Snoc1 a -> a

minimum :: Ord a => Snoc1 a -> a

head :: Snoc1 a -> a

last :: Snoc1 a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Snoc1 a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Snoc1 a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Snoc1 a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Snoc1 a -> b

Functor Snoc1

Defined in Fresnel.Semigroup.Snoc1

Methods

fmap :: (a -> b) -> Snoc1 a -> Snoc1 b

(<$) :: a -> Snoc1 b -> Snoc1 a

Foldable Snoc1

Defined in Fresnel.Semigroup.Snoc1

Methods

fold :: Monoid m => Snoc1 m -> m

foldMap :: Monoid m => (a -> m) -> Snoc1 a -> m

foldMap' :: Monoid m => (a -> m) -> Snoc1 a -> m

foldr :: (a -> b -> b) -> b -> Snoc1 a -> b

foldr' :: (a -> b -> b) -> b -> Snoc1 a -> b

foldl :: (b -> a -> b) -> b -> Snoc1 a -> b

foldl' :: (b -> a -> b) -> b -> Snoc1 a -> b

foldr1 :: (a -> a -> a) -> Snoc1 a -> a

foldl1 :: (a -> a -> a) -> Snoc1 a -> a

toList :: Snoc1 a -> [a]

null :: Snoc1 a -> Bool

length :: Snoc1 a -> Int

elem :: Eq a => a -> Snoc1 a -> Bool

maximum :: Ord a => Snoc1 a -> a

minimum :: Ord a => Snoc1 a -> a

sum :: Num a => Snoc1 a -> a

product :: Num a => Snoc1 a -> a

Semigroup (Snoc1 a)

Defined in Fresnel.Semigroup.Snoc1

Methods

(<>) :: Snoc1 a -> Snoc1 a -> Snoc1 a

sconcat :: NonEmpty (Snoc1 a) -> Snoc1 a

stimes :: Integral b => b -> Snoc1 a -> Snoc1 a

Show a => Show (Snoc1 a)

Defined in Fresnel.Semigroup.Snoc1

Methods

showsPrec :: Int -> Snoc1 a -> ShowS

show :: Snoc1 a -> String

showList :: [Snoc1 a] -> ShowS

Construction

singleton :: a -> Snoc1 a

snoc :: Snoc1 a -> a -> Snoc1 a