fresnel-0.0.0.1: high-powered optics in a small package
Safe HaskellSafe-Inferred
LanguageHaskell2010

Fresnel.Monoid.Snoc

Synopsis

Snoc lists

newtype Snoc a Source #

Constructors

Snoc 

Fields

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

Instances

Instances details
Foldable Snoc Source # 
Instance details

Defined in Fresnel.Monoid.Snoc

Methods

fold :: Monoid m => Snoc m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Snoc a -> a

foldl1 :: (a -> a -> a) -> Snoc a -> a

toList :: Snoc a -> [a]

null :: Snoc a -> Bool

length :: Snoc a -> Int

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

maximum :: Ord a => Snoc a -> a

minimum :: Ord a => Snoc a -> a

sum :: Num a => Snoc a -> a

product :: Num a => Snoc a -> a

Functor Snoc Source # 
Instance details

Defined in Fresnel.Monoid.Snoc

Methods

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

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

Monoid (Snoc a) Source # 
Instance details

Defined in Fresnel.Monoid.Snoc

Methods

mempty :: Snoc a

mappend :: Snoc a -> Snoc a -> Snoc a

mconcat :: [Snoc a] -> Snoc a

Semigroup (Snoc a) Source # 
Instance details

Defined in Fresnel.Monoid.Snoc

Methods

(<>) :: Snoc a -> Snoc a -> Snoc a

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

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

Show a => Show (Snoc a) Source # 
Instance details

Defined in Fresnel.Monoid.Snoc

Methods

showsPrec :: Int -> Snoc a -> ShowS

show :: Snoc a -> String

showList :: [Snoc a] -> ShowS

Construction

snoc :: Snoc a -> a -> Snoc a Source #