ListWriter-0.1.0.0: define a list constant using Monadic syntax other than overhead [,]

Safe HaskellTrustworthy
LanguageHaskell2010

Syntax.ListWriter.Internal

Documentation

newtype ListM' a x Source

Constructors

ListM 

Fields

unListM :: Writer [a] x
 

Instances

Monad (ListM' a) Source 
Functor (ListM' a) Source 
Applicative (ListM' a) Source 
MonadWriter [a] (ListM' a) Source 
(Eq a, Eq x) => Eq (ListM' a x) Source 
(Ord a, Ord x) => Ord (ListM' a x) Source 
(Show a, Show x) => Show (ListM' a x) Source 

type ListM a = ListM' a () Source

toList :: ListM a -> [a] Source

fromList :: [a] -> ListM a Source

element :: a -> ListM a Source