Fresnel.Monoid.Cons

Cons lists

newtype Cons a

Constructors

Cons

Fields

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

Instances

Foldable Cons

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

Defined in Fresnel.Monoid.Cons

Methods

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

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

Monoid (Cons a)

Defined in Fresnel.Monoid.Cons

Methods

mempty :: Cons a

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

mconcat :: [Cons a] -> Cons a

Semigroup (Cons a)

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)

Defined in Fresnel.Monoid.Cons

Methods

showsPrec :: Int -> Cons a -> ShowS

show :: Cons a -> String

showList :: [Cons a] -> ShowS

Construction

singleton :: a -> Cons a

cons :: a -> Cons a -> Cons a

nil :: Cons a