Safe Haskell	Safe-Inferred
Language	Haskell2010

Fresnel.Monoid.Snoc

Contents

Synopsis

Snoc lists

newtype Snoc a Source #

Constructors

Snoc
Fields runSnoc :: forall r. (r -> a -> r) -> r -> r

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