Fresnel.Functor.Traversed

Traversed functor

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

newtype Traversed f a

Constructors

Traversed (f a)

Instances

Applicative f => Applicative (Traversed f)

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)

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)

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)

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