Data.Traversable.Singletons

Defines the promoted and singled versions of the Traversable type class.

Documentation

class PTraversable t

Associated Types

type Traverse (arg :: (~>) a (f b)) (arg :: t a) :: f (t b)

type Traverse a a = Apply (Apply Traverse_6989586621680796862Sym0 a) a

type SequenceA (arg :: t (f a)) :: f (t a)

type SequenceA a = Apply SequenceA_6989586621680796874Sym0 a

type MapM (arg :: (~>) a (m b)) (arg :: t a) :: m (t b)

type MapM a a = Apply (Apply MapM_6989586621680796884Sym0 a) a

type Sequence (arg :: t (m a)) :: m (t a)

type Sequence a = Apply Sequence_6989586621680796898Sym0 a

Instances

PTraversable Identity

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable First

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable Last

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable First

Defined in Data.Semigroup.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable Last

Defined in Data.Semigroup.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable Max

Defined in Data.Semigroup.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable Min

Defined in Data.Semigroup.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable Dual

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable Product

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable Sum

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable NonEmpty

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable Maybe

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable []

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Either a)

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Proxy :: Type -> Type)

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Arg a)

Defined in Data.Semigroup.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable ((,) a)

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Const m :: Type -> Type)

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Product f g)

Defined in Data.Functor.Product.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Sum f g)

Defined in Data.Functor.Sum.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Compose f g)

Defined in Data.Functor.Compose.Singletons

Associated Types

type Traverse arg arg1 :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg1 :: m (t b)

type Sequence arg :: m (t a)

class (SFunctor t, SFoldable t) => STraversable t where

Minimal complete definition

Nothing

Methods

sTraverse :: forall a f b (t :: (~>) a (f b)) (t :: t a). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t :: f (t b))

default sTraverse :: forall a f b (t :: (~>) a (f b)) (t :: t a). ((Apply (Apply TraverseSym0 t) t :: f (t b)) ~ Apply (Apply Traverse_6989586621680796862Sym0 t) t, SApplicative f) => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t :: f (t b))

sSequenceA :: forall f a (t :: t (f a)). SApplicative f => Sing t -> Sing (Apply SequenceASym0 t :: f (t a))

default sSequenceA :: forall f a (t :: t (f a)). ((Apply SequenceASym0 t :: f (t a)) ~ Apply SequenceA_6989586621680796874Sym0 t, SApplicative f) => Sing t -> Sing (Apply SequenceASym0 t :: f (t a))

sMapM :: forall a m b (t :: (~>) a (m b)) (t :: t a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t :: m (t b))

default sMapM :: forall a m b (t :: (~>) a (m b)) (t :: t a). ((Apply (Apply MapMSym0 t) t :: m (t b)) ~ Apply (Apply MapM_6989586621680796884Sym0 t) t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t :: m (t b))

sSequence :: forall m a (t :: t (m a)). SMonad m => Sing t -> Sing (Apply SequenceSym0 t :: m (t a))

default sSequence :: forall m a (t :: t (m a)). ((Apply SequenceSym0 t :: m (t a)) ~ Apply Sequence_6989586621680796898Sym0 t, SMonad m) => Sing t -> Sing (Apply SequenceSym0 t :: m (t a))

Instances

STraversable Identity

Defined in Data.Traversable.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: Identity a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: Identity (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Identity a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: Identity (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable First

Defined in Data.Traversable.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: First a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: First (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: First a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: First (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable Last

Defined in Data.Traversable.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: Last a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: Last (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Last a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: Last (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable First

Defined in Data.Semigroup.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: First a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: First (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: First a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: First (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable Last

Defined in Data.Semigroup.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: Last a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: Last (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Last a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: Last (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable Max

Defined in Data.Semigroup.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: Max a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: Max (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Max a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: Max (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable Min

Defined in Data.Semigroup.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: Min a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: Min (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Min a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: Min (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable Dual

Defined in Data.Traversable.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: Dual a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: Dual (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Dual a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: Dual (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable Product

Defined in Data.Traversable.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: Product a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: Product (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Product a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: Product (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable Sum

Defined in Data.Traversable.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: Sum a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: Sum (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Sum a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: Sum (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable NonEmpty

Defined in Data.Traversable.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: NonEmpty a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: NonEmpty (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: NonEmpty a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: NonEmpty (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable Maybe

Defined in Data.Traversable.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: Maybe a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: Maybe (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Maybe a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: Maybe (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable []

Defined in Data.Traversable.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: [a]). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: [f a]). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: [a]). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: [m a]). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable (Either a)

Defined in Data.Traversable.Singletons

Methods

sTraverse :: forall a0 (f :: Type -> Type) b (t1 :: a0 ~> f b) (t2 :: Either a a0). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a0 (t1 :: Either a (f a0)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a0 (m :: Type -> Type) b (t1 :: a0 ~> m b) (t2 :: Either a a0). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a0 (t1 :: Either a (m a0)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable (Proxy :: Type -> Type)

Defined in Data.Traversable.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: Proxy a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: Proxy (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Proxy a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: Proxy (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable (Arg a)

Defined in Data.Semigroup.Singletons

Methods

sTraverse :: forall a0 (f :: Type -> Type) b (t1 :: a0 ~> f b) (t2 :: Arg a a0). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a0 (t1 :: Arg a (f a0)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a0 (m :: Type -> Type) b (t1 :: a0 ~> m b) (t2 :: Arg a a0). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a0 (t1 :: Arg a (m a0)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable ((,) a)

Defined in Data.Traversable.Singletons

Methods

sTraverse :: forall a0 (f :: Type -> Type) b (t1 :: a0 ~> f b) (t2 :: (a, a0)). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a0 (t1 :: (a, f a0)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a0 (m :: Type -> Type) b (t1 :: a0 ~> m b) (t2 :: (a, a0)). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a0 (t1 :: (a, m a0)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

STraversable (Const m :: Type -> Type)

Defined in Data.Traversable.Singletons

Methods

sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: Const m a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f :: Type -> Type) a (t1 :: Const m (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m0 :: Type -> Type) b (t1 :: a ~> m0 b) (t2 :: Const m a). SMonad m0 => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m0 :: Type -> Type) a (t1 :: Const m (m0 a)). SMonad m0 => Sing t1 -> Sing (Apply SequenceSym0 t1)

(STraversable f, STraversable g) => STraversable (Product f g)

Defined in Data.Functor.Product.Singletons

Methods

sTraverse :: forall a (f0 :: Type -> Type) b (t1 :: a ~> f0 b) (t2 :: Product f g a). SApplicative f0 => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f0 :: Type -> Type) a (t1 :: Product f g (f0 a)). SApplicative f0 => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Product f g a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: Product f g (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

(STraversable f, STraversable g) => STraversable (Sum f g)

Defined in Data.Functor.Sum.Singletons

Methods

sTraverse :: forall a (f0 :: Type -> Type) b (t1 :: a ~> f0 b) (t2 :: Sum f g a). SApplicative f0 => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f0 :: Type -> Type) a (t1 :: Sum f g (f0 a)). SApplicative f0 => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Sum f g a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: Sum f g (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

(STraversable f, STraversable g) => STraversable (Compose f g)

Defined in Data.Functor.Compose.Singletons

Methods

sTraverse :: forall a (f0 :: Type -> Type) b (t1 :: a ~> f0 b) (t2 :: Compose f g a). SApplicative f0 => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2)

sSequenceA :: forall (f0 :: Type -> Type) a (t1 :: Compose f g (f0 a)). SApplicative f0 => Sing t1 -> Sing (Apply SequenceASym0 t1)

sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Compose f g a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2)

sSequence :: forall (m :: Type -> Type) a (t1 :: Compose f g (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1)

type family For (a :: t a) (a :: (~>) a (f b)) :: f (t b) where ...

Equations

For a_6989586621680804453 a_6989586621680804455 = Apply (Apply (Apply FlipSym0 TraverseSym0) a_6989586621680804453) a_6989586621680804455

sFor :: forall t a f b (t :: t a) (t :: (~>) a (f b)). (STraversable t, SApplicative f) => Sing t -> Sing t -> Sing (Apply (Apply ForSym0 t) t :: f (t b))

type family ForM (a :: t a) (a :: (~>) a (m b)) :: m (t b) where ...

Equations

ForM a_6989586621680804442 a_6989586621680804444 = Apply (Apply (Apply FlipSym0 MapMSym0) a_6989586621680804442) a_6989586621680804444

sForM :: forall t a m b (t :: t a) (t :: (~>) a (m b)). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForMSym0 t) t :: m (t b))

type family MapAccumL (a :: (~>) a ((~>) b (a, c))) (a :: a) (a :: t b) :: (a, t c) where ...

Equations

MapAccumL f s t = Apply (Apply RunStateLSym0 (Apply (Apply TraverseSym0 (Apply (Apply (.@#@$) StateLSym0) (Apply FlipSym0 f))) t)) s

sMapAccumL :: forall t a b c (t :: (~>) a ((~>) b (a, c))) (t :: a) (t :: t b). STraversable t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MapAccumLSym0 t) t) t :: (a, t c))

type family MapAccumR (a :: (~>) a ((~>) b (a, c))) (a :: a) (a :: t b) :: (a, t c) where ...

Equations

MapAccumR f s t = Apply (Apply RunStateRSym0 (Apply (Apply TraverseSym0 (Apply (Apply (.@#@$) StateRSym0) (Apply FlipSym0 f))) t)) s

sMapAccumR :: forall a b c t (t :: (~>) a ((~>) b (a, c))) (t :: a) (t :: t b). STraversable t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MapAccumRSym0 t) t) t :: (a, t c))

type family FmapDefault (a :: (~>) a b) (a :: t a) :: t b where ...

Equations

FmapDefault f x = Case_6989586621680804418 f x (Let6989586621680804416Scrutinee_6989586621680804060Sym2 f x)

sFmapDefault :: forall t a b (t :: (~>) a b) (t :: t a). STraversable t => Sing t -> Sing t -> Sing (Apply (Apply FmapDefaultSym0 t) t :: t b)

type family FoldMapDefault (a :: (~>) a m) (a :: t a) :: m where ...

Equations

FoldMapDefault f x = Case_6989586621680804405 f x (Let6989586621680804403Scrutinee_6989586621680804063Sym2 f x)

sFoldMapDefault :: forall t m a (t :: (~>) a m) (t :: t a). (STraversable t, SMonoid m) => Sing t -> Sing t -> Sing (Apply (Apply FoldMapDefaultSym0 t) t :: m)

Defunctionalization symbols

data TraverseSym0 :: (~>) ((~>) a (f b)) ((~>) (t a) (f (t b)))

Instances

(STraversable t, SApplicative f) => SingI (TraverseSym0 :: TyFun (a ~> f b) (t a ~> f (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing TraverseSym0

SuppressUnusedWarnings (TraverseSym0 :: TyFun (a ~> f b) (t a ~> f (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (TraverseSym0 :: TyFun (a ~> f b) (t a ~> f (t b)) -> Type) (a6989586621680796847 :: a ~> f b)

Defined in Data.Traversable.Singletons

type Apply (TraverseSym0 :: TyFun (a ~> f b) (t a ~> f (t b)) -> Type) (a6989586621680796847 :: a ~> f b) = TraverseSym1 a6989586621680796847 :: TyFun (t a) (f (t b)) -> Type

data TraverseSym1 (a6989586621680796847 :: (~>) a (f b)) :: (~>) (t a) (f (t b))

Instances

(STraversable t, SApplicative f) => SingI1 (TraverseSym1 :: (a ~> f b) -> TyFun (t a) (f (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (TraverseSym1 x)

(STraversable t, SApplicative f, SingI d) => SingI (TraverseSym1 d :: TyFun (t a) (f (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing (TraverseSym1 d)

SuppressUnusedWarnings (TraverseSym1 a6989586621680796847 :: TyFun (t a) (f (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (TraverseSym1 a6989586621680796847 :: TyFun (t a) (f (t b)) -> Type) (a6989586621680796848 :: t a)

Defined in Data.Traversable.Singletons

type Apply (TraverseSym1 a6989586621680796847 :: TyFun (t a) (f (t b)) -> Type) (a6989586621680796848 :: t a) = Traverse a6989586621680796847 a6989586621680796848

type family TraverseSym2 (a6989586621680796847 :: (~>) a (f b)) (a6989586621680796848 :: t a) :: f (t b) where ...

Equations

TraverseSym2 a6989586621680796847 a6989586621680796848 = Traverse a6989586621680796847 a6989586621680796848

data SequenceASym0 :: (~>) (t (f a)) (f (t a))

Instances

(STraversable t, SApplicative f) => SingI (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing SequenceASym0

SuppressUnusedWarnings (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) (a6989586621680796851 :: t (f a))

Defined in Data.Traversable.Singletons

type Apply (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) (a6989586621680796851 :: t (f a)) = SequenceA a6989586621680796851

type family SequenceASym1 (a6989586621680796851 :: t (f a)) :: f (t a) where ...

Equations

SequenceASym1 a6989586621680796851 = SequenceA a6989586621680796851

data MapMSym0 :: (~>) ((~>) a (m b)) ((~>) (t a) (m (t b)))

Instances

(STraversable t, SMonad m) => SingI (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing MapMSym0

SuppressUnusedWarnings (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) (a6989586621680796855 :: a ~> m b)

Defined in Data.Traversable.Singletons

type Apply (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) (a6989586621680796855 :: a ~> m b) = MapMSym1 a6989586621680796855 :: TyFun (t a) (m (t b)) -> Type

data MapMSym1 (a6989586621680796855 :: (~>) a (m b)) :: (~>) (t a) (m (t b))

Instances

(STraversable t, SMonad m) => SingI1 (MapMSym1 :: (a ~> m b) -> TyFun (t a) (m (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (MapMSym1 x)

(STraversable t, SMonad m, SingI d) => SingI (MapMSym1 d :: TyFun (t a) (m (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing (MapMSym1 d)

SuppressUnusedWarnings (MapMSym1 a6989586621680796855 :: TyFun (t a) (m (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapMSym1 a6989586621680796855 :: TyFun (t a) (m (t b)) -> Type) (a6989586621680796856 :: t a)

Defined in Data.Traversable.Singletons

type Apply (MapMSym1 a6989586621680796855 :: TyFun (t a) (m (t b)) -> Type) (a6989586621680796856 :: t a) = MapM a6989586621680796855 a6989586621680796856

type family MapMSym2 (a6989586621680796855 :: (~>) a (m b)) (a6989586621680796856 :: t a) :: m (t b) where ...

Equations

MapMSym2 a6989586621680796855 a6989586621680796856 = MapM a6989586621680796855 a6989586621680796856

data SequenceSym0 :: (~>) (t (m a)) (m (t a))

Instances

(STraversable t, SMonad m) => SingI (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing SequenceSym0

SuppressUnusedWarnings (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (a6989586621680796859 :: t (m a))

Defined in Data.Traversable.Singletons

type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (a6989586621680796859 :: t (m a)) = Sequence a6989586621680796859

type family SequenceSym1 (a6989586621680796859 :: t (m a)) :: m (t a) where ...

Equations

SequenceSym1 a6989586621680796859 = Sequence a6989586621680796859

data ForSym0 :: (~>) (t a) ((~>) ((~>) a (f b)) (f (t b)))

Instances

(STraversable t, SApplicative f) => SingI (ForSym0 :: TyFun (t a) ((a ~> f b) ~> f (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing ForSym0

SuppressUnusedWarnings (ForSym0 :: TyFun (t a) ((a ~> f b) ~> f (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ForSym0 :: TyFun (t a) ((a ~> f b) ~> f (t b)) -> Type) (a6989586621680804460 :: t a)

Defined in Data.Traversable.Singletons

type Apply (ForSym0 :: TyFun (t a) ((a ~> f b) ~> f (t b)) -> Type) (a6989586621680804460 :: t a) = ForSym1 a6989586621680804460 :: TyFun (a ~> f b) (f (t b)) -> Type

data ForSym1 (a6989586621680804460 :: t a) :: (~>) ((~>) a (f b)) (f (t b))

Instances

(STraversable t, SApplicative f) => SingI1 (ForSym1 :: t a -> TyFun (a ~> f b) (f (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (ForSym1 x)

(STraversable t, SApplicative f, SingI d) => SingI (ForSym1 d :: TyFun (a ~> f b) (f (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing (ForSym1 d)

SuppressUnusedWarnings (ForSym1 a6989586621680804460 :: TyFun (a ~> f b) (f (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ForSym1 a6989586621680804460 :: TyFun (a ~> f b) (f (t b)) -> Type) (a6989586621680804461 :: a ~> f b)

Defined in Data.Traversable.Singletons

type Apply (ForSym1 a6989586621680804460 :: TyFun (a ~> f b) (f (t b)) -> Type) (a6989586621680804461 :: a ~> f b) = For a6989586621680804460 a6989586621680804461

type family ForSym2 (a6989586621680804460 :: t a) (a6989586621680804461 :: (~>) a (f b)) :: f (t b) where ...

Equations

ForSym2 a6989586621680804460 a6989586621680804461 = For a6989586621680804460 a6989586621680804461

data ForMSym0 :: (~>) (t a) ((~>) ((~>) a (m b)) (m (t b)))

Instances

(STraversable t, SMonad m) => SingI (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing ForMSym0

SuppressUnusedWarnings (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) (a6989586621680804449 :: t a)

Defined in Data.Traversable.Singletons

type Apply (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) (a6989586621680804449 :: t a) = ForMSym1 a6989586621680804449 :: TyFun (a ~> m b) (m (t b)) -> Type

data ForMSym1 (a6989586621680804449 :: t a) :: (~>) ((~>) a (m b)) (m (t b))

Instances

(STraversable t, SMonad m) => SingI1 (ForMSym1 :: t a -> TyFun (a ~> m b) (m (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (ForMSym1 x)

(STraversable t, SMonad m, SingI d) => SingI (ForMSym1 d :: TyFun (a ~> m b) (m (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing (ForMSym1 d)

SuppressUnusedWarnings (ForMSym1 a6989586621680804449 :: TyFun (a ~> m b) (m (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ForMSym1 a6989586621680804449 :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680804450 :: a ~> m b)

Defined in Data.Traversable.Singletons

type Apply (ForMSym1 a6989586621680804449 :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680804450 :: a ~> m b) = ForM a6989586621680804449 a6989586621680804450

type family ForMSym2 (a6989586621680804449 :: t a) (a6989586621680804450 :: (~>) a (m b)) :: m (t b) where ...

Equations

ForMSym2 a6989586621680804449 a6989586621680804450 = ForM a6989586621680804449 a6989586621680804450

data MapAccumLSym0 :: (~>) ((~>) a ((~>) b (a, c))) ((~>) a ((~>) (t b) (a, t c)))

Instances

STraversable t => SingI (MapAccumLSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing MapAccumLSym0

SuppressUnusedWarnings (MapAccumLSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumLSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type) (a6989586621680804436 :: a ~> (b ~> (a, c)))

Defined in Data.Traversable.Singletons

type Apply (MapAccumLSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type) (a6989586621680804436 :: a ~> (b ~> (a, c))) = MapAccumLSym1 a6989586621680804436 :: TyFun a (t b ~> (a, t c)) -> Type

data MapAccumLSym1 (a6989586621680804436 :: (~>) a ((~>) b (a, c))) :: (~>) a ((~>) (t b) (a, t c))

Instances

STraversable t => SingI1 (MapAccumLSym1 :: (a ~> (b ~> (a, c))) -> TyFun a (t b ~> (a, t c)) -> Type)

Defined in Data.Traversable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (MapAccumLSym1 x)

(STraversable t, SingI d) => SingI (MapAccumLSym1 d :: TyFun a (t b ~> (a, t c)) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing (MapAccumLSym1 d)

SuppressUnusedWarnings (MapAccumLSym1 a6989586621680804436 :: TyFun a (t b ~> (a, t c)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumLSym1 a6989586621680804436 :: TyFun a (t b ~> (a, t c)) -> Type) (a6989586621680804437 :: a)

Defined in Data.Traversable.Singletons

type Apply (MapAccumLSym1 a6989586621680804436 :: TyFun a (t b ~> (a, t c)) -> Type) (a6989586621680804437 :: a) = MapAccumLSym2 a6989586621680804436 a6989586621680804437 :: TyFun (t b) (a, t c) -> Type

data MapAccumLSym2 (a6989586621680804436 :: (~>) a ((~>) b (a, c))) (a6989586621680804437 :: a) :: (~>) (t b) (a, t c)

Instances

(STraversable t, SingI d) => SingI1 (MapAccumLSym2 d :: a -> TyFun (t b) (a, t c) -> Type)

Defined in Data.Traversable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (MapAccumLSym2 d x)

STraversable t => SingI2 (MapAccumLSym2 :: (a ~> (b ~> (a, c))) -> a -> TyFun (t b) (a, t c) -> Type)

Defined in Data.Traversable.Singletons

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (MapAccumLSym2 x y)

(STraversable t, SingI d1, SingI d2) => SingI (MapAccumLSym2 d1 d2 :: TyFun (t b) (a, t c) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing (MapAccumLSym2 d1 d2)

SuppressUnusedWarnings (MapAccumLSym2 a6989586621680804436 a6989586621680804437 :: TyFun (t b) (a, t c) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumLSym2 a6989586621680804436 a6989586621680804437 :: TyFun (t b) (a, t c) -> Type) (a6989586621680804438 :: t b)

Defined in Data.Traversable.Singletons

type Apply (MapAccumLSym2 a6989586621680804436 a6989586621680804437 :: TyFun (t b) (a, t c) -> Type) (a6989586621680804438 :: t b) = MapAccumL a6989586621680804436 a6989586621680804437 a6989586621680804438

type family MapAccumLSym3 (a6989586621680804436 :: (~>) a ((~>) b (a, c))) (a6989586621680804437 :: a) (a6989586621680804438 :: t b) :: (a, t c) where ...

Equations

MapAccumLSym3 a6989586621680804436 a6989586621680804437 a6989586621680804438 = MapAccumL a6989586621680804436 a6989586621680804437 a6989586621680804438

data MapAccumRSym0 :: (~>) ((~>) a ((~>) b (a, c))) ((~>) a ((~>) (t b) (a, t c)))

Instances

STraversable t => SingI (MapAccumRSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing MapAccumRSym0

SuppressUnusedWarnings (MapAccumRSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumRSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type) (a6989586621680804426 :: a ~> (b ~> (a, c)))

Defined in Data.Traversable.Singletons

type Apply (MapAccumRSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type) (a6989586621680804426 :: a ~> (b ~> (a, c))) = MapAccumRSym1 a6989586621680804426 :: TyFun a (t b ~> (a, t c)) -> Type

data MapAccumRSym1 (a6989586621680804426 :: (~>) a ((~>) b (a, c))) :: (~>) a ((~>) (t b) (a, t c))

Instances

STraversable t => SingI1 (MapAccumRSym1 :: (a ~> (b ~> (a, c))) -> TyFun a (t b ~> (a, t c)) -> Type)

Defined in Data.Traversable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (MapAccumRSym1 x)

(STraversable t, SingI d) => SingI (MapAccumRSym1 d :: TyFun a (t b ~> (a, t c)) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing (MapAccumRSym1 d)

SuppressUnusedWarnings (MapAccumRSym1 a6989586621680804426 :: TyFun a (t b ~> (a, t c)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumRSym1 a6989586621680804426 :: TyFun a (t b ~> (a, t c)) -> Type) (a6989586621680804427 :: a)

Defined in Data.Traversable.Singletons

type Apply (MapAccumRSym1 a6989586621680804426 :: TyFun a (t b ~> (a, t c)) -> Type) (a6989586621680804427 :: a) = MapAccumRSym2 a6989586621680804426 a6989586621680804427 :: TyFun (t b) (a, t c) -> Type

data MapAccumRSym2 (a6989586621680804426 :: (~>) a ((~>) b (a, c))) (a6989586621680804427 :: a) :: (~>) (t b) (a, t c)

Instances

(STraversable t, SingI d) => SingI1 (MapAccumRSym2 d :: a -> TyFun (t b) (a, t c) -> Type)

Defined in Data.Traversable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (MapAccumRSym2 d x)

STraversable t => SingI2 (MapAccumRSym2 :: (a ~> (b ~> (a, c))) -> a -> TyFun (t b) (a, t c) -> Type)

Defined in Data.Traversable.Singletons

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (MapAccumRSym2 x y)

(STraversable t, SingI d1, SingI d2) => SingI (MapAccumRSym2 d1 d2 :: TyFun (t b) (a, t c) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing (MapAccumRSym2 d1 d2)

SuppressUnusedWarnings (MapAccumRSym2 a6989586621680804426 a6989586621680804427 :: TyFun (t b) (a, t c) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumRSym2 a6989586621680804426 a6989586621680804427 :: TyFun (t b) (a, t c) -> Type) (a6989586621680804428 :: t b)

Defined in Data.Traversable.Singletons

type Apply (MapAccumRSym2 a6989586621680804426 a6989586621680804427 :: TyFun (t b) (a, t c) -> Type) (a6989586621680804428 :: t b) = MapAccumR a6989586621680804426 a6989586621680804427 a6989586621680804428

type family MapAccumRSym3 (a6989586621680804426 :: (~>) a ((~>) b (a, c))) (a6989586621680804427 :: a) (a6989586621680804428 :: t b) :: (a, t c) where ...

Equations

MapAccumRSym3 a6989586621680804426 a6989586621680804427 a6989586621680804428 = MapAccumR a6989586621680804426 a6989586621680804427 a6989586621680804428

data FmapDefaultSym0 :: (~>) ((~>) a b) ((~>) (t a) (t b))

Instances

STraversable t => SingI (FmapDefaultSym0 :: TyFun (a ~> b) (t a ~> t b) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing FmapDefaultSym0

SuppressUnusedWarnings (FmapDefaultSym0 :: TyFun (a ~> b) (t a ~> t b) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FmapDefaultSym0 :: TyFun (a ~> b) (t a ~> t b) -> Type) (a6989586621680804412 :: a ~> b)

Defined in Data.Traversable.Singletons

type Apply (FmapDefaultSym0 :: TyFun (a ~> b) (t a ~> t b) -> Type) (a6989586621680804412 :: a ~> b) = FmapDefaultSym1 a6989586621680804412 :: TyFun (t a) (t b) -> Type

data FmapDefaultSym1 (a6989586621680804412 :: (~>) a b) :: (~>) (t a) (t b)

Instances

STraversable t => SingI1 (FmapDefaultSym1 :: (a ~> b) -> TyFun (t a) (t b) -> Type)

Defined in Data.Traversable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (FmapDefaultSym1 x)

(STraversable t, SingI d) => SingI (FmapDefaultSym1 d :: TyFun (t a) (t b) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing (FmapDefaultSym1 d)

SuppressUnusedWarnings (FmapDefaultSym1 a6989586621680804412 :: TyFun (t a) (t b) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FmapDefaultSym1 a6989586621680804412 :: TyFun (t a) (t b) -> Type) (a6989586621680804413 :: t a)

Defined in Data.Traversable.Singletons

type Apply (FmapDefaultSym1 a6989586621680804412 :: TyFun (t a) (t b) -> Type) (a6989586621680804413 :: t a) = FmapDefault a6989586621680804412 a6989586621680804413

type family FmapDefaultSym2 (a6989586621680804412 :: (~>) a b) (a6989586621680804413 :: t a) :: t b where ...

Equations

FmapDefaultSym2 a6989586621680804412 a6989586621680804413 = FmapDefault a6989586621680804412 a6989586621680804413

data FoldMapDefaultSym0 :: (~>) ((~>) a m) ((~>) (t a) m)

Instances

(STraversable t, SMonoid m) => SingI (FoldMapDefaultSym0 :: TyFun (a ~> m) (t a ~> m) -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing FoldMapDefaultSym0

SuppressUnusedWarnings (FoldMapDefaultSym0 :: TyFun (a ~> m) (t a ~> m) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldMapDefaultSym0 :: TyFun (a ~> m) (t a ~> m) -> Type) (a6989586621680804393 :: a ~> m)

Defined in Data.Traversable.Singletons

type Apply (FoldMapDefaultSym0 :: TyFun (a ~> m) (t a ~> m) -> Type) (a6989586621680804393 :: a ~> m) = FoldMapDefaultSym1 a6989586621680804393 :: TyFun (t a) m -> Type

data FoldMapDefaultSym1 (a6989586621680804393 :: (~>) a m) :: (~>) (t a) m

Instances

(STraversable t, SMonoid m) => SingI1 (FoldMapDefaultSym1 :: (a ~> m) -> TyFun (t a) m -> Type)

Defined in Data.Traversable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (FoldMapDefaultSym1 x)

(STraversable t, SMonoid m, SingI d) => SingI (FoldMapDefaultSym1 d :: TyFun (t a) m -> Type)

Defined in Data.Traversable.Singletons

Methods

sing :: Sing (FoldMapDefaultSym1 d)

SuppressUnusedWarnings (FoldMapDefaultSym1 a6989586621680804393 :: TyFun (t a) m -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldMapDefaultSym1 a6989586621680804393 :: TyFun (t a) m -> Type) (a6989586621680804394 :: t a)

Defined in Data.Traversable.Singletons

type Apply (FoldMapDefaultSym1 a6989586621680804393 :: TyFun (t a) m -> Type) (a6989586621680804394 :: t a) = FoldMapDefault a6989586621680804393 a6989586621680804394

type family FoldMapDefaultSym2 (a6989586621680804393 :: (~>) a m) (a6989586621680804394 :: t a) :: m where ...

Equations

FoldMapDefaultSym2 a6989586621680804393 a6989586621680804394 = FoldMapDefault a6989586621680804393 a6989586621680804394