From 3a4d54c8c8c1850fb1456a7ccfaad0df7afaa0fd Mon Sep 17 00:00:00 2001 From: Andrew Martin Date: Fri, 24 Jun 2016 09:21:02 -0400 Subject: [PATCH] add some more instances --- colonnade/src/Colonnade/Types.hs | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/colonnade/src/Colonnade/Types.hs b/colonnade/src/Colonnade/Types.hs index 48aea23..c23ed8e 100644 --- a/colonnade/src/Colonnade/Types.hs +++ b/colonnade/src/Colonnade/Types.hs @@ -28,7 +28,6 @@ newtype Headed a = Headed { getHeaded :: a } data Headless a = Headless deriving (Eq,Ord,Functor,Show,Read) --- | Isomorphic to @'Const' 'Int'@ data Indexed f a = Indexed { indexedIndex :: Int , indexedHeading :: f a @@ -46,20 +45,19 @@ instance Monoid (HeadingErrors content) where mappend (HeadingErrors a1 b1) (HeadingErrors a2 b2) = HeadingErrors (a1 Vector.++ a2) (b1 Vector.++ b2) - data DecodingError f content = DecodingError { decodingErrorContent :: content , decodingErrorHeader :: Indexed f content , decodingErrorMessage :: String - } -- deriving (Show,Read) + } deriving (Show,Read) --- instance (Show content, Typeable content) => Exception (DecodingError f content) +-- instance (Show (f content), Typeable content) => Exception (DecodingError f content) newtype DecodingErrors f content = DecodingErrors { getDecodingErrors :: Vector (DecodingError f content) - } deriving (Monoid) + } deriving (Monoid,Show,Read) --- instance (Show content, Typeable content) => Exception (DecodingErrors f content) +-- instance (Show (f content), Typeable content) => Exception (DecodingErrors f content) instance Contravariant Headless where contramap _ Headless = Headless