Copyright	(C) 2018 Ryan Scott
License	BSD-style (see LICENSE)
Maintainer	Ryan Scott
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	GHC2021

Control.Monad.Singletons

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) (arg1 :: f a) :: f b
class SFunctor (f :: Type -> Type) where
- sFmap :: forall a b (t1 :: a ~> b) (t2 :: f a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) t1) t2)
class PMonad (m :: Type -> Type) where
- type (arg :: m a) >>= (arg1 :: a ~> m b) :: m b
- type (arg :: m a) >> (arg1 :: m b) :: m b
- type Return (arg :: a) :: m a
class SApplicative m => SMonad (m :: Type -> Type) where
- (%>>=) :: forall a b (t1 :: m a) (t2 :: a ~> m b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) t1) t2)
- (%>>) :: forall a b (t1 :: m a) (t2 :: m b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) t1) t2)
- sReturn :: forall a (t :: a). Sing t -> Sing (Apply (ReturnSym0 :: TyFun a (m a) -> Type) t)
class PMonadPlus (m :: k -> Type) where
- type Mzero :: m a
- type Mplus (arg :: m a) (arg1 :: m a) :: m a
class (SAlternative m, SMonad m) => SMonadPlus (m :: Type -> Type) where
- sMzero :: Sing (MzeroSym0 :: m a)
- sMplus :: forall a (t1 :: m a) (t2 :: m a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) t1) t2)
class PMonadFail (m :: k -> 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 :: TyFun [Char] (m a) -> Type) t)
type family MapM (arg :: a ~> m b) (arg1 :: t a) :: m (t b)
sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: t a). (STraversable t, SMonad m) => Sing t1 -> Sing t2 -> Sing (Apply (Apply (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) t1) t2)
type family MapM_ (a1 :: a ~> m b) (a2 :: t a) :: m () where ...
sMapM_ :: forall a (m :: Type -> Type) b (t1 :: Type -> Type) (t2 :: a ~> m b) (t3 :: t1 a). (SFoldable t1, SMonad m) => Sing t2 -> Sing t3 -> Sing (Apply (Apply (MapM_Sym0 :: TyFun (a ~> m b) (t1 a ~> m ()) -> Type) t2) t3)
type family ForM (a1 :: t a) (a2 :: a ~> m b) :: m (t b) where ...
sForM :: forall (t1 :: Type -> Type) a (m :: Type -> Type) b (t2 :: t1 a) (t3 :: a ~> m b). (STraversable t1, SMonad m) => Sing t2 -> Sing t3 -> Sing (Apply (Apply (ForMSym0 :: TyFun (t1 a) ((a ~> m b) ~> m (t1 b)) -> Type) t2) t3)
type family Sequence (arg :: t (m a)) :: m (t a)
sSequence :: forall (m :: Type -> Type) a (t1 :: t (m a)). (STraversable t, SMonad m) => Sing t1 -> Sing (Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) t1)
type family Sequence_ (a1 :: t (m a)) :: m () where ...
sSequence_ :: forall (t1 :: Type -> Type) (m :: Type -> Type) a (t2 :: t1 (m a)). (SFoldable t1, SMonad m) => Sing t2 -> Sing (Apply (Sequence_Sym0 :: TyFun (t1 (m a)) (m ()) -> Type) t2)
type family (a1 :: a ~> m b) =<< (a2 :: m a) :: m b where ...
(%=<<) :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: m a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply ((=<<@#@$) :: TyFun (a ~> m b) (m a ~> m b) -> Type) t1) t2)
type family ((a1 :: a ~> m b) >=> (a2 :: b ~> m c)) (a3 :: a) :: m c where ...
(%>=>) :: forall a (m :: Type -> Type) b c (t1 :: a ~> m b) (t2 :: b ~> m c) (t3 :: a). SMonad m => Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) t1) t2) t3)
type family ((a1 :: b ~> m c) <=< (a2 :: a ~> m b)) (a3 :: a) :: m c where ...
(%<=<) :: forall b (m :: Type -> Type) c a (t1 :: b ~> m c) (t2 :: a ~> m b) (t3 :: a). SMonad m => Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) t1) t2) t3)
type family Void (a1 :: f a) :: f () where ...
sVoid :: forall (f :: Type -> Type) a (t :: f a). SFunctor f => Sing t -> Sing (Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) t)
type family Join (a1 :: m (m a)) :: m a where ...
sJoin :: forall (m :: Type -> Type) a (t :: m (m a)). SMonad m => Sing t -> Sing (Apply (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) t)
type family Msum (a1 :: t (m a)) :: m a where ...
sMsum :: forall (t1 :: Type -> Type) (m :: Type -> Type) a (t2 :: t1 (m a)). (SFoldable t1, SMonadPlus m) => Sing t2 -> Sing (Apply (MsumSym0 :: TyFun (t1 (m a)) (m a) -> Type) t2)
type family Mfilter (a1 :: a ~> Bool) (a2 :: m a) :: m a where ...
sMfilter :: forall a (m :: Type -> Type) (t1 :: a ~> Bool) (t2 :: m a). SMonadPlus m => Sing t1 -> Sing t2 -> Sing (Apply (Apply (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) t1) t2)
type family FilterM (a1 :: a ~> m Bool) (a2 :: [a]) :: m [a] where ...
sFilterM :: forall a (m :: Type -> Type) (t1 :: a ~> m Bool) (t2 :: [a]). SApplicative m => Sing t1 -> Sing t2 -> Sing (Apply (Apply (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) t1) t2)
type family MapAndUnzipM (a1 :: a ~> m (b, c)) (a2 :: [a]) :: m ([b], [c]) where ...
sMapAndUnzipM :: forall a (m :: Type -> Type) b c (t1 :: a ~> m (b, c)) (t2 :: [a]). SApplicative m => Sing t1 -> Sing t2 -> Sing (Apply (Apply (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) t1) t2)
type family ZipWithM (a1 :: a ~> (b ~> m c)) (a2 :: [a]) (a3 :: [b]) :: m [c] where ...
sZipWithM :: forall a b (m :: Type -> Type) c (t1 :: a ~> (b ~> m c)) (t2 :: [a]) (t3 :: [b]). SApplicative m => Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) t1) t2) t3)
type family ZipWithM_ (a1 :: a ~> (b ~> m c)) (a2 :: [a]) (a3 :: [b]) :: m () where ...
sZipWithM_ :: forall a b (m :: Type -> Type) c (t1 :: a ~> (b ~> m c)) (t2 :: [a]) (t3 :: [b]). SApplicative m => Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) t1) t2) t3)
type family FoldlM (a1 :: b ~> (a ~> m b)) (a2 :: b) (a3 :: t a) :: m b where ...
sFoldlM :: forall b a (m :: Type -> Type) (t1 :: Type -> Type) (t2 :: b ~> (a ~> m b)) (t3 :: b) (t4 :: t1 a). (SFoldable t1, SMonad m) => Sing t2 -> Sing t3 -> Sing t4 -> Sing (Apply (Apply (Apply (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t1 a ~> m b)) -> Type) t2) t3) t4)
type family ReplicateM (a1 :: Natural) (a2 :: m a) :: m [a] where ...
sReplicateM :: forall (m :: Type -> Type) a (t1 :: Natural) (t2 :: m a). SApplicative m => Sing t1 -> Sing t2 -> Sing (Apply (Apply (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) t1) t2)
type family ReplicateM_ (a1 :: Natural) (a2 :: m a) :: m () where ...
sReplicateM_ :: forall (m :: Type -> Type) a (t1 :: Natural) (t2 :: m a). SApplicative m => Sing t1 -> Sing t2 -> Sing (Apply (Apply (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) t1) t2)
type family Guard (a :: Bool) :: f () where ...
sGuard :: forall (f :: Type -> Type) (t :: Bool). SAlternative f => Sing t -> Sing (Apply (GuardSym0 :: TyFun Bool (f ()) -> Type) t)
type family When (a :: Bool) (a1 :: f ()) :: f () where ...
sWhen :: forall (f :: Type -> Type) (t1 :: Bool) (t2 :: f ()). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) t1) t2)
type family Unless (a :: Bool) (a1 :: f ()) :: f () where ...
sUnless :: forall (f :: Type -> Type) (t1 :: Bool) (t2 :: f ()). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) t1) t2)
type family LiftM (a :: a1 ~> r) (a2 :: m a1) :: m r where ...
sLiftM :: forall a1 r (m :: Type -> Type) (t1 :: a1 ~> r) (t2 :: m a1). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) t1) t2)
type family LiftM2 (a :: a1 ~> (a2 ~> r)) (a4 :: m a1) (a5 :: m a2) :: m r where ...
sLiftM2 :: forall a1 a2 r (m :: Type -> Type) (t1 :: a1 ~> (a2 ~> r)) (t2 :: m a1) (t3 :: m a2). SMonad m => Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) t1) t2) t3)
type family LiftM3 (a :: a1 ~> (a2 ~> (a3 ~> r))) (a4 :: m a1) (a5 :: m a2) (a6 :: m a3) :: m r where ...
sLiftM3 :: forall a1 a2 a3 r (m :: Type -> Type) (t1 :: a1 ~> (a2 ~> (a3 ~> r))) (t2 :: m a1) (t3 :: m a2) (t4 :: m a3). SMonad m => Sing t1 -> Sing t2 -> Sing t3 -> Sing t4 -> Sing (Apply (Apply (Apply (Apply (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) t1) t2) t3) t4)
type family LiftM4 (a :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a7 :: m a1) (a8 :: m a2) (a9 :: m a3) (a10 :: m a4) :: m r where ...
sLiftM4 :: forall a1 a2 a3 a4 r (m :: Type -> Type) (t1 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (t2 :: m a1) (t3 :: m a2) (t4 :: m a3) (t5 :: m a4). SMonad m => Sing t1 -> Sing t2 -> Sing t3 -> Sing t4 -> Sing t5 -> Sing (Apply (Apply (Apply (Apply (Apply (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) t1) t2) t3) t4) t5)
type family LiftM5 (a :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a7 :: m a1) (a8 :: m a2) (a9 :: m a3) (a10 :: m a4) (a11 :: m a5) :: m r where ...
sLiftM5 :: forall a1 a2 a3 a4 a5 r (m :: Type -> Type) (t1 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (t2 :: m a1) (t3 :: m a2) (t4 :: m a3) (t5 :: m a4) (t6 :: m a5). SMonad m => Sing t1 -> Sing t2 -> Sing t3 -> Sing t4 -> Sing t5 -> Sing t6 -> Sing (Apply (Apply (Apply (Apply (Apply (Apply (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) t1) t2) t3) t4) t5) t6)
type family Ap (a1 :: m (a ~> b)) (a2 :: m a) :: m b where ...
sAp :: forall (m :: Type -> Type) a b (t1 :: m (a ~> b)) (t2 :: m a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) t1) t2)
type family (a1 :: a ~> b) <$!> (a2 :: m a) :: m b where ...
(%<$!>) :: forall a b (m :: Type -> Type) (t1 :: a ~> b) (t2 :: m a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) t1) t2)
data FmapSym0 (a1 :: TyFun (a ~> b) (f a ~> f b))
data FmapSym1 (a6989586621679348484 :: a ~> b) (b1 :: TyFun (f a) (f b))
type family FmapSym2 (a6989586621679348484 :: a ~> b) (a6989586621679348485 :: f a) :: f b where ...
data (>>=@#@$) (a1 :: TyFun (m a) ((a ~> m b) ~> m b))
data (a6989586621679348592 :: m a) >>=@#@$$ (b1 :: TyFun (a ~> m b) (m b))
type family (a6989586621679348592 :: m a) >>=@#@$$$ (a6989586621679348593 :: a ~> m b) :: m b where ...
data (>>@#@$) (a1 :: TyFun (m a) (m b ~> m b))
data (a6989586621679348597 :: m a) >>@#@$$ (b1 :: TyFun (m b) (m b))
type family (a6989586621679348597 :: m a) >>@#@$$$ (a6989586621679348598 :: m b) :: m b where ...
data ReturnSym0 (a1 :: TyFun a (m a))
type family ReturnSym1 (a6989586621679348601 :: a) :: m a where ...
data FailSym0 (a1 :: TyFun [Char] (m a))
type family FailSym1 (a6989586621679549513 :: [Char]) :: m a where ...
type family MzeroSym0 :: m a where ...
data MplusSym0 (a1 :: TyFun (m a) (m a ~> m a))
data MplusSym1 (a6989586621679348639 :: m a) (b :: TyFun (m a) (m a))
type family MplusSym2 (a6989586621679348639 :: m a) (a6989586621679348640 :: m a) :: m a where ...
data MapMSym0 (a1 :: TyFun (a ~> m b) (t a ~> m (t b)))
data MapMSym1 (a6989586621680733994 :: a ~> m b) (b1 :: TyFun (t a) (m (t b)))
type family MapMSym2 (a6989586621680733994 :: a ~> m b) (a6989586621680733995 :: t a) :: m (t b) where ...
data MapM_Sym0 (a1 :: TyFun (a ~> m b) (t a ~> m ()))
data MapM_Sym1 (a6989586621680390321 :: a ~> m b) (b1 :: TyFun (t a) (m ()))
type family MapM_Sym2 (a6989586621680390321 :: a ~> m b) (a6989586621680390322 :: t a) :: m () where ...
data ForMSym0 (a1 :: TyFun (t a) ((a ~> m b) ~> m (t b)))
data ForMSym1 (a6989586621680741291 :: t a) (b1 :: TyFun (a ~> m b) (m (t b)))
type family ForMSym2 (a6989586621680741291 :: t a) (a6989586621680741292 :: a ~> m b) :: m (t b) where ...
data SequenceSym0 (a1 :: TyFun (t (m a)) (m (t a)))
type family SequenceSym1 (a6989586621680733998 :: t (m a)) :: m (t a) where ...
data Sequence_Sym0 (a1 :: TyFun (t (m a)) (m ()))
type family Sequence_Sym1 (a6989586621680390297 :: t (m a)) :: m () where ...
data (=<<@#@$) (a1 :: TyFun (a ~> m b) (m a ~> m b))
data (a6989586621679348437 :: a ~> m b) =<<@#@$$ (b1 :: TyFun (m a) (m b))
type family (a6989586621679348437 :: a ~> m b) =<<@#@$$$ (a6989586621679348438 :: m a) :: m b where ...
data (>=>@#@$) (a1 :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)))
data (a6989586621681205350 :: a ~> m b) >=>@#@$$ (b1 :: TyFun (b ~> m c) (a ~> m c))
data ((a6989586621681205350 :: a ~> m b) >=>@#@$$$ (a6989586621681205351 :: b ~> m c)) (c1 :: TyFun a (m c))
data (<=<@#@$) (a1 :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)))
data (a6989586621681205338 :: b ~> m c) <=<@#@$$ (b1 :: TyFun (a ~> m b) (a ~> m c))
data ((a6989586621681205338 :: b ~> m c) <=<@#@$$$ (a6989586621681205339 :: a ~> m b)) (c1 :: TyFun a (m c))
data VoidSym0 (a1 :: TyFun (f a) (f ()))
type family VoidSym1 (a6989586621679532892 :: f a) :: f () where ...
data JoinSym0 (a1 :: TyFun (m (m a)) (m a))
type family JoinSym1 (a6989586621679348443 :: m (m a)) :: m a where ...
data MsumSym0 (a1 :: TyFun (t (m a)) (m a))
type family MsumSym1 (a6989586621680390285 :: t (m a)) :: m a where ...
data MfilterSym0 (a1 :: TyFun (a ~> Bool) (m a ~> m a))
data MfilterSym1 (a6989586621681205203 :: a ~> Bool) (b :: TyFun (m a) (m a))
type family MfilterSym2 (a6989586621681205203 :: a ~> Bool) (a6989586621681205204 :: m a) :: m a where ...
data FilterMSym0 (a1 :: TyFun (a ~> m Bool) ([a] ~> m [a]))
data FilterMSym1 (a6989586621681205365 :: a ~> m Bool) (b :: TyFun [a] (m [a]))
type family FilterMSym2 (a6989586621681205365 :: a ~> m Bool) (a6989586621681205366 :: [a]) :: m [a] where ...
data MapAndUnzipMSym0 (a1 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])))
data MapAndUnzipMSym1 (a6989586621681205324 :: a ~> m (b, c)) (b1 :: TyFun [a] (m ([b], [c])))
type family MapAndUnzipMSym2 (a6989586621681205324 :: a ~> m (b, c)) (a6989586621681205325 :: [a]) :: m ([b], [c]) where ...
data ZipWithMSym0 (a1 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])))
data ZipWithMSym1 (a6989586621681205315 :: a ~> (b ~> m c)) (b1 :: TyFun [a] ([b] ~> m [c]))
data ZipWithMSym2 (a6989586621681205315 :: a ~> (b ~> m c)) (a6989586621681205316 :: [a]) (c1 :: TyFun [b] (m [c]))
type family ZipWithMSym3 (a6989586621681205315 :: a ~> (b ~> m c)) (a6989586621681205316 :: [a]) (a6989586621681205317 :: [b]) :: m [c] where ...
data ZipWithM_Sym0 (a1 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())))
data ZipWithM_Sym1 (a6989586621681205305 :: a ~> (b ~> m c)) (b1 :: TyFun [a] ([b] ~> m ()))
data ZipWithM_Sym2 (a6989586621681205305 :: a ~> (b ~> m c)) (a6989586621681205306 :: [a]) (c1 :: TyFun [b] (m ()))
type family ZipWithM_Sym3 (a6989586621681205305 :: a ~> (b ~> m c)) (a6989586621681205306 :: [a]) (a6989586621681205307 :: [b]) :: m () where ...
data FoldlMSym0 (a1 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)))
data FoldlMSym1 (a6989586621680390349 :: b ~> (a ~> m b)) (b1 :: TyFun b (t a ~> m b))
data FoldlMSym2 (a6989586621680390349 :: b ~> (a ~> m b)) (a6989586621680390350 :: b) (c :: TyFun (t a) (m b))
type family FoldlMSym3 (a6989586621680390349 :: b ~> (a ~> m b)) (a6989586621680390350 :: b) (a6989586621680390351 :: t a) :: m b where ...
data ReplicateMSym0 (a1 :: TyFun Natural (m a ~> m [a]))
data ReplicateMSym1 (a6989586621681205260 :: Natural) (b :: TyFun (m a) (m [a]))
type family ReplicateMSym2 (a6989586621681205260 :: Natural) (a6989586621681205261 :: m a) :: m [a] where ...
data ReplicateM_Sym0 (a1 :: TyFun Natural (m a ~> m ()))
data ReplicateM_Sym1 (a6989586621681205242 :: Natural) (b :: TyFun (m a) (m ()))
type family ReplicateM_Sym2 (a6989586621681205242 :: Natural) (a6989586621681205243 :: m a) :: m () where ...
data GuardSym0 (a :: TyFun Bool (f ()))
type family GuardSym1 (a6989586621679348283 :: Bool) :: f () where ...
data WhenSym0 (a :: TyFun Bool (f () ~> f ()))
data WhenSym1 (a6989586621679348427 :: Bool) (b :: TyFun (f ()) (f ()))
type family WhenSym2 (a6989586621679348427 :: Bool) (a6989586621679348428 :: f ()) :: f () where ...
data UnlessSym0 (a :: TyFun Bool (f () ~> f ()))
data UnlessSym1 (a6989586621681205232 :: Bool) (b :: TyFun (f ()) (f ()))
type family UnlessSym2 (a6989586621681205232 :: Bool) (a6989586621681205233 :: f ()) :: f () where ...
data LiftMSym0 (a :: TyFun (a1 ~> r) (m a1 ~> m r))
data LiftMSym1 (a6989586621679348416 :: a1 ~> r) (b :: TyFun (m a1) (m r))
type family LiftMSym2 (a6989586621679348416 :: a1 ~> r) (a6989586621679348417 :: m a1) :: m r where ...
data LiftM2Sym0 (a :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)))
data LiftM2Sym1 (a6989586621679348399 :: a1 ~> (a2 ~> r)) (b :: TyFun (m a1) (m a2 ~> m r))
data LiftM2Sym2 (a6989586621679348399 :: a1 ~> (a2 ~> r)) (a6989586621679348400 :: m a1) (c :: TyFun (m a2) (m r))
type family LiftM2Sym3 (a6989586621679348399 :: a1 ~> (a2 ~> r)) (a6989586621679348400 :: m a1) (a6989586621679348401 :: m a2) :: m r where ...
data LiftM3Sym0 (a :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))))
data LiftM3Sym1 (a6989586621679348375 :: a1 ~> (a2 ~> (a3 ~> r))) (b :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)))
data LiftM3Sym2 (a6989586621679348375 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679348376 :: m a1) (c :: TyFun (m a2) (m a3 ~> m r))
data LiftM3Sym3 (a6989586621679348375 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679348376 :: m a1) (a6989586621679348377 :: m a2) (d :: TyFun (m a3) (m r))
type family LiftM3Sym4 (a6989586621679348375 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679348376 :: m a1) (a6989586621679348377 :: m a2) (a6989586621679348378 :: m a3) :: m r where ...
data LiftM4Sym0 (a :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))))
data LiftM4Sym1 (a6989586621679348344 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (b :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))))
data LiftM4Sym2 (a6989586621679348344 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679348345 :: m a1) (c :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)))
data LiftM4Sym3 (a6989586621679348344 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679348345 :: m a1) (a6989586621679348346 :: m a2) (d :: TyFun (m a3) (m a4 ~> m r))
data LiftM4Sym4 (a6989586621679348344 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679348345 :: m a1) (a6989586621679348346 :: m a2) (a6989586621679348347 :: m a3) (e :: TyFun (m a4) (m r))
type family LiftM4Sym5 (a6989586621679348344 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679348345 :: m a1) (a6989586621679348346 :: m a2) (a6989586621679348347 :: m a3) (a6989586621679348348 :: m a4) :: m r where ...
data LiftM5Sym0 (a :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))))
data LiftM5Sym1 (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (b :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))))
data LiftM5Sym2 (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679348307 :: m a1) (c :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))))
data LiftM5Sym3 (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679348307 :: m a1) (a6989586621679348308 :: m a2) (d :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)))
data LiftM5Sym4 (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679348307 :: m a1) (a6989586621679348308 :: m a2) (a6989586621679348309 :: m a3) (e :: TyFun (m a4) (m a5 ~> m r))
data LiftM5Sym5 (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679348307 :: m a1) (a6989586621679348308 :: m a2) (a6989586621679348309 :: m a3) (a6989586621679348310 :: m a4) (f :: TyFun (m a5) (m r))
type family LiftM5Sym6 (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679348307 :: m a1) (a6989586621679348308 :: m a2) (a6989586621679348309 :: m a3) (a6989586621679348310 :: m a4) (a6989586621679348311 :: m a5) :: m r where ...
data ApSym0 (a1 :: TyFun (m (a ~> b)) (m a ~> m b))
data ApSym1 (a6989586621679348287 :: m (a ~> b)) (b1 :: TyFun (m a) (m b))
type family ApSym2 (a6989586621679348287 :: m (a ~> b)) (a6989586621679348288 :: m a) :: m b where ...
data (<$!>@#@$) (a1 :: TyFun (a ~> b) (m a ~> m b))
data (a6989586621681205219 :: a ~> b) <$!>@#@$$ (b1 :: TyFun (m a) (m b))
type family (a6989586621681205219 :: a ~> b) <$!>@#@$$$ (a6989586621681205220 :: m a) :: m b where ...

Documentation

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

Associated Types

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

Instances

Instances details

PFunctor Identity Source #

Instance details

Defined in Data.Functor.Identity.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Identity a1)
Instance details Defined in Data.Functor.Identity.Singletons type Fmap (a2 :: a1 ~> b) (a3 :: Identity a1)
type (a1 :: k1) <$ (a2 :: Identity b)
Instance details Defined in Data.Functor.Identity.Singletons type (a1 :: k1) <$ (a2 :: Identity b)

PFunctor First Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: First a1)
Instance details Defined in Data.Monoid.Singletons type Fmap (a2 :: a1 ~> b) (a3 :: First a1)
type (a1 :: k1) <$ (a2 :: First b)
Instance details Defined in Data.Monoid.Singletons type (a1 :: k1) <$ (a2 :: First b)

PFunctor Last Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Last a1)
Instance details Defined in Data.Monoid.Singletons type Fmap (a2 :: a1 ~> b) (a3 :: Last a1)
type (a1 :: k1) <$ (a2 :: Last b)
Instance details Defined in Data.Monoid.Singletons type (a1 :: k1) <$ (a2 :: Last b)

PFunctor Down Source #

Instance details

Defined in Data.Functor.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Down a1)
Instance details Defined in Data.Functor.Singletons type Fmap (a2 :: a1 ~> b) (a3 :: Down a1)
type (a1 :: k1) <$ (a2 :: Down b)
Instance details Defined in Data.Functor.Singletons type (a1 :: k1) <$ (a2 :: Down b)

PFunctor First Source #

Instance details

Defined in Data.Semigroup.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: First a1)
Instance details Defined in Data.Semigroup.Singletons type Fmap (a2 :: a1 ~> b) (a3 :: First a1)
type (a1 :: k1) <$ (a2 :: First b)
Instance details Defined in Data.Semigroup.Singletons type (a1 :: k1) <$ (a2 :: First b)

PFunctor Last Source #

Instance details

Defined in Data.Semigroup.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Last a1)
Instance details Defined in Data.Semigroup.Singletons type Fmap (a2 :: a1 ~> b) (a3 :: Last a1)
type (a1 :: k1) <$ (a2 :: Last b)
Instance details Defined in Data.Semigroup.Singletons type (a1 :: k1) <$ (a2 :: Last b)

PFunctor Max Source #

Instance details

Defined in Data.Semigroup.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Max a1)
Instance details Defined in Data.Semigroup.Singletons type Fmap (a2 :: a1 ~> b) (a3 :: Max a1)
type (a1 :: k1) <$ (a2 :: Max b)
Instance details Defined in Data.Semigroup.Singletons type (a1 :: k1) <$ (a2 :: Max b)

PFunctor Min Source #

Instance details

Defined in Data.Semigroup.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Min a1)
Instance details Defined in Data.Semigroup.Singletons type Fmap (a2 :: a1 ~> b) (a3 :: Min a1)
type (a1 :: k1) <$ (a2 :: Min b)
Instance details Defined in Data.Semigroup.Singletons type (a1 :: k1) <$ (a2 :: Min b)

PFunctor Dual Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Dual a1)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Fmap (a2 :: a1 ~> b) (a3 :: Dual a1)
type (a1 :: k1) <$ (a2 :: Dual b)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type (a1 :: k1) <$ (a2 :: Dual b)

PFunctor Product Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Product a1)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Fmap (a2 :: a1 ~> b) (a3 :: Product a1)
type (a1 :: k1) <$ (a2 :: Product b)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type (a1 :: k1) <$ (a2 :: Product b)

PFunctor Sum Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Sum a1)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Fmap (a2 :: a1 ~> b) (a3 :: Sum a1)
type (a1 :: k1) <$ (a2 :: Sum b)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type (a1 :: k1) <$ (a2 :: Sum b)

PFunctor NonEmpty Source #

Instance details

Defined in Control.Monad.Singletons.Internal

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: NonEmpty a1)
Instance details Defined in Control.Monad.Singletons.Internal type Fmap (a2 :: a1 ~> b) (a3 :: NonEmpty a1)
type (a1 :: k1) <$ (a2 :: NonEmpty b)
Instance details Defined in Control.Monad.Singletons.Internal type (a1 :: k1) <$ (a2 :: NonEmpty b)

PFunctor Maybe Source #

Instance details

Defined in Control.Monad.Singletons.Internal

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Maybe a1)
Instance details Defined in Control.Monad.Singletons.Internal type Fmap (a2 :: a1 ~> b) (a3 :: Maybe a1)
type (a1 :: k1) <$ (a2 :: Maybe b)
Instance details Defined in Control.Monad.Singletons.Internal type (a1 :: k1) <$ (a2 :: Maybe b)

PFunctor [] Source #

Instance details

Defined in Control.Monad.Singletons.Internal

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: [a1])
Instance details Defined in Control.Monad.Singletons.Internal type Fmap (a2 :: a1 ~> b) (a3 :: [a1])
type (a1 :: k1) <$ (a2 :: [b])
Instance details Defined in Control.Monad.Singletons.Internal type (a1 :: k1) <$ (a2 :: [b])

PFunctor (Either a) Source #

Instance details

Defined in Control.Monad.Singletons.Internal

PFunctor (Proxy :: Type -> Type) Source #

Instance details

Defined in Data.Proxy.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Proxy a1)
Instance details Defined in Data.Proxy.Singletons type Fmap (a2 :: a1 ~> b) (a3 :: Proxy a1)
type (arg :: a) <$ (arg1 :: Proxy b)
Instance details Defined in Data.Proxy.Singletons type (arg :: a) <$ (arg1 :: Proxy b)

PFunctor (Arg a) Source #

Instance details

Defined in Data.Semigroup.Singletons

PFunctor ((,) a) Source #

Instance details

Defined in Data.Functor.Singletons

PFunctor (Const m :: Type -> Type) Source #

Instance details

Defined in Data.Functor.Const.Singletons

PFunctor (Product f g) Source #

Instance details

Defined in Data.Functor.Product.Singletons

PFunctor (Sum f g) Source #

Instance details

Defined in Data.Functor.Sum.Singletons

PFunctor (Compose f g) Source #

Instance details

Defined in Data.Functor.Compose.Singletons

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

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: f a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) t1) t2) Source #

Instances

Instances details

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

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

Associated Types

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

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

type (arg :: m a) >> (arg1 :: m b) = Apply (Apply (TFHelper_6989586621679348604Sym0 :: TyFun (m a) (m b ~> m b) -> Type) arg) arg1

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

type Return (arg :: a) = Apply (Return_6989586621679348621Sym0 :: TyFun a (m a) -> Type) arg

Instances

Instances details

PMonad Identity Source #

Instance details

Defined in Data.Functor.Identity.Singletons

Associated Types

type (a2 :: Identity a1) >>= (a3 :: a1 ~> Identity b)
Instance details Defined in Data.Functor.Identity.Singletons type (a2 :: Identity a1) >>= (a3 :: a1 ~> Identity b)
type (arg :: Identity a) >> (arg1 :: Identity b)
Instance details Defined in Data.Functor.Identity.Singletons type (arg :: Identity a) >> (arg1 :: Identity b)
type Return (arg :: a)
Instance details Defined in Data.Functor.Identity.Singletons type Return (arg :: a)

PMonad First Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type (a2 :: First a1) >>= (a3 :: a1 ~> First b)
Instance details Defined in Data.Monoid.Singletons type (a2 :: First a1) >>= (a3 :: a1 ~> First b)
type (arg :: First a) >> (arg1 :: First b)
Instance details Defined in Data.Monoid.Singletons type (arg :: First a) >> (arg1 :: First b)
type Return (arg :: a)
Instance details Defined in Data.Monoid.Singletons type Return (arg :: a)

PMonad Last Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type (a2 :: Last a1) >>= (a3 :: a1 ~> Last b)
Instance details Defined in Data.Monoid.Singletons type (a2 :: Last a1) >>= (a3 :: a1 ~> Last b)
type (arg :: Last a) >> (arg1 :: Last b)
Instance details Defined in Data.Monoid.Singletons type (arg :: Last a) >> (arg1 :: Last b)
type Return (arg :: a)
Instance details Defined in Data.Monoid.Singletons type Return (arg :: a)

PMonad Down Source #

Instance details

Defined in Control.Monad.Singletons

Associated Types

type (a2 :: Down a1) >>= (a3 :: a1 ~> Down b)
Instance details Defined in Control.Monad.Singletons type (a2 :: Down a1) >>= (a3 :: a1 ~> Down b)
type (arg :: Down a) >> (arg1 :: Down b)
Instance details Defined in Control.Monad.Singletons type (arg :: Down a) >> (arg1 :: Down b)
type Return (arg :: a)
Instance details Defined in Control.Monad.Singletons type Return (arg :: a)

PMonad First Source #

Instance details

Defined in Data.Semigroup.Singletons

Associated Types

type (a2 :: First a1) >>= (a3 :: a1 ~> First b)
Instance details Defined in Data.Semigroup.Singletons type (a2 :: First a1) >>= (a3 :: a1 ~> First b)
type (a2 :: First a1) >> (a3 :: First b)
Instance details Defined in Data.Semigroup.Singletons type (a2 :: First a1) >> (a3 :: First b)
type Return (arg :: a)
Instance details Defined in Data.Semigroup.Singletons type Return (arg :: a)

PMonad Last Source #

Instance details

Defined in Data.Semigroup.Singletons

Associated Types

type (a2 :: Last a1) >>= (a3 :: a1 ~> Last b)
Instance details Defined in Data.Semigroup.Singletons type (a2 :: Last a1) >>= (a3 :: a1 ~> Last b)
type (a2 :: Last a1) >> (a3 :: Last b)
Instance details Defined in Data.Semigroup.Singletons type (a2 :: Last a1) >> (a3 :: Last b)
type Return (arg :: a)
Instance details Defined in Data.Semigroup.Singletons type Return (arg :: a)

PMonad Max Source #

Instance details

Defined in Data.Semigroup.Singletons

Associated Types

type (a2 :: Max a1) >>= (a3 :: a1 ~> Max b)
Instance details Defined in Data.Semigroup.Singletons type (a2 :: Max a1) >>= (a3 :: a1 ~> Max b)
type (a2 :: Max a1) >> (a3 :: Max b)
Instance details Defined in Data.Semigroup.Singletons type (a2 :: Max a1) >> (a3 :: Max b)
type Return (arg :: a)
Instance details Defined in Data.Semigroup.Singletons type Return (arg :: a)

PMonad Min Source #

Instance details

Defined in Data.Semigroup.Singletons

Associated Types

type (a2 :: Min a1) >>= (a3 :: a1 ~> Min b)
Instance details Defined in Data.Semigroup.Singletons type (a2 :: Min a1) >>= (a3 :: a1 ~> Min b)
type (a2 :: Min a1) >> (a3 :: Min b)
Instance details Defined in Data.Semigroup.Singletons type (a2 :: Min a1) >> (a3 :: Min b)
type Return (arg :: a)
Instance details Defined in Data.Semigroup.Singletons type Return (arg :: a)

PMonad Dual Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type (a2 :: Dual a1) >>= (a3 :: a1 ~> Dual b)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type (a2 :: Dual a1) >>= (a3 :: a1 ~> Dual b)
type (arg :: Dual a) >> (arg1 :: Dual b)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type (arg :: Dual a) >> (arg1 :: Dual b)
type Return (arg :: a)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Return (arg :: a)

PMonad Product Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type (a2 :: Product a1) >>= (a3 :: a1 ~> Product b)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type (a2 :: Product a1) >>= (a3 :: a1 ~> Product b)
type (arg :: Product a) >> (arg1 :: Product b)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type (arg :: Product a) >> (arg1 :: Product b)
type Return (arg :: a)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Return (arg :: a)

PMonad Sum Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type (a2 :: Sum a1) >>= (a3 :: a1 ~> Sum b)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type (a2 :: Sum a1) >>= (a3 :: a1 ~> Sum b)
type (arg :: Sum a) >> (arg1 :: Sum b)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type (arg :: Sum a) >> (arg1 :: Sum b)
type Return (arg :: a)
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Return (arg :: a)

PMonad NonEmpty Source #

Instance details

Defined in Control.Monad.Singletons.Internal

Associated Types

type (a2 :: NonEmpty a1) >>= (a3 :: a1 ~> NonEmpty b)
Instance details Defined in Control.Monad.Singletons.Internal type (a2 :: NonEmpty a1) >>= (a3 :: a1 ~> NonEmpty b)
type (arg1 :: NonEmpty a) >> (arg2 :: NonEmpty b)
Instance details Defined in Control.Monad.Singletons.Internal type (arg1 :: NonEmpty a) >> (arg2 :: NonEmpty b)
type Return (arg :: a)
Instance details Defined in Control.Monad.Singletons.Internal type Return (arg :: a)

PMonad Maybe Source #

Instance details

Defined in Control.Monad.Singletons.Internal

Associated Types

type (a2 :: Maybe a1) >>= (a3 :: a1 ~> Maybe b)
Instance details Defined in Control.Monad.Singletons.Internal type (a2 :: Maybe a1) >>= (a3 :: a1 ~> Maybe b)
type (a2 :: Maybe a1) >> (a3 :: Maybe b)
Instance details Defined in Control.Monad.Singletons.Internal type (a2 :: Maybe a1) >> (a3 :: Maybe b)
type Return (arg :: a)
Instance details Defined in Control.Monad.Singletons.Internal type Return (arg :: a)

PMonad [] Source #

Instance details

Defined in Control.Monad.Singletons.Internal

Associated Types

type (a2 :: [a1]) >>= (a3 :: a1 ~> [b])
Instance details Defined in Control.Monad.Singletons.Internal type (a2 :: [a1]) >>= (a3 :: a1 ~> [b])
type (arg1 :: [a]) >> (arg2 :: [b])
Instance details Defined in Control.Monad.Singletons.Internal type (arg1 :: [a]) >> (arg2 :: [b])
type Return (arg :: a)
Instance details Defined in Control.Monad.Singletons.Internal type Return (arg :: a)

PMonad (Either e) Source #

Instance details

Defined in Control.Monad.Singletons.Internal

PMonad (Proxy :: Type -> Type) Source #

Instance details

Defined in Data.Proxy.Singletons

Associated Types

type (a2 :: Proxy a1) >>= (a3 :: a1 ~> Proxy b)
Instance details Defined in Data.Proxy.Singletons type (a2 :: Proxy a1) >>= (a3 :: a1 ~> Proxy b)
type (arg :: Proxy a) >> (arg1 :: Proxy b)
Instance details Defined in Data.Proxy.Singletons type (arg :: Proxy a) >> (arg1 :: Proxy b)
type Return (arg :: a)
Instance details Defined in Data.Proxy.Singletons type Return (arg :: a)

PMonad ((,) a) Source #

Instance details

Defined in Control.Monad.Singletons

PMonad (Product f g) Source #

Instance details

Defined in Data.Functor.Product.Singletons

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

Minimal complete definition

(%>>=)

Methods

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

(%>>) :: forall a b (t1 :: m a) (t2 :: m b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) t1) t2) infixl 1 Source #

default (%>>) :: forall a b (t1 :: m a) (t2 :: m b). Apply (Apply ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) t1) t2 ~ Apply (Apply (TFHelper_6989586621679348604Sym0 :: TyFun (m a) (m b ~> m b) -> Type) t1) t2 => Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) t1) t2) Source #

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

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

Instances

Instances details

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

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

Associated Types

type Mzero :: m a Source #

type Mzero = Mzero_6989586621679348641Sym0 :: m a

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

type Mplus (arg :: m a) (arg1 :: m a) = Apply (Apply (Mplus_6989586621679348646Sym0 :: TyFun (m a) (m a ~> m a) -> Type) arg) arg1

Instances

Instances details

PMonadPlus Maybe Source #

Instance details

Defined in Control.Monad.Singletons.Internal

Associated Types

type Mzero
Instance details Defined in Control.Monad.Singletons.Internal type Mzero
type Mplus (arg1 :: Maybe a) (arg2 :: Maybe a)
Instance details Defined in Control.Monad.Singletons.Internal type Mplus (arg1 :: Maybe a) (arg2 :: Maybe a)

PMonadPlus [] Source #

Instance details

Defined in Control.Monad.Singletons.Internal

Associated Types

type Mzero
Instance details Defined in Control.Monad.Singletons.Internal type Mzero
type Mplus (arg1 :: [a]) (arg2 :: [a])
Instance details Defined in Control.Monad.Singletons.Internal type Mplus (arg1 :: [a]) (arg2 :: [a])

PMonadPlus (Proxy :: k -> Type) Source #

Instance details

Defined in Data.Proxy.Singletons

PMonadPlus (Product f g :: k -> Type) Source #

Instance details

Defined in Data.Functor.Product.Singletons

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

Minimal complete definition

Nothing

Methods

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

default sMzero :: (MzeroSym0 :: m a) ~ (Mzero_6989586621679348641Sym0 :: m a) => Sing (MzeroSym0 :: m a) Source #

sMplus :: forall a (t1 :: m a) (t2 :: m a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) t1) t2) Source #

default sMplus :: forall a (t1 :: m a) (t2 :: m a). Apply (Apply (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) t1) t2 ~ Apply (Apply (Mplus_6989586621679348646Sym0 :: TyFun (m a) (m a ~> m a) -> Type) t1) t2 => Sing t1 -> Sing t2 -> Sing (Apply (Apply (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) t1) t2) Source #

Instances

Instances details

SMonadPlus Maybe Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sMzero :: Sing (MzeroSym0 :: Maybe a) Source # sMplus :: forall a (t1 :: Maybe a) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MplusSym0 :: TyFun (Maybe a) (Maybe a ~> Maybe a) -> Type) t1) t2) Source #
SMonadPlus [] Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sMzero :: Sing (MzeroSym0 :: [a]) Source # sMplus :: forall a (t1 :: [a]) (t2 :: [a]). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MplusSym0 :: TyFun [a] ([a] ~> [a]) -> Type) t1) t2) Source #
SMonadPlus (Proxy :: Type -> Type) Source #
Instance details Defined in Data.Proxy.Singletons Methods sMzero :: Sing (MzeroSym0 :: Proxy a) Source # sMplus :: forall a (t1 :: Proxy a) (t2 :: Proxy a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MplusSym0 :: TyFun (Proxy a) (Proxy a ~> Proxy a) -> Type) t1) t2) Source #
(SMonadPlus f, SMonadPlus g) => SMonadPlus (Product f g) Source #
Instance details Defined in Data.Functor.Product.Singletons Methods sMzero :: Sing (MzeroSym0 :: Product f g a) Source # sMplus :: forall a (t1 :: Product f g a) (t2 :: Product f g a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MplusSym0 :: TyFun (Product f g a) (Product f g a ~> Product f g a) -> Type) t1) t2) Source #

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

Associated Types

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

Instances

Instances details

PMonadFail Maybe Source #

Instance details

Defined in Control.Monad.Fail.Singletons

Associated Types

type Fail a2
Instance details Defined in Control.Monad.Fail.Singletons type Fail a2

PMonadFail [] Source #

Instance details

Defined in Control.Monad.Fail.Singletons

Associated Types

type Fail a2
Instance details Defined in Control.Monad.Fail.Singletons type Fail a2

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

Methods

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

Instances

Instances details

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

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

Instances

Instances details

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

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

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

Equations

MapM_ (f :: a1 ~> m a2) (a_6989586621680390316 :: t a1) = Apply (Apply (Apply (FoldrSym0 :: TyFun (a1 ~> (m () ~> m ())) (m () ~> (t a1 ~> m ())) -> Type) (Apply (Apply ((.@#@$) :: TyFun (m a2 ~> (m () ~> m ())) ((a1 ~> m a2) ~> (a1 ~> (m () ~> m ()))) -> Type) ((>>@#@$) :: TyFun (m a2) (m () ~> m ()) -> Type)) f)) (Apply (ReturnSym0 :: TyFun () (m ()) -> Type) Tuple0Sym0)) a_6989586621680390316

sMapM_ :: forall a (m :: Type -> Type) b (t1 :: Type -> Type) (t2 :: a ~> m b) (t3 :: t1 a). (SFoldable t1, SMonad m) => Sing t2 -> Sing t3 -> Sing (Apply (Apply (MapM_Sym0 :: TyFun (a ~> m b) (t1 a ~> m ()) -> Type) t2) t3) Source #

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

Equations

ForM (a_6989586621680741284 :: t a) (a_6989586621680741286 :: a ~> m b) = Apply (Apply (Apply (FlipSym0 :: TyFun ((a ~> m b) ~> (t a ~> m (t b))) (t a ~> ((a ~> m b) ~> m (t b))) -> Type) (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type)) a_6989586621680741284) a_6989586621680741286

sForM :: forall (t1 :: Type -> Type) a (m :: Type -> Type) b (t2 :: t1 a) (t3 :: a ~> m b). (STraversable t1, SMonad m) => Sing t2 -> Sing t3 -> Sing (Apply (Apply (ForMSym0 :: TyFun (t1 a) ((a ~> m b) ~> m (t1 b)) -> Type) t2) t3) Source #

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

Instances

Instances details

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

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

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

Equations

Sequence_ (a_6989586621680390293 :: t (m a)) = Apply (Apply (Apply (FoldrSym0 :: TyFun (m a ~> (m () ~> m ())) (m () ~> (t (m a) ~> m ())) -> Type) ((>>@#@$) :: TyFun (m a) (m () ~> m ()) -> Type)) (Apply (ReturnSym0 :: TyFun () (m ()) -> Type) Tuple0Sym0)) a_6989586621680390293

sSequence_ :: forall (t1 :: Type -> Type) (m :: Type -> Type) a (t2 :: t1 (m a)). (SFoldable t1, SMonad m) => Sing t2 -> Sing (Apply (Sequence_Sym0 :: TyFun (t1 (m a)) (m ()) -> Type) t2) Source #

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

Equations

(f :: a ~> m b) =<< (x :: m a) = Apply (Apply ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) x) f

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

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

Equations

((f :: k1 ~> m a) >=> (g :: a ~> m b)) (a_6989586621681205344 :: k1) = Apply (Apply (Apply (Apply (Lambda_6989586621681205356Sym0 :: TyFun (k1 ~> m a) (TyFun (a ~> m b) (TyFun k1 (TyFun k1 (m b) -> Type) -> Type) -> Type) -> Type) f) g) a_6989586621681205344) a_6989586621681205344

(%>=>) :: forall a (m :: Type -> Type) b c (t1 :: a ~> m b) (t2 :: b ~> m c) (t3 :: a). SMonad m => Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) t1) t2) t3) infixr 1 Source #

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

Equations

((a_6989586621681205328 :: b ~> m c) <=< (a_6989586621681205330 :: k1 ~> m b)) (a_6989586621681205332 :: k1) = Apply (Apply (Apply (Apply (FlipSym0 :: TyFun ((k1 ~> m b) ~> ((b ~> m c) ~> (k1 ~> m c))) ((b ~> m c) ~> ((k1 ~> m b) ~> (k1 ~> m c))) -> Type) ((>=>@#@$) :: TyFun (k1 ~> m b) ((b ~> m c) ~> (k1 ~> m c)) -> Type)) a_6989586621681205328) a_6989586621681205330) a_6989586621681205332

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

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

Equations

Void (x :: f b) = Apply (Apply ((<$@#@$) :: TyFun () (f b ~> f ()) -> Type) Tuple0Sym0) x

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

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

Equations

Join (x :: m (m b)) = Apply (Apply ((>>=@#@$) :: TyFun (m (m b)) ((m b ~> m b) ~> m b) -> Type) x) (IdSym0 :: TyFun (m b) (m b) -> Type)

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

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

Equations

Msum (a_6989586621680390281 :: t (f a)) = Apply (AsumSym0 :: TyFun (t (f a)) (f a) -> Type) a_6989586621680390281

sMsum :: forall (t1 :: Type -> Type) (m :: Type -> Type) a (t2 :: t1 (m a)). (SFoldable t1, SMonadPlus m) => Sing t2 -> Sing (Apply (MsumSym0 :: TyFun (t1 (m a)) (m a) -> Type) t2) Source #

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

Equations

Mfilter (p :: b ~> Bool) (ma :: m b) = Apply (Apply ((>>=@#@$) :: TyFun (m b) ((b ~> m b) ~> m b) -> Type) ma) (Apply (Apply (Lambda_6989586621681205207Sym0 :: TyFun (b ~> Bool) (TyFun (m b) (TyFun b (m b) -> Type) -> Type) -> Type) p) ma)

sMfilter :: forall a (m :: Type -> Type) (t1 :: a ~> Bool) (t2 :: m a). SMonadPlus m => Sing t1 -> Sing t2 -> Sing (Apply (Apply (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) t1) t2) Source #

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

Equations

FilterM (p :: a ~> f Bool) (a_6989586621681205360 :: [a]) = Apply (Apply (Apply (FoldrSym0 :: TyFun (a ~> (f [a] ~> f [a])) (f [a] ~> ([a] ~> f [a])) -> Type) (Apply (Apply (Lambda_6989586621681205369Sym0 :: TyFun (a ~> f Bool) (TyFun [a] (TyFun a (f [a] ~> f [a]) -> Type) -> Type) -> Type) p) a_6989586621681205360)) (Apply (PureSym0 :: TyFun [a] (f [a]) -> Type) (NilSym0 :: [a]))) a_6989586621681205360

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

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

Equations

MapAndUnzipM (f2 :: a1 ~> f1 (a2, b)) (xs :: [a1]) = Apply (Apply ((<$>@#@$) :: TyFun ([(a2, b)] ~> ([a2], [b])) (f1 [(a2, b)] ~> f1 ([a2], [b])) -> Type) (UnzipSym0 :: TyFun [(a2, b)] ([a2], [b]) -> Type)) (Apply (Apply (TraverseSym0 :: TyFun (a1 ~> f1 (a2, b)) ([a1] ~> f1 [(a2, b)]) -> Type) f2) xs)

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

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

Equations

ZipWithM (f2 :: a1 ~> (b ~> f1 a2)) (xs :: [a1]) (ys :: [b]) = Apply (SequenceASym0 :: TyFun [f1 a2] (f1 [a2]) -> Type) (Apply (Apply (Apply (ZipWithSym0 :: TyFun (a1 ~> (b ~> f1 a2)) ([a1] ~> ([b] ~> [f1 a2])) -> Type) f2) xs) ys)

sZipWithM :: forall a b (m :: Type -> Type) c (t1 :: a ~> (b ~> m c)) (t2 :: [a]) (t3 :: [b]). SApplicative m => Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) t1) t2) t3) Source #

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

Equations

ZipWithM_ (f2 :: a1 ~> (b ~> f1 a2)) (xs :: [a1]) (ys :: [b]) = Apply (SequenceA_Sym0 :: TyFun [f1 a2] (f1 ()) -> Type) (Apply (Apply (Apply (ZipWithSym0 :: TyFun (a1 ~> (b ~> f1 a2)) ([a1] ~> ([b] ~> [f1 a2])) -> Type) f2) xs) ys)

sZipWithM_ :: forall a b (m :: Type -> Type) c (t1 :: a ~> (b ~> m c)) (t2 :: [a]) (t3 :: [b]). SApplicative m => Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) t1) t2) t3) Source #

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

Equations

FoldlM (f :: k1 ~> (a ~> m k1)) (z0 :: k1) (xs :: t a) = Apply (Apply (Apply (Apply (FoldrSym0 :: TyFun (a ~> ((k1 ~> m k1) ~> (k1 ~> m k1))) ((k1 ~> m k1) ~> (t a ~> (k1 ~> m k1))) -> Type) (Let6989586621680390355F'Sym3 f z0 xs :: TyFun a (TyFun (k1 ~> m k1) (TyFun k1 (m k1) -> Type) -> Type) -> Type)) (ReturnSym0 :: TyFun k1 (m k1) -> Type)) xs) z0

sFoldlM :: forall b a (m :: Type -> Type) (t1 :: Type -> Type) (t2 :: b ~> (a ~> m b)) (t3 :: b) (t4 :: t1 a). (SFoldable t1, SMonad m) => Sing t2 -> Sing t3 -> Sing t4 -> Sing (Apply (Apply (Apply (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t1 a ~> m b)) -> Type) t2) t3) t4) Source #

type family ReplicateM (a1 :: Natural) (a2 :: m a) :: m [a] where ... Source #

Equations

ReplicateM cnt0 (f :: m a) = Apply (Let6989586621681205264LoopSym4 m a cnt0 f) cnt0

sReplicateM :: forall (m :: Type -> Type) a (t1 :: Natural) (t2 :: m a). SApplicative m => Sing t1 -> Sing t2 -> Sing (Apply (Apply (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) t1) t2) Source #

type family ReplicateM_ (a1 :: Natural) (a2 :: m a) :: m () where ... Source #

Equations

ReplicateM_ cnt0 (f :: m a) = Apply (Let6989586621681205246LoopSym4 m a cnt0 f) cnt0

sReplicateM_ :: forall (m :: Type -> Type) a (t1 :: Natural) (t2 :: m a). SApplicative m => Sing t1 -> Sing t2 -> Sing (Apply (Apply (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) t1) t2) Source #

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

Equations

Guard 'True = Apply (PureSym0 :: TyFun () (f ()) -> Type) Tuple0Sym0
Guard 'False = EmptySym0 :: f ()

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

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

Equations

When p (s :: f ()) = Case_6989586621679348431 p s p

sWhen :: forall (f :: Type -> Type) (t1 :: Bool) (t2 :: f ()). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) t1) t2) Source #

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

Equations

Unless p (s :: f ()) = Case_6989586621681205236 p s p

sUnless :: forall (f :: Type -> Type) (t1 :: Bool) (t2 :: f ()). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) t1) t2) Source #

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

Equations

LiftM (f :: k1 ~> b) (m1 :: m k1) = Apply (Apply ((>>=@#@$) :: TyFun (m k1) ((k1 ~> m b) ~> m b) -> Type) m1) (Apply (Apply (Lambda_6989586621679348420Sym0 :: TyFun (k1 ~> b) (TyFun (m k1) (TyFun k1 (m b) -> Type) -> Type) -> Type) f) m1)

sLiftM :: forall a1 r (m :: Type -> Type) (t1 :: a1 ~> r) (t2 :: m a1). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) t1) t2) Source #

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

Equations

LiftM2 (f :: k1 ~> (a ~> b)) (m1 :: m k1) (m2 :: m a) = Apply (Apply ((>>=@#@$) :: TyFun (m k1) ((k1 ~> m b) ~> m b) -> Type) m1) (Apply (Apply (Apply (Lambda_6989586621679348405Sym0 :: TyFun (k1 ~> (a ~> b)) (TyFun (m k1) (TyFun (m a) (TyFun k1 (m b) -> Type) -> Type) -> Type) -> Type) f) m1) m2)

sLiftM2 :: forall a1 a2 r (m :: Type -> Type) (t1 :: a1 ~> (a2 ~> r)) (t2 :: m a1) (t3 :: m a2). SMonad m => Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) t1) t2) t3) Source #

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

Equations

LiftM3 (f :: k1 ~> (a1 ~> (a2 ~> b))) (m1 :: m k1) (m2 :: m a1) (m3 :: m a2) = Apply (Apply ((>>=@#@$) :: TyFun (m k1) ((k1 ~> m b) ~> m b) -> Type) m1) (Apply (Apply (Apply (Apply (Lambda_6989586621679348383Sym0 :: TyFun (k1 ~> (a1 ~> (a2 ~> b))) (TyFun (m k1) (TyFun (m a1) (TyFun (m a2) (TyFun k1 (m b) -> Type) -> Type) -> Type) -> Type) -> Type) f) m1) m2) m3)

sLiftM3 :: forall a1 a2 a3 r (m :: Type -> Type) (t1 :: a1 ~> (a2 ~> (a3 ~> r))) (t2 :: m a1) (t3 :: m a2) (t4 :: m a3). SMonad m => Sing t1 -> Sing t2 -> Sing t3 -> Sing t4 -> Sing (Apply (Apply (Apply (Apply (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) t1) t2) t3) t4) Source #

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

Equations

LiftM4 (f :: k1 ~> (a1 ~> (a2 ~> (a3 ~> b)))) (m1 :: m k1) (m2 :: m a1) (m3 :: m a2) (m4 :: m a3) = Apply (Apply ((>>=@#@$) :: TyFun (m k1) ((k1 ~> m b) ~> m b) -> Type) m1) (Apply (Apply (Apply (Apply (Apply (Lambda_6989586621679348354Sym0 :: TyFun (k1 ~> (a1 ~> (a2 ~> (a3 ~> b)))) (TyFun (m k1) (TyFun (m a1) (TyFun (m a2) (TyFun (m a3) (TyFun k1 (m b) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) f) m1) m2) m3) m4)

sLiftM4 :: forall a1 a2 a3 a4 r (m :: Type -> Type) (t1 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (t2 :: m a1) (t3 :: m a2) (t4 :: m a3) (t5 :: m a4). SMonad m => Sing t1 -> Sing t2 -> Sing t3 -> Sing t4 -> Sing t5 -> Sing (Apply (Apply (Apply (Apply (Apply (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) t1) t2) t3) t4) t5) Source #

type family LiftM5 (a :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a7 :: m a1) (a8 :: m a2) (a9 :: m a3) (a10 :: m a4) (a11 :: m a5) :: m r where ... Source #

Equations

LiftM5 (f :: k1 ~> (a1 ~> (a2 ~> (a3 ~> (a4 ~> b))))) (m1 :: m k1) (m2 :: m a1) (m3 :: m a2) (m4 :: m a3) (m5 :: m a4) = Apply (Apply ((>>=@#@$) :: TyFun (m k1) ((k1 ~> m b) ~> m b) -> Type) m1) (Apply (Apply (Apply (Apply (Apply (Apply (Lambda_6989586621679348318Sym0 :: TyFun (k1 ~> (a1 ~> (a2 ~> (a3 ~> (a4 ~> b))))) (TyFun (m k1) (TyFun (m a1) (TyFun (m a2) (TyFun (m a3) (TyFun (m a4) (TyFun k1 (m b) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) f) m1) m2) m3) m4) m5)

sLiftM5 :: forall a1 a2 a3 a4 a5 r (m :: Type -> Type) (t1 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (t2 :: m a1) (t3 :: m a2) (t4 :: m a3) (t5 :: m a4) (t6 :: m a5). SMonad m => Sing t1 -> Sing t2 -> Sing t3 -> Sing t4 -> Sing t5 -> Sing t6 -> Sing (Apply (Apply (Apply (Apply (Apply (Apply (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) t1) t2) t3) t4) t5) t6) Source #

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

Equations

Ap (m1 :: m (a ~> b)) (m2 :: m a) = Apply (Apply ((>>=@#@$) :: TyFun (m (a ~> b)) (((a ~> b) ~> m b) ~> m b) -> Type) m1) (Apply (Apply (Lambda_6989586621679348291Sym0 :: TyFun (m (a ~> b)) (TyFun (m a) (TyFun (a ~> b) (m b) -> Type) -> Type) -> Type) m1) m2)

sAp :: forall (m :: Type -> Type) a b (t1 :: m (a ~> b)) (t2 :: m a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) t1) t2) Source #

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

Equations

(f :: k1 ~> b) <$!> (m2 :: m1 k1) = Apply (Apply ((>>=@#@$) :: TyFun (m1 k1) ((k1 ~> m1 b) ~> m1 b) -> Type) m2) (Apply (Apply (Lambda_6989586621681205223Sym0 :: TyFun (k1 ~> b) (TyFun (m1 k1) (TyFun k1 (m1 b) -> Type) -> Type) -> Type) f) m2)

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

Defunctionalization symbols

data FmapSym0 (a1 :: TyFun (a ~> b) (f a ~> f b)) Source #

Instances

Instances details

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

data FmapSym1 (a6989586621679348484 :: a ~> b) (b1 :: TyFun (f a) (f b)) Source #

Instances

Instances details

SFunctor f => SingI1 (FmapSym1 :: (a ~> b) -> TyFun (f a) (f b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: a ~> b). Sing x -> Sing (FmapSym1 x :: TyFun (f a) (f b) -> Type) #
(SFunctor f, SingI d) => SingI (FmapSym1 d :: TyFun (f a) (f b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (FmapSym1 d :: TyFun (f a) (f b) -> Type) #
SuppressUnusedWarnings (FmapSym1 a6989586621679348484 :: TyFun (f a) (f b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (FmapSym1 a6989586621679348484 :: TyFun (f a) (f b) -> Type) (a6989586621679348485 :: f a) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (FmapSym1 a6989586621679348484 :: TyFun (f a) (f b) -> Type) (a6989586621679348485 :: f a) = Fmap a6989586621679348484 a6989586621679348485

type family FmapSym2 (a6989586621679348484 :: a ~> b) (a6989586621679348485 :: f a) :: f b where ... Source #

Equations

FmapSym2 (a6989586621679348484 :: a ~> b) (a6989586621679348485 :: f a) = Fmap a6989586621679348484 a6989586621679348485

data (>>=@#@$) (a1 :: TyFun (m a) ((a ~> m b) ~> m b)) infixl 1 Source #

Instances

Instances details

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

data (a6989586621679348592 :: m a) >>=@#@$$ (b1 :: TyFun (a ~> m b) (m b)) infixl 1 Source #

Instances

Instances details

SMonad m => SingI1 ((>>=@#@$$) :: m a -> TyFun (a ~> m b) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m a). Sing x -> Sing ((>>=@#@$$) x :: TyFun (a ~> m b) (m b) -> Type) #
(SMonad m, SingI d) => SingI ((>>=@#@$$) d :: TyFun (a ~> m b) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing ((>>=@#@$$) d :: TyFun (a ~> m b) (m b) -> Type) #
SuppressUnusedWarnings ((>>=@#@$$) a6989586621679348592 :: TyFun (a ~> m b) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply ((>>=@#@$$) a6989586621679348592 :: TyFun (a ~> m b) (m b) -> Type) (a6989586621679348593 :: a ~> m b) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply ((>>=@#@$$) a6989586621679348592 :: TyFun (a ~> m b) (m b) -> Type) (a6989586621679348593 :: a ~> m b) = a6989586621679348592 >>= a6989586621679348593

type family (a6989586621679348592 :: m a) >>=@#@$$$ (a6989586621679348593 :: a ~> m b) :: m b where ... infixl 1 Source #

Equations

(a6989586621679348592 :: m a) >>=@#@$$$ (a6989586621679348593 :: a ~> m b) = a6989586621679348592 >>= a6989586621679348593

data (>>@#@$) (a1 :: TyFun (m a) (m b ~> m b)) infixl 1 Source #

Instances

Instances details

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

data (a6989586621679348597 :: m a) >>@#@$$ (b1 :: TyFun (m b) (m b)) infixl 1 Source #

Instances

Instances details

SMonad m => SingI1 ((>>@#@$$) :: m a -> TyFun (m b) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m a). Sing x -> Sing ((>>@#@$$) x :: TyFun (m b) (m b) -> Type) #
(SMonad m, SingI d) => SingI ((>>@#@$$) d :: TyFun (m b) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing ((>>@#@$$) d :: TyFun (m b) (m b) -> Type) #
SuppressUnusedWarnings ((>>@#@$$) a6989586621679348597 :: TyFun (m b) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply ((>>@#@$$) a6989586621679348597 :: TyFun (m b) (m b) -> Type) (a6989586621679348598 :: m b) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply ((>>@#@$$) a6989586621679348597 :: TyFun (m b) (m b) -> Type) (a6989586621679348598 :: m b) = a6989586621679348597 >> a6989586621679348598

type family (a6989586621679348597 :: m a) >>@#@$$$ (a6989586621679348598 :: m b) :: m b where ... infixl 1 Source #

Equations

(a6989586621679348597 :: m a) >>@#@$$$ (a6989586621679348598 :: m b) = a6989586621679348597 >> a6989586621679348598

data ReturnSym0 (a1 :: TyFun a (m a)) Source #

Instances

Instances details

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

type family ReturnSym1 (a6989586621679348601 :: a) :: m a where ... Source #

Equations

ReturnSym1 (a6989586621679348601 :: a) = Return a6989586621679348601 :: m a

data FailSym0 (a1 :: TyFun [Char] (m a)) Source #

Instances

Instances details

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

type family FailSym1 (a6989586621679549513 :: [Char]) :: m a where ... Source #

Equations

FailSym1 a6989586621679549513 = Fail a6989586621679549513 :: m a

type family MzeroSym0 :: m a where ... Source #

Equations

MzeroSym0 = Mzero :: m a

data MplusSym0 (a1 :: TyFun (m a) (m a ~> m a)) Source #

Instances

Instances details

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

data MplusSym1 (a6989586621679348639 :: m a) (b :: TyFun (m a) (m a)) Source #

Instances

Instances details

SMonadPlus m => SingI1 (MplusSym1 :: m a -> TyFun (m a) (m a) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m a). Sing x -> Sing (MplusSym1 x) #
(SMonadPlus m, SingI d) => SingI (MplusSym1 d :: TyFun (m a) (m a) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (MplusSym1 d) #
SuppressUnusedWarnings (MplusSym1 a6989586621679348639 :: TyFun (m a) (m a) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (MplusSym1 a6989586621679348639 :: TyFun (m a) (m a) -> Type) (a6989586621679348640 :: m a) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (MplusSym1 a6989586621679348639 :: TyFun (m a) (m a) -> Type) (a6989586621679348640 :: m a) = Mplus a6989586621679348639 a6989586621679348640

type family MplusSym2 (a6989586621679348639 :: m a) (a6989586621679348640 :: m a) :: m a where ... Source #

Equations

MplusSym2 (a6989586621679348639 :: m a) (a6989586621679348640 :: m a) = Mplus a6989586621679348639 a6989586621679348640

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

data MapMSym1 (a6989586621680733994 :: a ~> m b) (b1 :: TyFun (t a) (m (t b))) Source #

Instances

Instances details

(STraversable t, SMonad m) => SingI1 (MapMSym1 :: (a ~> m b) -> TyFun (t a) (m (t b)) -> Type) Source #
Instance details Defined in Data.Traversable.Singletons Methods liftSing :: forall (x :: a ~> m b). Sing x -> Sing (MapMSym1 x :: TyFun (t a) (m (t b)) -> Type) #
(STraversable t, SMonad m, SingI d) => SingI (MapMSym1 d :: TyFun (t a) (m (t b)) -> Type) Source #
Instance details Defined in Data.Traversable.Singletons Methods sing :: Sing (MapMSym1 d :: TyFun (t a) (m (t b)) -> Type) #
SuppressUnusedWarnings (MapMSym1 a6989586621680733994 :: TyFun (t a) (m (t b)) -> Type) Source #
Instance details Defined in Data.Traversable.Singletons Methods suppressUnusedWarnings :: () #
type Apply (MapMSym1 a6989586621680733994 :: TyFun (t a) (m (t b)) -> Type) (a6989586621680733995 :: t a) Source #
Instance details Defined in Data.Traversable.Singletons type Apply (MapMSym1 a6989586621680733994 :: TyFun (t a) (m (t b)) -> Type) (a6989586621680733995 :: t a) = MapM a6989586621680733994 a6989586621680733995

type family MapMSym2 (a6989586621680733994 :: a ~> m b) (a6989586621680733995 :: t a) :: m (t b) where ... Source #

Equations

MapMSym2 (a6989586621680733994 :: a ~> m b) (a6989586621680733995 :: t a) = MapM a6989586621680733994 a6989586621680733995

data MapM_Sym0 (a1 :: TyFun (a ~> m b) (t a ~> m ())) 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.Foldable.Singletons Methods sing :: Sing (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) #
SuppressUnusedWarnings (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) Source #
Instance details Defined in Data.Foldable.Singletons Methods suppressUnusedWarnings :: () #
type Apply (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) (a6989586621680390321 :: a ~> m b) Source #
Instance details Defined in Data.Foldable.Singletons type Apply (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) (a6989586621680390321 :: a ~> m b) = MapM_Sym1 a6989586621680390321 :: TyFun (t a) (m ()) -> Type

data MapM_Sym1 (a6989586621680390321 :: a ~> m b) (b1 :: TyFun (t a) (m ())) Source #

Instances

Instances details

(SFoldable t, SMonad m) => SingI1 (MapM_Sym1 :: (a ~> m b) -> TyFun (t a) (m ()) -> Type) Source #
Instance details Defined in Data.Foldable.Singletons Methods liftSing :: forall (x :: a ~> m b). Sing x -> Sing (MapM_Sym1 x :: TyFun (t a) (m ()) -> Type) #
(SFoldable t, SMonad m, SingI d) => SingI (MapM_Sym1 d :: TyFun (t a) (m ()) -> Type) Source #
Instance details Defined in Data.Foldable.Singletons Methods sing :: Sing (MapM_Sym1 d :: TyFun (t a) (m ()) -> Type) #
SuppressUnusedWarnings (MapM_Sym1 a6989586621680390321 :: TyFun (t a) (m ()) -> Type) Source #
Instance details Defined in Data.Foldable.Singletons Methods suppressUnusedWarnings :: () #
type Apply (MapM_Sym1 a6989586621680390321 :: TyFun (t a) (m ()) -> Type) (a6989586621680390322 :: t a) Source #
Instance details Defined in Data.Foldable.Singletons type Apply (MapM_Sym1 a6989586621680390321 :: TyFun (t a) (m ()) -> Type) (a6989586621680390322 :: t a) = MapM_ a6989586621680390321 a6989586621680390322

type family MapM_Sym2 (a6989586621680390321 :: a ~> m b) (a6989586621680390322 :: t a) :: m () where ... Source #

Equations

MapM_Sym2 (a6989586621680390321 :: a ~> m b) (a6989586621680390322 :: t a) = MapM_ a6989586621680390321 a6989586621680390322

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

data ForMSym1 (a6989586621680741291 :: t a) (b1 :: TyFun (a ~> m b) (m (t b))) Source #

Instances

Instances details

(STraversable t, SMonad m) => SingI1 (ForMSym1 :: t a -> TyFun (a ~> m b) (m (t b)) -> Type) Source #
Instance details Defined in Data.Traversable.Singletons Methods liftSing :: forall (x :: t a). Sing x -> Sing (ForMSym1 x :: TyFun (a ~> m b) (m (t b)) -> Type) #
(STraversable t, SMonad m, SingI d) => SingI (ForMSym1 d :: TyFun (a ~> m b) (m (t b)) -> Type) Source #
Instance details Defined in Data.Traversable.Singletons Methods sing :: Sing (ForMSym1 d :: TyFun (a ~> m b) (m (t b)) -> Type) #
SuppressUnusedWarnings (ForMSym1 a6989586621680741291 :: TyFun (a ~> m b) (m (t b)) -> Type) Source #
Instance details Defined in Data.Traversable.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ForMSym1 a6989586621680741291 :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680741292 :: a ~> m b) Source #
Instance details Defined in Data.Traversable.Singletons type Apply (ForMSym1 a6989586621680741291 :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680741292 :: a ~> m b) = ForM a6989586621680741291 a6989586621680741292

type family ForMSym2 (a6989586621680741291 :: t a) (a6989586621680741292 :: a ~> m b) :: m (t b) where ... Source #

Equations

ForMSym2 (a6989586621680741291 :: t a) (a6989586621680741292 :: a ~> m b) = ForM a6989586621680741291 a6989586621680741292

data SequenceSym0 (a1 :: TyFun (t (m a)) (m (t a))) Source #

Instances

Instances details

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

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

Equations

SequenceSym1 (a6989586621680733998 :: t (m a)) = Sequence a6989586621680733998

data Sequence_Sym0 (a1 :: TyFun (t (m a)) (m ())) Source #

Instances

Instances details

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

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

Equations

Sequence_Sym1 (a6989586621680390297 :: t (m a)) = Sequence_ a6989586621680390297

data (=<<@#@$) (a1 :: TyFun (a ~> m b) (m a ~> m b)) infixr 1 Source #

Instances

Instances details

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

data (a6989586621679348437 :: a ~> m b) =<<@#@$$ (b1 :: TyFun (m a) (m b)) infixr 1 Source #

Instances

Instances details

SMonad m => SingI1 ((=<<@#@$$) :: (a ~> m b) -> TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: a ~> m b). Sing x -> Sing ((=<<@#@$$) x) #
(SMonad m, SingI d) => SingI ((=<<@#@$$) d :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing ((=<<@#@$$) d) #
SuppressUnusedWarnings ((=<<@#@$$) a6989586621679348437 :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply ((=<<@#@$$) a6989586621679348437 :: TyFun (m a) (m b) -> Type) (a6989586621679348438 :: m a) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply ((=<<@#@$$) a6989586621679348437 :: TyFun (m a) (m b) -> Type) (a6989586621679348438 :: m a) = a6989586621679348437 =<< a6989586621679348438

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

Equations

(a6989586621679348437 :: a ~> m b) =<<@#@$$$ (a6989586621679348438 :: m a) = a6989586621679348437 =<< a6989586621679348438

data (>=>@#@$) (a1 :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c))) 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 Control.Monad.Singletons Methods sing :: Sing ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) #
SuppressUnusedWarnings ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) (a6989586621681205350 :: a ~> m b) Source #
Instance details Defined in Control.Monad.Singletons type Apply ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) (a6989586621681205350 :: a ~> m b) = (>=>@#@$$) a6989586621681205350 :: TyFun (b ~> m c) (a ~> m c) -> Type

data (a6989586621681205350 :: a ~> m b) >=>@#@$$ (b1 :: TyFun (b ~> m c) (a ~> m c)) infixr 1 Source #

Instances

Instances details

SMonad m => SingI1 ((>=>@#@$$) :: (a ~> m b) -> TyFun (b ~> m c) (a ~> m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: a ~> m b). Sing x -> Sing ((>=>@#@$$) x :: TyFun (b ~> m c) (a ~> m c) -> Type) #
(SMonad m, SingI d) => SingI ((>=>@#@$$) d :: TyFun (b ~> m c) (a ~> m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing ((>=>@#@$$) d :: TyFun (b ~> m c) (a ~> m c) -> Type) #
SuppressUnusedWarnings ((>=>@#@$$) a6989586621681205350 :: TyFun (b ~> m c) (a ~> m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply ((>=>@#@$$) a6989586621681205350 :: TyFun (b ~> m c) (a ~> m c) -> Type) (a6989586621681205351 :: b ~> m c) Source #
Instance details Defined in Control.Monad.Singletons type Apply ((>=>@#@$$) a6989586621681205350 :: TyFun (b ~> m c) (a ~> m c) -> Type) (a6989586621681205351 :: b ~> m c) = a6989586621681205350 >=>@#@$$$ a6989586621681205351

data ((a6989586621681205350 :: a ~> m b) >=>@#@$$$ (a6989586621681205351 :: b ~> m c)) (c1 :: TyFun a (m c)) infixr 1 Source #

Instances

Instances details

SMonad m => SingI2 ((>=>@#@$$$) :: (a ~> m b) -> (b ~> m c) -> TyFun a (m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing2 :: forall (x :: a ~> m b) (y :: b ~> m c). Sing x -> Sing y -> Sing (x >=>@#@$$$ y) #
(SMonad m, SingI d) => SingI1 ((>=>@#@$$$) d :: (b ~> m c) -> TyFun a (m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: b ~> m c). Sing x -> Sing (d >=>@#@$$$ x) #
(SMonad m, SingI d1, SingI d2) => SingI (d1 >=>@#@$$$ d2 :: TyFun a (m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing (d1 >=>@#@$$$ d2) #
SuppressUnusedWarnings (a6989586621681205350 >=>@#@$$$ a6989586621681205351 :: TyFun a (m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply (a6989586621681205350 >=>@#@$$$ a6989586621681205351 :: TyFun a (m c) -> Type) (a6989586621681205352 :: a) Source #
Instance details Defined in Control.Monad.Singletons type Apply (a6989586621681205350 >=>@#@$$$ a6989586621681205351 :: TyFun a (m c) -> Type) (a6989586621681205352 :: a) = (a6989586621681205350 >=> a6989586621681205351) a6989586621681205352

data (<=<@#@$) (a1 :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c))) 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 Control.Monad.Singletons Methods sing :: Sing ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) #
SuppressUnusedWarnings ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) (a6989586621681205338 :: b ~> m c) Source #
Instance details Defined in Control.Monad.Singletons type Apply ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) (a6989586621681205338 :: b ~> m c) = (<=<@#@$$) a6989586621681205338 :: TyFun (a ~> m b) (a ~> m c) -> Type

data (a6989586621681205338 :: b ~> m c) <=<@#@$$ (b1 :: TyFun (a ~> m b) (a ~> m c)) infixr 1 Source #

Instances

Instances details

SMonad m => SingI1 ((<=<@#@$$) :: (b ~> m c) -> TyFun (a ~> m b) (a ~> m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: b ~> m c). Sing x -> Sing ((<=<@#@$$) x :: TyFun (a ~> m b) (a ~> m c) -> Type) #
(SMonad m, SingI d) => SingI ((<=<@#@$$) d :: TyFun (a ~> m b) (a ~> m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing ((<=<@#@$$) d :: TyFun (a ~> m b) (a ~> m c) -> Type) #
SuppressUnusedWarnings ((<=<@#@$$) a6989586621681205338 :: TyFun (a ~> m b) (a ~> m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply ((<=<@#@$$) a6989586621681205338 :: TyFun (a ~> m b) (a ~> m c) -> Type) (a6989586621681205339 :: a ~> m b) Source #
Instance details Defined in Control.Monad.Singletons type Apply ((<=<@#@$$) a6989586621681205338 :: TyFun (a ~> m b) (a ~> m c) -> Type) (a6989586621681205339 :: a ~> m b) = a6989586621681205338 <=<@#@$$$ a6989586621681205339

data ((a6989586621681205338 :: b ~> m c) <=<@#@$$$ (a6989586621681205339 :: a ~> m b)) (c1 :: TyFun a (m c)) infixr 1 Source #

Instances

Instances details

SMonad m => SingI2 ((<=<@#@$$$) :: (b ~> m c) -> (a ~> m b) -> TyFun a (m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing2 :: forall (x :: b ~> m c) (y :: a ~> m b). Sing x -> Sing y -> Sing (x <=<@#@$$$ y) #
(SMonad m, SingI d) => SingI1 ((<=<@#@$$$) d :: (a ~> m b) -> TyFun a (m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: a ~> m b). Sing x -> Sing (d <=<@#@$$$ x) #
(SMonad m, SingI d1, SingI d2) => SingI (d1 <=<@#@$$$ d2 :: TyFun a (m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing (d1 <=<@#@$$$ d2) #
SuppressUnusedWarnings (a6989586621681205338 <=<@#@$$$ a6989586621681205339 :: TyFun a (m c) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply (a6989586621681205338 <=<@#@$$$ a6989586621681205339 :: TyFun a (m c) -> Type) (a6989586621681205340 :: a) Source #
Instance details Defined in Control.Monad.Singletons type Apply (a6989586621681205338 <=<@#@$$$ a6989586621681205339 :: TyFun a (m c) -> Type) (a6989586621681205340 :: a) = (a6989586621681205338 <=< a6989586621681205339) a6989586621681205340

data VoidSym0 (a1 :: TyFun (f a) (f ())) Source #

Instances

Instances details

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

type family VoidSym1 (a6989586621679532892 :: f a) :: f () where ... Source #

Equations

VoidSym1 (a6989586621679532892 :: f a) = Void a6989586621679532892

data JoinSym0 (a1 :: TyFun (m (m a)) (m a)) Source #

Instances

Instances details

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

type family JoinSym1 (a6989586621679348443 :: m (m a)) :: m a where ... Source #

Equations

JoinSym1 (a6989586621679348443 :: m (m a)) = Join a6989586621679348443

data MsumSym0 (a1 :: TyFun (t (m a)) (m a)) Source #

Instances

Instances details

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

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

Equations

MsumSym1 (a6989586621680390285 :: t (m a)) = Msum a6989586621680390285

data MfilterSym0 (a1 :: TyFun (a ~> Bool) (m a ~> m a)) Source #

Instances

Instances details

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

data MfilterSym1 (a6989586621681205203 :: a ~> Bool) (b :: TyFun (m a) (m a)) Source #

Instances

Instances details

SMonadPlus m => SingI1 (MfilterSym1 :: (a ~> Bool) -> TyFun (m a) (m a) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (MfilterSym1 x :: TyFun (m a) (m a) -> Type) #
(SMonadPlus m, SingI d) => SingI (MfilterSym1 d :: TyFun (m a) (m a) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing (MfilterSym1 d :: TyFun (m a) (m a) -> Type) #
SuppressUnusedWarnings (MfilterSym1 a6989586621681205203 :: TyFun (m a) (m a) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply (MfilterSym1 a6989586621681205203 :: TyFun (m a) (m a) -> Type) (a6989586621681205204 :: m a) Source #
Instance details Defined in Control.Monad.Singletons type Apply (MfilterSym1 a6989586621681205203 :: TyFun (m a) (m a) -> Type) (a6989586621681205204 :: m a) = Mfilter a6989586621681205203 a6989586621681205204

type family MfilterSym2 (a6989586621681205203 :: a ~> Bool) (a6989586621681205204 :: m a) :: m a where ... Source #

Equations

MfilterSym2 (a6989586621681205203 :: a ~> Bool) (a6989586621681205204 :: m a) = Mfilter a6989586621681205203 a6989586621681205204

data FilterMSym0 (a1 :: TyFun (a ~> m Bool) ([a] ~> m [a])) Source #

Instances

Instances details

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

data FilterMSym1 (a6989586621681205365 :: a ~> m Bool) (b :: TyFun [a] (m [a])) Source #

Instances

Instances details

SApplicative m => SingI1 (FilterMSym1 :: (a ~> m Bool) -> TyFun [a] (m [a]) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: a ~> m Bool). Sing x -> Sing (FilterMSym1 x) #
(SApplicative m, SingI d) => SingI (FilterMSym1 d :: TyFun [a] (m [a]) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing (FilterMSym1 d) #
SuppressUnusedWarnings (FilterMSym1 a6989586621681205365 :: TyFun [a] (m [a]) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply (FilterMSym1 a6989586621681205365 :: TyFun [a] (m [a]) -> Type) (a6989586621681205366 :: [a]) Source #
Instance details Defined in Control.Monad.Singletons type Apply (FilterMSym1 a6989586621681205365 :: TyFun [a] (m [a]) -> Type) (a6989586621681205366 :: [a]) = FilterM a6989586621681205365 a6989586621681205366

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

Equations

FilterMSym2 (a6989586621681205365 :: a ~> m Bool) (a6989586621681205366 :: [a]) = FilterM a6989586621681205365 a6989586621681205366

data MapAndUnzipMSym0 (a1 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c]))) Source #

Instances

Instances details

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

data MapAndUnzipMSym1 (a6989586621681205324 :: a ~> m (b, c)) (b1 :: TyFun [a] (m ([b], [c]))) Source #

Instances

Instances details

SApplicative m => SingI1 (MapAndUnzipMSym1 :: (a ~> m (b, c)) -> TyFun [a] (m ([b], [c])) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: a ~> m (b, c)). Sing x -> Sing (MapAndUnzipMSym1 x) #
(SApplicative m, SingI d) => SingI (MapAndUnzipMSym1 d :: TyFun [a] (m ([b], [c])) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing (MapAndUnzipMSym1 d) #
SuppressUnusedWarnings (MapAndUnzipMSym1 a6989586621681205324 :: TyFun [a] (m ([b], [c])) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply (MapAndUnzipMSym1 a6989586621681205324 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681205325 :: [a]) Source #
Instance details Defined in Control.Monad.Singletons type Apply (MapAndUnzipMSym1 a6989586621681205324 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681205325 :: [a]) = MapAndUnzipM a6989586621681205324 a6989586621681205325

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

Equations

MapAndUnzipMSym2 (a6989586621681205324 :: a ~> m (b, c)) (a6989586621681205325 :: [a]) = MapAndUnzipM a6989586621681205324 a6989586621681205325

data ZipWithMSym0 (a1 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c]))) Source #

Instances

Instances details

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

data ZipWithMSym1 (a6989586621681205315 :: a ~> (b ~> m c)) (b1 :: TyFun [a] ([b] ~> m [c])) Source #

Instances

Instances details

SApplicative m => SingI1 (ZipWithMSym1 :: (a ~> (b ~> m c)) -> TyFun [a] ([b] ~> m [c]) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: a ~> (b ~> m c)). Sing x -> Sing (ZipWithMSym1 x) #
(SApplicative m, SingI d) => SingI (ZipWithMSym1 d :: TyFun [a] ([b] ~> m [c]) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing (ZipWithMSym1 d) #
SuppressUnusedWarnings (ZipWithMSym1 a6989586621681205315 :: TyFun [a] ([b] ~> m [c]) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ZipWithMSym1 a6989586621681205315 :: TyFun [a] ([b] ~> m [c]) -> Type) (a6989586621681205316 :: [a]) Source #
Instance details Defined in Control.Monad.Singletons type Apply (ZipWithMSym1 a6989586621681205315 :: TyFun [a] ([b] ~> m [c]) -> Type) (a6989586621681205316 :: [a]) = ZipWithMSym2 a6989586621681205315 a6989586621681205316

data ZipWithMSym2 (a6989586621681205315 :: a ~> (b ~> m c)) (a6989586621681205316 :: [a]) (c1 :: TyFun [b] (m [c])) Source #

Instances

Instances details

(SApplicative m, SingI d) => SingI1 (ZipWithMSym2 d :: [a] -> TyFun [b] (m [c]) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: [a]). Sing x -> Sing (ZipWithMSym2 d x) #
SApplicative m => SingI2 (ZipWithMSym2 :: (a ~> (b ~> m c)) -> [a] -> TyFun [b] (m [c]) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing2 :: forall (x :: a ~> (b ~> m c)) (y :: [a]). Sing x -> Sing y -> Sing (ZipWithMSym2 x y) #
(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithMSym2 d1 d2 :: TyFun [b] (m [c]) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing (ZipWithMSym2 d1 d2) #
SuppressUnusedWarnings (ZipWithMSym2 a6989586621681205315 a6989586621681205316 :: TyFun [b] (m [c]) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ZipWithMSym2 a6989586621681205315 a6989586621681205316 :: TyFun [b] (m [c]) -> Type) (a6989586621681205317 :: [b]) Source #
Instance details Defined in Control.Monad.Singletons type Apply (ZipWithMSym2 a6989586621681205315 a6989586621681205316 :: TyFun [b] (m [c]) -> Type) (a6989586621681205317 :: [b]) = ZipWithM a6989586621681205315 a6989586621681205316 a6989586621681205317

type family ZipWithMSym3 (a6989586621681205315 :: a ~> (b ~> m c)) (a6989586621681205316 :: [a]) (a6989586621681205317 :: [b]) :: m [c] where ... Source #

Equations

ZipWithMSym3 (a6989586621681205315 :: a ~> (b ~> m c)) (a6989586621681205316 :: [a]) (a6989586621681205317 :: [b]) = ZipWithM a6989586621681205315 a6989586621681205316 a6989586621681205317

data ZipWithM_Sym0 (a1 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ()))) Source #

Instances

Instances details

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

data ZipWithM_Sym1 (a6989586621681205305 :: a ~> (b ~> m c)) (b1 :: TyFun [a] ([b] ~> m ())) Source #

Instances

Instances details

SApplicative m => SingI1 (ZipWithM_Sym1 :: (a ~> (b ~> m c)) -> TyFun [a] ([b] ~> m ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: a ~> (b ~> m c)). Sing x -> Sing (ZipWithM_Sym1 x) #
(SApplicative m, SingI d) => SingI (ZipWithM_Sym1 d :: TyFun [a] ([b] ~> m ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing (ZipWithM_Sym1 d) #
SuppressUnusedWarnings (ZipWithM_Sym1 a6989586621681205305 :: TyFun [a] ([b] ~> m ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ZipWithM_Sym1 a6989586621681205305 :: TyFun [a] ([b] ~> m ()) -> Type) (a6989586621681205306 :: [a]) Source #
Instance details Defined in Control.Monad.Singletons type Apply (ZipWithM_Sym1 a6989586621681205305 :: TyFun [a] ([b] ~> m ()) -> Type) (a6989586621681205306 :: [a]) = ZipWithM_Sym2 a6989586621681205305 a6989586621681205306

data ZipWithM_Sym2 (a6989586621681205305 :: a ~> (b ~> m c)) (a6989586621681205306 :: [a]) (c1 :: TyFun [b] (m ())) Source #

Instances

Instances details

(SApplicative m, SingI d) => SingI1 (ZipWithM_Sym2 d :: [a] -> TyFun [b] (m ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: [a]). Sing x -> Sing (ZipWithM_Sym2 d x) #
SApplicative m => SingI2 (ZipWithM_Sym2 :: (a ~> (b ~> m c)) -> [a] -> TyFun [b] (m ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing2 :: forall (x :: a ~> (b ~> m c)) (y :: [a]). Sing x -> Sing y -> Sing (ZipWithM_Sym2 x y) #
(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithM_Sym2 d1 d2 :: TyFun [b] (m ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing (ZipWithM_Sym2 d1 d2) #
SuppressUnusedWarnings (ZipWithM_Sym2 a6989586621681205305 a6989586621681205306 :: TyFun [b] (m ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ZipWithM_Sym2 a6989586621681205305 a6989586621681205306 :: TyFun [b] (m ()) -> Type) (a6989586621681205307 :: [b]) Source #
Instance details Defined in Control.Monad.Singletons type Apply (ZipWithM_Sym2 a6989586621681205305 a6989586621681205306 :: TyFun [b] (m ()) -> Type) (a6989586621681205307 :: [b]) = ZipWithM_ a6989586621681205305 a6989586621681205306 a6989586621681205307

type family ZipWithM_Sym3 (a6989586621681205305 :: a ~> (b ~> m c)) (a6989586621681205306 :: [a]) (a6989586621681205307 :: [b]) :: m () where ... Source #

Equations

ZipWithM_Sym3 (a6989586621681205305 :: a ~> (b ~> m c)) (a6989586621681205306 :: [a]) (a6989586621681205307 :: [b]) = ZipWithM_ a6989586621681205305 a6989586621681205306 a6989586621681205307

data FoldlMSym0 (a1 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b))) 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.Foldable.Singletons Methods sing :: Sing (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) #
SuppressUnusedWarnings (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) Source #
Instance details Defined in Data.Foldable.Singletons Methods suppressUnusedWarnings :: () #
type Apply (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) (a6989586621680390349 :: b ~> (a ~> m b)) Source #
Instance details Defined in Data.Foldable.Singletons type Apply (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) (a6989586621680390349 :: b ~> (a ~> m b)) = FoldlMSym1 a6989586621680390349 :: TyFun b (t a ~> m b) -> Type

data FoldlMSym1 (a6989586621680390349 :: b ~> (a ~> m b)) (b1 :: TyFun b (t a ~> m b)) Source #

Instances

Instances details

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

data FoldlMSym2 (a6989586621680390349 :: b ~> (a ~> m b)) (a6989586621680390350 :: b) (c :: TyFun (t a) (m b)) Source #

Instances

Instances details

(SFoldable t, SMonad m, SingI d) => SingI1 (FoldlMSym2 d :: b -> TyFun (t a) (m b) -> Type) Source #
Instance details Defined in Data.Foldable.Singletons Methods liftSing :: forall (x :: b). Sing x -> Sing (FoldlMSym2 d x :: TyFun (t a) (m b) -> Type) #
(SFoldable t, SMonad m) => SingI2 (FoldlMSym2 :: (b ~> (a ~> m b)) -> b -> TyFun (t a) (m b) -> Type) Source #
Instance details Defined in Data.Foldable.Singletons Methods liftSing2 :: forall (x :: b ~> (a ~> m b)) (y :: b). Sing x -> Sing y -> Sing (FoldlMSym2 x y :: TyFun (t a) (m b) -> Type) #
(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldlMSym2 d1 d2 :: TyFun (t a) (m b) -> Type) Source #
Instance details Defined in Data.Foldable.Singletons Methods sing :: Sing (FoldlMSym2 d1 d2 :: TyFun (t a) (m b) -> Type) #
SuppressUnusedWarnings (FoldlMSym2 a6989586621680390349 a6989586621680390350 :: TyFun (t a) (m b) -> Type) Source #
Instance details Defined in Data.Foldable.Singletons Methods suppressUnusedWarnings :: () #
type Apply (FoldlMSym2 a6989586621680390349 a6989586621680390350 :: TyFun (t a) (m b) -> Type) (a6989586621680390351 :: t a) Source #
Instance details Defined in Data.Foldable.Singletons type Apply (FoldlMSym2 a6989586621680390349 a6989586621680390350 :: TyFun (t a) (m b) -> Type) (a6989586621680390351 :: t a) = FoldlM a6989586621680390349 a6989586621680390350 a6989586621680390351

type family FoldlMSym3 (a6989586621680390349 :: b ~> (a ~> m b)) (a6989586621680390350 :: b) (a6989586621680390351 :: t a) :: m b where ... Source #

Equations

FoldlMSym3 (a6989586621680390349 :: b ~> (a ~> m b)) (a6989586621680390350 :: b) (a6989586621680390351 :: t a) = FoldlM a6989586621680390349 a6989586621680390350 a6989586621680390351

data ReplicateMSym0 (a1 :: TyFun Natural (m a ~> m [a])) Source #

Instances

Instances details

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

data ReplicateMSym1 (a6989586621681205260 :: Natural) (b :: TyFun (m a) (m [a])) Source #

Instances

Instances details

SApplicative m => SingI1 (ReplicateMSym1 :: Natural -> TyFun (m a) (m [a]) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: Natural). Sing x -> Sing (ReplicateMSym1 x :: TyFun (m a) (m [a]) -> Type) #
(SApplicative m, SingI d) => SingI (ReplicateMSym1 d :: TyFun (m a) (m [a]) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing (ReplicateMSym1 d :: TyFun (m a) (m [a]) -> Type) #
SuppressUnusedWarnings (ReplicateMSym1 a6989586621681205260 :: TyFun (m a) (m [a]) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ReplicateMSym1 a6989586621681205260 :: TyFun (m a) (m [a]) -> Type) (a6989586621681205261 :: m a) Source #
Instance details Defined in Control.Monad.Singletons type Apply (ReplicateMSym1 a6989586621681205260 :: TyFun (m a) (m [a]) -> Type) (a6989586621681205261 :: m a) = ReplicateM a6989586621681205260 a6989586621681205261

type family ReplicateMSym2 (a6989586621681205260 :: Natural) (a6989586621681205261 :: m a) :: m [a] where ... Source #

Equations

ReplicateMSym2 a6989586621681205260 (a6989586621681205261 :: m a) = ReplicateM a6989586621681205260 a6989586621681205261

data ReplicateM_Sym0 (a1 :: TyFun Natural (m a ~> m ())) Source #

Instances

Instances details

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

data ReplicateM_Sym1 (a6989586621681205242 :: Natural) (b :: TyFun (m a) (m ())) Source #

Instances

Instances details

SApplicative m => SingI1 (ReplicateM_Sym1 :: Natural -> TyFun (m a) (m ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: Natural). Sing x -> Sing (ReplicateM_Sym1 x :: TyFun (m a) (m ()) -> Type) #
(SApplicative m, SingI d) => SingI (ReplicateM_Sym1 d :: TyFun (m a) (m ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing (ReplicateM_Sym1 d :: TyFun (m a) (m ()) -> Type) #
SuppressUnusedWarnings (ReplicateM_Sym1 a6989586621681205242 :: TyFun (m a) (m ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ReplicateM_Sym1 a6989586621681205242 :: TyFun (m a) (m ()) -> Type) (a6989586621681205243 :: m a) Source #
Instance details Defined in Control.Monad.Singletons type Apply (ReplicateM_Sym1 a6989586621681205242 :: TyFun (m a) (m ()) -> Type) (a6989586621681205243 :: m a) = ReplicateM_ a6989586621681205242 a6989586621681205243

type family ReplicateM_Sym2 (a6989586621681205242 :: Natural) (a6989586621681205243 :: m a) :: m () where ... Source #

Equations

ReplicateM_Sym2 a6989586621681205242 (a6989586621681205243 :: m a) = ReplicateM_ a6989586621681205242 a6989586621681205243

data GuardSym0 (a :: TyFun Bool (f ())) Source #

Instances

Instances details

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

type family GuardSym1 (a6989586621679348283 :: Bool) :: f () where ... Source #

Equations

GuardSym1 a6989586621679348283 = Guard a6989586621679348283 :: f ()

data WhenSym0 (a :: TyFun Bool (f () ~> f ())) Source #

Instances

Instances details

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

data WhenSym1 (a6989586621679348427 :: Bool) (b :: TyFun (f ()) (f ())) Source #

Instances

Instances details

SApplicative f => SingI1 (WhenSym1 :: Bool -> TyFun (f ()) (f ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: Bool). Sing x -> Sing (WhenSym1 x :: TyFun (f ()) (f ()) -> Type) #
(SApplicative f, SingI d) => SingI (WhenSym1 d :: TyFun (f ()) (f ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (WhenSym1 d :: TyFun (f ()) (f ()) -> Type) #
SuppressUnusedWarnings (WhenSym1 a6989586621679348427 :: TyFun (f ()) (f ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (WhenSym1 a6989586621679348427 :: TyFun (f ()) (f ()) -> Type) (a6989586621679348428 :: f ()) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (WhenSym1 a6989586621679348427 :: TyFun (f ()) (f ()) -> Type) (a6989586621679348428 :: f ()) = When a6989586621679348427 a6989586621679348428

type family WhenSym2 (a6989586621679348427 :: Bool) (a6989586621679348428 :: f ()) :: f () where ... Source #

Equations

WhenSym2 a6989586621679348427 (a6989586621679348428 :: f ()) = When a6989586621679348427 a6989586621679348428

data UnlessSym0 (a :: TyFun Bool (f () ~> f ())) Source #

Instances

Instances details

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

data UnlessSym1 (a6989586621681205232 :: Bool) (b :: TyFun (f ()) (f ())) Source #

Instances

Instances details

SApplicative f => SingI1 (UnlessSym1 :: Bool -> TyFun (f ()) (f ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: Bool). Sing x -> Sing (UnlessSym1 x :: TyFun (f ()) (f ()) -> Type) #
(SApplicative f, SingI d) => SingI (UnlessSym1 d :: TyFun (f ()) (f ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing (UnlessSym1 d :: TyFun (f ()) (f ()) -> Type) #
SuppressUnusedWarnings (UnlessSym1 a6989586621681205232 :: TyFun (f ()) (f ()) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply (UnlessSym1 a6989586621681205232 :: TyFun (f ()) (f ()) -> Type) (a6989586621681205233 :: f ()) Source #
Instance details Defined in Control.Monad.Singletons type Apply (UnlessSym1 a6989586621681205232 :: TyFun (f ()) (f ()) -> Type) (a6989586621681205233 :: f ()) = Unless a6989586621681205232 a6989586621681205233

type family UnlessSym2 (a6989586621681205232 :: Bool) (a6989586621681205233 :: f ()) :: f () where ... Source #

Equations

UnlessSym2 a6989586621681205232 (a6989586621681205233 :: f ()) = Unless a6989586621681205232 a6989586621681205233

data LiftMSym0 (a :: TyFun (a1 ~> r) (m a1 ~> m r)) Source #

Instances

Instances details

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

data LiftMSym1 (a6989586621679348416 :: a1 ~> r) (b :: TyFun (m a1) (m r)) Source #

Instances

Instances details

SMonad m => SingI1 (LiftMSym1 :: (a1 ~> r) -> TyFun (m a1) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: a1 ~> r). Sing x -> Sing (LiftMSym1 x :: TyFun (m a1) (m r) -> Type) #
(SMonad m, SingI d) => SingI (LiftMSym1 d :: TyFun (m a1) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftMSym1 d :: TyFun (m a1) (m r) -> Type) #
SuppressUnusedWarnings (LiftMSym1 a6989586621679348416 :: TyFun (m a1) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftMSym1 a6989586621679348416 :: TyFun (m a1) (m r) -> Type) (a6989586621679348417 :: m a1) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftMSym1 a6989586621679348416 :: TyFun (m a1) (m r) -> Type) (a6989586621679348417 :: m a1) = LiftM a6989586621679348416 a6989586621679348417

type family LiftMSym2 (a6989586621679348416 :: a1 ~> r) (a6989586621679348417 :: m a1) :: m r where ... Source #

Equations

LiftMSym2 (a6989586621679348416 :: a1 ~> r) (a6989586621679348417 :: m a1) = LiftM a6989586621679348416 a6989586621679348417

data LiftM2Sym0 (a :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r))) Source #

Instances

Instances details

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

data LiftM2Sym1 (a6989586621679348399 :: a1 ~> (a2 ~> r)) (b :: TyFun (m a1) (m a2 ~> m r)) Source #

Instances

Instances details

SMonad m => SingI1 (LiftM2Sym1 :: (a1 ~> (a2 ~> r)) -> TyFun (m a1) (m a2 ~> m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: a1 ~> (a2 ~> r)). Sing x -> Sing (LiftM2Sym1 x :: TyFun (m a1) (m a2 ~> m r) -> Type) #
(SMonad m, SingI d) => SingI (LiftM2Sym1 d :: TyFun (m a1) (m a2 ~> m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM2Sym1 d :: TyFun (m a1) (m a2 ~> m r) -> Type) #
SuppressUnusedWarnings (LiftM2Sym1 a6989586621679348399 :: TyFun (m a1) (m a2 ~> m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM2Sym1 a6989586621679348399 :: TyFun (m a1) (m a2 ~> m r) -> Type) (a6989586621679348400 :: m a1) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM2Sym1 a6989586621679348399 :: TyFun (m a1) (m a2 ~> m r) -> Type) (a6989586621679348400 :: m a1) = LiftM2Sym2 a6989586621679348399 a6989586621679348400

data LiftM2Sym2 (a6989586621679348399 :: a1 ~> (a2 ~> r)) (a6989586621679348400 :: m a1) (c :: TyFun (m a2) (m r)) Source #

Instances

Instances details

(SMonad m, SingI d) => SingI1 (LiftM2Sym2 d :: m a1 -> TyFun (m a2) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m a1). Sing x -> Sing (LiftM2Sym2 d x) #
SMonad m => SingI2 (LiftM2Sym2 :: (a1 ~> (a2 ~> r)) -> m a1 -> TyFun (m a2) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing2 :: forall (x :: a1 ~> (a2 ~> r)) (y :: m a1). Sing x -> Sing y -> Sing (LiftM2Sym2 x y) #
(SMonad m, SingI d1, SingI d2) => SingI (LiftM2Sym2 d1 d2 :: TyFun (m a2) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM2Sym2 d1 d2) #
SuppressUnusedWarnings (LiftM2Sym2 a6989586621679348399 a6989586621679348400 :: TyFun (m a2) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM2Sym2 a6989586621679348399 a6989586621679348400 :: TyFun (m a2) (m r) -> Type) (a6989586621679348401 :: m a2) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM2Sym2 a6989586621679348399 a6989586621679348400 :: TyFun (m a2) (m r) -> Type) (a6989586621679348401 :: m a2) = LiftM2 a6989586621679348399 a6989586621679348400 a6989586621679348401

type family LiftM2Sym3 (a6989586621679348399 :: a1 ~> (a2 ~> r)) (a6989586621679348400 :: m a1) (a6989586621679348401 :: m a2) :: m r where ... Source #

Equations

LiftM2Sym3 (a6989586621679348399 :: a1 ~> (a2 ~> r)) (a6989586621679348400 :: m a1) (a6989586621679348401 :: m a2) = LiftM2 a6989586621679348399 a6989586621679348400 a6989586621679348401

data LiftM3Sym0 (a :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r)))) 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 Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) #
SuppressUnusedWarnings (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) (a6989586621679348375 :: a1 ~> (a2 ~> (a3 ~> r))) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) (a6989586621679348375 :: a1 ~> (a2 ~> (a3 ~> r))) = LiftM3Sym1 a6989586621679348375 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type

data LiftM3Sym1 (a6989586621679348375 :: a1 ~> (a2 ~> (a3 ~> r))) (b :: TyFun (m a1) (m a2 ~> (m a3 ~> m r))) Source #

Instances

Instances details

SMonad m => SingI1 (LiftM3Sym1 :: (a1 ~> (a2 ~> (a3 ~> r))) -> TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: a1 ~> (a2 ~> (a3 ~> r))). Sing x -> Sing (LiftM3Sym1 x :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) #
(SMonad m, SingI d) => SingI (LiftM3Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM3Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) #
SuppressUnusedWarnings (LiftM3Sym1 a6989586621679348375 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM3Sym1 a6989586621679348375 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) (a6989586621679348376 :: m a1) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM3Sym1 a6989586621679348375 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) (a6989586621679348376 :: m a1) = LiftM3Sym2 a6989586621679348375 a6989586621679348376

data LiftM3Sym2 (a6989586621679348375 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679348376 :: m a1) (c :: TyFun (m a2) (m a3 ~> m r)) Source #

Instances

Instances details

(SMonad m, SingI d) => SingI1 (LiftM3Sym2 d :: m a1 -> TyFun (m a2) (m a3 ~> m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m a1). Sing x -> Sing (LiftM3Sym2 d x) #
SMonad m => SingI2 (LiftM3Sym2 :: (a1 ~> (a2 ~> (a3 ~> r))) -> m a1 -> TyFun (m a2) (m a3 ~> m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing2 :: forall (x :: a1 ~> (a2 ~> (a3 ~> r))) (y :: m a1). Sing x -> Sing y -> Sing (LiftM3Sym2 x y) #
(SMonad m, SingI d1, SingI d2) => SingI (LiftM3Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM3Sym2 d1 d2) #
SuppressUnusedWarnings (LiftM3Sym2 a6989586621679348375 a6989586621679348376 :: TyFun (m a2) (m a3 ~> m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM3Sym2 a6989586621679348375 a6989586621679348376 :: TyFun (m a2) (m a3 ~> m r) -> Type) (a6989586621679348377 :: m a2) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM3Sym2 a6989586621679348375 a6989586621679348376 :: TyFun (m a2) (m a3 ~> m r) -> Type) (a6989586621679348377 :: m a2) = LiftM3Sym3 a6989586621679348375 a6989586621679348376 a6989586621679348377

data LiftM3Sym3 (a6989586621679348375 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679348376 :: m a1) (a6989586621679348377 :: m a2) (d :: TyFun (m a3) (m r)) Source #

Instances

Instances details

(SMonad m, SingI d) => SingI2 (LiftM3Sym3 d :: m a1 -> m a2 -> TyFun (m a3) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing2 :: forall (x :: m a1) (y :: m a2). Sing x -> Sing y -> Sing (LiftM3Sym3 d x y) #
(SMonad m, SingI d1, SingI d2) => SingI1 (LiftM3Sym3 d1 d2 :: m a2 -> TyFun (m a3) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m a2). Sing x -> Sing (LiftM3Sym3 d1 d2 x) #
(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM3Sym3 d1 d2 d3 :: TyFun (m a3) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM3Sym3 d1 d2 d3) #
SuppressUnusedWarnings (LiftM3Sym3 a6989586621679348375 a6989586621679348376 a6989586621679348377 :: TyFun (m a3) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM3Sym3 a6989586621679348375 a6989586621679348376 a6989586621679348377 :: TyFun (m a3) (m r) -> Type) (a6989586621679348378 :: m a3) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM3Sym3 a6989586621679348375 a6989586621679348376 a6989586621679348377 :: TyFun (m a3) (m r) -> Type) (a6989586621679348378 :: m a3) = LiftM3 a6989586621679348375 a6989586621679348376 a6989586621679348377 a6989586621679348378

type family LiftM3Sym4 (a6989586621679348375 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679348376 :: m a1) (a6989586621679348377 :: m a2) (a6989586621679348378 :: m a3) :: m r where ... Source #

Equations

LiftM3Sym4 (a6989586621679348375 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679348376 :: m a1) (a6989586621679348377 :: m a2) (a6989586621679348378 :: m a3) = LiftM3 a6989586621679348375 a6989586621679348376 a6989586621679348377 a6989586621679348378

data LiftM4Sym0 (a :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r))))) 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 Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) #
SuppressUnusedWarnings (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) (a6989586621679348344 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) (a6989586621679348344 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) = LiftM4Sym1 a6989586621679348344 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type

data LiftM4Sym1 (a6989586621679348344 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (b :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r)))) Source #

Instances

Instances details

SMonad m => SingI1 (LiftM4Sym1 :: (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) -> TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))). Sing x -> Sing (LiftM4Sym1 x :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) #
(SMonad m, SingI d) => SingI (LiftM4Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM4Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) #
SuppressUnusedWarnings (LiftM4Sym1 a6989586621679348344 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM4Sym1 a6989586621679348344 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) (a6989586621679348345 :: m a1) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM4Sym1 a6989586621679348344 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) (a6989586621679348345 :: m a1) = LiftM4Sym2 a6989586621679348344 a6989586621679348345

data LiftM4Sym2 (a6989586621679348344 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679348345 :: m a1) (c :: TyFun (m a2) (m a3 ~> (m a4 ~> m r))) Source #

Instances

Instances details

(SMonad m, SingI d) => SingI1 (LiftM4Sym2 d :: m a1 -> TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m a1). Sing x -> Sing (LiftM4Sym2 d x) #
SMonad m => SingI2 (LiftM4Sym2 :: (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) -> m a1 -> TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing2 :: forall (x :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (y :: m a1). Sing x -> Sing y -> Sing (LiftM4Sym2 x y) #
(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 Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM4Sym2 d1 d2) #
SuppressUnusedWarnings (LiftM4Sym2 a6989586621679348344 a6989586621679348345 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM4Sym2 a6989586621679348344 a6989586621679348345 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) (a6989586621679348346 :: m a2) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM4Sym2 a6989586621679348344 a6989586621679348345 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) (a6989586621679348346 :: m a2) = LiftM4Sym3 a6989586621679348344 a6989586621679348345 a6989586621679348346

data LiftM4Sym3 (a6989586621679348344 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679348345 :: m a1) (a6989586621679348346 :: m a2) (d :: TyFun (m a3) (m a4 ~> m r)) Source #

Instances

Instances details

(SMonad m, SingI d) => SingI2 (LiftM4Sym3 d :: m a1 -> m a2 -> TyFun (m a3) (m a4 ~> m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing2 :: forall (x :: m a1) (y :: m a2). Sing x -> Sing y -> Sing (LiftM4Sym3 d x y) #
(SMonad m, SingI d1, SingI d2) => SingI1 (LiftM4Sym3 d1 d2 :: m a2 -> TyFun (m a3) (m a4 ~> m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m a2). Sing x -> Sing (LiftM4Sym3 d1 d2 x) #
(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 Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM4Sym3 d1 d2 d3) #
SuppressUnusedWarnings (LiftM4Sym3 a6989586621679348344 a6989586621679348345 a6989586621679348346 :: TyFun (m a3) (m a4 ~> m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM4Sym3 a6989586621679348344 a6989586621679348345 a6989586621679348346 :: TyFun (m a3) (m a4 ~> m r) -> Type) (a6989586621679348347 :: m a3) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM4Sym3 a6989586621679348344 a6989586621679348345 a6989586621679348346 :: TyFun (m a3) (m a4 ~> m r) -> Type) (a6989586621679348347 :: m a3) = LiftM4Sym4 a6989586621679348344 a6989586621679348345 a6989586621679348346 a6989586621679348347

data LiftM4Sym4 (a6989586621679348344 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679348345 :: m a1) (a6989586621679348346 :: m a2) (a6989586621679348347 :: m a3) (e :: TyFun (m a4) (m r)) Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2) => SingI2 (LiftM4Sym4 d1 d2 :: m a2 -> m a3 -> TyFun (m a4) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing2 :: forall (x :: m a2) (y :: m a3). Sing x -> Sing y -> Sing (LiftM4Sym4 d1 d2 x y) #
(SMonad m, SingI d1, SingI d2, SingI d3) => SingI1 (LiftM4Sym4 d1 d2 d3 :: m a3 -> TyFun (m a4) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m a3). Sing x -> Sing (LiftM4Sym4 d1 d2 d3 x) #
(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 Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM4Sym4 d1 d2 d3 d4) #
SuppressUnusedWarnings (LiftM4Sym4 a6989586621679348344 a6989586621679348345 a6989586621679348346 a6989586621679348347 :: TyFun (m a4) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM4Sym4 a6989586621679348344 a6989586621679348345 a6989586621679348346 a6989586621679348347 :: TyFun (m a4) (m r) -> Type) (a6989586621679348348 :: m a4) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM4Sym4 a6989586621679348344 a6989586621679348345 a6989586621679348346 a6989586621679348347 :: TyFun (m a4) (m r) -> Type) (a6989586621679348348 :: m a4) = LiftM4 a6989586621679348344 a6989586621679348345 a6989586621679348346 a6989586621679348347 a6989586621679348348

type family LiftM4Sym5 (a6989586621679348344 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679348345 :: m a1) (a6989586621679348346 :: m a2) (a6989586621679348347 :: m a3) (a6989586621679348348 :: m a4) :: m r where ... Source #

Equations

LiftM4Sym5 (a6989586621679348344 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679348345 :: m a1) (a6989586621679348346 :: m a2) (a6989586621679348347 :: m a3) (a6989586621679348348 :: m a4) = LiftM4 a6989586621679348344 a6989586621679348345 a6989586621679348346 a6989586621679348347 a6989586621679348348

data LiftM5Sym0 (a :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))))) 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 Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) #
SuppressUnusedWarnings (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) = LiftM5Sym1 a6989586621679348306 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type

data LiftM5Sym1 (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (b :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) Source #

Instances

Instances details

SMonad m => SingI1 (LiftM5Sym1 :: (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) -> TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))). Sing x -> Sing (LiftM5Sym1 x :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) #
(SMonad m, SingI d) => SingI (LiftM5Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM5Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) #
SuppressUnusedWarnings (LiftM5Sym1 a6989586621679348306 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM5Sym1 a6989586621679348306 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) (a6989586621679348307 :: m a1) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym1 a6989586621679348306 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) (a6989586621679348307 :: m a1) = LiftM5Sym2 a6989586621679348306 a6989586621679348307

data LiftM5Sym2 (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679348307 :: m a1) (c :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r)))) Source #

Instances

Instances details

(SMonad m, SingI d) => SingI1 (LiftM5Sym2 d :: m a1 -> TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m a1). Sing x -> Sing (LiftM5Sym2 d x) #
SMonad m => SingI2 (LiftM5Sym2 :: (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) -> m a1 -> TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing2 :: forall (x :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (y :: m a1). Sing x -> Sing y -> Sing (LiftM5Sym2 x y) #
(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 Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM5Sym2 d1 d2) #
SuppressUnusedWarnings (LiftM5Sym2 a6989586621679348306 a6989586621679348307 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM5Sym2 a6989586621679348306 a6989586621679348307 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) (a6989586621679348308 :: m a2) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym2 a6989586621679348306 a6989586621679348307 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) (a6989586621679348308 :: m a2) = LiftM5Sym3 a6989586621679348306 a6989586621679348307 a6989586621679348308

data LiftM5Sym3 (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679348307 :: m a1) (a6989586621679348308 :: m a2) (d :: TyFun (m a3) (m a4 ~> (m a5 ~> m r))) Source #

Instances

Instances details

(SMonad m, SingI d) => SingI2 (LiftM5Sym3 d :: m a1 -> m a2 -> TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing2 :: forall (x :: m a1) (y :: m a2). Sing x -> Sing y -> Sing (LiftM5Sym3 d x y) #
(SMonad m, SingI d1, SingI d2) => SingI1 (LiftM5Sym3 d1 d2 :: m a2 -> TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m a2). Sing x -> Sing (LiftM5Sym3 d1 d2 x) #
(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 Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM5Sym3 d1 d2 d3) #
SuppressUnusedWarnings (LiftM5Sym3 a6989586621679348306 a6989586621679348307 a6989586621679348308 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM5Sym3 a6989586621679348306 a6989586621679348307 a6989586621679348308 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) (a6989586621679348309 :: m a3) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym3 a6989586621679348306 a6989586621679348307 a6989586621679348308 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) (a6989586621679348309 :: m a3) = LiftM5Sym4 a6989586621679348306 a6989586621679348307 a6989586621679348308 a6989586621679348309

data LiftM5Sym4 (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679348307 :: m a1) (a6989586621679348308 :: m a2) (a6989586621679348309 :: m a3) (e :: TyFun (m a4) (m a5 ~> m r)) Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2) => SingI2 (LiftM5Sym4 d1 d2 :: m a2 -> m a3 -> TyFun (m a4) (m a5 ~> m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing2 :: forall (x :: m a2) (y :: m a3). Sing x -> Sing y -> Sing (LiftM5Sym4 d1 d2 x y) #
(SMonad m, SingI d1, SingI d2, SingI d3) => SingI1 (LiftM5Sym4 d1 d2 d3 :: m a3 -> TyFun (m a4) (m a5 ~> m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m a3). Sing x -> Sing (LiftM5Sym4 d1 d2 d3 x) #
(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 Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM5Sym4 d1 d2 d3 d4) #
SuppressUnusedWarnings (LiftM5Sym4 a6989586621679348306 a6989586621679348307 a6989586621679348308 a6989586621679348309 :: TyFun (m a4) (m a5 ~> m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM5Sym4 a6989586621679348306 a6989586621679348307 a6989586621679348308 a6989586621679348309 :: TyFun (m a4) (m a5 ~> m r) -> Type) (a6989586621679348310 :: m a4) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym4 a6989586621679348306 a6989586621679348307 a6989586621679348308 a6989586621679348309 :: TyFun (m a4) (m a5 ~> m r) -> Type) (a6989586621679348310 :: m a4) = LiftM5Sym5 a6989586621679348306 a6989586621679348307 a6989586621679348308 a6989586621679348309 a6989586621679348310

data LiftM5Sym5 (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679348307 :: m a1) (a6989586621679348308 :: m a2) (a6989586621679348309 :: m a3) (a6989586621679348310 :: m a4) (f :: TyFun (m a5) (m r)) Source #

Instances

Instances details

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI2 (LiftM5Sym5 d1 d2 d3 :: m a3 -> m a4 -> TyFun (m a5) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing2 :: forall (x :: m a3) (y :: m a4). Sing x -> Sing y -> Sing (LiftM5Sym5 d1 d2 d3 x y) #
(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4) => SingI1 (LiftM5Sym5 d1 d2 d3 d4 :: m a4 -> TyFun (m a5) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m a4). Sing x -> Sing (LiftM5Sym5 d1 d2 d3 d4 x) #
(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 Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM5Sym5 d1 d2 d3 d4 d5) #
SuppressUnusedWarnings (LiftM5Sym5 a6989586621679348306 a6989586621679348307 a6989586621679348308 a6989586621679348309 a6989586621679348310 :: TyFun (m a5) (m r) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (LiftM5Sym5 a6989586621679348306 a6989586621679348307 a6989586621679348308 a6989586621679348309 a6989586621679348310 :: TyFun (m a5) (m r) -> Type) (a6989586621679348311 :: m a5) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym5 a6989586621679348306 a6989586621679348307 a6989586621679348308 a6989586621679348309 a6989586621679348310 :: TyFun (m a5) (m r) -> Type) (a6989586621679348311 :: m a5) = LiftM5 a6989586621679348306 a6989586621679348307 a6989586621679348308 a6989586621679348309 a6989586621679348310 a6989586621679348311

type family LiftM5Sym6 (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679348307 :: m a1) (a6989586621679348308 :: m a2) (a6989586621679348309 :: m a3) (a6989586621679348310 :: m a4) (a6989586621679348311 :: m a5) :: m r where ... Source #

Equations

LiftM5Sym6 (a6989586621679348306 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679348307 :: m a1) (a6989586621679348308 :: m a2) (a6989586621679348309 :: m a3) (a6989586621679348310 :: m a4) (a6989586621679348311 :: m a5) = LiftM5 a6989586621679348306 a6989586621679348307 a6989586621679348308 a6989586621679348309 a6989586621679348310 a6989586621679348311

data ApSym0 (a1 :: TyFun (m (a ~> b)) (m a ~> m b)) Source #

Instances

Instances details

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

data ApSym1 (a6989586621679348287 :: m (a ~> b)) (b1 :: TyFun (m a) (m b)) Source #

Instances

Instances details

SMonad m => SingI1 (ApSym1 :: m (a ~> b) -> TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods liftSing :: forall (x :: m (a ~> b)). Sing x -> Sing (ApSym1 x) #
(SMonad m, SingI d) => SingI (ApSym1 d :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (ApSym1 d) #
SuppressUnusedWarnings (ApSym1 a6989586621679348287 :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () #
type Apply (ApSym1 a6989586621679348287 :: TyFun (m a) (m b) -> Type) (a6989586621679348288 :: m a) Source #
Instance details Defined in Control.Monad.Singletons.Internal type Apply (ApSym1 a6989586621679348287 :: TyFun (m a) (m b) -> Type) (a6989586621679348288 :: m a) = Ap a6989586621679348287 a6989586621679348288

type family ApSym2 (a6989586621679348287 :: m (a ~> b)) (a6989586621679348288 :: m a) :: m b where ... Source #

Equations

ApSym2 (a6989586621679348287 :: m (a ~> b)) (a6989586621679348288 :: m a) = Ap a6989586621679348287 a6989586621679348288

data (<$!>@#@$) (a1 :: TyFun (a ~> b) (m a ~> m b)) infixl 4 Source #

Instances

Instances details

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

data (a6989586621681205219 :: a ~> b) <$!>@#@$$ (b1 :: TyFun (m a) (m b)) infixl 4 Source #

Instances

Instances details

SMonad m => SingI1 ((<$!>@#@$$) :: (a ~> b) -> TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods liftSing :: forall (x :: a ~> b). Sing x -> Sing ((<$!>@#@$$) x :: TyFun (m a) (m b) -> Type) #
(SMonad m, SingI d) => SingI ((<$!>@#@$$) d :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods sing :: Sing ((<$!>@#@$$) d :: TyFun (m a) (m b) -> Type) #
SuppressUnusedWarnings ((<$!>@#@$$) a6989586621681205219 :: TyFun (m a) (m b) -> Type) Source #
Instance details Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () #
type Apply ((<$!>@#@$$) a6989586621681205219 :: TyFun (m a) (m b) -> Type) (a6989586621681205220 :: m a) Source #
Instance details Defined in Control.Monad.Singletons type Apply ((<$!>@#@$$) a6989586621681205219 :: TyFun (m a) (m b) -> Type) (a6989586621681205220 :: m a) = a6989586621681205219 <$!> a6989586621681205220

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

Equations

(a6989586621681205219 :: a ~> b) <$!>@#@$$$ (a6989586621681205220 :: m a) = a6989586621681205219 <$!> a6989586621681205220

Orphan instances

PMonad Down Source #

Instance details

Associated Types

type (a2 :: Down a1) >>= (a3 :: a1 ~> Down b)
Instance details Defined in Control.Monad.Singletons type (a2 :: Down a1) >>= (a3 :: a1 ~> Down b)
type (arg :: Down a) >> (arg1 :: Down b)
Instance details Defined in Control.Monad.Singletons type (arg :: Down a) >> (arg1 :: Down b)
type Return (arg :: a)
Instance details Defined in Control.Monad.Singletons type Return (arg :: a)

SMonad Down Source #

Instance details

Methods

(%>>=) :: forall a b (t1 :: Down a) (t2 :: a ~> Down b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>>=@#@$) :: TyFun (Down a) ((a ~> Down b) ~> Down b) -> Type) t1) t2) Source #

(%>>) :: forall a b (t1 :: Down a) (t2 :: Down b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>>@#@$) :: TyFun (Down a) (Down b ~> Down b) -> Type) t1) t2) Source #

sReturn :: forall a (t :: a). Sing t -> Sing (Apply (ReturnSym0 :: TyFun a (Down a) -> Type) t) Source #

PMonad ((,) a) Source #

Instance details

SMonoid a => SMonad ((,) a) Source #

Instance details

Methods

(%>>=) :: forall a0 b (t1 :: (a, a0)) (t2 :: a0 ~> (a, b)). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>>=@#@$) :: TyFun (a, a) ((a ~> (a, b)) ~> (a, b)) -> Type) t1) t2) Source #

(%>>) :: forall a0 b (t1 :: (a, a0)) (t2 :: (a, b)). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>>@#@$) :: TyFun (a, a) ((a, b) ~> (a, b)) -> Type) t1) t2) Source #

sReturn :: forall a0 (t :: a0). Sing t -> Sing (Apply (ReturnSym0 :: TyFun a (a, a) -> Type) t) Source #