Copyright | (C) 2008-2011 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Control.Comonad.Trans.Identity
Description
Documentation
newtype IdentityT (f :: k -> Type) (a :: k) #
Constructors
IdentityT | |
Fields
|
Instances
Generic1 (IdentityT f :: k -> Type) | |
ComonadEnv e w => ComonadEnv e (IdentityT w) # | |
Defined in Control.Comonad.Env.Class | |
ComonadStore s w => ComonadStore s (IdentityT w) # | |
Defined in Control.Comonad.Store.Class | |
ComonadTraced m w => ComonadTraced m (IdentityT w) # | |
Defined in Control.Comonad.Traced.Class | |
FoldableWithIndex i m => FoldableWithIndex i (IdentityT m) | |
Defined in WithIndex Methods ifoldMap :: Monoid m0 => (i -> a -> m0) -> IdentityT m a -> m0 # ifoldMap' :: Monoid m0 => (i -> a -> m0) -> IdentityT m a -> m0 # ifoldr :: (i -> a -> b -> b) -> b -> IdentityT m a -> b # ifoldl :: (i -> b -> a -> b) -> b -> IdentityT m a -> b # | |
FunctorWithIndex i m => FunctorWithIndex i (IdentityT m) | |
TraversableWithIndex i m => TraversableWithIndex i (IdentityT m) | |
ComonadHoist (IdentityT :: (Type -> Type) -> Type -> Type) # | |
ComonadTrans (IdentityT :: (Type -> Type) -> Type -> Type) # | |
Defined in Control.Comonad.Trans.Class | |
MonadTrans (IdentityT :: (Type -> Type) -> Type -> Type) | |
Defined in Control.Monad.Trans.Identity | |
MonadFail m => MonadFail (IdentityT m) | |
Defined in Control.Monad.Trans.Identity | |
MonadFix m => MonadFix (IdentityT m) | |
Defined in Control.Monad.Trans.Identity | |
MonadIO m => MonadIO (IdentityT m) | |
Defined in Control.Monad.Trans.Identity | |
MonadZip m => MonadZip (IdentityT m) | |
Foldable f => Foldable (IdentityT f) | |
Defined in Control.Monad.Trans.Identity Methods fold :: Monoid m => IdentityT f m -> m foldMap :: Monoid m => (a -> m) -> IdentityT f a -> m foldMap' :: Monoid m => (a -> m) -> IdentityT f a -> m foldr :: (a -> b -> b) -> b -> IdentityT f a -> b foldr' :: (a -> b -> b) -> b -> IdentityT f a -> b foldl :: (b -> a -> b) -> b -> IdentityT f a -> b foldl' :: (b -> a -> b) -> b -> IdentityT f a -> b foldr1 :: (a -> a -> a) -> IdentityT f a -> a foldl1 :: (a -> a -> a) -> IdentityT f a -> a toList :: IdentityT f a -> [a] length :: IdentityT f a -> Int elem :: Eq a => a -> IdentityT f a -> Bool maximum :: Ord a => IdentityT f a -> a minimum :: Ord a => IdentityT f a -> a | |
Foldable1 m => Foldable1 (IdentityT m) | |
Defined in Control.Monad.Trans.Identity Methods fold1 :: Semigroup m0 => IdentityT m m0 -> m0 foldMap1 :: Semigroup m0 => (a -> m0) -> IdentityT m a -> m0 foldMap1' :: Semigroup m0 => (a -> m0) -> IdentityT m a -> m0 toNonEmpty :: IdentityT m a -> NonEmpty a maximum :: Ord a => IdentityT m a -> a minimum :: Ord a => IdentityT m a -> a foldrMap1 :: (a -> b) -> (a -> b -> b) -> IdentityT m a -> b foldlMap1' :: (a -> b) -> (b -> a -> b) -> IdentityT m a -> b foldlMap1 :: (a -> b) -> (b -> a -> b) -> IdentityT m a -> b foldrMap1' :: (a -> b) -> (a -> b -> b) -> IdentityT m a -> b | |
Eq1 f => Eq1 (IdentityT f) | |
Defined in Control.Monad.Trans.Identity | |
Ord1 f => Ord1 (IdentityT f) | |
Defined in Control.Monad.Trans.Identity Methods liftCompare :: (a -> b -> Ordering) -> IdentityT f a -> IdentityT f b -> Ordering | |
Read1 f => Read1 (IdentityT f) | |
Defined in Control.Monad.Trans.Identity Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (IdentityT f a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [IdentityT f a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (IdentityT f a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [IdentityT f a] | |
Show1 f => Show1 (IdentityT f) | |
Defined in Control.Monad.Trans.Identity Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> IdentityT f a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [IdentityT f a] -> ShowS | |
Contravariant f => Contravariant (IdentityT f) | |
Traversable f => Traversable (IdentityT f) | |
Defined in Control.Monad.Trans.Identity | |
Alternative m => Alternative (IdentityT m) | |
Applicative m => Applicative (IdentityT m) | |
Defined in Control.Monad.Trans.Identity | |
Functor m => Functor (IdentityT m) | |
Monad m => Monad (IdentityT m) | |
MonadPlus m => MonadPlus (IdentityT m) | |
Comonad w => Comonad (IdentityT w) # | |
ComonadApply w => ComonadApply (IdentityT w) # | |
Distributive g => Distributive (IdentityT g) | |
Defined in Data.Distributive | |
Generic (IdentityT f a) | |
(Read1 f, Read a) => Read (IdentityT f a) | |
Defined in Control.Monad.Trans.Identity | |
(Show1 f, Show a) => Show (IdentityT f a) | |
(Eq1 f, Eq a) => Eq (IdentityT f a) | |
(Ord1 f, Ord a) => Ord (IdentityT f a) | |
Defined in Control.Monad.Trans.Identity | |
type Rep1 (IdentityT f :: k -> Type) | |
Defined in Control.Monad.Trans.Identity type Rep1 (IdentityT f :: k -> Type) = D1 ('MetaData "IdentityT" "Control.Monad.Trans.Identity" "transformers-0.6.1.0" 'True) (C1 ('MetaCons "IdentityT" 'PrefixI 'True) (S1 ('MetaSel ('Just "runIdentityT") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f))) | |
type Rep (IdentityT f a) | |
Defined in Control.Monad.Trans.Identity type Rep (IdentityT f a) = D1 ('MetaData "IdentityT" "Control.Monad.Trans.Identity" "transformers-0.6.1.0" 'True) (C1 ('MetaCons "IdentityT" 'PrefixI 'True) (S1 ('MetaSel ('Just "runIdentityT") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a)))) |