fresnel-0.0.0.1: high-powered optics in a small package
Safe HaskellSafe-Inferred
LanguageHaskell2010

Fresnel.Functor.Traversed

Synopsis

Traversed functor

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

newtype Traversed f 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