Modulegeneric-deriving-1.14.7Haskell2010

Generics.Deriving.Traversable

2 classes
1 value

Packagegeneric-deriving-1.14.7
Exports3
LanguageHaskell2010
LicenceBSD-3-Clause

Generic Traversable class

1 declaration

classclass (GFunctor t, GFoldable t) => GTraversable (t :: Type -> Type) where

Methods

gtraverse :: Applicative f => (a -> f b) -> t a -> f (t b)
gsequenceA :: Applicative f => t (f a) -> f (t a)
gmapM :: Monad m => (a -> m b) -> t a -> m (t b)
gsequence :: Monad m => t (m a) -> m (t a)

Instances25GTraversable, …

GTraversable ComplexDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable FirstDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable LastDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable MaxDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable MinDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable WrappedMonoidDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable NonEmptyDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable IdentityDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable FirstDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable LastDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable DownDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable DualDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable ProductDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable SumDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable ZipListDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable MaybeDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable []Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable ProxyDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable (Arg a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable (Either a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable (Tuple2 a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
(Generic1 t, GFunctor' (Rep1 t), GFoldable' (Rep1 t), GTraversable' (Rep1 t)) => GTraversable (Default1 t)Defined in generic-deriving-1.14.7 · Generics.Deriving.Default
GTraversable (Const m)Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
(GTraversable f, GTraversable g) => GTraversable (Product f g)Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
(GTraversable f, GTraversable g) => GTraversable (Sum f g)Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable

Default method

1 declaration

valuegtraversedefault

:: (Generic1 t, GTraversable' (Rep1 t), Applicative f)
=> a -> f b
-> t a
-> f (t b)

Internal Traversable class

1 declaration

classclass GTraversable' (t :: Type -> Type) where

Methods

gtraverse' :: Applicative f => (a -> f b) -> t a -> f (t b)

Instances15GTraversable', …

GTraversable' Par1Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable' U1Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable' UAddrDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable' UCharDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable' UDoubleDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable' UFloatDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable' UIntDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable' UWordDefined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable' V1Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable f => GTraversable' (Rec1 f)Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable' (K1 i c)Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
(GTraversable' f, GTraversable' g) => GTraversable' (f :*: g)Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
(GTraversable' f, GTraversable' g) => GTraversable' (f :+: g)Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
GTraversable' f => GTraversable' (M1 i c f)Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable
(GTraversable f, GTraversable' g) => GTraversable' (f :.: g)Defined in generic-deriving-1.14.7 · Generics.Deriving.Traversable