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 :: Type -> Type) where
- type Fmap (arg :: (~>) a b) (arg :: f a) :: f b
class SFunctor (f :: Type -> Type) where
- sFmap :: forall a b (t :: (~>) a b) (t :: f a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t :: f b)
class PApplicative m => PMonad (m :: Type -> Type) 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
- type Fail (arg :: Symbol) :: m a
class SApplicative m => SMonad (m :: Type -> Type) 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)
- sFail :: forall a (t :: Symbol). Sing t -> Sing (Apply FailSym0 t :: m a)
class (PAlternative m, PMonad m) => PMonadPlus (m :: Type -> Type) where
- type Mzero :: m a
- type Mplus (arg :: m a) (arg :: m a) :: m a
class (SAlternative m, SMonad m) => SMonadPlus (m :: Type -> Type) 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)
type family MapM (arg :: (~>) a (m b)) (arg :: t a) :: m (t b)
sMapM :: forall m a 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 (m b)) (a :: t a) :: m () where ...
sMapM_ :: forall t m a b (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 :: t a) (a :: (~>) a (m b)) :: m (t b) where ...
sForM :: forall t m a b (t :: t a) (t :: (~>) a (m b)). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForMSym0 t) t :: m (t b))
type family 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 :: t (m a)) :: m () 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 (m b)) =<< (a :: m a) :: m b where ...
(%=<<) :: forall m a 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 (m b)) >=> (a :: (~>) b (m c))) (a :: a) :: m c where ...
(%>=>) :: forall m a 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 :: (~>) b (m c)) <=< (a :: (~>) a (m b))) (a :: a) :: m c where ...
(%<=<) :: forall m b 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 :: f a) :: f () where ...
sVoid :: forall f a (t :: f a). SFunctor f => Sing t -> Sing (Apply VoidSym0 t :: f ())
type family Join (a :: m (m a)) :: m a where ...
sJoin :: forall m a (t :: m (m a)). SMonad m => Sing t -> Sing (Apply JoinSym0 t :: m a)
type family Msum (a :: t (m a)) :: m 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 Bool) (a :: m a) :: m a where ...
sMfilter :: forall m a (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 (m Bool)) (a :: [a]) :: m [a] where ...
sFilterM :: forall m a (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 (m (b, c))) (a :: [a]) :: m ([b], [c]) where ...
sMapAndUnzipM :: forall m a 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 ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m [c] where ...
sZipWithM :: forall m a b 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 ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m () where ...
sZipWithM_ :: forall m a b 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 :: (~>) b ((~>) a (m b))) (a :: b) (a :: t a) :: m b where ...
sFoldlM :: forall t m b a (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 :: Nat) (a :: m a) :: m [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 :: Nat) (a :: m a) :: m () 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 :: Bool) :: f () where ...
sGuard :: forall f (t :: Bool). SAlternative f => Sing t -> Sing (Apply GuardSym0 t :: f ())
type family When (a :: Bool) (a :: f ()) :: f () 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 :: Bool) (a :: f ()) :: f () 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 :: (~>) a1 r) (a :: m a1) :: m r where ...
sLiftM :: forall m a1 r (t :: (~>) a1 r) (t :: m a1). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply LiftMSym0 t) t :: m r)
type family LiftM2 (a :: (~>) a1 ((~>) a2 r)) (a :: m a1) (a :: m a2) :: m r where ...
sLiftM2 :: forall m a1 a2 r (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 :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a :: m a1) (a :: m a2) (a :: m a3) :: m r where ...
sLiftM3 :: forall m a1 a2 a3 r (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 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) :: m r where ...
sLiftM4 :: forall m a1 a2 a3 a4 r (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 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) (a :: m a5) :: m r where ...
sLiftM5 :: forall m a1 a2 a3 a4 a5 r (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 :: m ((~>) a b)) (a :: m a) :: m b 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 b) <$!> (a :: m a) :: m b where ...
(%<$!>) :: forall m a b (t :: (~>) a b) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (<$!>@#@$) t) t :: m b)
data FmapSym0 :: forall a6989586621679563423 b6989586621679563424 f6989586621679563422. (~>) ((~>) a6989586621679563423 b6989586621679563424) ((~>) (f6989586621679563422 a6989586621679563423) (f6989586621679563422 b6989586621679563424))
data FmapSym1 (arg6989586621679563816 :: (~>) a6989586621679563423 b6989586621679563424) :: forall f6989586621679563422. (~>) (f6989586621679563422 a6989586621679563423) (f6989586621679563422 b6989586621679563424)
type FmapSym2 (arg6989586621679563816 :: (~>) a6989586621679563423 b6989586621679563424) (arg6989586621679563817 :: f6989586621679563422 a6989586621679563423) = Fmap arg6989586621679563816 arg6989586621679563817
data (>>=@#@$) :: forall a6989586621679563452 b6989586621679563453 m6989586621679563451. (~>) (m6989586621679563451 a6989586621679563452) ((~>) ((~>) a6989586621679563452 (m6989586621679563451 b6989586621679563453)) (m6989586621679563451 b6989586621679563453))
data (>>=@#@$$) (arg6989586621679563923 :: m6989586621679563451 a6989586621679563452) :: forall b6989586621679563453. (~>) ((~>) a6989586621679563452 (m6989586621679563451 b6989586621679563453)) (m6989586621679563451 b6989586621679563453)
type (>>=@#@$$$) (arg6989586621679563923 :: m6989586621679563451 a6989586621679563452) (arg6989586621679563924 :: (~>) a6989586621679563452 (m6989586621679563451 b6989586621679563453)) = (>>=) arg6989586621679563923 arg6989586621679563924
data (>>@#@$) :: forall a6989586621679563454 b6989586621679563455 m6989586621679563451. (~>) (m6989586621679563451 a6989586621679563454) ((~>) (m6989586621679563451 b6989586621679563455) (m6989586621679563451 b6989586621679563455))
data (>>@#@$$) (arg6989586621679563927 :: m6989586621679563451 a6989586621679563454) :: forall b6989586621679563455. (~>) (m6989586621679563451 b6989586621679563455) (m6989586621679563451 b6989586621679563455)
type (>>@#@$$$) (arg6989586621679563927 :: m6989586621679563451 a6989586621679563454) (arg6989586621679563928 :: m6989586621679563451 b6989586621679563455) = (>>) arg6989586621679563927 arg6989586621679563928
data ReturnSym0 :: forall a6989586621679563456 m6989586621679563451. (~>) a6989586621679563456 (m6989586621679563451 a6989586621679563456)
type ReturnSym1 (arg6989586621679563931 :: a6989586621679563456) = Return arg6989586621679563931
data FailSym0 :: forall a6989586621679563457 m6989586621679563451. (~>) Symbol (m6989586621679563451 a6989586621679563457)
type FailSym1 (arg6989586621679563933 :: Symbol) = Fail arg6989586621679563933
type MzeroSym0 = Mzero
data MplusSym0 :: forall a6989586621679563509 m6989586621679563507. (~>) (m6989586621679563507 a6989586621679563509) ((~>) (m6989586621679563507 a6989586621679563509) (m6989586621679563507 a6989586621679563509))
data MplusSym1 (arg6989586621679563977 :: m6989586621679563507 a6989586621679563509) :: (~>) (m6989586621679563507 a6989586621679563509) (m6989586621679563507 a6989586621679563509)
type MplusSym2 (arg6989586621679563977 :: m6989586621679563507 a6989586621679563509) (arg6989586621679563978 :: m6989586621679563507 a6989586621679563509) = Mplus arg6989586621679563977 arg6989586621679563978
data MapMSym0 :: forall a6989586621680790275 b6989586621680790276 m6989586621680790274 t6989586621680790268. (~>) ((~>) a6989586621680790275 (m6989586621680790274 b6989586621680790276)) ((~>) (t6989586621680790268 a6989586621680790275) (m6989586621680790274 (t6989586621680790268 b6989586621680790276)))
data MapMSym1 (arg6989586621680790286 :: (~>) a6989586621680790275 (m6989586621680790274 b6989586621680790276)) :: forall t6989586621680790268. (~>) (t6989586621680790268 a6989586621680790275) (m6989586621680790274 (t6989586621680790268 b6989586621680790276))
type MapMSym2 (arg6989586621680790286 :: (~>) a6989586621680790275 (m6989586621680790274 b6989586621680790276)) (arg6989586621680790287 :: t6989586621680790268 a6989586621680790275) = MapM arg6989586621680790286 arg6989586621680790287
data MapM_Sym0 :: forall a6989586621680486129 b6989586621680486130 m6989586621680486128 t6989586621680486127. (~>) ((~>) a6989586621680486129 (m6989586621680486128 b6989586621680486130)) ((~>) (t6989586621680486127 a6989586621680486129) (m6989586621680486128 ()))
data MapM_Sym1 (a6989586621680486727 :: (~>) a6989586621680486129 (m6989586621680486128 b6989586621680486130)) :: forall t6989586621680486127. (~>) (t6989586621680486127 a6989586621680486129) (m6989586621680486128 ())
type MapM_Sym2 (a6989586621680486727 :: (~>) a6989586621680486129 (m6989586621680486128 b6989586621680486130)) (a6989586621680486728 :: t6989586621680486127 a6989586621680486129) = MapM_ a6989586621680486727 a6989586621680486728
data ForMSym0 :: forall a6989586621680795851 b6989586621680795852 m6989586621680795850 t6989586621680795849. (~>) (t6989586621680795849 a6989586621680795851) ((~>) ((~>) a6989586621680795851 (m6989586621680795850 b6989586621680795852)) (m6989586621680795850 (t6989586621680795849 b6989586621680795852)))
data ForMSym1 (a6989586621680796406 :: t6989586621680795849 a6989586621680795851) :: forall b6989586621680795852 m6989586621680795850. (~>) ((~>) a6989586621680795851 (m6989586621680795850 b6989586621680795852)) (m6989586621680795850 (t6989586621680795849 b6989586621680795852))
type ForMSym2 (a6989586621680796406 :: t6989586621680795849 a6989586621680795851) (a6989586621680796407 :: (~>) a6989586621680795851 (m6989586621680795850 b6989586621680795852)) = ForM a6989586621680796406 a6989586621680796407
data SequenceSym0 :: forall a6989586621680790278 m6989586621680790277 t6989586621680790268. (~>) (t6989586621680790268 (m6989586621680790277 a6989586621680790278)) (m6989586621680790277 (t6989586621680790268 a6989586621680790278))
type SequenceSym1 (arg6989586621680790290 :: t6989586621680790268 (m6989586621680790277 a6989586621680790278)) = Sequence arg6989586621680790290
data Sequence_Sym0 :: forall a6989586621680486119 m6989586621680486118 t6989586621680486117. (~>) (t6989586621680486117 (m6989586621680486118 a6989586621680486119)) (m6989586621680486118 ())
type Sequence_Sym1 (a6989586621680486719 :: t6989586621680486117 (m6989586621680486118 a6989586621680486119)) = Sequence_ a6989586621680486719
data (=<<@#@$) :: forall a6989586621679563374 b6989586621679563375 m6989586621679563373. (~>) ((~>) a6989586621679563374 (m6989586621679563373 b6989586621679563375)) ((~>) (m6989586621679563373 a6989586621679563374) (m6989586621679563373 b6989586621679563375))
data (=<<@#@$$) (a6989586621679563769 :: (~>) a6989586621679563374 (m6989586621679563373 b6989586621679563375)) :: (~>) (m6989586621679563373 a6989586621679563374) (m6989586621679563373 b6989586621679563375)
type (=<<@#@$$$) (a6989586621679563769 :: (~>) a6989586621679563374 (m6989586621679563373 b6989586621679563375)) (a6989586621679563770 :: m6989586621679563373 a6989586621679563374) = (=<<) a6989586621679563769 a6989586621679563770
data (>=>@#@$) :: forall a6989586621681259456 b6989586621681259457 c6989586621681259458 m6989586621681259455. (~>) ((~>) a6989586621681259456 (m6989586621681259455 b6989586621681259457)) ((~>) ((~>) b6989586621681259457 (m6989586621681259455 c6989586621681259458)) ((~>) a6989586621681259456 (m6989586621681259455 c6989586621681259458)))
data (>=>@#@$$) (a6989586621681259889 :: (~>) a6989586621681259456 (m6989586621681259455 b6989586621681259457)) :: forall c6989586621681259458. (~>) ((~>) b6989586621681259457 (m6989586621681259455 c6989586621681259458)) ((~>) a6989586621681259456 (m6989586621681259455 c6989586621681259458))
data (a6989586621681259889 :: (~>) a6989586621681259456 (m6989586621681259455 b6989586621681259457)) >=>@#@$$$ (a6989586621681259890 :: (~>) b6989586621681259457 (m6989586621681259455 c6989586621681259458)) :: (~>) a6989586621681259456 (m6989586621681259455 c6989586621681259458)
data (<=<@#@$) :: forall a6989586621681259454 b6989586621681259452 c6989586621681259453 m6989586621681259451. (~>) ((~>) b6989586621681259452 (m6989586621681259451 c6989586621681259453)) ((~>) ((~>) a6989586621681259454 (m6989586621681259451 b6989586621681259452)) ((~>) a6989586621681259454 (m6989586621681259451 c6989586621681259453)))
data (<=<@#@$$) (a6989586621681259914 :: (~>) b6989586621681259452 (m6989586621681259451 c6989586621681259453)) :: forall a6989586621681259454. (~>) ((~>) a6989586621681259454 (m6989586621681259451 b6989586621681259452)) ((~>) a6989586621681259454 (m6989586621681259451 c6989586621681259453))
data (a6989586621681259914 :: (~>) b6989586621681259452 (m6989586621681259451 c6989586621681259453)) <=<@#@$$$ (a6989586621681259915 :: (~>) a6989586621681259454 (m6989586621681259451 b6989586621681259452)) :: (~>) a6989586621681259454 (m6989586621681259451 c6989586621681259453)
data VoidSym0 :: forall a6989586621679735744 f6989586621679735743. (~>) (f6989586621679735743 a6989586621679735744) (f6989586621679735743 ())
type VoidSym1 (a6989586621679735815 :: f6989586621679735743 a6989586621679735744) = Void a6989586621679735815
data JoinSym0 :: forall a6989586621679563377 m6989586621679563376. (~>) (m6989586621679563376 (m6989586621679563376 a6989586621679563377)) (m6989586621679563376 a6989586621679563377)
type JoinSym1 (a6989586621679563775 :: m6989586621679563376 (m6989586621679563376 a6989586621679563377)) = Join a6989586621679563775
data MsumSym0 :: forall a6989586621680486113 m6989586621680486112 t6989586621680486111. (~>) (t6989586621680486111 (m6989586621680486112 a6989586621680486113)) (m6989586621680486112 a6989586621680486113)
type MsumSym1 (a6989586621680486714 :: t6989586621680486111 (m6989586621680486112 a6989586621680486113)) = Msum a6989586621680486714
data MfilterSym0 :: forall a6989586621681259422 m6989586621681259421. (~>) ((~>) a6989586621681259422 Bool) ((~>) (m6989586621681259421 a6989586621681259422) (m6989586621681259421 a6989586621681259422))
data MfilterSym1 (a6989586621681259757 :: (~>) a6989586621681259422 Bool) :: forall m6989586621681259421. (~>) (m6989586621681259421 a6989586621681259422) (m6989586621681259421 a6989586621681259422)
type MfilterSym2 (a6989586621681259757 :: (~>) a6989586621681259422 Bool) (a6989586621681259758 :: m6989586621681259421 a6989586621681259422) = Mfilter a6989586621681259757 a6989586621681259758
data FilterMSym0 :: forall a6989586621681259460 m6989586621681259459. (~>) ((~>) a6989586621681259460 (m6989586621681259459 Bool)) ((~>) [a6989586621681259460] (m6989586621681259459 [a6989586621681259460]))
data FilterMSym1 (a6989586621681259923 :: (~>) a6989586621681259460 (m6989586621681259459 Bool)) :: (~>) [a6989586621681259460] (m6989586621681259459 [a6989586621681259460])
type FilterMSym2 (a6989586621681259923 :: (~>) a6989586621681259460 (m6989586621681259459 Bool)) (a6989586621681259924 :: [a6989586621681259460]) = FilterM a6989586621681259923 a6989586621681259924
data MapAndUnzipMSym0 :: forall a6989586621681259448 b6989586621681259449 c6989586621681259450 m6989586621681259447. (~>) ((~>) a6989586621681259448 (m6989586621681259447 (b6989586621681259449, c6989586621681259450))) ((~>) [a6989586621681259448] (m6989586621681259447 ([b6989586621681259449], [c6989586621681259450])))
data MapAndUnzipMSym1 (a6989586621681259883 :: (~>) a6989586621681259448 (m6989586621681259447 (b6989586621681259449, c6989586621681259450))) :: (~>) [a6989586621681259448] (m6989586621681259447 ([b6989586621681259449], [c6989586621681259450]))
type MapAndUnzipMSym2 (a6989586621681259883 :: (~>) a6989586621681259448 (m6989586621681259447 (b6989586621681259449, c6989586621681259450))) (a6989586621681259884 :: [a6989586621681259448]) = MapAndUnzipM a6989586621681259883 a6989586621681259884
data ZipWithMSym0 :: forall a6989586621681259444 b6989586621681259445 c6989586621681259446 m6989586621681259443. (~>) ((~>) a6989586621681259444 ((~>) b6989586621681259445 (m6989586621681259443 c6989586621681259446))) ((~>) [a6989586621681259444] ((~>) [b6989586621681259445] (m6989586621681259443 [c6989586621681259446])))
data ZipWithMSym1 (a6989586621681259874 :: (~>) a6989586621681259444 ((~>) b6989586621681259445 (m6989586621681259443 c6989586621681259446))) :: (~>) [a6989586621681259444] ((~>) [b6989586621681259445] (m6989586621681259443 [c6989586621681259446]))
data ZipWithMSym2 (a6989586621681259874 :: (~>) a6989586621681259444 ((~>) b6989586621681259445 (m6989586621681259443 c6989586621681259446))) (a6989586621681259875 :: [a6989586621681259444]) :: (~>) [b6989586621681259445] (m6989586621681259443 [c6989586621681259446])
type ZipWithMSym3 (a6989586621681259874 :: (~>) a6989586621681259444 ((~>) b6989586621681259445 (m6989586621681259443 c6989586621681259446))) (a6989586621681259875 :: [a6989586621681259444]) (a6989586621681259876 :: [b6989586621681259445]) = ZipWithM a6989586621681259874 a6989586621681259875 a6989586621681259876
data ZipWithM_Sym0 :: forall a6989586621681259440 b6989586621681259441 c6989586621681259442 m6989586621681259439. (~>) ((~>) a6989586621681259440 ((~>) b6989586621681259441 (m6989586621681259439 c6989586621681259442))) ((~>) [a6989586621681259440] ((~>) [b6989586621681259441] (m6989586621681259439 ())))
data ZipWithM_Sym1 (a6989586621681259865 :: (~>) a6989586621681259440 ((~>) b6989586621681259441 (m6989586621681259439 c6989586621681259442))) :: (~>) [a6989586621681259440] ((~>) [b6989586621681259441] (m6989586621681259439 ()))
data ZipWithM_Sym2 (a6989586621681259865 :: (~>) a6989586621681259440 ((~>) b6989586621681259441 (m6989586621681259439 c6989586621681259442))) (a6989586621681259866 :: [a6989586621681259440]) :: (~>) [b6989586621681259441] (m6989586621681259439 ())
type ZipWithM_Sym3 (a6989586621681259865 :: (~>) a6989586621681259440 ((~>) b6989586621681259441 (m6989586621681259439 c6989586621681259442))) (a6989586621681259866 :: [a6989586621681259440]) (a6989586621681259867 :: [b6989586621681259441]) = ZipWithM_ a6989586621681259865 a6989586621681259866 a6989586621681259867
data FoldlMSym0 :: forall a6989586621680486142 b6989586621680486141 m6989586621680486140 t6989586621680486139. (~>) ((~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) ((~>) b6989586621680486141 ((~>) (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141)))
data FoldlMSym1 (a6989586621680486763 :: (~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) :: forall t6989586621680486139. (~>) b6989586621680486141 ((~>) (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141))
data FoldlMSym2 (a6989586621680486763 :: (~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) (a6989586621680486764 :: b6989586621680486141) :: forall t6989586621680486139. (~>) (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141)
type FoldlMSym3 (a6989586621680486763 :: (~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) (a6989586621680486764 :: b6989586621680486141) (a6989586621680486765 :: t6989586621680486139 a6989586621680486142) = FoldlM a6989586621680486763 a6989586621680486764 a6989586621680486765
data ReplicateMSym0 :: forall a6989586621681259430 m6989586621681259429. (~>) Nat ((~>) (m6989586621681259429 a6989586621681259430) (m6989586621681259429 [a6989586621681259430]))
data ReplicateMSym1 (a6989586621681259822 :: Nat) :: forall a6989586621681259430 m6989586621681259429. (~>) (m6989586621681259429 a6989586621681259430) (m6989586621681259429 [a6989586621681259430])
type ReplicateMSym2 (a6989586621681259822 :: Nat) (a6989586621681259823 :: m6989586621681259429 a6989586621681259430) = ReplicateM a6989586621681259822 a6989586621681259823
data ReplicateM_Sym0 :: forall a6989586621681259428 m6989586621681259427. (~>) Nat ((~>) (m6989586621681259427 a6989586621681259428) (m6989586621681259427 ()))
data ReplicateM_Sym1 (a6989586621681259803 :: Nat) :: forall a6989586621681259428 m6989586621681259427. (~>) (m6989586621681259427 a6989586621681259428) (m6989586621681259427 ())
type ReplicateM_Sym2 (a6989586621681259803 :: Nat) (a6989586621681259804 :: m6989586621681259427 a6989586621681259428) = ReplicateM_ a6989586621681259803 a6989586621681259804
data GuardSym0 :: forall f6989586621679563343. (~>) Bool (f6989586621679563343 ())
type GuardSym1 (a6989586621679563512 :: Bool) = Guard a6989586621679563512
data WhenSym0 :: forall f6989586621679563372. (~>) Bool ((~>) (f6989586621679563372 ()) (f6989586621679563372 ()))
data WhenSym1 (a6989586621679563760 :: Bool) :: forall f6989586621679563372. (~>) (f6989586621679563372 ()) (f6989586621679563372 ())
type WhenSym2 (a6989586621679563760 :: Bool) (a6989586621679563761 :: f6989586621679563372 ()) = When a6989586621679563760 a6989586621679563761
data UnlessSym0 :: forall f6989586621681259426. (~>) Bool ((~>) (f6989586621681259426 ()) (f6989586621681259426 ()))
data UnlessSym1 (a6989586621681259794 :: Bool) :: forall f6989586621681259426. (~>) (f6989586621681259426 ()) (f6989586621681259426 ())
type UnlessSym2 (a6989586621681259794 :: Bool) (a6989586621681259795 :: f6989586621681259426 ()) = Unless a6989586621681259794 a6989586621681259795
data LiftMSym0 :: forall a16989586621679563370 m6989586621679563369 r6989586621679563371. (~>) ((~>) a16989586621679563370 r6989586621679563371) ((~>) (m6989586621679563369 a16989586621679563370) (m6989586621679563369 r6989586621679563371))
data LiftMSym1 (a6989586621679563747 :: (~>) a16989586621679563370 r6989586621679563371) :: forall m6989586621679563369. (~>) (m6989586621679563369 a16989586621679563370) (m6989586621679563369 r6989586621679563371)
type LiftMSym2 (a6989586621679563747 :: (~>) a16989586621679563370 r6989586621679563371) (a6989586621679563748 :: m6989586621679563369 a16989586621679563370) = LiftM a6989586621679563747 a6989586621679563748
data LiftM2Sym0 :: forall a16989586621679563366 a26989586621679563367 m6989586621679563365 r6989586621679563368. (~>) ((~>) a16989586621679563366 ((~>) a26989586621679563367 r6989586621679563368)) ((~>) (m6989586621679563365 a16989586621679563366) ((~>) (m6989586621679563365 a26989586621679563367) (m6989586621679563365 r6989586621679563368)))
data LiftM2Sym1 (a6989586621679563721 :: (~>) a16989586621679563366 ((~>) a26989586621679563367 r6989586621679563368)) :: forall m6989586621679563365. (~>) (m6989586621679563365 a16989586621679563366) ((~>) (m6989586621679563365 a26989586621679563367) (m6989586621679563365 r6989586621679563368))
data LiftM2Sym2 (a6989586621679563721 :: (~>) a16989586621679563366 ((~>) a26989586621679563367 r6989586621679563368)) (a6989586621679563722 :: m6989586621679563365 a16989586621679563366) :: (~>) (m6989586621679563365 a26989586621679563367) (m6989586621679563365 r6989586621679563368)
type LiftM2Sym3 (a6989586621679563721 :: (~>) a16989586621679563366 ((~>) a26989586621679563367 r6989586621679563368)) (a6989586621679563722 :: m6989586621679563365 a16989586621679563366) (a6989586621679563723 :: m6989586621679563365 a26989586621679563367) = LiftM2 a6989586621679563721 a6989586621679563722 a6989586621679563723
data LiftM3Sym0 :: forall a16989586621679563361 a26989586621679563362 a36989586621679563363 m6989586621679563360 r6989586621679563364. (~>) ((~>) a16989586621679563361 ((~>) a26989586621679563362 ((~>) a36989586621679563363 r6989586621679563364))) ((~>) (m6989586621679563360 a16989586621679563361) ((~>) (m6989586621679563360 a26989586621679563362) ((~>) (m6989586621679563360 a36989586621679563363) (m6989586621679563360 r6989586621679563364))))
data LiftM3Sym1 (a6989586621679563679 :: (~>) a16989586621679563361 ((~>) a26989586621679563362 ((~>) a36989586621679563363 r6989586621679563364))) :: forall m6989586621679563360. (~>) (m6989586621679563360 a16989586621679563361) ((~>) (m6989586621679563360 a26989586621679563362) ((~>) (m6989586621679563360 a36989586621679563363) (m6989586621679563360 r6989586621679563364)))
data LiftM3Sym2 (a6989586621679563679 :: (~>) a16989586621679563361 ((~>) a26989586621679563362 ((~>) a36989586621679563363 r6989586621679563364))) (a6989586621679563680 :: m6989586621679563360 a16989586621679563361) :: (~>) (m6989586621679563360 a26989586621679563362) ((~>) (m6989586621679563360 a36989586621679563363) (m6989586621679563360 r6989586621679563364))
data LiftM3Sym3 (a6989586621679563679 :: (~>) a16989586621679563361 ((~>) a26989586621679563362 ((~>) a36989586621679563363 r6989586621679563364))) (a6989586621679563680 :: m6989586621679563360 a16989586621679563361) (a6989586621679563681 :: m6989586621679563360 a26989586621679563362) :: (~>) (m6989586621679563360 a36989586621679563363) (m6989586621679563360 r6989586621679563364)
type LiftM3Sym4 (a6989586621679563679 :: (~>) a16989586621679563361 ((~>) a26989586621679563362 ((~>) a36989586621679563363 r6989586621679563364))) (a6989586621679563680 :: m6989586621679563360 a16989586621679563361) (a6989586621679563681 :: m6989586621679563360 a26989586621679563362) (a6989586621679563682 :: m6989586621679563360 a36989586621679563363) = LiftM3 a6989586621679563679 a6989586621679563680 a6989586621679563681 a6989586621679563682
data LiftM4Sym0 :: forall a16989586621679563355 a26989586621679563356 a36989586621679563357 a46989586621679563358 m6989586621679563354 r6989586621679563359. (~>) ((~>) a16989586621679563355 ((~>) a26989586621679563356 ((~>) a36989586621679563357 ((~>) a46989586621679563358 r6989586621679563359)))) ((~>) (m6989586621679563354 a16989586621679563355) ((~>) (m6989586621679563354 a26989586621679563356) ((~>) (m6989586621679563354 a36989586621679563357) ((~>) (m6989586621679563354 a46989586621679563358) (m6989586621679563354 r6989586621679563359)))))
data LiftM4Sym1 (a6989586621679563618 :: (~>) a16989586621679563355 ((~>) a26989586621679563356 ((~>) a36989586621679563357 ((~>) a46989586621679563358 r6989586621679563359)))) :: forall m6989586621679563354. (~>) (m6989586621679563354 a16989586621679563355) ((~>) (m6989586621679563354 a26989586621679563356) ((~>) (m6989586621679563354 a36989586621679563357) ((~>) (m6989586621679563354 a46989586621679563358) (m6989586621679563354 r6989586621679563359))))
data LiftM4Sym2 (a6989586621679563618 :: (~>) a16989586621679563355 ((~>) a26989586621679563356 ((~>) a36989586621679563357 ((~>) a46989586621679563358 r6989586621679563359)))) (a6989586621679563619 :: m6989586621679563354 a16989586621679563355) :: (~>) (m6989586621679563354 a26989586621679563356) ((~>) (m6989586621679563354 a36989586621679563357) ((~>) (m6989586621679563354 a46989586621679563358) (m6989586621679563354 r6989586621679563359)))
data LiftM4Sym3 (a6989586621679563618 :: (~>) a16989586621679563355 ((~>) a26989586621679563356 ((~>) a36989586621679563357 ((~>) a46989586621679563358 r6989586621679563359)))) (a6989586621679563619 :: m6989586621679563354 a16989586621679563355) (a6989586621679563620 :: m6989586621679563354 a26989586621679563356) :: (~>) (m6989586621679563354 a36989586621679563357) ((~>) (m6989586621679563354 a46989586621679563358) (m6989586621679563354 r6989586621679563359))
data LiftM4Sym4 (a6989586621679563618 :: (~>) a16989586621679563355 ((~>) a26989586621679563356 ((~>) a36989586621679563357 ((~>) a46989586621679563358 r6989586621679563359)))) (a6989586621679563619 :: m6989586621679563354 a16989586621679563355) (a6989586621679563620 :: m6989586621679563354 a26989586621679563356) (a6989586621679563621 :: m6989586621679563354 a36989586621679563357) :: (~>) (m6989586621679563354 a46989586621679563358) (m6989586621679563354 r6989586621679563359)
type LiftM4Sym5 (a6989586621679563618 :: (~>) a16989586621679563355 ((~>) a26989586621679563356 ((~>) a36989586621679563357 ((~>) a46989586621679563358 r6989586621679563359)))) (a6989586621679563619 :: m6989586621679563354 a16989586621679563355) (a6989586621679563620 :: m6989586621679563354 a26989586621679563356) (a6989586621679563621 :: m6989586621679563354 a36989586621679563357) (a6989586621679563622 :: m6989586621679563354 a46989586621679563358) = LiftM4 a6989586621679563618 a6989586621679563619 a6989586621679563620 a6989586621679563621 a6989586621679563622
data LiftM5Sym0 :: forall a16989586621679563348 a26989586621679563349 a36989586621679563350 a46989586621679563351 a56989586621679563352 m6989586621679563347 r6989586621679563353. (~>) ((~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) ((~>) (m6989586621679563347 a16989586621679563348) ((~>) (m6989586621679563347 a26989586621679563349) ((~>) (m6989586621679563347 a36989586621679563350) ((~>) (m6989586621679563347 a46989586621679563351) ((~>) (m6989586621679563347 a56989586621679563352) (m6989586621679563347 r6989586621679563353))))))
data LiftM5Sym1 (a6989586621679563535 :: (~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) :: forall m6989586621679563347. (~>) (m6989586621679563347 a16989586621679563348) ((~>) (m6989586621679563347 a26989586621679563349) ((~>) (m6989586621679563347 a36989586621679563350) ((~>) (m6989586621679563347 a46989586621679563351) ((~>) (m6989586621679563347 a56989586621679563352) (m6989586621679563347 r6989586621679563353)))))
data LiftM5Sym2 (a6989586621679563535 :: (~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) (a6989586621679563536 :: m6989586621679563347 a16989586621679563348) :: (~>) (m6989586621679563347 a26989586621679563349) ((~>) (m6989586621679563347 a36989586621679563350) ((~>) (m6989586621679563347 a46989586621679563351) ((~>) (m6989586621679563347 a56989586621679563352) (m6989586621679563347 r6989586621679563353))))
data LiftM5Sym3 (a6989586621679563535 :: (~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) (a6989586621679563536 :: m6989586621679563347 a16989586621679563348) (a6989586621679563537 :: m6989586621679563347 a26989586621679563349) :: (~>) (m6989586621679563347 a36989586621679563350) ((~>) (m6989586621679563347 a46989586621679563351) ((~>) (m6989586621679563347 a56989586621679563352) (m6989586621679563347 r6989586621679563353)))
data LiftM5Sym4 (a6989586621679563535 :: (~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) (a6989586621679563536 :: m6989586621679563347 a16989586621679563348) (a6989586621679563537 :: m6989586621679563347 a26989586621679563349) (a6989586621679563538 :: m6989586621679563347 a36989586621679563350) :: (~>) (m6989586621679563347 a46989586621679563351) ((~>) (m6989586621679563347 a56989586621679563352) (m6989586621679563347 r6989586621679563353))
data LiftM5Sym5 (a6989586621679563535 :: (~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) (a6989586621679563536 :: m6989586621679563347 a16989586621679563348) (a6989586621679563537 :: m6989586621679563347 a26989586621679563349) (a6989586621679563538 :: m6989586621679563347 a36989586621679563350) (a6989586621679563539 :: m6989586621679563347 a46989586621679563351) :: (~>) (m6989586621679563347 a56989586621679563352) (m6989586621679563347 r6989586621679563353)
type LiftM5Sym6 (a6989586621679563535 :: (~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) (a6989586621679563536 :: m6989586621679563347 a16989586621679563348) (a6989586621679563537 :: m6989586621679563347 a26989586621679563349) (a6989586621679563538 :: m6989586621679563347 a36989586621679563350) (a6989586621679563539 :: m6989586621679563347 a46989586621679563351) (a6989586621679563540 :: m6989586621679563347 a56989586621679563352) = LiftM5 a6989586621679563535 a6989586621679563536 a6989586621679563537 a6989586621679563538 a6989586621679563539 a6989586621679563540
data ApSym0 :: forall a6989586621679563345 b6989586621679563346 m6989586621679563344. (~>) (m6989586621679563344 ((~>) a6989586621679563345 b6989586621679563346)) ((~>) (m6989586621679563344 a6989586621679563345) (m6989586621679563344 b6989586621679563346))
data ApSym1 (a6989586621679563514 :: m6989586621679563344 ((~>) a6989586621679563345 b6989586621679563346)) :: (~>) (m6989586621679563344 a6989586621679563345) (m6989586621679563344 b6989586621679563346)
type ApSym2 (a6989586621679563514 :: m6989586621679563344 ((~>) a6989586621679563345 b6989586621679563346)) (a6989586621679563515 :: m6989586621679563344 a6989586621679563345) = Ap a6989586621679563514 a6989586621679563515
data (<$!>@#@$) :: forall a6989586621681259424 b6989586621681259425 m6989586621681259423. (~>) ((~>) a6989586621681259424 b6989586621681259425) ((~>) (m6989586621681259423 a6989586621681259424) (m6989586621681259423 b6989586621681259425))
data (<$!>@#@$$) (a6989586621681259777 :: (~>) a6989586621681259424 b6989586621681259425) :: forall m6989586621681259423. (~>) (m6989586621681259423 a6989586621681259424) (m6989586621681259423 b6989586621681259425)
type (<$!>@#@$$$) (a6989586621681259777 :: (~>) a6989586621681259424 b6989586621681259425) (a6989586621681259778 :: m6989586621681259423 a6989586621681259424) = (<$!>) a6989586621681259777 a6989586621681259778

Documentation

class PFunctor (f :: Type -> Type) #

Associated Types

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

Instances

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

class SFunctor (f :: Type -> Type) where #

Methods

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

Instances

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

class PApplicative m => PMonad (m :: Type -> Type) #

Associated Types

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

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

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

type Fail (arg :: Symbol) :: m a #

Instances

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

class SApplicative m => SMonad (m :: Type -> Type) where #

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 #

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

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

sFail :: forall a (t :: Symbol). Sing t -> Sing (Apply FailSym0 t :: m a) #

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

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

sFail :: forall a (t :: Symbol). (Apply FailSym0 t :: m a) ~ Apply Fail_6989586621679563970Sym0 t => Sing t -> Sing (Apply FailSym0 t :: m a) #

Instances

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

class (PAlternative m, PMonad m) => PMonadPlus (m :: Type -> Type) #

Associated Types

type Mzero :: m a #

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

Instances

PMonadPlus [] #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type Mzero :: m a # type Mplus arg arg :: m a #
PMonadPlus Maybe #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type Mzero :: m a # type Mplus arg arg :: m a #
PMonadPlus Option #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Mzero :: m a # type Mplus arg arg :: m a #

class (SAlternative m, SMonad m) => SMonadPlus (m :: Type -> Type) where #

Minimal complete definition

Nothing

Methods

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

sMzero :: forall a. (MzeroSym0 :: m a) ~ Mzero_6989586621679563981Sym0 => Sing (MzeroSym0 :: m a) #

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

Instances

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

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

Instances

type MapM (arg1 :: a ~> m b) (arg2 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: [a])
type MapM (arg1 :: a ~> m b) (arg2 :: Maybe a) #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: Maybe a)
type MapM (arg1 :: a ~> m b) (arg2 :: Min a) #
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) #
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) #
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) #
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) #
Instance details Defined in Data.Singletons.Prelude.Semigroup type MapM (arg1 :: a ~> m b) (arg2 :: Option a)
type MapM (arg1 :: a ~> m b) (arg2 :: Identity a) #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: Identity a)
type MapM (arg1 :: a ~> m b) (arg2 :: First a) #
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) #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: Last a)
type MapM (arg1 :: a ~> m b) (arg2 :: Dual a) #
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) #
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) #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: Product a)
type MapM (arg1 :: a ~> m b) (arg2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m b) (arg2 :: NonEmpty a)
type MapM (arg1 :: a1 ~> m b) (arg2 :: Either a2 a1) #
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)) #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a1 ~> m b) (arg2 :: (a2, a1))
type MapM (arg1 :: a1 ~> m b) (arg2 :: Arg a2 a1) #
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) #
Instance details Defined in Data.Singletons.Prelude.Traversable type MapM (arg1 :: a ~> m1 b) (arg2 :: Const m2 a)

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

Equations

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

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

Equations

ForM a_6989586621680796402 a_6989586621680796404 = Apply (Apply (Apply FlipSym0 MapMSym0) a_6989586621680796402) a_6989586621680796404

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

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

Instances

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

type family Sequence_ (a :: t (m a)) :: m () where ... #

Equations

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

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 (m b)) =<< (a :: m a) :: m b where ... infixr 1 #

Equations

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

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

type family ((a :: (~>) a (m b)) >=> (a :: (~>) b (m c))) (a :: a) :: m c where ... infixr 1 #

Equations

(f >=> g) a_6989586621681259895 = Apply (Apply (Apply (Apply Lambda_6989586621681259900Sym0 f) g) a_6989586621681259895) a_6989586621681259895

(%>=>) :: forall m a 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 #

type family ((a :: (~>) b (m c)) <=< (a :: (~>) a (m b))) (a :: a) :: m c where ... infixr 1 #

Equations

(a_6989586621681259908 <=< a_6989586621681259910) a_6989586621681259912 = Apply (Apply (Apply (Apply FlipSym0 (>=>@#@$)) a_6989586621681259908) a_6989586621681259910) a_6989586621681259912

(%<=<) :: forall m b 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 #

type family Void (a :: f a) :: f () where ... #

Equations

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

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

type family Join (a :: m (m a)) :: m a where ... #

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

type family Msum (a :: t (m a)) :: m a where ... #

Equations

Msum a_6989586621680486712 = Apply AsumSym0 a_6989586621680486712

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 Bool) (a :: m a) :: m a where ... #

Equations

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

sMfilter :: forall m a (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 (m Bool)) (a :: [a]) :: m [a] where ... #

Equations

FilterM p a_6989586621681259927 = Apply (Apply (Apply FoldrSym0 (Apply (Apply Lambda_6989586621681259931Sym0 p) a_6989586621681259927)) (Apply PureSym0 '[])) a_6989586621681259927

sFilterM :: forall m a (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 (m (b, c))) (a :: [a]) :: m ([b], [c]) where ... #

Equations

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

sMapAndUnzipM :: forall m a 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 ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m [c] where ... #

Equations

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

sZipWithM :: forall m a b 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 ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m () where ... #

Equations

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

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

Equations

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

sFoldlM :: forall t m b a (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 :: Nat) (a :: m a) :: m [a] where ... #

Equations

ReplicateM cnt0 f = Apply (Let6989586621681259828LoopSym2 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]) #

type family ReplicateM_ (a :: Nat) (a :: m a) :: m () where ... #

Equations

ReplicateM_ cnt0 f = Apply (Let6989586621681259809LoopSym2 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 ()) #

type family Guard (a :: Bool) :: f () where ... #

Equations

Guard True = Apply PureSym0 Tuple0Sym0
Guard False = EmptySym0

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

type family When (a :: Bool) (a :: f ()) :: f () where ... #

Equations

When p s = Case_6989586621679563766 p s p

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

type family Unless (a :: Bool) (a :: f ()) :: f () where ... #

Equations

Unless p s = Case_6989586621681259800 p s p

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

type family LiftM (a :: (~>) a1 r) (a :: m a1) :: m r where ... #

Equations

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

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

type family LiftM2 (a :: (~>) a1 ((~>) a2 r)) (a :: m a1) (a :: m a2) :: m r where ... #

Equations

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

sLiftM2 :: forall m a1 a2 r (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 :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a :: m a1) (a :: m a2) (a :: m a3) :: m r where ... #

Equations

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

sLiftM3 :: forall m a1 a2 a3 r (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 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) :: m r where ... #

Equations

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

sLiftM4 :: forall m a1 a2 a3 a4 r (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 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) (a :: m a5) :: m r where ... #

Equations

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

sLiftM5 :: forall m a1 a2 a3 a4 a5 r (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 :: m ((~>) a b)) (a :: m a) :: m b where ... #

Equations

Ap m1 m2 = Apply (Apply (>>=@#@$) m1) (Apply (Apply Lambda_6989586621679563520Sym0 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) #

type family (a :: (~>) a b) <$!> (a :: m a) :: m b where ... infixl 4 #

Equations

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

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

Defunctionalization symbols

data FmapSym0 :: forall a6989586621679563423 b6989586621679563424 f6989586621679563422. (~>) ((~>) a6989586621679563423 b6989586621679563424) ((~>) (f6989586621679563422 a6989586621679563423) (f6989586621679563422 b6989586621679563424)) #

Instances

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

data FmapSym1 (arg6989586621679563816 :: (~>) a6989586621679563423 b6989586621679563424) :: forall f6989586621679563422. (~>) (f6989586621679563422 a6989586621679563423) (f6989586621679563422 b6989586621679563424) #

Instances

(SFunctor f, SingI d) => SingI (FmapSym1 d f :: TyFun (f a) (f b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (FmapSym1 d f) #
SuppressUnusedWarnings (FmapSym1 arg6989586621679563816 f6989586621679563422 :: TyFun (f6989586621679563422 a6989586621679563423) (f6989586621679563422 b6989586621679563424) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (FmapSym1 arg6989586621679563816 f :: TyFun (f a) (f b) -> Type) (arg6989586621679563817 :: f a) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (FmapSym1 arg6989586621679563816 f :: TyFun (f a) (f b) -> Type) (arg6989586621679563817 :: f a) = Fmap arg6989586621679563816 arg6989586621679563817

type FmapSym2 (arg6989586621679563816 :: (~>) a6989586621679563423 b6989586621679563424) (arg6989586621679563817 :: f6989586621679563422 a6989586621679563423) = Fmap arg6989586621679563816 arg6989586621679563817 #

data (>>=@#@$) :: forall a6989586621679563452 b6989586621679563453 m6989586621679563451. (~>) (m6989586621679563451 a6989586621679563452) ((~>) ((~>) a6989586621679563452 (m6989586621679563451 b6989586621679563453)) (m6989586621679563451 b6989586621679563453)) infixl 1 #

Instances

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

data (>>=@#@$$) (arg6989586621679563923 :: m6989586621679563451 a6989586621679563452) :: forall b6989586621679563453. (~>) ((~>) a6989586621679563452 (m6989586621679563451 b6989586621679563453)) (m6989586621679563451 b6989586621679563453) infixl 1 #

Instances

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

type (>>=@#@$$$) (arg6989586621679563923 :: m6989586621679563451 a6989586621679563452) (arg6989586621679563924 :: (~>) a6989586621679563452 (m6989586621679563451 b6989586621679563453)) = (>>=) arg6989586621679563923 arg6989586621679563924 #

data (>>@#@$) :: forall a6989586621679563454 b6989586621679563455 m6989586621679563451. (~>) (m6989586621679563451 a6989586621679563454) ((~>) (m6989586621679563451 b6989586621679563455) (m6989586621679563451 b6989586621679563455)) infixl 1 #

Instances

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

data (>>@#@$$) (arg6989586621679563927 :: m6989586621679563451 a6989586621679563454) :: forall b6989586621679563455. (~>) (m6989586621679563451 b6989586621679563455) (m6989586621679563451 b6989586621679563455) infixl 1 #

Instances

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

type (>>@#@$$$) (arg6989586621679563927 :: m6989586621679563451 a6989586621679563454) (arg6989586621679563928 :: m6989586621679563451 b6989586621679563455) = (>>) arg6989586621679563927 arg6989586621679563928 #

data ReturnSym0 :: forall a6989586621679563456 m6989586621679563451. (~>) a6989586621679563456 (m6989586621679563451 a6989586621679563456) #

Instances

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

type ReturnSym1 (arg6989586621679563931 :: a6989586621679563456) = Return arg6989586621679563931 #

data FailSym0 :: forall a6989586621679563457 m6989586621679563451. (~>) Symbol (m6989586621679563451 a6989586621679563457) #

Instances

SMonad m => SingI (FailSym0 :: TyFun Symbol (m a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing FailSym0 #
SuppressUnusedWarnings (FailSym0 :: TyFun Symbol (m6989586621679563451 a6989586621679563457) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (FailSym0 :: TyFun Symbol (m6989586621679563451 a6989586621679563457) -> Type) (arg6989586621679563933 :: Symbol) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (FailSym0 :: TyFun Symbol (m6989586621679563451 a6989586621679563457) -> Type) (arg6989586621679563933 :: Symbol) = (Fail arg6989586621679563933 :: m6989586621679563451 a6989586621679563457)

type FailSym1 (arg6989586621679563933 :: Symbol) = Fail arg6989586621679563933 #

type MzeroSym0 = Mzero #

data MplusSym0 :: forall a6989586621679563509 m6989586621679563507. (~>) (m6989586621679563507 a6989586621679563509) ((~>) (m6989586621679563507 a6989586621679563509) (m6989586621679563507 a6989586621679563509)) #

Instances

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

data MplusSym1 (arg6989586621679563977 :: m6989586621679563507 a6989586621679563509) :: (~>) (m6989586621679563507 a6989586621679563509) (m6989586621679563507 a6989586621679563509) #

Instances

(SMonadPlus m, SingI d) => SingI (MplusSym1 d :: TyFun (m a) (m a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (MplusSym1 d) #
SuppressUnusedWarnings (MplusSym1 arg6989586621679563977 :: TyFun (m6989586621679563507 a6989586621679563509) (m6989586621679563507 a6989586621679563509) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (MplusSym1 arg6989586621679563977 :: TyFun (m a) (m a) -> Type) (arg6989586621679563978 :: m a) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (MplusSym1 arg6989586621679563977 :: TyFun (m a) (m a) -> Type) (arg6989586621679563978 :: m a) = Mplus arg6989586621679563977 arg6989586621679563978

type MplusSym2 (arg6989586621679563977 :: m6989586621679563507 a6989586621679563509) (arg6989586621679563978 :: m6989586621679563507 a6989586621679563509) = Mplus arg6989586621679563977 arg6989586621679563978 #

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

Instances

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

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

Instances

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

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

data MapM_Sym0 :: forall a6989586621680486129 b6989586621680486130 m6989586621680486128 t6989586621680486127. (~>) ((~>) a6989586621680486129 (m6989586621680486128 b6989586621680486130)) ((~>) (t6989586621680486127 a6989586621680486129) (m6989586621680486128 ())) #

Instances

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

data MapM_Sym1 (a6989586621680486727 :: (~>) a6989586621680486129 (m6989586621680486128 b6989586621680486130)) :: forall t6989586621680486127. (~>) (t6989586621680486127 a6989586621680486129) (m6989586621680486128 ()) #

Instances

(SFoldable t, SMonad m, SingI d) => SingI (MapM_Sym1 d t :: TyFun (t a) (m ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (MapM_Sym1 d t) #
SuppressUnusedWarnings (MapM_Sym1 a6989586621680486727 t6989586621680486127 :: TyFun (t6989586621680486127 a6989586621680486129) (m6989586621680486128 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (MapM_Sym1 a6989586621680486727 t :: TyFun (t a) (m ()) -> Type) (a6989586621680486728 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MapM_Sym1 a6989586621680486727 t :: TyFun (t a) (m ()) -> Type) (a6989586621680486728 :: t a) = MapM_ a6989586621680486727 a6989586621680486728

type MapM_Sym2 (a6989586621680486727 :: (~>) a6989586621680486129 (m6989586621680486128 b6989586621680486130)) (a6989586621680486728 :: t6989586621680486127 a6989586621680486129) = MapM_ a6989586621680486727 a6989586621680486728 #

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

Instances

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

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

Instances

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

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

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

Instances

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

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

data Sequence_Sym0 :: forall a6989586621680486119 m6989586621680486118 t6989586621680486117. (~>) (t6989586621680486117 (m6989586621680486118 a6989586621680486119)) (m6989586621680486118 ()) #

Instances

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

type Sequence_Sym1 (a6989586621680486719 :: t6989586621680486117 (m6989586621680486118 a6989586621680486119)) = Sequence_ a6989586621680486719 #

data (=<<@#@$) :: forall a6989586621679563374 b6989586621679563375 m6989586621679563373. (~>) ((~>) a6989586621679563374 (m6989586621679563373 b6989586621679563375)) ((~>) (m6989586621679563373 a6989586621679563374) (m6989586621679563373 b6989586621679563375)) infixr 1 #

Instances

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

data (=<<@#@$$) (a6989586621679563769 :: (~>) a6989586621679563374 (m6989586621679563373 b6989586621679563375)) :: (~>) (m6989586621679563373 a6989586621679563374) (m6989586621679563373 b6989586621679563375) infixr 1 #

Instances

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

type (=<<@#@$$$) (a6989586621679563769 :: (~>) a6989586621679563374 (m6989586621679563373 b6989586621679563375)) (a6989586621679563770 :: m6989586621679563373 a6989586621679563374) = (=<<) a6989586621679563769 a6989586621679563770 #

data (>=>@#@$) :: forall a6989586621681259456 b6989586621681259457 c6989586621681259458 m6989586621681259455. (~>) ((~>) a6989586621681259456 (m6989586621681259455 b6989586621681259457)) ((~>) ((~>) b6989586621681259457 (m6989586621681259455 c6989586621681259458)) ((~>) a6989586621681259456 (m6989586621681259455 c6989586621681259458))) infixr 1 #

Instances

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

data (>=>@#@$$) (a6989586621681259889 :: (~>) a6989586621681259456 (m6989586621681259455 b6989586621681259457)) :: forall c6989586621681259458. (~>) ((~>) b6989586621681259457 (m6989586621681259455 c6989586621681259458)) ((~>) a6989586621681259456 (m6989586621681259455 c6989586621681259458)) infixr 1 #

Instances

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

data (a6989586621681259889 :: (~>) a6989586621681259456 (m6989586621681259455 b6989586621681259457)) >=>@#@$$$ (a6989586621681259890 :: (~>) b6989586621681259457 (m6989586621681259455 c6989586621681259458)) :: (~>) a6989586621681259456 (m6989586621681259455 c6989586621681259458) infixr 1 #

Instances

(SMonad m, SingI d1, SingI d2) => SingI (d1 >=>@#@$$$ d2 :: TyFun a (m c) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (d1 >=>@#@$$$ d2) #
SuppressUnusedWarnings (a6989586621681259890 >=>@#@$$$ a6989586621681259889 :: TyFun a6989586621681259456 (m6989586621681259455 c6989586621681259458) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () #
type Apply (a6989586621681259890 >=>@#@$$$ a6989586621681259889 :: TyFun a (m c) -> Type) (a6989586621681259891 :: a) #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (a6989586621681259890 >=>@#@$$$ a6989586621681259889 :: TyFun a (m c) -> Type) (a6989586621681259891 :: a) = (a6989586621681259890 >=> a6989586621681259889) a6989586621681259891

data (<=<@#@$) :: forall a6989586621681259454 b6989586621681259452 c6989586621681259453 m6989586621681259451. (~>) ((~>) b6989586621681259452 (m6989586621681259451 c6989586621681259453)) ((~>) ((~>) a6989586621681259454 (m6989586621681259451 b6989586621681259452)) ((~>) a6989586621681259454 (m6989586621681259451 c6989586621681259453))) infixr 1 #

Instances

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

data (<=<@#@$$) (a6989586621681259914 :: (~>) b6989586621681259452 (m6989586621681259451 c6989586621681259453)) :: forall a6989586621681259454. (~>) ((~>) a6989586621681259454 (m6989586621681259451 b6989586621681259452)) ((~>) a6989586621681259454 (m6989586621681259451 c6989586621681259453)) infixr 1 #

Instances

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

data (a6989586621681259914 :: (~>) b6989586621681259452 (m6989586621681259451 c6989586621681259453)) <=<@#@$$$ (a6989586621681259915 :: (~>) a6989586621681259454 (m6989586621681259451 b6989586621681259452)) :: (~>) a6989586621681259454 (m6989586621681259451 c6989586621681259453) infixr 1 #

Instances

(SMonad m, SingI d1, SingI d2) => SingI (d1 <=<@#@$$$ d2 :: TyFun a (m c) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (d1 <=<@#@$$$ d2) #
SuppressUnusedWarnings (a6989586621681259915 <=<@#@$$$ a6989586621681259914 :: TyFun a6989586621681259454 (m6989586621681259451 c6989586621681259453) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () #
type Apply (a6989586621681259915 <=<@#@$$$ a6989586621681259914 :: TyFun a (m c) -> Type) (a6989586621681259916 :: a) #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (a6989586621681259915 <=<@#@$$$ a6989586621681259914 :: TyFun a (m c) -> Type) (a6989586621681259916 :: a) = (a6989586621681259915 <=< a6989586621681259914) a6989586621681259916

data VoidSym0 :: forall a6989586621679735744 f6989586621679735743. (~>) (f6989586621679735743 a6989586621679735744) (f6989586621679735743 ()) #

Instances

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

type VoidSym1 (a6989586621679735815 :: f6989586621679735743 a6989586621679735744) = Void a6989586621679735815 #

data JoinSym0 :: forall a6989586621679563377 m6989586621679563376. (~>) (m6989586621679563376 (m6989586621679563376 a6989586621679563377)) (m6989586621679563376 a6989586621679563377) #

Instances

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

type JoinSym1 (a6989586621679563775 :: m6989586621679563376 (m6989586621679563376 a6989586621679563377)) = Join a6989586621679563775 #

data MsumSym0 :: forall a6989586621680486113 m6989586621680486112 t6989586621680486111. (~>) (t6989586621680486111 (m6989586621680486112 a6989586621680486113)) (m6989586621680486112 a6989586621680486113) #

Instances

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

type MsumSym1 (a6989586621680486714 :: t6989586621680486111 (m6989586621680486112 a6989586621680486113)) = Msum a6989586621680486714 #

data MfilterSym0 :: forall a6989586621681259422 m6989586621681259421. (~>) ((~>) a6989586621681259422 Bool) ((~>) (m6989586621681259421 a6989586621681259422) (m6989586621681259421 a6989586621681259422)) #

Instances

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

data MfilterSym1 (a6989586621681259757 :: (~>) a6989586621681259422 Bool) :: forall m6989586621681259421. (~>) (m6989586621681259421 a6989586621681259422) (m6989586621681259421 a6989586621681259422) #

Instances

(SMonadPlus m, SingI d) => SingI (MfilterSym1 d m :: TyFun (m a) (m a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (MfilterSym1 d m) #
SuppressUnusedWarnings (MfilterSym1 a6989586621681259757 m6989586621681259421 :: TyFun (m6989586621681259421 a6989586621681259422) (m6989586621681259421 a6989586621681259422) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () #
type Apply (MfilterSym1 a6989586621681259757 m :: TyFun (m a) (m a) -> Type) (a6989586621681259758 :: m a) #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (MfilterSym1 a6989586621681259757 m :: TyFun (m a) (m a) -> Type) (a6989586621681259758 :: m a) = Mfilter a6989586621681259757 a6989586621681259758

type MfilterSym2 (a6989586621681259757 :: (~>) a6989586621681259422 Bool) (a6989586621681259758 :: m6989586621681259421 a6989586621681259422) = Mfilter a6989586621681259757 a6989586621681259758 #

data FilterMSym0 :: forall a6989586621681259460 m6989586621681259459. (~>) ((~>) a6989586621681259460 (m6989586621681259459 Bool)) ((~>) [a6989586621681259460] (m6989586621681259459 [a6989586621681259460])) #

Instances

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

data FilterMSym1 (a6989586621681259923 :: (~>) a6989586621681259460 (m6989586621681259459 Bool)) :: (~>) [a6989586621681259460] (m6989586621681259459 [a6989586621681259460]) #

Instances

(SApplicative m, SingI d) => SingI (FilterMSym1 d :: TyFun [a] (m [a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (FilterMSym1 d) #
SuppressUnusedWarnings (FilterMSym1 a6989586621681259923 :: TyFun [a6989586621681259460] (m6989586621681259459 [a6989586621681259460]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () #
type Apply (FilterMSym1 a6989586621681259923 :: TyFun [a] (m [a]) -> Type) (a6989586621681259924 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (FilterMSym1 a6989586621681259923 :: TyFun [a] (m [a]) -> Type) (a6989586621681259924 :: [a]) = FilterM a6989586621681259923 a6989586621681259924

type FilterMSym2 (a6989586621681259923 :: (~>) a6989586621681259460 (m6989586621681259459 Bool)) (a6989586621681259924 :: [a6989586621681259460]) = FilterM a6989586621681259923 a6989586621681259924 #

data MapAndUnzipMSym0 :: forall a6989586621681259448 b6989586621681259449 c6989586621681259450 m6989586621681259447. (~>) ((~>) a6989586621681259448 (m6989586621681259447 (b6989586621681259449, c6989586621681259450))) ((~>) [a6989586621681259448] (m6989586621681259447 ([b6989586621681259449], [c6989586621681259450]))) #

Instances

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

data MapAndUnzipMSym1 (a6989586621681259883 :: (~>) a6989586621681259448 (m6989586621681259447 (b6989586621681259449, c6989586621681259450))) :: (~>) [a6989586621681259448] (m6989586621681259447 ([b6989586621681259449], [c6989586621681259450])) #

Instances

(SApplicative m, SingI d) => SingI (MapAndUnzipMSym1 d :: TyFun [a] (m ([b], [c])) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (MapAndUnzipMSym1 d) #
SuppressUnusedWarnings (MapAndUnzipMSym1 a6989586621681259883 :: TyFun [a6989586621681259448] (m6989586621681259447 ([b6989586621681259449], [c6989586621681259450])) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () #
type Apply (MapAndUnzipMSym1 a6989586621681259883 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681259884 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (MapAndUnzipMSym1 a6989586621681259883 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681259884 :: [a]) = MapAndUnzipM a6989586621681259883 a6989586621681259884

type MapAndUnzipMSym2 (a6989586621681259883 :: (~>) a6989586621681259448 (m6989586621681259447 (b6989586621681259449, c6989586621681259450))) (a6989586621681259884 :: [a6989586621681259448]) = MapAndUnzipM a6989586621681259883 a6989586621681259884 #

data ZipWithMSym0 :: forall a6989586621681259444 b6989586621681259445 c6989586621681259446 m6989586621681259443. (~>) ((~>) a6989586621681259444 ((~>) b6989586621681259445 (m6989586621681259443 c6989586621681259446))) ((~>) [a6989586621681259444] ((~>) [b6989586621681259445] (m6989586621681259443 [c6989586621681259446]))) #

Instances

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

data ZipWithMSym1 (a6989586621681259874 :: (~>) a6989586621681259444 ((~>) b6989586621681259445 (m6989586621681259443 c6989586621681259446))) :: (~>) [a6989586621681259444] ((~>) [b6989586621681259445] (m6989586621681259443 [c6989586621681259446])) #

Instances

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

data ZipWithMSym2 (a6989586621681259874 :: (~>) a6989586621681259444 ((~>) b6989586621681259445 (m6989586621681259443 c6989586621681259446))) (a6989586621681259875 :: [a6989586621681259444]) :: (~>) [b6989586621681259445] (m6989586621681259443 [c6989586621681259446]) #

Instances

(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithMSym2 d1 d2 :: TyFun [b] (m [c]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithMSym2 d1 d2) #
SuppressUnusedWarnings (ZipWithMSym2 a6989586621681259875 a6989586621681259874 :: TyFun [b6989586621681259445] (m6989586621681259443 [c6989586621681259446]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () #
type Apply (ZipWithMSym2 a6989586621681259875 a6989586621681259874 :: TyFun [b] (m [c]) -> Type) (a6989586621681259876 :: [b]) #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithMSym2 a6989586621681259875 a6989586621681259874 :: TyFun [b] (m [c]) -> Type) (a6989586621681259876 :: [b]) = ZipWithM a6989586621681259875 a6989586621681259874 a6989586621681259876

type ZipWithMSym3 (a6989586621681259874 :: (~>) a6989586621681259444 ((~>) b6989586621681259445 (m6989586621681259443 c6989586621681259446))) (a6989586621681259875 :: [a6989586621681259444]) (a6989586621681259876 :: [b6989586621681259445]) = ZipWithM a6989586621681259874 a6989586621681259875 a6989586621681259876 #

data ZipWithM_Sym0 :: forall a6989586621681259440 b6989586621681259441 c6989586621681259442 m6989586621681259439. (~>) ((~>) a6989586621681259440 ((~>) b6989586621681259441 (m6989586621681259439 c6989586621681259442))) ((~>) [a6989586621681259440] ((~>) [b6989586621681259441] (m6989586621681259439 ()))) #

Instances

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

data ZipWithM_Sym1 (a6989586621681259865 :: (~>) a6989586621681259440 ((~>) b6989586621681259441 (m6989586621681259439 c6989586621681259442))) :: (~>) [a6989586621681259440] ((~>) [b6989586621681259441] (m6989586621681259439 ())) #

Instances

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

data ZipWithM_Sym2 (a6989586621681259865 :: (~>) a6989586621681259440 ((~>) b6989586621681259441 (m6989586621681259439 c6989586621681259442))) (a6989586621681259866 :: [a6989586621681259440]) :: (~>) [b6989586621681259441] (m6989586621681259439 ()) #

Instances

(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithM_Sym2 d1 d2 :: TyFun [b] (m ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithM_Sym2 d1 d2) #
SuppressUnusedWarnings (ZipWithM_Sym2 a6989586621681259866 a6989586621681259865 :: TyFun [b6989586621681259441] (m6989586621681259439 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () #
type Apply (ZipWithM_Sym2 a6989586621681259866 a6989586621681259865 :: TyFun [b] (m ()) -> Type) (a6989586621681259867 :: [b]) #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithM_Sym2 a6989586621681259866 a6989586621681259865 :: TyFun [b] (m ()) -> Type) (a6989586621681259867 :: [b]) = ZipWithM_ a6989586621681259866 a6989586621681259865 a6989586621681259867

type ZipWithM_Sym3 (a6989586621681259865 :: (~>) a6989586621681259440 ((~>) b6989586621681259441 (m6989586621681259439 c6989586621681259442))) (a6989586621681259866 :: [a6989586621681259440]) (a6989586621681259867 :: [b6989586621681259441]) = ZipWithM_ a6989586621681259865 a6989586621681259866 a6989586621681259867 #

data FoldlMSym0 :: forall a6989586621680486142 b6989586621680486141 m6989586621680486140 t6989586621680486139. (~>) ((~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) ((~>) b6989586621680486141 ((~>) (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141))) #

Instances

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

data FoldlMSym1 (a6989586621680486763 :: (~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) :: forall t6989586621680486139. (~>) b6989586621680486141 ((~>) (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141)) #

Instances

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

data FoldlMSym2 (a6989586621680486763 :: (~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) (a6989586621680486764 :: b6989586621680486141) :: forall t6989586621680486139. (~>) (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141) #

Instances

(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldlMSym2 d1 d2 t :: TyFun (t a) (m b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldlMSym2 d1 d2 t) #
SuppressUnusedWarnings (FoldlMSym2 a6989586621680486764 a6989586621680486763 t6989586621680486139 :: TyFun (t6989586621680486139 a6989586621680486142) (m6989586621680486140 b6989586621680486141) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () #
type Apply (FoldlMSym2 a6989586621680486764 a6989586621680486763 t :: TyFun (t a) (m b) -> Type) (a6989586621680486765 :: t a) #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym2 a6989586621680486764 a6989586621680486763 t :: TyFun (t a) (m b) -> Type) (a6989586621680486765 :: t a) = FoldlM a6989586621680486764 a6989586621680486763 a6989586621680486765

type FoldlMSym3 (a6989586621680486763 :: (~>) b6989586621680486141 ((~>) a6989586621680486142 (m6989586621680486140 b6989586621680486141))) (a6989586621680486764 :: b6989586621680486141) (a6989586621680486765 :: t6989586621680486139 a6989586621680486142) = FoldlM a6989586621680486763 a6989586621680486764 a6989586621680486765 #

data ReplicateMSym0 :: forall a6989586621681259430 m6989586621681259429. (~>) Nat ((~>) (m6989586621681259429 a6989586621681259430) (m6989586621681259429 [a6989586621681259430])) #

Instances

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

data ReplicateMSym1 (a6989586621681259822 :: Nat) :: forall a6989586621681259430 m6989586621681259429. (~>) (m6989586621681259429 a6989586621681259430) (m6989586621681259429 [a6989586621681259430]) #

Instances

(SApplicative m, SingI d) => SingI (ReplicateMSym1 d a m :: TyFun (m a) (m [a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ReplicateMSym1 d a m) #
SuppressUnusedWarnings (ReplicateMSym1 a6989586621681259822 a6989586621681259430 m6989586621681259429 :: TyFun (m6989586621681259429 a6989586621681259430) (m6989586621681259429 [a6989586621681259430]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () #
type Apply (ReplicateMSym1 a6989586621681259822 a m :: TyFun (m a) (m [a]) -> Type) (a6989586621681259823 :: m a) #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateMSym1 a6989586621681259822 a m :: TyFun (m a) (m [a]) -> Type) (a6989586621681259823 :: m a) = ReplicateM a6989586621681259822 a6989586621681259823

type ReplicateMSym2 (a6989586621681259822 :: Nat) (a6989586621681259823 :: m6989586621681259429 a6989586621681259430) = ReplicateM a6989586621681259822 a6989586621681259823 #

data ReplicateM_Sym0 :: forall a6989586621681259428 m6989586621681259427. (~>) Nat ((~>) (m6989586621681259427 a6989586621681259428) (m6989586621681259427 ())) #

Instances

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

data ReplicateM_Sym1 (a6989586621681259803 :: Nat) :: forall a6989586621681259428 m6989586621681259427. (~>) (m6989586621681259427 a6989586621681259428) (m6989586621681259427 ()) #

Instances

(SApplicative m, SingI d) => SingI (ReplicateM_Sym1 d a m :: TyFun (m a) (m ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ReplicateM_Sym1 d a m) #
SuppressUnusedWarnings (ReplicateM_Sym1 a6989586621681259803 a6989586621681259428 m6989586621681259427 :: TyFun (m6989586621681259427 a6989586621681259428) (m6989586621681259427 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () #
type Apply (ReplicateM_Sym1 a6989586621681259803 a m :: TyFun (m a) (m ()) -> Type) (a6989586621681259804 :: m a) #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateM_Sym1 a6989586621681259803 a m :: TyFun (m a) (m ()) -> Type) (a6989586621681259804 :: m a) = ReplicateM_ a6989586621681259803 a6989586621681259804

type ReplicateM_Sym2 (a6989586621681259803 :: Nat) (a6989586621681259804 :: m6989586621681259427 a6989586621681259428) = ReplicateM_ a6989586621681259803 a6989586621681259804 #

data GuardSym0 :: forall f6989586621679563343. (~>) Bool (f6989586621679563343 ()) #

Instances

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

type GuardSym1 (a6989586621679563512 :: Bool) = Guard a6989586621679563512 #

data WhenSym0 :: forall f6989586621679563372. (~>) Bool ((~>) (f6989586621679563372 ()) (f6989586621679563372 ())) #

Instances

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

data WhenSym1 (a6989586621679563760 :: Bool) :: forall f6989586621679563372. (~>) (f6989586621679563372 ()) (f6989586621679563372 ()) #

Instances

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

type WhenSym2 (a6989586621679563760 :: Bool) (a6989586621679563761 :: f6989586621679563372 ()) = When a6989586621679563760 a6989586621679563761 #

data UnlessSym0 :: forall f6989586621681259426. (~>) Bool ((~>) (f6989586621681259426 ()) (f6989586621681259426 ())) #

Instances

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

data UnlessSym1 (a6989586621681259794 :: Bool) :: forall f6989586621681259426. (~>) (f6989586621681259426 ()) (f6989586621681259426 ()) #

Instances

(SApplicative f, SingI d) => SingI (UnlessSym1 d f :: TyFun (f ()) (f ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (UnlessSym1 d f) #
SuppressUnusedWarnings (UnlessSym1 a6989586621681259794 f6989586621681259426 :: TyFun (f6989586621681259426 ()) (f6989586621681259426 ()) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () #
type Apply (UnlessSym1 a6989586621681259794 f :: TyFun (f ()) (f ()) -> Type) (a6989586621681259795 :: f ()) #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (UnlessSym1 a6989586621681259794 f :: TyFun (f ()) (f ()) -> Type) (a6989586621681259795 :: f ()) = Unless a6989586621681259794 a6989586621681259795

type UnlessSym2 (a6989586621681259794 :: Bool) (a6989586621681259795 :: f6989586621681259426 ()) = Unless a6989586621681259794 a6989586621681259795 #

data LiftMSym0 :: forall a16989586621679563370 m6989586621679563369 r6989586621679563371. (~>) ((~>) a16989586621679563370 r6989586621679563371) ((~>) (m6989586621679563369 a16989586621679563370) (m6989586621679563369 r6989586621679563371)) #

Instances

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

data LiftMSym1 (a6989586621679563747 :: (~>) a16989586621679563370 r6989586621679563371) :: forall m6989586621679563369. (~>) (m6989586621679563369 a16989586621679563370) (m6989586621679563369 r6989586621679563371) #

Instances

(SMonad m, SingI d) => SingI (LiftMSym1 d m :: TyFun (m a1) (m r) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftMSym1 d m) #
SuppressUnusedWarnings (LiftMSym1 a6989586621679563747 m6989586621679563369 :: TyFun (m6989586621679563369 a16989586621679563370) (m6989586621679563369 r6989586621679563371) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftMSym1 a6989586621679563747 m :: TyFun (m a1) (m r) -> Type) (a6989586621679563748 :: m a1) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftMSym1 a6989586621679563747 m :: TyFun (m a1) (m r) -> Type) (a6989586621679563748 :: m a1) = LiftM a6989586621679563747 a6989586621679563748

type LiftMSym2 (a6989586621679563747 :: (~>) a16989586621679563370 r6989586621679563371) (a6989586621679563748 :: m6989586621679563369 a16989586621679563370) = LiftM a6989586621679563747 a6989586621679563748 #

data LiftM2Sym0 :: forall a16989586621679563366 a26989586621679563367 m6989586621679563365 r6989586621679563368. (~>) ((~>) a16989586621679563366 ((~>) a26989586621679563367 r6989586621679563368)) ((~>) (m6989586621679563365 a16989586621679563366) ((~>) (m6989586621679563365 a26989586621679563367) (m6989586621679563365 r6989586621679563368))) #

Instances

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

data LiftM2Sym1 (a6989586621679563721 :: (~>) a16989586621679563366 ((~>) a26989586621679563367 r6989586621679563368)) :: forall m6989586621679563365. (~>) (m6989586621679563365 a16989586621679563366) ((~>) (m6989586621679563365 a26989586621679563367) (m6989586621679563365 r6989586621679563368)) #

Instances

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

data LiftM2Sym2 (a6989586621679563721 :: (~>) a16989586621679563366 ((~>) a26989586621679563367 r6989586621679563368)) (a6989586621679563722 :: m6989586621679563365 a16989586621679563366) :: (~>) (m6989586621679563365 a26989586621679563367) (m6989586621679563365 r6989586621679563368) #

Instances

(SMonad m, SingI d1, SingI d2) => SingI (LiftM2Sym2 d1 d2 :: TyFun (m a2) (m r) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM2Sym2 d1 d2) #
SuppressUnusedWarnings (LiftM2Sym2 a6989586621679563722 a6989586621679563721 :: TyFun (m6989586621679563365 a26989586621679563367) (m6989586621679563365 r6989586621679563368) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM2Sym2 a6989586621679563722 a6989586621679563721 :: TyFun (m a2) (m r) -> Type) (a6989586621679563723 :: m a2) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM2Sym2 a6989586621679563722 a6989586621679563721 :: TyFun (m a2) (m r) -> Type) (a6989586621679563723 :: m a2) = LiftM2 a6989586621679563722 a6989586621679563721 a6989586621679563723

type LiftM2Sym3 (a6989586621679563721 :: (~>) a16989586621679563366 ((~>) a26989586621679563367 r6989586621679563368)) (a6989586621679563722 :: m6989586621679563365 a16989586621679563366) (a6989586621679563723 :: m6989586621679563365 a26989586621679563367) = LiftM2 a6989586621679563721 a6989586621679563722 a6989586621679563723 #

data LiftM3Sym0 :: forall a16989586621679563361 a26989586621679563362 a36989586621679563363 m6989586621679563360 r6989586621679563364. (~>) ((~>) a16989586621679563361 ((~>) a26989586621679563362 ((~>) a36989586621679563363 r6989586621679563364))) ((~>) (m6989586621679563360 a16989586621679563361) ((~>) (m6989586621679563360 a26989586621679563362) ((~>) (m6989586621679563360 a36989586621679563363) (m6989586621679563360 r6989586621679563364)))) #

Instances

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

data LiftM3Sym1 (a6989586621679563679 :: (~>) a16989586621679563361 ((~>) a26989586621679563362 ((~>) a36989586621679563363 r6989586621679563364))) :: forall m6989586621679563360. (~>) (m6989586621679563360 a16989586621679563361) ((~>) (m6989586621679563360 a26989586621679563362) ((~>) (m6989586621679563360 a36989586621679563363) (m6989586621679563360 r6989586621679563364))) #

Instances

(SMonad m, SingI d) => SingI (LiftM3Sym1 d m :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM3Sym1 d m) #
SuppressUnusedWarnings (LiftM3Sym1 a6989586621679563679 m6989586621679563360 :: TyFun (m6989586621679563360 a16989586621679563361) (m6989586621679563360 a26989586621679563362 ~> (m6989586621679563360 a36989586621679563363 ~> m6989586621679563360 r6989586621679563364)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM3Sym1 a6989586621679563679 m6989586621679563360 :: TyFun (m6989586621679563360 a16989586621679563361) (m6989586621679563360 a26989586621679563362 ~> (m6989586621679563360 a36989586621679563363 ~> m6989586621679563360 r6989586621679563364)) -> Type) (a6989586621679563680 :: m6989586621679563360 a16989586621679563361) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym1 a6989586621679563679 m6989586621679563360 :: TyFun (m6989586621679563360 a16989586621679563361) (m6989586621679563360 a26989586621679563362 ~> (m6989586621679563360 a36989586621679563363 ~> m6989586621679563360 r6989586621679563364)) -> Type) (a6989586621679563680 :: m6989586621679563360 a16989586621679563361) = LiftM3Sym2 a6989586621679563679 a6989586621679563680

data LiftM3Sym2 (a6989586621679563679 :: (~>) a16989586621679563361 ((~>) a26989586621679563362 ((~>) a36989586621679563363 r6989586621679563364))) (a6989586621679563680 :: m6989586621679563360 a16989586621679563361) :: (~>) (m6989586621679563360 a26989586621679563362) ((~>) (m6989586621679563360 a36989586621679563363) (m6989586621679563360 r6989586621679563364)) #

Instances

(SMonad m, SingI d1, SingI d2) => SingI (LiftM3Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> m r) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM3Sym2 d1 d2) #
SuppressUnusedWarnings (LiftM3Sym2 a6989586621679563680 a6989586621679563679 :: TyFun (m6989586621679563360 a26989586621679563362) (m6989586621679563360 a36989586621679563363 ~> m6989586621679563360 r6989586621679563364) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM3Sym2 a6989586621679563680 a6989586621679563679 :: TyFun (m6989586621679563360 a26989586621679563362) (m6989586621679563360 a36989586621679563363 ~> m6989586621679563360 r6989586621679563364) -> Type) (a6989586621679563681 :: m6989586621679563360 a26989586621679563362) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym2 a6989586621679563680 a6989586621679563679 :: TyFun (m6989586621679563360 a26989586621679563362) (m6989586621679563360 a36989586621679563363 ~> m6989586621679563360 r6989586621679563364) -> Type) (a6989586621679563681 :: m6989586621679563360 a26989586621679563362) = LiftM3Sym3 a6989586621679563680 a6989586621679563679 a6989586621679563681

data LiftM3Sym3 (a6989586621679563679 :: (~>) a16989586621679563361 ((~>) a26989586621679563362 ((~>) a36989586621679563363 r6989586621679563364))) (a6989586621679563680 :: m6989586621679563360 a16989586621679563361) (a6989586621679563681 :: m6989586621679563360 a26989586621679563362) :: (~>) (m6989586621679563360 a36989586621679563363) (m6989586621679563360 r6989586621679563364) #

Instances

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM3Sym3 d1 d2 d3 :: TyFun (m a3) (m r) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM3Sym3 d1 d2 d3) #
SuppressUnusedWarnings (LiftM3Sym3 a6989586621679563681 a6989586621679563680 a6989586621679563679 :: TyFun (m6989586621679563360 a36989586621679563363) (m6989586621679563360 r6989586621679563364) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM3Sym3 a6989586621679563681 a6989586621679563680 a6989586621679563679 :: TyFun (m a3) (m r) -> Type) (a6989586621679563682 :: m a3) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym3 a6989586621679563681 a6989586621679563680 a6989586621679563679 :: TyFun (m a3) (m r) -> Type) (a6989586621679563682 :: m a3) = LiftM3 a6989586621679563681 a6989586621679563680 a6989586621679563679 a6989586621679563682

type LiftM3Sym4 (a6989586621679563679 :: (~>) a16989586621679563361 ((~>) a26989586621679563362 ((~>) a36989586621679563363 r6989586621679563364))) (a6989586621679563680 :: m6989586621679563360 a16989586621679563361) (a6989586621679563681 :: m6989586621679563360 a26989586621679563362) (a6989586621679563682 :: m6989586621679563360 a36989586621679563363) = LiftM3 a6989586621679563679 a6989586621679563680 a6989586621679563681 a6989586621679563682 #

data LiftM4Sym0 :: forall a16989586621679563355 a26989586621679563356 a36989586621679563357 a46989586621679563358 m6989586621679563354 r6989586621679563359. (~>) ((~>) a16989586621679563355 ((~>) a26989586621679563356 ((~>) a36989586621679563357 ((~>) a46989586621679563358 r6989586621679563359)))) ((~>) (m6989586621679563354 a16989586621679563355) ((~>) (m6989586621679563354 a26989586621679563356) ((~>) (m6989586621679563354 a36989586621679563357) ((~>) (m6989586621679563354 a46989586621679563358) (m6989586621679563354 r6989586621679563359))))) #

Instances

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

data LiftM4Sym1 (a6989586621679563618 :: (~>) a16989586621679563355 ((~>) a26989586621679563356 ((~>) a36989586621679563357 ((~>) a46989586621679563358 r6989586621679563359)))) :: forall m6989586621679563354. (~>) (m6989586621679563354 a16989586621679563355) ((~>) (m6989586621679563354 a26989586621679563356) ((~>) (m6989586621679563354 a36989586621679563357) ((~>) (m6989586621679563354 a46989586621679563358) (m6989586621679563354 r6989586621679563359)))) #

Instances

(SMonad m, SingI d) => SingI (LiftM4Sym1 d m :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym1 d m) #
SuppressUnusedWarnings (LiftM4Sym1 a6989586621679563618 m6989586621679563354 :: TyFun (m6989586621679563354 a16989586621679563355) (m6989586621679563354 a26989586621679563356 ~> (m6989586621679563354 a36989586621679563357 ~> (m6989586621679563354 a46989586621679563358 ~> m6989586621679563354 r6989586621679563359))) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM4Sym1 a6989586621679563618 m6989586621679563354 :: TyFun (m6989586621679563354 a16989586621679563355) (m6989586621679563354 a26989586621679563356 ~> (m6989586621679563354 a36989586621679563357 ~> (m6989586621679563354 a46989586621679563358 ~> m6989586621679563354 r6989586621679563359))) -> Type) (a6989586621679563619 :: m6989586621679563354 a16989586621679563355) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym1 a6989586621679563618 m6989586621679563354 :: TyFun (m6989586621679563354 a16989586621679563355) (m6989586621679563354 a26989586621679563356 ~> (m6989586621679563354 a36989586621679563357 ~> (m6989586621679563354 a46989586621679563358 ~> m6989586621679563354 r6989586621679563359))) -> Type) (a6989586621679563619 :: m6989586621679563354 a16989586621679563355) = LiftM4Sym2 a6989586621679563618 a6989586621679563619

data LiftM4Sym2 (a6989586621679563618 :: (~>) a16989586621679563355 ((~>) a26989586621679563356 ((~>) a36989586621679563357 ((~>) a46989586621679563358 r6989586621679563359)))) (a6989586621679563619 :: m6989586621679563354 a16989586621679563355) :: (~>) (m6989586621679563354 a26989586621679563356) ((~>) (m6989586621679563354 a36989586621679563357) ((~>) (m6989586621679563354 a46989586621679563358) (m6989586621679563354 r6989586621679563359))) #

Instances

(SMonad m, SingI d1, SingI d2) => SingI (LiftM4Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym2 d1 d2) #
SuppressUnusedWarnings (LiftM4Sym2 a6989586621679563619 a6989586621679563618 :: TyFun (m6989586621679563354 a26989586621679563356) (m6989586621679563354 a36989586621679563357 ~> (m6989586621679563354 a46989586621679563358 ~> m6989586621679563354 r6989586621679563359)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM4Sym2 a6989586621679563619 a6989586621679563618 :: TyFun (m6989586621679563354 a26989586621679563356) (m6989586621679563354 a36989586621679563357 ~> (m6989586621679563354 a46989586621679563358 ~> m6989586621679563354 r6989586621679563359)) -> Type) (a6989586621679563620 :: m6989586621679563354 a26989586621679563356) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym2 a6989586621679563619 a6989586621679563618 :: TyFun (m6989586621679563354 a26989586621679563356) (m6989586621679563354 a36989586621679563357 ~> (m6989586621679563354 a46989586621679563358 ~> m6989586621679563354 r6989586621679563359)) -> Type) (a6989586621679563620 :: m6989586621679563354 a26989586621679563356) = LiftM4Sym3 a6989586621679563619 a6989586621679563618 a6989586621679563620

data LiftM4Sym3 (a6989586621679563618 :: (~>) a16989586621679563355 ((~>) a26989586621679563356 ((~>) a36989586621679563357 ((~>) a46989586621679563358 r6989586621679563359)))) (a6989586621679563619 :: m6989586621679563354 a16989586621679563355) (a6989586621679563620 :: m6989586621679563354 a26989586621679563356) :: (~>) (m6989586621679563354 a36989586621679563357) ((~>) (m6989586621679563354 a46989586621679563358) (m6989586621679563354 r6989586621679563359)) #

Instances

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM4Sym3 d1 d2 d3 :: TyFun (m a3) (m a4 ~> m r) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym3 d1 d2 d3) #
SuppressUnusedWarnings (LiftM4Sym3 a6989586621679563620 a6989586621679563619 a6989586621679563618 :: TyFun (m6989586621679563354 a36989586621679563357) (m6989586621679563354 a46989586621679563358 ~> m6989586621679563354 r6989586621679563359) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM4Sym3 a6989586621679563620 a6989586621679563619 a6989586621679563618 :: TyFun (m6989586621679563354 a36989586621679563357) (m6989586621679563354 a46989586621679563358 ~> m6989586621679563354 r6989586621679563359) -> Type) (a6989586621679563621 :: m6989586621679563354 a36989586621679563357) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym3 a6989586621679563620 a6989586621679563619 a6989586621679563618 :: TyFun (m6989586621679563354 a36989586621679563357) (m6989586621679563354 a46989586621679563358 ~> m6989586621679563354 r6989586621679563359) -> Type) (a6989586621679563621 :: m6989586621679563354 a36989586621679563357) = LiftM4Sym4 a6989586621679563620 a6989586621679563619 a6989586621679563618 a6989586621679563621

data LiftM4Sym4 (a6989586621679563618 :: (~>) a16989586621679563355 ((~>) a26989586621679563356 ((~>) a36989586621679563357 ((~>) a46989586621679563358 r6989586621679563359)))) (a6989586621679563619 :: m6989586621679563354 a16989586621679563355) (a6989586621679563620 :: m6989586621679563354 a26989586621679563356) (a6989586621679563621 :: m6989586621679563354 a36989586621679563357) :: (~>) (m6989586621679563354 a46989586621679563358) (m6989586621679563354 r6989586621679563359) #

Instances

(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4) => SingI (LiftM4Sym4 d1 d2 d3 d4 :: TyFun (m a4) (m r) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym4 d1 d2 d3 d4) #
SuppressUnusedWarnings (LiftM4Sym4 a6989586621679563621 a6989586621679563620 a6989586621679563619 a6989586621679563618 :: TyFun (m6989586621679563354 a46989586621679563358) (m6989586621679563354 r6989586621679563359) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM4Sym4 a6989586621679563621 a6989586621679563620 a6989586621679563619 a6989586621679563618 :: TyFun (m a4) (m r) -> Type) (a6989586621679563622 :: m a4) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym4 a6989586621679563621 a6989586621679563620 a6989586621679563619 a6989586621679563618 :: TyFun (m a4) (m r) -> Type) (a6989586621679563622 :: m a4) = LiftM4 a6989586621679563621 a6989586621679563620 a6989586621679563619 a6989586621679563618 a6989586621679563622

type LiftM4Sym5 (a6989586621679563618 :: (~>) a16989586621679563355 ((~>) a26989586621679563356 ((~>) a36989586621679563357 ((~>) a46989586621679563358 r6989586621679563359)))) (a6989586621679563619 :: m6989586621679563354 a16989586621679563355) (a6989586621679563620 :: m6989586621679563354 a26989586621679563356) (a6989586621679563621 :: m6989586621679563354 a36989586621679563357) (a6989586621679563622 :: m6989586621679563354 a46989586621679563358) = LiftM4 a6989586621679563618 a6989586621679563619 a6989586621679563620 a6989586621679563621 a6989586621679563622 #

data LiftM5Sym0 :: forall a16989586621679563348 a26989586621679563349 a36989586621679563350 a46989586621679563351 a56989586621679563352 m6989586621679563347 r6989586621679563353. (~>) ((~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) ((~>) (m6989586621679563347 a16989586621679563348) ((~>) (m6989586621679563347 a26989586621679563349) ((~>) (m6989586621679563347 a36989586621679563350) ((~>) (m6989586621679563347 a46989586621679563351) ((~>) (m6989586621679563347 a56989586621679563352) (m6989586621679563347 r6989586621679563353)))))) #

Instances

SMonad m => SingI (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing LiftM5Sym0 #
SuppressUnusedWarnings (LiftM5Sym0 :: TyFun (a16989586621679563348 ~> (a26989586621679563349 ~> (a36989586621679563350 ~> (a46989586621679563351 ~> (a56989586621679563352 ~> r6989586621679563353))))) (m6989586621679563347 a16989586621679563348 ~> (m6989586621679563347 a26989586621679563349 ~> (m6989586621679563347 a36989586621679563350 ~> (m6989586621679563347 a46989586621679563351 ~> (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353))))) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM5Sym0 :: TyFun (a16989586621679563348 ~> (a26989586621679563349 ~> (a36989586621679563350 ~> (a46989586621679563351 ~> (a56989586621679563352 ~> r6989586621679563353))))) (m6989586621679563347 a16989586621679563348 ~> (m6989586621679563347 a26989586621679563349 ~> (m6989586621679563347 a36989586621679563350 ~> (m6989586621679563347 a46989586621679563351 ~> (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353))))) -> Type) (a6989586621679563535 :: a16989586621679563348 ~> (a26989586621679563349 ~> (a36989586621679563350 ~> (a46989586621679563351 ~> (a56989586621679563352 ~> r6989586621679563353))))) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym0 :: TyFun (a16989586621679563348 ~> (a26989586621679563349 ~> (a36989586621679563350 ~> (a46989586621679563351 ~> (a56989586621679563352 ~> r6989586621679563353))))) (m6989586621679563347 a16989586621679563348 ~> (m6989586621679563347 a26989586621679563349 ~> (m6989586621679563347 a36989586621679563350 ~> (m6989586621679563347 a46989586621679563351 ~> (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353))))) -> Type) (a6989586621679563535 :: a16989586621679563348 ~> (a26989586621679563349 ~> (a36989586621679563350 ~> (a46989586621679563351 ~> (a56989586621679563352 ~> r6989586621679563353))))) = (LiftM5Sym1 a6989586621679563535 m6989586621679563347 :: TyFun (m6989586621679563347 a16989586621679563348) (m6989586621679563347 a26989586621679563349 ~> (m6989586621679563347 a36989586621679563350 ~> (m6989586621679563347 a46989586621679563351 ~> (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353)))) -> Type)

data LiftM5Sym1 (a6989586621679563535 :: (~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) :: forall m6989586621679563347. (~>) (m6989586621679563347 a16989586621679563348) ((~>) (m6989586621679563347 a26989586621679563349) ((~>) (m6989586621679563347 a36989586621679563350) ((~>) (m6989586621679563347 a46989586621679563351) ((~>) (m6989586621679563347 a56989586621679563352) (m6989586621679563347 r6989586621679563353))))) #

Instances

(SMonad m, SingI d) => SingI (LiftM5Sym1 d m :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym1 d m) #
SuppressUnusedWarnings (LiftM5Sym1 a6989586621679563535 m6989586621679563347 :: TyFun (m6989586621679563347 a16989586621679563348) (m6989586621679563347 a26989586621679563349 ~> (m6989586621679563347 a36989586621679563350 ~> (m6989586621679563347 a46989586621679563351 ~> (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353)))) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM5Sym1 a6989586621679563535 m6989586621679563347 :: TyFun (m6989586621679563347 a16989586621679563348) (m6989586621679563347 a26989586621679563349 ~> (m6989586621679563347 a36989586621679563350 ~> (m6989586621679563347 a46989586621679563351 ~> (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353)))) -> Type) (a6989586621679563536 :: m6989586621679563347 a16989586621679563348) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym1 a6989586621679563535 m6989586621679563347 :: TyFun (m6989586621679563347 a16989586621679563348) (m6989586621679563347 a26989586621679563349 ~> (m6989586621679563347 a36989586621679563350 ~> (m6989586621679563347 a46989586621679563351 ~> (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353)))) -> Type) (a6989586621679563536 :: m6989586621679563347 a16989586621679563348) = LiftM5Sym2 a6989586621679563535 a6989586621679563536

data LiftM5Sym2 (a6989586621679563535 :: (~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) (a6989586621679563536 :: m6989586621679563347 a16989586621679563348) :: (~>) (m6989586621679563347 a26989586621679563349) ((~>) (m6989586621679563347 a36989586621679563350) ((~>) (m6989586621679563347 a46989586621679563351) ((~>) (m6989586621679563347 a56989586621679563352) (m6989586621679563347 r6989586621679563353)))) #

Instances

(SMonad m, SingI d1, SingI d2) => SingI (LiftM5Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym2 d1 d2) #
SuppressUnusedWarnings (LiftM5Sym2 a6989586621679563536 a6989586621679563535 :: TyFun (m6989586621679563347 a26989586621679563349) (m6989586621679563347 a36989586621679563350 ~> (m6989586621679563347 a46989586621679563351 ~> (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353))) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM5Sym2 a6989586621679563536 a6989586621679563535 :: TyFun (m6989586621679563347 a26989586621679563349) (m6989586621679563347 a36989586621679563350 ~> (m6989586621679563347 a46989586621679563351 ~> (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353))) -> Type) (a6989586621679563537 :: m6989586621679563347 a26989586621679563349) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym2 a6989586621679563536 a6989586621679563535 :: TyFun (m6989586621679563347 a26989586621679563349) (m6989586621679563347 a36989586621679563350 ~> (m6989586621679563347 a46989586621679563351 ~> (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353))) -> Type) (a6989586621679563537 :: m6989586621679563347 a26989586621679563349) = LiftM5Sym3 a6989586621679563536 a6989586621679563535 a6989586621679563537

data LiftM5Sym3 (a6989586621679563535 :: (~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) (a6989586621679563536 :: m6989586621679563347 a16989586621679563348) (a6989586621679563537 :: m6989586621679563347 a26989586621679563349) :: (~>) (m6989586621679563347 a36989586621679563350) ((~>) (m6989586621679563347 a46989586621679563351) ((~>) (m6989586621679563347 a56989586621679563352) (m6989586621679563347 r6989586621679563353))) #

Instances

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM5Sym3 d1 d2 d3 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym3 d1 d2 d3) #
SuppressUnusedWarnings (LiftM5Sym3 a6989586621679563537 a6989586621679563536 a6989586621679563535 :: TyFun (m6989586621679563347 a36989586621679563350) (m6989586621679563347 a46989586621679563351 ~> (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM5Sym3 a6989586621679563537 a6989586621679563536 a6989586621679563535 :: TyFun (m6989586621679563347 a36989586621679563350) (m6989586621679563347 a46989586621679563351 ~> (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353)) -> Type) (a6989586621679563538 :: m6989586621679563347 a36989586621679563350) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym3 a6989586621679563537 a6989586621679563536 a6989586621679563535 :: TyFun (m6989586621679563347 a36989586621679563350) (m6989586621679563347 a46989586621679563351 ~> (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353)) -> Type) (a6989586621679563538 :: m6989586621679563347 a36989586621679563350) = LiftM5Sym4 a6989586621679563537 a6989586621679563536 a6989586621679563535 a6989586621679563538

data LiftM5Sym4 (a6989586621679563535 :: (~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) (a6989586621679563536 :: m6989586621679563347 a16989586621679563348) (a6989586621679563537 :: m6989586621679563347 a26989586621679563349) (a6989586621679563538 :: m6989586621679563347 a36989586621679563350) :: (~>) (m6989586621679563347 a46989586621679563351) ((~>) (m6989586621679563347 a56989586621679563352) (m6989586621679563347 r6989586621679563353)) #

Instances

(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4) => SingI (LiftM5Sym4 d1 d2 d3 d4 :: TyFun (m a4) (m a5 ~> m r) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym4 d1 d2 d3 d4) #
SuppressUnusedWarnings (LiftM5Sym4 a6989586621679563538 a6989586621679563537 a6989586621679563536 a6989586621679563535 :: TyFun (m6989586621679563347 a46989586621679563351) (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM5Sym4 a6989586621679563538 a6989586621679563537 a6989586621679563536 a6989586621679563535 :: TyFun (m6989586621679563347 a46989586621679563351) (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353) -> Type) (a6989586621679563539 :: m6989586621679563347 a46989586621679563351) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym4 a6989586621679563538 a6989586621679563537 a6989586621679563536 a6989586621679563535 :: TyFun (m6989586621679563347 a46989586621679563351) (m6989586621679563347 a56989586621679563352 ~> m6989586621679563347 r6989586621679563353) -> Type) (a6989586621679563539 :: m6989586621679563347 a46989586621679563351) = LiftM5Sym5 a6989586621679563538 a6989586621679563537 a6989586621679563536 a6989586621679563535 a6989586621679563539

data LiftM5Sym5 (a6989586621679563535 :: (~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) (a6989586621679563536 :: m6989586621679563347 a16989586621679563348) (a6989586621679563537 :: m6989586621679563347 a26989586621679563349) (a6989586621679563538 :: m6989586621679563347 a36989586621679563350) (a6989586621679563539 :: m6989586621679563347 a46989586621679563351) :: (~>) (m6989586621679563347 a56989586621679563352) (m6989586621679563347 r6989586621679563353) #

Instances

(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) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym5 d1 d2 d3 d4 d5) #
SuppressUnusedWarnings (LiftM5Sym5 a6989586621679563539 a6989586621679563538 a6989586621679563537 a6989586621679563536 a6989586621679563535 :: TyFun (m6989586621679563347 a56989586621679563352) (m6989586621679563347 r6989586621679563353) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM5Sym5 a6989586621679563539 a6989586621679563538 a6989586621679563537 a6989586621679563536 a6989586621679563535 :: TyFun (m a5) (m r) -> Type) (a6989586621679563540 :: m a5) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym5 a6989586621679563539 a6989586621679563538 a6989586621679563537 a6989586621679563536 a6989586621679563535 :: TyFun (m a5) (m r) -> Type) (a6989586621679563540 :: m a5) = LiftM5 a6989586621679563539 a6989586621679563538 a6989586621679563537 a6989586621679563536 a6989586621679563535 a6989586621679563540

type LiftM5Sym6 (a6989586621679563535 :: (~>) a16989586621679563348 ((~>) a26989586621679563349 ((~>) a36989586621679563350 ((~>) a46989586621679563351 ((~>) a56989586621679563352 r6989586621679563353))))) (a6989586621679563536 :: m6989586621679563347 a16989586621679563348) (a6989586621679563537 :: m6989586621679563347 a26989586621679563349) (a6989586621679563538 :: m6989586621679563347 a36989586621679563350) (a6989586621679563539 :: m6989586621679563347 a46989586621679563351) (a6989586621679563540 :: m6989586621679563347 a56989586621679563352) = LiftM5 a6989586621679563535 a6989586621679563536 a6989586621679563537 a6989586621679563538 a6989586621679563539 a6989586621679563540 #

data ApSym0 :: forall a6989586621679563345 b6989586621679563346 m6989586621679563344. (~>) (m6989586621679563344 ((~>) a6989586621679563345 b6989586621679563346)) ((~>) (m6989586621679563344 a6989586621679563345) (m6989586621679563344 b6989586621679563346)) #

Instances

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

data ApSym1 (a6989586621679563514 :: m6989586621679563344 ((~>) a6989586621679563345 b6989586621679563346)) :: (~>) (m6989586621679563344 a6989586621679563345) (m6989586621679563344 b6989586621679563346) #

Instances

(SMonad m, SingI d) => SingI (ApSym1 d :: TyFun (m a) (m b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (ApSym1 d) #
SuppressUnusedWarnings (ApSym1 a6989586621679563514 :: TyFun (m6989586621679563344 a6989586621679563345) (m6989586621679563344 b6989586621679563346) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () #
type Apply (ApSym1 a6989586621679563514 :: TyFun (m a) (m b) -> Type) (a6989586621679563515 :: m a) #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (ApSym1 a6989586621679563514 :: TyFun (m a) (m b) -> Type) (a6989586621679563515 :: m a) = Ap a6989586621679563514 a6989586621679563515

type ApSym2 (a6989586621679563514 :: m6989586621679563344 ((~>) a6989586621679563345 b6989586621679563346)) (a6989586621679563515 :: m6989586621679563344 a6989586621679563345) = Ap a6989586621679563514 a6989586621679563515 #

data (<$!>@#@$) :: forall a6989586621681259424 b6989586621681259425 m6989586621681259423. (~>) ((~>) a6989586621681259424 b6989586621681259425) ((~>) (m6989586621681259423 a6989586621681259424) (m6989586621681259423 b6989586621681259425)) infixl 4 #

Instances

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

data (<$!>@#@$$) (a6989586621681259777 :: (~>) a6989586621681259424 b6989586621681259425) :: forall m6989586621681259423. (~>) (m6989586621681259423 a6989586621681259424) (m6989586621681259423 b6989586621681259425) infixl 4 #

Instances

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

type (<$!>@#@$$$) (a6989586621681259777 :: (~>) a6989586621681259424 b6989586621681259425) (a6989586621681259778 :: m6989586621681259423 a6989586621681259424) = (<$!>) a6989586621681259777 a6989586621681259778 #

Orphan instances

SMonad Down #
Instance details Methods (%>>=) :: Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) # (%>>) :: Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) # sReturn :: Sing t -> Sing (Apply ReturnSym0 t) # sFail :: Sing t -> Sing (Apply FailSym0 t) #
PMonad Down #
Instance details Associated Types type arg >>= arg :: m b # type arg >> arg :: m b # type Return arg :: m a # type Fail arg :: m a #
SMonoid a => SMonad ((,) a) #
Instance details Methods (%>>=) :: Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) # (%>>) :: Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) # sReturn :: Sing t -> Sing (Apply ReturnSym0 t) # sFail :: Sing t -> Sing (Apply FailSym0 t) #
PMonad ((,) a) #
Instance details Associated Types type arg >>= arg :: m b # type arg >> arg :: m b # type Return arg :: m a # type Fail arg :: m a #