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 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
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)
class 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)
class PMonadFail (m :: Type -> Type) where
- type Fail (arg :: [Char]) :: m a
class SMonad m => SMonadFail (m :: Type -> Type) where
- sFail :: forall a (t :: [Char]). Sing t -> Sing (Apply FailSym0 t :: m a)
type family MapM (arg :: (~>) a (m b)) (arg :: t a) :: m (t b)
sMapM :: forall a m b (t :: (~>) a (m b)) (t :: t a). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t :: m (t b))
type family MapM_ (a :: (~>) a (m b)) (a :: t a) :: m () where ...
sMapM_ :: forall a m b t (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ())
type family ForM (a :: t a) (a :: (~>) a (m b)) :: m (t b) where ...
sForM :: forall t a m b (t :: t a) (t :: (~>) a (m b)). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForMSym0 t) t :: m (t b))
type family Sequence (arg :: t (m a)) :: m (t a)
sSequence :: forall m a (t :: t (m a)). (STraversable t, SMonad m) => Sing t -> Sing (Apply SequenceSym0 t :: m (t a))
type family Sequence_ (a :: 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 a m b (t :: (~>) a (m b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (=<<@#@$) t) t :: m b)
type family ((a :: (~>) a (m b)) >=> (a :: (~>) b (m c))) (a :: a) :: m c where ...
(%>=>) :: forall a m b c (t :: (~>) a (m b)) (t :: (~>) b (m c)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (>=>@#@$) t) t) t :: m c)
type family ((a :: (~>) b (m c)) <=< (a :: (~>) a (m b))) (a :: a) :: m c where ...
(%<=<) :: forall b m c a (t :: (~>) b (m c)) (t :: (~>) a (m b)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (<=<@#@$) t) t) t :: m c)
type family Void (a :: 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 a m (t :: (~>) a Bool) (t :: m a). SMonadPlus m => Sing t -> Sing t -> Sing (Apply (Apply MfilterSym0 t) t :: m a)
type family FilterM (a :: (~>) a (m Bool)) (a :: [a]) :: m [a] where ...
sFilterM :: forall a m (t :: (~>) a (m Bool)) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply FilterMSym0 t) t :: m [a])
type family MapAndUnzipM (a :: (~>) a (m (b, c))) (a :: [a]) :: m ([b], [c]) where ...
sMapAndUnzipM :: forall a m b c (t :: (~>) a (m (b, c))) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply MapAndUnzipMSym0 t) t :: m ([b], [c]))
type family ZipWithM (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m [c] where ...
sZipWithM :: forall a b m c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithMSym0 t) t) t :: m [c])
type family ZipWithM_ (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m () where ...
sZipWithM_ :: forall a b m c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithM_Sym0 t) t) t :: m ())
type family FoldlM (a :: (~>) b ((~>) a (m b))) (a :: b) (a :: t a) :: m b where ...
sFoldlM :: forall b a m t (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b)
type family ReplicateM (a :: 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 a1 r m (t :: (~>) a1 r) (t :: m a1). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply LiftMSym0 t) t :: m r)
type family LiftM2 (a :: (~>) a1 ((~>) a2 r)) (a :: m a1) (a :: m a2) :: m r where ...
sLiftM2 :: forall a1 a2 r m (t :: (~>) a1 ((~>) a2 r)) (t :: m a1) (t :: m a2). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftM2Sym0 t) t) t :: m r)
type family LiftM3 (a :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a :: m a1) (a :: m a2) (a :: m a3) :: m r where ...
sLiftM3 :: forall a1 a2 a3 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 r))) (t :: m a1) (t :: m a2) (t :: m a3). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply LiftM3Sym0 t) t) t) t :: m r)
type family LiftM4 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) :: m r where ...
sLiftM4 :: forall a1 a2 a3 a4 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply LiftM4Sym0 t) t) t) t) t :: m r)
type family LiftM5 (a :: (~>) 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 a1 a2 a3 a4 a5 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4) (t :: m a5). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply LiftM5Sym0 t) t) t) t) t) t :: m r)
type family Ap (a :: 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 a b m (t :: (~>) a b) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (<$!>@#@$) t) t :: m b)
data FmapSym0 :: forall a6989586621679570820 b6989586621679570821 f6989586621679570819. (~>) ((~>) a6989586621679570820 b6989586621679570821) ((~>) (f6989586621679570819 a6989586621679570820) (f6989586621679570819 b6989586621679570821))
data FmapSym1 (arg6989586621679571211 :: (~>) a6989586621679570820 b6989586621679570821) :: forall f6989586621679570819. (~>) (f6989586621679570819 a6989586621679570820) (f6989586621679570819 b6989586621679570821)
type FmapSym2 (arg6989586621679571211 :: (~>) a6989586621679570820 b6989586621679570821) (arg6989586621679571212 :: f6989586621679570819 a6989586621679570820) = Fmap arg6989586621679571211 arg6989586621679571212
data (>>=@#@$) :: forall m6989586621679570848 a6989586621679570849 b6989586621679570850. (~>) (m6989586621679570848 a6989586621679570849) ((~>) ((~>) a6989586621679570849 (m6989586621679570848 b6989586621679570850)) (m6989586621679570848 b6989586621679570850))
data (>>=@#@$$) (arg6989586621679571318 :: m6989586621679570848 a6989586621679570849) :: forall b6989586621679570850. (~>) ((~>) a6989586621679570849 (m6989586621679570848 b6989586621679570850)) (m6989586621679570848 b6989586621679570850)
type (>>=@#@$$$) (arg6989586621679571318 :: m6989586621679570848 a6989586621679570849) (arg6989586621679571319 :: (~>) a6989586621679570849 (m6989586621679570848 b6989586621679570850)) = (>>=) arg6989586621679571318 arg6989586621679571319
data (>>@#@$) :: forall m6989586621679570848 a6989586621679570851 b6989586621679570852. (~>) (m6989586621679570848 a6989586621679570851) ((~>) (m6989586621679570848 b6989586621679570852) (m6989586621679570848 b6989586621679570852))
data (>>@#@$$) (arg6989586621679571322 :: m6989586621679570848 a6989586621679570851) :: forall b6989586621679570852. (~>) (m6989586621679570848 b6989586621679570852) (m6989586621679570848 b6989586621679570852)
type (>>@#@$$$) (arg6989586621679571322 :: m6989586621679570848 a6989586621679570851) (arg6989586621679571323 :: m6989586621679570848 b6989586621679570852) = (>>) arg6989586621679571322 arg6989586621679571323
data ReturnSym0 :: forall a6989586621679570853 m6989586621679570848. (~>) a6989586621679570853 (m6989586621679570848 a6989586621679570853)
type ReturnSym1 (arg6989586621679571326 :: a6989586621679570853) = Return arg6989586621679571326
data FailSym0 :: forall m6989586621679738911 a6989586621679738912. (~>) [Char] (m6989586621679738911 a6989586621679738912)
type FailSym1 (arg6989586621679738931 :: [Char]) = Fail arg6989586621679738931
type MzeroSym0 = Mzero
data MplusSym0 :: forall m6989586621679570902 a6989586621679570904. (~>) (m6989586621679570902 a6989586621679570904) ((~>) (m6989586621679570902 a6989586621679570904) (m6989586621679570902 a6989586621679570904))
data MplusSym1 (arg6989586621679571363 :: m6989586621679570902 a6989586621679570904) :: (~>) (m6989586621679570902 a6989586621679570904) (m6989586621679570902 a6989586621679570904)
type MplusSym2 (arg6989586621679571363 :: m6989586621679570902 a6989586621679570904) (arg6989586621679571364 :: m6989586621679570902 a6989586621679570904) = Mplus arg6989586621679571363 arg6989586621679571364
data MapMSym0 :: forall a6989586621680798700 m6989586621680798699 b6989586621680798701 t6989586621680798693. (~>) ((~>) a6989586621680798700 (m6989586621680798699 b6989586621680798701)) ((~>) (t6989586621680798693 a6989586621680798700) (m6989586621680798699 (t6989586621680798693 b6989586621680798701)))
data MapMSym1 (arg6989586621680798711 :: (~>) a6989586621680798700 (m6989586621680798699 b6989586621680798701)) :: forall t6989586621680798693. (~>) (t6989586621680798693 a6989586621680798700) (m6989586621680798699 (t6989586621680798693 b6989586621680798701))
type MapMSym2 (arg6989586621680798711 :: (~>) a6989586621680798700 (m6989586621680798699 b6989586621680798701)) (arg6989586621680798712 :: t6989586621680798693 a6989586621680798700) = MapM arg6989586621680798711 arg6989586621680798712
data MapM_Sym0 :: forall a6989586621680490447 m6989586621680490446 b6989586621680490448 t6989586621680490445. (~>) ((~>) a6989586621680490447 (m6989586621680490446 b6989586621680490448)) ((~>) (t6989586621680490445 a6989586621680490447) (m6989586621680490446 ()))
data MapM_Sym1 (a6989586621680491051 :: (~>) a6989586621680490447 (m6989586621680490446 b6989586621680490448)) :: forall t6989586621680490445. (~>) (t6989586621680490445 a6989586621680490447) (m6989586621680490446 ())
type MapM_Sym2 (a6989586621680491051 :: (~>) a6989586621680490447 (m6989586621680490446 b6989586621680490448)) (a6989586621680491052 :: t6989586621680490445 a6989586621680490447) = MapM_ a6989586621680491051 a6989586621680491052
data ForMSym0 :: forall t6989586621680804230 a6989586621680804232 m6989586621680804231 b6989586621680804233. (~>) (t6989586621680804230 a6989586621680804232) ((~>) ((~>) a6989586621680804232 (m6989586621680804231 b6989586621680804233)) (m6989586621680804231 (t6989586621680804230 b6989586621680804233)))
data ForMSym1 (a6989586621680804751 :: t6989586621680804230 a6989586621680804232) :: forall m6989586621680804231 b6989586621680804233. (~>) ((~>) a6989586621680804232 (m6989586621680804231 b6989586621680804233)) (m6989586621680804231 (t6989586621680804230 b6989586621680804233))
type ForMSym2 (a6989586621680804751 :: t6989586621680804230 a6989586621680804232) (a6989586621680804752 :: (~>) a6989586621680804232 (m6989586621680804231 b6989586621680804233)) = ForM a6989586621680804751 a6989586621680804752
data SequenceSym0 :: forall t6989586621680798693 m6989586621680798702 a6989586621680798703. (~>) (t6989586621680798693 (m6989586621680798702 a6989586621680798703)) (m6989586621680798702 (t6989586621680798693 a6989586621680798703))
type SequenceSym1 (arg6989586621680798715 :: t6989586621680798693 (m6989586621680798702 a6989586621680798703)) = Sequence arg6989586621680798715
data Sequence_Sym0 :: forall t6989586621680490435 m6989586621680490436 a6989586621680490437. (~>) (t6989586621680490435 (m6989586621680490436 a6989586621680490437)) (m6989586621680490436 ())
type Sequence_Sym1 (a6989586621680491033 :: t6989586621680490435 (m6989586621680490436 a6989586621680490437)) = Sequence_ a6989586621680491033
data (=<<@#@$) :: forall a6989586621679570772 m6989586621679570771 b6989586621679570773. (~>) ((~>) a6989586621679570772 (m6989586621679570771 b6989586621679570773)) ((~>) (m6989586621679570771 a6989586621679570772) (m6989586621679570771 b6989586621679570773))
data (=<<@#@$$) (a6989586621679571164 :: (~>) a6989586621679570772 (m6989586621679570771 b6989586621679570773)) :: (~>) (m6989586621679570771 a6989586621679570772) (m6989586621679570771 b6989586621679570773)
type (=<<@#@$$$) (a6989586621679571164 :: (~>) a6989586621679570772 (m6989586621679570771 b6989586621679570773)) (a6989586621679571165 :: m6989586621679570771 a6989586621679570772) = (=<<) a6989586621679571164 a6989586621679571165
data (>=>@#@$) :: forall a6989586621681274793 m6989586621681274792 b6989586621681274794 c6989586621681274795. (~>) ((~>) a6989586621681274793 (m6989586621681274792 b6989586621681274794)) ((~>) ((~>) b6989586621681274794 (m6989586621681274792 c6989586621681274795)) ((~>) a6989586621681274793 (m6989586621681274792 c6989586621681274795)))
data (>=>@#@$$) (a6989586621681275225 :: (~>) a6989586621681274793 (m6989586621681274792 b6989586621681274794)) :: forall c6989586621681274795. (~>) ((~>) b6989586621681274794 (m6989586621681274792 c6989586621681274795)) ((~>) a6989586621681274793 (m6989586621681274792 c6989586621681274795))
data (a6989586621681275225 :: (~>) a6989586621681274793 (m6989586621681274792 b6989586621681274794)) >=>@#@$$$ (a6989586621681275226 :: (~>) b6989586621681274794 (m6989586621681274792 c6989586621681274795)) :: (~>) a6989586621681274793 (m6989586621681274792 c6989586621681274795)
data (<=<@#@$) :: forall b6989586621681274789 m6989586621681274788 c6989586621681274790 a6989586621681274791. (~>) ((~>) b6989586621681274789 (m6989586621681274788 c6989586621681274790)) ((~>) ((~>) a6989586621681274791 (m6989586621681274788 b6989586621681274789)) ((~>) a6989586621681274791 (m6989586621681274788 c6989586621681274790)))
data (<=<@#@$$) (a6989586621681275216 :: (~>) b6989586621681274789 (m6989586621681274788 c6989586621681274790)) :: forall a6989586621681274791. (~>) ((~>) a6989586621681274791 (m6989586621681274788 b6989586621681274789)) ((~>) a6989586621681274791 (m6989586621681274788 c6989586621681274790))
data (a6989586621681275216 :: (~>) b6989586621681274789 (m6989586621681274788 c6989586621681274790)) <=<@#@$$$ (a6989586621681275217 :: (~>) a6989586621681274791 (m6989586621681274788 b6989586621681274789)) :: (~>) a6989586621681274791 (m6989586621681274788 c6989586621681274790)
data VoidSym0 :: forall f6989586621679740987 a6989586621679740988. (~>) (f6989586621679740987 a6989586621679740988) (f6989586621679740987 ())
type VoidSym1 (a6989586621679741054 :: f6989586621679740987 a6989586621679740988) = Void a6989586621679741054
data JoinSym0 :: forall m6989586621679570774 a6989586621679570775. (~>) (m6989586621679570774 (m6989586621679570774 a6989586621679570775)) (m6989586621679570774 a6989586621679570775)
type JoinSym1 (a6989586621679571170 :: m6989586621679570774 (m6989586621679570774 a6989586621679570775)) = Join a6989586621679571170
data MsumSym0 :: forall t6989586621680490429 m6989586621680490430 a6989586621680490431. (~>) (t6989586621680490429 (m6989586621680490430 a6989586621680490431)) (m6989586621680490430 a6989586621680490431)
type MsumSym1 (a6989586621680491023 :: t6989586621680490429 (m6989586621680490430 a6989586621680490431)) = Msum a6989586621680491023
data MfilterSym0 :: forall a6989586621681274759 m6989586621681274758. (~>) ((~>) a6989586621681274759 Bool) ((~>) (m6989586621681274758 a6989586621681274759) (m6989586621681274758 a6989586621681274759))
data MfilterSym1 (a6989586621681275078 :: (~>) a6989586621681274759 Bool) :: forall m6989586621681274758. (~>) (m6989586621681274758 a6989586621681274759) (m6989586621681274758 a6989586621681274759)
type MfilterSym2 (a6989586621681275078 :: (~>) a6989586621681274759 Bool) (a6989586621681275079 :: m6989586621681274758 a6989586621681274759) = Mfilter a6989586621681275078 a6989586621681275079
data FilterMSym0 :: forall a6989586621681274797 m6989586621681274796. (~>) ((~>) a6989586621681274797 (m6989586621681274796 Bool)) ((~>) [a6989586621681274797] (m6989586621681274796 [a6989586621681274797]))
data FilterMSym1 (a6989586621681275244 :: (~>) a6989586621681274797 (m6989586621681274796 Bool)) :: (~>) [a6989586621681274797] (m6989586621681274796 [a6989586621681274797])
type FilterMSym2 (a6989586621681275244 :: (~>) a6989586621681274797 (m6989586621681274796 Bool)) (a6989586621681275245 :: [a6989586621681274797]) = FilterM a6989586621681275244 a6989586621681275245
data MapAndUnzipMSym0 :: forall a6989586621681274785 m6989586621681274784 b6989586621681274786 c6989586621681274787. (~>) ((~>) a6989586621681274785 (m6989586621681274784 (b6989586621681274786, c6989586621681274787))) ((~>) [a6989586621681274785] (m6989586621681274784 ([b6989586621681274786], [c6989586621681274787])))
data MapAndUnzipMSym1 (a6989586621681275204 :: (~>) a6989586621681274785 (m6989586621681274784 (b6989586621681274786, c6989586621681274787))) :: (~>) [a6989586621681274785] (m6989586621681274784 ([b6989586621681274786], [c6989586621681274787]))
type MapAndUnzipMSym2 (a6989586621681275204 :: (~>) a6989586621681274785 (m6989586621681274784 (b6989586621681274786, c6989586621681274787))) (a6989586621681275205 :: [a6989586621681274785]) = MapAndUnzipM a6989586621681275204 a6989586621681275205
data ZipWithMSym0 :: forall a6989586621681274781 b6989586621681274782 m6989586621681274780 c6989586621681274783. (~>) ((~>) a6989586621681274781 ((~>) b6989586621681274782 (m6989586621681274780 c6989586621681274783))) ((~>) [a6989586621681274781] ((~>) [b6989586621681274782] (m6989586621681274780 [c6989586621681274783])))
data ZipWithMSym1 (a6989586621681275195 :: (~>) a6989586621681274781 ((~>) b6989586621681274782 (m6989586621681274780 c6989586621681274783))) :: (~>) [a6989586621681274781] ((~>) [b6989586621681274782] (m6989586621681274780 [c6989586621681274783]))
data ZipWithMSym2 (a6989586621681275195 :: (~>) a6989586621681274781 ((~>) b6989586621681274782 (m6989586621681274780 c6989586621681274783))) (a6989586621681275196 :: [a6989586621681274781]) :: (~>) [b6989586621681274782] (m6989586621681274780 [c6989586621681274783])
type ZipWithMSym3 (a6989586621681275195 :: (~>) a6989586621681274781 ((~>) b6989586621681274782 (m6989586621681274780 c6989586621681274783))) (a6989586621681275196 :: [a6989586621681274781]) (a6989586621681275197 :: [b6989586621681274782]) = ZipWithM a6989586621681275195 a6989586621681275196 a6989586621681275197
data ZipWithM_Sym0 :: forall a6989586621681274777 b6989586621681274778 m6989586621681274776 c6989586621681274779. (~>) ((~>) a6989586621681274777 ((~>) b6989586621681274778 (m6989586621681274776 c6989586621681274779))) ((~>) [a6989586621681274777] ((~>) [b6989586621681274778] (m6989586621681274776 ())))
data ZipWithM_Sym1 (a6989586621681275186 :: (~>) a6989586621681274777 ((~>) b6989586621681274778 (m6989586621681274776 c6989586621681274779))) :: (~>) [a6989586621681274777] ((~>) [b6989586621681274778] (m6989586621681274776 ()))
data ZipWithM_Sym2 (a6989586621681275186 :: (~>) a6989586621681274777 ((~>) b6989586621681274778 (m6989586621681274776 c6989586621681274779))) (a6989586621681275187 :: [a6989586621681274777]) :: (~>) [b6989586621681274778] (m6989586621681274776 ())
type ZipWithM_Sym3 (a6989586621681275186 :: (~>) a6989586621681274777 ((~>) b6989586621681274778 (m6989586621681274776 c6989586621681274779))) (a6989586621681275187 :: [a6989586621681274777]) (a6989586621681275188 :: [b6989586621681274778]) = ZipWithM_ a6989586621681275186 a6989586621681275187 a6989586621681275188
data FoldlMSym0 :: forall b6989586621680490459 a6989586621680490460 m6989586621680490458 t6989586621680490457. (~>) ((~>) b6989586621680490459 ((~>) a6989586621680490460 (m6989586621680490458 b6989586621680490459))) ((~>) b6989586621680490459 ((~>) (t6989586621680490457 a6989586621680490460) (m6989586621680490458 b6989586621680490459)))
data FoldlMSym1 (a6989586621680491077 :: (~>) b6989586621680490459 ((~>) a6989586621680490460 (m6989586621680490458 b6989586621680490459))) :: forall t6989586621680490457. (~>) b6989586621680490459 ((~>) (t6989586621680490457 a6989586621680490460) (m6989586621680490458 b6989586621680490459))
data FoldlMSym2 (a6989586621680491077 :: (~>) b6989586621680490459 ((~>) a6989586621680490460 (m6989586621680490458 b6989586621680490459))) (a6989586621680491078 :: b6989586621680490459) :: forall t6989586621680490457. (~>) (t6989586621680490457 a6989586621680490460) (m6989586621680490458 b6989586621680490459)
type FoldlMSym3 (a6989586621680491077 :: (~>) b6989586621680490459 ((~>) a6989586621680490460 (m6989586621680490458 b6989586621680490459))) (a6989586621680491078 :: b6989586621680490459) (a6989586621680491079 :: t6989586621680490457 a6989586621680490460) = FoldlM a6989586621680491077 a6989586621680491078 a6989586621680491079
data ReplicateMSym0 :: forall m6989586621681274766 a6989586621681274767. (~>) Nat ((~>) (m6989586621681274766 a6989586621681274767) (m6989586621681274766 [a6989586621681274767]))
data ReplicateMSym1 (a6989586621681275143 :: Nat) :: forall m6989586621681274766 a6989586621681274767. (~>) (m6989586621681274766 a6989586621681274767) (m6989586621681274766 [a6989586621681274767])
type ReplicateMSym2 (a6989586621681275143 :: Nat) (a6989586621681275144 :: m6989586621681274766 a6989586621681274767) = ReplicateM a6989586621681275143 a6989586621681275144
data ReplicateM_Sym0 :: forall m6989586621681274764 a6989586621681274765. (~>) Nat ((~>) (m6989586621681274764 a6989586621681274765) (m6989586621681274764 ()))
data ReplicateM_Sym1 (a6989586621681275124 :: Nat) :: forall m6989586621681274764 a6989586621681274765. (~>) (m6989586621681274764 a6989586621681274765) (m6989586621681274764 ())
type ReplicateM_Sym2 (a6989586621681275124 :: Nat) (a6989586621681275125 :: m6989586621681274764 a6989586621681274765) = ReplicateM_ a6989586621681275124 a6989586621681275125
data GuardSym0 :: forall f6989586621679570741. (~>) Bool (f6989586621679570741 ())
type GuardSym1 (a6989586621679570907 :: Bool) = Guard a6989586621679570907
data WhenSym0 :: forall f6989586621679570770. (~>) Bool ((~>) (f6989586621679570770 ()) (f6989586621679570770 ()))
data WhenSym1 (a6989586621679571155 :: Bool) :: forall f6989586621679570770. (~>) (f6989586621679570770 ()) (f6989586621679570770 ())
type WhenSym2 (a6989586621679571155 :: Bool) (a6989586621679571156 :: f6989586621679570770 ()) = When a6989586621679571155 a6989586621679571156
data UnlessSym0 :: forall f6989586621681274763. (~>) Bool ((~>) (f6989586621681274763 ()) (f6989586621681274763 ()))
data UnlessSym1 (a6989586621681275115 :: Bool) :: forall f6989586621681274763. (~>) (f6989586621681274763 ()) (f6989586621681274763 ())
type UnlessSym2 (a6989586621681275115 :: Bool) (a6989586621681275116 :: f6989586621681274763 ()) = Unless a6989586621681275115 a6989586621681275116
data LiftMSym0 :: forall a16989586621679570768 r6989586621679570769 m6989586621679570767. (~>) ((~>) a16989586621679570768 r6989586621679570769) ((~>) (m6989586621679570767 a16989586621679570768) (m6989586621679570767 r6989586621679570769))
data LiftMSym1 (a6989586621679571142 :: (~>) a16989586621679570768 r6989586621679570769) :: forall m6989586621679570767. (~>) (m6989586621679570767 a16989586621679570768) (m6989586621679570767 r6989586621679570769)
type LiftMSym2 (a6989586621679571142 :: (~>) a16989586621679570768 r6989586621679570769) (a6989586621679571143 :: m6989586621679570767 a16989586621679570768) = LiftM a6989586621679571142 a6989586621679571143
data LiftM2Sym0 :: forall a16989586621679570764 a26989586621679570765 r6989586621679570766 m6989586621679570763. (~>) ((~>) a16989586621679570764 ((~>) a26989586621679570765 r6989586621679570766)) ((~>) (m6989586621679570763 a16989586621679570764) ((~>) (m6989586621679570763 a26989586621679570765) (m6989586621679570763 r6989586621679570766)))
data LiftM2Sym1 (a6989586621679571116 :: (~>) a16989586621679570764 ((~>) a26989586621679570765 r6989586621679570766)) :: forall m6989586621679570763. (~>) (m6989586621679570763 a16989586621679570764) ((~>) (m6989586621679570763 a26989586621679570765) (m6989586621679570763 r6989586621679570766))
data LiftM2Sym2 (a6989586621679571116 :: (~>) a16989586621679570764 ((~>) a26989586621679570765 r6989586621679570766)) (a6989586621679571117 :: m6989586621679570763 a16989586621679570764) :: (~>) (m6989586621679570763 a26989586621679570765) (m6989586621679570763 r6989586621679570766)
type LiftM2Sym3 (a6989586621679571116 :: (~>) a16989586621679570764 ((~>) a26989586621679570765 r6989586621679570766)) (a6989586621679571117 :: m6989586621679570763 a16989586621679570764) (a6989586621679571118 :: m6989586621679570763 a26989586621679570765) = LiftM2 a6989586621679571116 a6989586621679571117 a6989586621679571118
data LiftM3Sym0 :: forall a16989586621679570759 a26989586621679570760 a36989586621679570761 r6989586621679570762 m6989586621679570758. (~>) ((~>) a16989586621679570759 ((~>) a26989586621679570760 ((~>) a36989586621679570761 r6989586621679570762))) ((~>) (m6989586621679570758 a16989586621679570759) ((~>) (m6989586621679570758 a26989586621679570760) ((~>) (m6989586621679570758 a36989586621679570761) (m6989586621679570758 r6989586621679570762))))
data LiftM3Sym1 (a6989586621679571074 :: (~>) a16989586621679570759 ((~>) a26989586621679570760 ((~>) a36989586621679570761 r6989586621679570762))) :: forall m6989586621679570758. (~>) (m6989586621679570758 a16989586621679570759) ((~>) (m6989586621679570758 a26989586621679570760) ((~>) (m6989586621679570758 a36989586621679570761) (m6989586621679570758 r6989586621679570762)))
data LiftM3Sym2 (a6989586621679571074 :: (~>) a16989586621679570759 ((~>) a26989586621679570760 ((~>) a36989586621679570761 r6989586621679570762))) (a6989586621679571075 :: m6989586621679570758 a16989586621679570759) :: (~>) (m6989586621679570758 a26989586621679570760) ((~>) (m6989586621679570758 a36989586621679570761) (m6989586621679570758 r6989586621679570762))
data LiftM3Sym3 (a6989586621679571074 :: (~>) a16989586621679570759 ((~>) a26989586621679570760 ((~>) a36989586621679570761 r6989586621679570762))) (a6989586621679571075 :: m6989586621679570758 a16989586621679570759) (a6989586621679571076 :: m6989586621679570758 a26989586621679570760) :: (~>) (m6989586621679570758 a36989586621679570761) (m6989586621679570758 r6989586621679570762)
type LiftM3Sym4 (a6989586621679571074 :: (~>) a16989586621679570759 ((~>) a26989586621679570760 ((~>) a36989586621679570761 r6989586621679570762))) (a6989586621679571075 :: m6989586621679570758 a16989586621679570759) (a6989586621679571076 :: m6989586621679570758 a26989586621679570760) (a6989586621679571077 :: m6989586621679570758 a36989586621679570761) = LiftM3 a6989586621679571074 a6989586621679571075 a6989586621679571076 a6989586621679571077
data LiftM4Sym0 :: forall a16989586621679570753 a26989586621679570754 a36989586621679570755 a46989586621679570756 r6989586621679570757 m6989586621679570752. (~>) ((~>) a16989586621679570753 ((~>) a26989586621679570754 ((~>) a36989586621679570755 ((~>) a46989586621679570756 r6989586621679570757)))) ((~>) (m6989586621679570752 a16989586621679570753) ((~>) (m6989586621679570752 a26989586621679570754) ((~>) (m6989586621679570752 a36989586621679570755) ((~>) (m6989586621679570752 a46989586621679570756) (m6989586621679570752 r6989586621679570757)))))
data LiftM4Sym1 (a6989586621679571013 :: (~>) a16989586621679570753 ((~>) a26989586621679570754 ((~>) a36989586621679570755 ((~>) a46989586621679570756 r6989586621679570757)))) :: forall m6989586621679570752. (~>) (m6989586621679570752 a16989586621679570753) ((~>) (m6989586621679570752 a26989586621679570754) ((~>) (m6989586621679570752 a36989586621679570755) ((~>) (m6989586621679570752 a46989586621679570756) (m6989586621679570752 r6989586621679570757))))
data LiftM4Sym2 (a6989586621679571013 :: (~>) a16989586621679570753 ((~>) a26989586621679570754 ((~>) a36989586621679570755 ((~>) a46989586621679570756 r6989586621679570757)))) (a6989586621679571014 :: m6989586621679570752 a16989586621679570753) :: (~>) (m6989586621679570752 a26989586621679570754) ((~>) (m6989586621679570752 a36989586621679570755) ((~>) (m6989586621679570752 a46989586621679570756) (m6989586621679570752 r6989586621679570757)))
data LiftM4Sym3 (a6989586621679571013 :: (~>) a16989586621679570753 ((~>) a26989586621679570754 ((~>) a36989586621679570755 ((~>) a46989586621679570756 r6989586621679570757)))) (a6989586621679571014 :: m6989586621679570752 a16989586621679570753) (a6989586621679571015 :: m6989586621679570752 a26989586621679570754) :: (~>) (m6989586621679570752 a36989586621679570755) ((~>) (m6989586621679570752 a46989586621679570756) (m6989586621679570752 r6989586621679570757))
data LiftM4Sym4 (a6989586621679571013 :: (~>) a16989586621679570753 ((~>) a26989586621679570754 ((~>) a36989586621679570755 ((~>) a46989586621679570756 r6989586621679570757)))) (a6989586621679571014 :: m6989586621679570752 a16989586621679570753) (a6989586621679571015 :: m6989586621679570752 a26989586621679570754) (a6989586621679571016 :: m6989586621679570752 a36989586621679570755) :: (~>) (m6989586621679570752 a46989586621679570756) (m6989586621679570752 r6989586621679570757)
type LiftM4Sym5 (a6989586621679571013 :: (~>) a16989586621679570753 ((~>) a26989586621679570754 ((~>) a36989586621679570755 ((~>) a46989586621679570756 r6989586621679570757)))) (a6989586621679571014 :: m6989586621679570752 a16989586621679570753) (a6989586621679571015 :: m6989586621679570752 a26989586621679570754) (a6989586621679571016 :: m6989586621679570752 a36989586621679570755) (a6989586621679571017 :: m6989586621679570752 a46989586621679570756) = LiftM4 a6989586621679571013 a6989586621679571014 a6989586621679571015 a6989586621679571016 a6989586621679571017
data LiftM5Sym0 :: forall a16989586621679570746 a26989586621679570747 a36989586621679570748 a46989586621679570749 a56989586621679570750 r6989586621679570751 m6989586621679570745. (~>) ((~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) ((~>) (m6989586621679570745 a16989586621679570746) ((~>) (m6989586621679570745 a26989586621679570747) ((~>) (m6989586621679570745 a36989586621679570748) ((~>) (m6989586621679570745 a46989586621679570749) ((~>) (m6989586621679570745 a56989586621679570750) (m6989586621679570745 r6989586621679570751))))))
data LiftM5Sym1 (a6989586621679570930 :: (~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) :: forall m6989586621679570745. (~>) (m6989586621679570745 a16989586621679570746) ((~>) (m6989586621679570745 a26989586621679570747) ((~>) (m6989586621679570745 a36989586621679570748) ((~>) (m6989586621679570745 a46989586621679570749) ((~>) (m6989586621679570745 a56989586621679570750) (m6989586621679570745 r6989586621679570751)))))
data LiftM5Sym2 (a6989586621679570930 :: (~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) (a6989586621679570931 :: m6989586621679570745 a16989586621679570746) :: (~>) (m6989586621679570745 a26989586621679570747) ((~>) (m6989586621679570745 a36989586621679570748) ((~>) (m6989586621679570745 a46989586621679570749) ((~>) (m6989586621679570745 a56989586621679570750) (m6989586621679570745 r6989586621679570751))))
data LiftM5Sym3 (a6989586621679570930 :: (~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) (a6989586621679570931 :: m6989586621679570745 a16989586621679570746) (a6989586621679570932 :: m6989586621679570745 a26989586621679570747) :: (~>) (m6989586621679570745 a36989586621679570748) ((~>) (m6989586621679570745 a46989586621679570749) ((~>) (m6989586621679570745 a56989586621679570750) (m6989586621679570745 r6989586621679570751)))
data LiftM5Sym4 (a6989586621679570930 :: (~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) (a6989586621679570931 :: m6989586621679570745 a16989586621679570746) (a6989586621679570932 :: m6989586621679570745 a26989586621679570747) (a6989586621679570933 :: m6989586621679570745 a36989586621679570748) :: (~>) (m6989586621679570745 a46989586621679570749) ((~>) (m6989586621679570745 a56989586621679570750) (m6989586621679570745 r6989586621679570751))
data LiftM5Sym5 (a6989586621679570930 :: (~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) (a6989586621679570931 :: m6989586621679570745 a16989586621679570746) (a6989586621679570932 :: m6989586621679570745 a26989586621679570747) (a6989586621679570933 :: m6989586621679570745 a36989586621679570748) (a6989586621679570934 :: m6989586621679570745 a46989586621679570749) :: (~>) (m6989586621679570745 a56989586621679570750) (m6989586621679570745 r6989586621679570751)
type LiftM5Sym6 (a6989586621679570930 :: (~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) (a6989586621679570931 :: m6989586621679570745 a16989586621679570746) (a6989586621679570932 :: m6989586621679570745 a26989586621679570747) (a6989586621679570933 :: m6989586621679570745 a36989586621679570748) (a6989586621679570934 :: m6989586621679570745 a46989586621679570749) (a6989586621679570935 :: m6989586621679570745 a56989586621679570750) = LiftM5 a6989586621679570930 a6989586621679570931 a6989586621679570932 a6989586621679570933 a6989586621679570934 a6989586621679570935
data ApSym0 :: forall m6989586621679570742 a6989586621679570743 b6989586621679570744. (~>) (m6989586621679570742 ((~>) a6989586621679570743 b6989586621679570744)) ((~>) (m6989586621679570742 a6989586621679570743) (m6989586621679570742 b6989586621679570744))
data ApSym1 (a6989586621679570909 :: m6989586621679570742 ((~>) a6989586621679570743 b6989586621679570744)) :: (~>) (m6989586621679570742 a6989586621679570743) (m6989586621679570742 b6989586621679570744)
type ApSym2 (a6989586621679570909 :: m6989586621679570742 ((~>) a6989586621679570743 b6989586621679570744)) (a6989586621679570910 :: m6989586621679570742 a6989586621679570743) = Ap a6989586621679570909 a6989586621679570910
data (<$!>@#@$) :: forall a6989586621681274761 b6989586621681274762 m6989586621681274760. (~>) ((~>) a6989586621681274761 b6989586621681274762) ((~>) (m6989586621681274760 a6989586621681274761) (m6989586621681274760 b6989586621681274762))
data (<$!>@#@$$) (a6989586621681275098 :: (~>) a6989586621681274761 b6989586621681274762) :: forall m6989586621681274760. (~>) (m6989586621681274760 a6989586621681274761) (m6989586621681274760 b6989586621681274762)
type (<$!>@#@$$$) (a6989586621681275098 :: (~>) a6989586621681274761 b6989586621681274762) (a6989586621681275099 :: m6989586621681274760 a6989586621681274761) = (<$!>) a6989586621681275098 a6989586621681275099

Documentation

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

Associated Types

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

Instances

Instances details

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

Instances details

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

class PMonad (m :: 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 (>>) a a = Apply (Apply TFHelper_6989586621679571330Sym0 a) a Source #

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

type Return a = Apply Return_6989586621679571351Sym0 a Source #

Instances

Instances details

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

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 #

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

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

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

Instances

Instances details

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

class PMonadPlus (m :: Type -> Type) Source #

Associated Types

type Mzero :: m a Source #

type Mzero = Mzero_6989586621679571367Sym0 Source #

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

type Mplus a a = Apply (Apply Mplus_6989586621679571371Sym0 a) a Source #

Instances

Instances details

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 #

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

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

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

Instances

Instances details

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

class PMonadFail (m :: Type -> Type) Source #

Associated Types

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

Instances

Instances details

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

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

Methods

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

Instances

Instances details

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

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

Instances

Instances details

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

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

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

Equations

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

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

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

Equations

ForM a_6989586621680804747 a_6989586621680804749 = Apply (Apply (Apply FlipSym0 MapMSym0) a_6989586621680804747) a_6989586621680804749

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

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

Instances

Instances details

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

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_6989586621680491031 = Apply (Apply (Apply FoldrSym0 (>>@#@$)) (Apply ReturnSym0 Tuple0Sym0)) a_6989586621680491031

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 a m b (t :: (~>) a (m b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (=<<@#@$) t) t :: m b) infixr 1 Source #

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

Equations

(f >=> g) a_6989586621681275231 = Apply (Apply (Apply (Apply Lambda_6989586621681275236Sym0 f) g) a_6989586621681275231) a_6989586621681275231

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

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

Equations

(a_6989586621681275210 <=< a_6989586621681275212) a_6989586621681275214 = Apply (Apply (Apply (Apply FlipSym0 (>=>@#@$)) a_6989586621681275210) a_6989586621681275212) a_6989586621681275214

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

type family Void (a :: 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_6989586621680491021 = Apply AsumSym0 a_6989586621680491021

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_6989586621681275084Sym0 p) ma)

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

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

Equations

FilterM p a_6989586621681275248 = Apply (Apply (Apply FoldrSym0 (Apply (Apply Lambda_6989586621681275252Sym0 p) a_6989586621681275248)) (Apply PureSym0 '[])) a_6989586621681275248

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

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

Equations

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

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

type family ZipWithM (a :: (~>) a ((~>) 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 a b m c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithMSym0 t) t) t :: m [c]) Source #

type family ZipWithM_ (a :: (~>) a ((~>) 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 a b m c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithM_Sym0 t) t) t :: m ()) Source #

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

Equations

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

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

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

Equations

ReplicateM cnt0 f = Apply (Let6989586621681275149LoopSym2 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 (Let6989586621681275130LoopSym2 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_6989586621679571161 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_6989586621681275121 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_6989586621679571148Sym0 f) m1)

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

type family LiftM2 (a :: (~>) 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_6989586621679571125Sym0 f) m1) m2)

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

type family LiftM3 (a :: (~>) 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_6989586621679571086Sym0 f) m1) m2) m3)

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

type family LiftM4 (a :: (~>) 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_6989586621679571028Sym0 f) m1) m2) m3) m4)

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

type family LiftM5 (a :: (~>) 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_6989586621679570948Sym0 f) m1) m2) m3) m4) m5)

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

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

Equations

Ap m1 m2 = Apply (Apply (>>=@#@$) m1) (Apply (Apply Lambda_6989586621679570915Sym0 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_6989586621681275104Sym0 f) m)

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

Defunctionalization symbols

data FmapSym0 :: forall a6989586621679570820 b6989586621679570821 f6989586621679570819. (~>) ((~>) a6989586621679570820 b6989586621679570821) ((~>) (f6989586621679570819 a6989586621679570820) (f6989586621679570819 b6989586621679570821)) Source #

Instances

Instances details

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

data FmapSym1 (arg6989586621679571211 :: (~>) a6989586621679570820 b6989586621679570821) :: forall f6989586621679570819. (~>) (f6989586621679570819 a6989586621679570820) (f6989586621679570819 b6989586621679570821) Source #

Instances

Instances details

(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 arg6989586621679571211 f6989586621679570819 :: TyFun (f6989586621679570819 a6989586621679570820) (f6989586621679570819 b6989586621679570821) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (FmapSym1 arg6989586621679571211 f :: TyFun (f a) (f b) -> Type) (arg6989586621679571212 :: f a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (FmapSym1 arg6989586621679571211 f :: TyFun (f a) (f b) -> Type) (arg6989586621679571212 :: f a) = Fmap arg6989586621679571211 arg6989586621679571212

type FmapSym2 (arg6989586621679571211 :: (~>) a6989586621679570820 b6989586621679570821) (arg6989586621679571212 :: f6989586621679570819 a6989586621679570820) = Fmap arg6989586621679571211 arg6989586621679571212 Source #

data (>>=@#@$) :: forall m6989586621679570848 a6989586621679570849 b6989586621679570850. (~>) (m6989586621679570848 a6989586621679570849) ((~>) ((~>) a6989586621679570849 (m6989586621679570848 b6989586621679570850)) (m6989586621679570848 b6989586621679570850)) infixl 1 Source #

Instances

Instances details

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

data (>>=@#@$$) (arg6989586621679571318 :: m6989586621679570848 a6989586621679570849) :: forall b6989586621679570850. (~>) ((~>) a6989586621679570849 (m6989586621679570848 b6989586621679570850)) (m6989586621679570848 b6989586621679570850) infixl 1 Source #

Instances

Instances details

(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 (arg6989586621679571318 >>=@#@$$ b6989586621679570850 :: TyFun (a6989586621679570849 ~> m6989586621679570848 b6989586621679570850) (m6989586621679570848 b6989586621679570850) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (arg6989586621679571318 >>=@#@$$ b :: TyFun (a ~> m b) (m b) -> Type) (arg6989586621679571319 :: a ~> m b) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (arg6989586621679571318 >>=@#@$$ b :: TyFun (a ~> m b) (m b) -> Type) (arg6989586621679571319 :: a ~> m b) = arg6989586621679571318 >>= arg6989586621679571319

type (>>=@#@$$$) (arg6989586621679571318 :: m6989586621679570848 a6989586621679570849) (arg6989586621679571319 :: (~>) a6989586621679570849 (m6989586621679570848 b6989586621679570850)) = (>>=) arg6989586621679571318 arg6989586621679571319 Source #

data (>>@#@$) :: forall m6989586621679570848 a6989586621679570851 b6989586621679570852. (~>) (m6989586621679570848 a6989586621679570851) ((~>) (m6989586621679570848 b6989586621679570852) (m6989586621679570848 b6989586621679570852)) infixl 1 Source #

Instances

Instances details

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

data (>>@#@$$) (arg6989586621679571322 :: m6989586621679570848 a6989586621679570851) :: forall b6989586621679570852. (~>) (m6989586621679570848 b6989586621679570852) (m6989586621679570848 b6989586621679570852) infixl 1 Source #

Instances

Instances details

(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 (arg6989586621679571322 >>@#@$$ b6989586621679570852 :: TyFun (m6989586621679570848 b6989586621679570852) (m6989586621679570848 b6989586621679570852) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (arg6989586621679571322 >>@#@$$ b :: TyFun (m b) (m b) -> Type) (arg6989586621679571323 :: m b) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (arg6989586621679571322 >>@#@$$ b :: TyFun (m b) (m b) -> Type) (arg6989586621679571323 :: m b) = arg6989586621679571322 >> arg6989586621679571323

type (>>@#@$$$) (arg6989586621679571322 :: m6989586621679570848 a6989586621679570851) (arg6989586621679571323 :: m6989586621679570848 b6989586621679570852) = (>>) arg6989586621679571322 arg6989586621679571323 Source #

data ReturnSym0 :: forall a6989586621679570853 m6989586621679570848. (~>) a6989586621679570853 (m6989586621679570848 a6989586621679570853) Source #

Instances

Instances details

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

type ReturnSym1 (arg6989586621679571326 :: a6989586621679570853) = Return arg6989586621679571326 Source #

data FailSym0 :: forall m6989586621679738911 a6989586621679738912. (~>) [Char] (m6989586621679738911 a6989586621679738912) Source #

Instances

Instances details

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

type FailSym1 (arg6989586621679738931 :: [Char]) = Fail arg6989586621679738931 Source #

type MzeroSym0 = Mzero Source #

data MplusSym0 :: forall m6989586621679570902 a6989586621679570904. (~>) (m6989586621679570902 a6989586621679570904) ((~>) (m6989586621679570902 a6989586621679570904) (m6989586621679570902 a6989586621679570904)) Source #

Instances

Instances details

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

data MplusSym1 (arg6989586621679571363 :: m6989586621679570902 a6989586621679570904) :: (~>) (m6989586621679570902 a6989586621679570904) (m6989586621679570902 a6989586621679570904) Source #

Instances

Instances details

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

type MplusSym2 (arg6989586621679571363 :: m6989586621679570902 a6989586621679570904) (arg6989586621679571364 :: m6989586621679570902 a6989586621679570904) = Mplus arg6989586621679571363 arg6989586621679571364 Source #

data MapMSym0 :: forall a6989586621680798700 m6989586621680798699 b6989586621680798701 t6989586621680798693. (~>) ((~>) a6989586621680798700 (m6989586621680798699 b6989586621680798701)) ((~>) (t6989586621680798693 a6989586621680798700) (m6989586621680798699 (t6989586621680798693 b6989586621680798701))) Source #

Instances

Instances details

(STraversable t, SMonad m) => SingI (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing MapMSym0 Source #
SuppressUnusedWarnings (MapMSym0 :: TyFun (a6989586621680798700 ~> m6989586621680798699 b6989586621680798701) (t6989586621680798693 a6989586621680798700 ~> m6989586621680798699 (t6989586621680798693 b6989586621680798701)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (MapMSym0 :: TyFun (a6989586621680798700 ~> m6989586621680798699 b6989586621680798701) (t6989586621680798693 a6989586621680798700 ~> m6989586621680798699 (t6989586621680798693 b6989586621680798701)) -> Type) (arg6989586621680798711 :: a6989586621680798700 ~> m6989586621680798699 b6989586621680798701) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapMSym0 :: TyFun (a6989586621680798700 ~> m6989586621680798699 b6989586621680798701) (t6989586621680798693 a6989586621680798700 ~> m6989586621680798699 (t6989586621680798693 b6989586621680798701)) -> Type) (arg6989586621680798711 :: a6989586621680798700 ~> m6989586621680798699 b6989586621680798701) = MapMSym1 arg6989586621680798711 t6989586621680798693 :: TyFun (t6989586621680798693 a6989586621680798700) (m6989586621680798699 (t6989586621680798693 b6989586621680798701)) -> Type

data MapMSym1 (arg6989586621680798711 :: (~>) a6989586621680798700 (m6989586621680798699 b6989586621680798701)) :: forall t6989586621680798693. (~>) (t6989586621680798693 a6989586621680798700) (m6989586621680798699 (t6989586621680798693 b6989586621680798701)) Source #

Instances

Instances details

(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 arg6989586621680798711 t6989586621680798693 :: TyFun (t6989586621680798693 a6989586621680798700) (m6989586621680798699 (t6989586621680798693 b6989586621680798701)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (MapMSym1 arg6989586621680798711 t :: TyFun (t a) (m (t b)) -> Type) (arg6989586621680798712 :: t a) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (MapMSym1 arg6989586621680798711 t :: TyFun (t a) (m (t b)) -> Type) (arg6989586621680798712 :: t a) = MapM arg6989586621680798711 arg6989586621680798712

type MapMSym2 (arg6989586621680798711 :: (~>) a6989586621680798700 (m6989586621680798699 b6989586621680798701)) (arg6989586621680798712 :: t6989586621680798693 a6989586621680798700) = MapM arg6989586621680798711 arg6989586621680798712 Source #

data MapM_Sym0 :: forall a6989586621680490447 m6989586621680490446 b6989586621680490448 t6989586621680490445. (~>) ((~>) a6989586621680490447 (m6989586621680490446 b6989586621680490448)) ((~>) (t6989586621680490445 a6989586621680490447) (m6989586621680490446 ())) Source #

Instances

Instances details

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

data MapM_Sym1 (a6989586621680491051 :: (~>) a6989586621680490447 (m6989586621680490446 b6989586621680490448)) :: forall t6989586621680490445. (~>) (t6989586621680490445 a6989586621680490447) (m6989586621680490446 ()) Source #

Instances

Instances details

(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 a6989586621680491051 t6989586621680490445 :: TyFun (t6989586621680490445 a6989586621680490447) (m6989586621680490446 ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
type Apply (MapM_Sym1 a6989586621680491051 t :: TyFun (t a) (m ()) -> Type) (a6989586621680491052 :: t a) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (MapM_Sym1 a6989586621680491051 t :: TyFun (t a) (m ()) -> Type) (a6989586621680491052 :: t a) = MapM_ a6989586621680491051 a6989586621680491052

type MapM_Sym2 (a6989586621680491051 :: (~>) a6989586621680490447 (m6989586621680490446 b6989586621680490448)) (a6989586621680491052 :: t6989586621680490445 a6989586621680490447) = MapM_ a6989586621680491051 a6989586621680491052 Source #

data ForMSym0 :: forall t6989586621680804230 a6989586621680804232 m6989586621680804231 b6989586621680804233. (~>) (t6989586621680804230 a6989586621680804232) ((~>) ((~>) a6989586621680804232 (m6989586621680804231 b6989586621680804233)) (m6989586621680804231 (t6989586621680804230 b6989586621680804233))) Source #

Instances

Instances details

(STraversable t, SMonad m) => SingI (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing ForMSym0 Source #
SuppressUnusedWarnings (ForMSym0 :: TyFun (t6989586621680804230 a6989586621680804232) ((a6989586621680804232 ~> m6989586621680804231 b6989586621680804233) ~> m6989586621680804231 (t6989586621680804230 b6989586621680804233)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (ForMSym0 :: TyFun (t6989586621680804230 a6989586621680804232) ((a6989586621680804232 ~> m6989586621680804231 b6989586621680804233) ~> m6989586621680804231 (t6989586621680804230 b6989586621680804233)) -> Type) (a6989586621680804751 :: t6989586621680804230 a6989586621680804232) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (ForMSym0 :: TyFun (t6989586621680804230 a6989586621680804232) ((a6989586621680804232 ~> m6989586621680804231 b6989586621680804233) ~> m6989586621680804231 (t6989586621680804230 b6989586621680804233)) -> Type) (a6989586621680804751 :: t6989586621680804230 a6989586621680804232) = ForMSym1 a6989586621680804751 m6989586621680804231 b6989586621680804233 :: TyFun (a6989586621680804232 ~> m6989586621680804231 b6989586621680804233) (m6989586621680804231 (t6989586621680804230 b6989586621680804233)) -> Type

data ForMSym1 (a6989586621680804751 :: t6989586621680804230 a6989586621680804232) :: forall m6989586621680804231 b6989586621680804233. (~>) ((~>) a6989586621680804232 (m6989586621680804231 b6989586621680804233)) (m6989586621680804231 (t6989586621680804230 b6989586621680804233)) Source #

Instances

Instances details

(STraversable t, SMonad m, SingI d) => SingI (ForMSym1 d m b :: TyFun (a ~> m b) (m (t b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing (ForMSym1 d m b) Source #
SuppressUnusedWarnings (ForMSym1 a6989586621680804751 m6989586621680804231 b6989586621680804233 :: TyFun (a6989586621680804232 ~> m6989586621680804231 b6989586621680804233) (m6989586621680804231 (t6989586621680804230 b6989586621680804233)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source #
type Apply (ForMSym1 a6989586621680804751 m b :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680804752 :: a ~> m b) Source #
Instance details Defined in Data.Singletons.Prelude.Traversable type Apply (ForMSym1 a6989586621680804751 m b :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680804752 :: a ~> m b) = ForM a6989586621680804751 a6989586621680804752

type ForMSym2 (a6989586621680804751 :: t6989586621680804230 a6989586621680804232) (a6989586621680804752 :: (~>) a6989586621680804232 (m6989586621680804231 b6989586621680804233)) = ForM a6989586621680804751 a6989586621680804752 Source #

data SequenceSym0 :: forall t6989586621680798693 m6989586621680798702 a6989586621680798703. (~>) (t6989586621680798693 (m6989586621680798702 a6989586621680798703)) (m6989586621680798702 (t6989586621680798693 a6989586621680798703)) Source #

Instances

Instances details

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

type SequenceSym1 (arg6989586621680798715 :: t6989586621680798693 (m6989586621680798702 a6989586621680798703)) = Sequence arg6989586621680798715 Source #

data Sequence_Sym0 :: forall t6989586621680490435 m6989586621680490436 a6989586621680490437. (~>) (t6989586621680490435 (m6989586621680490436 a6989586621680490437)) (m6989586621680490436 ()) Source #

Instances

Instances details

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

type Sequence_Sym1 (a6989586621680491033 :: t6989586621680490435 (m6989586621680490436 a6989586621680490437)) = Sequence_ a6989586621680491033 Source #

data (=<<@#@$) :: forall a6989586621679570772 m6989586621679570771 b6989586621679570773. (~>) ((~>) a6989586621679570772 (m6989586621679570771 b6989586621679570773)) ((~>) (m6989586621679570771 a6989586621679570772) (m6989586621679570771 b6989586621679570773)) infixr 1 Source #

Instances

Instances details

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

data (=<<@#@$$) (a6989586621679571164 :: (~>) a6989586621679570772 (m6989586621679570771 b6989586621679570773)) :: (~>) (m6989586621679570771 a6989586621679570772) (m6989586621679570771 b6989586621679570773) infixr 1 Source #

Instances

Instances details

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

type (=<<@#@$$$) (a6989586621679571164 :: (~>) a6989586621679570772 (m6989586621679570771 b6989586621679570773)) (a6989586621679571165 :: m6989586621679570771 a6989586621679570772) = (=<<) a6989586621679571164 a6989586621679571165 Source #

data (>=>@#@$) :: forall a6989586621681274793 m6989586621681274792 b6989586621681274794 c6989586621681274795. (~>) ((~>) a6989586621681274793 (m6989586621681274792 b6989586621681274794)) ((~>) ((~>) b6989586621681274794 (m6989586621681274792 c6989586621681274795)) ((~>) a6989586621681274793 (m6989586621681274792 c6989586621681274795))) infixr 1 Source #

Instances

Instances details

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

data (>=>@#@$$) (a6989586621681275225 :: (~>) a6989586621681274793 (m6989586621681274792 b6989586621681274794)) :: forall c6989586621681274795. (~>) ((~>) b6989586621681274794 (m6989586621681274792 c6989586621681274795)) ((~>) a6989586621681274793 (m6989586621681274792 c6989586621681274795)) infixr 1 Source #

Instances

Instances details

(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 (a6989586621681275225 >=>@#@$$ c6989586621681274795 :: TyFun (b6989586621681274794 ~> m6989586621681274792 c6989586621681274795) (a6989586621681274793 ~> m6989586621681274792 c6989586621681274795) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621681275225 >=>@#@$$ c6989586621681274795 :: TyFun (b6989586621681274794 ~> m6989586621681274792 c6989586621681274795) (a6989586621681274793 ~> m6989586621681274792 c6989586621681274795) -> Type) (a6989586621681275226 :: b6989586621681274794 ~> m6989586621681274792 c6989586621681274795) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (a6989586621681275225 >=>@#@$$ c6989586621681274795 :: TyFun (b6989586621681274794 ~> m6989586621681274792 c6989586621681274795) (a6989586621681274793 ~> m6989586621681274792 c6989586621681274795) -> Type) (a6989586621681275226 :: b6989586621681274794 ~> m6989586621681274792 c6989586621681274795) = a6989586621681275225 >=>@#@$$$ a6989586621681275226

data (a6989586621681275225 :: (~>) a6989586621681274793 (m6989586621681274792 b6989586621681274794)) >=>@#@$$$ (a6989586621681275226 :: (~>) b6989586621681274794 (m6989586621681274792 c6989586621681274795)) :: (~>) a6989586621681274793 (m6989586621681274792 c6989586621681274795) infixr 1 Source #

Instances

Instances details

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

data (<=<@#@$) :: forall b6989586621681274789 m6989586621681274788 c6989586621681274790 a6989586621681274791. (~>) ((~>) b6989586621681274789 (m6989586621681274788 c6989586621681274790)) ((~>) ((~>) a6989586621681274791 (m6989586621681274788 b6989586621681274789)) ((~>) a6989586621681274791 (m6989586621681274788 c6989586621681274790))) infixr 1 Source #

Instances

Instances details

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

data (<=<@#@$$) (a6989586621681275216 :: (~>) b6989586621681274789 (m6989586621681274788 c6989586621681274790)) :: forall a6989586621681274791. (~>) ((~>) a6989586621681274791 (m6989586621681274788 b6989586621681274789)) ((~>) a6989586621681274791 (m6989586621681274788 c6989586621681274790)) infixr 1 Source #

Instances

Instances details

(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 (a6989586621681275216 <=<@#@$$ a6989586621681274791 :: TyFun (a6989586621681274791 ~> m6989586621681274788 b6989586621681274789) (a6989586621681274791 ~> m6989586621681274788 c6989586621681274790) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621681275216 <=<@#@$$ a6989586621681274791 :: TyFun (a6989586621681274791 ~> m6989586621681274788 b6989586621681274789) (a6989586621681274791 ~> m6989586621681274788 c6989586621681274790) -> Type) (a6989586621681275217 :: a6989586621681274791 ~> m6989586621681274788 b6989586621681274789) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (a6989586621681275216 <=<@#@$$ a6989586621681274791 :: TyFun (a6989586621681274791 ~> m6989586621681274788 b6989586621681274789) (a6989586621681274791 ~> m6989586621681274788 c6989586621681274790) -> Type) (a6989586621681275217 :: a6989586621681274791 ~> m6989586621681274788 b6989586621681274789) = a6989586621681275216 <=<@#@$$$ a6989586621681275217

data (a6989586621681275216 :: (~>) b6989586621681274789 (m6989586621681274788 c6989586621681274790)) <=<@#@$$$ (a6989586621681275217 :: (~>) a6989586621681274791 (m6989586621681274788 b6989586621681274789)) :: (~>) a6989586621681274791 (m6989586621681274788 c6989586621681274790) infixr 1 Source #

Instances

Instances details

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

data VoidSym0 :: forall f6989586621679740987 a6989586621679740988. (~>) (f6989586621679740987 a6989586621679740988) (f6989586621679740987 ()) Source #

Instances

Instances details

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

type VoidSym1 (a6989586621679741054 :: f6989586621679740987 a6989586621679740988) = Void a6989586621679741054 Source #

data JoinSym0 :: forall m6989586621679570774 a6989586621679570775. (~>) (m6989586621679570774 (m6989586621679570774 a6989586621679570775)) (m6989586621679570774 a6989586621679570775) Source #

Instances

Instances details

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

type JoinSym1 (a6989586621679571170 :: m6989586621679570774 (m6989586621679570774 a6989586621679570775)) = Join a6989586621679571170 Source #

data MsumSym0 :: forall t6989586621680490429 m6989586621680490430 a6989586621680490431. (~>) (t6989586621680490429 (m6989586621680490430 a6989586621680490431)) (m6989586621680490430 a6989586621680490431) Source #

Instances

Instances details

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

type MsumSym1 (a6989586621680491023 :: t6989586621680490429 (m6989586621680490430 a6989586621680490431)) = Msum a6989586621680491023 Source #

data MfilterSym0 :: forall a6989586621681274759 m6989586621681274758. (~>) ((~>) a6989586621681274759 Bool) ((~>) (m6989586621681274758 a6989586621681274759) (m6989586621681274758 a6989586621681274759)) Source #

Instances

Instances details

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

data MfilterSym1 (a6989586621681275078 :: (~>) a6989586621681274759 Bool) :: forall m6989586621681274758. (~>) (m6989586621681274758 a6989586621681274759) (m6989586621681274758 a6989586621681274759) Source #

Instances

Instances details

(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 a6989586621681275078 m6989586621681274758 :: TyFun (m6989586621681274758 a6989586621681274759) (m6989586621681274758 a6989586621681274759) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (MfilterSym1 a6989586621681275078 m :: TyFun (m a) (m a) -> Type) (a6989586621681275079 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (MfilterSym1 a6989586621681275078 m :: TyFun (m a) (m a) -> Type) (a6989586621681275079 :: m a) = Mfilter a6989586621681275078 a6989586621681275079

type MfilterSym2 (a6989586621681275078 :: (~>) a6989586621681274759 Bool) (a6989586621681275079 :: m6989586621681274758 a6989586621681274759) = Mfilter a6989586621681275078 a6989586621681275079 Source #

data FilterMSym0 :: forall a6989586621681274797 m6989586621681274796. (~>) ((~>) a6989586621681274797 (m6989586621681274796 Bool)) ((~>) [a6989586621681274797] (m6989586621681274796 [a6989586621681274797])) Source #

Instances

Instances details

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

data FilterMSym1 (a6989586621681275244 :: (~>) a6989586621681274797 (m6989586621681274796 Bool)) :: (~>) [a6989586621681274797] (m6989586621681274796 [a6989586621681274797]) Source #

Instances

Instances details

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

type FilterMSym2 (a6989586621681275244 :: (~>) a6989586621681274797 (m6989586621681274796 Bool)) (a6989586621681275245 :: [a6989586621681274797]) = FilterM a6989586621681275244 a6989586621681275245 Source #

data MapAndUnzipMSym0 :: forall a6989586621681274785 m6989586621681274784 b6989586621681274786 c6989586621681274787. (~>) ((~>) a6989586621681274785 (m6989586621681274784 (b6989586621681274786, c6989586621681274787))) ((~>) [a6989586621681274785] (m6989586621681274784 ([b6989586621681274786], [c6989586621681274787]))) Source #

Instances

Instances details

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

data MapAndUnzipMSym1 (a6989586621681275204 :: (~>) a6989586621681274785 (m6989586621681274784 (b6989586621681274786, c6989586621681274787))) :: (~>) [a6989586621681274785] (m6989586621681274784 ([b6989586621681274786], [c6989586621681274787])) Source #

Instances

Instances details

(SApplicative m, SingI d) => SingI (MapAndUnzipMSym1 d :: TyFun [a] (m ([b], [c])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (MapAndUnzipMSym1 d) Source #
SuppressUnusedWarnings (MapAndUnzipMSym1 a6989586621681275204 :: TyFun [a6989586621681274785] (m6989586621681274784 ([b6989586621681274786], [c6989586621681274787])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (MapAndUnzipMSym1 a6989586621681275204 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681275205 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (MapAndUnzipMSym1 a6989586621681275204 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681275205 :: [a]) = MapAndUnzipM a6989586621681275204 a6989586621681275205

type MapAndUnzipMSym2 (a6989586621681275204 :: (~>) a6989586621681274785 (m6989586621681274784 (b6989586621681274786, c6989586621681274787))) (a6989586621681275205 :: [a6989586621681274785]) = MapAndUnzipM a6989586621681275204 a6989586621681275205 Source #

data ZipWithMSym0 :: forall a6989586621681274781 b6989586621681274782 m6989586621681274780 c6989586621681274783. (~>) ((~>) a6989586621681274781 ((~>) b6989586621681274782 (m6989586621681274780 c6989586621681274783))) ((~>) [a6989586621681274781] ((~>) [b6989586621681274782] (m6989586621681274780 [c6989586621681274783]))) Source #

Instances

Instances details

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

data ZipWithMSym1 (a6989586621681275195 :: (~>) a6989586621681274781 ((~>) b6989586621681274782 (m6989586621681274780 c6989586621681274783))) :: (~>) [a6989586621681274781] ((~>) [b6989586621681274782] (m6989586621681274780 [c6989586621681274783])) Source #

Instances

Instances details

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

data ZipWithMSym2 (a6989586621681275195 :: (~>) a6989586621681274781 ((~>) b6989586621681274782 (m6989586621681274780 c6989586621681274783))) (a6989586621681275196 :: [a6989586621681274781]) :: (~>) [b6989586621681274782] (m6989586621681274780 [c6989586621681274783]) Source #

Instances

Instances details

(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithMSym2 d1 d2 :: TyFun [b] (m [c]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithMSym2 d1 d2) Source #
SuppressUnusedWarnings (ZipWithMSym2 a6989586621681275196 a6989586621681275195 :: TyFun [b6989586621681274782] (m6989586621681274780 [c6989586621681274783]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithMSym2 a6989586621681275196 a6989586621681275195 :: TyFun [b] (m [c]) -> Type) (a6989586621681275197 :: [b]) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithMSym2 a6989586621681275196 a6989586621681275195 :: TyFun [b] (m [c]) -> Type) (a6989586621681275197 :: [b]) = ZipWithM a6989586621681275196 a6989586621681275195 a6989586621681275197

type ZipWithMSym3 (a6989586621681275195 :: (~>) a6989586621681274781 ((~>) b6989586621681274782 (m6989586621681274780 c6989586621681274783))) (a6989586621681275196 :: [a6989586621681274781]) (a6989586621681275197 :: [b6989586621681274782]) = ZipWithM a6989586621681275195 a6989586621681275196 a6989586621681275197 Source #

data ZipWithM_Sym0 :: forall a6989586621681274777 b6989586621681274778 m6989586621681274776 c6989586621681274779. (~>) ((~>) a6989586621681274777 ((~>) b6989586621681274778 (m6989586621681274776 c6989586621681274779))) ((~>) [a6989586621681274777] ((~>) [b6989586621681274778] (m6989586621681274776 ()))) Source #

Instances

Instances details

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

data ZipWithM_Sym1 (a6989586621681275186 :: (~>) a6989586621681274777 ((~>) b6989586621681274778 (m6989586621681274776 c6989586621681274779))) :: (~>) [a6989586621681274777] ((~>) [b6989586621681274778] (m6989586621681274776 ())) Source #

Instances

Instances details

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

data ZipWithM_Sym2 (a6989586621681275186 :: (~>) a6989586621681274777 ((~>) b6989586621681274778 (m6989586621681274776 c6989586621681274779))) (a6989586621681275187 :: [a6989586621681274777]) :: (~>) [b6989586621681274778] (m6989586621681274776 ()) Source #

Instances

Instances details

(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithM_Sym2 d1 d2 :: TyFun [b] (m ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithM_Sym2 d1 d2) Source #
SuppressUnusedWarnings (ZipWithM_Sym2 a6989586621681275187 a6989586621681275186 :: TyFun [b6989586621681274778] (m6989586621681274776 ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithM_Sym2 a6989586621681275187 a6989586621681275186 :: TyFun [b] (m ()) -> Type) (a6989586621681275188 :: [b]) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithM_Sym2 a6989586621681275187 a6989586621681275186 :: TyFun [b] (m ()) -> Type) (a6989586621681275188 :: [b]) = ZipWithM_ a6989586621681275187 a6989586621681275186 a6989586621681275188

type ZipWithM_Sym3 (a6989586621681275186 :: (~>) a6989586621681274777 ((~>) b6989586621681274778 (m6989586621681274776 c6989586621681274779))) (a6989586621681275187 :: [a6989586621681274777]) (a6989586621681275188 :: [b6989586621681274778]) = ZipWithM_ a6989586621681275186 a6989586621681275187 a6989586621681275188 Source #

data FoldlMSym0 :: forall b6989586621680490459 a6989586621680490460 m6989586621680490458 t6989586621680490457. (~>) ((~>) b6989586621680490459 ((~>) a6989586621680490460 (m6989586621680490458 b6989586621680490459))) ((~>) b6989586621680490459 ((~>) (t6989586621680490457 a6989586621680490460) (m6989586621680490458 b6989586621680490459))) Source #

Instances

Instances details

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

data FoldlMSym1 (a6989586621680491077 :: (~>) b6989586621680490459 ((~>) a6989586621680490460 (m6989586621680490458 b6989586621680490459))) :: forall t6989586621680490457. (~>) b6989586621680490459 ((~>) (t6989586621680490457 a6989586621680490460) (m6989586621680490458 b6989586621680490459)) Source #

Instances

Instances details

(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 a6989586621680491077 t6989586621680490457 :: TyFun b6989586621680490459 (t6989586621680490457 a6989586621680490460 ~> m6989586621680490458 b6989586621680490459) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
type Apply (FoldlMSym1 a6989586621680491077 t6989586621680490457 :: TyFun b6989586621680490459 (t6989586621680490457 a6989586621680490460 ~> m6989586621680490458 b6989586621680490459) -> Type) (a6989586621680491078 :: b6989586621680490459) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym1 a6989586621680491077 t6989586621680490457 :: TyFun b6989586621680490459 (t6989586621680490457 a6989586621680490460 ~> m6989586621680490458 b6989586621680490459) -> Type) (a6989586621680491078 :: b6989586621680490459) = FoldlMSym2 a6989586621680491077 a6989586621680491078 t6989586621680490457 :: TyFun (t6989586621680490457 a6989586621680490460) (m6989586621680490458 b6989586621680490459) -> Type

data FoldlMSym2 (a6989586621680491077 :: (~>) b6989586621680490459 ((~>) a6989586621680490460 (m6989586621680490458 b6989586621680490459))) (a6989586621680491078 :: b6989586621680490459) :: forall t6989586621680490457. (~>) (t6989586621680490457 a6989586621680490460) (m6989586621680490458 b6989586621680490459) Source #

Instances

Instances details

(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 a6989586621680491078 a6989586621680491077 t6989586621680490457 :: TyFun (t6989586621680490457 a6989586621680490460) (m6989586621680490458 b6989586621680490459) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source #
type Apply (FoldlMSym2 a6989586621680491078 a6989586621680491077 t :: TyFun (t a) (m b) -> Type) (a6989586621680491079 :: t a) Source #
Instance details Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym2 a6989586621680491078 a6989586621680491077 t :: TyFun (t a) (m b) -> Type) (a6989586621680491079 :: t a) = FoldlM a6989586621680491078 a6989586621680491077 a6989586621680491079

type FoldlMSym3 (a6989586621680491077 :: (~>) b6989586621680490459 ((~>) a6989586621680490460 (m6989586621680490458 b6989586621680490459))) (a6989586621680491078 :: b6989586621680490459) (a6989586621680491079 :: t6989586621680490457 a6989586621680490460) = FoldlM a6989586621680491077 a6989586621680491078 a6989586621680491079 Source #

data ReplicateMSym0 :: forall m6989586621681274766 a6989586621681274767. (~>) Nat ((~>) (m6989586621681274766 a6989586621681274767) (m6989586621681274766 [a6989586621681274767])) Source #

Instances

Instances details

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

data ReplicateMSym1 (a6989586621681275143 :: Nat) :: forall m6989586621681274766 a6989586621681274767. (~>) (m6989586621681274766 a6989586621681274767) (m6989586621681274766 [a6989586621681274767]) Source #

Instances

Instances details

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

type ReplicateMSym2 (a6989586621681275143 :: Nat) (a6989586621681275144 :: m6989586621681274766 a6989586621681274767) = ReplicateM a6989586621681275143 a6989586621681275144 Source #

data ReplicateM_Sym0 :: forall m6989586621681274764 a6989586621681274765. (~>) Nat ((~>) (m6989586621681274764 a6989586621681274765) (m6989586621681274764 ())) Source #

Instances

Instances details

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

data ReplicateM_Sym1 (a6989586621681275124 :: Nat) :: forall m6989586621681274764 a6989586621681274765. (~>) (m6989586621681274764 a6989586621681274765) (m6989586621681274764 ()) Source #

Instances

Instances details

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

type ReplicateM_Sym2 (a6989586621681275124 :: Nat) (a6989586621681275125 :: m6989586621681274764 a6989586621681274765) = ReplicateM_ a6989586621681275124 a6989586621681275125 Source #

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

Instances

Instances details

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

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

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

Instances

Instances details

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

data WhenSym1 (a6989586621679571155 :: Bool) :: forall f6989586621679570770. (~>) (f6989586621679570770 ()) (f6989586621679570770 ()) Source #

Instances

Instances details

(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 a6989586621679571155 f6989586621679570770 :: TyFun (f6989586621679570770 ()) (f6989586621679570770 ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (WhenSym1 a6989586621679571155 f :: TyFun (f ()) (f ()) -> Type) (a6989586621679571156 :: f ()) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (WhenSym1 a6989586621679571155 f :: TyFun (f ()) (f ()) -> Type) (a6989586621679571156 :: f ()) = When a6989586621679571155 a6989586621679571156

type WhenSym2 (a6989586621679571155 :: Bool) (a6989586621679571156 :: f6989586621679570770 ()) = When a6989586621679571155 a6989586621679571156 Source #

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

Instances

Instances details

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

data UnlessSym1 (a6989586621681275115 :: Bool) :: forall f6989586621681274763. (~>) (f6989586621681274763 ()) (f6989586621681274763 ()) Source #

Instances

Instances details

(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 a6989586621681275115 f6989586621681274763 :: TyFun (f6989586621681274763 ()) (f6989586621681274763 ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (UnlessSym1 a6989586621681275115 f :: TyFun (f ()) (f ()) -> Type) (a6989586621681275116 :: f ()) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (UnlessSym1 a6989586621681275115 f :: TyFun (f ()) (f ()) -> Type) (a6989586621681275116 :: f ()) = Unless a6989586621681275115 a6989586621681275116

type UnlessSym2 (a6989586621681275115 :: Bool) (a6989586621681275116 :: f6989586621681274763 ()) = Unless a6989586621681275115 a6989586621681275116 Source #

data LiftMSym0 :: forall a16989586621679570768 r6989586621679570769 m6989586621679570767. (~>) ((~>) a16989586621679570768 r6989586621679570769) ((~>) (m6989586621679570767 a16989586621679570768) (m6989586621679570767 r6989586621679570769)) Source #

Instances

Instances details

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

data LiftMSym1 (a6989586621679571142 :: (~>) a16989586621679570768 r6989586621679570769) :: forall m6989586621679570767. (~>) (m6989586621679570767 a16989586621679570768) (m6989586621679570767 r6989586621679570769) Source #

Instances

Instances details

(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 a6989586621679571142 m6989586621679570767 :: TyFun (m6989586621679570767 a16989586621679570768) (m6989586621679570767 r6989586621679570769) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftMSym1 a6989586621679571142 m :: TyFun (m a1) (m r) -> Type) (a6989586621679571143 :: m a1) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftMSym1 a6989586621679571142 m :: TyFun (m a1) (m r) -> Type) (a6989586621679571143 :: m a1) = LiftM a6989586621679571142 a6989586621679571143

type LiftMSym2 (a6989586621679571142 :: (~>) a16989586621679570768 r6989586621679570769) (a6989586621679571143 :: m6989586621679570767 a16989586621679570768) = LiftM a6989586621679571142 a6989586621679571143 Source #

data LiftM2Sym0 :: forall a16989586621679570764 a26989586621679570765 r6989586621679570766 m6989586621679570763. (~>) ((~>) a16989586621679570764 ((~>) a26989586621679570765 r6989586621679570766)) ((~>) (m6989586621679570763 a16989586621679570764) ((~>) (m6989586621679570763 a26989586621679570765) (m6989586621679570763 r6989586621679570766))) Source #

Instances

Instances details

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

data LiftM2Sym1 (a6989586621679571116 :: (~>) a16989586621679570764 ((~>) a26989586621679570765 r6989586621679570766)) :: forall m6989586621679570763. (~>) (m6989586621679570763 a16989586621679570764) ((~>) (m6989586621679570763 a26989586621679570765) (m6989586621679570763 r6989586621679570766)) Source #

Instances

Instances details

(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 a6989586621679571116 m6989586621679570763 :: TyFun (m6989586621679570763 a16989586621679570764) (m6989586621679570763 a26989586621679570765 ~> m6989586621679570763 r6989586621679570766) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM2Sym1 a6989586621679571116 m6989586621679570763 :: TyFun (m6989586621679570763 a16989586621679570764) (m6989586621679570763 a26989586621679570765 ~> m6989586621679570763 r6989586621679570766) -> Type) (a6989586621679571117 :: m6989586621679570763 a16989586621679570764) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM2Sym1 a6989586621679571116 m6989586621679570763 :: TyFun (m6989586621679570763 a16989586621679570764) (m6989586621679570763 a26989586621679570765 ~> m6989586621679570763 r6989586621679570766) -> Type) (a6989586621679571117 :: m6989586621679570763 a16989586621679570764) = LiftM2Sym2 a6989586621679571116 a6989586621679571117

data LiftM2Sym2 (a6989586621679571116 :: (~>) a16989586621679570764 ((~>) a26989586621679570765 r6989586621679570766)) (a6989586621679571117 :: m6989586621679570763 a16989586621679570764) :: (~>) (m6989586621679570763 a26989586621679570765) (m6989586621679570763 r6989586621679570766) Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2) => SingI (LiftM2Sym2 d1 d2 :: TyFun (m a2) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM2Sym2 d1 d2) Source #
SuppressUnusedWarnings (LiftM2Sym2 a6989586621679571117 a6989586621679571116 :: TyFun (m6989586621679570763 a26989586621679570765) (m6989586621679570763 r6989586621679570766) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM2Sym2 a6989586621679571117 a6989586621679571116 :: TyFun (m a2) (m r) -> Type) (a6989586621679571118 :: m a2) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM2Sym2 a6989586621679571117 a6989586621679571116 :: TyFun (m a2) (m r) -> Type) (a6989586621679571118 :: m a2) = LiftM2 a6989586621679571117 a6989586621679571116 a6989586621679571118

type LiftM2Sym3 (a6989586621679571116 :: (~>) a16989586621679570764 ((~>) a26989586621679570765 r6989586621679570766)) (a6989586621679571117 :: m6989586621679570763 a16989586621679570764) (a6989586621679571118 :: m6989586621679570763 a26989586621679570765) = LiftM2 a6989586621679571116 a6989586621679571117 a6989586621679571118 Source #

data LiftM3Sym0 :: forall a16989586621679570759 a26989586621679570760 a36989586621679570761 r6989586621679570762 m6989586621679570758. (~>) ((~>) a16989586621679570759 ((~>) a26989586621679570760 ((~>) a36989586621679570761 r6989586621679570762))) ((~>) (m6989586621679570758 a16989586621679570759) ((~>) (m6989586621679570758 a26989586621679570760) ((~>) (m6989586621679570758 a36989586621679570761) (m6989586621679570758 r6989586621679570762)))) Source #

Instances

Instances details

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

data LiftM3Sym1 (a6989586621679571074 :: (~>) a16989586621679570759 ((~>) a26989586621679570760 ((~>) a36989586621679570761 r6989586621679570762))) :: forall m6989586621679570758. (~>) (m6989586621679570758 a16989586621679570759) ((~>) (m6989586621679570758 a26989586621679570760) ((~>) (m6989586621679570758 a36989586621679570761) (m6989586621679570758 r6989586621679570762))) Source #

Instances

Instances details

(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 a6989586621679571074 m6989586621679570758 :: TyFun (m6989586621679570758 a16989586621679570759) (m6989586621679570758 a26989586621679570760 ~> (m6989586621679570758 a36989586621679570761 ~> m6989586621679570758 r6989586621679570762)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM3Sym1 a6989586621679571074 m6989586621679570758 :: TyFun (m6989586621679570758 a16989586621679570759) (m6989586621679570758 a26989586621679570760 ~> (m6989586621679570758 a36989586621679570761 ~> m6989586621679570758 r6989586621679570762)) -> Type) (a6989586621679571075 :: m6989586621679570758 a16989586621679570759) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym1 a6989586621679571074 m6989586621679570758 :: TyFun (m6989586621679570758 a16989586621679570759) (m6989586621679570758 a26989586621679570760 ~> (m6989586621679570758 a36989586621679570761 ~> m6989586621679570758 r6989586621679570762)) -> Type) (a6989586621679571075 :: m6989586621679570758 a16989586621679570759) = LiftM3Sym2 a6989586621679571074 a6989586621679571075

data LiftM3Sym2 (a6989586621679571074 :: (~>) a16989586621679570759 ((~>) a26989586621679570760 ((~>) a36989586621679570761 r6989586621679570762))) (a6989586621679571075 :: m6989586621679570758 a16989586621679570759) :: (~>) (m6989586621679570758 a26989586621679570760) ((~>) (m6989586621679570758 a36989586621679570761) (m6989586621679570758 r6989586621679570762)) Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2) => SingI (LiftM3Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM3Sym2 d1 d2) Source #
SuppressUnusedWarnings (LiftM3Sym2 a6989586621679571075 a6989586621679571074 :: TyFun (m6989586621679570758 a26989586621679570760) (m6989586621679570758 a36989586621679570761 ~> m6989586621679570758 r6989586621679570762) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM3Sym2 a6989586621679571075 a6989586621679571074 :: TyFun (m6989586621679570758 a26989586621679570760) (m6989586621679570758 a36989586621679570761 ~> m6989586621679570758 r6989586621679570762) -> Type) (a6989586621679571076 :: m6989586621679570758 a26989586621679570760) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym2 a6989586621679571075 a6989586621679571074 :: TyFun (m6989586621679570758 a26989586621679570760) (m6989586621679570758 a36989586621679570761 ~> m6989586621679570758 r6989586621679570762) -> Type) (a6989586621679571076 :: m6989586621679570758 a26989586621679570760) = LiftM3Sym3 a6989586621679571075 a6989586621679571074 a6989586621679571076

data LiftM3Sym3 (a6989586621679571074 :: (~>) a16989586621679570759 ((~>) a26989586621679570760 ((~>) a36989586621679570761 r6989586621679570762))) (a6989586621679571075 :: m6989586621679570758 a16989586621679570759) (a6989586621679571076 :: m6989586621679570758 a26989586621679570760) :: (~>) (m6989586621679570758 a36989586621679570761) (m6989586621679570758 r6989586621679570762) Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM3Sym3 d1 d2 d3 :: TyFun (m a3) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM3Sym3 d1 d2 d3) Source #
SuppressUnusedWarnings (LiftM3Sym3 a6989586621679571076 a6989586621679571075 a6989586621679571074 :: TyFun (m6989586621679570758 a36989586621679570761) (m6989586621679570758 r6989586621679570762) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM3Sym3 a6989586621679571076 a6989586621679571075 a6989586621679571074 :: TyFun (m a3) (m r) -> Type) (a6989586621679571077 :: m a3) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym3 a6989586621679571076 a6989586621679571075 a6989586621679571074 :: TyFun (m a3) (m r) -> Type) (a6989586621679571077 :: m a3) = LiftM3 a6989586621679571076 a6989586621679571075 a6989586621679571074 a6989586621679571077

type LiftM3Sym4 (a6989586621679571074 :: (~>) a16989586621679570759 ((~>) a26989586621679570760 ((~>) a36989586621679570761 r6989586621679570762))) (a6989586621679571075 :: m6989586621679570758 a16989586621679570759) (a6989586621679571076 :: m6989586621679570758 a26989586621679570760) (a6989586621679571077 :: m6989586621679570758 a36989586621679570761) = LiftM3 a6989586621679571074 a6989586621679571075 a6989586621679571076 a6989586621679571077 Source #

data LiftM4Sym0 :: forall a16989586621679570753 a26989586621679570754 a36989586621679570755 a46989586621679570756 r6989586621679570757 m6989586621679570752. (~>) ((~>) a16989586621679570753 ((~>) a26989586621679570754 ((~>) a36989586621679570755 ((~>) a46989586621679570756 r6989586621679570757)))) ((~>) (m6989586621679570752 a16989586621679570753) ((~>) (m6989586621679570752 a26989586621679570754) ((~>) (m6989586621679570752 a36989586621679570755) ((~>) (m6989586621679570752 a46989586621679570756) (m6989586621679570752 r6989586621679570757))))) Source #

Instances

Instances details

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

data LiftM4Sym1 (a6989586621679571013 :: (~>) a16989586621679570753 ((~>) a26989586621679570754 ((~>) a36989586621679570755 ((~>) a46989586621679570756 r6989586621679570757)))) :: forall m6989586621679570752. (~>) (m6989586621679570752 a16989586621679570753) ((~>) (m6989586621679570752 a26989586621679570754) ((~>) (m6989586621679570752 a36989586621679570755) ((~>) (m6989586621679570752 a46989586621679570756) (m6989586621679570752 r6989586621679570757)))) Source #

Instances

Instances details

(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 a6989586621679571013 m6989586621679570752 :: TyFun (m6989586621679570752 a16989586621679570753) (m6989586621679570752 a26989586621679570754 ~> (m6989586621679570752 a36989586621679570755 ~> (m6989586621679570752 a46989586621679570756 ~> m6989586621679570752 r6989586621679570757))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM4Sym1 a6989586621679571013 m6989586621679570752 :: TyFun (m6989586621679570752 a16989586621679570753) (m6989586621679570752 a26989586621679570754 ~> (m6989586621679570752 a36989586621679570755 ~> (m6989586621679570752 a46989586621679570756 ~> m6989586621679570752 r6989586621679570757))) -> Type) (a6989586621679571014 :: m6989586621679570752 a16989586621679570753) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym1 a6989586621679571013 m6989586621679570752 :: TyFun (m6989586621679570752 a16989586621679570753) (m6989586621679570752 a26989586621679570754 ~> (m6989586621679570752 a36989586621679570755 ~> (m6989586621679570752 a46989586621679570756 ~> m6989586621679570752 r6989586621679570757))) -> Type) (a6989586621679571014 :: m6989586621679570752 a16989586621679570753) = LiftM4Sym2 a6989586621679571013 a6989586621679571014

data LiftM4Sym2 (a6989586621679571013 :: (~>) a16989586621679570753 ((~>) a26989586621679570754 ((~>) a36989586621679570755 ((~>) a46989586621679570756 r6989586621679570757)))) (a6989586621679571014 :: m6989586621679570752 a16989586621679570753) :: (~>) (m6989586621679570752 a26989586621679570754) ((~>) (m6989586621679570752 a36989586621679570755) ((~>) (m6989586621679570752 a46989586621679570756) (m6989586621679570752 r6989586621679570757))) Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2) => SingI (LiftM4Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym2 d1 d2) Source #
SuppressUnusedWarnings (LiftM4Sym2 a6989586621679571014 a6989586621679571013 :: TyFun (m6989586621679570752 a26989586621679570754) (m6989586621679570752 a36989586621679570755 ~> (m6989586621679570752 a46989586621679570756 ~> m6989586621679570752 r6989586621679570757)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM4Sym2 a6989586621679571014 a6989586621679571013 :: TyFun (m6989586621679570752 a26989586621679570754) (m6989586621679570752 a36989586621679570755 ~> (m6989586621679570752 a46989586621679570756 ~> m6989586621679570752 r6989586621679570757)) -> Type) (a6989586621679571015 :: m6989586621679570752 a26989586621679570754) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym2 a6989586621679571014 a6989586621679571013 :: TyFun (m6989586621679570752 a26989586621679570754) (m6989586621679570752 a36989586621679570755 ~> (m6989586621679570752 a46989586621679570756 ~> m6989586621679570752 r6989586621679570757)) -> Type) (a6989586621679571015 :: m6989586621679570752 a26989586621679570754) = LiftM4Sym3 a6989586621679571014 a6989586621679571013 a6989586621679571015

data LiftM4Sym3 (a6989586621679571013 :: (~>) a16989586621679570753 ((~>) a26989586621679570754 ((~>) a36989586621679570755 ((~>) a46989586621679570756 r6989586621679570757)))) (a6989586621679571014 :: m6989586621679570752 a16989586621679570753) (a6989586621679571015 :: m6989586621679570752 a26989586621679570754) :: (~>) (m6989586621679570752 a36989586621679570755) ((~>) (m6989586621679570752 a46989586621679570756) (m6989586621679570752 r6989586621679570757)) Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM4Sym3 d1 d2 d3 :: TyFun (m a3) (m a4 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym3 d1 d2 d3) Source #
SuppressUnusedWarnings (LiftM4Sym3 a6989586621679571015 a6989586621679571014 a6989586621679571013 :: TyFun (m6989586621679570752 a36989586621679570755) (m6989586621679570752 a46989586621679570756 ~> m6989586621679570752 r6989586621679570757) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM4Sym3 a6989586621679571015 a6989586621679571014 a6989586621679571013 :: TyFun (m6989586621679570752 a36989586621679570755) (m6989586621679570752 a46989586621679570756 ~> m6989586621679570752 r6989586621679570757) -> Type) (a6989586621679571016 :: m6989586621679570752 a36989586621679570755) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym3 a6989586621679571015 a6989586621679571014 a6989586621679571013 :: TyFun (m6989586621679570752 a36989586621679570755) (m6989586621679570752 a46989586621679570756 ~> m6989586621679570752 r6989586621679570757) -> Type) (a6989586621679571016 :: m6989586621679570752 a36989586621679570755) = LiftM4Sym4 a6989586621679571015 a6989586621679571014 a6989586621679571013 a6989586621679571016

data LiftM4Sym4 (a6989586621679571013 :: (~>) a16989586621679570753 ((~>) a26989586621679570754 ((~>) a36989586621679570755 ((~>) a46989586621679570756 r6989586621679570757)))) (a6989586621679571014 :: m6989586621679570752 a16989586621679570753) (a6989586621679571015 :: m6989586621679570752 a26989586621679570754) (a6989586621679571016 :: m6989586621679570752 a36989586621679570755) :: (~>) (m6989586621679570752 a46989586621679570756) (m6989586621679570752 r6989586621679570757) Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4) => SingI (LiftM4Sym4 d1 d2 d3 d4 :: TyFun (m a4) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym4 d1 d2 d3 d4) Source #
SuppressUnusedWarnings (LiftM4Sym4 a6989586621679571016 a6989586621679571015 a6989586621679571014 a6989586621679571013 :: TyFun (m6989586621679570752 a46989586621679570756) (m6989586621679570752 r6989586621679570757) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM4Sym4 a6989586621679571016 a6989586621679571015 a6989586621679571014 a6989586621679571013 :: TyFun (m a4) (m r) -> Type) (a6989586621679571017 :: m a4) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym4 a6989586621679571016 a6989586621679571015 a6989586621679571014 a6989586621679571013 :: TyFun (m a4) (m r) -> Type) (a6989586621679571017 :: m a4) = LiftM4 a6989586621679571016 a6989586621679571015 a6989586621679571014 a6989586621679571013 a6989586621679571017

type LiftM4Sym5 (a6989586621679571013 :: (~>) a16989586621679570753 ((~>) a26989586621679570754 ((~>) a36989586621679570755 ((~>) a46989586621679570756 r6989586621679570757)))) (a6989586621679571014 :: m6989586621679570752 a16989586621679570753) (a6989586621679571015 :: m6989586621679570752 a26989586621679570754) (a6989586621679571016 :: m6989586621679570752 a36989586621679570755) (a6989586621679571017 :: m6989586621679570752 a46989586621679570756) = LiftM4 a6989586621679571013 a6989586621679571014 a6989586621679571015 a6989586621679571016 a6989586621679571017 Source #

data LiftM5Sym0 :: forall a16989586621679570746 a26989586621679570747 a36989586621679570748 a46989586621679570749 a56989586621679570750 r6989586621679570751 m6989586621679570745. (~>) ((~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) ((~>) (m6989586621679570745 a16989586621679570746) ((~>) (m6989586621679570745 a26989586621679570747) ((~>) (m6989586621679570745 a36989586621679570748) ((~>) (m6989586621679570745 a46989586621679570749) ((~>) (m6989586621679570745 a56989586621679570750) (m6989586621679570745 r6989586621679570751)))))) Source #

Instances

Instances details

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

data LiftM5Sym1 (a6989586621679570930 :: (~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) :: forall m6989586621679570745. (~>) (m6989586621679570745 a16989586621679570746) ((~>) (m6989586621679570745 a26989586621679570747) ((~>) (m6989586621679570745 a36989586621679570748) ((~>) (m6989586621679570745 a46989586621679570749) ((~>) (m6989586621679570745 a56989586621679570750) (m6989586621679570745 r6989586621679570751))))) Source #

Instances

Instances details

(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 a6989586621679570930 m6989586621679570745 :: TyFun (m6989586621679570745 a16989586621679570746) (m6989586621679570745 a26989586621679570747 ~> (m6989586621679570745 a36989586621679570748 ~> (m6989586621679570745 a46989586621679570749 ~> (m6989586621679570745 a56989586621679570750 ~> m6989586621679570745 r6989586621679570751)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym1 a6989586621679570930 m6989586621679570745 :: TyFun (m6989586621679570745 a16989586621679570746) (m6989586621679570745 a26989586621679570747 ~> (m6989586621679570745 a36989586621679570748 ~> (m6989586621679570745 a46989586621679570749 ~> (m6989586621679570745 a56989586621679570750 ~> m6989586621679570745 r6989586621679570751)))) -> Type) (a6989586621679570931 :: m6989586621679570745 a16989586621679570746) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym1 a6989586621679570930 m6989586621679570745 :: TyFun (m6989586621679570745 a16989586621679570746) (m6989586621679570745 a26989586621679570747 ~> (m6989586621679570745 a36989586621679570748 ~> (m6989586621679570745 a46989586621679570749 ~> (m6989586621679570745 a56989586621679570750 ~> m6989586621679570745 r6989586621679570751)))) -> Type) (a6989586621679570931 :: m6989586621679570745 a16989586621679570746) = LiftM5Sym2 a6989586621679570930 a6989586621679570931

data LiftM5Sym2 (a6989586621679570930 :: (~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) (a6989586621679570931 :: m6989586621679570745 a16989586621679570746) :: (~>) (m6989586621679570745 a26989586621679570747) ((~>) (m6989586621679570745 a36989586621679570748) ((~>) (m6989586621679570745 a46989586621679570749) ((~>) (m6989586621679570745 a56989586621679570750) (m6989586621679570745 r6989586621679570751)))) Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2) => SingI (LiftM5Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym2 d1 d2) Source #
SuppressUnusedWarnings (LiftM5Sym2 a6989586621679570931 a6989586621679570930 :: TyFun (m6989586621679570745 a26989586621679570747) (m6989586621679570745 a36989586621679570748 ~> (m6989586621679570745 a46989586621679570749 ~> (m6989586621679570745 a56989586621679570750 ~> m6989586621679570745 r6989586621679570751))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym2 a6989586621679570931 a6989586621679570930 :: TyFun (m6989586621679570745 a26989586621679570747) (m6989586621679570745 a36989586621679570748 ~> (m6989586621679570745 a46989586621679570749 ~> (m6989586621679570745 a56989586621679570750 ~> m6989586621679570745 r6989586621679570751))) -> Type) (a6989586621679570932 :: m6989586621679570745 a26989586621679570747) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym2 a6989586621679570931 a6989586621679570930 :: TyFun (m6989586621679570745 a26989586621679570747) (m6989586621679570745 a36989586621679570748 ~> (m6989586621679570745 a46989586621679570749 ~> (m6989586621679570745 a56989586621679570750 ~> m6989586621679570745 r6989586621679570751))) -> Type) (a6989586621679570932 :: m6989586621679570745 a26989586621679570747) = LiftM5Sym3 a6989586621679570931 a6989586621679570930 a6989586621679570932

data LiftM5Sym3 (a6989586621679570930 :: (~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) (a6989586621679570931 :: m6989586621679570745 a16989586621679570746) (a6989586621679570932 :: m6989586621679570745 a26989586621679570747) :: (~>) (m6989586621679570745 a36989586621679570748) ((~>) (m6989586621679570745 a46989586621679570749) ((~>) (m6989586621679570745 a56989586621679570750) (m6989586621679570745 r6989586621679570751))) Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM5Sym3 d1 d2 d3 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym3 d1 d2 d3) Source #
SuppressUnusedWarnings (LiftM5Sym3 a6989586621679570932 a6989586621679570931 a6989586621679570930 :: TyFun (m6989586621679570745 a36989586621679570748) (m6989586621679570745 a46989586621679570749 ~> (m6989586621679570745 a56989586621679570750 ~> m6989586621679570745 r6989586621679570751)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym3 a6989586621679570932 a6989586621679570931 a6989586621679570930 :: TyFun (m6989586621679570745 a36989586621679570748) (m6989586621679570745 a46989586621679570749 ~> (m6989586621679570745 a56989586621679570750 ~> m6989586621679570745 r6989586621679570751)) -> Type) (a6989586621679570933 :: m6989586621679570745 a36989586621679570748) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym3 a6989586621679570932 a6989586621679570931 a6989586621679570930 :: TyFun (m6989586621679570745 a36989586621679570748) (m6989586621679570745 a46989586621679570749 ~> (m6989586621679570745 a56989586621679570750 ~> m6989586621679570745 r6989586621679570751)) -> Type) (a6989586621679570933 :: m6989586621679570745 a36989586621679570748) = LiftM5Sym4 a6989586621679570932 a6989586621679570931 a6989586621679570930 a6989586621679570933

data LiftM5Sym4 (a6989586621679570930 :: (~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) (a6989586621679570931 :: m6989586621679570745 a16989586621679570746) (a6989586621679570932 :: m6989586621679570745 a26989586621679570747) (a6989586621679570933 :: m6989586621679570745 a36989586621679570748) :: (~>) (m6989586621679570745 a46989586621679570749) ((~>) (m6989586621679570745 a56989586621679570750) (m6989586621679570745 r6989586621679570751)) Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4) => SingI (LiftM5Sym4 d1 d2 d3 d4 :: TyFun (m a4) (m a5 ~> m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym4 d1 d2 d3 d4) Source #
SuppressUnusedWarnings (LiftM5Sym4 a6989586621679570933 a6989586621679570932 a6989586621679570931 a6989586621679570930 :: TyFun (m6989586621679570745 a46989586621679570749) (m6989586621679570745 a56989586621679570750 ~> m6989586621679570745 r6989586621679570751) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym4 a6989586621679570933 a6989586621679570932 a6989586621679570931 a6989586621679570930 :: TyFun (m6989586621679570745 a46989586621679570749) (m6989586621679570745 a56989586621679570750 ~> m6989586621679570745 r6989586621679570751) -> Type) (a6989586621679570934 :: m6989586621679570745 a46989586621679570749) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym4 a6989586621679570933 a6989586621679570932 a6989586621679570931 a6989586621679570930 :: TyFun (m6989586621679570745 a46989586621679570749) (m6989586621679570745 a56989586621679570750 ~> m6989586621679570745 r6989586621679570751) -> Type) (a6989586621679570934 :: m6989586621679570745 a46989586621679570749) = LiftM5Sym5 a6989586621679570933 a6989586621679570932 a6989586621679570931 a6989586621679570930 a6989586621679570934

data LiftM5Sym5 (a6989586621679570930 :: (~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) (a6989586621679570931 :: m6989586621679570745 a16989586621679570746) (a6989586621679570932 :: m6989586621679570745 a26989586621679570747) (a6989586621679570933 :: m6989586621679570745 a36989586621679570748) (a6989586621679570934 :: m6989586621679570745 a46989586621679570749) :: (~>) (m6989586621679570745 a56989586621679570750) (m6989586621679570745 r6989586621679570751) Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4, SingI d5) => SingI (LiftM5Sym5 d1 d2 d3 d4 d5 :: TyFun (m a5) (m r) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym5 d1 d2 d3 d4 d5) Source #
SuppressUnusedWarnings (LiftM5Sym5 a6989586621679570934 a6989586621679570933 a6989586621679570932 a6989586621679570931 a6989586621679570930 :: TyFun (m6989586621679570745 a56989586621679570750) (m6989586621679570745 r6989586621679570751) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LiftM5Sym5 a6989586621679570934 a6989586621679570933 a6989586621679570932 a6989586621679570931 a6989586621679570930 :: TyFun (m a5) (m r) -> Type) (a6989586621679570935 :: m a5) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym5 a6989586621679570934 a6989586621679570933 a6989586621679570932 a6989586621679570931 a6989586621679570930 :: TyFun (m a5) (m r) -> Type) (a6989586621679570935 :: m a5) = LiftM5 a6989586621679570934 a6989586621679570933 a6989586621679570932 a6989586621679570931 a6989586621679570930 a6989586621679570935

type LiftM5Sym6 (a6989586621679570930 :: (~>) a16989586621679570746 ((~>) a26989586621679570747 ((~>) a36989586621679570748 ((~>) a46989586621679570749 ((~>) a56989586621679570750 r6989586621679570751))))) (a6989586621679570931 :: m6989586621679570745 a16989586621679570746) (a6989586621679570932 :: m6989586621679570745 a26989586621679570747) (a6989586621679570933 :: m6989586621679570745 a36989586621679570748) (a6989586621679570934 :: m6989586621679570745 a46989586621679570749) (a6989586621679570935 :: m6989586621679570745 a56989586621679570750) = LiftM5 a6989586621679570930 a6989586621679570931 a6989586621679570932 a6989586621679570933 a6989586621679570934 a6989586621679570935 Source #

data ApSym0 :: forall m6989586621679570742 a6989586621679570743 b6989586621679570744. (~>) (m6989586621679570742 ((~>) a6989586621679570743 b6989586621679570744)) ((~>) (m6989586621679570742 a6989586621679570743) (m6989586621679570742 b6989586621679570744)) Source #

Instances

Instances details

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

data ApSym1 (a6989586621679570909 :: m6989586621679570742 ((~>) a6989586621679570743 b6989586621679570744)) :: (~>) (m6989586621679570742 a6989586621679570743) (m6989586621679570742 b6989586621679570744) Source #

Instances

Instances details

(SMonad m, SingI d) => SingI (ApSym1 d :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (ApSym1 d) Source #
SuppressUnusedWarnings (ApSym1 a6989586621679570909 :: TyFun (m6989586621679570742 a6989586621679570743) (m6989586621679570742 b6989586621679570744) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (ApSym1 a6989586621679570909 :: TyFun (m a) (m b) -> Type) (a6989586621679570910 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (ApSym1 a6989586621679570909 :: TyFun (m a) (m b) -> Type) (a6989586621679570910 :: m a) = Ap a6989586621679570909 a6989586621679570910

type ApSym2 (a6989586621679570909 :: m6989586621679570742 ((~>) a6989586621679570743 b6989586621679570744)) (a6989586621679570910 :: m6989586621679570742 a6989586621679570743) = Ap a6989586621679570909 a6989586621679570910 Source #

data (<$!>@#@$) :: forall a6989586621681274761 b6989586621681274762 m6989586621681274760. (~>) ((~>) a6989586621681274761 b6989586621681274762) ((~>) (m6989586621681274760 a6989586621681274761) (m6989586621681274760 b6989586621681274762)) infixl 4 Source #

Instances

Instances details

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

data (<$!>@#@$$) (a6989586621681275098 :: (~>) a6989586621681274761 b6989586621681274762) :: forall m6989586621681274760. (~>) (m6989586621681274760 a6989586621681274761) (m6989586621681274760 b6989586621681274762) infixl 4 Source #

Instances

Instances details

(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 (a6989586621681275098 <$!>@#@$$ m6989586621681274760 :: TyFun (m6989586621681274760 a6989586621681274761) (m6989586621681274760 b6989586621681274762) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621681275098 <$!>@#@$$ m :: TyFun (m a) (m b) -> Type) (a6989586621681275099 :: m a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad type Apply (a6989586621681275098 <$!>@#@$$ m :: TyFun (m a) (m b) -> Type) (a6989586621681275099 :: m a) = a6989586621681275098 <$!> a6989586621681275099

type (<$!>@#@$$$) (a6989586621681275098 :: (~>) a6989586621681274761 b6989586621681274762) (a6989586621681275099 :: m6989586621681274760 a6989586621681274761) = (<$!>) a6989586621681275098 a6989586621681275099 Source #

Orphan instances

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