fresnel-0.1.0.1: high-powered optics in a small package
Safe HaskellNone
LanguageHaskell2010

Fresnel.Functor.Traversed

Synopsis

Traversed functor

runTraversed :: Functor f => Traversed f a -> f () Source #

newtype Traversed (f :: Type -> Type) a Source #

Constructors

Traversed (f a) 

Instances

Instances details
Applicative f => Applicative (Traversed f) Source # 
Instance details

Defined in Fresnel.Functor.Traversed

Methods

pure :: a -> Traversed f a #

(<*>) :: Traversed f (a -> b) -> Traversed f a -> Traversed f b #

liftA2 :: (a -> b -> c) -> Traversed f a -> Traversed f b -> Traversed f c #

(*>) :: Traversed f a -> Traversed f b -> Traversed f b #

(<*) :: Traversed f a -> Traversed f b -> Traversed f a #

Functor f => Functor (Traversed f) Source # 
Instance details

Defined in Fresnel.Functor.Traversed

Methods

fmap :: (a -> b) -> Traversed f a -> Traversed f b #

(<$) :: a -> Traversed f b -> Traversed f a #

Applicative f => Monoid (Traversed f a) Source # 
Instance details

Defined in Fresnel.Functor.Traversed

Methods

mempty :: Traversed f a #

mappend :: Traversed f a -> Traversed f a -> Traversed f a #

mconcat :: [Traversed f a] -> Traversed f a #

Applicative f => Semigroup (Traversed f a) Source # 
Instance details

Defined in Fresnel.Functor.Traversed

Methods

(<>) :: Traversed f a -> Traversed f a -> Traversed f a #

sconcat :: NonEmpty (Traversed f a) -> Traversed f a #

stimes :: Integral b => b -> Traversed f a -> Traversed f a #