Data.FMList

FoldMap lists: lists represented by their foldMap function.

Documentation

newtype FMList a

Constructors

FM

Fields

unFM :: forall b. Monoid b => (a -> b) -> b

Instances

Monad FMList

Functor FMList

MonadPlus FMList

Applicative FMList

Foldable FMList

Traversable FMList

Alternative FMList

Show a => Show (FMList a)

Monoid (FMList a)

empty :: Alternative f => forall a. f a

The identity of <|>

singleton :: a -> FMList a

cons :: a -> FMList a -> FMList a

snoc :: FMList a -> a -> FMList a

append :: FMList a -> FMList a -> FMList a

flatten :: FMList (FMList a) -> FMList a

toList :: Foldable t => t a -> [a]

List of elements of a structure.

fromList :: [a] -> FMList a

fromFoldable :: Foldable f => f a -> FMList a

null :: FMList a -> Bool

head :: FMList a -> a

tail :: FMList a -> FMList a

last :: FMList a -> a

init :: FMList a -> FMList a

reverse :: FMList a -> FMList a

filter :: (a -> Bool) -> FMList a -> FMList a

take :: (Ord n, Num n) => n -> FMList a -> FMList a

drop :: (Ord n, Num n) => n -> FMList a -> FMList a

takeWhile :: (a -> Bool) -> FMList a -> FMList a

dropWhile :: (a -> Bool) -> FMList a -> FMList a

zip :: FMList a -> FMList b -> FMList (a, b)

zipWith :: (a -> b -> c) -> FMList a -> FMList b -> FMList c

iterate :: (a -> a) -> a -> FMList a

repeat :: a -> FMList a

unfoldr :: (b -> Maybe (a, b)) -> b -> FMList a

unfoldl :: (b -> Maybe (b, a)) -> b -> FMList a