Data.DoList

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

Documentation

newtype DoList a r

DoList is not a real instance of Monad, Applicative or Functor. It pretends being them to enable syntatic sugar of do notation. Its result type is purely phantom.

Constructors

DoList (DList a)

Instances

Monad (DoList a)

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)

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)

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

Eq a => Eq (DoList a r)

Methods

(==) :: DoList a r -> DoList a r -> Bool

(/=) :: DoList a r -> DoList a r -> Bool

Ord a => Ord (DoList a r)

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)

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)

Methods

showsPrec :: Int -> DoList a r -> ShowS

show :: DoList a r -> String

showList :: [DoList a r] -> ShowS

Construction

item :: a -> DoList a r

Create a DoList holding a single item.

unDoList :: DoList a r -> DList a

Extract the underlying DList.

List conversion

fromList :: [a] -> DoList a r

Convert from list.

toList :: DoList a r -> [a]

Convert to list.