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 a6989586621680750996 b6989586621680750997 f6989586621680750995 t6989586621680750994. (~>) ((~>) a6989586621680750996 (f6989586621680750995 b6989586621680750997)) ((~>) (t6989586621680750994 a6989586621680750996) (f6989586621680750995 (t6989586621680750994 b6989586621680750997)))
data TraverseSym1 (arg6989586621680751006 :: (~>) a6989586621680750996 (f6989586621680750995 b6989586621680750997)) :: forall t6989586621680750994. (~>) (t6989586621680750994 a6989586621680750996) (f6989586621680750995 (t6989586621680750994 b6989586621680750997))
type TraverseSym2 (arg6989586621680751006 :: (~>) a6989586621680750996 (f6989586621680750995 b6989586621680750997)) (arg6989586621680751007 :: t6989586621680750994 a6989586621680750996) = Traverse arg6989586621680751006 arg6989586621680751007
data SequenceASym0 :: forall a6989586621680750999 f6989586621680750998 t6989586621680750994. (~>) (t6989586621680750994 (f6989586621680750998 a6989586621680750999)) (f6989586621680750998 (t6989586621680750994 a6989586621680750999))
type SequenceASym1 (arg6989586621680751010 :: t6989586621680750994 (f6989586621680750998 a6989586621680750999)) = SequenceA arg6989586621680751010
data MapMSym0 :: forall a6989586621680751001 b6989586621680751002 m6989586621680751000 t6989586621680750994. (~>) ((~>) a6989586621680751001 (m6989586621680751000 b6989586621680751002)) ((~>) (t6989586621680750994 a6989586621680751001) (m6989586621680751000 (t6989586621680750994 b6989586621680751002)))
data MapMSym1 (arg6989586621680751012 :: (~>) a6989586621680751001 (m6989586621680751000 b6989586621680751002)) :: forall t6989586621680750994. (~>) (t6989586621680750994 a6989586621680751001) (m6989586621680751000 (t6989586621680750994 b6989586621680751002))
type MapMSym2 (arg6989586621680751012 :: (~>) a6989586621680751001 (m6989586621680751000 b6989586621680751002)) (arg6989586621680751013 :: t6989586621680750994 a6989586621680751001) = MapM arg6989586621680751012 arg6989586621680751013
data SequenceSym0 :: forall a6989586621680751004 m6989586621680751003 t6989586621680750994. (~>) (t6989586621680750994 (m6989586621680751003 a6989586621680751004)) (m6989586621680751003 (t6989586621680750994 a6989586621680751004))
type SequenceSym1 (arg6989586621680751016 :: t6989586621680750994 (m6989586621680751003 a6989586621680751004)) = Sequence arg6989586621680751016
data ForSym0 :: forall a6989586621680756581 b6989586621680756582 f6989586621680756580 t6989586621680756579. (~>) (t6989586621680756579 a6989586621680756581) ((~>) ((~>) a6989586621680756581 (f6989586621680756580 b6989586621680756582)) (f6989586621680756580 (t6989586621680756579 b6989586621680756582)))
data ForSym1 (a6989586621680757142 :: t6989586621680756579 a6989586621680756581) :: forall b6989586621680756582 f6989586621680756580. (~>) ((~>) a6989586621680756581 (f6989586621680756580 b6989586621680756582)) (f6989586621680756580 (t6989586621680756579 b6989586621680756582))
type ForSym2 (a6989586621680757142 :: t6989586621680756579 a6989586621680756581) (a6989586621680757143 :: (~>) a6989586621680756581 (f6989586621680756580 b6989586621680756582)) = For a6989586621680757142 a6989586621680757143
data ForMSym0 :: forall a6989586621680756577 b6989586621680756578 m6989586621680756576 t6989586621680756575. (~>) (t6989586621680756575 a6989586621680756577) ((~>) ((~>) a6989586621680756577 (m6989586621680756576 b6989586621680756578)) (m6989586621680756576 (t6989586621680756575 b6989586621680756578)))
data ForMSym1 (a6989586621680757132 :: t6989586621680756575 a6989586621680756577) :: forall b6989586621680756578 m6989586621680756576. (~>) ((~>) a6989586621680756577 (m6989586621680756576 b6989586621680756578)) (m6989586621680756576 (t6989586621680756575 b6989586621680756578))
type ForMSym2 (a6989586621680757132 :: t6989586621680756575 a6989586621680756577) (a6989586621680757133 :: (~>) a6989586621680756577 (m6989586621680756576 b6989586621680756578)) = ForM a6989586621680757132 a6989586621680757133
data MapAccumLSym0 :: forall a6989586621680756572 b6989586621680756573 c6989586621680756574 t6989586621680756571. (~>) ((~>) a6989586621680756572 ((~>) b6989586621680756573 (a6989586621680756572, c6989586621680756574))) ((~>) a6989586621680756572 ((~>) (t6989586621680756571 b6989586621680756573) (a6989586621680756572, t6989586621680756571 c6989586621680756574)))
data MapAccumLSym1 (a6989586621680757111 :: (~>) a6989586621680756572 ((~>) b6989586621680756573 (a6989586621680756572, c6989586621680756574))) :: forall t6989586621680756571. (~>) a6989586621680756572 ((~>) (t6989586621680756571 b6989586621680756573) (a6989586621680756572, t6989586621680756571 c6989586621680756574))
data MapAccumLSym2 (a6989586621680757111 :: (~>) a6989586621680756572 ((~>) b6989586621680756573 (a6989586621680756572, c6989586621680756574))) (a6989586621680757112 :: a6989586621680756572) :: forall t6989586621680756571. (~>) (t6989586621680756571 b6989586621680756573) (a6989586621680756572, t6989586621680756571 c6989586621680756574)
type MapAccumLSym3 (a6989586621680757111 :: (~>) a6989586621680756572 ((~>) b6989586621680756573 (a6989586621680756572, c6989586621680756574))) (a6989586621680757112 :: a6989586621680756572) (a6989586621680757113 :: t6989586621680756571 b6989586621680756573) = MapAccumL a6989586621680757111 a6989586621680757112 a6989586621680757113
data MapAccumRSym0 :: forall a6989586621680756568 b6989586621680756569 c6989586621680756570 t6989586621680756567. (~>) ((~>) a6989586621680756568 ((~>) b6989586621680756569 (a6989586621680756568, c6989586621680756570))) ((~>) a6989586621680756568 ((~>) (t6989586621680756567 b6989586621680756569) (a6989586621680756568, t6989586621680756567 c6989586621680756570)))
data MapAccumRSym1 (a6989586621680757094 :: (~>) a6989586621680756568 ((~>) b6989586621680756569 (a6989586621680756568, c6989586621680756570))) :: forall t6989586621680756567. (~>) a6989586621680756568 ((~>) (t6989586621680756567 b6989586621680756569) (a6989586621680756568, t6989586621680756567 c6989586621680756570))
data MapAccumRSym2 (a6989586621680757094 :: (~>) a6989586621680756568 ((~>) b6989586621680756569 (a6989586621680756568, c6989586621680756570))) (a6989586621680757095 :: a6989586621680756568) :: forall t6989586621680756567. (~>) (t6989586621680756567 b6989586621680756569) (a6989586621680756568, t6989586621680756567 c6989586621680756570)
type MapAccumRSym3 (a6989586621680757094 :: (~>) a6989586621680756568 ((~>) b6989586621680756569 (a6989586621680756568, c6989586621680756570))) (a6989586621680757095 :: a6989586621680756568) (a6989586621680757096 :: t6989586621680756567 b6989586621680756569) = MapAccumR a6989586621680757094 a6989586621680757095 a6989586621680757096
data FmapDefaultSym0 :: forall a6989586621680756565 b6989586621680756566 t6989586621680756564. (~>) ((~>) a6989586621680756565 b6989586621680756566) ((~>) (t6989586621680756564 a6989586621680756565) (t6989586621680756564 b6989586621680756566))
data FmapDefaultSym1 (a6989586621680757081 :: (~>) a6989586621680756565 b6989586621680756566) :: forall t6989586621680756564. (~>) (t6989586621680756564 a6989586621680756565) (t6989586621680756564 b6989586621680756566)
type FmapDefaultSym2 (a6989586621680757081 :: (~>) a6989586621680756565 b6989586621680756566) (a6989586621680757082 :: t6989586621680756564 a6989586621680756565) = FmapDefault a6989586621680757081 a6989586621680757082
data FoldMapDefaultSym0 :: forall a6989586621680756563 m6989586621680756562 t6989586621680756561. (~>) ((~>) a6989586621680756563 m6989586621680756562) ((~>) (t6989586621680756561 a6989586621680756563) m6989586621680756562)
data FoldMapDefaultSym1 (a6989586621680757060 :: (~>) a6989586621680756563 m6989586621680756562) :: forall t6989586621680756561. (~>) (t6989586621680756561 a6989586621680756563) m6989586621680756562
type FoldMapDefaultSym2 (a6989586621680757060 :: (~>) a6989586621680756563 m6989586621680756562) (a6989586621680757061 :: t6989586621680756561 a6989586621680756563) = FoldMapDefault a6989586621680757060 a6989586621680757061

Documentation

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

Associated Types

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

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

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

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

Instances

PTraversable [] Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable Maybe Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable Min Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable Max Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable First Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable Last Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable Option Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable Identity Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable First Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable Last Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable Dual Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable Sum Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable Product Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable NonEmpty Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable (Either a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable ((,) a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable (Arg a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable (Const m :: Type -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #

class (SFunctor t, SFoldable t) => STraversable (t :: Type -> Type) where Source #

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)) Source #

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

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)) Source #

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

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

sSequenceA :: forall f a (t :: t (f a)). ((Apply SequenceASym0 t :: f (t a)) ~ Apply SequenceA_6989586621680751038Sym0 t, SApplicative f) => Sing t -> Sing (Apply SequenceASym0 t :: f (t a)) Source #

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

sSequence :: forall m a (t :: t (m a)). ((Apply SequenceSym0 t :: m (t a)) ~ Apply Sequence_6989586621680751063Sym0 t, SMonad m) => Sing t -> Sing (Apply SequenceSym0 t :: m (t a)) Source #

Instances

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

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

Equations

For a_6989586621680757138 a_6989586621680757140 = Apply (Apply (Apply FlipSym0 TraverseSym0) a_6989586621680757138) a_6989586621680757140

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)) Source #

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

Equations

ForM a_6989586621680757128 a_6989586621680757130 = Apply (Apply (Apply FlipSym0 MapMSym0) a_6989586621680757128) a_6989586621680757130

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)) Source #

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

Equations

MapAccumL f s t = Case_6989586621680757124 f s t (Let6989586621680757120Scrutinee_6989586621680756655Sym3 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)) Source #

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

Equations

MapAccumR f s t = Case_6989586621680757107 f s t (Let6989586621680757103Scrutinee_6989586621680756659Sym3 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)) Source #

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

Equations

FmapDefault f x = Case_6989586621680757090 f x (Let6989586621680757087Scrutinee_6989586621680756663Sym2 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) Source #

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

Equations

FoldMapDefault f x = Case_6989586621680757077 f x (Let6989586621680757074Scrutinee_6989586621680756666Sym2 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) Source #

Defunctionalization symbols

data TraverseSym0 :: forall a6989586621680750996 b6989586621680750997 f6989586621680750995 t6989586621680750994. (~>) ((~>) a6989586621680750996 (f6989586621680750995 b6989586621680750997)) ((~>) (t6989586621680750994 a6989586621680750996) (f6989586621680750995 (t6989586621680750994 b6989586621680750997))) Source #

Instances

(STraversable t, SApplicative f) => SingI (TraverseSym0 :: TyFun (a ~> f b) (t a ~> f (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing TraverseSym0 Source #
SuppressUnusedWarnings (TraverseSym0 :: TyFun (a6989586621680750996 ~> f6989586621680750995 b6989586621680750997) (t6989586621680750994 a6989586621680750996 ~> f6989586621680750995 (t6989586621680750994 b6989586621680750997)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (TraverseSym0 :: TyFun (a6989586621680750996 ~> f6989586621680750995 b6989586621680750997) (t6989586621680750994 a6989586621680750996 ~> f6989586621680750995 (t6989586621680750994 b6989586621680750997)) -> Type) (arg6989586621680751006 :: a6989586621680750996 ~> f6989586621680750995 b6989586621680750997) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (TraverseSym0 :: TyFun (a6989586621680750996 ~> f6989586621680750995 b6989586621680750997) (t6989586621680750994 a6989586621680750996 ~> f6989586621680750995 (t6989586621680750994 b6989586621680750997)) -> Type) (arg6989586621680751006 :: a6989586621680750996 ~> f6989586621680750995 b6989586621680750997) = (TraverseSym1 arg6989586621680751006 t6989586621680750994 :: TyFun (t6989586621680750994 a6989586621680750996) (f6989586621680750995 (t6989586621680750994 b6989586621680750997)) -> Type)

data TraverseSym1 (arg6989586621680751006 :: (~>) a6989586621680750996 (f6989586621680750995 b6989586621680750997)) :: forall t6989586621680750994. (~>) (t6989586621680750994 a6989586621680750996) (f6989586621680750995 (t6989586621680750994 b6989586621680750997)) Source #

Instances

(STraversable t, SApplicative f, SingI d) => SingI (TraverseSym1 d t :: TyFun (t a) (f (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (TraverseSym1 d t) Source #
SuppressUnusedWarnings (TraverseSym1 arg6989586621680751006 t6989586621680750994 :: TyFun (t6989586621680750994 a6989586621680750996) (f6989586621680750995 (t6989586621680750994 b6989586621680750997)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (TraverseSym1 arg6989586621680751006 t :: TyFun (t a) (f (t b)) -> Type) (arg6989586621680751007 :: t a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (TraverseSym1 arg6989586621680751006 t :: TyFun (t a) (f (t b)) -> Type) (arg6989586621680751007 :: t a) = Traverse arg6989586621680751006 arg6989586621680751007

type TraverseSym2 (arg6989586621680751006 :: (~>) a6989586621680750996 (f6989586621680750995 b6989586621680750997)) (arg6989586621680751007 :: t6989586621680750994 a6989586621680750996) = Traverse arg6989586621680751006 arg6989586621680751007 Source #

data SequenceASym0 :: forall a6989586621680750999 f6989586621680750998 t6989586621680750994. (~>) (t6989586621680750994 (f6989586621680750998 a6989586621680750999)) (f6989586621680750998 (t6989586621680750994 a6989586621680750999)) Source #

Instances

(STraversable t, SApplicative f) => SingI (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing SequenceASym0 Source #
SuppressUnusedWarnings (SequenceASym0 :: TyFun (t6989586621680750994 (f6989586621680750998 a6989586621680750999)) (f6989586621680750998 (t6989586621680750994 a6989586621680750999)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) (arg6989586621680751010 :: t (f a)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) (arg6989586621680751010 :: t (f a)) = SequenceA arg6989586621680751010

type SequenceASym1 (arg6989586621680751010 :: t6989586621680750994 (f6989586621680750998 a6989586621680750999)) = SequenceA arg6989586621680751010 Source #

data MapMSym0 :: forall a6989586621680751001 b6989586621680751002 m6989586621680751000 t6989586621680750994. (~>) ((~>) a6989586621680751001 (m6989586621680751000 b6989586621680751002)) ((~>) (t6989586621680750994 a6989586621680751001) (m6989586621680751000 (t6989586621680750994 b6989586621680751002))) Source #

Instances

(STraversable t, SMonad m) => SingI (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing MapMSym0 Source #
SuppressUnusedWarnings (MapMSym0 :: TyFun (a6989586621680751001 ~> m6989586621680751000 b6989586621680751002) (t6989586621680750994 a6989586621680751001 ~> m6989586621680751000 (t6989586621680750994 b6989586621680751002)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (MapMSym0 :: TyFun (a6989586621680751001 ~> m6989586621680751000 b6989586621680751002) (t6989586621680750994 a6989586621680751001 ~> m6989586621680751000 (t6989586621680750994 b6989586621680751002)) -> Type) (arg6989586621680751012 :: a6989586621680751001 ~> m6989586621680751000 b6989586621680751002) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapMSym0 :: TyFun (a6989586621680751001 ~> m6989586621680751000 b6989586621680751002) (t6989586621680750994 a6989586621680751001 ~> m6989586621680751000 (t6989586621680750994 b6989586621680751002)) -> Type) (arg6989586621680751012 :: a6989586621680751001 ~> m6989586621680751000 b6989586621680751002) = (MapMSym1 arg6989586621680751012 t6989586621680750994 :: TyFun (t6989586621680750994 a6989586621680751001) (m6989586621680751000 (t6989586621680750994 b6989586621680751002)) -> Type)

data MapMSym1 (arg6989586621680751012 :: (~>) a6989586621680751001 (m6989586621680751000 b6989586621680751002)) :: forall t6989586621680750994. (~>) (t6989586621680750994 a6989586621680751001) (m6989586621680751000 (t6989586621680750994 b6989586621680751002)) Source #

Instances

(STraversable t, SMonad m, SingI d) => SingI (MapMSym1 d t :: TyFun (t a) (m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapMSym1 d t) Source #
SuppressUnusedWarnings (MapMSym1 arg6989586621680751012 t6989586621680750994 :: TyFun (t6989586621680750994 a6989586621680751001) (m6989586621680751000 (t6989586621680750994 b6989586621680751002)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (MapMSym1 arg6989586621680751012 t :: TyFun (t a) (m (t b)) -> Type) (arg6989586621680751013 :: t a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapMSym1 arg6989586621680751012 t :: TyFun (t a) (m (t b)) -> Type) (arg6989586621680751013 :: t a) = MapM arg6989586621680751012 arg6989586621680751013

type MapMSym2 (arg6989586621680751012 :: (~>) a6989586621680751001 (m6989586621680751000 b6989586621680751002)) (arg6989586621680751013 :: t6989586621680750994 a6989586621680751001) = MapM arg6989586621680751012 arg6989586621680751013 Source #

data SequenceSym0 :: forall a6989586621680751004 m6989586621680751003 t6989586621680750994. (~>) (t6989586621680750994 (m6989586621680751003 a6989586621680751004)) (m6989586621680751003 (t6989586621680750994 a6989586621680751004)) Source #

Instances

(STraversable t, SMonad m) => SingI (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing SequenceSym0 Source #
SuppressUnusedWarnings (SequenceSym0 :: TyFun (t6989586621680750994 (m6989586621680751003 a6989586621680751004)) (m6989586621680751003 (t6989586621680750994 a6989586621680751004)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (arg6989586621680751016 :: t (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (arg6989586621680751016 :: t (m a)) = Sequence arg6989586621680751016

type SequenceSym1 (arg6989586621680751016 :: t6989586621680750994 (m6989586621680751003 a6989586621680751004)) = Sequence arg6989586621680751016 Source #

data ForSym0 :: forall a6989586621680756581 b6989586621680756582 f6989586621680756580 t6989586621680756579. (~>) (t6989586621680756579 a6989586621680756581) ((~>) ((~>) a6989586621680756581 (f6989586621680756580 b6989586621680756582)) (f6989586621680756580 (t6989586621680756579 b6989586621680756582))) Source #

Instances

(STraversable t, SApplicative f) => SingI (ForSym0 :: TyFun (t a) ((a ~> f b) ~> f (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing ForSym0 Source #
SuppressUnusedWarnings (ForSym0 :: TyFun (t6989586621680756579 a6989586621680756581) ((a6989586621680756581 ~> f6989586621680756580 b6989586621680756582) ~> f6989586621680756580 (t6989586621680756579 b6989586621680756582)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (ForSym0 :: TyFun (t6989586621680756579 a6989586621680756581) ((a6989586621680756581 ~> f6989586621680756580 b6989586621680756582) ~> f6989586621680756580 (t6989586621680756579 b6989586621680756582)) -> Type) (a6989586621680757142 :: t6989586621680756579 a6989586621680756581) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (ForSym0 :: TyFun (t6989586621680756579 a6989586621680756581) ((a6989586621680756581 ~> f6989586621680756580 b6989586621680756582) ~> f6989586621680756580 (t6989586621680756579 b6989586621680756582)) -> Type) (a6989586621680757142 :: t6989586621680756579 a6989586621680756581) = (ForSym1 a6989586621680757142 b6989586621680756582 f6989586621680756580 :: TyFun (a6989586621680756581 ~> f6989586621680756580 b6989586621680756582) (f6989586621680756580 (t6989586621680756579 b6989586621680756582)) -> Type)

data ForSym1 (a6989586621680757142 :: t6989586621680756579 a6989586621680756581) :: forall b6989586621680756582 f6989586621680756580. (~>) ((~>) a6989586621680756581 (f6989586621680756580 b6989586621680756582)) (f6989586621680756580 (t6989586621680756579 b6989586621680756582)) Source #

Instances

(STraversable t, SApplicative f, SingI d) => SingI (ForSym1 d b f :: TyFun (a ~> f b) (f (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (ForSym1 d b f) Source #
SuppressUnusedWarnings (ForSym1 a6989586621680757142 b6989586621680756582 f6989586621680756580 :: TyFun (a6989586621680756581 ~> f6989586621680756580 b6989586621680756582) (f6989586621680756580 (t6989586621680756579 b6989586621680756582)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (ForSym1 a6989586621680757142 b f :: TyFun (a ~> f b) (f (t b)) -> Type) (a6989586621680757143 :: a ~> f b) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (ForSym1 a6989586621680757142 b f :: TyFun (a ~> f b) (f (t b)) -> Type) (a6989586621680757143 :: a ~> f b) = For a6989586621680757142 a6989586621680757143

type ForSym2 (a6989586621680757142 :: t6989586621680756579 a6989586621680756581) (a6989586621680757143 :: (~>) a6989586621680756581 (f6989586621680756580 b6989586621680756582)) = For a6989586621680757142 a6989586621680757143 Source #

data ForMSym0 :: forall a6989586621680756577 b6989586621680756578 m6989586621680756576 t6989586621680756575. (~>) (t6989586621680756575 a6989586621680756577) ((~>) ((~>) a6989586621680756577 (m6989586621680756576 b6989586621680756578)) (m6989586621680756576 (t6989586621680756575 b6989586621680756578))) Source #

Instances

(STraversable t, SMonad m) => SingI (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing ForMSym0 Source #
SuppressUnusedWarnings (ForMSym0 :: TyFun (t6989586621680756575 a6989586621680756577) ((a6989586621680756577 ~> m6989586621680756576 b6989586621680756578) ~> m6989586621680756576 (t6989586621680756575 b6989586621680756578)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (ForMSym0 :: TyFun (t6989586621680756575 a6989586621680756577) ((a6989586621680756577 ~> m6989586621680756576 b6989586621680756578) ~> m6989586621680756576 (t6989586621680756575 b6989586621680756578)) -> Type) (a6989586621680757132 :: t6989586621680756575 a6989586621680756577) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (ForMSym0 :: TyFun (t6989586621680756575 a6989586621680756577) ((a6989586621680756577 ~> m6989586621680756576 b6989586621680756578) ~> m6989586621680756576 (t6989586621680756575 b6989586621680756578)) -> Type) (a6989586621680757132 :: t6989586621680756575 a6989586621680756577) = (ForMSym1 a6989586621680757132 b6989586621680756578 m6989586621680756576 :: TyFun (a6989586621680756577 ~> m6989586621680756576 b6989586621680756578) (m6989586621680756576 (t6989586621680756575 b6989586621680756578)) -> Type)

data ForMSym1 (a6989586621680757132 :: t6989586621680756575 a6989586621680756577) :: forall b6989586621680756578 m6989586621680756576. (~>) ((~>) a6989586621680756577 (m6989586621680756576 b6989586621680756578)) (m6989586621680756576 (t6989586621680756575 b6989586621680756578)) Source #

Instances

(STraversable t, SMonad m, SingI d) => SingI (ForMSym1 d b m :: TyFun (a ~> m b) (m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (ForMSym1 d b m) Source #
SuppressUnusedWarnings (ForMSym1 a6989586621680757132 b6989586621680756578 m6989586621680756576 :: TyFun (a6989586621680756577 ~> m6989586621680756576 b6989586621680756578) (m6989586621680756576 (t6989586621680756575 b6989586621680756578)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (ForMSym1 a6989586621680757132 b m :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680757133 :: a ~> m b) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (ForMSym1 a6989586621680757132 b m :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680757133 :: a ~> m b) = ForM a6989586621680757132 a6989586621680757133

type ForMSym2 (a6989586621680757132 :: t6989586621680756575 a6989586621680756577) (a6989586621680757133 :: (~>) a6989586621680756577 (m6989586621680756576 b6989586621680756578)) = ForM a6989586621680757132 a6989586621680757133 Source #

data MapAccumLSym0 :: forall a6989586621680756572 b6989586621680756573 c6989586621680756574 t6989586621680756571. (~>) ((~>) a6989586621680756572 ((~>) b6989586621680756573 (a6989586621680756572, c6989586621680756574))) ((~>) a6989586621680756572 ((~>) (t6989586621680756571 b6989586621680756573) (a6989586621680756572, t6989586621680756571 c6989586621680756574))) Source #

Instances

STraversable t => SingI (MapAccumLSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing MapAccumLSym0 Source #
SuppressUnusedWarnings (MapAccumLSym0 :: TyFun (a6989586621680756572 ~> (b6989586621680756573 ~> (a6989586621680756572, c6989586621680756574))) (a6989586621680756572 ~> (t6989586621680756571 b6989586621680756573 ~> (a6989586621680756572, t6989586621680756571 c6989586621680756574))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (MapAccumLSym0 :: TyFun (a6989586621680756572 ~> (b6989586621680756573 ~> (a6989586621680756572, c6989586621680756574))) (a6989586621680756572 ~> (t6989586621680756571 b6989586621680756573 ~> (a6989586621680756572, t6989586621680756571 c6989586621680756574))) -> Type) (a6989586621680757111 :: a6989586621680756572 ~> (b6989586621680756573 ~> (a6989586621680756572, c6989586621680756574))) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumLSym0 :: TyFun (a6989586621680756572 ~> (b6989586621680756573 ~> (a6989586621680756572, c6989586621680756574))) (a6989586621680756572 ~> (t6989586621680756571 b6989586621680756573 ~> (a6989586621680756572, t6989586621680756571 c6989586621680756574))) -> Type) (a6989586621680757111 :: a6989586621680756572 ~> (b6989586621680756573 ~> (a6989586621680756572, c6989586621680756574))) = (MapAccumLSym1 a6989586621680757111 t6989586621680756571 :: TyFun a6989586621680756572 (t6989586621680756571 b6989586621680756573 ~> (a6989586621680756572, t6989586621680756571 c6989586621680756574)) -> Type)

data MapAccumLSym1 (a6989586621680757111 :: (~>) a6989586621680756572 ((~>) b6989586621680756573 (a6989586621680756572, c6989586621680756574))) :: forall t6989586621680756571. (~>) a6989586621680756572 ((~>) (t6989586621680756571 b6989586621680756573) (a6989586621680756572, t6989586621680756571 c6989586621680756574)) Source #

Instances

(STraversable t, SingI d) => SingI (MapAccumLSym1 d t :: TyFun a (t b ~> (a, t c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapAccumLSym1 d t) Source #
SuppressUnusedWarnings (MapAccumLSym1 a6989586621680757111 t6989586621680756571 :: TyFun a6989586621680756572 (t6989586621680756571 b6989586621680756573 ~> (a6989586621680756572, t6989586621680756571 c6989586621680756574)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (MapAccumLSym1 a6989586621680757111 t6989586621680756571 :: TyFun a6989586621680756572 (t6989586621680756571 b6989586621680756573 ~> (a6989586621680756572, t6989586621680756571 c6989586621680756574)) -> Type) (a6989586621680757112 :: a6989586621680756572) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumLSym1 a6989586621680757111 t6989586621680756571 :: TyFun a6989586621680756572 (t6989586621680756571 b6989586621680756573 ~> (a6989586621680756572, t6989586621680756571 c6989586621680756574)) -> Type) (a6989586621680757112 :: a6989586621680756572) = (MapAccumLSym2 a6989586621680757111 a6989586621680757112 t6989586621680756571 :: TyFun (t6989586621680756571 b6989586621680756573) (a6989586621680756572, t6989586621680756571 c6989586621680756574) -> Type)

data MapAccumLSym2 (a6989586621680757111 :: (~>) a6989586621680756572 ((~>) b6989586621680756573 (a6989586621680756572, c6989586621680756574))) (a6989586621680757112 :: a6989586621680756572) :: forall t6989586621680756571. (~>) (t6989586621680756571 b6989586621680756573) (a6989586621680756572, t6989586621680756571 c6989586621680756574) Source #

Instances

(STraversable t, SingI d1, SingI d2) => SingI (MapAccumLSym2 d1 d2 t :: TyFun (t b) (a, t c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapAccumLSym2 d1 d2 t) Source #
SuppressUnusedWarnings (MapAccumLSym2 a6989586621680757112 a6989586621680757111 t6989586621680756571 :: TyFun (t6989586621680756571 b6989586621680756573) (a6989586621680756572, t6989586621680756571 c6989586621680756574) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (MapAccumLSym2 a6989586621680757112 a6989586621680757111 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680757113 :: t b) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumLSym2 a6989586621680757112 a6989586621680757111 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680757113 :: t b) = MapAccumL a6989586621680757112 a6989586621680757111 a6989586621680757113

type MapAccumLSym3 (a6989586621680757111 :: (~>) a6989586621680756572 ((~>) b6989586621680756573 (a6989586621680756572, c6989586621680756574))) (a6989586621680757112 :: a6989586621680756572) (a6989586621680757113 :: t6989586621680756571 b6989586621680756573) = MapAccumL a6989586621680757111 a6989586621680757112 a6989586621680757113 Source #

data MapAccumRSym0 :: forall a6989586621680756568 b6989586621680756569 c6989586621680756570 t6989586621680756567. (~>) ((~>) a6989586621680756568 ((~>) b6989586621680756569 (a6989586621680756568, c6989586621680756570))) ((~>) a6989586621680756568 ((~>) (t6989586621680756567 b6989586621680756569) (a6989586621680756568, t6989586621680756567 c6989586621680756570))) Source #

Instances

STraversable t => SingI (MapAccumRSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing MapAccumRSym0 Source #
SuppressUnusedWarnings (MapAccumRSym0 :: TyFun (a6989586621680756568 ~> (b6989586621680756569 ~> (a6989586621680756568, c6989586621680756570))) (a6989586621680756568 ~> (t6989586621680756567 b6989586621680756569 ~> (a6989586621680756568, t6989586621680756567 c6989586621680756570))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (MapAccumRSym0 :: TyFun (a6989586621680756568 ~> (b6989586621680756569 ~> (a6989586621680756568, c6989586621680756570))) (a6989586621680756568 ~> (t6989586621680756567 b6989586621680756569 ~> (a6989586621680756568, t6989586621680756567 c6989586621680756570))) -> Type) (a6989586621680757094 :: a6989586621680756568 ~> (b6989586621680756569 ~> (a6989586621680756568, c6989586621680756570))) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumRSym0 :: TyFun (a6989586621680756568 ~> (b6989586621680756569 ~> (a6989586621680756568, c6989586621680756570))) (a6989586621680756568 ~> (t6989586621680756567 b6989586621680756569 ~> (a6989586621680756568, t6989586621680756567 c6989586621680756570))) -> Type) (a6989586621680757094 :: a6989586621680756568 ~> (b6989586621680756569 ~> (a6989586621680756568, c6989586621680756570))) = (MapAccumRSym1 a6989586621680757094 t6989586621680756567 :: TyFun a6989586621680756568 (t6989586621680756567 b6989586621680756569 ~> (a6989586621680756568, t6989586621680756567 c6989586621680756570)) -> Type)

data MapAccumRSym1 (a6989586621680757094 :: (~>) a6989586621680756568 ((~>) b6989586621680756569 (a6989586621680756568, c6989586621680756570))) :: forall t6989586621680756567. (~>) a6989586621680756568 ((~>) (t6989586621680756567 b6989586621680756569) (a6989586621680756568, t6989586621680756567 c6989586621680756570)) Source #

Instances

(STraversable t, SingI d) => SingI (MapAccumRSym1 d t :: TyFun a (t b ~> (a, t c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapAccumRSym1 d t) Source #
SuppressUnusedWarnings (MapAccumRSym1 a6989586621680757094 t6989586621680756567 :: TyFun a6989586621680756568 (t6989586621680756567 b6989586621680756569 ~> (a6989586621680756568, t6989586621680756567 c6989586621680756570)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (MapAccumRSym1 a6989586621680757094 t6989586621680756567 :: TyFun a6989586621680756568 (t6989586621680756567 b6989586621680756569 ~> (a6989586621680756568, t6989586621680756567 c6989586621680756570)) -> Type) (a6989586621680757095 :: a6989586621680756568) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumRSym1 a6989586621680757094 t6989586621680756567 :: TyFun a6989586621680756568 (t6989586621680756567 b6989586621680756569 ~> (a6989586621680756568, t6989586621680756567 c6989586621680756570)) -> Type) (a6989586621680757095 :: a6989586621680756568) = (MapAccumRSym2 a6989586621680757094 a6989586621680757095 t6989586621680756567 :: TyFun (t6989586621680756567 b6989586621680756569) (a6989586621680756568, t6989586621680756567 c6989586621680756570) -> Type)

data MapAccumRSym2 (a6989586621680757094 :: (~>) a6989586621680756568 ((~>) b6989586621680756569 (a6989586621680756568, c6989586621680756570))) (a6989586621680757095 :: a6989586621680756568) :: forall t6989586621680756567. (~>) (t6989586621680756567 b6989586621680756569) (a6989586621680756568, t6989586621680756567 c6989586621680756570) Source #

Instances

(STraversable t, SingI d1, SingI d2) => SingI (MapAccumRSym2 d1 d2 t :: TyFun (t b) (a, t c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapAccumRSym2 d1 d2 t) Source #
SuppressUnusedWarnings (MapAccumRSym2 a6989586621680757095 a6989586621680757094 t6989586621680756567 :: TyFun (t6989586621680756567 b6989586621680756569) (a6989586621680756568, t6989586621680756567 c6989586621680756570) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (MapAccumRSym2 a6989586621680757095 a6989586621680757094 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680757096 :: t b) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumRSym2 a6989586621680757095 a6989586621680757094 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680757096 :: t b) = MapAccumR a6989586621680757095 a6989586621680757094 a6989586621680757096

type MapAccumRSym3 (a6989586621680757094 :: (~>) a6989586621680756568 ((~>) b6989586621680756569 (a6989586621680756568, c6989586621680756570))) (a6989586621680757095 :: a6989586621680756568) (a6989586621680757096 :: t6989586621680756567 b6989586621680756569) = MapAccumR a6989586621680757094 a6989586621680757095 a6989586621680757096 Source #

data FmapDefaultSym0 :: forall a6989586621680756565 b6989586621680756566 t6989586621680756564. (~>) ((~>) a6989586621680756565 b6989586621680756566) ((~>) (t6989586621680756564 a6989586621680756565) (t6989586621680756564 b6989586621680756566)) Source #

Instances

STraversable t => SingI (FmapDefaultSym0 :: TyFun (a ~> b) (t a ~> t b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing FmapDefaultSym0 Source #
SuppressUnusedWarnings (FmapDefaultSym0 :: TyFun (a6989586621680756565 ~> b6989586621680756566) (t6989586621680756564 a6989586621680756565 ~> t6989586621680756564 b6989586621680756566) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (FmapDefaultSym0 :: TyFun (a6989586621680756565 ~> b6989586621680756566) (t6989586621680756564 a6989586621680756565 ~> t6989586621680756564 b6989586621680756566) -> Type) (a6989586621680757081 :: a6989586621680756565 ~> b6989586621680756566) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (FmapDefaultSym0 :: TyFun (a6989586621680756565 ~> b6989586621680756566) (t6989586621680756564 a6989586621680756565 ~> t6989586621680756564 b6989586621680756566) -> Type) (a6989586621680757081 :: a6989586621680756565 ~> b6989586621680756566) = (FmapDefaultSym1 a6989586621680757081 t6989586621680756564 :: TyFun (t6989586621680756564 a6989586621680756565) (t6989586621680756564 b6989586621680756566) -> Type)

data FmapDefaultSym1 (a6989586621680757081 :: (~>) a6989586621680756565 b6989586621680756566) :: forall t6989586621680756564. (~>) (t6989586621680756564 a6989586621680756565) (t6989586621680756564 b6989586621680756566) Source #

Instances

(STraversable t, SingI d) => SingI (FmapDefaultSym1 d t :: TyFun (t a) (t b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (FmapDefaultSym1 d t) Source #
SuppressUnusedWarnings (FmapDefaultSym1 a6989586621680757081 t6989586621680756564 :: TyFun (t6989586621680756564 a6989586621680756565) (t6989586621680756564 b6989586621680756566) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (FmapDefaultSym1 a6989586621680757081 t :: TyFun (t a) (t b) -> Type) (a6989586621680757082 :: t a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (FmapDefaultSym1 a6989586621680757081 t :: TyFun (t a) (t b) -> Type) (a6989586621680757082 :: t a) = FmapDefault a6989586621680757081 a6989586621680757082

type FmapDefaultSym2 (a6989586621680757081 :: (~>) a6989586621680756565 b6989586621680756566) (a6989586621680757082 :: t6989586621680756564 a6989586621680756565) = FmapDefault a6989586621680757081 a6989586621680757082 Source #

data FoldMapDefaultSym0 :: forall a6989586621680756563 m6989586621680756562 t6989586621680756561. (~>) ((~>) a6989586621680756563 m6989586621680756562) ((~>) (t6989586621680756561 a6989586621680756563) m6989586621680756562) Source #

Instances

(STraversable t, SMonoid m) => SingI (FoldMapDefaultSym0 :: TyFun (a ~> m) (t a ~> m) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing FoldMapDefaultSym0 Source #
SuppressUnusedWarnings (FoldMapDefaultSym0 :: TyFun (a6989586621680756563 ~> m6989586621680756562) (t6989586621680756561 a6989586621680756563 ~> m6989586621680756562) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (FoldMapDefaultSym0 :: TyFun (a6989586621680756563 ~> m6989586621680756562) (t6989586621680756561 a6989586621680756563 ~> m6989586621680756562) -> Type) (a6989586621680757060 :: a6989586621680756563 ~> m6989586621680756562) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (FoldMapDefaultSym0 :: TyFun (a6989586621680756563 ~> m6989586621680756562) (t6989586621680756561 a6989586621680756563 ~> m6989586621680756562) -> Type) (a6989586621680757060 :: a6989586621680756563 ~> m6989586621680756562) = (FoldMapDefaultSym1 a6989586621680757060 t6989586621680756561 :: TyFun (t6989586621680756561 a6989586621680756563) m6989586621680756562 -> Type)

data FoldMapDefaultSym1 (a6989586621680757060 :: (~>) a6989586621680756563 m6989586621680756562) :: forall t6989586621680756561. (~>) (t6989586621680756561 a6989586621680756563) m6989586621680756562 Source #

Instances

(STraversable t, SMonoid m, SingI d) => SingI (FoldMapDefaultSym1 d t :: TyFun (t a) m -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (FoldMapDefaultSym1 d t) Source #
SuppressUnusedWarnings (FoldMapDefaultSym1 a6989586621680757060 t6989586621680756561 :: TyFun (t6989586621680756561 a6989586621680756563) m6989586621680756562 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (FoldMapDefaultSym1 a6989586621680757060 t :: TyFun (t a) m -> Type) (a6989586621680757061 :: t a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (FoldMapDefaultSym1 a6989586621680757060 t :: TyFun (t a) m -> Type) (a6989586621680757061 :: t a) = FoldMapDefault a6989586621680757060 a6989586621680757061

type FoldMapDefaultSym2 (a6989586621680757060 :: (~>) a6989586621680756563 m6989586621680756562) (a6989586621680757061 :: t6989586621680756561 a6989586621680756563) = FoldMapDefault a6989586621680757060 a6989586621680757061 Source #