-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | List construction with do notation
--   
--   Please see README.md
@package do-list
@version 0.8.1


-- | Construct lists using do notation syntatic sugar. Example usage
--   <a>https://github.com/tserduke/do-list#example</a>.
--   
--   For a multifunctional alternative use Control.Monad.Writer from the
--   mtl package.
module Data.DoList

-- | <a>DoList</a> is not a real instance of <a>Monad</a>,
--   <a>Applicative</a> or <a>Functor</a>. It pretends being them to enable
--   do notation. Its result type is purely phantom.
newtype DoList a r
DoList :: (DList a) -> DoList a r

-- | Create a <a>DoList</a> holding a single item.
item :: a -> DoList a ()

-- | Extract the underlying <a>DList</a>.
unDoList :: DoList a r -> DList a

-- | Convert from a list.
fromList :: [a] -> DoList a r

-- | Convert to a list.
toList :: DoList a r -> [a]
instance GHC.Show.Show a => GHC.Show.Show (Data.DoList.DoList a r)
instance GHC.Read.Read a => GHC.Read.Read (Data.DoList.DoList a r)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.DoList.DoList a r)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.DoList.DoList a r)
instance GHC.Base.Functor (Data.DoList.DoList a)
instance GHC.Base.Applicative (Data.DoList.DoList a)
instance GHC.Base.Monad (Data.DoList.DoList a)