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


-- | Assert the lawfulness of your typeclass instances.
--   
--   Assert the lawfulness of your typeclass instances.
@package lawful
@version 0.1.0.0

module Lawful

-- | A `Lawful c t` instance asserts that the typeclass `c t` obeys the
--   expected laws of <tt>c</tt> (whatever that means).
class c t => Lawful c t
instance Lawful.Lawful GHC.Classes.Eq GHC.Types.Bool
instance Lawful.Lawful GHC.Classes.Ord GHC.Types.Bool
instance Lawful.Lawful GHC.Classes.Eq GHC.Types.Int
instance Lawful.Lawful GHC.Classes.Ord GHC.Types.Int
instance Lawful.Lawful GHC.Classes.Eq GHC.Integer.Type.Integer
instance Lawful.Lawful GHC.Classes.Ord GHC.Integer.Type.Integer
instance Lawful.Lawful GHC.Classes.Eq a => Lawful.Lawful GHC.Classes.Eq [a]
instance Lawful.Lawful GHC.Classes.Ord a => Lawful.Lawful GHC.Classes.Ord [a]
instance Lawful.Lawful GHC.Classes.Eq a => Lawful.Lawful GHC.Classes.Eq (GHC.Base.Maybe a)
instance Lawful.Lawful GHC.Classes.Ord a => Lawful.Lawful GHC.Classes.Ord (GHC.Base.Maybe a)
instance (Lawful.Lawful GHC.Classes.Eq a, Lawful.Lawful GHC.Classes.Eq b) => Lawful.Lawful GHC.Classes.Eq (Data.Either.Either a b)
instance (Lawful.Lawful GHC.Classes.Ord a, Lawful.Lawful GHC.Classes.Ord b) => Lawful.Lawful GHC.Classes.Ord (Data.Either.Either a b)
