fresnel-0.1.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
Functor Snoc Source # 
Instance details

Defined in Fresnel.Monoid.Snoc

Methods

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

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

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 #

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 #