Data.Singletons.Prelude.Traversable

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

Documentation

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

Associated Types

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

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

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

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

Instances

PTraversable []

Defined in Data.Singletons.Prelude.Traversable

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Maybe

Defined in Data.Singletons.Prelude.Traversable

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Min

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Max

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable First

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Last

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Option

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Identity

Defined in Data.Singletons.Prelude.Traversable

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable First

Defined in Data.Singletons.Prelude.Traversable

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Last

Defined in Data.Singletons.Prelude.Traversable

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Dual

Defined in Data.Singletons.Prelude.Traversable

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Sum

Defined in Data.Singletons.Prelude.Traversable

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Product

Defined in Data.Singletons.Prelude.Traversable

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable NonEmpty

Defined in Data.Singletons.Prelude.Traversable

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Either a)

Defined in Data.Singletons.Prelude.Traversable

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable ((,) a)

Defined in Data.Singletons.Prelude.Traversable

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Arg a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable (Const m :: Type -> Type)

Defined in Data.Singletons.Prelude.Traversable

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

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

Minimal complete definition

Nothing

Methods

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

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

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

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

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

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

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

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

Instances

STraversable []

Defined in Data.Singletons.Prelude.Traversable

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable Maybe

Defined in Data.Singletons.Prelude.Traversable

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable Min

Defined in Data.Singletons.Prelude.Semigroup

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable Max

Defined in Data.Singletons.Prelude.Semigroup

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable First

Defined in Data.Singletons.Prelude.Semigroup

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable Last

Defined in Data.Singletons.Prelude.Semigroup

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable Option

Defined in Data.Singletons.Prelude.Semigroup

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable Identity

Defined in Data.Singletons.Prelude.Traversable

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable First

Defined in Data.Singletons.Prelude.Traversable

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable Last

Defined in Data.Singletons.Prelude.Traversable

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable Dual

Defined in Data.Singletons.Prelude.Traversable

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable Sum

Defined in Data.Singletons.Prelude.Traversable

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable Product

Defined in Data.Singletons.Prelude.Traversable

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable NonEmpty

Defined in Data.Singletons.Prelude.Traversable

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable (Either a)

Defined in Data.Singletons.Prelude.Traversable

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable ((,) a)

Defined in Data.Singletons.Prelude.Traversable

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable (Arg a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

STraversable (Const m :: Type -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

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

sMapM :: SMonad m0 => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

sSequence :: SMonad m0 => Sing t -> Sing (Apply SequenceSym0 t)

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

Equations

For a_6989586621680741111 a_6989586621680741113 = Apply (Apply (Apply FlipSym0 TraverseSym0) a_6989586621680741111) a_6989586621680741113

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

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

Equations

ForM a_6989586621680741101 a_6989586621680741103 = Apply (Apply (Apply FlipSym0 MapMSym0) a_6989586621680741101) a_6989586621680741103

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

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

Equations

MapAccumL f s t = Case_6989586621680741097 f s t (Let6989586621680741093Scrutinee_6989586621680740628Sym3 f s t)

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

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

Equations

MapAccumR f s t = Case_6989586621680741080 f s t (Let6989586621680741076Scrutinee_6989586621680740632Sym3 f s t)

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

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

Equations

FmapDefault f x = Case_6989586621680741063 f x (Let6989586621680741060Scrutinee_6989586621680740636Sym2 f x)

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

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

Equations

FoldMapDefault f x = Case_6989586621680741050 f x (Let6989586621680741047Scrutinee_6989586621680740639Sym2 f x)

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

Defunctionalization symbols

data TraverseSym0 :: forall a6989586621680734969 b6989586621680734970 f6989586621680734968 t6989586621680734967. (~>) ((~>) a6989586621680734969 (f6989586621680734968 b6989586621680734970)) ((~>) (t6989586621680734967 a6989586621680734969) (f6989586621680734968 (t6989586621680734967 b6989586621680734970)))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing TraverseSym0

SuppressUnusedWarnings (TraverseSym0 :: TyFun (a6989586621680734969 ~> f6989586621680734968 b6989586621680734970) (t6989586621680734967 a6989586621680734969 ~> f6989586621680734968 (t6989586621680734967 b6989586621680734970)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (TraverseSym0 :: TyFun (a6989586621680734969 ~> f6989586621680734968 b6989586621680734970) (t6989586621680734967 a6989586621680734969 ~> f6989586621680734968 (t6989586621680734967 b6989586621680734970)) -> Type) (arg6989586621680734979 :: a6989586621680734969 ~> f6989586621680734968 b6989586621680734970)

Defined in Data.Singletons.Prelude.Traversable

type Apply (TraverseSym0 :: TyFun (a6989586621680734969 ~> f6989586621680734968 b6989586621680734970) (t6989586621680734967 a6989586621680734969 ~> f6989586621680734968 (t6989586621680734967 b6989586621680734970)) -> Type) (arg6989586621680734979 :: a6989586621680734969 ~> f6989586621680734968 b6989586621680734970) = (TraverseSym1 arg6989586621680734979 t6989586621680734967 :: TyFun (t6989586621680734967 a6989586621680734969) (f6989586621680734968 (t6989586621680734967 b6989586621680734970)) -> Type)

data TraverseSym1 (arg6989586621680734979 :: (~>) a6989586621680734969 (f6989586621680734968 b6989586621680734970)) :: forall t6989586621680734967. (~>) (t6989586621680734967 a6989586621680734969) (f6989586621680734968 (t6989586621680734967 b6989586621680734970))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (TraverseSym1 d t)

SuppressUnusedWarnings (TraverseSym1 arg6989586621680734979 t6989586621680734967 :: TyFun (t6989586621680734967 a6989586621680734969) (f6989586621680734968 (t6989586621680734967 b6989586621680734970)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (TraverseSym1 arg6989586621680734979 t :: TyFun (t a) (f (t b)) -> Type) (arg6989586621680734980 :: t a)

Defined in Data.Singletons.Prelude.Traversable

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

type TraverseSym2 (arg6989586621680734979 :: (~>) a6989586621680734969 (f6989586621680734968 b6989586621680734970)) (arg6989586621680734980 :: t6989586621680734967 a6989586621680734969) = Traverse arg6989586621680734979 arg6989586621680734980

data SequenceASym0 :: forall a6989586621680734972 f6989586621680734971 t6989586621680734967. (~>) (t6989586621680734967 (f6989586621680734971 a6989586621680734972)) (f6989586621680734971 (t6989586621680734967 a6989586621680734972))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing SequenceASym0

SuppressUnusedWarnings (SequenceASym0 :: TyFun (t6989586621680734967 (f6989586621680734971 a6989586621680734972)) (f6989586621680734971 (t6989586621680734967 a6989586621680734972)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Traversable

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

type SequenceASym1 (arg6989586621680734983 :: t6989586621680734967 (f6989586621680734971 a6989586621680734972)) = SequenceA arg6989586621680734983

data MapMSym0 :: forall a6989586621680734974 b6989586621680734975 m6989586621680734973 t6989586621680734967. (~>) ((~>) a6989586621680734974 (m6989586621680734973 b6989586621680734975)) ((~>) (t6989586621680734967 a6989586621680734974) (m6989586621680734973 (t6989586621680734967 b6989586621680734975)))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing MapMSym0

SuppressUnusedWarnings (MapMSym0 :: TyFun (a6989586621680734974 ~> m6989586621680734973 b6989586621680734975) (t6989586621680734967 a6989586621680734974 ~> m6989586621680734973 (t6989586621680734967 b6989586621680734975)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (MapMSym0 :: TyFun (a6989586621680734974 ~> m6989586621680734973 b6989586621680734975) (t6989586621680734967 a6989586621680734974 ~> m6989586621680734973 (t6989586621680734967 b6989586621680734975)) -> Type) (arg6989586621680734985 :: a6989586621680734974 ~> m6989586621680734973 b6989586621680734975)

Defined in Data.Singletons.Prelude.Traversable

type Apply (MapMSym0 :: TyFun (a6989586621680734974 ~> m6989586621680734973 b6989586621680734975) (t6989586621680734967 a6989586621680734974 ~> m6989586621680734973 (t6989586621680734967 b6989586621680734975)) -> Type) (arg6989586621680734985 :: a6989586621680734974 ~> m6989586621680734973 b6989586621680734975) = (MapMSym1 arg6989586621680734985 t6989586621680734967 :: TyFun (t6989586621680734967 a6989586621680734974) (m6989586621680734973 (t6989586621680734967 b6989586621680734975)) -> Type)

data MapMSym1 (arg6989586621680734985 :: (~>) a6989586621680734974 (m6989586621680734973 b6989586621680734975)) :: forall t6989586621680734967. (~>) (t6989586621680734967 a6989586621680734974) (m6989586621680734973 (t6989586621680734967 b6989586621680734975))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (MapMSym1 d t)

SuppressUnusedWarnings (MapMSym1 arg6989586621680734985 t6989586621680734967 :: TyFun (t6989586621680734967 a6989586621680734974) (m6989586621680734973 (t6989586621680734967 b6989586621680734975)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (MapMSym1 arg6989586621680734985 t :: TyFun (t a) (m (t b)) -> Type) (arg6989586621680734986 :: t a)

Defined in Data.Singletons.Prelude.Traversable

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

type MapMSym2 (arg6989586621680734985 :: (~>) a6989586621680734974 (m6989586621680734973 b6989586621680734975)) (arg6989586621680734986 :: t6989586621680734967 a6989586621680734974) = MapM arg6989586621680734985 arg6989586621680734986

data SequenceSym0 :: forall a6989586621680734977 m6989586621680734976 t6989586621680734967. (~>) (t6989586621680734967 (m6989586621680734976 a6989586621680734977)) (m6989586621680734976 (t6989586621680734967 a6989586621680734977))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing SequenceSym0

SuppressUnusedWarnings (SequenceSym0 :: TyFun (t6989586621680734967 (m6989586621680734976 a6989586621680734977)) (m6989586621680734976 (t6989586621680734967 a6989586621680734977)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Traversable

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

type SequenceSym1 (arg6989586621680734989 :: t6989586621680734967 (m6989586621680734976 a6989586621680734977)) = Sequence arg6989586621680734989

data ForSym0 :: forall a6989586621680740554 b6989586621680740555 f6989586621680740553 t6989586621680740552. (~>) (t6989586621680740552 a6989586621680740554) ((~>) ((~>) a6989586621680740554 (f6989586621680740553 b6989586621680740555)) (f6989586621680740553 (t6989586621680740552 b6989586621680740555)))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing ForSym0

SuppressUnusedWarnings (ForSym0 :: TyFun (t6989586621680740552 a6989586621680740554) ((a6989586621680740554 ~> f6989586621680740553 b6989586621680740555) ~> f6989586621680740553 (t6989586621680740552 b6989586621680740555)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (ForSym0 :: TyFun (t6989586621680740552 a6989586621680740554) ((a6989586621680740554 ~> f6989586621680740553 b6989586621680740555) ~> f6989586621680740553 (t6989586621680740552 b6989586621680740555)) -> Type) (a6989586621680741115 :: t6989586621680740552 a6989586621680740554)

Defined in Data.Singletons.Prelude.Traversable

type Apply (ForSym0 :: TyFun (t6989586621680740552 a6989586621680740554) ((a6989586621680740554 ~> f6989586621680740553 b6989586621680740555) ~> f6989586621680740553 (t6989586621680740552 b6989586621680740555)) -> Type) (a6989586621680741115 :: t6989586621680740552 a6989586621680740554) = (ForSym1 a6989586621680741115 b6989586621680740555 f6989586621680740553 :: TyFun (a6989586621680740554 ~> f6989586621680740553 b6989586621680740555) (f6989586621680740553 (t6989586621680740552 b6989586621680740555)) -> Type)

data ForSym1 (a6989586621680741115 :: t6989586621680740552 a6989586621680740554) :: forall b6989586621680740555 f6989586621680740553. (~>) ((~>) a6989586621680740554 (f6989586621680740553 b6989586621680740555)) (f6989586621680740553 (t6989586621680740552 b6989586621680740555))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (ForSym1 d b f)

SuppressUnusedWarnings (ForSym1 a6989586621680741115 b6989586621680740555 f6989586621680740553 :: TyFun (a6989586621680740554 ~> f6989586621680740553 b6989586621680740555) (f6989586621680740553 (t6989586621680740552 b6989586621680740555)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (ForSym1 a6989586621680741115 b f :: TyFun (a ~> f b) (f (t b)) -> Type) (a6989586621680741116 :: a ~> f b)

Defined in Data.Singletons.Prelude.Traversable

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

type ForSym2 (a6989586621680741115 :: t6989586621680740552 a6989586621680740554) (a6989586621680741116 :: (~>) a6989586621680740554 (f6989586621680740553 b6989586621680740555)) = For a6989586621680741115 a6989586621680741116

data ForMSym0 :: forall a6989586621680740550 b6989586621680740551 m6989586621680740549 t6989586621680740548. (~>) (t6989586621680740548 a6989586621680740550) ((~>) ((~>) a6989586621680740550 (m6989586621680740549 b6989586621680740551)) (m6989586621680740549 (t6989586621680740548 b6989586621680740551)))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing ForMSym0

SuppressUnusedWarnings (ForMSym0 :: TyFun (t6989586621680740548 a6989586621680740550) ((a6989586621680740550 ~> m6989586621680740549 b6989586621680740551) ~> m6989586621680740549 (t6989586621680740548 b6989586621680740551)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (ForMSym0 :: TyFun (t6989586621680740548 a6989586621680740550) ((a6989586621680740550 ~> m6989586621680740549 b6989586621680740551) ~> m6989586621680740549 (t6989586621680740548 b6989586621680740551)) -> Type) (a6989586621680741105 :: t6989586621680740548 a6989586621680740550)

Defined in Data.Singletons.Prelude.Traversable

type Apply (ForMSym0 :: TyFun (t6989586621680740548 a6989586621680740550) ((a6989586621680740550 ~> m6989586621680740549 b6989586621680740551) ~> m6989586621680740549 (t6989586621680740548 b6989586621680740551)) -> Type) (a6989586621680741105 :: t6989586621680740548 a6989586621680740550) = (ForMSym1 a6989586621680741105 b6989586621680740551 m6989586621680740549 :: TyFun (a6989586621680740550 ~> m6989586621680740549 b6989586621680740551) (m6989586621680740549 (t6989586621680740548 b6989586621680740551)) -> Type)

data ForMSym1 (a6989586621680741105 :: t6989586621680740548 a6989586621680740550) :: forall b6989586621680740551 m6989586621680740549. (~>) ((~>) a6989586621680740550 (m6989586621680740549 b6989586621680740551)) (m6989586621680740549 (t6989586621680740548 b6989586621680740551))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (ForMSym1 d b m)

SuppressUnusedWarnings (ForMSym1 a6989586621680741105 b6989586621680740551 m6989586621680740549 :: TyFun (a6989586621680740550 ~> m6989586621680740549 b6989586621680740551) (m6989586621680740549 (t6989586621680740548 b6989586621680740551)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (ForMSym1 a6989586621680741105 b m :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680741106 :: a ~> m b)

Defined in Data.Singletons.Prelude.Traversable

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

type ForMSym2 (a6989586621680741105 :: t6989586621680740548 a6989586621680740550) (a6989586621680741106 :: (~>) a6989586621680740550 (m6989586621680740549 b6989586621680740551)) = ForM a6989586621680741105 a6989586621680741106

data MapAccumLSym0 :: forall a6989586621680740545 b6989586621680740546 c6989586621680740547 t6989586621680740544. (~>) ((~>) a6989586621680740545 ((~>) b6989586621680740546 (a6989586621680740545, c6989586621680740547))) ((~>) a6989586621680740545 ((~>) (t6989586621680740544 b6989586621680740546) (a6989586621680740545, t6989586621680740544 c6989586621680740547)))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing MapAccumLSym0

SuppressUnusedWarnings (MapAccumLSym0 :: TyFun (a6989586621680740545 ~> (b6989586621680740546 ~> (a6989586621680740545, c6989586621680740547))) (a6989586621680740545 ~> (t6989586621680740544 b6989586621680740546 ~> (a6989586621680740545, t6989586621680740544 c6989586621680740547))) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumLSym0 :: TyFun (a6989586621680740545 ~> (b6989586621680740546 ~> (a6989586621680740545, c6989586621680740547))) (a6989586621680740545 ~> (t6989586621680740544 b6989586621680740546 ~> (a6989586621680740545, t6989586621680740544 c6989586621680740547))) -> Type) (a6989586621680741084 :: a6989586621680740545 ~> (b6989586621680740546 ~> (a6989586621680740545, c6989586621680740547)))

Defined in Data.Singletons.Prelude.Traversable

type Apply (MapAccumLSym0 :: TyFun (a6989586621680740545 ~> (b6989586621680740546 ~> (a6989586621680740545, c6989586621680740547))) (a6989586621680740545 ~> (t6989586621680740544 b6989586621680740546 ~> (a6989586621680740545, t6989586621680740544 c6989586621680740547))) -> Type) (a6989586621680741084 :: a6989586621680740545 ~> (b6989586621680740546 ~> (a6989586621680740545, c6989586621680740547))) = (MapAccumLSym1 a6989586621680741084 t6989586621680740544 :: TyFun a6989586621680740545 (t6989586621680740544 b6989586621680740546 ~> (a6989586621680740545, t6989586621680740544 c6989586621680740547)) -> Type)

data MapAccumLSym1 (a6989586621680741084 :: (~>) a6989586621680740545 ((~>) b6989586621680740546 (a6989586621680740545, c6989586621680740547))) :: forall t6989586621680740544. (~>) a6989586621680740545 ((~>) (t6989586621680740544 b6989586621680740546) (a6989586621680740545, t6989586621680740544 c6989586621680740547))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (MapAccumLSym1 d t)

SuppressUnusedWarnings (MapAccumLSym1 a6989586621680741084 t6989586621680740544 :: TyFun a6989586621680740545 (t6989586621680740544 b6989586621680740546 ~> (a6989586621680740545, t6989586621680740544 c6989586621680740547)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumLSym1 a6989586621680741084 t6989586621680740544 :: TyFun a6989586621680740545 (t6989586621680740544 b6989586621680740546 ~> (a6989586621680740545, t6989586621680740544 c6989586621680740547)) -> Type) (a6989586621680741085 :: a6989586621680740545)

Defined in Data.Singletons.Prelude.Traversable

type Apply (MapAccumLSym1 a6989586621680741084 t6989586621680740544 :: TyFun a6989586621680740545 (t6989586621680740544 b6989586621680740546 ~> (a6989586621680740545, t6989586621680740544 c6989586621680740547)) -> Type) (a6989586621680741085 :: a6989586621680740545) = (MapAccumLSym2 a6989586621680741084 a6989586621680741085 t6989586621680740544 :: TyFun (t6989586621680740544 b6989586621680740546) (a6989586621680740545, t6989586621680740544 c6989586621680740547) -> Type)

data MapAccumLSym2 (a6989586621680741084 :: (~>) a6989586621680740545 ((~>) b6989586621680740546 (a6989586621680740545, c6989586621680740547))) (a6989586621680741085 :: a6989586621680740545) :: forall t6989586621680740544. (~>) (t6989586621680740544 b6989586621680740546) (a6989586621680740545, t6989586621680740544 c6989586621680740547)

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (MapAccumLSym2 d1 d2 t)

SuppressUnusedWarnings (MapAccumLSym2 a6989586621680741085 a6989586621680741084 t6989586621680740544 :: TyFun (t6989586621680740544 b6989586621680740546) (a6989586621680740545, t6989586621680740544 c6989586621680740547) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumLSym2 a6989586621680741085 a6989586621680741084 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680741086 :: t b)

Defined in Data.Singletons.Prelude.Traversable

type Apply (MapAccumLSym2 a6989586621680741085 a6989586621680741084 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680741086 :: t b) = MapAccumL a6989586621680741085 a6989586621680741084 a6989586621680741086

type MapAccumLSym3 (a6989586621680741084 :: (~>) a6989586621680740545 ((~>) b6989586621680740546 (a6989586621680740545, c6989586621680740547))) (a6989586621680741085 :: a6989586621680740545) (a6989586621680741086 :: t6989586621680740544 b6989586621680740546) = MapAccumL a6989586621680741084 a6989586621680741085 a6989586621680741086

data MapAccumRSym0 :: forall a6989586621680740541 b6989586621680740542 c6989586621680740543 t6989586621680740540. (~>) ((~>) a6989586621680740541 ((~>) b6989586621680740542 (a6989586621680740541, c6989586621680740543))) ((~>) a6989586621680740541 ((~>) (t6989586621680740540 b6989586621680740542) (a6989586621680740541, t6989586621680740540 c6989586621680740543)))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing MapAccumRSym0

SuppressUnusedWarnings (MapAccumRSym0 :: TyFun (a6989586621680740541 ~> (b6989586621680740542 ~> (a6989586621680740541, c6989586621680740543))) (a6989586621680740541 ~> (t6989586621680740540 b6989586621680740542 ~> (a6989586621680740541, t6989586621680740540 c6989586621680740543))) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumRSym0 :: TyFun (a6989586621680740541 ~> (b6989586621680740542 ~> (a6989586621680740541, c6989586621680740543))) (a6989586621680740541 ~> (t6989586621680740540 b6989586621680740542 ~> (a6989586621680740541, t6989586621680740540 c6989586621680740543))) -> Type) (a6989586621680741067 :: a6989586621680740541 ~> (b6989586621680740542 ~> (a6989586621680740541, c6989586621680740543)))

Defined in Data.Singletons.Prelude.Traversable

type Apply (MapAccumRSym0 :: TyFun (a6989586621680740541 ~> (b6989586621680740542 ~> (a6989586621680740541, c6989586621680740543))) (a6989586621680740541 ~> (t6989586621680740540 b6989586621680740542 ~> (a6989586621680740541, t6989586621680740540 c6989586621680740543))) -> Type) (a6989586621680741067 :: a6989586621680740541 ~> (b6989586621680740542 ~> (a6989586621680740541, c6989586621680740543))) = (MapAccumRSym1 a6989586621680741067 t6989586621680740540 :: TyFun a6989586621680740541 (t6989586621680740540 b6989586621680740542 ~> (a6989586621680740541, t6989586621680740540 c6989586621680740543)) -> Type)

data MapAccumRSym1 (a6989586621680741067 :: (~>) a6989586621680740541 ((~>) b6989586621680740542 (a6989586621680740541, c6989586621680740543))) :: forall t6989586621680740540. (~>) a6989586621680740541 ((~>) (t6989586621680740540 b6989586621680740542) (a6989586621680740541, t6989586621680740540 c6989586621680740543))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (MapAccumRSym1 d t)

SuppressUnusedWarnings (MapAccumRSym1 a6989586621680741067 t6989586621680740540 :: TyFun a6989586621680740541 (t6989586621680740540 b6989586621680740542 ~> (a6989586621680740541, t6989586621680740540 c6989586621680740543)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumRSym1 a6989586621680741067 t6989586621680740540 :: TyFun a6989586621680740541 (t6989586621680740540 b6989586621680740542 ~> (a6989586621680740541, t6989586621680740540 c6989586621680740543)) -> Type) (a6989586621680741068 :: a6989586621680740541)

Defined in Data.Singletons.Prelude.Traversable

type Apply (MapAccumRSym1 a6989586621680741067 t6989586621680740540 :: TyFun a6989586621680740541 (t6989586621680740540 b6989586621680740542 ~> (a6989586621680740541, t6989586621680740540 c6989586621680740543)) -> Type) (a6989586621680741068 :: a6989586621680740541) = (MapAccumRSym2 a6989586621680741067 a6989586621680741068 t6989586621680740540 :: TyFun (t6989586621680740540 b6989586621680740542) (a6989586621680740541, t6989586621680740540 c6989586621680740543) -> Type)

data MapAccumRSym2 (a6989586621680741067 :: (~>) a6989586621680740541 ((~>) b6989586621680740542 (a6989586621680740541, c6989586621680740543))) (a6989586621680741068 :: a6989586621680740541) :: forall t6989586621680740540. (~>) (t6989586621680740540 b6989586621680740542) (a6989586621680740541, t6989586621680740540 c6989586621680740543)

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (MapAccumRSym2 d1 d2 t)

SuppressUnusedWarnings (MapAccumRSym2 a6989586621680741068 a6989586621680741067 t6989586621680740540 :: TyFun (t6989586621680740540 b6989586621680740542) (a6989586621680740541, t6989586621680740540 c6989586621680740543) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (MapAccumRSym2 a6989586621680741068 a6989586621680741067 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680741069 :: t b)

Defined in Data.Singletons.Prelude.Traversable

type Apply (MapAccumRSym2 a6989586621680741068 a6989586621680741067 t :: TyFun (t b) (a, t c) -> Type) (a6989586621680741069 :: t b) = MapAccumR a6989586621680741068 a6989586621680741067 a6989586621680741069

type MapAccumRSym3 (a6989586621680741067 :: (~>) a6989586621680740541 ((~>) b6989586621680740542 (a6989586621680740541, c6989586621680740543))) (a6989586621680741068 :: a6989586621680740541) (a6989586621680741069 :: t6989586621680740540 b6989586621680740542) = MapAccumR a6989586621680741067 a6989586621680741068 a6989586621680741069

data FmapDefaultSym0 :: forall a6989586621680740538 b6989586621680740539 t6989586621680740537. (~>) ((~>) a6989586621680740538 b6989586621680740539) ((~>) (t6989586621680740537 a6989586621680740538) (t6989586621680740537 b6989586621680740539))

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing FmapDefaultSym0

SuppressUnusedWarnings (FmapDefaultSym0 :: TyFun (a6989586621680740538 ~> b6989586621680740539) (t6989586621680740537 a6989586621680740538 ~> t6989586621680740537 b6989586621680740539) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (FmapDefaultSym0 :: TyFun (a6989586621680740538 ~> b6989586621680740539) (t6989586621680740537 a6989586621680740538 ~> t6989586621680740537 b6989586621680740539) -> Type) (a6989586621680741054 :: a6989586621680740538 ~> b6989586621680740539)

Defined in Data.Singletons.Prelude.Traversable

type Apply (FmapDefaultSym0 :: TyFun (a6989586621680740538 ~> b6989586621680740539) (t6989586621680740537 a6989586621680740538 ~> t6989586621680740537 b6989586621680740539) -> Type) (a6989586621680741054 :: a6989586621680740538 ~> b6989586621680740539) = (FmapDefaultSym1 a6989586621680741054 t6989586621680740537 :: TyFun (t6989586621680740537 a6989586621680740538) (t6989586621680740537 b6989586621680740539) -> Type)

data FmapDefaultSym1 (a6989586621680741054 :: (~>) a6989586621680740538 b6989586621680740539) :: forall t6989586621680740537. (~>) (t6989586621680740537 a6989586621680740538) (t6989586621680740537 b6989586621680740539)

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (FmapDefaultSym1 d t)

SuppressUnusedWarnings (FmapDefaultSym1 a6989586621680741054 t6989586621680740537 :: TyFun (t6989586621680740537 a6989586621680740538) (t6989586621680740537 b6989586621680740539) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (FmapDefaultSym1 a6989586621680741054 t :: TyFun (t a) (t b) -> Type) (a6989586621680741055 :: t a)

Defined in Data.Singletons.Prelude.Traversable

type Apply (FmapDefaultSym1 a6989586621680741054 t :: TyFun (t a) (t b) -> Type) (a6989586621680741055 :: t a) = FmapDefault a6989586621680741054 a6989586621680741055

type FmapDefaultSym2 (a6989586621680741054 :: (~>) a6989586621680740538 b6989586621680740539) (a6989586621680741055 :: t6989586621680740537 a6989586621680740538) = FmapDefault a6989586621680741054 a6989586621680741055

data FoldMapDefaultSym0 :: forall a6989586621680740536 m6989586621680740535 t6989586621680740534. (~>) ((~>) a6989586621680740536 m6989586621680740535) ((~>) (t6989586621680740534 a6989586621680740536) m6989586621680740535)

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing FoldMapDefaultSym0

SuppressUnusedWarnings (FoldMapDefaultSym0 :: TyFun (a6989586621680740536 ~> m6989586621680740535) (t6989586621680740534 a6989586621680740536 ~> m6989586621680740535) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (FoldMapDefaultSym0 :: TyFun (a6989586621680740536 ~> m6989586621680740535) (t6989586621680740534 a6989586621680740536 ~> m6989586621680740535) -> Type) (a6989586621680741033 :: a6989586621680740536 ~> m6989586621680740535)

Defined in Data.Singletons.Prelude.Traversable

type Apply (FoldMapDefaultSym0 :: TyFun (a6989586621680740536 ~> m6989586621680740535) (t6989586621680740534 a6989586621680740536 ~> m6989586621680740535) -> Type) (a6989586621680741033 :: a6989586621680740536 ~> m6989586621680740535) = (FoldMapDefaultSym1 a6989586621680741033 t6989586621680740534 :: TyFun (t6989586621680740534 a6989586621680740536) m6989586621680740535 -> Type)

data FoldMapDefaultSym1 (a6989586621680741033 :: (~>) a6989586621680740536 m6989586621680740535) :: forall t6989586621680740534. (~>) (t6989586621680740534 a6989586621680740536) m6989586621680740535

Instances

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

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (FoldMapDefaultSym1 d t)

SuppressUnusedWarnings (FoldMapDefaultSym1 a6989586621680741033 t6989586621680740534 :: TyFun (t6989586621680740534 a6989586621680740536) m6989586621680740535 -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (FoldMapDefaultSym1 a6989586621680741033 t :: TyFun (t a) m -> Type) (a6989586621680741034 :: t a)

Defined in Data.Singletons.Prelude.Traversable

type Apply (FoldMapDefaultSym1 a6989586621680741033 t :: TyFun (t a) m -> Type) (a6989586621680741034 :: t a) = FoldMapDefault a6989586621680741033 a6989586621680741034

type FoldMapDefaultSym2 (a6989586621680741033 :: (~>) a6989586621680740536 m6989586621680740535) (a6989586621680741034 :: t6989586621680740534 a6989586621680740536) = FoldMapDefault a6989586621680741033 a6989586621680741034