do-list
Safe HaskellNone
LanguageHaskell2010

Data.DoList

Description

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

Synopsis

Documentation

type DoList a = DoListM a () Source #

The type shortcut.

newtype DoListM a r Source #

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

Instances details
Applicative (DoListM a) Source # 
Instance details

Defined in Data.DoList

Methods

pure :: a0 -> DoListM a a0 #

(<*>) :: DoListM a (a0 -> b) -> DoListM a a0 -> DoListM a b #

liftA2 :: (a0 -> b -> c) -> DoListM a a0 -> DoListM a b -> DoListM a c #

(*>) :: DoListM a a0 -> DoListM a b -> DoListM a b #

(<*) :: DoListM a a0 -> DoListM a b -> DoListM a a0 #

Functor (DoListM a) Source # 
Instance details

Defined in Data.DoList

Methods

fmap :: (a0 -> b) -> DoListM a a0 -> DoListM a b #

(<$) :: a0 -> DoListM a b -> DoListM a a0 #

Monad (DoListM a) Source # 
Instance details

Defined in Data.DoList

Methods

(>>=) :: DoListM a a0 -> (a0 -> DoListM a b) -> DoListM a b #

(>>) :: DoListM a a0 -> DoListM a b -> DoListM a b #

return :: a0 -> DoListM a a0 #

IsString a => IsString (DoListM a r) Source # 
Instance details

Defined in Data.DoList

Methods

fromString :: String -> DoListM a r #

IsList (DoListM a r) Source # 
Instance details

Defined in Data.DoList

Associated Types

type Item (DoListM a r) 
Instance details

Defined in Data.DoList

type Item (DoListM a r) = a

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)] #

Read a => Read (DoListM a r) Source # 
Instance details

Defined in Data.DoList

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) Source # 
Instance details

Defined in Data.DoList

Methods

showsPrec :: Int -> DoListM a r -> ShowS #

show :: DoListM a r -> String #

showList :: [DoListM a r] -> ShowS #

Eq a => Eq (DoListM a r) Source # 
Instance details

Defined in Data.DoList

Methods

(==) :: DoListM a r -> DoListM a r -> Bool #

(/=) :: DoListM a r -> DoListM a r -> Bool #

Ord a => Ord (DoListM a r) Source # 
Instance details

Defined in Data.DoList

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 #

type Item (DoListM a r) Source # 
Instance details

Defined in Data.DoList

type Item (DoListM a r) = a

Construction

item :: a -> DoListM a r Source #

Create a DoList holding a single item.

List conversion

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

Convert from a list.

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

Convert to a list.