SimpleH.Functor

Description

Synopsis

• 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)
  }
• newtype FProd f g a = FProd {
  • getFProd :: f a :*: g a
  }
• newtype Sum f g a = Sum {
  • getSum :: f a :+: g a
  }
• (<$>) :: Functor f => (a -> b) -> f a -> f b
• (|||) :: (Choice k, Functor (k a), Functor (k b)) => k a c -> k b d -> k (a :+: b) (c :+: d)
• (<$) :: Functor f => b -> f a -> f b
• (<&>) :: Functor f => f a -> (a -> b) -> f b
• void :: Functor f => f a -> f ()
• left :: (Choice k, Functor (k a), Functor (k d)) => k a c -> k (:+: a d) (:+: c d)
• right :: (Choice k, Functor (k c), Functor (k b)) => k b d -> k (:+: c b) (:+: c d)
• promap :: Cofunctor (Flip f c) => (a -> b) -> f b c -> f a c
• map2 :: (Functor f, Functor f') => (a -> b) -> f (f' a) -> f (f' b)
• map3 :: (Functor f, Functor f', Functor f'') => (a -> b) -> f (f' (f'' a)) -> f (f' (f'' b))

Documentation