Safe Haskell | Safe-Infered |
---|
- Prelude.Show
- Prelude.Functor
- Data.Foldable.Foldable
- Data.Traversable.Traversable
- Data.Functor.Contravariant.Contravariant
- Data.Functor.Extend.Extend
- Control.Comonad.Comonad
- Control.Comonad.Env.Class.ComonadEnv
- Control.Comonad.Traced.Class.ComonadTraced
- Control.Comonad.Store.Class.ComonadStore
- Data.Copointed.Copointed
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
- duplicateDefault :: ExistentialWith1 Extend e => e a -> e (e a)
- extractDefault :: ExistentialWith1 Comonad e => e a -> a
- askDefault :: ExistentialWith1 (ComonadEnv env) e => e a -> env
- traceDefault :: ExistentialWith1 (ComonadTraced m) e => m -> e a -> a
- posDefault :: ExistentialWith1 (ComonadStore s) e => e a -> s
- peekDefault :: ExistentialWith1 (ComonadStore s) e => s -> e a -> a
- peeksDefault :: ExistentialWith1 (ComonadStore s) e => (s -> s) -> e a -> a
- seekDefault :: ExistentialWith1 (ComonadStore s) e => s -> e a -> e a
- seeksDefault :: ExistentialWith1 (ComonadStore s) e => (s -> s) -> e a -> e a
- copointDefault :: ExistentialWith1 Copointed e => e a -> 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
Data.Functor.Extend.Extend
duplicateDefault :: ExistentialWith1 Extend e => e a -> e (e a)Source
Control.Comonad.Comonad
extractDefault :: ExistentialWith1 Comonad e => e a -> aSource
Control.Comonad.Env.Class.ComonadEnv
askDefault :: ExistentialWith1 (ComonadEnv env) e => e a -> envSource
Control.Comonad.Traced.Class.ComonadTraced
traceDefault :: ExistentialWith1 (ComonadTraced m) e => m -> e a -> aSource
Control.Comonad.Store.Class.ComonadStore
posDefault :: ExistentialWith1 (ComonadStore s) e => e a -> sSource
peekDefault :: ExistentialWith1 (ComonadStore s) e => s -> e a -> aSource
peeksDefault :: ExistentialWith1 (ComonadStore s) e => (s -> s) -> e a -> aSource
seekDefault :: ExistentialWith1 (ComonadStore s) e => s -> e a -> e aSource
seeksDefault :: ExistentialWith1 (ComonadStore s) e => (s -> s) -> e a -> e aSource
Data.Copointed.Copointed
copointDefault :: ExistentialWith1 Copointed e => e a -> aSource