{-# LANGUAGE UndecidableInstances #-}
module Generic.Data.Function.FoldMap.NonSum where
import GHC.Generics
import Generic.Data.Function.FoldMap.Constructor ( GFoldMapC(gFoldMapC) )
import Generic.Data.Rep.Error
class GFoldMapNonSum m f where gFoldMapNonSum :: f p -> m
instance GFoldMapC m f => GFoldMapNonSum m (C1 c f) where
gFoldMapNonSum :: forall (p :: k). C1 c f p -> m
gFoldMapNonSum (M1 f p
a) = forall {k} m (f :: k -> Type) (p :: k). GFoldMapC m f => f p -> m
gFoldMapC f p
a
instance GFoldMapNonSum m (l :+: r) where
gFoldMapNonSum :: forall (p :: k). (:+:) l r p -> m
gFoldMapNonSum = forall a. HasCallStack => [Char] -> a
error [Char]
eNoSum
instance GFoldMapNonSum m V1 where
gFoldMapNonSum :: forall (p :: k). V1 p -> m
gFoldMapNonSum = forall a. HasCallStack => [Char] -> a
error [Char]
eNoEmpty