| Safe Haskell | None |
|---|
Clean.Functor
Description
A module for functors
- class Functor f where
- map :: (a -> b) -> f a -> f b
- class Cofunctor f where
- comap :: (a -> b) -> f b -> f a
- class Bifunctor p where
- dimap :: (c -> a) -> (b -> d) -> p a b -> p c d
- newtype Id a = Id {
- getId :: a
- newtype Const a b = Const {
- getConst :: a
- newtype Flip f a b = Flip {
- unFlip :: f b a
- newtype Compose f g a = Compose {
- getCompose :: f (g a)
- (<$>) :: Functor f => (a -> b) -> f a -> f b
- (<$) :: Functor f => a1 -> f a -> f a1
- (<&>) :: Functor f => f a -> (a -> b) -> f b
- void :: Functor f => f a -> f ()
- promap :: Cofunctor (Flip f a) => (b -> b1) -> f b1 a -> f b a
Documentation
Instances
| Functor [] | |
| Functor IO | |
| Functor Tree | |
| Functor Interleave | |
| Functor Id | |
| Functor ZipTree | |
| Functor ZipList | |
| Functor ((->) a) | |
| Functor (Either b) | |
| Functor ((,) b) | |
| Functor (Const a) | |
| Functor f => Functor (Backwards f) | |
| (Functor f, Functor g) => Functor (Compose f g) | |
| Monad m => Functor (ContT r m) | |
| (Monoid w, Monad m) => Functor (WriterT w m) | |
| Monad m => Functor (ReaderT r m) | |
| Monad m => Functor (StateT s m) | |
| Functor f => Functor (Kleisli f a) | |
| Functor (MkIso a b s) |
The Identity Functor
The Constant Functor
A motherflippin' functor
The Composition functor
Constructors
| Compose | |
Fields
| |