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.Monad

Contents

Defunctionalization symbols
Orphan instances

Description

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

Synopsis

class PFunctor f where
- type Fmap (arg :: (~>) a b) (arg :: f a) :: f b
class SFunctor f where
- sFmap :: forall a b (t :: (~>) a b) (t :: f a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t :: f b)
class PMonad m where
- type (arg :: m a) >>= (arg :: (~>) a (m b)) :: m b
- type (arg :: m a) >> (arg :: m b) :: m b
- type Return (arg :: a) :: m a
class SApplicative m => SMonad m where
- (%>>=) :: forall a b (t :: m a) (t :: (~>) a (m b)). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t :: m b)
- (%>>) :: forall a b (t :: m a) (t :: m b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t :: m b)
- sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t :: m a)
class PMonadPlus m where
- type Mzero :: m a
- type Mplus (arg :: m a) (arg :: m a) :: m a
class (SAlternative m, SMonad m) => SMonadPlus m where
- sMzero :: forall a. Sing (MzeroSym0 :: m a)
- sMplus :: forall a (t :: m a) (t :: m a). Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t :: m a)
class PMonadFail m where
- type Fail (arg :: [Char]) :: m a
class SMonad m => SMonadFail m where
- sFail :: forall a (t :: [Char]). Sing t -> Sing (Apply FailSym0 t :: m a)
type family MapM (arg :: (~>) a (m b)) (arg :: t a) :: m (t b)
sMapM :: forall a m b (t :: (~>) a (m b)) (t :: t a). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t :: m (t b))
type family MapM_ a a where ...
sMapM_ :: forall a m b t (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ())
type family ForM a a where ...
sForM :: forall t a m b (t :: t a) (t :: (~>) a (m b)). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForMSym0 t) t :: m (t b))
type family Sequence (arg :: t (m a)) :: m (t a)
sSequence :: forall m a (t :: t (m a)). (STraversable t, SMonad m) => Sing t -> Sing (Apply SequenceSym0 t :: m (t a))
type family Sequence_ a where ...
sSequence_ :: forall t m a (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ())
type family a =<< a where ...
(%=<<) :: forall a m b (t :: (~>) a (m b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (=<<@#@$) t) t :: m b)
type family (a >=> a) a where ...
(%>=>) :: forall a m b c (t :: (~>) a (m b)) (t :: (~>) b (m c)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (>=>@#@$) t) t) t :: m c)
type family (a <=< a) a where ...
(%<=<) :: forall b m c a (t :: (~>) b (m c)) (t :: (~>) a (m b)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (<=<@#@$) t) t) t :: m c)
type family Void a where ...
sVoid :: forall f a (t :: f a). SFunctor f => Sing t -> Sing (Apply VoidSym0 t :: f ())
type family Join a where ...
sJoin :: forall m a (t :: m (m a)). SMonad m => Sing t -> Sing (Apply JoinSym0 t :: m a)
type family Msum a where ...
sMsum :: forall t m a (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a)
type family Mfilter a a where ...
sMfilter :: forall a m (t :: (~>) a Bool) (t :: m a). SMonadPlus m => Sing t -> Sing t -> Sing (Apply (Apply MfilterSym0 t) t :: m a)
type family FilterM a a where ...
sFilterM :: forall a m (t :: (~>) a (m Bool)) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply FilterMSym0 t) t :: m [a])
type family MapAndUnzipM a a where ...
sMapAndUnzipM :: forall a m b c (t :: (~>) a (m (b, c))) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply MapAndUnzipMSym0 t) t :: m ([b], [c]))
type family ZipWithM a a a where ...
sZipWithM :: forall a b m c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithMSym0 t) t) t :: m [c])
type family ZipWithM_ a a a where ...
sZipWithM_ :: forall a b m c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithM_Sym0 t) t) t :: m ())
type family FoldlM a a a where ...
sFoldlM :: forall b a m t (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b)
type family ReplicateM a a where ...
sReplicateM :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateMSym0 t) t :: m [a])
type family ReplicateM_ a a where ...
sReplicateM_ :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateM_Sym0 t) t :: m ())
type family Guard a where ...
sGuard :: forall f (t :: Bool). SAlternative f => Sing t -> Sing (Apply GuardSym0 t :: f ())
type family When a a where ...
sWhen :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply WhenSym0 t) t :: f ())
type family Unless a a where ...
sUnless :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply UnlessSym0 t) t :: f ())
type family LiftM a a where ...
sLiftM :: forall a1 r m (t :: (~>) a1 r) (t :: m a1). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply LiftMSym0 t) t :: m r)
type family LiftM2 a a a where ...
sLiftM2 :: forall a1 a2 r m (t :: (~>) a1 ((~>) a2 r)) (t :: m a1) (t :: m a2). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftM2Sym0 t) t) t :: m r)
type family LiftM3 a a a a where ...
sLiftM3 :: forall a1 a2 a3 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 r))) (t :: m a1) (t :: m a2) (t :: m a3). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply LiftM3Sym0 t) t) t) t :: m r)
type family LiftM4 a a a a a where ...
sLiftM4 :: forall a1 a2 a3 a4 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply LiftM4Sym0 t) t) t) t) t :: m r)
type family LiftM5 a a a a a a where ...
sLiftM5 :: forall a1 a2 a3 a4 a5 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4) (t :: m a5). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply LiftM5Sym0 t) t) t) t) t) t :: m r)
type family Ap a a where ...
sAp :: forall m a b (t :: m ((~>) a b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply ApSym0 t) t :: m b)
type family a <$!> a where ...
(%<$!>) :: forall a b m (t :: (~>) a b) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (<$!>@#@$) t) t :: m b)
data FmapSym0 a6989586621679559667
data FmapSym1 a6989586621679559667 a6989586621679559668
type FmapSym2 (a6989586621679559667 :: (~>) a b) (a6989586621679559668 :: f a) = Fmap a6989586621679559667 a6989586621679559668 :: f b
data (>>=@#@$) a6989586621679559775
data a6989586621679559775 >>=@#@$$ a6989586621679559776
type (>>=@#@$$$) (a6989586621679559775 :: m a) (a6989586621679559776 :: (~>) a (m b)) = (>>=) a6989586621679559775 a6989586621679559776 :: m b
data (>>@#@$) a6989586621679559780
data a6989586621679559780 >>@#@$$ a6989586621679559781
type (>>@#@$$$) (a6989586621679559780 :: m a) (a6989586621679559781 :: m b) = (>>) a6989586621679559780 a6989586621679559781 :: m b
data ReturnSym0 a6989586621679559784
type ReturnSym1 (a6989586621679559784 :: a) = Return a6989586621679559784 :: m a
data FailSym0 a6989586621679729522
type FailSym1 (a6989586621679729522 :: [Char]) = Fail a6989586621679729522 :: m a
type MzeroSym0 = Mzero :: m a
data MplusSym0 a6989586621679559822
data MplusSym1 a6989586621679559822 a6989586621679559823
type MplusSym2 (a6989586621679559822 :: m a) (a6989586621679559823 :: m a) = Mplus a6989586621679559822 a6989586621679559823 :: m a
data MapMSym0 a6989586621680816750
data MapMSym1 a6989586621680816750 a6989586621680816751
type MapMSym2 (a6989586621680816750 :: (~>) a (m b)) (a6989586621680816751 :: t a) = MapM a6989586621680816750 a6989586621680816751 :: m (t b)
data MapM_Sym0 a6989586621680492379
data MapM_Sym1 a6989586621680492379 a6989586621680492380
type MapM_Sym2 (a6989586621680492379 :: (~>) a (m b)) (a6989586621680492380 :: t a) = MapM_ a6989586621680492379 a6989586621680492380 :: m ()
data ForMSym0 a6989586621680823019
data ForMSym1 a6989586621680823019 a6989586621680823020
type ForMSym2 (a6989586621680823019 :: t a) (a6989586621680823020 :: (~>) a (m b)) = ForM a6989586621680823019 a6989586621680823020 :: m (t b)
data SequenceSym0 a6989586621680816754
type SequenceSym1 (a6989586621680816754 :: t (m a)) = Sequence a6989586621680816754 :: m (t a)
data Sequence_Sym0 a6989586621680492355
type Sequence_Sym1 (a6989586621680492355 :: t (m a)) = Sequence_ a6989586621680492355 :: m ()
data (=<<@#@$) a6989586621679559620
data a6989586621679559620 =<<@#@$$ a6989586621679559621
type (=<<@#@$$$) (a6989586621679559620 :: (~>) a (m b)) (a6989586621679559621 :: m a) = (=<<) a6989586621679559620 a6989586621679559621 :: m b
data (>=>@#@$) a6989586621681292383
data a6989586621681292383 >=>@#@$$ a6989586621681292384
data (a6989586621681292383 >=>@#@$$$ a6989586621681292384) a6989586621681292385
data (<=<@#@$) a6989586621681292371
data a6989586621681292371 <=<@#@$$ a6989586621681292372
data (a6989586621681292371 <=<@#@$$$ a6989586621681292372) a6989586621681292373
data VoidSym0 a6989586621679731603
type VoidSym1 (a6989586621679731603 :: f a) = Void a6989586621679731603 :: f ()
data JoinSym0 a6989586621679559626
type JoinSym1 (a6989586621679559626 :: m (m a)) = Join a6989586621679559626 :: m a
data MsumSym0 a6989586621680492343
type MsumSym1 (a6989586621680492343 :: t (m a)) = Msum a6989586621680492343 :: m a
data MfilterSym0 a6989586621681292236
data MfilterSym1 a6989586621681292236 a6989586621681292237
type MfilterSym2 (a6989586621681292236 :: (~>) a Bool) (a6989586621681292237 :: m a) = Mfilter a6989586621681292236 a6989586621681292237 :: m a
data FilterMSym0 a6989586621681292398
data FilterMSym1 a6989586621681292398 a6989586621681292399
type FilterMSym2 (a6989586621681292398 :: (~>) a (m Bool)) (a6989586621681292399 :: [a]) = FilterM a6989586621681292398 a6989586621681292399 :: m [a]
data MapAndUnzipMSym0 a6989586621681292357
data MapAndUnzipMSym1 a6989586621681292357 a6989586621681292358
type MapAndUnzipMSym2 (a6989586621681292357 :: (~>) a (m (b, c))) (a6989586621681292358 :: [a]) = MapAndUnzipM a6989586621681292357 a6989586621681292358 :: m ([b], [c])
data ZipWithMSym0 a6989586621681292348
data ZipWithMSym1 a6989586621681292348 a6989586621681292349
data ZipWithMSym2 a6989586621681292348 a6989586621681292349 a6989586621681292350
type ZipWithMSym3 (a6989586621681292348 :: (~>) a ((~>) b (m c))) (a6989586621681292349 :: [a]) (a6989586621681292350 :: [b]) = ZipWithM a6989586621681292348 a6989586621681292349 a6989586621681292350 :: m [c]
data ZipWithM_Sym0 a6989586621681292338
data ZipWithM_Sym1 a6989586621681292338 a6989586621681292339
data ZipWithM_Sym2 a6989586621681292338 a6989586621681292339 a6989586621681292340
type ZipWithM_Sym3 (a6989586621681292338 :: (~>) a ((~>) b (m c))) (a6989586621681292339 :: [a]) (a6989586621681292340 :: [b]) = ZipWithM_ a6989586621681292338 a6989586621681292339 a6989586621681292340 :: m ()
data FoldlMSym0 a6989586621680492407
data FoldlMSym1 a6989586621680492407 a6989586621680492408
data FoldlMSym2 a6989586621680492407 a6989586621680492408 a6989586621680492409
type FoldlMSym3 (a6989586621680492407 :: (~>) b ((~>) a (m b))) (a6989586621680492408 :: b) (a6989586621680492409 :: t a) = FoldlM a6989586621680492407 a6989586621680492408 a6989586621680492409 :: m b
data ReplicateMSym0 a6989586621681292293
data ReplicateMSym1 a6989586621681292293 a6989586621681292294
type ReplicateMSym2 (a6989586621681292293 :: Nat) (a6989586621681292294 :: m a) = ReplicateM a6989586621681292293 a6989586621681292294 :: m [a]
data ReplicateM_Sym0 a6989586621681292275
data ReplicateM_Sym1 a6989586621681292275 a6989586621681292276
type ReplicateM_Sym2 (a6989586621681292275 :: Nat) (a6989586621681292276 :: m a) = ReplicateM_ a6989586621681292275 a6989586621681292276 :: m ()
data GuardSym0 a6989586621679559466
type GuardSym1 (a6989586621679559466 :: Bool) = Guard a6989586621679559466 :: f ()
data WhenSym0 a6989586621679559610
data WhenSym1 a6989586621679559610 a6989586621679559611
type WhenSym2 (a6989586621679559610 :: Bool) (a6989586621679559611 :: f ()) = When a6989586621679559610 a6989586621679559611 :: f ()
data UnlessSym0 a6989586621681292265
data UnlessSym1 a6989586621681292265 a6989586621681292266
type UnlessSym2 (a6989586621681292265 :: Bool) (a6989586621681292266 :: f ()) = Unless a6989586621681292265 a6989586621681292266 :: f ()
data LiftMSym0 a6989586621679559599
data LiftMSym1 a6989586621679559599 a6989586621679559600
type LiftMSym2 (a6989586621679559599 :: (~>) a1 r) (a6989586621679559600 :: m a1) = LiftM a6989586621679559599 a6989586621679559600 :: m r
data LiftM2Sym0 a6989586621679559582
data LiftM2Sym1 a6989586621679559582 a6989586621679559583
data LiftM2Sym2 a6989586621679559582 a6989586621679559583 a6989586621679559584
type LiftM2Sym3 (a6989586621679559582 :: (~>) a1 ((~>) a2 r)) (a6989586621679559583 :: m a1) (a6989586621679559584 :: m a2) = LiftM2 a6989586621679559582 a6989586621679559583 a6989586621679559584 :: m r
data LiftM3Sym0 a6989586621679559558
data LiftM3Sym1 a6989586621679559558 a6989586621679559559
data LiftM3Sym2 a6989586621679559558 a6989586621679559559 a6989586621679559560
data LiftM3Sym3 a6989586621679559558 a6989586621679559559 a6989586621679559560 a6989586621679559561
type LiftM3Sym4 (a6989586621679559558 :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a6989586621679559559 :: m a1) (a6989586621679559560 :: m a2) (a6989586621679559561 :: m a3) = LiftM3 a6989586621679559558 a6989586621679559559 a6989586621679559560 a6989586621679559561 :: m r
data LiftM4Sym0 a6989586621679559527
data LiftM4Sym1 a6989586621679559527 a6989586621679559528
data LiftM4Sym2 a6989586621679559527 a6989586621679559528 a6989586621679559529
data LiftM4Sym3 a6989586621679559527 a6989586621679559528 a6989586621679559529 a6989586621679559530
data LiftM4Sym4 a6989586621679559527 a6989586621679559528 a6989586621679559529 a6989586621679559530 a6989586621679559531
type LiftM4Sym5 (a6989586621679559527 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a6989586621679559528 :: m a1) (a6989586621679559529 :: m a2) (a6989586621679559530 :: m a3) (a6989586621679559531 :: m a4) = LiftM4 a6989586621679559527 a6989586621679559528 a6989586621679559529 a6989586621679559530 a6989586621679559531 :: m r
data LiftM5Sym0 a6989586621679559489
data LiftM5Sym1 a6989586621679559489 a6989586621679559490
data LiftM5Sym2 a6989586621679559489 a6989586621679559490 a6989586621679559491
data LiftM5Sym3 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492
data LiftM5Sym4 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 a6989586621679559493
data LiftM5Sym5 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 a6989586621679559493 a6989586621679559494
type LiftM5Sym6 (a6989586621679559489 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a6989586621679559490 :: m a1) (a6989586621679559491 :: m a2) (a6989586621679559492 :: m a3) (a6989586621679559493 :: m a4) (a6989586621679559494 :: m a5) = LiftM5 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 a6989586621679559493 a6989586621679559494 :: m r
data ApSym0 a6989586621679559470
data ApSym1 a6989586621679559470 a6989586621679559471
type ApSym2 (a6989586621679559470 :: m ((~>) a b)) (a6989586621679559471 :: m a) = Ap a6989586621679559470 a6989586621679559471 :: m b
data (<$!>@#@$) a6989586621681292252
data a6989586621681292252 <$!>@#@$$ a6989586621681292253
type (<$!>@#@$$$) (a6989586621681292252 :: (~>) a b) (a6989586621681292253 :: m a) = (<$!>) a6989586621681292252 a6989586621681292253 :: m b

Documentation

class PFunctor f Source #

Associated Types

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

Instances

Instances details

PFunctor [] Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Maybe Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Min Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Max Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor First Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Last Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Option Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Identity Source #
Instance details Defined in Data.Singletons.Prelude.Identity Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor First Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Last Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Dual Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Sum Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Product Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Down Source #
Instance details Defined in Data.Singletons.Prelude.Functor Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor NonEmpty Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor (Either a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor ((,) a) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor (Arg a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor (Proxy :: Type -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Proxy Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor (Const m :: Type -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Const Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #

class SFunctor f where Source #

Methods

sFmap :: forall a b (t :: (~>) a b) (t :: f a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t :: f b) Source #

Instances

Instances details

SFunctor [] Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sFmap :: forall a b (t :: a ~> b) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: [b]). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Maybe Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sFmap :: forall a b (t :: a ~> b) (t :: Maybe a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Maybe b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Min Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFmap :: forall a b (t :: a ~> b) (t :: Min a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Min b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Max Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFmap :: forall a b (t :: a ~> b) (t :: Max a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Max b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor First Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFmap :: forall a b (t :: a ~> b) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Last Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFmap :: forall a b (t :: a ~> b) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Option Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFmap :: forall a b (t :: a ~> b) (t :: Option a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Option b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Identity Source #
Instance details Defined in Data.Singletons.Prelude.Identity Methods sFmap :: forall a b (t :: a ~> b) (t :: Identity a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Identity b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor First Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sFmap :: forall a b (t :: a ~> b) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Last Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sFmap :: forall a b (t :: a ~> b) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Dual Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sFmap :: forall a b (t :: a ~> b) (t :: Dual a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Dual b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Sum Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sFmap :: forall a b (t :: a ~> b) (t :: Sum a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Sum b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Product Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sFmap :: forall a b (t :: a ~> b) (t :: Product a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Product b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Down Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods sFmap :: forall a b (t :: a ~> b) (t :: Down a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Down b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor NonEmpty Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sFmap :: forall a b (t :: a ~> b) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor (Either a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sFmap :: forall a0 b (t :: a0 ~> b) (t :: Either a a0). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a0 b (t :: a0) (t :: Either a b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor ((,) a) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods sFmap :: forall a0 b (t :: a0 ~> b) (t :: (a, a0)). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a0 b (t :: a0) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor (Arg a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFmap :: forall a0 b (t :: a0 ~> b) (t :: Arg a a0). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a0 b (t :: a0) (t :: Arg a b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor (Proxy :: Type -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Proxy Methods sFmap :: forall a b (t :: a ~> b) (t :: Proxy a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Proxy b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor (Const m :: Type -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Const Methods sFmap :: forall a b (t :: a ~> b) (t :: Const m a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Const m b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

class PMonad m Source #

Associated Types

type (arg :: m a) >>= (arg :: (~>) a (m b)) :: m b infixl 1 Source #

type (arg :: m a) >> (arg :: m b) :: m b infixl 1 Source #

type a >> a = Apply (Apply TFHelper_6989586621679559787Sym0 a) a

type Return (arg :: a) :: m a Source #

type Return a = Apply Return_6989586621679559804Sym0 a

Instances

Instances details

PMonad [] Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad Maybe Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad Min Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad Max Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad First Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad Last Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad Option Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad Identity Source #
Instance details Defined in Data.Singletons.Prelude.Identity Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad First Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad Last Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad Dual Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad Sum Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad Product Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad Down Source #
Instance details Defined in Data.Singletons.Prelude.Monad Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad NonEmpty Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad (Either e) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad ((,) a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
PMonad (Proxy :: Type -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Proxy Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #

class SApplicative m => SMonad m where Source #

Minimal complete definition

(%>>=)

Methods

(%>>=) :: forall a b (t :: m a) (t :: (~>) a (m b)). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t :: m b) infixl 1 Source #

(%>>) :: forall a b (t :: m a) (t :: m b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t :: m b) infixl 1 Source #

default (%>>) :: forall a b (t :: m a) (t :: m b). (Apply (Apply (>>@#@$) t) t :: m b) ~ Apply (Apply TFHelper_6989586621679559787Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t :: m b) Source #

sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t :: m a) Source #

default sReturn :: forall a (t :: a). (Apply ReturnSym0 t :: m a) ~ Apply Return_6989586621679559804Sym0 t => Sing t -> Sing (Apply ReturnSym0 t :: m a) Source #

Instances

Instances details

SMonad [] Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods (%>>=) :: forall a b (t :: [a]) (t :: a ~> [b]). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad Maybe Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods (%>>=) :: forall a b (t :: Maybe a) (t :: a ~> Maybe b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Maybe a) (t :: Maybe b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad Min Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods (%>>=) :: forall a b (t :: Min a) (t :: a ~> Min b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Min a) (t :: Min b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad Max Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods (%>>=) :: forall a b (t :: Max a) (t :: a ~> Max b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Max a) (t :: Max b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad First Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods (%>>=) :: forall a b (t :: First a) (t :: a ~> First b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: First a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad Last Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods (%>>=) :: forall a b (t :: Last a) (t :: a ~> Last b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Last a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad Option Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods (%>>=) :: forall a b (t :: Option a) (t :: a ~> Option b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Option a) (t :: Option b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad Identity Source #
Instance details Defined in Data.Singletons.Prelude.Identity Methods (%>>=) :: forall a b (t :: Identity a) (t :: a ~> Identity b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Identity a) (t :: Identity b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad First Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods (%>>=) :: forall a b (t :: First a) (t :: a ~> First b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: First a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad Last Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods (%>>=) :: forall a b (t :: Last a) (t :: a ~> Last b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Last a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad Dual Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%>>=) :: forall a b (t :: Dual a) (t :: a ~> Dual b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Dual a) (t :: Dual b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad Sum Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%>>=) :: forall a b (t :: Sum a) (t :: a ~> Sum b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Sum a) (t :: Sum b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad Product Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%>>=) :: forall a b (t :: Product a) (t :: a ~> Product b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Product a) (t :: Product b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad Down Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods (%>>=) :: forall a b (t :: Down a) (t :: a ~> Down b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Down a) (t :: Down b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad NonEmpty Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods (%>>=) :: forall a b (t :: NonEmpty a) (t :: a ~> NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad (Either e) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods (%>>=) :: forall a b (t :: Either e a) (t :: a ~> Either e b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Either e a) (t :: Either e b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonoid a => SMonad ((,) a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods (%>>=) :: forall a0 b (t :: (a, a0)) (t :: a0 ~> (a, b)). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a0 b (t :: (a, a0)) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a0 (t :: a0). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad (Proxy :: Type -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Proxy Methods (%>>=) :: forall a b (t :: Proxy a) (t :: a ~> Proxy b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Proxy a) (t :: Proxy b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #

class PMonadPlus m Source #

Associated Types

type Mzero :: m a Source #

type Mzero = Mzero_6989586621679559824Sym0

type Mplus (arg :: m a) (arg :: m a) :: m a Source #

type Mplus a a = Apply (Apply Mplus_6989586621679559829Sym0 a) a

Instances

Instances details

PMonadPlus (Proxy :: k -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Proxy Associated Types type Mzero :: m a Source # type Mplus arg arg :: m a Source #
PMonadPlus [] Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type Mzero :: m a Source # type Mplus arg arg :: m a Source #
PMonadPlus Maybe Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type Mzero :: m a Source # type Mplus arg arg :: m a Source #
PMonadPlus Option Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Mzero :: m a Source # type Mplus arg arg :: m a Source #

class (SAlternative m, SMonad m) => SMonadPlus m where Source #

Minimal complete definition

Nothing

Methods

sMzero :: forall a. Sing (MzeroSym0 :: m a) Source #

default sMzero :: forall a. (MzeroSym0 :: m a) ~ Mzero_6989586621679559824Sym0 => Sing (MzeroSym0 :: m a) Source #

sMplus :: forall a (t :: m a) (t :: m a). Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t :: m a) Source #

default sMplus :: forall a (t :: m a) (t :: m a). (Apply (Apply MplusSym0 t) t :: m a) ~ Apply (Apply Mplus_6989586621679559829Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t :: m a) Source #

Instances

Instances details

SMonadPlus [] Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sMzero :: Sing MzeroSym0 Source # sMplus :: forall a (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t) Source #
SMonadPlus Maybe Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sMzero :: Sing MzeroSym0 Source # sMplus :: forall a (t :: Maybe a) (t :: Maybe a). Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t) Source #
SMonadPlus Option Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sMzero :: Sing MzeroSym0 Source # sMplus :: forall a (t :: Option a) (t :: Option a). Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t) Source #
SMonadPlus (Proxy :: Type -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Proxy Methods sMzero :: Sing MzeroSym0 Source # sMplus :: forall a (t :: Proxy a) (t :: Proxy a). Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t) Source #

class PMonadFail m Source #

Associated Types

type Fail (arg :: [Char]) :: m a Source #

Instances

Instances details

PMonadFail [] Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Fail Associated Types type Fail arg :: m a Source #
PMonadFail Maybe Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Fail Associated Types type Fail arg :: m a Source #

class SMonad m => SMonadFail m where Source #

Methods

sFail :: forall a (t :: [Char]). Sing t -> Sing (Apply FailSym0 t :: m a) Source #

Instances

Instances details

SMonadFail [] Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Fail Methods sFail :: forall a (t :: [Char]). Sing t -> Sing (Apply FailSym0 t) Source #
SMonadFail Maybe Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Fail Methods sFail :: forall a (t :: [Char]). Sing t -> Sing (Apply FailSym0 t) Source #

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

Instances

Instances details

type MapM (arg1 :: a ~> m b) (arg2 :: Maybe a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: Maybe a)
type MapM (arg1 :: a ~> m b) (arg2 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: [a])
type MapM (arg1 :: a ~> m b) (arg2 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: NonEmpty a)
type MapM (arg1 :: a ~> m b) (arg2 :: Dual a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: Dual a)
type MapM (arg1 :: a ~> m b) (arg2 :: Sum a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: Sum a)
type MapM (arg1 :: a ~> m b) (arg2 :: Product a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: Product a)
type MapM (arg1 :: a ~> m b) (arg2 :: First a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: First a)
type MapM (arg1 :: a ~> m b) (arg2 :: Last a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: Last a)
type MapM (arg1 :: a ~> m b) (arg2 :: Identity a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: Identity a)
type MapM (arg1 :: a ~> m b) (arg2 :: Min a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type MapM (arg1 :: a ~> m b) (arg2 :: Min a)
type MapM (arg1 :: a ~> m b) (arg2 :: Max a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type MapM (arg1 :: a ~> m b) (arg2 :: Max a)
type MapM (arg1 :: a ~> m b) (arg2 :: First a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type MapM (arg1 :: a ~> m b) (arg2 :: First a)
type MapM (arg1 :: a ~> m b) (arg2 :: Last a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type MapM (arg1 :: a ~> m b) (arg2 :: Last a)
type MapM (arg1 :: a ~> m b) (arg2 :: Option a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type MapM (arg1 :: a ~> m b) (arg2 :: Option a)
type MapM (arg1 :: a1 ~> m b) (arg2 :: Either a2 a1) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a1 ~> m b) (arg2 :: Either a2 a1)
type MapM (arg1 :: a1 ~> m b) (arg2 :: (a2, a1)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a1 ~> m b) (arg2 :: (a2, a1))
type MapM (a2 :: a1 ~> m b) (a3 :: Proxy a1) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (a2 :: a1 ~> m b) (a3 :: Proxy a1)
type MapM (arg1 :: a1 ~> m b) (arg2 :: Arg a2 a1) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type MapM (arg1 :: a1 ~> m b) (arg2 :: Arg a2 a1)
type MapM (arg1 :: a ~> m1 b) (arg2 :: Const m2 a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m1 b) (arg2 :: Const m2 a)

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

type family MapM_ a a where ... Source #

Equations

MapM_ f a_6989586621680492374 = Apply (Apply (Apply FoldrSym0 (Apply (Apply (.@#@$) (>>@#@$)) f)) (Apply ReturnSym0 Tuple0Sym0)) a_6989586621680492374

sMapM_ :: forall a m b t (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ()) Source #

type family ForM a a where ... Source #

Equations

ForM a_6989586621680823012 a_6989586621680823014 = Apply (Apply (Apply FlipSym0 MapMSym0) a_6989586621680823012) a_6989586621680823014

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

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

Instances

Instances details

type Sequence (arg :: [m a]) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Sequence (arg :: [m a])
type Sequence (arg :: Maybe (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Sequence (arg :: Maybe (m a))
type Sequence (arg :: Min (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type Sequence (arg :: Min (m a))
type Sequence (arg :: Max (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type Sequence (arg :: Max (m a))
type Sequence (arg :: First (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type Sequence (arg :: First (m a))
type Sequence (arg :: Last (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type Sequence (arg :: Last (m a))
type Sequence (arg :: Option (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type Sequence (arg :: Option (m a))
type Sequence (arg :: Identity (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Sequence (arg :: Identity (m a))
type Sequence (arg :: First (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Sequence (arg :: First (m a))
type Sequence (arg :: Last (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Sequence (arg :: Last (m a))
type Sequence (arg :: Dual (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Sequence (arg :: Dual (m a))
type Sequence (arg :: Sum (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Sequence (arg :: Sum (m a))
type Sequence (arg :: Product (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Sequence (arg :: Product (m a))
type Sequence (arg :: NonEmpty (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Sequence (arg :: NonEmpty (m a))
type Sequence (arg :: Either a1 (m a2)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Sequence (arg :: Either a1 (m a2))
type Sequence (arg :: (a1, m a2)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Sequence (arg :: (a1, m a2))
type Sequence (arg :: Arg a1 (m a2)) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type Sequence (arg :: Arg a1 (m a2))
type Sequence (a2 :: Proxy (m a1)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Sequence (a2 :: Proxy (m a1))
type Sequence (arg :: Const m1 (m2 a)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Sequence (arg :: Const m1 (m2 a))

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

type family Sequence_ a where ... Source #

Equations

Sequence_ a_6989586621680492351 = Apply (Apply (Apply FoldrSym0 (>>@#@$)) (Apply ReturnSym0 Tuple0Sym0)) a_6989586621680492351

sSequence_ :: forall t m a (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ()) Source #

type family a =<< a where ... infixr 1 Source #

Equations

f =<< x = Apply (Apply (>>=@#@$) x) f

(%=<<) :: forall a m b (t :: (~>) a (m b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (=<<@#@$) t) t :: m b) infixr 1 Source #

type family (a >=> a) a where ... infixr 1 Source #

Equations

(f >=> g) a_6989586621681292377 = Apply (Apply (Apply (Apply Lambda_6989586621681292389Sym0 f) g) a_6989586621681292377) a_6989586621681292377

(%>=>) :: forall a m b c (t :: (~>) a (m b)) (t :: (~>) b (m c)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (>=>@#@$) t) t) t :: m c) infixr 1 Source #

type family (a <=< a) a where ... infixr 1 Source #

Equations

(a_6989586621681292361 <=< a_6989586621681292363) a_6989586621681292365 = Apply (Apply (Apply (Apply FlipSym0 (>=>@#@$)) a_6989586621681292361) a_6989586621681292363) a_6989586621681292365

(%<=<) :: forall b m c a (t :: (~>) b (m c)) (t :: (~>) a (m b)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (<=<@#@$) t) t) t :: m c) infixr 1 Source #

type family Void a where ... Source #

Equations

Void x = Apply (Apply (<$@#@$) Tuple0Sym0) x

sVoid :: forall f a (t :: f a). SFunctor f => Sing t -> Sing (Apply VoidSym0 t :: f ()) Source #

type family Join a where ... Source #

Equations

Join x = Apply (Apply (>>=@#@$) x) IdSym0

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

type family Msum a where ... Source #

Equations

Msum a_6989586621680492339 = Apply AsumSym0 a_6989586621680492339

sMsum :: forall t m a (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a) Source #

type family Mfilter a a where ... Source #

Equations

Mfilter p ma = Apply (Apply (>>=@#@$) ma) (Apply (Apply Lambda_6989586621681292240Sym0 p) ma)

sMfilter :: forall a m (t :: (~>) a Bool) (t :: m a). SMonadPlus m => Sing t -> Sing t -> Sing (Apply (Apply MfilterSym0 t) t :: m a) Source #

type family FilterM a a where ... Source #

Equations

FilterM p a_6989586621681292393 = Apply (Apply (Apply FoldrSym0 (Apply (Apply Lambda_6989586621681292402Sym0 p) a_6989586621681292393)) (Apply PureSym0 NilSym0)) a_6989586621681292393

sFilterM :: forall a m (t :: (~>) a (m Bool)) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply FilterMSym0 t) t :: m [a]) Source #

type family MapAndUnzipM a a where ... Source #

Equations

MapAndUnzipM f xs = Apply (Apply (<$>@#@$) UnzipSym0) (Apply (Apply TraverseSym0 f) xs)

sMapAndUnzipM :: forall a m b c (t :: (~>) a (m (b, c))) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply MapAndUnzipMSym0 t) t :: m ([b], [c])) Source #

type family ZipWithM a a a where ... Source #

Equations

ZipWithM f xs ys = Apply SequenceASym0 (Apply (Apply (Apply ZipWithSym0 f) xs) ys)

sZipWithM :: forall a b m c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithMSym0 t) t) t :: m [c]) Source #

type family ZipWithM_ a a a where ... Source #

Equations

ZipWithM_ f xs ys = Apply SequenceA_Sym0 (Apply (Apply (Apply ZipWithSym0 f) xs) ys)

sZipWithM_ :: forall a b m c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithM_Sym0 t) t) t :: m ()) Source #

type family FoldlM a a a where ... Source #

Equations

FoldlM f z0 xs = Apply (Apply (Apply (Apply FoldrSym0 (Let6989586621680492413F'Sym3 f z0 xs)) ReturnSym0) xs) z0

sFoldlM :: forall b a m t (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b) Source #

type family ReplicateM a a where ... Source #

Equations

ReplicateM cnt0 f = Apply (Let6989586621681292297LoopSym2 cnt0 f) cnt0

sReplicateM :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateMSym0 t) t :: m [a]) Source #

type family ReplicateM_ a a where ... Source #

Equations

ReplicateM_ cnt0 f = Apply (Let6989586621681292279LoopSym2 cnt0 f) cnt0

sReplicateM_ :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateM_Sym0 t) t :: m ()) Source #

type family Guard a where ... Source #

Equations

Guard 'True = Apply PureSym0 Tuple0Sym0
Guard 'False = EmptySym0

sGuard :: forall f (t :: Bool). SAlternative f => Sing t -> Sing (Apply GuardSym0 t :: f ()) Source #

type family When a a where ... Source #

Equations

When p s = Case_6989586621679559614 p s p

sWhen :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply WhenSym0 t) t :: f ()) Source #

type family Unless a a where ... Source #

Equations

Unless p s = Case_6989586621681292269 p s p

sUnless :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply UnlessSym0 t) t :: f ()) Source #

type family LiftM a a where ... Source #

Equations

LiftM f m1 = Apply (Apply (>>=@#@$) m1) (Apply (Apply Lambda_6989586621679559603Sym0 f) m1)

sLiftM :: forall a1 r m (t :: (~>) a1 r) (t :: m a1). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply LiftMSym0 t) t :: m r) Source #

type family LiftM2 a a a where ... Source #

Equations

LiftM2 f m1 m2 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply Lambda_6989586621679559588Sym0 f) m1) m2)

sLiftM2 :: forall a1 a2 r m (t :: (~>) a1 ((~>) a2 r)) (t :: m a1) (t :: m a2). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftM2Sym0 t) t) t :: m r) Source #

type family LiftM3 a a a a where ... Source #

Equations

LiftM3 f m1 m2 m3 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply (Apply Lambda_6989586621679559566Sym0 f) m1) m2) m3)

sLiftM3 :: forall a1 a2 a3 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 r))) (t :: m a1) (t :: m a2) (t :: m a3). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply LiftM3Sym0 t) t) t) t :: m r) Source #

type family LiftM4 a a a a a where ... Source #

Equations

LiftM4 f m1 m2 m3 m4 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply (Apply (Apply Lambda_6989586621679559537Sym0 f) m1) m2) m3) m4)

sLiftM4 :: forall a1 a2 a3 a4 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply LiftM4Sym0 t) t) t) t) t :: m r) Source #

type family LiftM5 a a a a a a where ... Source #

Equations

LiftM5 f m1 m2 m3 m4 m5 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply (Apply (Apply (Apply Lambda_6989586621679559501Sym0 f) m1) m2) m3) m4) m5)

sLiftM5 :: forall a1 a2 a3 a4 a5 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4) (t :: m a5). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply LiftM5Sym0 t) t) t) t) t) t :: m r) Source #

type family Ap a a where ... Source #

Equations

Ap m1 m2 = Apply (Apply (>>=@#@$) m1) (Apply (Apply Lambda_6989586621679559474Sym0 m1) m2)

sAp :: forall m a b (t :: m ((~>) a b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply ApSym0 t) t :: m b) Source #

type family a <$!> a where ... infixl 4 Source #

Equations

f <$!> m = Apply (Apply (>>=@#@$) m) (Apply (Apply Lambda_6989586621681292256Sym0 f) m)

(%<$!>) :: forall a b m (t :: (~>) a b) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (<$!>@#@$) t) t :: m b) infixl 4 Source #

Defunctionalization symbols

data FmapSym0 a6989586621679559667 Source #

Instances

Instances details

SFunctor f => SingI (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing FmapSym0 Source #
SuppressUnusedWarnings (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) (a6989586621679559667 :: a ~> b) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) (a6989586621679559667 :: a ~> b) = FmapSym1 a6989586621679559667 :: TyFun (f a) (f b) -> Type

data FmapSym1 a6989586621679559667 a6989586621679559668 Source #

Instances

Instances details

(SFunctor f, SingI d) => SingI (FmapSym1 d :: TyFun (f a) (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (FmapSym1 d) Source #
SuppressUnusedWarnings (FmapSym1 a6989586621679559667 :: TyFun (f a) (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (FmapSym1 a6989586621679559667 :: TyFun (f a) (f b) -> Type) (a6989586621679559668 :: f a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (FmapSym1 a6989586621679559667 :: TyFun (f a) (f b) -> Type) (a6989586621679559668 :: f a) = FmapSym2 a6989586621679559667 a6989586621679559668

type FmapSym2 (a6989586621679559667 :: (~>) a b) (a6989586621679559668 :: f a) = Fmap a6989586621679559667 a6989586621679559668 :: f b Source #

data (>>=@#@$) a6989586621679559775 infixl 1 Source #

Instances

Instances details

SMonad m => SingI ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (>>=@#@$) Source #
SuppressUnusedWarnings ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) (a6989586621679559775 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) (a6989586621679559775 :: m a) = (>>=@#@$$) a6989586621679559775 :: TyFun (a ~> m b) (m b) -> Type

data a6989586621679559775 >>=@#@$$ a6989586621679559776 infixl 1 Source #

Instances

Instances details

(SMonad m, SingI d) => SingI ((>>=@#@$$) d :: TyFun (a ~> m b) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing ((>>=@#@$$) d) Source #
SuppressUnusedWarnings ((>>=@#@$$) a6989586621679559775 :: TyFun (a ~> m b) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply ((>>=@#@$$) a6989586621679559775 :: TyFun (a ~> m b) (m b) -> Type) (a6989586621679559776 :: a ~> m b) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((>>=@#@$$) a6989586621679559775 :: TyFun (a ~> m b) (m b) -> Type) (a6989586621679559776 :: a ~> m b) = a6989586621679559775 >>=@#@$$$ a6989586621679559776

type (>>=@#@$$$) (a6989586621679559775 :: m a) (a6989586621679559776 :: (~>) a (m b)) = (>>=) a6989586621679559775 a6989586621679559776 :: m b infixl 1 Source #

data (>>@#@$) a6989586621679559780 infixl 1 Source #

Instances

Instances details

SMonad m => SingI ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (>>@#@$) Source #
SuppressUnusedWarnings ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) (a6989586621679559780 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) (a6989586621679559780 :: m a) = (>>@#@$$) a6989586621679559780 :: TyFun (m b) (m b) -> Type

data a6989586621679559780 >>@#@$$ a6989586621679559781 infixl 1 Source #

Instances

Instances details

(SMonad m, SingI d) => SingI ((>>@#@$$) d :: TyFun (m b) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing ((>>@#@$$) d) Source #
SuppressUnusedWarnings ((>>@#@$$) a6989586621679559780 :: TyFun (m b) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply ((>>@#@$$) a6989586621679559780 :: TyFun (m b) (m b) -> Type) (a6989586621679559781 :: m b) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((>>@#@$$) a6989586621679559780 :: TyFun (m b) (m b) -> Type) (a6989586621679559781 :: m b) = a6989586621679559780 >>@#@$$$ a6989586621679559781

type (>>@#@$$$) (a6989586621679559780 :: m a) (a6989586621679559781 :: m b) = (>>) a6989586621679559780 a6989586621679559781 :: m b infixl 1 Source #

data ReturnSym0 a6989586621679559784 Source #

Instances

Instances details

SMonad m => SingI (ReturnSym0 :: TyFun a (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing ReturnSym0 Source #
SuppressUnusedWarnings (ReturnSym0 :: TyFun a (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (ReturnSym0 :: TyFun a (m a) -> Type) (a6989586621679559784 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (ReturnSym0 :: TyFun a (m a) -> Type) (a6989586621679559784 :: a) = ReturnSym1 a6989586621679559784 :: m a

type ReturnSym1 (a6989586621679559784 :: a) = Return a6989586621679559784 :: m a Source #

data FailSym0 a6989586621679729522 Source #

Instances

Instances details

SMonadFail m => SingI (FailSym0 :: TyFun [Char] (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Fail Methods sing :: Sing FailSym0 Source #
SuppressUnusedWarnings (FailSym0 :: TyFun [Char] (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Fail Methods suppressUnusedWarnings :: () Source #
type Apply (FailSym0 :: TyFun [Char] (m a) -> Type) (a6989586621679729522 :: [Char]) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Fail type Apply (FailSym0 :: TyFun [Char] (m a) -> Type) (a6989586621679729522 :: [Char]) = FailSym1 a6989586621679729522 :: m a

type FailSym1 (a6989586621679729522 :: [Char]) = Fail a6989586621679729522 :: m a Source #

type MzeroSym0 = Mzero :: m a Source #

data MplusSym0 a6989586621679559822 Source #

Instances

Instances details

SMonadPlus m => SingI (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing MplusSym0 Source #
SuppressUnusedWarnings (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) (a6989586621679559822 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) (a6989586621679559822 :: m a) = MplusSym1 a6989586621679559822

data MplusSym1 a6989586621679559822 a6989586621679559823 Source #

Instances

Instances details

(SMonadPlus m, SingI d) => SingI (MplusSym1 d :: TyFun (m a) (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (MplusSym1 d) Source #
SuppressUnusedWarnings (MplusSym1 a6989586621679559822 :: TyFun (m a) (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (MplusSym1 a6989586621679559822 :: TyFun (m a) (m a) -> Type) (a6989586621679559823 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (MplusSym1 a6989586621679559822 :: TyFun (m a) (m a) -> Type) (a6989586621679559823 :: m a) = MplusSym2 a6989586621679559822 a6989586621679559823

type MplusSym2 (a6989586621679559822 :: m a) (a6989586621679559823 :: m a) = Mplus a6989586621679559822 a6989586621679559823 :: m a Source #

data MapMSym0 a6989586621680816750 Source #

Instances

Instances details

(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 (a ~> m b) (t a ~> m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) (a6989586621680816750 :: a ~> m b) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) (a6989586621680816750 :: a ~> m b) = MapMSym1 a6989586621680816750 :: TyFun (t a) (m (t b)) -> Type

data MapMSym1 a6989586621680816750 a6989586621680816751 Source #

Instances

Instances details

(STraversable t, SMonad m, SingI d) => SingI (MapMSym1 d :: TyFun (t a) (m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (MapMSym1 d) Source #
SuppressUnusedWarnings (MapMSym1 a6989586621680816750 :: TyFun (t a) (m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (MapMSym1 a6989586621680816750 :: TyFun (t a) (m (t b)) -> Type) (a6989586621680816751 :: t a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapMSym1 a6989586621680816750 :: TyFun (t a) (m (t b)) -> Type) (a6989586621680816751 :: t a) = MapMSym2 a6989586621680816750 a6989586621680816751

type MapMSym2 (a6989586621680816750 :: (~>) a (m b)) (a6989586621680816751 :: t a) = MapM a6989586621680816750 a6989586621680816751 :: m (t b) Source #

data MapM_Sym0 a6989586621680492379 Source #

Instances

Instances details

(SFoldable t, SMonad m) => SingI (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing MapM_Sym0 Source #
SuppressUnusedWarnings (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
type Apply (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) (a6989586621680492379 :: a ~> m b) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) (a6989586621680492379 :: a ~> m b) = MapM_Sym1 a6989586621680492379 :: TyFun (t a) (m ()) -> Type

data MapM_Sym1 a6989586621680492379 a6989586621680492380 Source #

Instances

Instances details

(SFoldable t, SMonad m, SingI d) => SingI (MapM_Sym1 d :: TyFun (t a) (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (MapM_Sym1 d) Source #
SuppressUnusedWarnings (MapM_Sym1 a6989586621680492379 :: TyFun (t a) (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
type Apply (MapM_Sym1 a6989586621680492379 :: TyFun (t a) (m ()) -> Type) (a6989586621680492380 :: t a) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MapM_Sym1 a6989586621680492379 :: TyFun (t a) (m ()) -> Type) (a6989586621680492380 :: t a) = MapM_Sym2 a6989586621680492379 a6989586621680492380

type MapM_Sym2 (a6989586621680492379 :: (~>) a (m b)) (a6989586621680492380 :: t a) = MapM_ a6989586621680492379 a6989586621680492380 :: m () Source #

data ForMSym0 a6989586621680823019 Source #

Instances

Instances details

(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 (t a) ((a ~> m b) ~> m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) (a6989586621680823019 :: t a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) (a6989586621680823019 :: t a) = ForMSym1 a6989586621680823019 :: TyFun (a ~> m b) (m (t b)) -> Type

data ForMSym1 a6989586621680823019 a6989586621680823020 Source #

Instances

Instances details

(STraversable t, SMonad m, SingI d) => SingI (ForMSym1 d :: TyFun (a ~> m b) (m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (ForMSym1 d) Source #
SuppressUnusedWarnings (ForMSym1 a6989586621680823019 :: TyFun (a ~> m b) (m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (ForMSym1 a6989586621680823019 :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680823020 :: a ~> m b) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (ForMSym1 a6989586621680823019 :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680823020 :: a ~> m b) = ForMSym2 a6989586621680823019 a6989586621680823020

type ForMSym2 (a6989586621680823019 :: t a) (a6989586621680823020 :: (~>) a (m b)) = ForM a6989586621680823019 a6989586621680823020 :: m (t b) Source #

data SequenceSym0 a6989586621680816754 Source #

Instances

Instances details

(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 (t (m a)) (m (t a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (a6989586621680816754 :: t (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (a6989586621680816754 :: t (m a)) = SequenceSym1 a6989586621680816754

type SequenceSym1 (a6989586621680816754 :: t (m a)) = Sequence a6989586621680816754 :: m (t a) Source #

data Sequence_Sym0 a6989586621680492355 Source #

Instances

Instances details

(SFoldable t, SMonad m) => SingI (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing Sequence_Sym0 Source #
SuppressUnusedWarnings (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680492355 :: t (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680492355 :: t (m a)) = Sequence_Sym1 a6989586621680492355

type Sequence_Sym1 (a6989586621680492355 :: t (m a)) = Sequence_ a6989586621680492355 :: m () Source #

data (=<<@#@$) a6989586621679559620 infixr 1 Source #

Instances

Instances details

SMonad m => SingI ((=<<@#@$) :: TyFun (a ~> m b) (m a ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (=<<@#@$) Source #
SuppressUnusedWarnings ((=<<@#@$) :: TyFun (a ~> m b) (m a ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply ((=<<@#@$) :: TyFun (a ~> m b) (m a ~> m b) -> Type) (a6989586621679559620 :: a ~> m b) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((=<<@#@$) :: TyFun (a ~> m b) (m a ~> m b) -> Type) (a6989586621679559620 :: a ~> m b) = (=<<@#@$$) a6989586621679559620

data a6989586621679559620 =<<@#@$$ a6989586621679559621 infixr 1 Source #

Instances

Instances details

(SMonad m, SingI d) => SingI ((=<<@#@$$) d :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing ((=<<@#@$$) d) Source #
SuppressUnusedWarnings ((=<<@#@$$) a6989586621679559620 :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply ((=<<@#@$$) a6989586621679559620 :: TyFun (m a) (m b) -> Type) (a6989586621679559621 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((=<<@#@$$) a6989586621679559620 :: TyFun (m a) (m b) -> Type) (a6989586621679559621 :: m a) = a6989586621679559620 =<<@#@$$$ a6989586621679559621

type (=<<@#@$$$) (a6989586621679559620 :: (~>) a (m b)) (a6989586621679559621 :: m a) = (=<<) a6989586621679559620 a6989586621679559621 :: m b infixr 1 Source #

data (>=>@#@$) a6989586621681292383 infixr 1 Source #

Instances

Instances details

SMonad m => SingI ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (>=>@#@$) Source #
SuppressUnusedWarnings ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) (a6989586621681292383 :: a ~> m b) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) (a6989586621681292383 :: a ~> m b) = (>=>@#@$$) a6989586621681292383 :: TyFun (b ~> m c) (a ~> m c) -> Type

data a6989586621681292383 >=>@#@$$ a6989586621681292384 infixr 1 Source #

Instances

Instances details

(SMonad m, SingI d) => SingI ((>=>@#@$$) d :: TyFun (b ~> m c) (a ~> m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing ((>=>@#@$$) d) Source #
SuppressUnusedWarnings ((>=>@#@$$) a6989586621681292383 :: TyFun (b ~> m c) (a ~> m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply ((>=>@#@$$) a6989586621681292383 :: TyFun (b ~> m c) (a ~> m c) -> Type) (a6989586621681292384 :: b ~> m c) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply ((>=>@#@$$) a6989586621681292383 :: TyFun (b ~> m c) (a ~> m c) -> Type) (a6989586621681292384 :: b ~> m c) = a6989586621681292383 >=>@#@$$$ a6989586621681292384

data (a6989586621681292383 >=>@#@$$$ a6989586621681292384) a6989586621681292385 infixr 1 Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2) => SingI (d1 >=>@#@$$$ d2 :: TyFun a (m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (d1 >=>@#@$$$ d2) Source #
SuppressUnusedWarnings (a6989586621681292383 >=>@#@$$$ a6989586621681292384 :: TyFun a (m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621681292383 >=>@#@$$$ a6989586621681292384 :: TyFun a (m c) -> Type) (a6989586621681292385 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (a6989586621681292383 >=>@#@$$$ a6989586621681292384 :: TyFun a (m c) -> Type) (a6989586621681292385 :: a)

data (<=<@#@$) a6989586621681292371 infixr 1 Source #

Instances

Instances details

SMonad m => SingI ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (<=<@#@$) Source #
SuppressUnusedWarnings ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) (a6989586621681292371 :: b ~> m c) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) (a6989586621681292371 :: b ~> m c) = (<=<@#@$$) a6989586621681292371 :: TyFun (a ~> m b) (a ~> m c) -> Type

data a6989586621681292371 <=<@#@$$ a6989586621681292372 infixr 1 Source #

Instances

Instances details

(SMonad m, SingI d) => SingI ((<=<@#@$$) d :: TyFun (a ~> m b) (a ~> m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing ((<=<@#@$$) d) Source #
SuppressUnusedWarnings ((<=<@#@$$) a6989586621681292371 :: TyFun (a ~> m b) (a ~> m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply ((<=<@#@$$) a6989586621681292371 :: TyFun (a ~> m b) (a ~> m c) -> Type) (a6989586621681292372 :: a ~> m b) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply ((<=<@#@$$) a6989586621681292371 :: TyFun (a ~> m b) (a ~> m c) -> Type) (a6989586621681292372 :: a ~> m b) = a6989586621681292371 <=<@#@$$$ a6989586621681292372

data (a6989586621681292371 <=<@#@$$$ a6989586621681292372) a6989586621681292373 infixr 1 Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2) => SingI (d1 <=<@#@$$$ d2 :: TyFun a (m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (d1 <=<@#@$$$ d2) Source #
SuppressUnusedWarnings (a6989586621681292371 <=<@#@$$$ a6989586621681292372 :: TyFun a (m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621681292371 <=<@#@$$$ a6989586621681292372 :: TyFun a (m c) -> Type) (a6989586621681292373 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (a6989586621681292371 <=<@#@$$$ a6989586621681292372 :: TyFun a (m c) -> Type) (a6989586621681292373 :: a)

data VoidSym0 a6989586621679731603 Source #

Instances

Instances details

SFunctor f => SingI (VoidSym0 :: TyFun (f a) (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods sing :: Sing VoidSym0 Source #
SuppressUnusedWarnings (VoidSym0 :: TyFun (f a) (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
type Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) (a6989586621679731603 :: f a) Source #
Instance details Defined in Data.Singletons.Prelude.Functor type Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) (a6989586621679731603 :: f a) = VoidSym1 a6989586621679731603

type VoidSym1 (a6989586621679731603 :: f a) = Void a6989586621679731603 :: f () Source #

data JoinSym0 a6989586621679559626 Source #

Instances

Instances details

SMonad m => SingI (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing JoinSym0 Source #
SuppressUnusedWarnings (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) (a6989586621679559626 :: m (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) (a6989586621679559626 :: m (m a)) = JoinSym1 a6989586621679559626

type JoinSym1 (a6989586621679559626 :: m (m a)) = Join a6989586621679559626 :: m a Source #

data MsumSym0 a6989586621680492343 Source #

Instances

Instances details

(SFoldable t, SMonadPlus m) => SingI (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing MsumSym0 Source #
SuppressUnusedWarnings (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621680492343 :: t (m a)) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621680492343 :: t (m a)) = MsumSym1 a6989586621680492343

type MsumSym1 (a6989586621680492343 :: t (m a)) = Msum a6989586621680492343 :: m a Source #

data MfilterSym0 a6989586621681292236 Source #

Instances

Instances details

SMonadPlus m => SingI (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing MfilterSym0 Source #
SuppressUnusedWarnings (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) (a6989586621681292236 :: a ~> Bool) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) (a6989586621681292236 :: a ~> Bool) = MfilterSym1 a6989586621681292236 :: TyFun (m a) (m a) -> Type

data MfilterSym1 a6989586621681292236 a6989586621681292237 Source #

Instances

Instances details

(SMonadPlus m, SingI d) => SingI (MfilterSym1 d :: TyFun (m a) (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (MfilterSym1 d) Source #
SuppressUnusedWarnings (MfilterSym1 a6989586621681292236 :: TyFun (m a) (m a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (MfilterSym1 a6989586621681292236 :: TyFun (m a) (m a) -> Type) (a6989586621681292237 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (MfilterSym1 a6989586621681292236 :: TyFun (m a) (m a) -> Type) (a6989586621681292237 :: m a) = MfilterSym2 a6989586621681292236 a6989586621681292237

type MfilterSym2 (a6989586621681292236 :: (~>) a Bool) (a6989586621681292237 :: m a) = Mfilter a6989586621681292236 a6989586621681292237 :: m a Source #

data FilterMSym0 a6989586621681292398 Source #

Instances

Instances details

SApplicative m => SingI (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing FilterMSym0 Source #
SuppressUnusedWarnings (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) (a6989586621681292398 :: a ~> m Bool) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) (a6989586621681292398 :: a ~> m Bool) = FilterMSym1 a6989586621681292398

data FilterMSym1 a6989586621681292398 a6989586621681292399 Source #

Instances

Instances details

(SApplicative m, SingI d) => SingI (FilterMSym1 d :: TyFun [a] (m [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (FilterMSym1 d) Source #
SuppressUnusedWarnings (FilterMSym1 a6989586621681292398 :: TyFun [a] (m [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (FilterMSym1 a6989586621681292398 :: TyFun [a] (m [a]) -> Type) (a6989586621681292399 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (FilterMSym1 a6989586621681292398 :: TyFun [a] (m [a]) -> Type) (a6989586621681292399 :: [a]) = FilterMSym2 a6989586621681292398 a6989586621681292399

type FilterMSym2 (a6989586621681292398 :: (~>) a (m Bool)) (a6989586621681292399 :: [a]) = FilterM a6989586621681292398 a6989586621681292399 :: m [a] Source #

data MapAndUnzipMSym0 a6989586621681292357 Source #

Instances

Instances details

SApplicative m => SingI (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing MapAndUnzipMSym0 Source #
SuppressUnusedWarnings (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) (a6989586621681292357 :: a ~> m (b, c)) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) (a6989586621681292357 :: a ~> m (b, c)) = MapAndUnzipMSym1 a6989586621681292357

data MapAndUnzipMSym1 a6989586621681292357 a6989586621681292358 Source #

Instances

Instances details

(SApplicative m, SingI d) => SingI (MapAndUnzipMSym1 d :: TyFun [a] (m ([b], [c])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (MapAndUnzipMSym1 d) Source #
SuppressUnusedWarnings (MapAndUnzipMSym1 a6989586621681292357 :: TyFun [a] (m ([b], [c])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (MapAndUnzipMSym1 a6989586621681292357 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681292358 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (MapAndUnzipMSym1 a6989586621681292357 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681292358 :: [a]) = MapAndUnzipMSym2 a6989586621681292357 a6989586621681292358

type MapAndUnzipMSym2 (a6989586621681292357 :: (~>) a (m (b, c))) (a6989586621681292358 :: [a]) = MapAndUnzipM a6989586621681292357 a6989586621681292358 :: m ([b], [c]) Source #

data ZipWithMSym0 a6989586621681292348 Source #

Instances

Instances details

SApplicative m => SingI (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing ZipWithMSym0 Source #
SuppressUnusedWarnings (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) (a6989586621681292348 :: a ~> (b ~> m c)) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) (a6989586621681292348 :: a ~> (b ~> m c)) = ZipWithMSym1 a6989586621681292348

data ZipWithMSym1 a6989586621681292348 a6989586621681292349 Source #

Instances

Instances details

(SApplicative m, SingI d) => SingI (ZipWithMSym1 d :: TyFun [a] ([b] ~> m [c]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithMSym1 d) Source #
SuppressUnusedWarnings (ZipWithMSym1 a6989586621681292348 :: TyFun [a] ([b] ~> m [c]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithMSym1 a6989586621681292348 :: TyFun [a] ([b] ~> m [c]) -> Type) (a6989586621681292349 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithMSym1 a6989586621681292348 :: TyFun [a] ([b] ~> m [c]) -> Type) (a6989586621681292349 :: [a]) = ZipWithMSym2 a6989586621681292348 a6989586621681292349

data ZipWithMSym2 a6989586621681292348 a6989586621681292349 a6989586621681292350 Source #

Instances

Instances details

(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithMSym2 d1 d2 :: TyFun [b] (m [c]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithMSym2 d1 d2) Source #
SuppressUnusedWarnings (ZipWithMSym2 a6989586621681292348 a6989586621681292349 :: TyFun [b] (m [c]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithMSym2 a6989586621681292348 a6989586621681292349 :: TyFun [b] (m [c]) -> Type) (a6989586621681292350 :: [b]) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithMSym2 a6989586621681292348 a6989586621681292349 :: TyFun [b] (m [c]) -> Type) (a6989586621681292350 :: [b]) = ZipWithMSym3 a6989586621681292348 a6989586621681292349 a6989586621681292350

type ZipWithMSym3 (a6989586621681292348 :: (~>) a ((~>) b (m c))) (a6989586621681292349 :: [a]) (a6989586621681292350 :: [b]) = ZipWithM a6989586621681292348 a6989586621681292349 a6989586621681292350 :: m [c] Source #

data ZipWithM_Sym0 a6989586621681292338 Source #

Instances

Instances details

SApplicative m => SingI (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing ZipWithM_Sym0 Source #
SuppressUnusedWarnings (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) (a6989586621681292338 :: a ~> (b ~> m c)) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) (a6989586621681292338 :: a ~> (b ~> m c)) = ZipWithM_Sym1 a6989586621681292338

data ZipWithM_Sym1 a6989586621681292338 a6989586621681292339 Source #

Instances

Instances details

(SApplicative m, SingI d) => SingI (ZipWithM_Sym1 d :: TyFun [a] ([b] ~> m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithM_Sym1 d) Source #
SuppressUnusedWarnings (ZipWithM_Sym1 a6989586621681292338 :: TyFun [a] ([b] ~> m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithM_Sym1 a6989586621681292338 :: TyFun [a] ([b] ~> m ()) -> Type) (a6989586621681292339 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithM_Sym1 a6989586621681292338 :: TyFun [a] ([b] ~> m ()) -> Type) (a6989586621681292339 :: [a]) = ZipWithM_Sym2 a6989586621681292338 a6989586621681292339

data ZipWithM_Sym2 a6989586621681292338 a6989586621681292339 a6989586621681292340 Source #

Instances

Instances details

(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithM_Sym2 d1 d2 :: TyFun [b] (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithM_Sym2 d1 d2) Source #
SuppressUnusedWarnings (ZipWithM_Sym2 a6989586621681292338 a6989586621681292339 :: TyFun [b] (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithM_Sym2 a6989586621681292338 a6989586621681292339 :: TyFun [b] (m ()) -> Type) (a6989586621681292340 :: [b]) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithM_Sym2 a6989586621681292338 a6989586621681292339 :: TyFun [b] (m ()) -> Type) (a6989586621681292340 :: [b]) = ZipWithM_Sym3 a6989586621681292338 a6989586621681292339 a6989586621681292340

type ZipWithM_Sym3 (a6989586621681292338 :: (~>) a ((~>) b (m c))) (a6989586621681292339 :: [a]) (a6989586621681292340 :: [b]) = ZipWithM_ a6989586621681292338 a6989586621681292339 a6989586621681292340 :: m () Source #

data FoldlMSym0 a6989586621680492407 Source #

Instances

Instances details

(SFoldable t, SMonad m) => SingI (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing FoldlMSym0 Source #
SuppressUnusedWarnings (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
type Apply (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) (a6989586621680492407 :: b ~> (a ~> m b)) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) (a6989586621680492407 :: b ~> (a ~> m b)) = FoldlMSym1 a6989586621680492407 :: TyFun b (t a ~> m b) -> Type

data FoldlMSym1 a6989586621680492407 a6989586621680492408 Source #

Instances

Instances details

(SFoldable t, SMonad m, SingI d) => SingI (FoldlMSym1 d :: TyFun b (t a ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldlMSym1 d) Source #
SuppressUnusedWarnings (FoldlMSym1 a6989586621680492407 :: TyFun b (t a ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
type Apply (FoldlMSym1 a6989586621680492407 :: TyFun b (t a ~> m b) -> Type) (a6989586621680492408 :: b) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym1 a6989586621680492407 :: TyFun b (t a ~> m b) -> Type) (a6989586621680492408 :: b) = FoldlMSym2 a6989586621680492407 a6989586621680492408 :: TyFun (t a) (m b) -> Type

data FoldlMSym2 a6989586621680492407 a6989586621680492408 a6989586621680492409 Source #

Instances

Instances details

(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldlMSym2 d1 d2 :: TyFun (t a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldlMSym2 d1 d2) Source #
SuppressUnusedWarnings (FoldlMSym2 a6989586621680492407 a6989586621680492408 :: TyFun (t a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
type Apply (FoldlMSym2 a6989586621680492407 a6989586621680492408 :: TyFun (t a) (m b) -> Type) (a6989586621680492409 :: t a) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym2 a6989586621680492407 a6989586621680492408 :: TyFun (t a) (m b) -> Type) (a6989586621680492409 :: t a) = FoldlMSym3 a6989586621680492407 a6989586621680492408 a6989586621680492409

type FoldlMSym3 (a6989586621680492407 :: (~>) b ((~>) a (m b))) (a6989586621680492408 :: b) (a6989586621680492409 :: t a) = FoldlM a6989586621680492407 a6989586621680492408 a6989586621680492409 :: m b Source #

data ReplicateMSym0 a6989586621681292293 Source #

Instances

Instances details

SApplicative m => SingI (ReplicateMSym0 :: TyFun Nat (m a ~> m [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing ReplicateMSym0 Source #
SuppressUnusedWarnings (ReplicateMSym0 :: TyFun Nat (m a ~> m [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ReplicateMSym0 :: TyFun Nat (m a ~> m [a]) -> Type) (a6989586621681292293 :: Nat) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateMSym0 :: TyFun Nat (m a ~> m [a]) -> Type) (a6989586621681292293 :: Nat) = ReplicateMSym1 a6989586621681292293 :: TyFun (m a) (m [a]) -> Type

data ReplicateMSym1 a6989586621681292293 a6989586621681292294 Source #

Instances

Instances details

(SApplicative m, SingI d) => SingI (ReplicateMSym1 d :: TyFun (m a) (m [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ReplicateMSym1 d) Source #
SuppressUnusedWarnings (ReplicateMSym1 a6989586621681292293 :: TyFun (m a) (m [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ReplicateMSym1 a6989586621681292293 :: TyFun (m a) (m [a]) -> Type) (a6989586621681292294 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateMSym1 a6989586621681292293 :: TyFun (m a) (m [a]) -> Type) (a6989586621681292294 :: m a) = ReplicateMSym2 a6989586621681292293 a6989586621681292294

type ReplicateMSym2 (a6989586621681292293 :: Nat) (a6989586621681292294 :: m a) = ReplicateM a6989586621681292293 a6989586621681292294 :: m [a] Source #

data ReplicateM_Sym0 a6989586621681292275 Source #

Instances

Instances details

SApplicative m => SingI (ReplicateM_Sym0 :: TyFun Nat (m a ~> m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing ReplicateM_Sym0 Source #
SuppressUnusedWarnings (ReplicateM_Sym0 :: TyFun Nat (m a ~> m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ReplicateM_Sym0 :: TyFun Nat (m a ~> m ()) -> Type) (a6989586621681292275 :: Nat) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateM_Sym0 :: TyFun Nat (m a ~> m ()) -> Type) (a6989586621681292275 :: Nat) = ReplicateM_Sym1 a6989586621681292275 :: TyFun (m a) (m ()) -> Type

data ReplicateM_Sym1 a6989586621681292275 a6989586621681292276 Source #

Instances

Instances details

(SApplicative m, SingI d) => SingI (ReplicateM_Sym1 d :: TyFun (m a) (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ReplicateM_Sym1 d) Source #
SuppressUnusedWarnings (ReplicateM_Sym1 a6989586621681292275 :: TyFun (m a) (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ReplicateM_Sym1 a6989586621681292275 :: TyFun (m a) (m ()) -> Type) (a6989586621681292276 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateM_Sym1 a6989586621681292275 :: TyFun (m a) (m ()) -> Type) (a6989586621681292276 :: m a) = ReplicateM_Sym2 a6989586621681292275 a6989586621681292276

type ReplicateM_Sym2 (a6989586621681292275 :: Nat) (a6989586621681292276 :: m a) = ReplicateM_ a6989586621681292275 a6989586621681292276 :: m () Source #

data GuardSym0 a6989586621679559466 Source #

Instances

Instances details

SAlternative f => SingI (GuardSym0 :: TyFun Bool (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing GuardSym0 Source #
SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (GuardSym0 :: TyFun Bool (f ()) -> Type) (a6989586621679559466 :: Bool) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (GuardSym0 :: TyFun Bool (f ()) -> Type) (a6989586621679559466 :: Bool) = GuardSym1 a6989586621679559466 :: f ()

type GuardSym1 (a6989586621679559466 :: Bool) = Guard a6989586621679559466 :: f () Source #

data WhenSym0 a6989586621679559610 Source #

Instances

Instances details

SApplicative f => SingI (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing WhenSym0 Source #
SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) (a6989586621679559610 :: Bool) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) (a6989586621679559610 :: Bool) = WhenSym1 a6989586621679559610 :: TyFun (f ()) (f ()) -> Type

data WhenSym1 a6989586621679559610 a6989586621679559611 Source #

Instances

Instances details

(SApplicative f, SingI d) => SingI (WhenSym1 d :: TyFun (f ()) (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (WhenSym1 d) Source #
SuppressUnusedWarnings (WhenSym1 a6989586621679559610 :: TyFun (f ()) (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (WhenSym1 a6989586621679559610 :: TyFun (f ()) (f ()) -> Type) (a6989586621679559611 :: f ()) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (WhenSym1 a6989586621679559610 :: TyFun (f ()) (f ()) -> Type) (a6989586621679559611 :: f ()) = WhenSym2 a6989586621679559610 a6989586621679559611

type WhenSym2 (a6989586621679559610 :: Bool) (a6989586621679559611 :: f ()) = When a6989586621679559610 a6989586621679559611 :: f () Source #

data UnlessSym0 a6989586621681292265 Source #

Instances

Instances details

SApplicative f => SingI (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing UnlessSym0 Source #
SuppressUnusedWarnings (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) (a6989586621681292265 :: Bool) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) (a6989586621681292265 :: Bool) = UnlessSym1 a6989586621681292265 :: TyFun (f ()) (f ()) -> Type

data UnlessSym1 a6989586621681292265 a6989586621681292266 Source #

Instances

Instances details

(SApplicative f, SingI d) => SingI (UnlessSym1 d :: TyFun (f ()) (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (UnlessSym1 d) Source #
SuppressUnusedWarnings (UnlessSym1 a6989586621681292265 :: TyFun (f ()) (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (UnlessSym1 a6989586621681292265 :: TyFun (f ()) (f ()) -> Type) (a6989586621681292266 :: f ()) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (UnlessSym1 a6989586621681292265 :: TyFun (f ()) (f ()) -> Type) (a6989586621681292266 :: f ()) = UnlessSym2 a6989586621681292265 a6989586621681292266

type UnlessSym2 (a6989586621681292265 :: Bool) (a6989586621681292266 :: f ()) = Unless a6989586621681292265 a6989586621681292266 :: f () Source #

data LiftMSym0 a6989586621679559599 Source #

Instances

Instances details

SMonad m => SingI (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing LiftMSym0 Source #
SuppressUnusedWarnings (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) (a6989586621679559599 :: a1 ~> r) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) (a6989586621679559599 :: a1 ~> r) = LiftMSym1 a6989586621679559599 :: TyFun (m a1) (m r) -> Type

data LiftMSym1 a6989586621679559599 a6989586621679559600 Source #

Instances

Instances details

(SMonad m, SingI d) => SingI (LiftMSym1 d :: TyFun (m a1) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftMSym1 d) Source #
SuppressUnusedWarnings (LiftMSym1 a6989586621679559599 :: TyFun (m a1) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftMSym1 a6989586621679559599 :: TyFun (m a1) (m r) -> Type) (a6989586621679559600 :: m a1) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftMSym1 a6989586621679559599 :: TyFun (m a1) (m r) -> Type) (a6989586621679559600 :: m a1) = LiftMSym2 a6989586621679559599 a6989586621679559600

type LiftMSym2 (a6989586621679559599 :: (~>) a1 r) (a6989586621679559600 :: m a1) = LiftM a6989586621679559599 a6989586621679559600 :: m r Source #

data LiftM2Sym0 a6989586621679559582 Source #

Instances

Instances details

SMonad m => SingI (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing LiftM2Sym0 Source #
SuppressUnusedWarnings (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) (a6989586621679559582 :: a1 ~> (a2 ~> r)) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) (a6989586621679559582 :: a1 ~> (a2 ~> r)) = LiftM2Sym1 a6989586621679559582 :: TyFun (m a1) (m a2 ~> m r) -> Type

data LiftM2Sym1 a6989586621679559582 a6989586621679559583 Source #

Instances

Instances details

(SMonad m, SingI d) => SingI (LiftM2Sym1 d :: TyFun (m a1) (m a2 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM2Sym1 d) Source #
SuppressUnusedWarnings (LiftM2Sym1 a6989586621679559582 :: TyFun (m a1) (m a2 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM2Sym1 a6989586621679559582 :: TyFun (m a1) (m a2 ~> m r) -> Type) (a6989586621679559583 :: m a1) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM2Sym1 a6989586621679559582 :: TyFun (m a1) (m a2 ~> m r) -> Type) (a6989586621679559583 :: m a1) = LiftM2Sym2 a6989586621679559582 a6989586621679559583

data LiftM2Sym2 a6989586621679559582 a6989586621679559583 a6989586621679559584 Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2) => SingI (LiftM2Sym2 d1 d2 :: TyFun (m a2) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM2Sym2 d1 d2) Source #
SuppressUnusedWarnings (LiftM2Sym2 a6989586621679559582 a6989586621679559583 :: TyFun (m a2) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM2Sym2 a6989586621679559582 a6989586621679559583 :: TyFun (m a2) (m r) -> Type) (a6989586621679559584 :: m a2) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM2Sym2 a6989586621679559582 a6989586621679559583 :: TyFun (m a2) (m r) -> Type) (a6989586621679559584 :: m a2) = LiftM2Sym3 a6989586621679559582 a6989586621679559583 a6989586621679559584

type LiftM2Sym3 (a6989586621679559582 :: (~>) a1 ((~>) a2 r)) (a6989586621679559583 :: m a1) (a6989586621679559584 :: m a2) = LiftM2 a6989586621679559582 a6989586621679559583 a6989586621679559584 :: m r Source #

data LiftM3Sym0 a6989586621679559558 Source #

Instances

Instances details

SMonad m => SingI (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing LiftM3Sym0 Source #
SuppressUnusedWarnings (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) (a6989586621679559558 :: a1 ~> (a2 ~> (a3 ~> r))) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) (a6989586621679559558 :: a1 ~> (a2 ~> (a3 ~> r))) = LiftM3Sym1 a6989586621679559558 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type

data LiftM3Sym1 a6989586621679559558 a6989586621679559559 Source #

Instances

Instances details

(SMonad m, SingI d) => SingI (LiftM3Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM3Sym1 d) Source #
SuppressUnusedWarnings (LiftM3Sym1 a6989586621679559558 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM3Sym1 a6989586621679559558 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) (a6989586621679559559 :: m a1) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym1 a6989586621679559558 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) (a6989586621679559559 :: m a1) = LiftM3Sym2 a6989586621679559558 a6989586621679559559

data LiftM3Sym2 a6989586621679559558 a6989586621679559559 a6989586621679559560 Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2) => SingI (LiftM3Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM3Sym2 d1 d2) Source #
SuppressUnusedWarnings (LiftM3Sym2 a6989586621679559558 a6989586621679559559 :: TyFun (m a2) (m a3 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM3Sym2 a6989586621679559558 a6989586621679559559 :: TyFun (m a2) (m a3 ~> m r) -> Type) (a6989586621679559560 :: m a2) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym2 a6989586621679559558 a6989586621679559559 :: TyFun (m a2) (m a3 ~> m r) -> Type) (a6989586621679559560 :: m a2) = LiftM3Sym3 a6989586621679559558 a6989586621679559559 a6989586621679559560

data LiftM3Sym3 a6989586621679559558 a6989586621679559559 a6989586621679559560 a6989586621679559561 Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM3Sym3 d1 d2 d3 :: TyFun (m a3) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM3Sym3 d1 d2 d3) Source #
SuppressUnusedWarnings (LiftM3Sym3 a6989586621679559558 a6989586621679559559 a6989586621679559560 :: TyFun (m a3) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM3Sym3 a6989586621679559558 a6989586621679559559 a6989586621679559560 :: TyFun (m a3) (m r) -> Type) (a6989586621679559561 :: m a3) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym3 a6989586621679559558 a6989586621679559559 a6989586621679559560 :: TyFun (m a3) (m r) -> Type) (a6989586621679559561 :: m a3) = LiftM3Sym4 a6989586621679559558 a6989586621679559559 a6989586621679559560 a6989586621679559561

type LiftM3Sym4 (a6989586621679559558 :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a6989586621679559559 :: m a1) (a6989586621679559560 :: m a2) (a6989586621679559561 :: m a3) = LiftM3 a6989586621679559558 a6989586621679559559 a6989586621679559560 a6989586621679559561 :: m r Source #

data LiftM4Sym0 a6989586621679559527 Source #

Instances

Instances details

SMonad m => SingI (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing LiftM4Sym0 Source #
SuppressUnusedWarnings (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) (a6989586621679559527 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) (a6989586621679559527 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) = LiftM4Sym1 a6989586621679559527 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type

data LiftM4Sym1 a6989586621679559527 a6989586621679559528 Source #

Instances

Instances details

(SMonad m, SingI d) => SingI (LiftM4Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym1 d) Source #
SuppressUnusedWarnings (LiftM4Sym1 a6989586621679559527 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM4Sym1 a6989586621679559527 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) (a6989586621679559528 :: m a1) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym1 a6989586621679559527 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) (a6989586621679559528 :: m a1) = LiftM4Sym2 a6989586621679559527 a6989586621679559528

data LiftM4Sym2 a6989586621679559527 a6989586621679559528 a6989586621679559529 Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2) => SingI (LiftM4Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym2 d1 d2) Source #
SuppressUnusedWarnings (LiftM4Sym2 a6989586621679559527 a6989586621679559528 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM4Sym2 a6989586621679559527 a6989586621679559528 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) (a6989586621679559529 :: m a2) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym2 a6989586621679559527 a6989586621679559528 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) (a6989586621679559529 :: m a2) = LiftM4Sym3 a6989586621679559527 a6989586621679559528 a6989586621679559529

data LiftM4Sym3 a6989586621679559527 a6989586621679559528 a6989586621679559529 a6989586621679559530 Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM4Sym3 d1 d2 d3 :: TyFun (m a3) (m a4 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym3 d1 d2 d3) Source #
SuppressUnusedWarnings (LiftM4Sym3 a6989586621679559527 a6989586621679559528 a6989586621679559529 :: TyFun (m a3) (m a4 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM4Sym3 a6989586621679559527 a6989586621679559528 a6989586621679559529 :: TyFun (m a3) (m a4 ~> m r) -> Type) (a6989586621679559530 :: m a3) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym3 a6989586621679559527 a6989586621679559528 a6989586621679559529 :: TyFun (m a3) (m a4 ~> m r) -> Type) (a6989586621679559530 :: m a3) = LiftM4Sym4 a6989586621679559527 a6989586621679559528 a6989586621679559529 a6989586621679559530

data LiftM4Sym4 a6989586621679559527 a6989586621679559528 a6989586621679559529 a6989586621679559530 a6989586621679559531 Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4) => SingI (LiftM4Sym4 d1 d2 d3 d4 :: TyFun (m a4) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym4 d1 d2 d3 d4) Source #
SuppressUnusedWarnings (LiftM4Sym4 a6989586621679559527 a6989586621679559528 a6989586621679559529 a6989586621679559530 :: TyFun (m a4) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM4Sym4 a6989586621679559527 a6989586621679559528 a6989586621679559529 a6989586621679559530 :: TyFun (m a4) (m r) -> Type) (a6989586621679559531 :: m a4) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym4 a6989586621679559527 a6989586621679559528 a6989586621679559529 a6989586621679559530 :: TyFun (m a4) (m r) -> Type) (a6989586621679559531 :: m a4) = LiftM4Sym5 a6989586621679559527 a6989586621679559528 a6989586621679559529 a6989586621679559530 a6989586621679559531

type LiftM4Sym5 (a6989586621679559527 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a6989586621679559528 :: m a1) (a6989586621679559529 :: m a2) (a6989586621679559530 :: m a3) (a6989586621679559531 :: m a4) = LiftM4 a6989586621679559527 a6989586621679559528 a6989586621679559529 a6989586621679559530 a6989586621679559531 :: m r Source #

data LiftM5Sym0 a6989586621679559489 Source #

Instances

Instances details

SMonad m => SingI (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing LiftM5Sym0 Source #
SuppressUnusedWarnings (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) (a6989586621679559489 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) (a6989586621679559489 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) = LiftM5Sym1 a6989586621679559489 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type

data LiftM5Sym1 a6989586621679559489 a6989586621679559490 Source #

Instances

Instances details

(SMonad m, SingI d) => SingI (LiftM5Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym1 d) Source #
SuppressUnusedWarnings (LiftM5Sym1 a6989586621679559489 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym1 a6989586621679559489 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) (a6989586621679559490 :: m a1) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym1 a6989586621679559489 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) (a6989586621679559490 :: m a1) = LiftM5Sym2 a6989586621679559489 a6989586621679559490

data LiftM5Sym2 a6989586621679559489 a6989586621679559490 a6989586621679559491 Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2) => SingI (LiftM5Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym2 d1 d2) Source #
SuppressUnusedWarnings (LiftM5Sym2 a6989586621679559489 a6989586621679559490 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym2 a6989586621679559489 a6989586621679559490 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) (a6989586621679559491 :: m a2) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym2 a6989586621679559489 a6989586621679559490 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) (a6989586621679559491 :: m a2) = LiftM5Sym3 a6989586621679559489 a6989586621679559490 a6989586621679559491

data LiftM5Sym3 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM5Sym3 d1 d2 d3 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym3 d1 d2 d3) Source #
SuppressUnusedWarnings (LiftM5Sym3 a6989586621679559489 a6989586621679559490 a6989586621679559491 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym3 a6989586621679559489 a6989586621679559490 a6989586621679559491 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) (a6989586621679559492 :: m a3) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym3 a6989586621679559489 a6989586621679559490 a6989586621679559491 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) (a6989586621679559492 :: m a3) = LiftM5Sym4 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492

data LiftM5Sym4 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 a6989586621679559493 Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4) => SingI (LiftM5Sym4 d1 d2 d3 d4 :: TyFun (m a4) (m a5 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym4 d1 d2 d3 d4) Source #
SuppressUnusedWarnings (LiftM5Sym4 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 :: TyFun (m a4) (m a5 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym4 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 :: TyFun (m a4) (m a5 ~> m r) -> Type) (a6989586621679559493 :: m a4) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym4 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 :: TyFun (m a4) (m a5 ~> m r) -> Type) (a6989586621679559493 :: m a4) = LiftM5Sym5 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 a6989586621679559493

data LiftM5Sym5 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 a6989586621679559493 a6989586621679559494 Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4, SingI d5) => SingI (LiftM5Sym5 d1 d2 d3 d4 d5 :: TyFun (m a5) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym5 d1 d2 d3 d4 d5) Source #
SuppressUnusedWarnings (LiftM5Sym5 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 a6989586621679559493 :: TyFun (m a5) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym5 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 a6989586621679559493 :: TyFun (m a5) (m r) -> Type) (a6989586621679559494 :: m a5) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym5 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 a6989586621679559493 :: TyFun (m a5) (m r) -> Type) (a6989586621679559494 :: m a5) = LiftM5Sym6 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 a6989586621679559493 a6989586621679559494

type LiftM5Sym6 (a6989586621679559489 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a6989586621679559490 :: m a1) (a6989586621679559491 :: m a2) (a6989586621679559492 :: m a3) (a6989586621679559493 :: m a4) (a6989586621679559494 :: m a5) = LiftM5 a6989586621679559489 a6989586621679559490 a6989586621679559491 a6989586621679559492 a6989586621679559493 a6989586621679559494 :: m r Source #

data ApSym0 a6989586621679559470 Source #

Instances

Instances details

SMonad m => SingI (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing ApSym0 Source #
SuppressUnusedWarnings (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) (a6989586621679559470 :: m (a ~> b)) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) (a6989586621679559470 :: m (a ~> b)) = ApSym1 a6989586621679559470

data ApSym1 a6989586621679559470 a6989586621679559471 Source #

Instances

Instances details

(SMonad m, SingI d) => SingI (ApSym1 d :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (ApSym1 d) Source #
SuppressUnusedWarnings (ApSym1 a6989586621679559470 :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (ApSym1 a6989586621679559470 :: TyFun (m a) (m b) -> Type) (a6989586621679559471 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (ApSym1 a6989586621679559470 :: TyFun (m a) (m b) -> Type) (a6989586621679559471 :: m a) = ApSym2 a6989586621679559470 a6989586621679559471

type ApSym2 (a6989586621679559470 :: m ((~>) a b)) (a6989586621679559471 :: m a) = Ap a6989586621679559470 a6989586621679559471 :: m b Source #

data (<$!>@#@$) a6989586621681292252 infixl 4 Source #

Instances

Instances details

SMonad m => SingI ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (<$!>@#@$) Source #
SuppressUnusedWarnings ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) (a6989586621681292252 :: a ~> b) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) (a6989586621681292252 :: a ~> b) = (<$!>@#@$$) a6989586621681292252 :: TyFun (m a) (m b) -> Type

data a6989586621681292252 <$!>@#@$$ a6989586621681292253 infixl 4 Source #

Instances

Instances details

(SMonad m, SingI d) => SingI ((<$!>@#@$$) d :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing ((<$!>@#@$$) d) Source #
SuppressUnusedWarnings ((<$!>@#@$$) a6989586621681292252 :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply ((<$!>@#@$$) a6989586621681292252 :: TyFun (m a) (m b) -> Type) (a6989586621681292253 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply ((<$!>@#@$$) a6989586621681292252 :: TyFun (m a) (m b) -> Type) (a6989586621681292253 :: m a) = a6989586621681292252 <$!>@#@$$$ a6989586621681292253

type (<$!>@#@$$$) (a6989586621681292252 :: (~>) a b) (a6989586621681292253 :: m a) = (<$!>) a6989586621681292252 a6989586621681292253 :: m b infixl 4 Source #

Orphan instances

SMonad Down Source #
Instance details Methods (%>>=) :: forall a b (t :: Down a) (t :: a ~> Down b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Down a) (t :: Down b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
PMonad Down Source #
Instance details Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #
SMonoid a => SMonad ((,) a) Source #
Instance details Methods (%>>=) :: forall a0 b (t :: (a, a0)) (t :: a0 ~> (a, b)). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a0 b (t :: (a, a0)) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a0 (t :: a0). Sing t -> Sing (Apply ReturnSym0 t) Source #
PMonad ((,) a) Source #
Instance details Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source #