| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Fresnel.Functor.Traversed1
Contents
Synopsis
- runTraversed1 :: Functor f => Traversed1 f a -> f ()
- newtype Traversed1 (f :: Type -> Type) a = Traversed1 (f a)
Traversed1 functor
runTraversed1 :: Functor f => Traversed1 f a -> f () Source #
newtype Traversed1 (f :: Type -> Type) a Source #
Constructors
| Traversed1 (f a) |
Instances
| Apply f => Semigroup (Traversed1 f a) Source # | |
Defined in Fresnel.Functor.Traversed1 Methods (<>) :: Traversed1 f a -> Traversed1 f a -> Traversed1 f a # sconcat :: NonEmpty (Traversed1 f a) -> Traversed1 f a # stimes :: Integral b => b -> Traversed1 f a -> Traversed1 f a # | |