Safe Haskell	Safe
Language	Haskell98

Data.Append

Documentation

data T f g a Source #

Constructors

Cons
Fields fst :: f a snd :: g a

Instances

(Functor f, Functor g) => Functor (T f g) Source #
Methods fmap :: (a -> b) -> T f g a -> T f g b # (<$) :: a -> T f g b -> T f g a #
(Foldable f, Foldable g) => Foldable (T f g) Source #
Methods fold :: Monoid m => T f g m -> m # foldMap :: Monoid m => (a -> m) -> T f g a -> m # foldr :: (a -> b -> b) -> b -> T f g a -> b # foldr' :: (a -> b -> b) -> b -> T f g a -> b # foldl :: (b -> a -> b) -> b -> T f g a -> b # foldl' :: (b -> a -> b) -> b -> T f g a -> b # foldr1 :: (a -> a -> a) -> T f g a -> a # foldl1 :: (a -> a -> a) -> T f g a -> a # toList :: T f g a -> [a] # null :: T f g a -> Bool # length :: T f g a -> Int # elem :: Eq a => a -> T f g a -> Bool # maximum :: Ord a => T f g a -> a # minimum :: Ord a => T f g a -> a # sum :: Num a => T f g a -> a # product :: Num a => T f g a -> a #
(Traversable f, Traversable g) => Traversable (T f g) Source #
Methods traverse :: Applicative f => (a -> f b) -> T f g a -> f (T f g b) # sequenceA :: Applicative f => T f g (f a) -> f (T f g a) # mapM :: Monad m => (a -> m b) -> T f g a -> m (T f g b) # sequence :: Monad m => T f g (m a) -> m (T f g a) #
(NFData f, NFData g) => NFData (T f g) Source #
Methods rnf :: NFData a => T f g a -> () Source #
(NFData f, NFData g, NFData a) => NFData (T f g a) Source #
Methods rnf :: T f g a -> () #