Modulelinear-base-0.8.1

Data.Functor.Linear

1 type
4 classes
10 values

Packagelinear-base-0.8.1
Exports15
LicenceMIT
SourceConst.hs

value(<$) :: (Functor f, Consumable b) => a -> f b %1 -> f a

value(<$>) :: Functor f => (a %1 -> b) -> f a %1 -> f b

valuevoid :: (Functor f, Consumable a) => f a %1 -> f ()

valuefor :: (Traversable t, Applicative f) => t a %1 -> (a %1 -> f b) -> f (t b)

valueforM :: (Traversable t, Monad m) => t a %1 -> (a %1 -> m b) -> m (t b)

valuegenericTraverse

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

valuemapAccumL

:: Traversable t
=> a %1 -> b %1 -> (a, c)
-> a
-> t b
-> (a, t c)

valuemapAccumR

:: Traversable t
=> a %1 -> b %1 -> (a, c)
-> a
-> t b
-> (a, t c)

valuemapM :: (Traversable t, Monad m) => (a %1 -> m b) -> t a %1 -> m (t b)

valuesequenceA :: (Traversable t, Applicative f) => t (f a) %1 -> f (t a)

newtypenewtype Const a (b :: k)

The Const functor.

Examples

Example1 expression

>>> fmap (++ "World") (Const "Hello")Const "Hello"

Because we ignore the second type parameter to Const, the Applicative instance, which has (<*>) :: Monoid m => Const m (a -> b) -> Const m a -> Const m b essentially turns into Monoid m => m -> m -> m, which is (<>)

Example1 expression

>>> Const [1, 2, 3] <*> Const [4, 5, 6]Const [1,2,3,4,5,6]

Constructors

Const
- getConst :: a

Instances69Strong, Generic1, Bifoldable, Bifoldable1, Bifunctor, Bitraversable, …

Strong Either Void (CoKleisli (Const x))Defined in linear-base-0.8.1 · Data.Profunctor.Kleisli.Linear
Generic1 (Const a)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Generic1 (Const a)Defined in linear-generics-0.2.3 · Generics.Linear.Instances.Base · orphan
Unbox a => MVector MVector (Const a b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Unbox a => Vector Vector (Const a b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Bifoldable ConstDefined in base-4.22.0.0 · Data.Bifoldable
Bifoldable1 ConstDefined in base-4.22.0.0 · Data.Bifoldable1
Bifunctor ConstDefined in base-4.22.0.0 · Data.Bifunctor
Bitraversable ConstDefined in base-4.22.0.0 · Data.Bitraversable
Eq2 ConstDefined in base-4.22.0.0 · Data.Functor.Classes
Ord2 ConstDefined in base-4.22.0.0 · Data.Functor.Classes
Read2 ConstDefined in base-4.22.0.0 · Data.Functor.Classes
Show2 ConstDefined in base-4.22.0.0 · Data.Functor.Classes
NFData2 ConstDefined in deepseq-1.5.1.0 · Control.DeepSeq
Arbitrary2 ConstDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Hashable2 ConstDefined in hashable-1.5.1.0 · Data.Hashable.Class
Functor (Const m)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Monoid m => Applicative (Const m)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Foldable (Const m)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Traversable (Const m)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Traversable
Eq a => Eq1 (Const a)Defined in base-4.22.0.0 · Data.Functor.Classes
Ord a => Ord1 (Const a)Defined in base-4.22.0.0 · Data.Functor.Classes
Read a => Read1 (Const a)Defined in base-4.22.0.0 · Data.Functor.Classes
Show a => Show1 (Const a)Defined in base-4.22.0.0 · Data.Functor.Classes
Contravariant (Const a)Defined in base-4.22.0.0 · Data.Functor.Contravariant
NFData a => NFData1 (Const a)Defined in deepseq-1.5.1.0 · Control.DeepSeq
Arbitrary a => Arbitrary1 (Const a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Hashable a => Hashable1 (Const a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Functor (Const x)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Monoid x => Applicative (Const x)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
Traversable (Const a)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Bounded a => Bounded (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Enum a => Enum (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Eq a => Eq (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Floating a => Floating (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Fractional a => Fractional (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Integral a => Integral (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
(Typeable k, Data a, Typeable b) => Data (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Data
Num a => Num (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Ord a => Ord (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Read a => Read (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
This instance would be equivalent to the derived instances of the Const newtype if the getConst field were removed
Real a => Real (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
RealFloat a => RealFloat (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
RealFrac a => RealFrac (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Show a => Show (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
This instance would be equivalent to the derived instances of the Const newtype if the getConst field were removed
Ix a => Ix (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
IsString a => IsString (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.String
Generic (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Semigroup a => Semigroup (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Monoid a => Monoid (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Bits a => Bits (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
FiniteBits a => FiniteBits (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
Storable a => Storable (Const a b)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
NFData a => NFData (Const a b)Defined in deepseq-1.5.1.0 · Control.DeepSeq
Arbitrary a => Arbitrary (Const a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (Const a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Function a => Function (Const a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Hashable a => Hashable (Const a b)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Prim a => Prim (Const a b)Defined in primitive-0.9.1.0 · Data.Primitive.Types
Unbox a => Unbox (Const a b)Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
Generic (Const a b)Defined in linear-generics-0.2.3 · Generics.Linear.Instances.Base · orphan
Monoid a => Monoid (Const a b)Defined in linear-base-0.8.1 · Data.Monoid.Linear.Internal.Monoid
Semigroup a => Semigroup (Const a b)Defined in linear-base-0.8.1 · Data.Monoid.Linear.Internal.Semigroup
type Rep (Const a b) = D1 ('MetaData "Const" "GHC.Internal.Data.Functor.Const" "ghc-internal" 'True) (C1 ('MetaCons "Const" 'PrefixI 'True) (S1 ('MetaSel ('Just "getConst") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
type Rep1 (Const a) = D1 ('MetaData "Const" "GHC.Internal.Data.Functor.Const" "ghc-internal" 'True) (C1 ('MetaCons "Const" 'PrefixI 'True) (S1 ('MetaSel ('Just "getConst") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Functor.Const
data MVector s (Const a b)
- MV_Const (MVector s a)
Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
data Vector (Const a b)
- V_Const (Vector a)
Defined in vector-0.13.2.0 · Data.Vector.Unboxed.Base
type Rep (Const a b) = D1 ('MetaData "Const" "GHC.Internal.Data.Functor.Const" "ghc-internal" 'True) (C1 ('MetaCons "Const" 'PrefixI 'True) (S1 ('MetaSel ('Just "getConst") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))Defined in linear-generics-0.2.3 · Generics.Linear.Instances.Base · orphan
type Rep1 (Const a) = D1 ('MetaData "Const" "GHC.Internal.Data.Functor.Const" "ghc-internal" 'True) (C1 ('MetaCons "Const" 'PrefixI 'True) (S1 ('MetaSel ('Just "getConst") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))Defined in linear-generics-0.2.3 · Generics.Linear.Instances.Base · orphan

classclass Functor f => Applicative (f :: Type -> Type) where

Methods

pure :: a -> f a
(<*>) :: f (a %1 -> b) %1 -> f a %1 -> f binfixl 4
liftA2 :: (a %1 -> b %1 -> c) -> f a %1 -> f b %1 -> f c

Instances24Applicative, …

Applicative IdentityDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
Applicative ReplicatorDefined in linear-base-0.8.1 · Data.Replicator.Linear.Internal.Instances · orphan
Applicative ReplicationStreamDefined in linear-base-0.8.1 · Data.Replicator.Linear.Internal.Instances · orphan
Applicative UrDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
Applicative IODefined in linear-base-0.8.1 · System.IO.Linear
Applicative RIODefined in linear-base-0.8.1 · System.IO.Resource.Linear.Internal
KnownNat n => Applicative (V n)Defined in linear-base-0.8.1 · Data.V.Linear.Internal.Instances · orphan
Applicative f => Applicative (Data f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Instances
Applicative f => Applicative (Yoneda f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
Applicative (StateR s)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Monoid a => Applicative (Tuple2 a)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
Monad m => Applicative (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Applicative m => Applicative (ReaderT r m)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
Monoid x => Applicative (Const x)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
(Functor m, Functor f) => Applicative (Stream f m)Defined in linear-base-0.8.1 · Streaming.Linear.Internal.Type
(Applicative m, Dupable r) => Applicative (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
(Functor g, g ~ h) => Applicative (Curried g h)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
(Monoid a, Monoid b) => Applicative (Tuple3 a b)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
(Generic1 f, Functor (Rep1 f), GApplicative ('ShowType f) (Rep1 f)) => Applicative (Generically1 f)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
(Applicative f, Applicative g) => Applicative (Product f g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
(Applicative f, Applicative g) => Applicative (f :*: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
(Monoid a, Monoid b, Monoid c) => Applicative (Tuple4 a b c)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
Dupable r => Applicative (FUN 'One r)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader · orphan
(Applicative f, Applicative g) => Applicative (Compose f g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative

classclass Functor (f :: Type -> Type) where

Methods

fmap :: (a %1 -> b) -> f a %1 -> f b

Instances54Functor, …

Functor NonEmptyDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor IdentityDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor Par1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor MaybeDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor ArrayDefined in linear-base-0.8.1 · Data.Array.Mutable.Linear.Internal
Functor ArrayDefined in linear-base-0.8.1 · Data.Array.Polarized.Pull.Internal
Functor ArrayDefined in linear-base-0.8.1 · Data.Array.Polarized.Push
Functor ReplicatorDefined in linear-base-0.8.1 · Data.Replicator.Linear.Internal.Instances · orphan
Functor ReplicationStreamDefined in linear-base-0.8.1 · Data.Replicator.Linear.Internal.Instances · orphan
Functor UrDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor VectorDefined in linear-base-0.8.1 · Data.Vector.Mutable.Linear.Internal
Functor IODefined in linear-base-0.8.1 · System.IO.Linear
Functor RIODefined in linear-base-0.8.1 · System.IO.Resource.Linear.Internal
Functor []Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor f => Functor (Data f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Instances
Functor U1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor UAddrDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor UCharDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor UDoubleDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor UFloatDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor UIntDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor UWordDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor V1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor (Either e)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor (Tuple2 a)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor (Yoneda f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
Functor (StateR s)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Functor (HashMap k)Defined in linear-base-0.8.1 · Data.HashMap.Mutable.Linear.Internal
Functor (V n)Defined in linear-base-0.8.1 · Data.V.Linear.Internal.Instances · orphan
Functor (Of a)Defined in linear-base-0.8.1 · Streaming.Linear.Internal.Type
Functor m => Functor (MaybeT m)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor (Const x)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor (Tuple3 a b)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor g => Functor (Curried g h)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
Functor m => Functor (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
Functor m => Functor (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Functor m => Functor (ExceptT e m)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor m => Functor (ReaderT r m)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor m => Functor (StateT s m)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
(Functor m, Functor f) => Functor (Stream f m)Defined in linear-base-0.8.1 · Streaming.Linear.Internal.Type
(Generic1 f, Functor (Rep1 f)) => Functor (Generically1 f)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor (K1 i v)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor (Tuple4 a b c)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor (ContT r m)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor f => Functor (MP1 m f)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
(Functor f, Functor g) => Functor (Product f g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
(Functor f, Functor g) => Functor (Sum f g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
(Functor f, Functor g) => Functor (f :*: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
(Functor f, Functor g) => Functor (f :+: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor (FUN 'One a)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor (Tuple5 a b c d)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Functor f => Functor (M1 i c f)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
(Functor f, Functor g) => Functor (Compose f g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
(Functor f, Functor g) => Functor (f :.: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor

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

Instances15GTraversable, …

GTraversable Par1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable U1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable UAddrDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable UCharDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable UDoubleDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable UFloatDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable UIntDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable UWordDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable V1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable (K1 i c)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(GTraversable f, GTraversable g) => GTraversable (f :*: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(GTraversable f, GTraversable g) => GTraversable (f :+: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(m ~ 'One, GTraversable t) => GTraversable (MP1 m t)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable t => GTraversable (M1 i c t)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(GTraversable f, Traversable g) => GTraversable (f :.: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable

classclass Functor t => Traversable (t :: Type -> Type) where

Methods

traverse :: Applicative f => (a %1 -> f b) -> t a %1 -> f (t b)
sequence :: Applicative f => t (f a) %1 -> f (t a)

Instances24Traversable, …

Traversable NonEmptyDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable Par1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable MaybeDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable []Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
KnownNat n => Traversable (V n)Defined in linear-base-0.8.1 · Data.V.Linear.Internal.Instances · orphan
Traversable U1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable UAddrDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable UCharDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable UDoubleDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable UFloatDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable UIntDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable UWordDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable V1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (Either a)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (Tuple2 a)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (Const a)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (Tuple3 a b)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (K1 i v)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (Tuple4 a b c)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(Traversable f, Traversable g) => Traversable (f :*: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(Traversable f, Traversable g) => Traversable (f :+: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (Tuple5 a b c d)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable f => Traversable (M1 i c f)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(Traversable f, Traversable g) => Traversable (f :.: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable