Module

Data.Foldable1

Package: purescript-functor1
Repository: garyb/purescript-functor1

#Foldable1 Source

class Foldable1 :: forall k. ((k -> Type) -> Type) -> Constraintclass Foldable1 t  where

Members

foldMap1 :: forall f m. Monoid m => (forall a. f a -> m) -> t f -> m

#foldr1 Source

foldr1 :: forall t f b. Foldable1 t => (forall a. f a -> b -> b) -> b -> t f -> b

#foldl1 Source

foldl1 :: forall t f b. Foldable1 t => (forall a. b -> f a -> b) -> b -> t f -> b

Modules: Data.Foldable1; Data.Functor1; Data.Identity1; Data.Traversable1