Safe Haskell	None
Language	Haskell2010

Data.DoList

Contents

Construction
List conversion

Description

Construct lists with do notation. For more information see https://github.com/tserduke/do-list#readme.

Synopsis

Documentation

type DoList a = DoListM a () #

The type shortcut.

newtype DoListM a r #

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

Constructors

DoList (DoMonoidM [a] r)

Instances

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

Construction

item :: a -> DoListM a r #

Create a DoList holding a single item.

List conversion

fromList :: [a] -> DoListM a r #

Convert from a list.

toList :: DoListM a r -> [a] #

Convert to a list.