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

Fresnel.Monoid.Cons

Synopsis

Cons lists

newtype Cons a Source #

Constructors

Cons 

Fields

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

Instances

Instances details
Functor Cons Source # 
Instance details

Defined in Fresnel.Monoid.Cons

Methods

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

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

Foldable Cons Source # 
Instance details

Defined in Fresnel.Monoid.Cons

Methods

fold :: Monoid m => Cons m -> m #

foldMap :: Monoid m => (a -> m) -> Cons a -> m #

foldMap' :: Monoid m => (a -> m) -> Cons a -> m #

foldr :: (a -> b -> b) -> b -> Cons a -> b #

foldr' :: (a -> b -> b) -> b -> Cons a -> b #

foldl :: (b -> a -> b) -> b -> Cons a -> b #

foldl' :: (b -> a -> b) -> b -> Cons a -> b #

foldr1 :: (a -> a -> a) -> Cons a -> a #

foldl1 :: (a -> a -> a) -> Cons a -> a #

toList :: Cons a -> [a] #

null :: Cons a -> Bool #

length :: Cons a -> Int #

elem :: Eq a => a -> Cons a -> Bool #

maximum :: Ord a => Cons a -> a #

minimum :: Ord a => Cons a -> a #

sum :: Num a => Cons a -> a #

product :: Num a => Cons a -> a #

Monoid (Cons a) Source # 
Instance details

Defined in Fresnel.Monoid.Cons

Methods

mempty :: Cons a #

mappend :: Cons a -> Cons a -> Cons a #

mconcat :: [Cons a] -> Cons a #

Semigroup (Cons a) Source # 
Instance details

Defined in Fresnel.Monoid.Cons

Methods

(<>) :: Cons a -> Cons a -> Cons a #

sconcat :: NonEmpty (Cons a) -> Cons a #

stimes :: Integral b => b -> Cons a -> Cons a #

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

Defined in Fresnel.Monoid.Cons

Methods

showsPrec :: Int -> Cons a -> ShowS #

show :: Cons a -> String #

showList :: [Cons a] -> ShowS #

Construction

cons :: a -> Cons a -> Cons a Source #