Copyright	(C) 2018 Ryan Scott
License	BSD-style (see LICENSE)
Maintainer	Ryan Scott
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Singletons.Prelude.Traversable

Contents

Defunctionalization symbols

Description

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

Synopsis

class (PFunctor t, PFoldable t) => PTraversable (t :: Type -> Type) where
- type Traverse (arg :: (~>) a (f b)) (arg :: t a) :: f (t b)
- type SequenceA (arg :: t (f a)) :: f (t a)
- type MapM (arg :: (~>) a (m b)) (arg :: t a) :: m (t b)
- type Sequence (arg :: t (m a)) :: m (t a)
class (SFunctor t, SFoldable t) => STraversable (t :: Type -> Type) where
- sTraverse :: forall f a b (t :: (~>) a (f b)) (t :: t a). 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))
- sMapM :: forall m a b (t :: (~>) a (m b)) (t :: t a). 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))
type family For (a :: t a) (a :: (~>) a (f b)) :: f (t b) where ...
sFor :: forall t f a 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 ...
sForM :: forall t m a 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 ...
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 ...
sMapAccumR :: 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 MapAccumRSym0 t) t) t :: (a, t c))
type family FmapDefault (a :: (~>) a b) (a :: t a) :: t b where ...
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 ...
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)
data TraverseSym0 :: forall a6989586621680790270 b6989586621680790271 f6989586621680790269 t6989586621680790268. (~>) ((~>) a6989586621680790270 (f6989586621680790269 b6989586621680790271)) ((~>) (t6989586621680790268 a6989586621680790270) (f6989586621680790269 (t6989586621680790268 b6989586621680790271)))
data TraverseSym1 (arg6989586621680790280 :: (~>) a6989586621680790270 (f6989586621680790269 b6989586621680790271)) :: forall t6989586621680790268. (~>) (t6989586621680790268 a6989586621680790270) (f6989586621680790269 (t6989586621680790268 b6989586621680790271))
type TraverseSym2 (arg6989586621680790280 :: (~>) a6989586621680790270 (f6989586621680790269 b6989586621680790271)) (arg6989586621680790281 :: t6989586621680790268 a6989586621680790270) = Traverse arg6989586621680790280 arg6989586621680790281
data SequenceASym0 :: forall a6989586621680790273 f6989586621680790272 t6989586621680790268. (~>) (t6989586621680790268 (f6989586621680790272 a6989586621680790273)) (f6989586621680790272 (t6989586621680790268 a6989586621680790273))
type SequenceASym1 (arg6989586621680790284 :: t6989586621680790268 (f6989586621680790272 a6989586621680790273)) = SequenceA arg6989586621680790284
data MapMSym0 :: forall a6989586621680790275 b6989586621680790276 m6989586621680790274 t6989586621680790268. (~>) ((~>) a6989586621680790275 (m6989586621680790274 b6989586621680790276)) ((~>) (t6989586621680790268 a6989586621680790275) (m6989586621680790274 (t6989586621680790268 b6989586621680790276)))
data MapMSym1 (arg6989586621680790286 :: (~>) a6989586621680790275 (m6989586621680790274 b6989586621680790276)) :: forall t6989586621680790268. (~>) (t6989586621680790268 a6989586621680790275) (m6989586621680790274 (t6989586621680790268 b6989586621680790276))
type MapMSym2 (arg6989586621680790286 :: (~>) a6989586621680790275 (m6989586621680790274 b6989586621680790276)) (arg6989586621680790287 :: t6989586621680790268 a6989586621680790275) = MapM arg6989586621680790286 arg6989586621680790287
data SequenceSym0 :: forall a6989586621680790278 m6989586621680790277 t6989586621680790268. (~>) (t6989586621680790268 (m6989586621680790277 a6989586621680790278)) (m6989586621680790277 (t6989586621680790268 a6989586621680790278))
type SequenceSym1 (arg6989586621680790290 :: t6989586621680790268 (m6989586621680790277 a6989586621680790278)) = Sequence arg6989586621680790290
data ForSym0 :: forall a6989586621680795855 b6989586621680795856 f6989586621680795854 t6989586621680795853. (~>) (t6989586621680795853 a6989586621680795855) ((~>) ((~>) a6989586621680795855 (f6989586621680795854 b6989586621680795856)) (f6989586621680795854 (t6989586621680795853 b6989586621680795856)))
data ForSym1 (a6989586621680796416 :: t6989586621680795853 a6989586621680795855) :: forall b6989586621680795856 f6989586621680795854. (~>) ((~>) a6989586621680795855 (f6989586621680795854 b6989586621680795856)) (f6989586621680795854 (t6989586621680795853 b6989586621680795856))
type ForSym2 (a6989586621680796416 :: t6989586621680795853 a6989586621680795855) (a6989586621680796417 :: (~>) a6989586621680795855 (f6989586621680795854 b6989586621680795856)) = For a6989586621680796416 a6989586621680796417
data ForMSym0 :: forall a6989586621680795851 b6989586621680795852 m6989586621680795850 t6989586621680795849. (~>) (t6989586621680795849 a6989586621680795851) ((~>) ((~>) a6989586621680795851 (m6989586621680795850 b6989586621680795852)) (m6989586621680795850 (t6989586621680795849 b6989586621680795852)))
data ForMSym1 (a6989586621680796406 :: t6989586621680795849 a6989586621680795851) :: forall b6989586621680795852 m6989586621680795850. (~>) ((~>) a6989586621680795851 (m6989586621680795850 b6989586621680795852)) (m6989586621680795850 (t6989586621680795849 b6989586621680795852))
type ForMSym2 (a6989586621680796406 :: t6989586621680795849 a6989586621680795851) (a6989586621680796407 :: (~>) a6989586621680795851 (m6989586621680795850 b6989586621680795852)) = ForM a6989586621680796406 a6989586621680796407
data MapAccumLSym0 :: forall a6989586621680795846 b6989586621680795847 c6989586621680795848 t6989586621680795845. (~>) ((~>) a6989586621680795846 ((~>) b6989586621680795847 (a6989586621680795846, c6989586621680795848))) ((~>) a6989586621680795846 ((~>) (t6989586621680795845 b6989586621680795847) (a6989586621680795846, t6989586621680795845 c6989586621680795848)))
data MapAccumLSym1 (a6989586621680796385 :: (~>) a6989586621680795846 ((~>) b6989586621680795847 (a6989586621680795846, c6989586621680795848))) :: forall t6989586621680795845. (~>) a6989586621680795846 ((~>) (t6989586621680795845 b6989586621680795847) (a6989586621680795846, t6989586621680795845 c6989586621680795848))
data MapAccumLSym2 (a6989586621680796385 :: (~>) a6989586621680795846 ((~>) b6989586621680795847 (a6989586621680795846, c6989586621680795848))) (a6989586621680796386 :: a6989586621680795846) :: forall t6989586621680795845. (~>) (t6989586621680795845 b6989586621680795847) (a6989586621680795846, t6989586621680795845 c6989586621680795848)
type MapAccumLSym3 (a6989586621680796385 :: (~>) a6989586621680795846 ((~>) b6989586621680795847 (a6989586621680795846, c6989586621680795848))) (a6989586621680796386 :: a6989586621680795846) (a6989586621680796387 :: t6989586621680795845 b6989586621680795847) = MapAccumL a6989586621680796385 a6989586621680796386 a6989586621680796387
data MapAccumRSym0 :: forall a6989586621680795842 b6989586621680795843 c6989586621680795844 t6989586621680795841. (~>) ((~>) a6989586621680795842 ((~>) b6989586621680795843 (a6989586621680795842, c6989586621680795844))) ((~>) a6989586621680795842 ((~>) (t6989586621680795841 b6989586621680795843) (a6989586621680795842, t6989586621680795841 c6989586621680795844)))
data MapAccumRSym1 (a6989586621680796368 :: (~>) a6989586621680795842 ((~>) b6989586621680795843 (a6989586621680795842, c6989586621680795844))) :: forall t6989586621680795841. (~>) a6989586621680795842 ((~>) (t6989586621680795841 b6989586621680795843) (a6989586621680795842, t6989586621680795841 c6989586621680795844))
data MapAccumRSym2 (a6989586621680796368 :: (~>) a6989586621680795842 ((~>) b6989586621680795843 (a6989586621680795842, c6989586621680795844))) (a6989586621680796369 :: a6989586621680795842) :: forall t6989586621680795841. (~>) (t6989586621680795841 b6989586621680795843) (a6989586621680795842, t6989586621680795841 c6989586621680795844)
type MapAccumRSym3 (a6989586621680796368 :: (~>) a6989586621680795842 ((~>) b6989586621680795843 (a6989586621680795842, c6989586621680795844))) (a6989586621680796369 :: a6989586621680795842) (a6989586621680796370 :: t6989586621680795841 b6989586621680795843) = MapAccumR a6989586621680796368 a6989586621680796369 a6989586621680796370
data FmapDefaultSym0 :: forall a6989586621680795839 b6989586621680795840 t6989586621680795838. (~>) ((~>) a6989586621680795839 b6989586621680795840) ((~>) (t6989586621680795838 a6989586621680795839) (t6989586621680795838 b6989586621680795840))
data FmapDefaultSym1 (a6989586621680796355 :: (~>) a6989586621680795839 b6989586621680795840) :: forall t6989586621680795838. (~>) (t6989586621680795838 a6989586621680795839) (t6989586621680795838 b6989586621680795840)
type FmapDefaultSym2 (a6989586621680796355 :: (~>) a6989586621680795839 b6989586621680795840) (a6989586621680796356 :: t6989586621680795838 a6989586621680795839) = FmapDefault a6989586621680796355 a6989586621680796356
data FoldMapDefaultSym0 :: forall a6989586621680795837 m6989586621680795836 t6989586621680795835. (~>) ((~>) a6989586621680795837 m6989586621680795836) ((~>) (t6989586621680795835 a6989586621680795837) m6989586621680795836)
data FoldMapDefaultSym1 (a6989586621680796334 :: (~>) a6989586621680795837 m6989586621680795836) :: forall t6989586621680795835. (~>) (t6989586621680795835 a6989586621680795837) m6989586621680795836
type FoldMapDefaultSym2 (a6989586621680796334 :: (~>) a6989586621680795837 m6989586621680795836) (a6989586621680796335 :: t6989586621680795835 a6989586621680795837) = FoldMapDefault a6989586621680796334 a6989586621680796335

Documentation

class (PFunctor t, PFoldable t) => PTraversable (t :: Type -> Type) #

Associated Types

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

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

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

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

Instances

PTraversable [] #
Instance details Defined in Data.Singletons.Prelude.Traversable 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 #
Instance details Defined in Data.Singletons.Prelude.Traversable 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 #
Instance details Defined in Data.Singletons.Prelude.Semigroup 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 #
Instance details Defined in Data.Singletons.Prelude.Semigroup 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 #
Instance details Defined in Data.Singletons.Prelude.Semigroup 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 #
Instance details Defined in Data.Singletons.Prelude.Semigroup 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 Option #
Instance details Defined in Data.Singletons.Prelude.Semigroup 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 #
Instance details Defined in Data.Singletons.Prelude.Traversable 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 #
Instance details Defined in Data.Singletons.Prelude.Traversable 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 #
Instance details Defined in Data.Singletons.Prelude.Traversable 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 #
Instance details Defined in Data.Singletons.Prelude.Traversable 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 #
Instance details Defined in Data.Singletons.Prelude.Traversable 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 #
Instance details Defined in Data.Singletons.Prelude.Traversable 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 #
Instance details Defined in Data.Singletons.Prelude.Traversable 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) #
Instance details Defined in Data.Singletons.Prelude.Traversable 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) #
Instance details Defined in Data.Singletons.Prelude.Traversable 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) #
Instance details Defined in Data.Singletons.Prelude.Semigroup 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) #
Instance details Defined in Data.Singletons.Prelude.Traversable 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 :: Type -> Type) where #

Minimal complete definition

Nothing

Methods

sTraverse :: forall f a b (t :: (~>) a (f b)) (t :: t a). 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)) #

sMapM :: forall m a b (t :: (~>) a (m b)) (t :: t a). 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)) #

sTraverse :: forall f a b (t :: (~>) a (f b)) (t :: t a). ((Apply (Apply TraverseSym0 t) t :: f (t b)) ~ Apply (Apply Traverse_6989586621680790302Sym0 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)). ((Apply SequenceASym0 t :: f (t a)) ~ Apply SequenceA_6989586621680790312Sym0 t, SApplicative f) => Sing t -> Sing (Apply SequenceASym0 t :: f (t a)) #

sMapM :: forall m a b (t :: (~>) a (m b)) (t :: t a). ((Apply (Apply MapMSym0 t) t :: m (t b)) ~ Apply (Apply MapM_6989586621680790327Sym0 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)). ((Apply SequenceSym0 t :: m (t a)) ~ Apply Sequence_6989586621680790337Sym0 t, SMonad m) => Sing t -> Sing (Apply SequenceSym0 t :: m (t a)) #

Instances

STraversable [] #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable Maybe #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable Min #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable Max #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable First #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable Last #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable Option #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable Identity #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable First #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable Last #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable Dual #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable Sum #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable Product #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable NonEmpty #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable (Either a) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable ((,) a) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable (Arg a) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) #
STraversable (Const m :: Type -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) # sMapM :: SMonad m0 => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) # sSequence :: 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_6989586621680796412 a_6989586621680796414 = Apply (Apply (Apply FlipSym0 TraverseSym0) a_6989586621680796412) a_6989586621680796414

sFor :: forall t f a 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_6989586621680796402 a_6989586621680796404 = Apply (Apply (Apply FlipSym0 MapMSym0) a_6989586621680796402) a_6989586621680796404

sForM :: forall t m a 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 = Case_6989586621680796398 f s t (Let6989586621680796394Scrutinee_6989586621680795929Sym3 f s t)

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 = Case_6989586621680796381 f s t (Let6989586621680796377Scrutinee_6989586621680795933Sym3 f s t)

sMapAccumR :: 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 MapAccumRSym0 t) t) t :: (a, t c)) #

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

Equations

FmapDefault f x = Case_6989586621680796364 f x (Let6989586621680796361Scrutinee_6989586621680795937Sym2 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_6989586621680796351 f x (Let6989586621680796348Scrutinee_6989586621680795940Sym2 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 :: forall a6989586621680790270 b6989586621680790271 f6989586621680790269 t6989586621680790268. (~>) ((~>) a6989586621680790270 (f6989586621680790269 b6989586621680790271)) ((~>) (t6989586621680790268 a6989586621680790270) (f6989586621680790269 (t6989586621680790268 b6989586621680790271))) #

Instances

(STraversable t, SApplicative f) => SingI (TraverseSym0 :: TyFun (a ~> f b) (t a ~> f (t b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing TraverseSym0 #
SuppressUnusedWarnings (TraverseSym0 :: TyFun (a6989586621680790270 ~> f6989586621680790269 b6989586621680790271) (t6989586621680790268 a6989586621680790270 ~> f6989586621680790269 (t6989586621680790268 b6989586621680790271)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (TraverseSym0 :: TyFun (a6989586621680790270 ~> f6989586621680790269 b6989586621680790271) (t6989586621680790268 a6989586621680790270 ~> f6989586621680790269 (t6989586621680790268 b6989586621680790271)) -> Type) (arg6989586621680790280 :: a6989586621680790270 ~> f6989586621680790269 b6989586621680790271) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (TraverseSym0 :: TyFun (a6989586621680790270 ~> f6989586621680790269 b6989586621680790271) (t6989586621680790268 a6989586621680790270 ~> f6989586621680790269 (t6989586621680790268 b6989586621680790271)) -> Type) (arg6989586621680790280 :: a6989586621680790270 ~> f6989586621680790269 b6989586621680790271) = (TraverseSym1 arg6989586621680790280 t6989586621680790268 :: TyFun (t6989586621680790268 a6989586621680790270) (f6989586621680790269 (t6989586621680790268 b6989586621680790271)) -> Type)

data TraverseSym1 (arg6989586621680790280 :: (~>) a6989586621680790270 (f6989586621680790269 b6989586621680790271)) :: forall t6989586621680790268. (~>) (t6989586621680790268 a6989586621680790270) (f6989586621680790269 (t6989586621680790268 b6989586621680790271)) #

Instances

(STraversable t, SApplicative f, SingI d) => SingI (TraverseSym1 d t :: TyFun (t a) (f (t b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (TraverseSym1 d t) #
SuppressUnusedWarnings (TraverseSym1 arg6989586621680790280 t6989586621680790268 :: TyFun (t6989586621680790268 a6989586621680790270) (f6989586621680790269 (t6989586621680790268 b6989586621680790271)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (TraverseSym1 arg6989586621680790280 t :: TyFun (t a) (f (t b)) -> Type) (arg6989586621680790281 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (TraverseSym1 arg6989586621680790280 t :: TyFun (t a) (f (t b)) -> Type) (arg6989586621680790281 :: t a) = Traverse arg6989586621680790280 arg6989586621680790281

type TraverseSym2 (arg6989586621680790280 :: (~>) a6989586621680790270 (f6989586621680790269 b6989586621680790271)) (arg6989586621680790281 :: t6989586621680790268 a6989586621680790270) = Traverse arg6989586621680790280 arg6989586621680790281 #

data SequenceASym0 :: forall a6989586621680790273 f6989586621680790272 t6989586621680790268. (~>) (t6989586621680790268 (f6989586621680790272 a6989586621680790273)) (f6989586621680790272 (t6989586621680790268 a6989586621680790273)) #

Instances

(STraversable t, SApplicative f) => SingI (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing SequenceASym0 #
SuppressUnusedWarnings (SequenceASym0 :: TyFun (t6989586621680790268 (f6989586621680790272 a6989586621680790273)) (f6989586621680790272 (t6989586621680790268 a6989586621680790273)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) (arg6989586621680790284 :: t (f a)) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) (arg6989586621680790284 :: t (f a)) = SequenceA arg6989586621680790284

type SequenceASym1 (arg6989586621680790284 :: t6989586621680790268 (f6989586621680790272 a6989586621680790273)) = SequenceA arg6989586621680790284 #

data MapMSym0 :: forall a6989586621680790275 b6989586621680790276 m6989586621680790274 t6989586621680790268. (~>) ((~>) a6989586621680790275 (m6989586621680790274 b6989586621680790276)) ((~>) (t6989586621680790268 a6989586621680790275) (m6989586621680790274 (t6989586621680790268 b6989586621680790276))) #

Instances

(STraversable t, SMonad m) => SingI (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing MapMSym0 #
SuppressUnusedWarnings (MapMSym0 :: TyFun (a6989586621680790275 ~> m6989586621680790274 b6989586621680790276) (t6989586621680790268 a6989586621680790275 ~> m6989586621680790274 (t6989586621680790268 b6989586621680790276)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (MapMSym0 :: TyFun (a6989586621680790275 ~> m6989586621680790274 b6989586621680790276) (t6989586621680790268 a6989586621680790275 ~> m6989586621680790274 (t6989586621680790268 b6989586621680790276)) -> Type) (arg6989586621680790286 :: a6989586621680790275 ~> m6989586621680790274 b6989586621680790276) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapMSym0 :: TyFun (a6989586621680790275 ~> m6989586621680790274 b6989586621680790276) (t6989586621680790268 a6989586621680790275 ~> m6989586621680790274 (t6989586621680790268 b6989586621680790276)) -> Type) (arg6989586621680790286 :: a6989586621680790275 ~> m6989586621680790274 b6989586621680790276) = (MapMSym1 arg6989586621680790286 t6989586621680790268 :: TyFun (t6989586621680790268 a6989586621680790275) (m6989586621680790274 (t6989586621680790268 b6989586621680790276)) -> Type)

data MapMSym1 (arg6989586621680790286 :: (~>) a6989586621680790275 (m6989586621680790274 b6989586621680790276)) :: forall t6989586621680790268. (~>) (t6989586621680790268 a6989586621680790275) (m6989586621680790274 (t6989586621680790268 b6989586621680790276)) #

Instances

(STraversable t, SMonad m, SingI d) => SingI (MapMSym1 d t :: TyFun (t a) (m (t b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapMSym1 d t) #
SuppressUnusedWarnings (MapMSym1 arg6989586621680790286 t6989586621680790268 :: TyFun (t6989586621680790268 a6989586621680790275) (m6989586621680790274 (t6989586621680790268 b6989586621680790276)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (MapMSym1 arg6989586621680790286 t :: TyFun (t a) (m (t b)) -> Type) (arg6989586621680790287 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapMSym1 arg6989586621680790286 t :: TyFun (t a) (m (t b)) -> Type) (arg6989586621680790287 :: t a) = MapM arg6989586621680790286 arg6989586621680790287

type MapMSym2 (arg6989586621680790286 :: (~>) a6989586621680790275 (m6989586621680790274 b6989586621680790276)) (arg6989586621680790287 :: t6989586621680790268 a6989586621680790275) = MapM arg6989586621680790286 arg6989586621680790287 #

data SequenceSym0 :: forall a6989586621680790278 m6989586621680790277 t6989586621680790268. (~>) (t6989586621680790268 (m6989586621680790277 a6989586621680790278)) (m6989586621680790277 (t6989586621680790268 a6989586621680790278)) #

Instances

(STraversable t, SMonad m) => SingI (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing SequenceSym0 #
SuppressUnusedWarnings (SequenceSym0 :: TyFun (t6989586621680790268 (m6989586621680790277 a6989586621680790278)) (m6989586621680790277 (t6989586621680790268 a6989586621680790278)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (arg6989586621680790290 :: t (m a)) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (arg6989586621680790290 :: t (m a)) = Sequence arg6989586621680790290

type SequenceSym1 (arg6989586621680790290 :: t6989586621680790268 (m6989586621680790277 a6989586621680790278)) = Sequence arg6989586621680790290 #

data ForSym0 :: forall a6989586621680795855 b6989586621680795856 f6989586621680795854 t6989586621680795853. (~>) (t6989586621680795853 a6989586621680795855) ((~>) ((~>) a6989586621680795855 (f6989586621680795854 b6989586621680795856)) (f6989586621680795854 (t6989586621680795853 b6989586621680795856))) #

Instances

(STraversable t, SApplicative f) => SingI (ForSym0 :: TyFun (t a) ((a ~> f b) ~> f (t b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing ForSym0 #
SuppressUnusedWarnings (ForSym0 :: TyFun (t6989586621680795853 a6989586621680795855) ((a6989586621680795855 ~> f6989586621680795854 b6989586621680795856) ~> f6989586621680795854 (t6989586621680795853 b6989586621680795856)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (ForSym0 :: TyFun (t6989586621680795853 a6989586621680795855) ((a6989586621680795855 ~> f6989586621680795854 b6989586621680795856) ~> f6989586621680795854 (t6989586621680795853 b6989586621680795856)) -> Type) (a6989586621680796416 :: t6989586621680795853 a6989586621680795855) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (ForSym0 :: TyFun (t6989586621680795853 a6989586621680795855) ((a6989586621680795855 ~> f6989586621680795854 b6989586621680795856) ~> f6989586621680795854 (t6989586621680795853 b6989586621680795856)) -> Type) (a6989586621680796416 :: t6989586621680795853 a6989586621680795855) = (ForSym1 a6989586621680796416 b6989586621680795856 f6989586621680795854 :: TyFun (a6989586621680795855 ~> f6989586621680795854 b6989586621680795856) (f6989586621680795854 (t6989586621680795853 b6989586621680795856)) -> Type)

data ForSym1 (a6989586621680796416 :: t6989586621680795853 a6989586621680795855) :: forall b6989586621680795856 f6989586621680795854. (~>) ((~>) a6989586621680795855 (f6989586621680795854 b6989586621680795856)) (f6989586621680795854 (t6989586621680795853 b6989586621680795856)) #

Instances

(STraversable t, SApplicative f, SingI d) => SingI (ForSym1 d b f :: TyFun (a ~> f b) (f (t b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (ForSym1 d b f) #
SuppressUnusedWarnings (ForSym1 a6989586621680796416 b6989586621680795856 f6989586621680795854 :: TyFun (a6989586621680795855 ~> f6989586621680795854 b6989586621680795856) (f6989586621680795854 (t6989586621680795853 b6989586621680795856)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (ForSym1 a6989586621680796416 b f :: TyFun (a ~> f b) (f (t b)) -> Type) (a6989586621680796417 :: a ~> f b) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (ForSym1 a6989586621680796416 b f :: TyFun (a ~> f b) (f (t b)) -> Type) (a6989586621680796417 :: a ~> f b) = For a6989586621680796416 a6989586621680796417

type ForSym2 (a6989586621680796416 :: t6989586621680795853 a6989586621680795855) (a6989586621680796417 :: (~>) a6989586621680795855 (f6989586621680795854 b6989586621680795856)) = For a6989586621680796416 a6989586621680796417 #

data ForMSym0 :: forall a6989586621680795851 b6989586621680795852 m6989586621680795850 t6989586621680795849. (~>) (t6989586621680795849 a6989586621680795851) ((~>) ((~>) a6989586621680795851 (m6989586621680795850 b6989586621680795852)) (m6989586621680795850 (t6989586621680795849 b6989586621680795852))) #

Instances

(STraversable t, SMonad m) => SingI (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing ForMSym0 #
SuppressUnusedWarnings (ForMSym0 :: TyFun (t6989586621680795849 a6989586621680795851) ((a6989586621680795851 ~> m6989586621680795850 b6989586621680795852) ~> m6989586621680795850 (t6989586621680795849 b6989586621680795852)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (ForMSym0 :: TyFun (t6989586621680795849 a6989586621680795851) ((a6989586621680795851 ~> m6989586621680795850 b6989586621680795852) ~> m6989586621680795850 (t6989586621680795849 b6989586621680795852)) -> Type) (a6989586621680796406 :: t6989586621680795849 a6989586621680795851) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (ForMSym0 :: TyFun (t6989586621680795849 a6989586621680795851) ((a6989586621680795851 ~> m6989586621680795850 b6989586621680795852) ~> m6989586621680795850 (t6989586621680795849 b6989586621680795852)) -> Type) (a6989586621680796406 :: t6989586621680795849 a6989586621680795851) = (ForMSym1 a6989586621680796406 b6989586621680795852 m6989586621680795850 :: TyFun (a6989586621680795851 ~> m6989586621680795850 b6989586621680795852) (m6989586621680795850 (t6989586621680795849 b6989586621680795852)) -> Type)

data ForMSym1 (a6989586621680796406 :: t6989586621680795849 a6989586621680795851) :: forall b6989586621680795852 m6989586621680795850. (~>) ((~>) a6989586621680795851 (m6989586621680795850 b6989586621680795852)) (m6989586621680795850 (t6989586621680795849 b6989586621680795852)) #

Instances

(STraversable t, SMonad m, SingI d) => SingI (ForMSym1 d b m :: TyFun (a ~> m b) (m (t b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (ForMSym1 d b m) #
SuppressUnusedWarnings (ForMSym1 a6989586621680796406 b6989586621680795852 m6989586621680795850 :: TyFun (a6989586621680795851 ~> m6989586621680795850 b6989586621680795852) (m6989586621680795850 (t6989586621680795849 b6989586621680795852)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (ForMSym1 a6989586621680796406 b m :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680796407 :: a ~> m b) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (ForMSym1 a6989586621680796406 b m :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680796407 :: a ~> m b) = ForM a6989586621680796406 a6989586621680796407

type ForMSym2 (a6989586621680796406 :: t6989586621680795849 a6989586621680795851) (a6989586621680796407 :: (~>) a6989586621680795851 (m6989586621680795850 b6989586621680795852)) = ForM a6989586621680796406 a6989586621680796407 #

data MapAccumLSym0 :: forall a6989586621680795846 b6989586621680795847 c6989586621680795848 t6989586621680795845. (~>) ((~>) a6989586621680795846 ((~>) b6989586621680795847 (a6989586621680795846, c6989586621680795848))) ((~>) a6989586621680795846 ((~>) (t6989586621680795845 b6989586621680795847) (a6989586621680795846, t6989586621680795845 c6989586621680795848))) #

Instances

STraversable t => SingI (MapAccumLSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing MapAccumLSym0 #
SuppressUnusedWarnings (MapAccumLSym0 :: TyFun (a6989586621680795846 ~> (b6989586621680795847 ~> (a6989586621680795846, c6989586621680795848))) (a6989586621680795846 ~> (t6989586621680795845 b6989586621680795847 ~> (a6989586621680795846, t6989586621680795845 c6989586621680795848))) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (MapAccumLSym0 :: TyFun (a6989586621680795846 ~> (b6989586621680795847 ~> (a6989586621680795846, c6989586621680795848))) (a6989586621680795846 ~> (t6989586621680795845 b6989586621680795847 ~> (a6989586621680795846, t6989586621680795845 c6989586621680795848))) -> Type) (a6989586621680796385 :: a6989586621680795846 ~> (b6989586621680795847 ~> (a6989586621680795846, c6989586621680795848))) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumLSym0 :: TyFun (a6989586621680795846 ~> (b6989586621680795847 ~> (a6989586621680795846, c6989586621680795848))) (a6989586621680795846 ~> (t6989586621680795845 b6989586621680795847 ~> (a6989586621680795846, t6989586621680795845 c6989586621680795848))) -> Type) (a6989586621680796385 :: a6989586621680795846 ~> (b6989586621680795847 ~> (a6989586621680795846, c6989586621680795848))) = (MapAccumLSym1 a6989586621680796385 t6989586621680795845 :: TyFun a6989586621680795846 (t6989586621680795845 b6989586621680795847 ~> (a6989586621680795846, t6989586621680795845 c6989586621680795848)) -> Type)

data MapAccumLSym1 (a6989586621680796385 :: (~>) a6989586621680795846 ((~>) b6989586621680795847 (a6989586621680795846, c6989586621680795848))) :: forall t6989586621680795845. (~>) a6989586621680795846 ((~>) (t6989586621680795845 b6989586621680795847) (a6989586621680795846, t6989586621680795845 c6989586621680795848)) #

Instances

(STraversable t, SingI d) => SingI (MapAccumLSym1 d t :: TyFun a (t b ~> (a, t c)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapAccumLSym1 d t) #
SuppressUnusedWarnings (MapAccumLSym1 a6989586621680796385 t6989586621680795845 :: TyFun a6989586621680795846 (t6989586621680795845 b6989586621680795847 ~> (a6989586621680795846, t6989586621680795845 c6989586621680795848)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (MapAccumLSym1 a6989586621680796385 t6989586621680795845 :: TyFun a6989586621680795846 (t6989586621680795845 b6989586621680795847 ~> (a6989586621680795846, t6989586621680795845 c6989586621680795848)) -> Type) (a6989586621680796386 :: a6989586621680795846) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumLSym1 a6989586621680796385 t6989586621680795845 :: TyFun a6989586621680795846 (t6989586621680795845 b6989586621680795847 ~> (a6989586621680795846, t6989586621680795845 c6989586621680795848)) -> Type) (a6989586621680796386 :: a6989586621680795846) = (MapAccumLSym2 a6989586621680796385 a6989586621680796386 t6989586621680795845 :: TyFun (t6989586621680795845 b6989586621680795847) (a6989586621680795846, t6989586621680795845 c6989586621680795848) -> Type)

data MapAccumLSym2 (a6989586621680796385 :: (~>) a6989586621680795846 ((~>) b6989586621680795847 (a6989586621680795846, c6989586621680795848))) (a6989586621680796386 :: a6989586621680795846) :: forall t6989586621680795845. (~>) (t6989586621680795845 b6989586621680795847) (a6989586621680795846, t6989586621680795845 c6989586621680795848) #

Instances

(STraversable t, SingI d1, SingI d2) => SingI (MapAccumLSym2 d1 d2 t :: TyFun (t b) (a, t c) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapAccumLSym2 d1 d2 t) #
SuppressUnusedWarnings (MapAccumLSym2 a6989586621680796386 a6989586621680796385 t6989586621680795845 :: TyFun (t6989586621680795845 b6989586621680795847) (a6989586621680795846, t6989586621680795845 c6989586621680795848) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (MapAccumLSym2 a6989586621680796386 a6989586621680796385 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680796387 :: t b) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumLSym2 a6989586621680796386 a6989586621680796385 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680796387 :: t b) = MapAccumL a6989586621680796386 a6989586621680796385 a6989586621680796387

type MapAccumLSym3 (a6989586621680796385 :: (~>) a6989586621680795846 ((~>) b6989586621680795847 (a6989586621680795846, c6989586621680795848))) (a6989586621680796386 :: a6989586621680795846) (a6989586621680796387 :: t6989586621680795845 b6989586621680795847) = MapAccumL a6989586621680796385 a6989586621680796386 a6989586621680796387 #

data MapAccumRSym0 :: forall a6989586621680795842 b6989586621680795843 c6989586621680795844 t6989586621680795841. (~>) ((~>) a6989586621680795842 ((~>) b6989586621680795843 (a6989586621680795842, c6989586621680795844))) ((~>) a6989586621680795842 ((~>) (t6989586621680795841 b6989586621680795843) (a6989586621680795842, t6989586621680795841 c6989586621680795844))) #

Instances

STraversable t => SingI (MapAccumRSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing MapAccumRSym0 #
SuppressUnusedWarnings (MapAccumRSym0 :: TyFun (a6989586621680795842 ~> (b6989586621680795843 ~> (a6989586621680795842, c6989586621680795844))) (a6989586621680795842 ~> (t6989586621680795841 b6989586621680795843 ~> (a6989586621680795842, t6989586621680795841 c6989586621680795844))) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (MapAccumRSym0 :: TyFun (a6989586621680795842 ~> (b6989586621680795843 ~> (a6989586621680795842, c6989586621680795844))) (a6989586621680795842 ~> (t6989586621680795841 b6989586621680795843 ~> (a6989586621680795842, t6989586621680795841 c6989586621680795844))) -> Type) (a6989586621680796368 :: a6989586621680795842 ~> (b6989586621680795843 ~> (a6989586621680795842, c6989586621680795844))) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumRSym0 :: TyFun (a6989586621680795842 ~> (b6989586621680795843 ~> (a6989586621680795842, c6989586621680795844))) (a6989586621680795842 ~> (t6989586621680795841 b6989586621680795843 ~> (a6989586621680795842, t6989586621680795841 c6989586621680795844))) -> Type) (a6989586621680796368 :: a6989586621680795842 ~> (b6989586621680795843 ~> (a6989586621680795842, c6989586621680795844))) = (MapAccumRSym1 a6989586621680796368 t6989586621680795841 :: TyFun a6989586621680795842 (t6989586621680795841 b6989586621680795843 ~> (a6989586621680795842, t6989586621680795841 c6989586621680795844)) -> Type)

data MapAccumRSym1 (a6989586621680796368 :: (~>) a6989586621680795842 ((~>) b6989586621680795843 (a6989586621680795842, c6989586621680795844))) :: forall t6989586621680795841. (~>) a6989586621680795842 ((~>) (t6989586621680795841 b6989586621680795843) (a6989586621680795842, t6989586621680795841 c6989586621680795844)) #

Instances

(STraversable t, SingI d) => SingI (MapAccumRSym1 d t :: TyFun a (t b ~> (a, t c)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapAccumRSym1 d t) #
SuppressUnusedWarnings (MapAccumRSym1 a6989586621680796368 t6989586621680795841 :: TyFun a6989586621680795842 (t6989586621680795841 b6989586621680795843 ~> (a6989586621680795842, t6989586621680795841 c6989586621680795844)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (MapAccumRSym1 a6989586621680796368 t6989586621680795841 :: TyFun a6989586621680795842 (t6989586621680795841 b6989586621680795843 ~> (a6989586621680795842, t6989586621680795841 c6989586621680795844)) -> Type) (a6989586621680796369 :: a6989586621680795842) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumRSym1 a6989586621680796368 t6989586621680795841 :: TyFun a6989586621680795842 (t6989586621680795841 b6989586621680795843 ~> (a6989586621680795842, t6989586621680795841 c6989586621680795844)) -> Type) (a6989586621680796369 :: a6989586621680795842) = (MapAccumRSym2 a6989586621680796368 a6989586621680796369 t6989586621680795841 :: TyFun (t6989586621680795841 b6989586621680795843) (a6989586621680795842, t6989586621680795841 c6989586621680795844) -> Type)

data MapAccumRSym2 (a6989586621680796368 :: (~>) a6989586621680795842 ((~>) b6989586621680795843 (a6989586621680795842, c6989586621680795844))) (a6989586621680796369 :: a6989586621680795842) :: forall t6989586621680795841. (~>) (t6989586621680795841 b6989586621680795843) (a6989586621680795842, t6989586621680795841 c6989586621680795844) #

Instances

(STraversable t, SingI d1, SingI d2) => SingI (MapAccumRSym2 d1 d2 t :: TyFun (t b) (a, t c) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapAccumRSym2 d1 d2 t) #
SuppressUnusedWarnings (MapAccumRSym2 a6989586621680796369 a6989586621680796368 t6989586621680795841 :: TyFun (t6989586621680795841 b6989586621680795843) (a6989586621680795842, t6989586621680795841 c6989586621680795844) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (MapAccumRSym2 a6989586621680796369 a6989586621680796368 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680796370 :: t b) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumRSym2 a6989586621680796369 a6989586621680796368 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680796370 :: t b) = MapAccumR a6989586621680796369 a6989586621680796368 a6989586621680796370

type MapAccumRSym3 (a6989586621680796368 :: (~>) a6989586621680795842 ((~>) b6989586621680795843 (a6989586621680795842, c6989586621680795844))) (a6989586621680796369 :: a6989586621680795842) (a6989586621680796370 :: t6989586621680795841 b6989586621680795843) = MapAccumR a6989586621680796368 a6989586621680796369 a6989586621680796370 #

data FmapDefaultSym0 :: forall a6989586621680795839 b6989586621680795840 t6989586621680795838. (~>) ((~>) a6989586621680795839 b6989586621680795840) ((~>) (t6989586621680795838 a6989586621680795839) (t6989586621680795838 b6989586621680795840)) #

Instances

STraversable t => SingI (FmapDefaultSym0 :: TyFun (a ~> b) (t a ~> t b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing FmapDefaultSym0 #
SuppressUnusedWarnings (FmapDefaultSym0 :: TyFun (a6989586621680795839 ~> b6989586621680795840) (t6989586621680795838 a6989586621680795839 ~> t6989586621680795838 b6989586621680795840) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (FmapDefaultSym0 :: TyFun (a6989586621680795839 ~> b6989586621680795840) (t6989586621680795838 a6989586621680795839 ~> t6989586621680795838 b6989586621680795840) -> Type) (a6989586621680796355 :: a6989586621680795839 ~> b6989586621680795840) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (FmapDefaultSym0 :: TyFun (a6989586621680795839 ~> b6989586621680795840) (t6989586621680795838 a6989586621680795839 ~> t6989586621680795838 b6989586621680795840) -> Type) (a6989586621680796355 :: a6989586621680795839 ~> b6989586621680795840) = (FmapDefaultSym1 a6989586621680796355 t6989586621680795838 :: TyFun (t6989586621680795838 a6989586621680795839) (t6989586621680795838 b6989586621680795840) -> Type)

data FmapDefaultSym1 (a6989586621680796355 :: (~>) a6989586621680795839 b6989586621680795840) :: forall t6989586621680795838. (~>) (t6989586621680795838 a6989586621680795839) (t6989586621680795838 b6989586621680795840) #

Instances

(STraversable t, SingI d) => SingI (FmapDefaultSym1 d t :: TyFun (t a) (t b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (FmapDefaultSym1 d t) #
SuppressUnusedWarnings (FmapDefaultSym1 a6989586621680796355 t6989586621680795838 :: TyFun (t6989586621680795838 a6989586621680795839) (t6989586621680795838 b6989586621680795840) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (FmapDefaultSym1 a6989586621680796355 t :: TyFun (t a) (t b) -> Type) (a6989586621680796356 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (FmapDefaultSym1 a6989586621680796355 t :: TyFun (t a) (t b) -> Type) (a6989586621680796356 :: t a) = FmapDefault a6989586621680796355 a6989586621680796356

type FmapDefaultSym2 (a6989586621680796355 :: (~>) a6989586621680795839 b6989586621680795840) (a6989586621680796356 :: t6989586621680795838 a6989586621680795839) = FmapDefault a6989586621680796355 a6989586621680796356 #

data FoldMapDefaultSym0 :: forall a6989586621680795837 m6989586621680795836 t6989586621680795835. (~>) ((~>) a6989586621680795837 m6989586621680795836) ((~>) (t6989586621680795835 a6989586621680795837) m6989586621680795836) #

Instances

(STraversable t, SMonoid m) => SingI (FoldMapDefaultSym0 :: TyFun (a ~> m) (t a ~> m) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing FoldMapDefaultSym0 #
SuppressUnusedWarnings (FoldMapDefaultSym0 :: TyFun (a6989586621680795837 ~> m6989586621680795836) (t6989586621680795835 a6989586621680795837 ~> m6989586621680795836) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (FoldMapDefaultSym0 :: TyFun (a6989586621680795837 ~> m6989586621680795836) (t6989586621680795835 a6989586621680795837 ~> m6989586621680795836) -> Type) (a6989586621680796334 :: a6989586621680795837 ~> m6989586621680795836) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (FoldMapDefaultSym0 :: TyFun (a6989586621680795837 ~> m6989586621680795836) (t6989586621680795835 a6989586621680795837 ~> m6989586621680795836) -> Type) (a6989586621680796334 :: a6989586621680795837 ~> m6989586621680795836) = (FoldMapDefaultSym1 a6989586621680796334 t6989586621680795835 :: TyFun (t6989586621680795835 a6989586621680795837) m6989586621680795836 -> Type)

data FoldMapDefaultSym1 (a6989586621680796334 :: (~>) a6989586621680795837 m6989586621680795836) :: forall t6989586621680795835. (~>) (t6989586621680795835 a6989586621680795837) m6989586621680795836 #

Instances

(STraversable t, SMonoid m, SingI d) => SingI (FoldMapDefaultSym1 d t :: TyFun (t a) m -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (FoldMapDefaultSym1 d t) #
SuppressUnusedWarnings (FoldMapDefaultSym1 a6989586621680796334 t6989586621680795835 :: TyFun (t6989586621680795835 a6989586621680795837) m6989586621680795836 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () #
type Apply (FoldMapDefaultSym1 a6989586621680796334 t :: TyFun (t a) m -> Type) (a6989586621680796335 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (FoldMapDefaultSym1 a6989586621680796334 t :: TyFun (t a) m -> Type) (a6989586621680796335 :: t a) = FoldMapDefault a6989586621680796334 a6989586621680796335

type FoldMapDefaultSym2 (a6989586621680796334 :: (~>) a6989586621680795837 m6989586621680795836) (a6989586621680796335 :: t6989586621680795835 a6989586621680795837) = FoldMapDefault a6989586621680796334 a6989586621680796335 #