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


-- | Generic Haskell's Record Accessors
--   
--   Usage: <a>http://github.com/nonowarn/has/blob/master/README.md</a>
--   
--   And its test would be helpful:
--   <a>http://github.com/nonowarn/has/blob/master/test/Main.hs</a>
@package has
@version 0.1

module Data.Has
data (:*:) a b
(:*:) :: a -> b -> :*: a b
class Has e s
inj :: (Has e s) => e -> s -> s
prj :: (Has e s) => s -> e
upd :: (Has e s) => (e -> e) -> s -> s
instance [overlap ok] (Eq a, Eq b) => Eq (a :*: b)
instance [overlap ok] (Ord a, Ord b) => Ord (a :*: b)
instance [overlap ok] (Show a, Show b) => Show (a :*: b)
instance [overlap ok] (Read a, Read b) => Read (a :*: b)
instance [overlap ok] (Bounded a, Bounded b) => Bounded (a :*: b)
instance [overlap ok] Has e e
instance [overlap ok] (Has e r) => Has e (b :*: r)
instance [overlap ok] Has e (e :*: r)