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_6989586621680721221Sym0 a) a

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

type SequenceA a = Apply SequenceA_6989586621680721233Sym0 a

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

type MapM a a = Apply (Apply MapM_6989586621680721243Sym0 a) a

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

type Sequence a = Apply Sequence_6989586621680721257Sym0 a

Instances

PTraversable []

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Maybe

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Min

Defined in Data.Semigroup.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Max

Defined in Data.Semigroup.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable First

Defined in Data.Semigroup.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Last

Defined in Data.Semigroup.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Identity

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable First

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Last

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Dual

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Sum

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Product

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable NonEmpty

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Either a)

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable ((,) a)

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Arg a)

Defined in Data.Semigroup.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Proxy :: Type -> Type)

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Const m :: Type -> Type)

Defined in Data.Traversable.Singletons

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: 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_6989586621680721221Sym0 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_6989586621680721233Sym0 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_6989586621680721243Sym0 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_6989586621680721257Sym0 t, SMonad m) => Sing t -> Sing (Apply SequenceSym0 t :: m (t a))

Instances

STraversable []

Defined in Data.Traversable.Singletons

Methods

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

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

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

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

STraversable Maybe

Defined in Data.Traversable.Singletons

Methods

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

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

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

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

STraversable Min

Defined in Data.Semigroup.Singletons

Methods

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

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

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

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

STraversable Max

Defined in Data.Semigroup.Singletons

Methods

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

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

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

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

STraversable First

Defined in Data.Semigroup.Singletons

Methods

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

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

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

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

STraversable Last

Defined in Data.Semigroup.Singletons

Methods

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

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

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

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

STraversable Identity

Defined in Data.Traversable.Singletons

Methods

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

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

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

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

STraversable First

Defined in Data.Traversable.Singletons

Methods

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

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

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

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

STraversable Last

Defined in Data.Traversable.Singletons

Methods

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

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

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

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

STraversable Dual

Defined in Data.Traversable.Singletons

Methods

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

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

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

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

STraversable Sum

Defined in Data.Traversable.Singletons

Methods

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

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

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

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

STraversable Product

Defined in Data.Traversable.Singletons

Methods

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

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

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

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

STraversable NonEmpty

Defined in Data.Traversable.Singletons

Methods

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

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

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

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

STraversable (Either a)

Defined in Data.Traversable.Singletons

Methods

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

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

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

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

STraversable ((,) a)

Defined in Data.Traversable.Singletons

Methods

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

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

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

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

STraversable (Arg a)

Defined in Data.Semigroup.Singletons

Methods

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

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

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

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

STraversable (Proxy :: Type -> Type)

Defined in Data.Traversable.Singletons

Methods

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

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

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

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

STraversable (Const m :: Type -> Type)

Defined in Data.Traversable.Singletons

Methods

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

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

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

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

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

Equations

For a_6989586621680728741 a_6989586621680728743 = Apply (Apply (Apply FlipSym0 TraverseSym0) a_6989586621680728741) a_6989586621680728743

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_6989586621680728730 a_6989586621680728732 = Apply (Apply (Apply FlipSym0 MapMSym0) a_6989586621680728730) a_6989586621680728732

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_6989586621680728706 f x (Let6989586621680728704Scrutinee_6989586621680728318Sym2 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_6989586621680728693 f x (Let6989586621680728691Scrutinee_6989586621680728321Sym2 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) (a6989586621680721206 :: a ~> f b)

Defined in Data.Traversable.Singletons

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

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

Instances

(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 a6989586621680721206 :: TyFun (t a) (f (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (TraverseSym1 a6989586621680721206 :: TyFun (t a) (f (t b)) -> Type) (a6989586621680721207 :: t a)

Defined in Data.Traversable.Singletons

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

type family TraverseSym2 (a6989586621680721206 :: (~>) a (f b)) (a6989586621680721207 :: t a) :: f (t b) where ...

Equations

TraverseSym2 a6989586621680721206 a6989586621680721207 = Traverse a6989586621680721206 a6989586621680721207

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) (a6989586621680721210 :: t (f a))

Defined in Data.Traversable.Singletons

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

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

Equations

SequenceASym1 a6989586621680721210 = SequenceA a6989586621680721210

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) (a6989586621680721214 :: a ~> m b)

Defined in Data.Traversable.Singletons

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

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

Instances

(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 a6989586621680721214 :: TyFun (t a) (m (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapMSym1 a6989586621680721214 :: TyFun (t a) (m (t b)) -> Type) (a6989586621680721215 :: t a)

Defined in Data.Traversable.Singletons

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

type family MapMSym2 (a6989586621680721214 :: (~>) a (m b)) (a6989586621680721215 :: t a) :: m (t b) where ...

Equations

MapMSym2 a6989586621680721214 a6989586621680721215 = MapM a6989586621680721214 a6989586621680721215

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) (a6989586621680721218 :: t (m a))

Defined in Data.Traversable.Singletons

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

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

Equations

SequenceSym1 a6989586621680721218 = Sequence a6989586621680721218

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) (a6989586621680728748 :: t a)

Defined in Data.Traversable.Singletons

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

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

Instances

(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 a6989586621680728748 :: TyFun (a ~> f b) (f (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ForSym1 a6989586621680728748 :: TyFun (a ~> f b) (f (t b)) -> Type) (a6989586621680728749 :: a ~> f b)

Defined in Data.Traversable.Singletons

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

type family ForSym2 (a6989586621680728748 :: t a) (a6989586621680728749 :: (~>) a (f b)) :: f (t b) where ...

Equations

ForSym2 a6989586621680728748 a6989586621680728749 = For a6989586621680728748 a6989586621680728749

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) (a6989586621680728737 :: t a)

Defined in Data.Traversable.Singletons

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

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

Instances

(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 a6989586621680728737 :: TyFun (a ~> m b) (m (t b)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ForMSym1 a6989586621680728737 :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680728738 :: a ~> m b)

Defined in Data.Traversable.Singletons

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

type family ForMSym2 (a6989586621680728737 :: t a) (a6989586621680728738 :: (~>) a (m b)) :: m (t b) where ...

Equations

ForMSym2 a6989586621680728737 a6989586621680728738 = ForM a6989586621680728737 a6989586621680728738

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) (a6989586621680728724 :: a ~> (b ~> (a, c)))

Defined in Data.Traversable.Singletons

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

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

Instances

(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 a6989586621680728724 :: TyFun a (t b ~> (a, t c)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Traversable.Singletons

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

data MapAccumLSym2 (a6989586621680728724 :: (~>) a ((~>) b (a, c))) (a6989586621680728725 :: a) :: (~>) (t b) (a, t c)

Instances

(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 a6989586621680728724 a6989586621680728725 :: TyFun (t b) (a, t c) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumLSym2 a6989586621680728724 a6989586621680728725 :: TyFun (t b) (a, t c) -> Type) (a6989586621680728726 :: t b)

Defined in Data.Traversable.Singletons

type Apply (MapAccumLSym2 a6989586621680728724 a6989586621680728725 :: TyFun (t b) (a, t c) -> Type) (a6989586621680728726 :: t b) = MapAccumL a6989586621680728724 a6989586621680728725 a6989586621680728726

type family MapAccumLSym3 (a6989586621680728724 :: (~>) a ((~>) b (a, c))) (a6989586621680728725 :: a) (a6989586621680728726 :: t b) :: (a, t c) where ...

Equations

MapAccumLSym3 a6989586621680728724 a6989586621680728725 a6989586621680728726 = MapAccumL a6989586621680728724 a6989586621680728725 a6989586621680728726

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) (a6989586621680728714 :: a ~> (b ~> (a, c)))

Defined in Data.Traversable.Singletons

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

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

Instances

(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 a6989586621680728714 :: TyFun a (t b ~> (a, t c)) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Traversable.Singletons

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

data MapAccumRSym2 (a6989586621680728714 :: (~>) a ((~>) b (a, c))) (a6989586621680728715 :: a) :: (~>) (t b) (a, t c)

Instances

(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 a6989586621680728714 a6989586621680728715 :: TyFun (t b) (a, t c) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumRSym2 a6989586621680728714 a6989586621680728715 :: TyFun (t b) (a, t c) -> Type) (a6989586621680728716 :: t b)

Defined in Data.Traversable.Singletons

type Apply (MapAccumRSym2 a6989586621680728714 a6989586621680728715 :: TyFun (t b) (a, t c) -> Type) (a6989586621680728716 :: t b) = MapAccumR a6989586621680728714 a6989586621680728715 a6989586621680728716

type family MapAccumRSym3 (a6989586621680728714 :: (~>) a ((~>) b (a, c))) (a6989586621680728715 :: a) (a6989586621680728716 :: t b) :: (a, t c) where ...

Equations

MapAccumRSym3 a6989586621680728714 a6989586621680728715 a6989586621680728716 = MapAccumR a6989586621680728714 a6989586621680728715 a6989586621680728716

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) (a6989586621680728700 :: a ~> b)

Defined in Data.Traversable.Singletons

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

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

Instances

(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 a6989586621680728700 :: TyFun (t a) (t b) -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FmapDefaultSym1 a6989586621680728700 :: TyFun (t a) (t b) -> Type) (a6989586621680728701 :: t a)

Defined in Data.Traversable.Singletons

type Apply (FmapDefaultSym1 a6989586621680728700 :: TyFun (t a) (t b) -> Type) (a6989586621680728701 :: t a) = FmapDefault a6989586621680728700 a6989586621680728701

type family FmapDefaultSym2 (a6989586621680728700 :: (~>) a b) (a6989586621680728701 :: t a) :: t b where ...

Equations

FmapDefaultSym2 a6989586621680728700 a6989586621680728701 = FmapDefault a6989586621680728700 a6989586621680728701

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) (a6989586621680728681 :: a ~> m)

Defined in Data.Traversable.Singletons

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

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

Instances

(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 a6989586621680728681 :: TyFun (t a) m -> Type)

Defined in Data.Traversable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldMapDefaultSym1 a6989586621680728681 :: TyFun (t a) m -> Type) (a6989586621680728682 :: t a)

Defined in Data.Traversable.Singletons

type Apply (FoldMapDefaultSym1 a6989586621680728681 :: TyFun (t a) m -> Type) (a6989586621680728682 :: t a) = FoldMapDefault a6989586621680728681 a6989586621680728682

type family FoldMapDefaultSym2 (a6989586621680728681 :: (~>) a m) (a6989586621680728682 :: t a) :: m where ...

Equations

FoldMapDefaultSym2 a6989586621680728681 a6989586621680728682 = FoldMapDefault a6989586621680728681 a6989586621680728682