Safe Haskell	None
Language	Haskell2010

Data.DoList

Contents

Construction
List conversion

Description

Construct lists using do notation. Example usage https://github.com/tserduke/do-list#examples.

Control.Monad.Writer from the mtl package provides a somewhat faster yet less flexible Monoid-based alternative.

Synopsis

Documentation

newtype DoList a r Source #

DoList is not a real instance of Monad, Applicative or Functor. It pretends being them with purely phantom result type.

Constructors

DoList (DList a)

Instances

Monad (DoList a) Source #	Monadic operations are not supported.
Methods (>>=) :: DoList a a -> (a -> DoList a b) -> DoList a b # (>>) :: DoList a a -> DoList a b -> DoList a b # return :: a -> DoList a a # fail :: String -> DoList a a #
Functor (DoList a) Source #	Functor operations are not supported.
Methods fmap :: (a -> b) -> DoList a a -> DoList a b # (<$) :: a -> DoList a b -> DoList a a #
Applicative (DoList a) Source #	Applicative operations are not supported.
Methods pure :: a -> DoList a a # (<>) :: DoList a (a -> b) -> DoList a a -> DoList a b # (>) :: DoList a a -> DoList a b -> DoList a b # (<*) :: DoList a a -> DoList a b -> DoList a a #
IsList (DoList a r) Source #
Associated Types type Item (DoList a r) :: * # Methods fromList :: [Item (DoList a r)] -> DoList a r # fromListN :: Int -> [Item (DoList a r)] -> DoList a r # toList :: DoList a r -> [Item (DoList a r)] #
Eq a => Eq (DoList a r) Source #
Methods (==) :: DoList a r -> DoList a r -> Bool # (/=) :: DoList a r -> DoList a r -> Bool #
Ord a => Ord (DoList a r) Source #
Methods compare :: DoList a r -> DoList a r -> Ordering # (<) :: DoList a r -> DoList a r -> Bool # (<=) :: DoList a r -> DoList a r -> Bool # (>) :: DoList a r -> DoList a r -> Bool # (>=) :: DoList a r -> DoList a r -> Bool # max :: DoList a r -> DoList a r -> DoList a r # min :: DoList a r -> DoList a r -> DoList a r #
Read a => Read (DoList a r) Source #
Methods readsPrec :: Int -> ReadS (DoList a r) # readList :: ReadS [DoList a r] # readPrec :: ReadPrec (DoList a r) # readListPrec :: ReadPrec [DoList a r] #
Show a => Show (DoList a r) Source #
Methods showsPrec :: Int -> DoList a r -> ShowS # show :: DoList a r -> String # showList :: [DoList a r] -> ShowS #
IsString a => IsString (DoList a r) Source #
Methods fromString :: String -> DoList a r #
type Item (DoList a r) Source #
type Item (DoList a r) = a

Construction

item :: a -> DoList a r Source #

Create a DoList holding a single item.

toDList :: DoList a r -> DList a Source #

Extract the underlying DList.

List conversion

fromList :: [a] -> DoList a r Source #

Convert from a list.

toList :: DoList a r -> [a] Source #

Convert to a list.