Contents Index

Shared.DataUnify

Documentation

class Typeable a => DataUnify a where

Methods gUnify :: (forall b . DataUnify b => b -> b -> b) -> a -> a -> a gUnifyM :: Monad m => (forall b . DataUnify b => b -> b -> m b) -> a -> a -> m a

make :: (Typeable a, Typeable b) => (b -> b -> b) -> a -> a -> a

makeM :: (Typeable a, Typeable b, Typeable (m a), Typeable (m b), Monad m) => (b -> b -> m b) -> a -> a -> m a

Produced by Haddock version 0.7