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


-- | A nullary type class for partial functions
--   
@package partial
@version 0.1.0.0

module Control.Partial

-- | This type class should be used to indicate a partial function
--   
--   If your functions make use of partial functions which use this
--   annotation, you have the following options:
--   
--   <ol>
--   <li>For application developers: declare an instance of this type
--   class, to indicate that you are willing to accept the use of partial
--   functions globally.</li>
--   <li>Use the partial function to selectively run partial
--   functions.</li>
--   <li>For library developers: pass the Partial constraint onto your
--   users.</li>
--   </ol>
class Partial

-- | This function can be used to evaluate a partial function
partial :: (Partial => r) -> r

module Data.List.Partial
head :: Partial => [a] -> a
tail :: Partial => [a] -> [a]