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
Description
Defines the promoted and singled versions of the Traversable
type class.
Synopsis
- class (PFunctor t, PFoldable t) => PTraversable (t :: Type -> Type) where
- 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 a6989586621680744887 b6989586621680744888 f6989586621680744886 t6989586621680744885. (~>) ((~>) a6989586621680744887 (f6989586621680744886 b6989586621680744888)) ((~>) (t6989586621680744885 a6989586621680744887) (f6989586621680744886 (t6989586621680744885 b6989586621680744888)))
- data TraverseSym1 (arg6989586621680744897 :: (~>) a6989586621680744887 (f6989586621680744886 b6989586621680744888)) :: forall t6989586621680744885. (~>) (t6989586621680744885 a6989586621680744887) (f6989586621680744886 (t6989586621680744885 b6989586621680744888))
- type TraverseSym2 (arg6989586621680744897 :: (~>) a6989586621680744887 (f6989586621680744886 b6989586621680744888)) (arg6989586621680744898 :: t6989586621680744885 a6989586621680744887) = Traverse arg6989586621680744897 arg6989586621680744898
- data SequenceASym0 :: forall a6989586621680744890 f6989586621680744889 t6989586621680744885. (~>) (t6989586621680744885 (f6989586621680744889 a6989586621680744890)) (f6989586621680744889 (t6989586621680744885 a6989586621680744890))
- type SequenceASym1 (arg6989586621680744901 :: t6989586621680744885 (f6989586621680744889 a6989586621680744890)) = SequenceA arg6989586621680744901
- data MapMSym0 :: forall a6989586621680744892 b6989586621680744893 m6989586621680744891 t6989586621680744885. (~>) ((~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) ((~>) (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893)))
- data MapMSym1 (arg6989586621680744903 :: (~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) :: forall t6989586621680744885. (~>) (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893))
- type MapMSym2 (arg6989586621680744903 :: (~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) (arg6989586621680744904 :: t6989586621680744885 a6989586621680744892) = MapM arg6989586621680744903 arg6989586621680744904
- data SequenceSym0 :: forall a6989586621680744895 m6989586621680744894 t6989586621680744885. (~>) (t6989586621680744885 (m6989586621680744894 a6989586621680744895)) (m6989586621680744894 (t6989586621680744885 a6989586621680744895))
- type SequenceSym1 (arg6989586621680744907 :: t6989586621680744885 (m6989586621680744894 a6989586621680744895)) = Sequence arg6989586621680744907
- data ForSym0 :: forall a6989586621680750472 b6989586621680750473 f6989586621680750471 t6989586621680750470. (~>) (t6989586621680750470 a6989586621680750472) ((~>) ((~>) a6989586621680750472 (f6989586621680750471 b6989586621680750473)) (f6989586621680750471 (t6989586621680750470 b6989586621680750473)))
- data ForSym1 (a6989586621680751033 :: t6989586621680750470 a6989586621680750472) :: forall b6989586621680750473 f6989586621680750471. (~>) ((~>) a6989586621680750472 (f6989586621680750471 b6989586621680750473)) (f6989586621680750471 (t6989586621680750470 b6989586621680750473))
- type ForSym2 (a6989586621680751033 :: t6989586621680750470 a6989586621680750472) (a6989586621680751034 :: (~>) a6989586621680750472 (f6989586621680750471 b6989586621680750473)) = For a6989586621680751033 a6989586621680751034
- data ForMSym0 :: forall a6989586621680750468 b6989586621680750469 m6989586621680750467 t6989586621680750466. (~>) (t6989586621680750466 a6989586621680750468) ((~>) ((~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) (m6989586621680750467 (t6989586621680750466 b6989586621680750469)))
- data ForMSym1 (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) :: forall b6989586621680750469 m6989586621680750467. (~>) ((~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) (m6989586621680750467 (t6989586621680750466 b6989586621680750469))
- type ForMSym2 (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) (a6989586621680751024 :: (~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) = ForM a6989586621680751023 a6989586621680751024
- data MapAccumLSym0 :: forall a6989586621680750463 b6989586621680750464 c6989586621680750465 t6989586621680750462. (~>) ((~>) a6989586621680750463 ((~>) b6989586621680750464 (a6989586621680750463, c6989586621680750465))) ((~>) a6989586621680750463 ((~>) (t6989586621680750462 b6989586621680750464) (a6989586621680750463, t6989586621680750462 c6989586621680750465)))
- data MapAccumLSym1 (a6989586621680751002 :: (~>) a6989586621680750463 ((~>) b6989586621680750464 (a6989586621680750463, c6989586621680750465))) :: forall t6989586621680750462. (~>) a6989586621680750463 ((~>) (t6989586621680750462 b6989586621680750464) (a6989586621680750463, t6989586621680750462 c6989586621680750465))
- data MapAccumLSym2 (a6989586621680751002 :: (~>) a6989586621680750463 ((~>) b6989586621680750464 (a6989586621680750463, c6989586621680750465))) (a6989586621680751003 :: a6989586621680750463) :: forall t6989586621680750462. (~>) (t6989586621680750462 b6989586621680750464) (a6989586621680750463, t6989586621680750462 c6989586621680750465)
- type MapAccumLSym3 (a6989586621680751002 :: (~>) a6989586621680750463 ((~>) b6989586621680750464 (a6989586621680750463, c6989586621680750465))) (a6989586621680751003 :: a6989586621680750463) (a6989586621680751004 :: t6989586621680750462 b6989586621680750464) = MapAccumL a6989586621680751002 a6989586621680751003 a6989586621680751004
- data MapAccumRSym0 :: forall a6989586621680750459 b6989586621680750460 c6989586621680750461 t6989586621680750458. (~>) ((~>) a6989586621680750459 ((~>) b6989586621680750460 (a6989586621680750459, c6989586621680750461))) ((~>) a6989586621680750459 ((~>) (t6989586621680750458 b6989586621680750460) (a6989586621680750459, t6989586621680750458 c6989586621680750461)))
- data MapAccumRSym1 (a6989586621680750985 :: (~>) a6989586621680750459 ((~>) b6989586621680750460 (a6989586621680750459, c6989586621680750461))) :: forall t6989586621680750458. (~>) a6989586621680750459 ((~>) (t6989586621680750458 b6989586621680750460) (a6989586621680750459, t6989586621680750458 c6989586621680750461))
- data MapAccumRSym2 (a6989586621680750985 :: (~>) a6989586621680750459 ((~>) b6989586621680750460 (a6989586621680750459, c6989586621680750461))) (a6989586621680750986 :: a6989586621680750459) :: forall t6989586621680750458. (~>) (t6989586621680750458 b6989586621680750460) (a6989586621680750459, t6989586621680750458 c6989586621680750461)
- type MapAccumRSym3 (a6989586621680750985 :: (~>) a6989586621680750459 ((~>) b6989586621680750460 (a6989586621680750459, c6989586621680750461))) (a6989586621680750986 :: a6989586621680750459) (a6989586621680750987 :: t6989586621680750458 b6989586621680750460) = MapAccumR a6989586621680750985 a6989586621680750986 a6989586621680750987
- data FmapDefaultSym0 :: forall a6989586621680750456 b6989586621680750457 t6989586621680750455. (~>) ((~>) a6989586621680750456 b6989586621680750457) ((~>) (t6989586621680750455 a6989586621680750456) (t6989586621680750455 b6989586621680750457))
- data FmapDefaultSym1 (a6989586621680750972 :: (~>) a6989586621680750456 b6989586621680750457) :: forall t6989586621680750455. (~>) (t6989586621680750455 a6989586621680750456) (t6989586621680750455 b6989586621680750457)
- type FmapDefaultSym2 (a6989586621680750972 :: (~>) a6989586621680750456 b6989586621680750457) (a6989586621680750973 :: t6989586621680750455 a6989586621680750456) = FmapDefault a6989586621680750972 a6989586621680750973
- data FoldMapDefaultSym0 :: forall a6989586621680750454 m6989586621680750453 t6989586621680750452. (~>) ((~>) a6989586621680750454 m6989586621680750453) ((~>) (t6989586621680750452 a6989586621680750454) m6989586621680750453)
- data FoldMapDefaultSym1 (a6989586621680750951 :: (~>) a6989586621680750454 m6989586621680750453) :: forall t6989586621680750452. (~>) (t6989586621680750452 a6989586621680750454) m6989586621680750453
- type FoldMapDefaultSym2 (a6989586621680750951 :: (~>) a6989586621680750454 m6989586621680750453) (a6989586621680750952 :: t6989586621680750452 a6989586621680750454) = FoldMapDefault a6989586621680750951 a6989586621680750952
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 #
Instances
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_6989586621680744919Sym0 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_6989586621680744929Sym0 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_6989586621680744944Sym0 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_6989586621680744954Sym0 t, SMonad m) => Sing t -> Sing (Apply SequenceSym0 t :: m (t a)) Source #
Instances
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 #
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_6989586621680751015 f s t (Let6989586621680751011Scrutinee_6989586621680750546Sym3 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_6989586621680750998 f s t (Let6989586621680750994Scrutinee_6989586621680750550Sym3 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_6989586621680750981 f x (Let6989586621680750978Scrutinee_6989586621680750554Sym2 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_6989586621680750968 f x (Let6989586621680750965Scrutinee_6989586621680750557Sym2 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 a6989586621680744887 b6989586621680744888 f6989586621680744886 t6989586621680744885. (~>) ((~>) a6989586621680744887 (f6989586621680744886 b6989586621680744888)) ((~>) (t6989586621680744885 a6989586621680744887) (f6989586621680744886 (t6989586621680744885 b6989586621680744888))) Source #
Instances
(STraversable t, SApplicative f) => SingI (TraverseSym0 :: TyFun (a ~> f b) (t a ~> f (t b)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing TraverseSym0 Source # | |
SuppressUnusedWarnings (TraverseSym0 :: TyFun (a6989586621680744887 ~> f6989586621680744886 b6989586621680744888) (t6989586621680744885 a6989586621680744887 ~> f6989586621680744886 (t6989586621680744885 b6989586621680744888)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (TraverseSym0 :: TyFun (a6989586621680744887 ~> f6989586621680744886 b6989586621680744888) (t6989586621680744885 a6989586621680744887 ~> f6989586621680744886 (t6989586621680744885 b6989586621680744888)) -> Type) (arg6989586621680744897 :: a6989586621680744887 ~> f6989586621680744886 b6989586621680744888) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (TraverseSym0 :: TyFun (a6989586621680744887 ~> f6989586621680744886 b6989586621680744888) (t6989586621680744885 a6989586621680744887 ~> f6989586621680744886 (t6989586621680744885 b6989586621680744888)) -> Type) (arg6989586621680744897 :: a6989586621680744887 ~> f6989586621680744886 b6989586621680744888) = (TraverseSym1 arg6989586621680744897 t6989586621680744885 :: TyFun (t6989586621680744885 a6989586621680744887) (f6989586621680744886 (t6989586621680744885 b6989586621680744888)) -> Type) |
data TraverseSym1 (arg6989586621680744897 :: (~>) a6989586621680744887 (f6989586621680744886 b6989586621680744888)) :: forall t6989586621680744885. (~>) (t6989586621680744885 a6989586621680744887) (f6989586621680744886 (t6989586621680744885 b6989586621680744888)) Source #
Instances
(STraversable t, SApplicative f, SingI d) => SingI (TraverseSym1 d t :: TyFun (t a) (f (t b)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (TraverseSym1 d t) Source # | |
SuppressUnusedWarnings (TraverseSym1 arg6989586621680744897 t6989586621680744885 :: TyFun (t6989586621680744885 a6989586621680744887) (f6989586621680744886 (t6989586621680744885 b6989586621680744888)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (TraverseSym1 arg6989586621680744897 t :: TyFun (t a) (f (t b)) -> Type) (arg6989586621680744898 :: t a) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (TraverseSym1 arg6989586621680744897 t :: TyFun (t a) (f (t b)) -> Type) (arg6989586621680744898 :: t a) = Traverse arg6989586621680744897 arg6989586621680744898 |
type TraverseSym2 (arg6989586621680744897 :: (~>) a6989586621680744887 (f6989586621680744886 b6989586621680744888)) (arg6989586621680744898 :: t6989586621680744885 a6989586621680744887) = Traverse arg6989586621680744897 arg6989586621680744898 Source #
data SequenceASym0 :: forall a6989586621680744890 f6989586621680744889 t6989586621680744885. (~>) (t6989586621680744885 (f6989586621680744889 a6989586621680744890)) (f6989586621680744889 (t6989586621680744885 a6989586621680744890)) Source #
Instances
(STraversable t, SApplicative f) => SingI (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing SequenceASym0 Source # | |
SuppressUnusedWarnings (SequenceASym0 :: TyFun (t6989586621680744885 (f6989586621680744889 a6989586621680744890)) (f6989586621680744889 (t6989586621680744885 a6989586621680744890)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) (arg6989586621680744901 :: t (f a)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (SequenceASym0 :: TyFun (t (f a)) (f (t a)) -> Type) (arg6989586621680744901 :: t (f a)) = SequenceA arg6989586621680744901 |
type SequenceASym1 (arg6989586621680744901 :: t6989586621680744885 (f6989586621680744889 a6989586621680744890)) = SequenceA arg6989586621680744901 Source #
data MapMSym0 :: forall a6989586621680744892 b6989586621680744893 m6989586621680744891 t6989586621680744885. (~>) ((~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) ((~>) (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893))) Source #
Instances
(STraversable t, SMonad m) => SingI (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (MapMSym0 :: TyFun (a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) (t6989586621680744885 a6989586621680744892 ~> m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapMSym0 :: TyFun (a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) (t6989586621680744885 a6989586621680744892 ~> m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) (arg6989586621680744903 :: a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (MapMSym0 :: TyFun (a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) (t6989586621680744885 a6989586621680744892 ~> m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) (arg6989586621680744903 :: a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) = (MapMSym1 arg6989586621680744903 t6989586621680744885 :: TyFun (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) |
data MapMSym1 (arg6989586621680744903 :: (~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) :: forall t6989586621680744885. (~>) (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893)) Source #
Instances
(STraversable t, SMonad m, SingI d) => SingI (MapMSym1 d t :: TyFun (t a) (m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (MapMSym1 arg6989586621680744903 t6989586621680744885 :: TyFun (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapMSym1 arg6989586621680744903 t :: TyFun (t a) (m (t b)) -> Type) (arg6989586621680744904 :: t a) Source # | |
type MapMSym2 (arg6989586621680744903 :: (~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) (arg6989586621680744904 :: t6989586621680744885 a6989586621680744892) = MapM arg6989586621680744903 arg6989586621680744904 Source #
data SequenceSym0 :: forall a6989586621680744895 m6989586621680744894 t6989586621680744885. (~>) (t6989586621680744885 (m6989586621680744894 a6989586621680744895)) (m6989586621680744894 (t6989586621680744885 a6989586621680744895)) Source #
Instances
(STraversable t, SMonad m) => SingI (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing SequenceSym0 Source # | |
SuppressUnusedWarnings (SequenceSym0 :: TyFun (t6989586621680744885 (m6989586621680744894 a6989586621680744895)) (m6989586621680744894 (t6989586621680744885 a6989586621680744895)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (arg6989586621680744907 :: t (m a)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (arg6989586621680744907 :: t (m a)) = Sequence arg6989586621680744907 |
type SequenceSym1 (arg6989586621680744907 :: t6989586621680744885 (m6989586621680744894 a6989586621680744895)) = Sequence arg6989586621680744907 Source #
data ForSym0 :: forall a6989586621680750472 b6989586621680750473 f6989586621680750471 t6989586621680750470. (~>) (t6989586621680750470 a6989586621680750472) ((~>) ((~>) a6989586621680750472 (f6989586621680750471 b6989586621680750473)) (f6989586621680750471 (t6989586621680750470 b6989586621680750473))) Source #
Instances
(STraversable t, SApplicative f) => SingI (ForSym0 :: TyFun (t a) ((a ~> f b) ~> f (t b)) -> Type) Source # | |
SuppressUnusedWarnings (ForSym0 :: TyFun (t6989586621680750470 a6989586621680750472) ((a6989586621680750472 ~> f6989586621680750471 b6989586621680750473) ~> f6989586621680750471 (t6989586621680750470 b6989586621680750473)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (ForSym0 :: TyFun (t6989586621680750470 a6989586621680750472) ((a6989586621680750472 ~> f6989586621680750471 b6989586621680750473) ~> f6989586621680750471 (t6989586621680750470 b6989586621680750473)) -> Type) (a6989586621680751033 :: t6989586621680750470 a6989586621680750472) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (ForSym0 :: TyFun (t6989586621680750470 a6989586621680750472) ((a6989586621680750472 ~> f6989586621680750471 b6989586621680750473) ~> f6989586621680750471 (t6989586621680750470 b6989586621680750473)) -> Type) (a6989586621680751033 :: t6989586621680750470 a6989586621680750472) = (ForSym1 a6989586621680751033 b6989586621680750473 f6989586621680750471 :: TyFun (a6989586621680750472 ~> f6989586621680750471 b6989586621680750473) (f6989586621680750471 (t6989586621680750470 b6989586621680750473)) -> Type) |
data ForSym1 (a6989586621680751033 :: t6989586621680750470 a6989586621680750472) :: forall b6989586621680750473 f6989586621680750471. (~>) ((~>) a6989586621680750472 (f6989586621680750471 b6989586621680750473)) (f6989586621680750471 (t6989586621680750470 b6989586621680750473)) Source #
Instances
(STraversable t, SApplicative f, SingI d) => SingI (ForSym1 d b f :: TyFun (a ~> f b) (f (t b)) -> Type) Source # | |
SuppressUnusedWarnings (ForSym1 a6989586621680751033 b6989586621680750473 f6989586621680750471 :: TyFun (a6989586621680750472 ~> f6989586621680750471 b6989586621680750473) (f6989586621680750471 (t6989586621680750470 b6989586621680750473)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (ForSym1 a6989586621680751033 b f :: TyFun (a ~> f b) (f (t b)) -> Type) (a6989586621680751034 :: a ~> f b) Source # | |
type ForSym2 (a6989586621680751033 :: t6989586621680750470 a6989586621680750472) (a6989586621680751034 :: (~>) a6989586621680750472 (f6989586621680750471 b6989586621680750473)) = For a6989586621680751033 a6989586621680751034 Source #
data ForMSym0 :: forall a6989586621680750468 b6989586621680750469 m6989586621680750467 t6989586621680750466. (~>) (t6989586621680750466 a6989586621680750468) ((~>) ((~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) (m6989586621680750467 (t6989586621680750466 b6989586621680750469))) Source #
Instances
(STraversable t, SMonad m) => SingI (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (ForMSym0 :: TyFun (t6989586621680750466 a6989586621680750468) ((a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) ~> m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (ForMSym0 :: TyFun (t6989586621680750466 a6989586621680750468) ((a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) ~> m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (ForMSym0 :: TyFun (t6989586621680750466 a6989586621680750468) ((a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) ~> m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) = (ForMSym1 a6989586621680751023 b6989586621680750469 m6989586621680750467 :: TyFun (a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) (m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) |
data ForMSym1 (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) :: forall b6989586621680750469 m6989586621680750467. (~>) ((~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) (m6989586621680750467 (t6989586621680750466 b6989586621680750469)) Source #
Instances
(STraversable t, SMonad m, SingI d) => SingI (ForMSym1 d b m :: TyFun (a ~> m b) (m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (ForMSym1 a6989586621680751023 b6989586621680750469 m6989586621680750467 :: TyFun (a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) (m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (ForMSym1 a6989586621680751023 b m :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680751024 :: a ~> m b) Source # | |
type ForMSym2 (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) (a6989586621680751024 :: (~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) = ForM a6989586621680751023 a6989586621680751024 Source #
data MapAccumLSym0 :: forall a6989586621680750463 b6989586621680750464 c6989586621680750465 t6989586621680750462. (~>) ((~>) a6989586621680750463 ((~>) b6989586621680750464 (a6989586621680750463, c6989586621680750465))) ((~>) a6989586621680750463 ((~>) (t6989586621680750462 b6989586621680750464) (a6989586621680750463, t6989586621680750462 c6989586621680750465))) Source #
Instances
STraversable t => SingI (MapAccumLSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing MapAccumLSym0 Source # | |
SuppressUnusedWarnings (MapAccumLSym0 :: TyFun (a6989586621680750463 ~> (b6989586621680750464 ~> (a6989586621680750463, c6989586621680750465))) (a6989586621680750463 ~> (t6989586621680750462 b6989586621680750464 ~> (a6989586621680750463, t6989586621680750462 c6989586621680750465))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapAccumLSym0 :: TyFun (a6989586621680750463 ~> (b6989586621680750464 ~> (a6989586621680750463, c6989586621680750465))) (a6989586621680750463 ~> (t6989586621680750462 b6989586621680750464 ~> (a6989586621680750463, t6989586621680750462 c6989586621680750465))) -> Type) (a6989586621680751002 :: a6989586621680750463 ~> (b6989586621680750464 ~> (a6989586621680750463, c6989586621680750465))) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumLSym0 :: TyFun (a6989586621680750463 ~> (b6989586621680750464 ~> (a6989586621680750463, c6989586621680750465))) (a6989586621680750463 ~> (t6989586621680750462 b6989586621680750464 ~> (a6989586621680750463, t6989586621680750462 c6989586621680750465))) -> Type) (a6989586621680751002 :: a6989586621680750463 ~> (b6989586621680750464 ~> (a6989586621680750463, c6989586621680750465))) = (MapAccumLSym1 a6989586621680751002 t6989586621680750462 :: TyFun a6989586621680750463 (t6989586621680750462 b6989586621680750464 ~> (a6989586621680750463, t6989586621680750462 c6989586621680750465)) -> Type) |
data MapAccumLSym1 (a6989586621680751002 :: (~>) a6989586621680750463 ((~>) b6989586621680750464 (a6989586621680750463, c6989586621680750465))) :: forall t6989586621680750462. (~>) a6989586621680750463 ((~>) (t6989586621680750462 b6989586621680750464) (a6989586621680750463, t6989586621680750462 c6989586621680750465)) Source #
Instances
(STraversable t, SingI d) => SingI (MapAccumLSym1 d t :: TyFun a (t b ~> (a, t c)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapAccumLSym1 d t) Source # | |
SuppressUnusedWarnings (MapAccumLSym1 a6989586621680751002 t6989586621680750462 :: TyFun a6989586621680750463 (t6989586621680750462 b6989586621680750464 ~> (a6989586621680750463, t6989586621680750462 c6989586621680750465)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapAccumLSym1 a6989586621680751002 t6989586621680750462 :: TyFun a6989586621680750463 (t6989586621680750462 b6989586621680750464 ~> (a6989586621680750463, t6989586621680750462 c6989586621680750465)) -> Type) (a6989586621680751003 :: a6989586621680750463) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumLSym1 a6989586621680751002 t6989586621680750462 :: TyFun a6989586621680750463 (t6989586621680750462 b6989586621680750464 ~> (a6989586621680750463, t6989586621680750462 c6989586621680750465)) -> Type) (a6989586621680751003 :: a6989586621680750463) = (MapAccumLSym2 a6989586621680751002 a6989586621680751003 t6989586621680750462 :: TyFun (t6989586621680750462 b6989586621680750464) (a6989586621680750463, t6989586621680750462 c6989586621680750465) -> Type) |
data MapAccumLSym2 (a6989586621680751002 :: (~>) a6989586621680750463 ((~>) b6989586621680750464 (a6989586621680750463, c6989586621680750465))) (a6989586621680751003 :: a6989586621680750463) :: forall t6989586621680750462. (~>) (t6989586621680750462 b6989586621680750464) (a6989586621680750463, t6989586621680750462 c6989586621680750465) Source #
Instances
(STraversable t, SingI d1, SingI d2) => SingI (MapAccumLSym2 d1 d2 t :: TyFun (t b) (a, t c) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapAccumLSym2 d1 d2 t) Source # | |
SuppressUnusedWarnings (MapAccumLSym2 a6989586621680751003 a6989586621680751002 t6989586621680750462 :: TyFun (t6989586621680750462 b6989586621680750464) (a6989586621680750463, t6989586621680750462 c6989586621680750465) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapAccumLSym2 a6989586621680751003 a6989586621680751002 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680751004 :: t b) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumLSym2 a6989586621680751003 a6989586621680751002 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680751004 :: t b) = MapAccumL a6989586621680751003 a6989586621680751002 a6989586621680751004 |
type MapAccumLSym3 (a6989586621680751002 :: (~>) a6989586621680750463 ((~>) b6989586621680750464 (a6989586621680750463, c6989586621680750465))) (a6989586621680751003 :: a6989586621680750463) (a6989586621680751004 :: t6989586621680750462 b6989586621680750464) = MapAccumL a6989586621680751002 a6989586621680751003 a6989586621680751004 Source #
data MapAccumRSym0 :: forall a6989586621680750459 b6989586621680750460 c6989586621680750461 t6989586621680750458. (~>) ((~>) a6989586621680750459 ((~>) b6989586621680750460 (a6989586621680750459, c6989586621680750461))) ((~>) a6989586621680750459 ((~>) (t6989586621680750458 b6989586621680750460) (a6989586621680750459, t6989586621680750458 c6989586621680750461))) Source #
Instances
STraversable t => SingI (MapAccumRSym0 :: TyFun (a ~> (b ~> (a, c))) (a ~> (t b ~> (a, t c))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing MapAccumRSym0 Source # | |
SuppressUnusedWarnings (MapAccumRSym0 :: TyFun (a6989586621680750459 ~> (b6989586621680750460 ~> (a6989586621680750459, c6989586621680750461))) (a6989586621680750459 ~> (t6989586621680750458 b6989586621680750460 ~> (a6989586621680750459, t6989586621680750458 c6989586621680750461))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapAccumRSym0 :: TyFun (a6989586621680750459 ~> (b6989586621680750460 ~> (a6989586621680750459, c6989586621680750461))) (a6989586621680750459 ~> (t6989586621680750458 b6989586621680750460 ~> (a6989586621680750459, t6989586621680750458 c6989586621680750461))) -> Type) (a6989586621680750985 :: a6989586621680750459 ~> (b6989586621680750460 ~> (a6989586621680750459, c6989586621680750461))) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumRSym0 :: TyFun (a6989586621680750459 ~> (b6989586621680750460 ~> (a6989586621680750459, c6989586621680750461))) (a6989586621680750459 ~> (t6989586621680750458 b6989586621680750460 ~> (a6989586621680750459, t6989586621680750458 c6989586621680750461))) -> Type) (a6989586621680750985 :: a6989586621680750459 ~> (b6989586621680750460 ~> (a6989586621680750459, c6989586621680750461))) = (MapAccumRSym1 a6989586621680750985 t6989586621680750458 :: TyFun a6989586621680750459 (t6989586621680750458 b6989586621680750460 ~> (a6989586621680750459, t6989586621680750458 c6989586621680750461)) -> Type) |
data MapAccumRSym1 (a6989586621680750985 :: (~>) a6989586621680750459 ((~>) b6989586621680750460 (a6989586621680750459, c6989586621680750461))) :: forall t6989586621680750458. (~>) a6989586621680750459 ((~>) (t6989586621680750458 b6989586621680750460) (a6989586621680750459, t6989586621680750458 c6989586621680750461)) Source #
Instances
(STraversable t, SingI d) => SingI (MapAccumRSym1 d t :: TyFun a (t b ~> (a, t c)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapAccumRSym1 d t) Source # | |
SuppressUnusedWarnings (MapAccumRSym1 a6989586621680750985 t6989586621680750458 :: TyFun a6989586621680750459 (t6989586621680750458 b6989586621680750460 ~> (a6989586621680750459, t6989586621680750458 c6989586621680750461)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapAccumRSym1 a6989586621680750985 t6989586621680750458 :: TyFun a6989586621680750459 (t6989586621680750458 b6989586621680750460 ~> (a6989586621680750459, t6989586621680750458 c6989586621680750461)) -> Type) (a6989586621680750986 :: a6989586621680750459) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumRSym1 a6989586621680750985 t6989586621680750458 :: TyFun a6989586621680750459 (t6989586621680750458 b6989586621680750460 ~> (a6989586621680750459, t6989586621680750458 c6989586621680750461)) -> Type) (a6989586621680750986 :: a6989586621680750459) = (MapAccumRSym2 a6989586621680750985 a6989586621680750986 t6989586621680750458 :: TyFun (t6989586621680750458 b6989586621680750460) (a6989586621680750459, t6989586621680750458 c6989586621680750461) -> Type) |
data MapAccumRSym2 (a6989586621680750985 :: (~>) a6989586621680750459 ((~>) b6989586621680750460 (a6989586621680750459, c6989586621680750461))) (a6989586621680750986 :: a6989586621680750459) :: forall t6989586621680750458. (~>) (t6989586621680750458 b6989586621680750460) (a6989586621680750459, t6989586621680750458 c6989586621680750461) Source #
Instances
(STraversable t, SingI d1, SingI d2) => SingI (MapAccumRSym2 d1 d2 t :: TyFun (t b) (a, t c) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapAccumRSym2 d1 d2 t) Source # | |
SuppressUnusedWarnings (MapAccumRSym2 a6989586621680750986 a6989586621680750985 t6989586621680750458 :: TyFun (t6989586621680750458 b6989586621680750460) (a6989586621680750459, t6989586621680750458 c6989586621680750461) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapAccumRSym2 a6989586621680750986 a6989586621680750985 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680750987 :: t b) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (MapAccumRSym2 a6989586621680750986 a6989586621680750985 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680750987 :: t b) = MapAccumR a6989586621680750986 a6989586621680750985 a6989586621680750987 |
type MapAccumRSym3 (a6989586621680750985 :: (~>) a6989586621680750459 ((~>) b6989586621680750460 (a6989586621680750459, c6989586621680750461))) (a6989586621680750986 :: a6989586621680750459) (a6989586621680750987 :: t6989586621680750458 b6989586621680750460) = MapAccumR a6989586621680750985 a6989586621680750986 a6989586621680750987 Source #
data FmapDefaultSym0 :: forall a6989586621680750456 b6989586621680750457 t6989586621680750455. (~>) ((~>) a6989586621680750456 b6989586621680750457) ((~>) (t6989586621680750455 a6989586621680750456) (t6989586621680750455 b6989586621680750457)) Source #
Instances
STraversable t => SingI (FmapDefaultSym0 :: TyFun (a ~> b) (t a ~> t b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods | |
SuppressUnusedWarnings (FmapDefaultSym0 :: TyFun (a6989586621680750456 ~> b6989586621680750457) (t6989586621680750455 a6989586621680750456 ~> t6989586621680750455 b6989586621680750457) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (FmapDefaultSym0 :: TyFun (a6989586621680750456 ~> b6989586621680750457) (t6989586621680750455 a6989586621680750456 ~> t6989586621680750455 b6989586621680750457) -> Type) (a6989586621680750972 :: a6989586621680750456 ~> b6989586621680750457) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (FmapDefaultSym0 :: TyFun (a6989586621680750456 ~> b6989586621680750457) (t6989586621680750455 a6989586621680750456 ~> t6989586621680750455 b6989586621680750457) -> Type) (a6989586621680750972 :: a6989586621680750456 ~> b6989586621680750457) = (FmapDefaultSym1 a6989586621680750972 t6989586621680750455 :: TyFun (t6989586621680750455 a6989586621680750456) (t6989586621680750455 b6989586621680750457) -> Type) |
data FmapDefaultSym1 (a6989586621680750972 :: (~>) a6989586621680750456 b6989586621680750457) :: forall t6989586621680750455. (~>) (t6989586621680750455 a6989586621680750456) (t6989586621680750455 b6989586621680750457) Source #
Instances
(STraversable t, SingI d) => SingI (FmapDefaultSym1 d t :: TyFun (t a) (t b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (FmapDefaultSym1 d t) Source # | |
SuppressUnusedWarnings (FmapDefaultSym1 a6989586621680750972 t6989586621680750455 :: TyFun (t6989586621680750455 a6989586621680750456) (t6989586621680750455 b6989586621680750457) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (FmapDefaultSym1 a6989586621680750972 t :: TyFun (t a) (t b) -> Type) (a6989586621680750973 :: t a) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (FmapDefaultSym1 a6989586621680750972 t :: TyFun (t a) (t b) -> Type) (a6989586621680750973 :: t a) = FmapDefault a6989586621680750972 a6989586621680750973 |
type FmapDefaultSym2 (a6989586621680750972 :: (~>) a6989586621680750456 b6989586621680750457) (a6989586621680750973 :: t6989586621680750455 a6989586621680750456) = FmapDefault a6989586621680750972 a6989586621680750973 Source #
data FoldMapDefaultSym0 :: forall a6989586621680750454 m6989586621680750453 t6989586621680750452. (~>) ((~>) a6989586621680750454 m6989586621680750453) ((~>) (t6989586621680750452 a6989586621680750454) m6989586621680750453) Source #
Instances
(STraversable t, SMonoid m) => SingI (FoldMapDefaultSym0 :: TyFun (a ~> m) (t a ~> m) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods | |
SuppressUnusedWarnings (FoldMapDefaultSym0 :: TyFun (a6989586621680750454 ~> m6989586621680750453) (t6989586621680750452 a6989586621680750454 ~> m6989586621680750453) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldMapDefaultSym0 :: TyFun (a6989586621680750454 ~> m6989586621680750453) (t6989586621680750452 a6989586621680750454 ~> m6989586621680750453) -> Type) (a6989586621680750951 :: a6989586621680750454 ~> m6989586621680750453) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (FoldMapDefaultSym0 :: TyFun (a6989586621680750454 ~> m6989586621680750453) (t6989586621680750452 a6989586621680750454 ~> m6989586621680750453) -> Type) (a6989586621680750951 :: a6989586621680750454 ~> m6989586621680750453) = (FoldMapDefaultSym1 a6989586621680750951 t6989586621680750452 :: TyFun (t6989586621680750452 a6989586621680750454) m6989586621680750453 -> Type) |
data FoldMapDefaultSym1 (a6989586621680750951 :: (~>) a6989586621680750454 m6989586621680750453) :: forall t6989586621680750452. (~>) (t6989586621680750452 a6989586621680750454) m6989586621680750453 Source #
Instances
(STraversable t, SMonoid m, SingI d) => SingI (FoldMapDefaultSym1 d t :: TyFun (t a) m -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (FoldMapDefaultSym1 d t) Source # | |
SuppressUnusedWarnings (FoldMapDefaultSym1 a6989586621680750951 t6989586621680750452 :: TyFun (t6989586621680750452 a6989586621680750454) m6989586621680750453 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldMapDefaultSym1 a6989586621680750951 t :: TyFun (t a) m -> Type) (a6989586621680750952 :: t a) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (FoldMapDefaultSym1 a6989586621680750951 t :: TyFun (t a) m -> Type) (a6989586621680750952 :: t a) = FoldMapDefault a6989586621680750951 a6989586621680750952 |
type FoldMapDefaultSym2 (a6989586621680750951 :: (~>) a6989586621680750454 m6989586621680750453) (a6989586621680750952 :: t6989586621680750452 a6989586621680750454) = FoldMapDefault a6989586621680750951 a6989586621680750952 Source #