fresnel-0.0.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
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

Functor Cons Source # 
Instance details

Defined in Fresnel.Monoid.Cons

Methods

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

(<$) :: a -> Cons b -> Cons 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 #