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 a6989586621679545127 b6989586621679545128 f6989586621679545126. (~>) ((~>) a6989586621679545127 b6989586621679545128) ((~>) (f6989586621679545126 a6989586621679545127) (f6989586621679545126 b6989586621679545128))
data FmapSym1 (arg6989586621679545520 :: (~>) a6989586621679545127 b6989586621679545128) :: forall f6989586621679545126. (~>) (f6989586621679545126 a6989586621679545127) (f6989586621679545126 b6989586621679545128)
type FmapSym2 (arg6989586621679545520 :: (~>) a6989586621679545127 b6989586621679545128) (arg6989586621679545521 :: f6989586621679545126 a6989586621679545127) = Fmap arg6989586621679545520 arg6989586621679545521
data (>>=@#@$) :: forall a6989586621679545156 b6989586621679545157 m6989586621679545155. (~>) (m6989586621679545155 a6989586621679545156) ((~>) ((~>) a6989586621679545156 (m6989586621679545155 b6989586621679545157)) (m6989586621679545155 b6989586621679545157))
data (>>=@#@$$) (arg6989586621679545627 :: m6989586621679545155 a6989586621679545156) :: forall b6989586621679545157. (~>) ((~>) a6989586621679545156 (m6989586621679545155 b6989586621679545157)) (m6989586621679545155 b6989586621679545157)
type (>>=@#@$$$) (arg6989586621679545627 :: m6989586621679545155 a6989586621679545156) (arg6989586621679545628 :: (~>) a6989586621679545156 (m6989586621679545155 b6989586621679545157)) = (>>=) arg6989586621679545627 arg6989586621679545628
data (>>@#@$) :: forall a6989586621679545158 b6989586621679545159 m6989586621679545155. (~>) (m6989586621679545155 a6989586621679545158) ((~>) (m6989586621679545155 b6989586621679545159) (m6989586621679545155 b6989586621679545159))
data (>>@#@$$) (arg6989586621679545631 :: m6989586621679545155 a6989586621679545158) :: forall b6989586621679545159. (~>) (m6989586621679545155 b6989586621679545159) (m6989586621679545155 b6989586621679545159)
type (>>@#@$$$) (arg6989586621679545631 :: m6989586621679545155 a6989586621679545158) (arg6989586621679545632 :: m6989586621679545155 b6989586621679545159) = (>>) arg6989586621679545631 arg6989586621679545632
data ReturnSym0 :: forall a6989586621679545160 m6989586621679545155. (~>) a6989586621679545160 (m6989586621679545155 a6989586621679545160)
type ReturnSym1 (arg6989586621679545635 :: a6989586621679545160) = Return arg6989586621679545635
data FailSym0 :: forall a6989586621679545161 m6989586621679545155. (~>) Symbol (m6989586621679545155 a6989586621679545161)
type FailSym1 (arg6989586621679545637 :: Symbol) = Fail arg6989586621679545637
type MzeroSym0 = Mzero
data MplusSym0 :: forall a6989586621679545213 m6989586621679545211. (~>) (m6989586621679545211 a6989586621679545213) ((~>) (m6989586621679545211 a6989586621679545213) (m6989586621679545211 a6989586621679545213))
data MplusSym1 (arg6989586621679545681 :: m6989586621679545211 a6989586621679545213) :: (~>) (m6989586621679545211 a6989586621679545213) (m6989586621679545211 a6989586621679545213)
type MplusSym2 (arg6989586621679545681 :: m6989586621679545211 a6989586621679545213) (arg6989586621679545682 :: m6989586621679545211 a6989586621679545213) = Mplus arg6989586621679545681 arg6989586621679545682
data MapMSym0 :: forall a6989586621680751001 b6989586621680751002 m6989586621680751000 t6989586621680750994. (~>) ((~>) a6989586621680751001 (m6989586621680751000 b6989586621680751002)) ((~>) (t6989586621680750994 a6989586621680751001) (m6989586621680751000 (t6989586621680750994 b6989586621680751002)))
data MapMSym1 (arg6989586621680751012 :: (~>) a6989586621680751001 (m6989586621680751000 b6989586621680751002)) :: forall t6989586621680750994. (~>) (t6989586621680750994 a6989586621680751001) (m6989586621680751000 (t6989586621680750994 b6989586621680751002))
type MapMSym2 (arg6989586621680751012 :: (~>) a6989586621680751001 (m6989586621680751000 b6989586621680751002)) (arg6989586621680751013 :: t6989586621680750994 a6989586621680751001) = MapM arg6989586621680751012 arg6989586621680751013
data MapM_Sym0 :: forall a6989586621680452668 b6989586621680452669 m6989586621680452667 t6989586621680452666. (~>) ((~>) a6989586621680452668 (m6989586621680452667 b6989586621680452669)) ((~>) (t6989586621680452666 a6989586621680452668) (m6989586621680452667 ()))
data MapM_Sym1 (a6989586621680453266 :: (~>) a6989586621680452668 (m6989586621680452667 b6989586621680452669)) :: forall t6989586621680452666. (~>) (t6989586621680452666 a6989586621680452668) (m6989586621680452667 ())
type MapM_Sym2 (a6989586621680453266 :: (~>) a6989586621680452668 (m6989586621680452667 b6989586621680452669)) (a6989586621680453267 :: t6989586621680452666 a6989586621680452668) = MapM_ a6989586621680453266 a6989586621680453267
data ForMSym0 :: forall a6989586621680756577 b6989586621680756578 m6989586621680756576 t6989586621680756575. (~>) (t6989586621680756575 a6989586621680756577) ((~>) ((~>) a6989586621680756577 (m6989586621680756576 b6989586621680756578)) (m6989586621680756576 (t6989586621680756575 b6989586621680756578)))
data ForMSym1 (a6989586621680757132 :: t6989586621680756575 a6989586621680756577) :: forall b6989586621680756578 m6989586621680756576. (~>) ((~>) a6989586621680756577 (m6989586621680756576 b6989586621680756578)) (m6989586621680756576 (t6989586621680756575 b6989586621680756578))
type ForMSym2 (a6989586621680757132 :: t6989586621680756575 a6989586621680756577) (a6989586621680757133 :: (~>) a6989586621680756577 (m6989586621680756576 b6989586621680756578)) = ForM a6989586621680757132 a6989586621680757133
data SequenceSym0 :: forall a6989586621680751004 m6989586621680751003 t6989586621680750994. (~>) (t6989586621680750994 (m6989586621680751003 a6989586621680751004)) (m6989586621680751003 (t6989586621680750994 a6989586621680751004))
type SequenceSym1 (arg6989586621680751016 :: t6989586621680750994 (m6989586621680751003 a6989586621680751004)) = Sequence arg6989586621680751016
data Sequence_Sym0 :: forall a6989586621680452658 m6989586621680452657 t6989586621680452656. (~>) (t6989586621680452656 (m6989586621680452657 a6989586621680452658)) (m6989586621680452657 ())
type Sequence_Sym1 (a6989586621680453258 :: t6989586621680452656 (m6989586621680452657 a6989586621680452658)) = Sequence_ a6989586621680453258
data (=<<@#@$) :: forall a6989586621679545078 b6989586621679545079 m6989586621679545077. (~>) ((~>) a6989586621679545078 (m6989586621679545077 b6989586621679545079)) ((~>) (m6989586621679545077 a6989586621679545078) (m6989586621679545077 b6989586621679545079))
data (=<<@#@$$) (a6989586621679545473 :: (~>) a6989586621679545078 (m6989586621679545077 b6989586621679545079)) :: (~>) (m6989586621679545077 a6989586621679545078) (m6989586621679545077 b6989586621679545079)
type (=<<@#@$$$) (a6989586621679545473 :: (~>) a6989586621679545078 (m6989586621679545077 b6989586621679545079)) (a6989586621679545474 :: m6989586621679545077 a6989586621679545078) = (=<<) a6989586621679545473 a6989586621679545474
data (>=>@#@$) :: forall a6989586621681211338 b6989586621681211339 c6989586621681211340 m6989586621681211337. (~>) ((~>) a6989586621681211338 (m6989586621681211337 b6989586621681211339)) ((~>) ((~>) b6989586621681211339 (m6989586621681211337 c6989586621681211340)) ((~>) a6989586621681211338 (m6989586621681211337 c6989586621681211340)))
data (>=>@#@$$) (a6989586621681211771 :: (~>) a6989586621681211338 (m6989586621681211337 b6989586621681211339)) :: forall c6989586621681211340. (~>) ((~>) b6989586621681211339 (m6989586621681211337 c6989586621681211340)) ((~>) a6989586621681211338 (m6989586621681211337 c6989586621681211340))
data (a6989586621681211771 :: (~>) a6989586621681211338 (m6989586621681211337 b6989586621681211339)) >=>@#@$$$ (a6989586621681211772 :: (~>) b6989586621681211339 (m6989586621681211337 c6989586621681211340)) :: (~>) a6989586621681211338 (m6989586621681211337 c6989586621681211340)
data (<=<@#@$) :: forall a6989586621681211336 b6989586621681211334 c6989586621681211335 m6989586621681211333. (~>) ((~>) b6989586621681211334 (m6989586621681211333 c6989586621681211335)) ((~>) ((~>) a6989586621681211336 (m6989586621681211333 b6989586621681211334)) ((~>) a6989586621681211336 (m6989586621681211333 c6989586621681211335)))
data (<=<@#@$$) (a6989586621681211796 :: (~>) b6989586621681211334 (m6989586621681211333 c6989586621681211335)) :: forall a6989586621681211336. (~>) ((~>) a6989586621681211336 (m6989586621681211333 b6989586621681211334)) ((~>) a6989586621681211336 (m6989586621681211333 c6989586621681211335))
data (a6989586621681211796 :: (~>) b6989586621681211334 (m6989586621681211333 c6989586621681211335)) <=<@#@$$$ (a6989586621681211797 :: (~>) a6989586621681211336 (m6989586621681211333 b6989586621681211334)) :: (~>) a6989586621681211336 (m6989586621681211333 c6989586621681211335)
data VoidSym0 :: forall a6989586621679714510 f6989586621679714509. (~>) (f6989586621679714509 a6989586621679714510) (f6989586621679714509 ())
type VoidSym1 (a6989586621679714581 :: f6989586621679714509 a6989586621679714510) = Void a6989586621679714581
data JoinSym0 :: forall a6989586621679545081 m6989586621679545080. (~>) (m6989586621679545080 (m6989586621679545080 a6989586621679545081)) (m6989586621679545080 a6989586621679545081)
type JoinSym1 (a6989586621679545479 :: m6989586621679545080 (m6989586621679545080 a6989586621679545081)) = Join a6989586621679545479
data MsumSym0 :: forall a6989586621680452652 m6989586621680452651 t6989586621680452650. (~>) (t6989586621680452650 (m6989586621680452651 a6989586621680452652)) (m6989586621680452651 a6989586621680452652)
type MsumSym1 (a6989586621680453253 :: t6989586621680452650 (m6989586621680452651 a6989586621680452652)) = Msum a6989586621680453253
data MfilterSym0 :: forall a6989586621681211304 m6989586621681211303. (~>) ((~>) a6989586621681211304 Bool) ((~>) (m6989586621681211303 a6989586621681211304) (m6989586621681211303 a6989586621681211304))
data MfilterSym1 (a6989586621681211639 :: (~>) a6989586621681211304 Bool) :: forall m6989586621681211303. (~>) (m6989586621681211303 a6989586621681211304) (m6989586621681211303 a6989586621681211304)
type MfilterSym2 (a6989586621681211639 :: (~>) a6989586621681211304 Bool) (a6989586621681211640 :: m6989586621681211303 a6989586621681211304) = Mfilter a6989586621681211639 a6989586621681211640
data FilterMSym0 :: forall a6989586621681211342 m6989586621681211341. (~>) ((~>) a6989586621681211342 (m6989586621681211341 Bool)) ((~>) [a6989586621681211342] (m6989586621681211341 [a6989586621681211342]))
data FilterMSym1 (a6989586621681211805 :: (~>) a6989586621681211342 (m6989586621681211341 Bool)) :: (~>) [a6989586621681211342] (m6989586621681211341 [a6989586621681211342])
type FilterMSym2 (a6989586621681211805 :: (~>) a6989586621681211342 (m6989586621681211341 Bool)) (a6989586621681211806 :: [a6989586621681211342]) = FilterM a6989586621681211805 a6989586621681211806
data MapAndUnzipMSym0 :: forall a6989586621681211330 b6989586621681211331 c6989586621681211332 m6989586621681211329. (~>) ((~>) a6989586621681211330 (m6989586621681211329 (b6989586621681211331, c6989586621681211332))) ((~>) [a6989586621681211330] (m6989586621681211329 ([b6989586621681211331], [c6989586621681211332])))
data MapAndUnzipMSym1 (a6989586621681211765 :: (~>) a6989586621681211330 (m6989586621681211329 (b6989586621681211331, c6989586621681211332))) :: (~>) [a6989586621681211330] (m6989586621681211329 ([b6989586621681211331], [c6989586621681211332]))
type MapAndUnzipMSym2 (a6989586621681211765 :: (~>) a6989586621681211330 (m6989586621681211329 (b6989586621681211331, c6989586621681211332))) (a6989586621681211766 :: [a6989586621681211330]) = MapAndUnzipM a6989586621681211765 a6989586621681211766
data ZipWithMSym0 :: forall a6989586621681211326 b6989586621681211327 c6989586621681211328 m6989586621681211325. (~>) ((~>) a6989586621681211326 ((~>) b6989586621681211327 (m6989586621681211325 c6989586621681211328))) ((~>) [a6989586621681211326] ((~>) [b6989586621681211327] (m6989586621681211325 [c6989586621681211328])))
data ZipWithMSym1 (a6989586621681211756 :: (~>) a6989586621681211326 ((~>) b6989586621681211327 (m6989586621681211325 c6989586621681211328))) :: (~>) [a6989586621681211326] ((~>) [b6989586621681211327] (m6989586621681211325 [c6989586621681211328]))
data ZipWithMSym2 (a6989586621681211756 :: (~>) a6989586621681211326 ((~>) b6989586621681211327 (m6989586621681211325 c6989586621681211328))) (a6989586621681211757 :: [a6989586621681211326]) :: (~>) [b6989586621681211327] (m6989586621681211325 [c6989586621681211328])
type ZipWithMSym3 (a6989586621681211756 :: (~>) a6989586621681211326 ((~>) b6989586621681211327 (m6989586621681211325 c6989586621681211328))) (a6989586621681211757 :: [a6989586621681211326]) (a6989586621681211758 :: [b6989586621681211327]) = ZipWithM a6989586621681211756 a6989586621681211757 a6989586621681211758
data ZipWithM_Sym0 :: forall a6989586621681211322 b6989586621681211323 c6989586621681211324 m6989586621681211321. (~>) ((~>) a6989586621681211322 ((~>) b6989586621681211323 (m6989586621681211321 c6989586621681211324))) ((~>) [a6989586621681211322] ((~>) [b6989586621681211323] (m6989586621681211321 ())))
data ZipWithM_Sym1 (a6989586621681211747 :: (~>) a6989586621681211322 ((~>) b6989586621681211323 (m6989586621681211321 c6989586621681211324))) :: (~>) [a6989586621681211322] ((~>) [b6989586621681211323] (m6989586621681211321 ()))
data ZipWithM_Sym2 (a6989586621681211747 :: (~>) a6989586621681211322 ((~>) b6989586621681211323 (m6989586621681211321 c6989586621681211324))) (a6989586621681211748 :: [a6989586621681211322]) :: (~>) [b6989586621681211323] (m6989586621681211321 ())
type ZipWithM_Sym3 (a6989586621681211747 :: (~>) a6989586621681211322 ((~>) b6989586621681211323 (m6989586621681211321 c6989586621681211324))) (a6989586621681211748 :: [a6989586621681211322]) (a6989586621681211749 :: [b6989586621681211323]) = ZipWithM_ a6989586621681211747 a6989586621681211748 a6989586621681211749
data FoldlMSym0 :: forall a6989586621680452681 b6989586621680452680 m6989586621680452679 t6989586621680452678. (~>) ((~>) b6989586621680452680 ((~>) a6989586621680452681 (m6989586621680452679 b6989586621680452680))) ((~>) b6989586621680452680 ((~>) (t6989586621680452678 a6989586621680452681) (m6989586621680452679 b6989586621680452680)))
data FoldlMSym1 (a6989586621680453302 :: (~>) b6989586621680452680 ((~>) a6989586621680452681 (m6989586621680452679 b6989586621680452680))) :: forall t6989586621680452678. (~>) b6989586621680452680 ((~>) (t6989586621680452678 a6989586621680452681) (m6989586621680452679 b6989586621680452680))
data FoldlMSym2 (a6989586621680453302 :: (~>) b6989586621680452680 ((~>) a6989586621680452681 (m6989586621680452679 b6989586621680452680))) (a6989586621680453303 :: b6989586621680452680) :: forall t6989586621680452678. (~>) (t6989586621680452678 a6989586621680452681) (m6989586621680452679 b6989586621680452680)
type FoldlMSym3 (a6989586621680453302 :: (~>) b6989586621680452680 ((~>) a6989586621680452681 (m6989586621680452679 b6989586621680452680))) (a6989586621680453303 :: b6989586621680452680) (a6989586621680453304 :: t6989586621680452678 a6989586621680452681) = FoldlM a6989586621680453302 a6989586621680453303 a6989586621680453304
data ReplicateMSym0 :: forall a6989586621681211312 m6989586621681211311. (~>) Nat ((~>) (m6989586621681211311 a6989586621681211312) (m6989586621681211311 [a6989586621681211312]))
data ReplicateMSym1 (a6989586621681211704 :: Nat) :: forall a6989586621681211312 m6989586621681211311. (~>) (m6989586621681211311 a6989586621681211312) (m6989586621681211311 [a6989586621681211312])
type ReplicateMSym2 (a6989586621681211704 :: Nat) (a6989586621681211705 :: m6989586621681211311 a6989586621681211312) = ReplicateM a6989586621681211704 a6989586621681211705
data ReplicateM_Sym0 :: forall a6989586621681211310 m6989586621681211309. (~>) Nat ((~>) (m6989586621681211309 a6989586621681211310) (m6989586621681211309 ()))
data ReplicateM_Sym1 (a6989586621681211685 :: Nat) :: forall a6989586621681211310 m6989586621681211309. (~>) (m6989586621681211309 a6989586621681211310) (m6989586621681211309 ())
type ReplicateM_Sym2 (a6989586621681211685 :: Nat) (a6989586621681211686 :: m6989586621681211309 a6989586621681211310) = ReplicateM_ a6989586621681211685 a6989586621681211686
data GuardSym0 :: forall f6989586621679545047. (~>) Bool (f6989586621679545047 ())
type GuardSym1 (a6989586621679545216 :: Bool) = Guard a6989586621679545216
data WhenSym0 :: forall f6989586621679545076. (~>) Bool ((~>) (f6989586621679545076 ()) (f6989586621679545076 ()))
data WhenSym1 (a6989586621679545464 :: Bool) :: forall f6989586621679545076. (~>) (f6989586621679545076 ()) (f6989586621679545076 ())
type WhenSym2 (a6989586621679545464 :: Bool) (a6989586621679545465 :: f6989586621679545076 ()) = When a6989586621679545464 a6989586621679545465
data UnlessSym0 :: forall f6989586621681211308. (~>) Bool ((~>) (f6989586621681211308 ()) (f6989586621681211308 ()))
data UnlessSym1 (a6989586621681211676 :: Bool) :: forall f6989586621681211308. (~>) (f6989586621681211308 ()) (f6989586621681211308 ())
type UnlessSym2 (a6989586621681211676 :: Bool) (a6989586621681211677 :: f6989586621681211308 ()) = Unless a6989586621681211676 a6989586621681211677
data LiftMSym0 :: forall a16989586621679545074 m6989586621679545073 r6989586621679545075. (~>) ((~>) a16989586621679545074 r6989586621679545075) ((~>) (m6989586621679545073 a16989586621679545074) (m6989586621679545073 r6989586621679545075))
data LiftMSym1 (a6989586621679545451 :: (~>) a16989586621679545074 r6989586621679545075) :: forall m6989586621679545073. (~>) (m6989586621679545073 a16989586621679545074) (m6989586621679545073 r6989586621679545075)
type LiftMSym2 (a6989586621679545451 :: (~>) a16989586621679545074 r6989586621679545075) (a6989586621679545452 :: m6989586621679545073 a16989586621679545074) = LiftM a6989586621679545451 a6989586621679545452
data LiftM2Sym0 :: forall a16989586621679545070 a26989586621679545071 m6989586621679545069 r6989586621679545072. (~>) ((~>) a16989586621679545070 ((~>) a26989586621679545071 r6989586621679545072)) ((~>) (m6989586621679545069 a16989586621679545070) ((~>) (m6989586621679545069 a26989586621679545071) (m6989586621679545069 r6989586621679545072)))
data LiftM2Sym1 (a6989586621679545425 :: (~>) a16989586621679545070 ((~>) a26989586621679545071 r6989586621679545072)) :: forall m6989586621679545069. (~>) (m6989586621679545069 a16989586621679545070) ((~>) (m6989586621679545069 a26989586621679545071) (m6989586621679545069 r6989586621679545072))
data LiftM2Sym2 (a6989586621679545425 :: (~>) a16989586621679545070 ((~>) a26989586621679545071 r6989586621679545072)) (a6989586621679545426 :: m6989586621679545069 a16989586621679545070) :: (~>) (m6989586621679545069 a26989586621679545071) (m6989586621679545069 r6989586621679545072)
type LiftM2Sym3 (a6989586621679545425 :: (~>) a16989586621679545070 ((~>) a26989586621679545071 r6989586621679545072)) (a6989586621679545426 :: m6989586621679545069 a16989586621679545070) (a6989586621679545427 :: m6989586621679545069 a26989586621679545071) = LiftM2 a6989586621679545425 a6989586621679545426 a6989586621679545427
data LiftM3Sym0 :: forall a16989586621679545065 a26989586621679545066 a36989586621679545067 m6989586621679545064 r6989586621679545068. (~>) ((~>) a16989586621679545065 ((~>) a26989586621679545066 ((~>) a36989586621679545067 r6989586621679545068))) ((~>) (m6989586621679545064 a16989586621679545065) ((~>) (m6989586621679545064 a26989586621679545066) ((~>) (m6989586621679545064 a36989586621679545067) (m6989586621679545064 r6989586621679545068))))
data LiftM3Sym1 (a6989586621679545383 :: (~>) a16989586621679545065 ((~>) a26989586621679545066 ((~>) a36989586621679545067 r6989586621679545068))) :: forall m6989586621679545064. (~>) (m6989586621679545064 a16989586621679545065) ((~>) (m6989586621679545064 a26989586621679545066) ((~>) (m6989586621679545064 a36989586621679545067) (m6989586621679545064 r6989586621679545068)))
data LiftM3Sym2 (a6989586621679545383 :: (~>) a16989586621679545065 ((~>) a26989586621679545066 ((~>) a36989586621679545067 r6989586621679545068))) (a6989586621679545384 :: m6989586621679545064 a16989586621679545065) :: (~>) (m6989586621679545064 a26989586621679545066) ((~>) (m6989586621679545064 a36989586621679545067) (m6989586621679545064 r6989586621679545068))
data LiftM3Sym3 (a6989586621679545383 :: (~>) a16989586621679545065 ((~>) a26989586621679545066 ((~>) a36989586621679545067 r6989586621679545068))) (a6989586621679545384 :: m6989586621679545064 a16989586621679545065) (a6989586621679545385 :: m6989586621679545064 a26989586621679545066) :: (~>) (m6989586621679545064 a36989586621679545067) (m6989586621679545064 r6989586621679545068)
type LiftM3Sym4 (a6989586621679545383 :: (~>) a16989586621679545065 ((~>) a26989586621679545066 ((~>) a36989586621679545067 r6989586621679545068))) (a6989586621679545384 :: m6989586621679545064 a16989586621679545065) (a6989586621679545385 :: m6989586621679545064 a26989586621679545066) (a6989586621679545386 :: m6989586621679545064 a36989586621679545067) = LiftM3 a6989586621679545383 a6989586621679545384 a6989586621679545385 a6989586621679545386
data LiftM4Sym0 :: forall a16989586621679545059 a26989586621679545060 a36989586621679545061 a46989586621679545062 m6989586621679545058 r6989586621679545063. (~>) ((~>) a16989586621679545059 ((~>) a26989586621679545060 ((~>) a36989586621679545061 ((~>) a46989586621679545062 r6989586621679545063)))) ((~>) (m6989586621679545058 a16989586621679545059) ((~>) (m6989586621679545058 a26989586621679545060) ((~>) (m6989586621679545058 a36989586621679545061) ((~>) (m6989586621679545058 a46989586621679545062) (m6989586621679545058 r6989586621679545063)))))
data LiftM4Sym1 (a6989586621679545322 :: (~>) a16989586621679545059 ((~>) a26989586621679545060 ((~>) a36989586621679545061 ((~>) a46989586621679545062 r6989586621679545063)))) :: forall m6989586621679545058. (~>) (m6989586621679545058 a16989586621679545059) ((~>) (m6989586621679545058 a26989586621679545060) ((~>) (m6989586621679545058 a36989586621679545061) ((~>) (m6989586621679545058 a46989586621679545062) (m6989586621679545058 r6989586621679545063))))
data LiftM4Sym2 (a6989586621679545322 :: (~>) a16989586621679545059 ((~>) a26989586621679545060 ((~>) a36989586621679545061 ((~>) a46989586621679545062 r6989586621679545063)))) (a6989586621679545323 :: m6989586621679545058 a16989586621679545059) :: (~>) (m6989586621679545058 a26989586621679545060) ((~>) (m6989586621679545058 a36989586621679545061) ((~>) (m6989586621679545058 a46989586621679545062) (m6989586621679545058 r6989586621679545063)))
data LiftM4Sym3 (a6989586621679545322 :: (~>) a16989586621679545059 ((~>) a26989586621679545060 ((~>) a36989586621679545061 ((~>) a46989586621679545062 r6989586621679545063)))) (a6989586621679545323 :: m6989586621679545058 a16989586621679545059) (a6989586621679545324 :: m6989586621679545058 a26989586621679545060) :: (~>) (m6989586621679545058 a36989586621679545061) ((~>) (m6989586621679545058 a46989586621679545062) (m6989586621679545058 r6989586621679545063))
data LiftM4Sym4 (a6989586621679545322 :: (~>) a16989586621679545059 ((~>) a26989586621679545060 ((~>) a36989586621679545061 ((~>) a46989586621679545062 r6989586621679545063)))) (a6989586621679545323 :: m6989586621679545058 a16989586621679545059) (a6989586621679545324 :: m6989586621679545058 a26989586621679545060) (a6989586621679545325 :: m6989586621679545058 a36989586621679545061) :: (~>) (m6989586621679545058 a46989586621679545062) (m6989586621679545058 r6989586621679545063)
type LiftM4Sym5 (a6989586621679545322 :: (~>) a16989586621679545059 ((~>) a26989586621679545060 ((~>) a36989586621679545061 ((~>) a46989586621679545062 r6989586621679545063)))) (a6989586621679545323 :: m6989586621679545058 a16989586621679545059) (a6989586621679545324 :: m6989586621679545058 a26989586621679545060) (a6989586621679545325 :: m6989586621679545058 a36989586621679545061) (a6989586621679545326 :: m6989586621679545058 a46989586621679545062) = LiftM4 a6989586621679545322 a6989586621679545323 a6989586621679545324 a6989586621679545325 a6989586621679545326
data LiftM5Sym0 :: forall a16989586621679545052 a26989586621679545053 a36989586621679545054 a46989586621679545055 a56989586621679545056 m6989586621679545051 r6989586621679545057. (~>) ((~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) ((~>) (m6989586621679545051 a16989586621679545052) ((~>) (m6989586621679545051 a26989586621679545053) ((~>) (m6989586621679545051 a36989586621679545054) ((~>) (m6989586621679545051 a46989586621679545055) ((~>) (m6989586621679545051 a56989586621679545056) (m6989586621679545051 r6989586621679545057))))))
data LiftM5Sym1 (a6989586621679545239 :: (~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) :: forall m6989586621679545051. (~>) (m6989586621679545051 a16989586621679545052) ((~>) (m6989586621679545051 a26989586621679545053) ((~>) (m6989586621679545051 a36989586621679545054) ((~>) (m6989586621679545051 a46989586621679545055) ((~>) (m6989586621679545051 a56989586621679545056) (m6989586621679545051 r6989586621679545057)))))
data LiftM5Sym2 (a6989586621679545239 :: (~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) (a6989586621679545240 :: m6989586621679545051 a16989586621679545052) :: (~>) (m6989586621679545051 a26989586621679545053) ((~>) (m6989586621679545051 a36989586621679545054) ((~>) (m6989586621679545051 a46989586621679545055) ((~>) (m6989586621679545051 a56989586621679545056) (m6989586621679545051 r6989586621679545057))))
data LiftM5Sym3 (a6989586621679545239 :: (~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) (a6989586621679545240 :: m6989586621679545051 a16989586621679545052) (a6989586621679545241 :: m6989586621679545051 a26989586621679545053) :: (~>) (m6989586621679545051 a36989586621679545054) ((~>) (m6989586621679545051 a46989586621679545055) ((~>) (m6989586621679545051 a56989586621679545056) (m6989586621679545051 r6989586621679545057)))
data LiftM5Sym4 (a6989586621679545239 :: (~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) (a6989586621679545240 :: m6989586621679545051 a16989586621679545052) (a6989586621679545241 :: m6989586621679545051 a26989586621679545053) (a6989586621679545242 :: m6989586621679545051 a36989586621679545054) :: (~>) (m6989586621679545051 a46989586621679545055) ((~>) (m6989586621679545051 a56989586621679545056) (m6989586621679545051 r6989586621679545057))
data LiftM5Sym5 (a6989586621679545239 :: (~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) (a6989586621679545240 :: m6989586621679545051 a16989586621679545052) (a6989586621679545241 :: m6989586621679545051 a26989586621679545053) (a6989586621679545242 :: m6989586621679545051 a36989586621679545054) (a6989586621679545243 :: m6989586621679545051 a46989586621679545055) :: (~>) (m6989586621679545051 a56989586621679545056) (m6989586621679545051 r6989586621679545057)
type LiftM5Sym6 (a6989586621679545239 :: (~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) (a6989586621679545240 :: m6989586621679545051 a16989586621679545052) (a6989586621679545241 :: m6989586621679545051 a26989586621679545053) (a6989586621679545242 :: m6989586621679545051 a36989586621679545054) (a6989586621679545243 :: m6989586621679545051 a46989586621679545055) (a6989586621679545244 :: m6989586621679545051 a56989586621679545056) = LiftM5 a6989586621679545239 a6989586621679545240 a6989586621679545241 a6989586621679545242 a6989586621679545243 a6989586621679545244
data ApSym0 :: forall a6989586621679545049 b6989586621679545050 m6989586621679545048. (~>) (m6989586621679545048 ((~>) a6989586621679545049 b6989586621679545050)) ((~>) (m6989586621679545048 a6989586621679545049) (m6989586621679545048 b6989586621679545050))
data ApSym1 (a6989586621679545218 :: m6989586621679545048 ((~>) a6989586621679545049 b6989586621679545050)) :: (~>) (m6989586621679545048 a6989586621679545049) (m6989586621679545048 b6989586621679545050)
type ApSym2 (a6989586621679545218 :: m6989586621679545048 ((~>) a6989586621679545049 b6989586621679545050)) (a6989586621679545219 :: m6989586621679545048 a6989586621679545049) = Ap a6989586621679545218 a6989586621679545219
data (<$!>@#@$) :: forall a6989586621681211306 b6989586621681211307 m6989586621681211305. (~>) ((~>) a6989586621681211306 b6989586621681211307) ((~>) (m6989586621681211305 a6989586621681211306) (m6989586621681211305 b6989586621681211307))
data (<$!>@#@$$) (a6989586621681211659 :: (~>) a6989586621681211306 b6989586621681211307) :: forall m6989586621681211305. (~>) (m6989586621681211305 a6989586621681211306) (m6989586621681211305 b6989586621681211307)
type (<$!>@#@$$$) (a6989586621681211659 :: (~>) a6989586621681211306 b6989586621681211307) (a6989586621681211660 :: m6989586621681211305 a6989586621681211306) = (<$!>) a6989586621681211659 a6989586621681211660

Documentation

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

Associated Types

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

Instances

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

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

Methods

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

Instances

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

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

Associated Types

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

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

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

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

Instances

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

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

Minimal complete definition

(%>>=)

Methods

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

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

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

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

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

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

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

Instances

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

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

Associated Types

type Mzero :: m a Source #

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

Instances

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

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

Minimal complete definition

Nothing

Methods

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

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

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

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

Instances

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

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

Instances

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

sMapM :: forall 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)) Source #

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

Equations

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

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

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

Equations

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

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

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

Instances

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

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

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

Equations

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

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

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

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

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

Equations

(f >=> g) a_6989586621681211777 = Apply (Apply (Apply (Apply Lambda_6989586621681211782Sym0 f) g) a_6989586621681211777) a_6989586621681211777

(%>=>) :: 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 Source #

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

Equations

(a_6989586621681211790 <=< a_6989586621681211792) a_6989586621681211794 = Apply (Apply (Apply (Apply FlipSym0 (>=>@#@$)) a_6989586621681211790) a_6989586621681211792) a_6989586621681211794

(%<=<) :: 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 Source #

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

Equations

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

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

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

Equations

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

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

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

Equations

Msum a_6989586621680453251 = Apply AsumSym0 a_6989586621680453251

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

type family Mfilter (a :: (~>) a Bool) (a :: m a) :: m a where ... Source #

Equations

Mfilter p ma = Apply (Apply (>>=@#@$) ma) (Apply (Apply Lambda_6989586621681211645Sym0 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) Source #

type family FilterM (a :: (~>) a (m Bool)) (a :: [a]) :: m [a] where ... Source #

Equations

FilterM p a_6989586621681211809 = Apply (Apply (Apply FoldrSym0 (Apply (Apply Lambda_6989586621681211813Sym0 p) a_6989586621681211809)) (Apply PureSym0 '[])) a_6989586621681211809

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

type family MapAndUnzipM (a :: (~>) a (m (b, c))) (a :: [a]) :: m ([b], [c]) where ... Source #

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

type family ZipWithM (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m [c] where ... Source #

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

type family ZipWithM_ (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m () where ... Source #

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

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

Equations

FoldlM f z0 xs = Apply (Apply (Apply (Apply FoldrSym0 (Let6989586621680453311F'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) Source #

type family ReplicateM (a :: Nat) (a :: m a) :: m [a] where ... Source #

Equations

ReplicateM cnt0 f = Apply (Let6989586621681211710LoopSym2 cnt0 f) cnt0

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

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

Equations

ReplicateM_ cnt0 f = Apply (Let6989586621681211691LoopSym2 cnt0 f) cnt0

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

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

Equations

Guard True = Apply PureSym0 Tuple0Sym0
Guard False = EmptySym0

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

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

Equations

When p s = Case_6989586621679545470 p s p

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

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

Equations

Unless p s = Case_6989586621681211682 p s p

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

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

Equations

LiftM f m1 = Apply (Apply (>>=@#@$) m1) (Apply (Apply Lambda_6989586621679545457Sym0 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) Source #

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

Equations

LiftM2 f m1 m2 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply Lambda_6989586621679545434Sym0 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) Source #

type family LiftM3 (a :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a :: m a1) (a :: m a2) (a :: m a3) :: m r where ... Source #

Equations

LiftM3 f m1 m2 m3 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply (Apply Lambda_6989586621679545395Sym0 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) Source #

type family LiftM4 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) :: m r where ... Source #

Equations

LiftM4 f m1 m2 m3 m4 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply (Apply (Apply Lambda_6989586621679545337Sym0 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) Source #

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

Equations

LiftM5 f m1 m2 m3 m4 m5 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply (Apply (Apply (Apply Lambda_6989586621679545257Sym0 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) Source #

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

Equations

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

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

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

Equations

f <$!> m = Apply (Apply (>>=@#@$) m) (Apply (Apply Lambda_6989586621681211665Sym0 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 Source #

Defunctionalization symbols

data FmapSym0 :: forall a6989586621679545127 b6989586621679545128 f6989586621679545126. (~>) ((~>) a6989586621679545127 b6989586621679545128) ((~>) (f6989586621679545126 a6989586621679545127) (f6989586621679545126 b6989586621679545128)) Source #

Instances

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

data FmapSym1 (arg6989586621679545520 :: (~>) a6989586621679545127 b6989586621679545128) :: forall f6989586621679545126. (~>) (f6989586621679545126 a6989586621679545127) (f6989586621679545126 b6989586621679545128) Source #

Instances

(SFunctor f, SingI d) => SingI (FmapSym1 d f :: TyFun (f a) (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (FmapSym1 d f) Source #
SuppressUnusedWarnings (FmapSym1 arg6989586621679545520 f6989586621679545126 :: TyFun (f6989586621679545126 a6989586621679545127) (f6989586621679545126 b6989586621679545128) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (FmapSym1 arg6989586621679545520 f :: TyFun (f a) (f b) -> Type) (arg6989586621679545521 :: f a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (FmapSym1 arg6989586621679545520 f :: TyFun (f a) (f b) -> Type) (arg6989586621679545521 :: f a) = Fmap arg6989586621679545520 arg6989586621679545521

type FmapSym2 (arg6989586621679545520 :: (~>) a6989586621679545127 b6989586621679545128) (arg6989586621679545521 :: f6989586621679545126 a6989586621679545127) = Fmap arg6989586621679545520 arg6989586621679545521 Source #

data (>>=@#@$) :: forall a6989586621679545156 b6989586621679545157 m6989586621679545155. (~>) (m6989586621679545155 a6989586621679545156) ((~>) ((~>) a6989586621679545156 (m6989586621679545155 b6989586621679545157)) (m6989586621679545155 b6989586621679545157)) infixl 1 Source #

Instances

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

data (>>=@#@$$) (arg6989586621679545627 :: m6989586621679545155 a6989586621679545156) :: forall b6989586621679545157. (~>) ((~>) a6989586621679545156 (m6989586621679545155 b6989586621679545157)) (m6989586621679545155 b6989586621679545157) infixl 1 Source #

Instances

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

type (>>=@#@$$$) (arg6989586621679545627 :: m6989586621679545155 a6989586621679545156) (arg6989586621679545628 :: (~>) a6989586621679545156 (m6989586621679545155 b6989586621679545157)) = (>>=) arg6989586621679545627 arg6989586621679545628 Source #

data (>>@#@$) :: forall a6989586621679545158 b6989586621679545159 m6989586621679545155. (~>) (m6989586621679545155 a6989586621679545158) ((~>) (m6989586621679545155 b6989586621679545159) (m6989586621679545155 b6989586621679545159)) infixl 1 Source #

Instances

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

data (>>@#@$$) (arg6989586621679545631 :: m6989586621679545155 a6989586621679545158) :: forall b6989586621679545159. (~>) (m6989586621679545155 b6989586621679545159) (m6989586621679545155 b6989586621679545159) infixl 1 Source #

Instances

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

type (>>@#@$$$) (arg6989586621679545631 :: m6989586621679545155 a6989586621679545158) (arg6989586621679545632 :: m6989586621679545155 b6989586621679545159) = (>>) arg6989586621679545631 arg6989586621679545632 Source #

data ReturnSym0 :: forall a6989586621679545160 m6989586621679545155. (~>) a6989586621679545160 (m6989586621679545155 a6989586621679545160) Source #

Instances

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

type ReturnSym1 (arg6989586621679545635 :: a6989586621679545160) = Return arg6989586621679545635 Source #

data FailSym0 :: forall a6989586621679545161 m6989586621679545155. (~>) Symbol (m6989586621679545155 a6989586621679545161) Source #

Instances

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

type FailSym1 (arg6989586621679545637 :: Symbol) = Fail arg6989586621679545637 Source #

type MzeroSym0 = Mzero Source #

data MplusSym0 :: forall a6989586621679545213 m6989586621679545211. (~>) (m6989586621679545211 a6989586621679545213) ((~>) (m6989586621679545211 a6989586621679545213) (m6989586621679545211 a6989586621679545213)) Source #

Instances

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

data MplusSym1 (arg6989586621679545681 :: m6989586621679545211 a6989586621679545213) :: (~>) (m6989586621679545211 a6989586621679545213) (m6989586621679545211 a6989586621679545213) Source #

Instances

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

type MplusSym2 (arg6989586621679545681 :: m6989586621679545211 a6989586621679545213) (arg6989586621679545682 :: m6989586621679545211 a6989586621679545213) = Mplus arg6989586621679545681 arg6989586621679545682 Source #

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

Instances

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

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

Instances

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

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

data MapM_Sym0 :: forall a6989586621680452668 b6989586621680452669 m6989586621680452667 t6989586621680452666. (~>) ((~>) a6989586621680452668 (m6989586621680452667 b6989586621680452669)) ((~>) (t6989586621680452666 a6989586621680452668) (m6989586621680452667 ())) Source #

Instances

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

data MapM_Sym1 (a6989586621680453266 :: (~>) a6989586621680452668 (m6989586621680452667 b6989586621680452669)) :: forall t6989586621680452666. (~>) (t6989586621680452666 a6989586621680452668) (m6989586621680452667 ()) Source #

Instances

(SFoldable t, SMonad m, SingI d) => SingI (MapM_Sym1 d t :: TyFun (t a) (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (MapM_Sym1 d t) Source #
SuppressUnusedWarnings (MapM_Sym1 a6989586621680453266 t6989586621680452666 :: TyFun (t6989586621680452666 a6989586621680452668) (m6989586621680452667 ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
type Apply (MapM_Sym1 a6989586621680453266 t :: TyFun (t a) (m ()) -> Type) (a6989586621680453267 :: t a) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MapM_Sym1 a6989586621680453266 t :: TyFun (t a) (m ()) -> Type) (a6989586621680453267 :: t a) = MapM_ a6989586621680453266 a6989586621680453267

type MapM_Sym2 (a6989586621680453266 :: (~>) a6989586621680452668 (m6989586621680452667 b6989586621680452669)) (a6989586621680453267 :: t6989586621680452666 a6989586621680452668) = MapM_ a6989586621680453266 a6989586621680453267 Source #

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

Instances

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

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

Instances

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

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

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

Instances

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

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

data Sequence_Sym0 :: forall a6989586621680452658 m6989586621680452657 t6989586621680452656. (~>) (t6989586621680452656 (m6989586621680452657 a6989586621680452658)) (m6989586621680452657 ()) Source #

Instances

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

type Sequence_Sym1 (a6989586621680453258 :: t6989586621680452656 (m6989586621680452657 a6989586621680452658)) = Sequence_ a6989586621680453258 Source #

data (=<<@#@$) :: forall a6989586621679545078 b6989586621679545079 m6989586621679545077. (~>) ((~>) a6989586621679545078 (m6989586621679545077 b6989586621679545079)) ((~>) (m6989586621679545077 a6989586621679545078) (m6989586621679545077 b6989586621679545079)) infixr 1 Source #

Instances

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

data (=<<@#@$$) (a6989586621679545473 :: (~>) a6989586621679545078 (m6989586621679545077 b6989586621679545079)) :: (~>) (m6989586621679545077 a6989586621679545078) (m6989586621679545077 b6989586621679545079) infixr 1 Source #

Instances

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

type (=<<@#@$$$) (a6989586621679545473 :: (~>) a6989586621679545078 (m6989586621679545077 b6989586621679545079)) (a6989586621679545474 :: m6989586621679545077 a6989586621679545078) = (=<<) a6989586621679545473 a6989586621679545474 Source #

data (>=>@#@$) :: forall a6989586621681211338 b6989586621681211339 c6989586621681211340 m6989586621681211337. (~>) ((~>) a6989586621681211338 (m6989586621681211337 b6989586621681211339)) ((~>) ((~>) b6989586621681211339 (m6989586621681211337 c6989586621681211340)) ((~>) a6989586621681211338 (m6989586621681211337 c6989586621681211340))) infixr 1 Source #

Instances

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

data (>=>@#@$$) (a6989586621681211771 :: (~>) a6989586621681211338 (m6989586621681211337 b6989586621681211339)) :: forall c6989586621681211340. (~>) ((~>) b6989586621681211339 (m6989586621681211337 c6989586621681211340)) ((~>) a6989586621681211338 (m6989586621681211337 c6989586621681211340)) infixr 1 Source #

Instances

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

data (a6989586621681211771 :: (~>) a6989586621681211338 (m6989586621681211337 b6989586621681211339)) >=>@#@$$$ (a6989586621681211772 :: (~>) b6989586621681211339 (m6989586621681211337 c6989586621681211340)) :: (~>) a6989586621681211338 (m6989586621681211337 c6989586621681211340) infixr 1 Source #

Instances

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

data (<=<@#@$) :: forall a6989586621681211336 b6989586621681211334 c6989586621681211335 m6989586621681211333. (~>) ((~>) b6989586621681211334 (m6989586621681211333 c6989586621681211335)) ((~>) ((~>) a6989586621681211336 (m6989586621681211333 b6989586621681211334)) ((~>) a6989586621681211336 (m6989586621681211333 c6989586621681211335))) infixr 1 Source #

Instances

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

data (<=<@#@$$) (a6989586621681211796 :: (~>) b6989586621681211334 (m6989586621681211333 c6989586621681211335)) :: forall a6989586621681211336. (~>) ((~>) a6989586621681211336 (m6989586621681211333 b6989586621681211334)) ((~>) a6989586621681211336 (m6989586621681211333 c6989586621681211335)) infixr 1 Source #

Instances

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

data (a6989586621681211796 :: (~>) b6989586621681211334 (m6989586621681211333 c6989586621681211335)) <=<@#@$$$ (a6989586621681211797 :: (~>) a6989586621681211336 (m6989586621681211333 b6989586621681211334)) :: (~>) a6989586621681211336 (m6989586621681211333 c6989586621681211335) infixr 1 Source #

Instances

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

data VoidSym0 :: forall a6989586621679714510 f6989586621679714509. (~>) (f6989586621679714509 a6989586621679714510) (f6989586621679714509 ()) Source #

Instances

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

type VoidSym1 (a6989586621679714581 :: f6989586621679714509 a6989586621679714510) = Void a6989586621679714581 Source #

data JoinSym0 :: forall a6989586621679545081 m6989586621679545080. (~>) (m6989586621679545080 (m6989586621679545080 a6989586621679545081)) (m6989586621679545080 a6989586621679545081) Source #

Instances

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

type JoinSym1 (a6989586621679545479 :: m6989586621679545080 (m6989586621679545080 a6989586621679545081)) = Join a6989586621679545479 Source #

data MsumSym0 :: forall a6989586621680452652 m6989586621680452651 t6989586621680452650. (~>) (t6989586621680452650 (m6989586621680452651 a6989586621680452652)) (m6989586621680452651 a6989586621680452652) Source #

Instances

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

type MsumSym1 (a6989586621680453253 :: t6989586621680452650 (m6989586621680452651 a6989586621680452652)) = Msum a6989586621680453253 Source #

data MfilterSym0 :: forall a6989586621681211304 m6989586621681211303. (~>) ((~>) a6989586621681211304 Bool) ((~>) (m6989586621681211303 a6989586621681211304) (m6989586621681211303 a6989586621681211304)) Source #

Instances

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

data MfilterSym1 (a6989586621681211639 :: (~>) a6989586621681211304 Bool) :: forall m6989586621681211303. (~>) (m6989586621681211303 a6989586621681211304) (m6989586621681211303 a6989586621681211304) Source #

Instances

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

type MfilterSym2 (a6989586621681211639 :: (~>) a6989586621681211304 Bool) (a6989586621681211640 :: m6989586621681211303 a6989586621681211304) = Mfilter a6989586621681211639 a6989586621681211640 Source #

data FilterMSym0 :: forall a6989586621681211342 m6989586621681211341. (~>) ((~>) a6989586621681211342 (m6989586621681211341 Bool)) ((~>) [a6989586621681211342] (m6989586621681211341 [a6989586621681211342])) Source #

Instances

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

data FilterMSym1 (a6989586621681211805 :: (~>) a6989586621681211342 (m6989586621681211341 Bool)) :: (~>) [a6989586621681211342] (m6989586621681211341 [a6989586621681211342]) Source #

Instances

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

type FilterMSym2 (a6989586621681211805 :: (~>) a6989586621681211342 (m6989586621681211341 Bool)) (a6989586621681211806 :: [a6989586621681211342]) = FilterM a6989586621681211805 a6989586621681211806 Source #

data MapAndUnzipMSym0 :: forall a6989586621681211330 b6989586621681211331 c6989586621681211332 m6989586621681211329. (~>) ((~>) a6989586621681211330 (m6989586621681211329 (b6989586621681211331, c6989586621681211332))) ((~>) [a6989586621681211330] (m6989586621681211329 ([b6989586621681211331], [c6989586621681211332]))) Source #

Instances

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

data MapAndUnzipMSym1 (a6989586621681211765 :: (~>) a6989586621681211330 (m6989586621681211329 (b6989586621681211331, c6989586621681211332))) :: (~>) [a6989586621681211330] (m6989586621681211329 ([b6989586621681211331], [c6989586621681211332])) Source #

Instances

(SApplicative m, SingI d) => SingI (MapAndUnzipMSym1 d :: TyFun [a] (m ([b], [c])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (MapAndUnzipMSym1 d) Source #
SuppressUnusedWarnings (MapAndUnzipMSym1 a6989586621681211765 :: TyFun [a6989586621681211330] (m6989586621681211329 ([b6989586621681211331], [c6989586621681211332])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (MapAndUnzipMSym1 a6989586621681211765 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681211766 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (MapAndUnzipMSym1 a6989586621681211765 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681211766 :: [a]) = MapAndUnzipM a6989586621681211765 a6989586621681211766

type MapAndUnzipMSym2 (a6989586621681211765 :: (~>) a6989586621681211330 (m6989586621681211329 (b6989586621681211331, c6989586621681211332))) (a6989586621681211766 :: [a6989586621681211330]) = MapAndUnzipM a6989586621681211765 a6989586621681211766 Source #

data ZipWithMSym0 :: forall a6989586621681211326 b6989586621681211327 c6989586621681211328 m6989586621681211325. (~>) ((~>) a6989586621681211326 ((~>) b6989586621681211327 (m6989586621681211325 c6989586621681211328))) ((~>) [a6989586621681211326] ((~>) [b6989586621681211327] (m6989586621681211325 [c6989586621681211328]))) Source #

Instances

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

data ZipWithMSym1 (a6989586621681211756 :: (~>) a6989586621681211326 ((~>) b6989586621681211327 (m6989586621681211325 c6989586621681211328))) :: (~>) [a6989586621681211326] ((~>) [b6989586621681211327] (m6989586621681211325 [c6989586621681211328])) Source #

Instances

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

data ZipWithMSym2 (a6989586621681211756 :: (~>) a6989586621681211326 ((~>) b6989586621681211327 (m6989586621681211325 c6989586621681211328))) (a6989586621681211757 :: [a6989586621681211326]) :: (~>) [b6989586621681211327] (m6989586621681211325 [c6989586621681211328]) Source #

Instances

(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithMSym2 d1 d2 :: TyFun [b] (m [c]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithMSym2 d1 d2) Source #
SuppressUnusedWarnings (ZipWithMSym2 a6989586621681211757 a6989586621681211756 :: TyFun [b6989586621681211327] (m6989586621681211325 [c6989586621681211328]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithMSym2 a6989586621681211757 a6989586621681211756 :: TyFun [b] (m [c]) -> Type) (a6989586621681211758 :: [b]) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithMSym2 a6989586621681211757 a6989586621681211756 :: TyFun [b] (m [c]) -> Type) (a6989586621681211758 :: [b]) = ZipWithM a6989586621681211757 a6989586621681211756 a6989586621681211758

type ZipWithMSym3 (a6989586621681211756 :: (~>) a6989586621681211326 ((~>) b6989586621681211327 (m6989586621681211325 c6989586621681211328))) (a6989586621681211757 :: [a6989586621681211326]) (a6989586621681211758 :: [b6989586621681211327]) = ZipWithM a6989586621681211756 a6989586621681211757 a6989586621681211758 Source #

data ZipWithM_Sym0 :: forall a6989586621681211322 b6989586621681211323 c6989586621681211324 m6989586621681211321. (~>) ((~>) a6989586621681211322 ((~>) b6989586621681211323 (m6989586621681211321 c6989586621681211324))) ((~>) [a6989586621681211322] ((~>) [b6989586621681211323] (m6989586621681211321 ()))) Source #

Instances

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

data ZipWithM_Sym1 (a6989586621681211747 :: (~>) a6989586621681211322 ((~>) b6989586621681211323 (m6989586621681211321 c6989586621681211324))) :: (~>) [a6989586621681211322] ((~>) [b6989586621681211323] (m6989586621681211321 ())) Source #

Instances

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

data ZipWithM_Sym2 (a6989586621681211747 :: (~>) a6989586621681211322 ((~>) b6989586621681211323 (m6989586621681211321 c6989586621681211324))) (a6989586621681211748 :: [a6989586621681211322]) :: (~>) [b6989586621681211323] (m6989586621681211321 ()) Source #

Instances

(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithM_Sym2 d1 d2 :: TyFun [b] (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithM_Sym2 d1 d2) Source #
SuppressUnusedWarnings (ZipWithM_Sym2 a6989586621681211748 a6989586621681211747 :: TyFun [b6989586621681211323] (m6989586621681211321 ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithM_Sym2 a6989586621681211748 a6989586621681211747 :: TyFun [b] (m ()) -> Type) (a6989586621681211749 :: [b]) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithM_Sym2 a6989586621681211748 a6989586621681211747 :: TyFun [b] (m ()) -> Type) (a6989586621681211749 :: [b]) = ZipWithM_ a6989586621681211748 a6989586621681211747 a6989586621681211749

type ZipWithM_Sym3 (a6989586621681211747 :: (~>) a6989586621681211322 ((~>) b6989586621681211323 (m6989586621681211321 c6989586621681211324))) (a6989586621681211748 :: [a6989586621681211322]) (a6989586621681211749 :: [b6989586621681211323]) = ZipWithM_ a6989586621681211747 a6989586621681211748 a6989586621681211749 Source #

data FoldlMSym0 :: forall a6989586621680452681 b6989586621680452680 m6989586621680452679 t6989586621680452678. (~>) ((~>) b6989586621680452680 ((~>) a6989586621680452681 (m6989586621680452679 b6989586621680452680))) ((~>) b6989586621680452680 ((~>) (t6989586621680452678 a6989586621680452681) (m6989586621680452679 b6989586621680452680))) Source #

Instances

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

data FoldlMSym1 (a6989586621680453302 :: (~>) b6989586621680452680 ((~>) a6989586621680452681 (m6989586621680452679 b6989586621680452680))) :: forall t6989586621680452678. (~>) b6989586621680452680 ((~>) (t6989586621680452678 a6989586621680452681) (m6989586621680452679 b6989586621680452680)) Source #

Instances

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

data FoldlMSym2 (a6989586621680453302 :: (~>) b6989586621680452680 ((~>) a6989586621680452681 (m6989586621680452679 b6989586621680452680))) (a6989586621680453303 :: b6989586621680452680) :: forall t6989586621680452678. (~>) (t6989586621680452678 a6989586621680452681) (m6989586621680452679 b6989586621680452680) Source #

Instances

(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldlMSym2 d1 d2 t :: TyFun (t a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldlMSym2 d1 d2 t) Source #
SuppressUnusedWarnings (FoldlMSym2 a6989586621680453303 a6989586621680453302 t6989586621680452678 :: TyFun (t6989586621680452678 a6989586621680452681) (m6989586621680452679 b6989586621680452680) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
type Apply (FoldlMSym2 a6989586621680453303 a6989586621680453302 t :: TyFun (t a) (m b) -> Type) (a6989586621680453304 :: t a) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym2 a6989586621680453303 a6989586621680453302 t :: TyFun (t a) (m b) -> Type) (a6989586621680453304 :: t a) = FoldlM a6989586621680453303 a6989586621680453302 a6989586621680453304

type FoldlMSym3 (a6989586621680453302 :: (~>) b6989586621680452680 ((~>) a6989586621680452681 (m6989586621680452679 b6989586621680452680))) (a6989586621680453303 :: b6989586621680452680) (a6989586621680453304 :: t6989586621680452678 a6989586621680452681) = FoldlM a6989586621680453302 a6989586621680453303 a6989586621680453304 Source #

data ReplicateMSym0 :: forall a6989586621681211312 m6989586621681211311. (~>) Nat ((~>) (m6989586621681211311 a6989586621681211312) (m6989586621681211311 [a6989586621681211312])) Source #

Instances

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

data ReplicateMSym1 (a6989586621681211704 :: Nat) :: forall a6989586621681211312 m6989586621681211311. (~>) (m6989586621681211311 a6989586621681211312) (m6989586621681211311 [a6989586621681211312]) Source #

Instances

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

type ReplicateMSym2 (a6989586621681211704 :: Nat) (a6989586621681211705 :: m6989586621681211311 a6989586621681211312) = ReplicateM a6989586621681211704 a6989586621681211705 Source #

data ReplicateM_Sym0 :: forall a6989586621681211310 m6989586621681211309. (~>) Nat ((~>) (m6989586621681211309 a6989586621681211310) (m6989586621681211309 ())) Source #

Instances

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

data ReplicateM_Sym1 (a6989586621681211685 :: Nat) :: forall a6989586621681211310 m6989586621681211309. (~>) (m6989586621681211309 a6989586621681211310) (m6989586621681211309 ()) Source #

Instances

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

type ReplicateM_Sym2 (a6989586621681211685 :: Nat) (a6989586621681211686 :: m6989586621681211309 a6989586621681211310) = ReplicateM_ a6989586621681211685 a6989586621681211686 Source #

data GuardSym0 :: forall f6989586621679545047. (~>) Bool (f6989586621679545047 ()) Source #

Instances

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

type GuardSym1 (a6989586621679545216 :: Bool) = Guard a6989586621679545216 Source #

data WhenSym0 :: forall f6989586621679545076. (~>) Bool ((~>) (f6989586621679545076 ()) (f6989586621679545076 ())) Source #

Instances

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

data WhenSym1 (a6989586621679545464 :: Bool) :: forall f6989586621679545076. (~>) (f6989586621679545076 ()) (f6989586621679545076 ()) Source #

Instances

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

type WhenSym2 (a6989586621679545464 :: Bool) (a6989586621679545465 :: f6989586621679545076 ()) = When a6989586621679545464 a6989586621679545465 Source #

data UnlessSym0 :: forall f6989586621681211308. (~>) Bool ((~>) (f6989586621681211308 ()) (f6989586621681211308 ())) Source #

Instances

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

data UnlessSym1 (a6989586621681211676 :: Bool) :: forall f6989586621681211308. (~>) (f6989586621681211308 ()) (f6989586621681211308 ()) Source #

Instances

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

type UnlessSym2 (a6989586621681211676 :: Bool) (a6989586621681211677 :: f6989586621681211308 ()) = Unless a6989586621681211676 a6989586621681211677 Source #

data LiftMSym0 :: forall a16989586621679545074 m6989586621679545073 r6989586621679545075. (~>) ((~>) a16989586621679545074 r6989586621679545075) ((~>) (m6989586621679545073 a16989586621679545074) (m6989586621679545073 r6989586621679545075)) Source #

Instances

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

data LiftMSym1 (a6989586621679545451 :: (~>) a16989586621679545074 r6989586621679545075) :: forall m6989586621679545073. (~>) (m6989586621679545073 a16989586621679545074) (m6989586621679545073 r6989586621679545075) Source #

Instances

(SMonad m, SingI d) => SingI (LiftMSym1 d m :: TyFun (m a1) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftMSym1 d m) Source #
SuppressUnusedWarnings (LiftMSym1 a6989586621679545451 m6989586621679545073 :: TyFun (m6989586621679545073 a16989586621679545074) (m6989586621679545073 r6989586621679545075) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftMSym1 a6989586621679545451 m :: TyFun (m a1) (m r) -> Type) (a6989586621679545452 :: m a1) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftMSym1 a6989586621679545451 m :: TyFun (m a1) (m r) -> Type) (a6989586621679545452 :: m a1) = LiftM a6989586621679545451 a6989586621679545452

type LiftMSym2 (a6989586621679545451 :: (~>) a16989586621679545074 r6989586621679545075) (a6989586621679545452 :: m6989586621679545073 a16989586621679545074) = LiftM a6989586621679545451 a6989586621679545452 Source #

data LiftM2Sym0 :: forall a16989586621679545070 a26989586621679545071 m6989586621679545069 r6989586621679545072. (~>) ((~>) a16989586621679545070 ((~>) a26989586621679545071 r6989586621679545072)) ((~>) (m6989586621679545069 a16989586621679545070) ((~>) (m6989586621679545069 a26989586621679545071) (m6989586621679545069 r6989586621679545072))) Source #

Instances

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

data LiftM2Sym1 (a6989586621679545425 :: (~>) a16989586621679545070 ((~>) a26989586621679545071 r6989586621679545072)) :: forall m6989586621679545069. (~>) (m6989586621679545069 a16989586621679545070) ((~>) (m6989586621679545069 a26989586621679545071) (m6989586621679545069 r6989586621679545072)) Source #

Instances

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

data LiftM2Sym2 (a6989586621679545425 :: (~>) a16989586621679545070 ((~>) a26989586621679545071 r6989586621679545072)) (a6989586621679545426 :: m6989586621679545069 a16989586621679545070) :: (~>) (m6989586621679545069 a26989586621679545071) (m6989586621679545069 r6989586621679545072) Source #

Instances

(SMonad m, SingI d1, SingI d2) => SingI (LiftM2Sym2 d1 d2 :: TyFun (m a2) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM2Sym2 d1 d2) Source #
SuppressUnusedWarnings (LiftM2Sym2 a6989586621679545426 a6989586621679545425 :: TyFun (m6989586621679545069 a26989586621679545071) (m6989586621679545069 r6989586621679545072) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM2Sym2 a6989586621679545426 a6989586621679545425 :: TyFun (m a2) (m r) -> Type) (a6989586621679545427 :: m a2) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM2Sym2 a6989586621679545426 a6989586621679545425 :: TyFun (m a2) (m r) -> Type) (a6989586621679545427 :: m a2) = LiftM2 a6989586621679545426 a6989586621679545425 a6989586621679545427

type LiftM2Sym3 (a6989586621679545425 :: (~>) a16989586621679545070 ((~>) a26989586621679545071 r6989586621679545072)) (a6989586621679545426 :: m6989586621679545069 a16989586621679545070) (a6989586621679545427 :: m6989586621679545069 a26989586621679545071) = LiftM2 a6989586621679545425 a6989586621679545426 a6989586621679545427 Source #

data LiftM3Sym0 :: forall a16989586621679545065 a26989586621679545066 a36989586621679545067 m6989586621679545064 r6989586621679545068. (~>) ((~>) a16989586621679545065 ((~>) a26989586621679545066 ((~>) a36989586621679545067 r6989586621679545068))) ((~>) (m6989586621679545064 a16989586621679545065) ((~>) (m6989586621679545064 a26989586621679545066) ((~>) (m6989586621679545064 a36989586621679545067) (m6989586621679545064 r6989586621679545068)))) Source #

Instances

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

data LiftM3Sym1 (a6989586621679545383 :: (~>) a16989586621679545065 ((~>) a26989586621679545066 ((~>) a36989586621679545067 r6989586621679545068))) :: forall m6989586621679545064. (~>) (m6989586621679545064 a16989586621679545065) ((~>) (m6989586621679545064 a26989586621679545066) ((~>) (m6989586621679545064 a36989586621679545067) (m6989586621679545064 r6989586621679545068))) Source #

Instances

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

data LiftM3Sym2 (a6989586621679545383 :: (~>) a16989586621679545065 ((~>) a26989586621679545066 ((~>) a36989586621679545067 r6989586621679545068))) (a6989586621679545384 :: m6989586621679545064 a16989586621679545065) :: (~>) (m6989586621679545064 a26989586621679545066) ((~>) (m6989586621679545064 a36989586621679545067) (m6989586621679545064 r6989586621679545068)) Source #

Instances

(SMonad m, SingI d1, SingI d2) => SingI (LiftM3Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM3Sym2 d1 d2) Source #
SuppressUnusedWarnings (LiftM3Sym2 a6989586621679545384 a6989586621679545383 :: TyFun (m6989586621679545064 a26989586621679545066) (m6989586621679545064 a36989586621679545067 ~> m6989586621679545064 r6989586621679545068) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM3Sym2 a6989586621679545384 a6989586621679545383 :: TyFun (m6989586621679545064 a26989586621679545066) (m6989586621679545064 a36989586621679545067 ~> m6989586621679545064 r6989586621679545068) -> Type) (a6989586621679545385 :: m6989586621679545064 a26989586621679545066) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym2 a6989586621679545384 a6989586621679545383 :: TyFun (m6989586621679545064 a26989586621679545066) (m6989586621679545064 a36989586621679545067 ~> m6989586621679545064 r6989586621679545068) -> Type) (a6989586621679545385 :: m6989586621679545064 a26989586621679545066) = LiftM3Sym3 a6989586621679545384 a6989586621679545383 a6989586621679545385

data LiftM3Sym3 (a6989586621679545383 :: (~>) a16989586621679545065 ((~>) a26989586621679545066 ((~>) a36989586621679545067 r6989586621679545068))) (a6989586621679545384 :: m6989586621679545064 a16989586621679545065) (a6989586621679545385 :: m6989586621679545064 a26989586621679545066) :: (~>) (m6989586621679545064 a36989586621679545067) (m6989586621679545064 r6989586621679545068) Source #

Instances

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM3Sym3 d1 d2 d3 :: TyFun (m a3) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM3Sym3 d1 d2 d3) Source #
SuppressUnusedWarnings (LiftM3Sym3 a6989586621679545385 a6989586621679545384 a6989586621679545383 :: TyFun (m6989586621679545064 a36989586621679545067) (m6989586621679545064 r6989586621679545068) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM3Sym3 a6989586621679545385 a6989586621679545384 a6989586621679545383 :: TyFun (m a3) (m r) -> Type) (a6989586621679545386 :: m a3) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym3 a6989586621679545385 a6989586621679545384 a6989586621679545383 :: TyFun (m a3) (m r) -> Type) (a6989586621679545386 :: m a3) = LiftM3 a6989586621679545385 a6989586621679545384 a6989586621679545383 a6989586621679545386

type LiftM3Sym4 (a6989586621679545383 :: (~>) a16989586621679545065 ((~>) a26989586621679545066 ((~>) a36989586621679545067 r6989586621679545068))) (a6989586621679545384 :: m6989586621679545064 a16989586621679545065) (a6989586621679545385 :: m6989586621679545064 a26989586621679545066) (a6989586621679545386 :: m6989586621679545064 a36989586621679545067) = LiftM3 a6989586621679545383 a6989586621679545384 a6989586621679545385 a6989586621679545386 Source #

data LiftM4Sym0 :: forall a16989586621679545059 a26989586621679545060 a36989586621679545061 a46989586621679545062 m6989586621679545058 r6989586621679545063. (~>) ((~>) a16989586621679545059 ((~>) a26989586621679545060 ((~>) a36989586621679545061 ((~>) a46989586621679545062 r6989586621679545063)))) ((~>) (m6989586621679545058 a16989586621679545059) ((~>) (m6989586621679545058 a26989586621679545060) ((~>) (m6989586621679545058 a36989586621679545061) ((~>) (m6989586621679545058 a46989586621679545062) (m6989586621679545058 r6989586621679545063))))) Source #

Instances

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

data LiftM4Sym1 (a6989586621679545322 :: (~>) a16989586621679545059 ((~>) a26989586621679545060 ((~>) a36989586621679545061 ((~>) a46989586621679545062 r6989586621679545063)))) :: forall m6989586621679545058. (~>) (m6989586621679545058 a16989586621679545059) ((~>) (m6989586621679545058 a26989586621679545060) ((~>) (m6989586621679545058 a36989586621679545061) ((~>) (m6989586621679545058 a46989586621679545062) (m6989586621679545058 r6989586621679545063)))) Source #

Instances

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

data LiftM4Sym2 (a6989586621679545322 :: (~>) a16989586621679545059 ((~>) a26989586621679545060 ((~>) a36989586621679545061 ((~>) a46989586621679545062 r6989586621679545063)))) (a6989586621679545323 :: m6989586621679545058 a16989586621679545059) :: (~>) (m6989586621679545058 a26989586621679545060) ((~>) (m6989586621679545058 a36989586621679545061) ((~>) (m6989586621679545058 a46989586621679545062) (m6989586621679545058 r6989586621679545063))) Source #

Instances

(SMonad m, SingI d1, SingI d2) => SingI (LiftM4Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym2 d1 d2) Source #
SuppressUnusedWarnings (LiftM4Sym2 a6989586621679545323 a6989586621679545322 :: TyFun (m6989586621679545058 a26989586621679545060) (m6989586621679545058 a36989586621679545061 ~> (m6989586621679545058 a46989586621679545062 ~> m6989586621679545058 r6989586621679545063)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM4Sym2 a6989586621679545323 a6989586621679545322 :: TyFun (m6989586621679545058 a26989586621679545060) (m6989586621679545058 a36989586621679545061 ~> (m6989586621679545058 a46989586621679545062 ~> m6989586621679545058 r6989586621679545063)) -> Type) (a6989586621679545324 :: m6989586621679545058 a26989586621679545060) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym2 a6989586621679545323 a6989586621679545322 :: TyFun (m6989586621679545058 a26989586621679545060) (m6989586621679545058 a36989586621679545061 ~> (m6989586621679545058 a46989586621679545062 ~> m6989586621679545058 r6989586621679545063)) -> Type) (a6989586621679545324 :: m6989586621679545058 a26989586621679545060) = LiftM4Sym3 a6989586621679545323 a6989586621679545322 a6989586621679545324

data LiftM4Sym3 (a6989586621679545322 :: (~>) a16989586621679545059 ((~>) a26989586621679545060 ((~>) a36989586621679545061 ((~>) a46989586621679545062 r6989586621679545063)))) (a6989586621679545323 :: m6989586621679545058 a16989586621679545059) (a6989586621679545324 :: m6989586621679545058 a26989586621679545060) :: (~>) (m6989586621679545058 a36989586621679545061) ((~>) (m6989586621679545058 a46989586621679545062) (m6989586621679545058 r6989586621679545063)) Source #

Instances

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM4Sym3 d1 d2 d3 :: TyFun (m a3) (m a4 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym3 d1 d2 d3) Source #
SuppressUnusedWarnings (LiftM4Sym3 a6989586621679545324 a6989586621679545323 a6989586621679545322 :: TyFun (m6989586621679545058 a36989586621679545061) (m6989586621679545058 a46989586621679545062 ~> m6989586621679545058 r6989586621679545063) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM4Sym3 a6989586621679545324 a6989586621679545323 a6989586621679545322 :: TyFun (m6989586621679545058 a36989586621679545061) (m6989586621679545058 a46989586621679545062 ~> m6989586621679545058 r6989586621679545063) -> Type) (a6989586621679545325 :: m6989586621679545058 a36989586621679545061) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym3 a6989586621679545324 a6989586621679545323 a6989586621679545322 :: TyFun (m6989586621679545058 a36989586621679545061) (m6989586621679545058 a46989586621679545062 ~> m6989586621679545058 r6989586621679545063) -> Type) (a6989586621679545325 :: m6989586621679545058 a36989586621679545061) = LiftM4Sym4 a6989586621679545324 a6989586621679545323 a6989586621679545322 a6989586621679545325

data LiftM4Sym4 (a6989586621679545322 :: (~>) a16989586621679545059 ((~>) a26989586621679545060 ((~>) a36989586621679545061 ((~>) a46989586621679545062 r6989586621679545063)))) (a6989586621679545323 :: m6989586621679545058 a16989586621679545059) (a6989586621679545324 :: m6989586621679545058 a26989586621679545060) (a6989586621679545325 :: m6989586621679545058 a36989586621679545061) :: (~>) (m6989586621679545058 a46989586621679545062) (m6989586621679545058 r6989586621679545063) Source #

Instances

(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4) => SingI (LiftM4Sym4 d1 d2 d3 d4 :: TyFun (m a4) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym4 d1 d2 d3 d4) Source #
SuppressUnusedWarnings (LiftM4Sym4 a6989586621679545325 a6989586621679545324 a6989586621679545323 a6989586621679545322 :: TyFun (m6989586621679545058 a46989586621679545062) (m6989586621679545058 r6989586621679545063) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM4Sym4 a6989586621679545325 a6989586621679545324 a6989586621679545323 a6989586621679545322 :: TyFun (m a4) (m r) -> Type) (a6989586621679545326 :: m a4) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym4 a6989586621679545325 a6989586621679545324 a6989586621679545323 a6989586621679545322 :: TyFun (m a4) (m r) -> Type) (a6989586621679545326 :: m a4) = LiftM4 a6989586621679545325 a6989586621679545324 a6989586621679545323 a6989586621679545322 a6989586621679545326

type LiftM4Sym5 (a6989586621679545322 :: (~>) a16989586621679545059 ((~>) a26989586621679545060 ((~>) a36989586621679545061 ((~>) a46989586621679545062 r6989586621679545063)))) (a6989586621679545323 :: m6989586621679545058 a16989586621679545059) (a6989586621679545324 :: m6989586621679545058 a26989586621679545060) (a6989586621679545325 :: m6989586621679545058 a36989586621679545061) (a6989586621679545326 :: m6989586621679545058 a46989586621679545062) = LiftM4 a6989586621679545322 a6989586621679545323 a6989586621679545324 a6989586621679545325 a6989586621679545326 Source #

data LiftM5Sym0 :: forall a16989586621679545052 a26989586621679545053 a36989586621679545054 a46989586621679545055 a56989586621679545056 m6989586621679545051 r6989586621679545057. (~>) ((~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) ((~>) (m6989586621679545051 a16989586621679545052) ((~>) (m6989586621679545051 a26989586621679545053) ((~>) (m6989586621679545051 a36989586621679545054) ((~>) (m6989586621679545051 a46989586621679545055) ((~>) (m6989586621679545051 a56989586621679545056) (m6989586621679545051 r6989586621679545057)))))) Source #

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) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing LiftM5Sym0 Source #
SuppressUnusedWarnings (LiftM5Sym0 :: TyFun (a16989586621679545052 ~> (a26989586621679545053 ~> (a36989586621679545054 ~> (a46989586621679545055 ~> (a56989586621679545056 ~> r6989586621679545057))))) (m6989586621679545051 a16989586621679545052 ~> (m6989586621679545051 a26989586621679545053 ~> (m6989586621679545051 a36989586621679545054 ~> (m6989586621679545051 a46989586621679545055 ~> (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym0 :: TyFun (a16989586621679545052 ~> (a26989586621679545053 ~> (a36989586621679545054 ~> (a46989586621679545055 ~> (a56989586621679545056 ~> r6989586621679545057))))) (m6989586621679545051 a16989586621679545052 ~> (m6989586621679545051 a26989586621679545053 ~> (m6989586621679545051 a36989586621679545054 ~> (m6989586621679545051 a46989586621679545055 ~> (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057))))) -> Type) (a6989586621679545239 :: a16989586621679545052 ~> (a26989586621679545053 ~> (a36989586621679545054 ~> (a46989586621679545055 ~> (a56989586621679545056 ~> r6989586621679545057))))) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym0 :: TyFun (a16989586621679545052 ~> (a26989586621679545053 ~> (a36989586621679545054 ~> (a46989586621679545055 ~> (a56989586621679545056 ~> r6989586621679545057))))) (m6989586621679545051 a16989586621679545052 ~> (m6989586621679545051 a26989586621679545053 ~> (m6989586621679545051 a36989586621679545054 ~> (m6989586621679545051 a46989586621679545055 ~> (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057))))) -> Type) (a6989586621679545239 :: a16989586621679545052 ~> (a26989586621679545053 ~> (a36989586621679545054 ~> (a46989586621679545055 ~> (a56989586621679545056 ~> r6989586621679545057))))) = (LiftM5Sym1 a6989586621679545239 m6989586621679545051 :: TyFun (m6989586621679545051 a16989586621679545052) (m6989586621679545051 a26989586621679545053 ~> (m6989586621679545051 a36989586621679545054 ~> (m6989586621679545051 a46989586621679545055 ~> (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057)))) -> Type)

data LiftM5Sym1 (a6989586621679545239 :: (~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) :: forall m6989586621679545051. (~>) (m6989586621679545051 a16989586621679545052) ((~>) (m6989586621679545051 a26989586621679545053) ((~>) (m6989586621679545051 a36989586621679545054) ((~>) (m6989586621679545051 a46989586621679545055) ((~>) (m6989586621679545051 a56989586621679545056) (m6989586621679545051 r6989586621679545057))))) Source #

Instances

(SMonad m, SingI d) => SingI (LiftM5Sym1 d m :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym1 d m) Source #
SuppressUnusedWarnings (LiftM5Sym1 a6989586621679545239 m6989586621679545051 :: TyFun (m6989586621679545051 a16989586621679545052) (m6989586621679545051 a26989586621679545053 ~> (m6989586621679545051 a36989586621679545054 ~> (m6989586621679545051 a46989586621679545055 ~> (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym1 a6989586621679545239 m6989586621679545051 :: TyFun (m6989586621679545051 a16989586621679545052) (m6989586621679545051 a26989586621679545053 ~> (m6989586621679545051 a36989586621679545054 ~> (m6989586621679545051 a46989586621679545055 ~> (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057)))) -> Type) (a6989586621679545240 :: m6989586621679545051 a16989586621679545052) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym1 a6989586621679545239 m6989586621679545051 :: TyFun (m6989586621679545051 a16989586621679545052) (m6989586621679545051 a26989586621679545053 ~> (m6989586621679545051 a36989586621679545054 ~> (m6989586621679545051 a46989586621679545055 ~> (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057)))) -> Type) (a6989586621679545240 :: m6989586621679545051 a16989586621679545052) = LiftM5Sym2 a6989586621679545239 a6989586621679545240

data LiftM5Sym2 (a6989586621679545239 :: (~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) (a6989586621679545240 :: m6989586621679545051 a16989586621679545052) :: (~>) (m6989586621679545051 a26989586621679545053) ((~>) (m6989586621679545051 a36989586621679545054) ((~>) (m6989586621679545051 a46989586621679545055) ((~>) (m6989586621679545051 a56989586621679545056) (m6989586621679545051 r6989586621679545057)))) Source #

Instances

(SMonad m, SingI d1, SingI d2) => SingI (LiftM5Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym2 d1 d2) Source #
SuppressUnusedWarnings (LiftM5Sym2 a6989586621679545240 a6989586621679545239 :: TyFun (m6989586621679545051 a26989586621679545053) (m6989586621679545051 a36989586621679545054 ~> (m6989586621679545051 a46989586621679545055 ~> (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym2 a6989586621679545240 a6989586621679545239 :: TyFun (m6989586621679545051 a26989586621679545053) (m6989586621679545051 a36989586621679545054 ~> (m6989586621679545051 a46989586621679545055 ~> (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057))) -> Type) (a6989586621679545241 :: m6989586621679545051 a26989586621679545053) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym2 a6989586621679545240 a6989586621679545239 :: TyFun (m6989586621679545051 a26989586621679545053) (m6989586621679545051 a36989586621679545054 ~> (m6989586621679545051 a46989586621679545055 ~> (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057))) -> Type) (a6989586621679545241 :: m6989586621679545051 a26989586621679545053) = LiftM5Sym3 a6989586621679545240 a6989586621679545239 a6989586621679545241

data LiftM5Sym3 (a6989586621679545239 :: (~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) (a6989586621679545240 :: m6989586621679545051 a16989586621679545052) (a6989586621679545241 :: m6989586621679545051 a26989586621679545053) :: (~>) (m6989586621679545051 a36989586621679545054) ((~>) (m6989586621679545051 a46989586621679545055) ((~>) (m6989586621679545051 a56989586621679545056) (m6989586621679545051 r6989586621679545057))) Source #

Instances

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM5Sym3 d1 d2 d3 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym3 d1 d2 d3) Source #
SuppressUnusedWarnings (LiftM5Sym3 a6989586621679545241 a6989586621679545240 a6989586621679545239 :: TyFun (m6989586621679545051 a36989586621679545054) (m6989586621679545051 a46989586621679545055 ~> (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym3 a6989586621679545241 a6989586621679545240 a6989586621679545239 :: TyFun (m6989586621679545051 a36989586621679545054) (m6989586621679545051 a46989586621679545055 ~> (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057)) -> Type) (a6989586621679545242 :: m6989586621679545051 a36989586621679545054) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym3 a6989586621679545241 a6989586621679545240 a6989586621679545239 :: TyFun (m6989586621679545051 a36989586621679545054) (m6989586621679545051 a46989586621679545055 ~> (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057)) -> Type) (a6989586621679545242 :: m6989586621679545051 a36989586621679545054) = LiftM5Sym4 a6989586621679545241 a6989586621679545240 a6989586621679545239 a6989586621679545242

data LiftM5Sym4 (a6989586621679545239 :: (~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) (a6989586621679545240 :: m6989586621679545051 a16989586621679545052) (a6989586621679545241 :: m6989586621679545051 a26989586621679545053) (a6989586621679545242 :: m6989586621679545051 a36989586621679545054) :: (~>) (m6989586621679545051 a46989586621679545055) ((~>) (m6989586621679545051 a56989586621679545056) (m6989586621679545051 r6989586621679545057)) Source #

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) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym4 d1 d2 d3 d4) Source #
SuppressUnusedWarnings (LiftM5Sym4 a6989586621679545242 a6989586621679545241 a6989586621679545240 a6989586621679545239 :: TyFun (m6989586621679545051 a46989586621679545055) (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym4 a6989586621679545242 a6989586621679545241 a6989586621679545240 a6989586621679545239 :: TyFun (m6989586621679545051 a46989586621679545055) (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057) -> Type) (a6989586621679545243 :: m6989586621679545051 a46989586621679545055) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym4 a6989586621679545242 a6989586621679545241 a6989586621679545240 a6989586621679545239 :: TyFun (m6989586621679545051 a46989586621679545055) (m6989586621679545051 a56989586621679545056 ~> m6989586621679545051 r6989586621679545057) -> Type) (a6989586621679545243 :: m6989586621679545051 a46989586621679545055) = LiftM5Sym5 a6989586621679545242 a6989586621679545241 a6989586621679545240 a6989586621679545239 a6989586621679545243

data LiftM5Sym5 (a6989586621679545239 :: (~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) (a6989586621679545240 :: m6989586621679545051 a16989586621679545052) (a6989586621679545241 :: m6989586621679545051 a26989586621679545053) (a6989586621679545242 :: m6989586621679545051 a36989586621679545054) (a6989586621679545243 :: m6989586621679545051 a46989586621679545055) :: (~>) (m6989586621679545051 a56989586621679545056) (m6989586621679545051 r6989586621679545057) Source #

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) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym5 d1 d2 d3 d4 d5) Source #
SuppressUnusedWarnings (LiftM5Sym5 a6989586621679545243 a6989586621679545242 a6989586621679545241 a6989586621679545240 a6989586621679545239 :: TyFun (m6989586621679545051 a56989586621679545056) (m6989586621679545051 r6989586621679545057) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym5 a6989586621679545243 a6989586621679545242 a6989586621679545241 a6989586621679545240 a6989586621679545239 :: TyFun (m a5) (m r) -> Type) (a6989586621679545244 :: m a5) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym5 a6989586621679545243 a6989586621679545242 a6989586621679545241 a6989586621679545240 a6989586621679545239 :: TyFun (m a5) (m r) -> Type) (a6989586621679545244 :: m a5) = LiftM5 a6989586621679545243 a6989586621679545242 a6989586621679545241 a6989586621679545240 a6989586621679545239 a6989586621679545244

type LiftM5Sym6 (a6989586621679545239 :: (~>) a16989586621679545052 ((~>) a26989586621679545053 ((~>) a36989586621679545054 ((~>) a46989586621679545055 ((~>) a56989586621679545056 r6989586621679545057))))) (a6989586621679545240 :: m6989586621679545051 a16989586621679545052) (a6989586621679545241 :: m6989586621679545051 a26989586621679545053) (a6989586621679545242 :: m6989586621679545051 a36989586621679545054) (a6989586621679545243 :: m6989586621679545051 a46989586621679545055) (a6989586621679545244 :: m6989586621679545051 a56989586621679545056) = LiftM5 a6989586621679545239 a6989586621679545240 a6989586621679545241 a6989586621679545242 a6989586621679545243 a6989586621679545244 Source #

data ApSym0 :: forall a6989586621679545049 b6989586621679545050 m6989586621679545048. (~>) (m6989586621679545048 ((~>) a6989586621679545049 b6989586621679545050)) ((~>) (m6989586621679545048 a6989586621679545049) (m6989586621679545048 b6989586621679545050)) Source #

Instances

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

data ApSym1 (a6989586621679545218 :: m6989586621679545048 ((~>) a6989586621679545049 b6989586621679545050)) :: (~>) (m6989586621679545048 a6989586621679545049) (m6989586621679545048 b6989586621679545050) Source #

Instances

(SMonad m, SingI d) => SingI (ApSym1 d :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (ApSym1 d) Source #
SuppressUnusedWarnings (ApSym1 a6989586621679545218 :: TyFun (m6989586621679545048 a6989586621679545049) (m6989586621679545048 b6989586621679545050) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (ApSym1 a6989586621679545218 :: TyFun (m a) (m b) -> Type) (a6989586621679545219 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (ApSym1 a6989586621679545218 :: TyFun (m a) (m b) -> Type) (a6989586621679545219 :: m a) = Ap a6989586621679545218 a6989586621679545219

type ApSym2 (a6989586621679545218 :: m6989586621679545048 ((~>) a6989586621679545049 b6989586621679545050)) (a6989586621679545219 :: m6989586621679545048 a6989586621679545049) = Ap a6989586621679545218 a6989586621679545219 Source #

data (<$!>@#@$) :: forall a6989586621681211306 b6989586621681211307 m6989586621681211305. (~>) ((~>) a6989586621681211306 b6989586621681211307) ((~>) (m6989586621681211305 a6989586621681211306) (m6989586621681211305 b6989586621681211307)) infixl 4 Source #

Instances

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

data (<$!>@#@$$) (a6989586621681211659 :: (~>) a6989586621681211306 b6989586621681211307) :: forall m6989586621681211305. (~>) (m6989586621681211305 a6989586621681211306) (m6989586621681211305 b6989586621681211307) infixl 4 Source #

Instances

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

type (<$!>@#@$$$) (a6989586621681211659 :: (~>) a6989586621681211306 b6989586621681211307) (a6989586621681211660 :: m6989586621681211305 a6989586621681211306) = (<$!>) a6989586621681211659 a6989586621681211660 Source #

Orphan instances

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