Safe Haskell | Safe-Infered |
---|
Default functions which can be used as method implementations when writing type class instances for existential datatypes.
- showDefault :: ExistentialWith Show e => e -> String
- showsPrecDefault :: ExistentialWith Show e => Int -> e -> ShowS
- fmapDefault :: ExistentialWith1 Functor e => (a -> b) -> e a -> e b
- foldDefault :: (ExistentialWith1 Foldable e, Monoid m) => e m -> m
- foldMapDefault :: (ExistentialWith1 Foldable e, Monoid m) => (a -> m) -> e a -> m
- foldrDefault :: ExistentialWith1 Foldable e => (a -> b -> b) -> b -> e a -> b
- foldlDefault :: ExistentialWith1 Foldable e => (a -> b -> a) -> a -> e b -> a
- foldr1Default :: ExistentialWith1 Foldable e => (a -> a -> a) -> e a -> a
- foldl1Default :: ExistentialWith1 Foldable e => (a -> a -> a) -> e a -> a
- traverseDefault :: (ExistentialWith1 Traversable e, Applicative f) => (a -> f b) -> e a -> f (e b)
- sequenceADefault :: (ExistentialWith1 Traversable e, Applicative f) => e (f a) -> f (e a)
- mapMDefault :: (ExistentialWith1 Traversable e, Monad m) => (a -> m b) -> e a -> m (e b)
- sequenceDefault :: (ExistentialWith1 Traversable e, Monad m) => e (m a) -> m (e a)
- contramapDefault :: ExistentialWith1 Contravariant e => (a -> b) -> e b -> e a
Prelude.Show
showDefault :: ExistentialWith Show e => e -> StringSource
showsPrecDefault :: ExistentialWith Show e => Int -> e -> ShowSSource
Prelude.Functor
fmapDefault :: ExistentialWith1 Functor e => (a -> b) -> e a -> e bSource
Data.Foldable.Foldable
foldDefault :: (ExistentialWith1 Foldable e, Monoid m) => e m -> mSource
foldMapDefault :: (ExistentialWith1 Foldable e, Monoid m) => (a -> m) -> e a -> mSource
foldrDefault :: ExistentialWith1 Foldable e => (a -> b -> b) -> b -> e a -> bSource
foldlDefault :: ExistentialWith1 Foldable e => (a -> b -> a) -> a -> e b -> aSource
foldr1Default :: ExistentialWith1 Foldable e => (a -> a -> a) -> e a -> aSource
foldl1Default :: ExistentialWith1 Foldable e => (a -> a -> a) -> e a -> aSource
Data.Traversable.Traversable
traverseDefault :: (ExistentialWith1 Traversable e, Applicative f) => (a -> f b) -> e a -> f (e b)Source
sequenceADefault :: (ExistentialWith1 Traversable e, Applicative f) => e (f a) -> f (e a)Source
mapMDefault :: (ExistentialWith1 Traversable e, Monad m) => (a -> m b) -> e a -> m (e b)Source
sequenceDefault :: (ExistentialWith1 Traversable e, Monad m) => e (m a) -> m (e a)Source
Data.Functor.Contravariant.Contravariant
contramapDefault :: ExistentialWith1 Contravariant e => (a -> b) -> e b -> e aSource