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
Description
Defines the promoted and singled versions of the Monad
type class.
Synopsis
- class PFunctor (f :: Type -> Type) where
- class SFunctor (f :: Type -> Type) where
- class PMonad (m :: Type -> Type) where
- class SApplicative m => SMonad (m :: Type -> Type) where
- class PMonadPlus (m :: Type -> Type) where
- class (SAlternative m, SMonad m) => SMonadPlus (m :: Type -> Type) where
- class PMonadFail (m :: Type -> Type) where
- class SMonad m => SMonadFail (m :: Type -> Type) where
- 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 (MapM 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 (MapM_ 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 (ForM 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 (Sequence 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 (Sequence_ 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 (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 ((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 ((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 (Void 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 (Join 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 (Msum 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 (Mfilter 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 (FilterM 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 (MapAndUnzipM 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 (ZipWithM 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 (ZipWithM_ 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 (FoldlM 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 (ReplicateM 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 (ReplicateM_ t1 t2)
- type family Guard (a :: Bool) :: f () where ...
- sGuard :: forall (f :: Type -> Type) (t :: Bool). SAlternative f => Sing t -> Sing (Guard t :: f ())
- 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 (When 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 (Unless 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 (LiftM 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 (LiftM2 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 (LiftM3 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 (LiftM4 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 (LiftM5 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 (Ap 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 (t1 <$!> t2)
- data FmapSym0 (a1 :: TyFun (a ~> b) (f a ~> f b))
- data FmapSym1 (a6989586621679271227 :: a ~> b) (b1 :: TyFun (f a) (f b))
- type family FmapSym2 (a6989586621679271227 :: a ~> b) (a6989586621679271228 :: f a) :: f b where ...
- data (>>=@#@$) (a1 :: TyFun (m a) ((a ~> m b) ~> m b))
- data (a6989586621679271335 :: m a) >>=@#@$$ (b1 :: TyFun (a ~> m b) (m b))
- type family (a6989586621679271335 :: m a) >>=@#@$$$ (a6989586621679271336 :: a ~> m b) :: m b where ...
- data (>>@#@$) (a1 :: TyFun (m a) (m b ~> m b))
- data (a6989586621679271340 :: m a) >>@#@$$ (b1 :: TyFun (m b) (m b))
- type family (a6989586621679271340 :: m a) >>@#@$$$ (a6989586621679271341 :: m b) :: m b where ...
- data ReturnSym0 (a1 :: TyFun a (m a))
- type family ReturnSym1 (a6989586621679271344 :: a) :: m a where ...
- data FailSym0 (a1 :: TyFun [Char] (m a))
- type family FailSym1 (a6989586621679365940 :: [Char]) :: m a where ...
- type family MzeroSym0 :: m a where ...
- data MplusSym0 (a1 :: TyFun (m a) (m a ~> m a))
- data MplusSym1 (a6989586621679271380 :: m a) (b :: TyFun (m a) (m a))
- type family MplusSym2 (a6989586621679271380 :: m a) (a6989586621679271381 :: m a) :: m a where ...
- data MapMSym0 (a1 :: TyFun (a ~> m b) (t a ~> m (t b)))
- data MapMSym1 (a6989586621680096868 :: a ~> m b) (b1 :: TyFun (t a) (m (t b)))
- type family MapMSym2 (a6989586621680096868 :: a ~> m b) (a6989586621680096869 :: t a) :: m (t b) where ...
- data MapM_Sym0 (a1 :: TyFun (a ~> m b) (t a ~> m ()))
- data MapM_Sym1 (a6989586621679922449 :: a ~> m b) (b1 :: TyFun (t a) (m ()))
- type family MapM_Sym2 (a6989586621679922449 :: a ~> m b) (a6989586621679922450 :: t a) :: m () where ...
- data ForMSym0 (a1 :: TyFun (t a) ((a ~> m b) ~> m (t b)))
- data ForMSym1 (a6989586621680103095 :: t a) (b1 :: TyFun (a ~> m b) (m (t b)))
- type family ForMSym2 (a6989586621680103095 :: t a) (a6989586621680103096 :: a ~> m b) :: m (t b) where ...
- data SequenceSym0 (a1 :: TyFun (t (m a)) (m (t a)))
- type family SequenceSym1 (a6989586621680096872 :: t (m a)) :: m (t a) where ...
- data Sequence_Sym0 (a1 :: TyFun (t (m a)) (m ()))
- type family Sequence_Sym1 (a6989586621679922425 :: t (m a)) :: m () where ...
- data (=<<@#@$) (a1 :: TyFun (a ~> m b) (m a ~> m b))
- data (a6989586621679271176 :: a ~> m b) =<<@#@$$ (b1 :: TyFun (m a) (m b))
- type family (a6989586621679271176 :: a ~> m b) =<<@#@$$$ (a6989586621679271177 :: m a) :: m b where ...
- data (>=>@#@$) (a1 :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)))
- data (a6989586621680354988 :: a ~> m b) >=>@#@$$ (b1 :: TyFun (b ~> m c) (a ~> m c))
- data ((a6989586621680354988 :: a ~> m b) >=>@#@$$$ (a6989586621680354989 :: b ~> m c)) (c1 :: TyFun a (m c))
- data (<=<@#@$) (a1 :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)))
- data (a6989586621680354976 :: b ~> m c) <=<@#@$$ (b1 :: TyFun (a ~> m b) (a ~> m c))
- data ((a6989586621680354976 :: b ~> m c) <=<@#@$$$ (a6989586621680354977 :: a ~> m b)) (c1 :: TyFun a (m c))
- data VoidSym0 (a1 :: TyFun (f a) (f ()))
- type family VoidSym1 (a6989586621679357493 :: f a) :: f () where ...
- data JoinSym0 (a1 :: TyFun (m (m a)) (m a))
- type family JoinSym1 (a6989586621679271182 :: m (m a)) :: m a where ...
- data MsumSym0 (a1 :: TyFun (t (m a)) (m a))
- type family MsumSym1 (a6989586621679922413 :: t (m a)) :: m a where ...
- data MfilterSym0 (a1 :: TyFun (a ~> Bool) (m a ~> m a))
- data MfilterSym1 (a6989586621680354827 :: a ~> Bool) (b :: TyFun (m a) (m a))
- type family MfilterSym2 (a6989586621680354827 :: a ~> Bool) (a6989586621680354828 :: m a) :: m a where ...
- data FilterMSym0 (a1 :: TyFun (a ~> m Bool) ([a] ~> m [a]))
- data FilterMSym1 (a6989586621680355005 :: a ~> m Bool) (b :: TyFun [a] (m [a]))
- type family FilterMSym2 (a6989586621680355005 :: a ~> m Bool) (a6989586621680355006 :: [a]) :: m [a] where ...
- data MapAndUnzipMSym0 (a1 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])))
- data MapAndUnzipMSym1 (a6989586621680354962 :: a ~> m (b, c)) (b1 :: TyFun [a] (m ([b], [c])))
- type family MapAndUnzipMSym2 (a6989586621680354962 :: a ~> m (b, c)) (a6989586621680354963 :: [a]) :: m ([b], [c]) where ...
- data ZipWithMSym0 (a1 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])))
- data ZipWithMSym1 (a6989586621680354953 :: a ~> (b ~> m c)) (b1 :: TyFun [a] ([b] ~> m [c]))
- data ZipWithMSym2 (a6989586621680354953 :: a ~> (b ~> m c)) (a6989586621680354954 :: [a]) (c1 :: TyFun [b] (m [c]))
- type family ZipWithMSym3 (a6989586621680354953 :: a ~> (b ~> m c)) (a6989586621680354954 :: [a]) (a6989586621680354955 :: [b]) :: m [c] where ...
- data ZipWithM_Sym0 (a1 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())))
- data ZipWithM_Sym1 (a6989586621680354943 :: a ~> (b ~> m c)) (b1 :: TyFun [a] ([b] ~> m ()))
- data ZipWithM_Sym2 (a6989586621680354943 :: a ~> (b ~> m c)) (a6989586621680354944 :: [a]) (c1 :: TyFun [b] (m ()))
- type family ZipWithM_Sym3 (a6989586621680354943 :: a ~> (b ~> m c)) (a6989586621680354944 :: [a]) (a6989586621680354945 :: [b]) :: m () where ...
- data FoldlMSym0 (a1 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)))
- data FoldlMSym1 (a6989586621679922477 :: b ~> (a ~> m b)) (b1 :: TyFun b (t a ~> m b))
- data FoldlMSym2 (a6989586621679922477 :: b ~> (a ~> m b)) (a6989586621679922478 :: b) (c :: TyFun (t a) (m b))
- type family FoldlMSym3 (a6989586621679922477 :: b ~> (a ~> m b)) (a6989586621679922478 :: b) (a6989586621679922479 :: t a) :: m b where ...
- data ReplicateMSym0 (a1 :: TyFun Natural (m a ~> m [a]))
- data ReplicateMSym1 (a6989586621680354894 :: Natural) (b :: TyFun (m a) (m [a]))
- type family ReplicateMSym2 (a6989586621680354894 :: Natural) (a6989586621680354895 :: m a) :: m [a] where ...
- data ReplicateM_Sym0 (a1 :: TyFun Natural (m a ~> m ()))
- data ReplicateM_Sym1 (a6989586621680354872 :: Natural) (b :: TyFun (m a) (m ()))
- type family ReplicateM_Sym2 (a6989586621680354872 :: Natural) (a6989586621680354873 :: m a) :: m () where ...
- data GuardSym0 (a :: TyFun Bool (f ()))
- type family GuardSym1 (a6989586621679270986 :: Bool) :: f () where ...
- data WhenSym0 (a :: TyFun Bool (f () ~> f ()))
- data WhenSym1 (a6989586621679271164 :: Bool) (b :: TyFun (f ()) (f ()))
- type family WhenSym2 (a6989586621679271164 :: Bool) (a6989586621679271165 :: f ()) :: f () where ...
- data UnlessSym0 (a :: TyFun Bool (f () ~> f ()))
- data UnlessSym1 (a6989586621680354860 :: Bool) (b :: TyFun (f ()) (f ()))
- type family UnlessSym2 (a6989586621680354860 :: Bool) (a6989586621680354861 :: f ()) :: f () where ...
- data LiftMSym0 (a :: TyFun (a1 ~> r) (m a1 ~> m r))
- data LiftMSym1 (a6989586621679271151 :: a1 ~> r) (b :: TyFun (m a1) (m r))
- type family LiftMSym2 (a6989586621679271151 :: a1 ~> r) (a6989586621679271152 :: m a1) :: m r where ...
- data LiftM2Sym0 (a :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)))
- data LiftM2Sym1 (a6989586621679271130 :: a1 ~> (a2 ~> r)) (b :: TyFun (m a1) (m a2 ~> m r))
- data LiftM2Sym2 (a6989586621679271130 :: a1 ~> (a2 ~> r)) (a6989586621679271131 :: m a1) (c :: TyFun (m a2) (m r))
- type family LiftM2Sym3 (a6989586621679271130 :: a1 ~> (a2 ~> r)) (a6989586621679271131 :: m a1) (a6989586621679271132 :: m a2) :: m r where ...
- data LiftM3Sym0 (a :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))))
- data LiftM3Sym1 (a6989586621679271100 :: a1 ~> (a2 ~> (a3 ~> r))) (b :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)))
- data LiftM3Sym2 (a6989586621679271100 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679271101 :: m a1) (c :: TyFun (m a2) (m a3 ~> m r))
- data LiftM3Sym3 (a6989586621679271100 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679271101 :: m a1) (a6989586621679271102 :: m a2) (d :: TyFun (m a3) (m r))
- type family LiftM3Sym4 (a6989586621679271100 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679271101 :: m a1) (a6989586621679271102 :: m a2) (a6989586621679271103 :: 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 (a6989586621679271061 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (b :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))))
- data LiftM4Sym2 (a6989586621679271061 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679271062 :: m a1) (c :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)))
- data LiftM4Sym3 (a6989586621679271061 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679271062 :: m a1) (a6989586621679271063 :: m a2) (d :: TyFun (m a3) (m a4 ~> m r))
- data LiftM4Sym4 (a6989586621679271061 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679271062 :: m a1) (a6989586621679271063 :: m a2) (a6989586621679271064 :: m a3) (e :: TyFun (m a4) (m r))
- type family LiftM4Sym5 (a6989586621679271061 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679271062 :: m a1) (a6989586621679271063 :: m a2) (a6989586621679271064 :: m a3) (a6989586621679271065 :: 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 (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (b :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))))
- data LiftM5Sym2 (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679271014 :: m a1) (c :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))))
- data LiftM5Sym3 (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679271014 :: m a1) (a6989586621679271015 :: m a2) (d :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)))
- data LiftM5Sym4 (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679271014 :: m a1) (a6989586621679271015 :: m a2) (a6989586621679271016 :: m a3) (e :: TyFun (m a4) (m a5 ~> m r))
- data LiftM5Sym5 (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679271014 :: m a1) (a6989586621679271015 :: m a2) (a6989586621679271016 :: m a3) (a6989586621679271017 :: m a4) (f :: TyFun (m a5) (m r))
- type family LiftM5Sym6 (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679271014 :: m a1) (a6989586621679271015 :: m a2) (a6989586621679271016 :: m a3) (a6989586621679271017 :: m a4) (a6989586621679271018 :: m a5) :: m r where ...
- data ApSym0 (a1 :: TyFun (m (a ~> b)) (m a ~> m b))
- data ApSym1 (a6989586621679270990 :: m (a ~> b)) (b1 :: TyFun (m a) (m b))
- type family ApSym2 (a6989586621679270990 :: m (a ~> b)) (a6989586621679270991 :: m a) :: m b where ...
- data (<$!>@#@$) (a1 :: TyFun (a ~> b) (m a ~> m b))
- data (a6989586621680354845 :: a ~> b) <$!>@#@$$ (b1 :: TyFun (m a) (m b))
- type family (a6989586621680354845 :: a ~> b) <$!>@#@$$$ (a6989586621680354846 :: m a) :: m b where ...
Documentation
class PFunctor (f :: Type -> Type) Source #
Instances
class SFunctor (f :: Type -> Type) where Source #
Methods
sFmap :: forall a b (t1 :: a ~> b) (t2 :: f a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2) Source #
Instances
SFunctor First Source # | |
SFunctor Last Source # | |
SFunctor Max Source # | |
SFunctor Min Source # | |
SFunctor NonEmpty Source # | |
SFunctor Identity Source # | |
SFunctor First Source # | |
SFunctor Last Source # | |
SFunctor Down Source # | |
SFunctor Dual Source # | |
SFunctor Product Source # | |
SFunctor Sum Source # | |
SFunctor Maybe Source # | |
SFunctor [] Source # | |
SFunctor (Arg a) Source # | |
SFunctor (Either a) Source # | |
SFunctor (Proxy :: Type -> Type) Source # | |
SFunctor ((,) a) Source # | |
SFunctor (Const m :: Type -> Type) Source # | |
(SFunctor f, SFunctor g) => SFunctor (Product f g) Source # | |
(SFunctor f, SFunctor g) => SFunctor (Sum f g) Source # | |
(SFunctor f, SFunctor g) => SFunctor (Compose f g) 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) = TFHelper_6989586621679271347 arg arg1
type Return (arg :: a) :: m a Source #
type Return (arg :: a) = Return_6989586621679271362 arg :: m a
Instances
PMonad First Source # | |||||||||||||
Defined in Data.Semigroup.Singletons Associated Types
| |||||||||||||
PMonad Last Source # | |||||||||||||
Defined in Data.Semigroup.Singletons Associated Types
| |||||||||||||
PMonad Max Source # | |||||||||||||
Defined in Data.Semigroup.Singletons Associated Types
| |||||||||||||
PMonad Min Source # | |||||||||||||
Defined in Data.Semigroup.Singletons Associated Types
| |||||||||||||
PMonad NonEmpty Source # | |||||||||||||
Defined in Control.Monad.Singletons.Internal Associated Types
| |||||||||||||
PMonad Identity Source # | |||||||||||||
Defined in Data.Functor.Identity.Singletons Associated Types
| |||||||||||||
PMonad First Source # | |||||||||||||
Defined in Data.Monoid.Singletons Associated Types
| |||||||||||||
PMonad Last Source # | |||||||||||||
Defined in Data.Monoid.Singletons Associated Types
| |||||||||||||
PMonad Down Source # | |||||||||||||
Defined in Control.Monad.Singletons Associated Types
| |||||||||||||
PMonad Dual Source # | |||||||||||||
Defined in Data.Semigroup.Singletons.Internal.Wrappers Associated Types
| |||||||||||||
PMonad Product Source # | |||||||||||||
Defined in Data.Semigroup.Singletons.Internal.Wrappers Associated Types
| |||||||||||||
PMonad Sum Source # | |||||||||||||
Defined in Data.Semigroup.Singletons.Internal.Wrappers Associated Types
| |||||||||||||
PMonad Maybe Source # | |||||||||||||
Defined in Control.Monad.Singletons.Internal Associated Types
| |||||||||||||
PMonad [] Source # | |||||||||||||
Defined in Control.Monad.Singletons.Internal Associated Types
| |||||||||||||
PMonad (Either e) Source # | |||||||||||||
Defined in Control.Monad.Singletons.Internal | |||||||||||||
PMonad (Proxy :: Type -> Type) Source # | |||||||||||||
Defined in Data.Proxy.Singletons Associated Types
| |||||||||||||
PMonad ((,) a) Source # | |||||||||||||
Defined in Control.Monad.Singletons | |||||||||||||
PMonad (Product f g) Source # | |||||||||||||
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 (t1 >>= t2) infixl 1 Source #
(%>>) :: forall a b (t1 :: m a) (t2 :: m b). Sing t1 -> Sing t2 -> Sing (t1 >> t2) infixl 1 Source #
default (%>>) :: forall a b (t1 :: m a) (t2 :: m b). (t1 >> t2) ~ TFHelper_6989586621679271347 t1 t2 => Sing t1 -> Sing t2 -> Sing (t1 >> t2) Source #
sReturn :: forall a (t :: a). Sing t -> Sing (Return t :: m a) Source #
Instances
SMonad First Source # | |
Defined in Data.Semigroup.Singletons | |
SMonad Last Source # | |
Defined in Data.Semigroup.Singletons | |
SMonad Max Source # | |
Defined in Data.Semigroup.Singletons | |
SMonad Min Source # | |
Defined in Data.Semigroup.Singletons | |
SMonad NonEmpty Source # | |
Defined in Control.Monad.Singletons.Internal Methods (%>>=) :: forall a b (t1 :: NonEmpty a) (t2 :: a ~> NonEmpty b). Sing t1 -> Sing t2 -> Sing (t1 >>= t2) Source # (%>>) :: forall a b (t1 :: NonEmpty a) (t2 :: NonEmpty b). Sing t1 -> Sing t2 -> Sing (t1 >> t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Return t :: NonEmpty a) Source # | |
SMonad Identity Source # | |
Defined in Data.Functor.Identity.Singletons Methods (%>>=) :: forall a b (t1 :: Identity a) (t2 :: a ~> Identity b). Sing t1 -> Sing t2 -> Sing (t1 >>= t2) Source # (%>>) :: forall a b (t1 :: Identity a) (t2 :: Identity b). Sing t1 -> Sing t2 -> Sing (t1 >> t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Return t :: Identity a) Source # | |
SMonad First Source # | |
Defined in Data.Monoid.Singletons | |
SMonad Last Source # | |
Defined in Data.Monoid.Singletons | |
SMonad Down Source # | |
Defined in Control.Monad.Singletons | |
SMonad Dual Source # | |
Defined in Data.Semigroup.Singletons.Internal.Wrappers | |
SMonad Product Source # | |
Defined in Data.Semigroup.Singletons.Internal.Wrappers | |
SMonad Sum Source # | |
Defined in Data.Semigroup.Singletons.Internal.Wrappers | |
SMonad Maybe Source # | |
Defined in Control.Monad.Singletons.Internal | |
SMonad [] Source # | |
Defined in Control.Monad.Singletons.Internal | |
SMonad (Either e) Source # | |
Defined in Control.Monad.Singletons.Internal Methods (%>>=) :: forall a b (t1 :: Either e a) (t2 :: a ~> Either e b). Sing t1 -> Sing t2 -> Sing (t1 >>= t2) Source # (%>>) :: forall a b (t1 :: Either e a) (t2 :: Either e b). Sing t1 -> Sing t2 -> Sing (t1 >> t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Return t :: Either e a) Source # | |
SMonad (Proxy :: Type -> Type) Source # | |
Defined in Data.Proxy.Singletons | |
SMonoid a => SMonad ((,) a) Source # | |
Defined in Control.Monad.Singletons | |
(SMonad f, SMonad g) => SMonad (Product f g) Source # | |
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 (t1 >>= t2) Source # (%>>) :: forall a b (t1 :: Product f g a) (t2 :: Product f g b). Sing t1 -> Sing t2 -> Sing (t1 >> t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Return t :: Product f g a) Source # |
class PMonadPlus (m :: Type -> Type) Source #
Associated Types
type Mzero = Mzero_6989586621679271382 :: m a
type Mplus (arg :: m a) (arg1 :: m a) :: m a Source #
type Mplus (arg :: m a) (arg1 :: m a) = Mplus_6989586621679271387 arg arg1
Instances
PMonadPlus Maybe Source # | |||||||||
Defined in Control.Monad.Singletons.Internal Associated Types
| |||||||||
PMonadPlus [] Source # | |||||||||
Defined in Control.Monad.Singletons.Internal Associated Types
| |||||||||
PMonadPlus (Proxy :: Type -> Type) Source # | |||||||||
Defined in Data.Proxy.Singletons Associated Types
| |||||||||
PMonadPlus (Product f g) Source # | |||||||||
Defined in Data.Functor.Product.Singletons |
class (SAlternative m, SMonad m) => SMonadPlus (m :: Type -> Type) where Source #
Minimal complete definition
Nothing
Methods
sMzero :: Sing (Mzero :: m a) Source #
default sMzero :: (Mzero :: m a) ~ (Mzero_6989586621679271382 :: m a) => Sing (Mzero :: m a) Source #
sMplus :: forall a (t1 :: m a) (t2 :: m a). Sing t1 -> Sing t2 -> Sing (Mplus t1 t2) Source #
Instances
SMonadPlus Maybe Source # | |
SMonadPlus [] Source # | |
SMonadPlus (Proxy :: Type -> Type) Source # | |
(SMonadPlus f, SMonadPlus g) => SMonadPlus (Product f g) Source # | |
class PMonadFail (m :: Type -> Type) Source #
Instances
PMonadFail Maybe Source # | |||||
Defined in Control.Monad.Fail.Singletons Associated Types
| |||||
PMonadFail [] Source # | |||||
Defined in Control.Monad.Fail.Singletons Associated Types
|
type family MapM (arg :: a ~> m b) (arg1 :: t a) :: m (t b) Source #
Instances
type MapM (arg :: a ~> m b) (arg1 :: First a) Source # | |
Defined in Data.Semigroup.Singletons | |
type MapM (arg :: a ~> m b) (arg1 :: Last a) Source # | |
Defined in Data.Semigroup.Singletons | |
type MapM (arg :: a ~> m b) (arg1 :: Max a) Source # | |
Defined in Data.Semigroup.Singletons | |
type MapM (arg :: a ~> m b) (arg1 :: Min a) Source # | |
Defined in Data.Semigroup.Singletons | |
type MapM (arg1 :: a ~> m b) (arg2 :: NonEmpty a) Source # | |
Defined in Data.Traversable.Singletons | |
type MapM (arg1 :: a ~> m b) (arg2 :: Identity a) Source # | |
Defined in Data.Traversable.Singletons | |
type MapM (arg1 :: a ~> m b) (arg2 :: First a) Source # | |
Defined in Data.Traversable.Singletons | |
type MapM (arg1 :: a ~> m b) (arg2 :: Last a) Source # | |
Defined in Data.Traversable.Singletons | |
type MapM (arg1 :: a ~> m b) (arg2 :: Dual a) Source # | |
Defined in Data.Traversable.Singletons | |
type MapM (arg1 :: a ~> m b) (arg2 :: Product a) Source # | |
Defined in Data.Traversable.Singletons | |
type MapM (arg1 :: a ~> m b) (arg2 :: Sum a) Source # | |
Defined in Data.Traversable.Singletons | |
type MapM (arg1 :: a ~> m b) (arg2 :: Maybe a) Source # | |
Defined in Data.Traversable.Singletons | |
type MapM (arg1 :: a ~> m b) (arg2 :: [a]) Source # | |
Defined in Data.Traversable.Singletons | |
type MapM (arg :: a1 ~> m b) (arg1 :: Arg a2 a1) Source # | |
Defined in Data.Semigroup.Singletons | |
type MapM (arg1 :: a1 ~> m b) (arg2 :: Either a2 a1) Source # | |
Defined in Data.Traversable.Singletons | |
type MapM (a2 :: a1 ~> m b) (a3 :: Proxy a1) Source # | |
Defined in Data.Traversable.Singletons | |
type MapM (arg1 :: a1 ~> m b) (arg2 :: (a2, a1)) Source # | |
Defined in Data.Traversable.Singletons | |
type MapM (arg1 :: a ~> m1 b) (arg2 :: Const m2 a) Source # | |
Defined in Data.Traversable.Singletons | |
type MapM (arg :: a ~> m b) (arg1 :: Product f g a) Source # | |
Defined in Data.Functor.Product.Singletons | |
type MapM (arg :: a ~> m b) (arg1 :: Sum f g a) Source # | |
Defined in Data.Functor.Sum.Singletons | |
type MapM (arg :: a ~> m b) (arg1 :: Compose f g a) Source # | |
Defined in Data.Functor.Compose.Singletons |
sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: t a). (STraversable t, SMonad m) => Sing t1 -> Sing t2 -> Sing (MapM t1 t2) Source #
type family MapM_ (a1 :: a ~> m b) (a2 :: t a) :: m () where ... Source #
Equations
MapM_ (f :: a1 ~> m a2) (a_6989586621679922444 :: 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_6989586621679922444 |
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 (MapM_ t2 t3) Source #
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 (ForM t2 t3) Source #
type family Sequence (arg :: t (m a)) :: m (t a) Source #
Instances
type Sequence (arg :: First (m a)) Source # | |
Defined in Data.Semigroup.Singletons | |
type Sequence (arg :: Last (m a)) Source # | |
Defined in Data.Semigroup.Singletons | |
type Sequence (arg :: Max (m a)) Source # | |
Defined in Data.Semigroup.Singletons | |
type Sequence (arg :: Min (m a)) Source # | |
Defined in Data.Semigroup.Singletons | |
type Sequence (arg :: NonEmpty (m a)) Source # | |
Defined in Data.Traversable.Singletons | |
type Sequence (arg :: Identity (m a)) Source # | |
Defined in Data.Traversable.Singletons | |
type Sequence (arg :: First (m a)) Source # | |
Defined in Data.Traversable.Singletons | |
type Sequence (arg :: Last (m a)) Source # | |
Defined in Data.Traversable.Singletons | |
type Sequence (arg :: Dual (m a)) Source # | |
Defined in Data.Traversable.Singletons | |
type Sequence (arg :: Product (m a)) Source # | |
Defined in Data.Traversable.Singletons | |
type Sequence (arg :: Sum (m a)) Source # | |
Defined in Data.Traversable.Singletons | |
type Sequence (arg :: Maybe (m a)) Source # | |
Defined in Data.Traversable.Singletons | |
type Sequence (arg :: [m a]) Source # | |
Defined in Data.Traversable.Singletons type Sequence (arg :: [m a]) | |
type Sequence (arg :: Arg a1 (m a2)) Source # | |
Defined in Data.Semigroup.Singletons | |
type Sequence (arg :: Either a1 (m a2)) Source # | |
Defined in Data.Traversable.Singletons | |
type Sequence (a2 :: Proxy (m a1)) Source # | |
Defined in Data.Traversable.Singletons | |
type Sequence (arg :: (a1, m a2)) Source # | |
Defined in Data.Traversable.Singletons type Sequence (arg :: (a1, m a2)) | |
type Sequence (arg :: Const m1 (m2 a)) Source # | |
Defined in Data.Traversable.Singletons | |
type Sequence (arg :: Product f g (m a)) Source # | |
Defined in Data.Functor.Product.Singletons | |
type Sequence (arg :: Sum f g (m a)) Source # | |
Defined in Data.Functor.Sum.Singletons | |
type Sequence (arg :: Compose f g (m a)) Source # | |
Defined in Data.Functor.Compose.Singletons |
sSequence :: forall (m :: Type -> Type) a (t1 :: t (m a)). (STraversable t, SMonad m) => Sing t1 -> Sing (Sequence t1) Source #
sSequence_ :: forall (t1 :: Type -> Type) (m :: Type -> Type) a (t2 :: t1 (m a)). (SFoldable t1, SMonad m) => Sing t2 -> Sing (Sequence_ t2) Source #
(%=<<) :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: m a). SMonad m => Sing t1 -> Sing t2 -> Sing (t1 =<< t2) infixr 1 Source #
(%>=>) :: 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 ((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_6989586621680354966 :: b ~> m c) <=< (a_6989586621680354968 :: k1 ~> m b)) (a_6989586621680354970 :: 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_6989586621680354966) a_6989586621680354968) a_6989586621680354970 |
(%<=<) :: 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 ((t1 <=< t2) t3) infixr 1 Source #
sMsum :: forall (t1 :: Type -> Type) (m :: Type -> Type) a (t2 :: t1 (m a)). (SFoldable t1, SMonadPlus m) => Sing t2 -> Sing (Msum t2) Source #
sMfilter :: forall a (m :: Type -> Type) (t1 :: a ~> Bool) (t2 :: m a). SMonadPlus m => Sing t1 -> Sing t2 -> Sing (Mfilter t1 t2) Source #
type family FilterM (a1 :: a ~> m Bool) (a2 :: [a]) :: m [a] where ... Source #
Equations
FilterM (p :: a ~> m6989586621680354547 Bool) (a_6989586621680355000 :: [a]) = Apply (Apply (Apply (FoldrSym0 :: TyFun (a ~> (m6989586621680354547 [a] ~> m6989586621680354547 [a])) (m6989586621680354547 [a] ~> ([a] ~> m6989586621680354547 [a])) -> Type) (LamCases_6989586621680355009Sym0 p a_6989586621680355000)) (Apply (PureSym0 :: TyFun [a] (m6989586621680354547 [a]) -> Type) (NilSym0 :: [a]))) a_6989586621680355000 |
sFilterM :: forall a (m :: Type -> Type) (t1 :: a ~> m Bool) (t2 :: [a]). SApplicative m => Sing t1 -> Sing t2 -> Sing (FilterM 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 (MapAndUnzipM t1 t2) Source #
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 (ZipWithM t1 t2 t3) Source #
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 (ZipWithM_ 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 ~> m6989586621679921925 k1)) (z0 :: k1) (xs :: t a) = Apply (Apply (Apply (Apply (FoldrSym0 :: TyFun (a ~> ((k1 ~> m6989586621679921925 k1) ~> (k1 ~> m6989586621679921925 k1))) ((k1 ~> m6989586621679921925 k1) ~> (t a ~> (k1 ~> m6989586621679921925 k1))) -> Type) (Let6989586621679922483F'Sym0 f z0 xs :: TyFun a (TyFun (k1 ~> m6989586621679921925 k1) (TyFun k1 (m6989586621679921925 k1) -> Type) -> Type) -> Type)) (ReturnSym0 :: TyFun k1 (m6989586621679921925 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 (FoldlM t2 t3 t4) Source #
type family ReplicateM (a1 :: Natural) (a2 :: m a) :: m [a] where ... Source #
Equations
ReplicateM cnt0 (f :: m a) = Apply (Let6989586621680354898LoopSym0 m a cnt0 f) cnt0 |
sReplicateM :: forall (m :: Type -> Type) a (t1 :: Natural) (t2 :: m a). SApplicative m => Sing t1 -> Sing t2 -> Sing (ReplicateM t1 t2) Source #
type family ReplicateM_ (a1 :: Natural) (a2 :: m a) :: m () where ... Source #
Equations
ReplicateM_ cnt0 (f :: m a) = Apply (Let6989586621680354876LoopSym0 m a cnt0 f) cnt0 |
sReplicateM_ :: forall (m :: Type -> Type) a (t1 :: Natural) (t2 :: m a). SApplicative m => Sing t1 -> Sing t2 -> Sing (ReplicateM_ t1 t2) Source #
sGuard :: forall (f :: Type -> Type) (t :: Bool). SAlternative f => Sing t -> Sing (Guard t :: f ()) Source #
sWhen :: forall (f :: Type -> Type) (t1 :: Bool) (t2 :: f ()). SApplicative f => Sing t1 -> Sing t2 -> Sing (When t1 t2) Source #
sUnless :: forall (f :: Type -> Type) (t1 :: Bool) (t2 :: f ()). SApplicative f => Sing t1 -> Sing t2 -> Sing (Unless t1 t2) Source #
type family LiftM (a :: a1 ~> r) (a2 :: m a1) :: m r where ... Source #
Equations
LiftM (f :: a16989586621679270847 ~> b) (m1 :: m6989586621679270846 a16989586621679270847) = Apply (Apply ((>>=@#@$) :: TyFun (m6989586621679270846 a16989586621679270847) ((a16989586621679270847 ~> m6989586621679270846 b) ~> m6989586621679270846 b) -> Type) m1) (LamCases_6989586621679271155Sym0 f m1 :: TyFun a16989586621679270847 (m6989586621679270846 b) -> Type) |
sLiftM :: forall a1 r (m :: Type -> Type) (t1 :: a1 ~> r) (t2 :: m a1). SMonad m => Sing t1 -> Sing t2 -> Sing (LiftM t1 t2) Source #
type family LiftM2 (a :: a1 ~> (a2 ~> r)) (a4 :: m a1) (a5 :: m a2) :: m r where ... Source #
Equations
LiftM2 (f :: a16989586621679270843 ~> (a26989586621679270844 ~> b)) (m1 :: m6989586621679270842 a16989586621679270843) (m2 :: m6989586621679270842 a26989586621679270844) = Apply (Apply ((>>=@#@$) :: TyFun (m6989586621679270842 a16989586621679270843) ((a16989586621679270843 ~> m6989586621679270842 b) ~> m6989586621679270842 b) -> Type) m1) (LamCases_6989586621679271136Sym0 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 (LiftM2 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 :: a16989586621679270838 ~> (a26989586621679270839 ~> (a36989586621679270840 ~> b))) (m1 :: m6989586621679270837 a16989586621679270838) (m2 :: m6989586621679270837 a26989586621679270839) (m3 :: m6989586621679270837 a36989586621679270840) = Apply (Apply ((>>=@#@$) :: TyFun (m6989586621679270837 a16989586621679270838) ((a16989586621679270838 ~> m6989586621679270837 b) ~> m6989586621679270837 b) -> Type) m1) (LamCases_6989586621679271108Sym0 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 (LiftM3 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 :: a16989586621679270832 ~> (a26989586621679270833 ~> (a36989586621679270834 ~> (a46989586621679270835 ~> b)))) (m1 :: m6989586621679270831 a16989586621679270832) (m2 :: m6989586621679270831 a26989586621679270833) (m3 :: m6989586621679270831 a36989586621679270834) (m4 :: m6989586621679270831 a46989586621679270835) = Apply (Apply ((>>=@#@$) :: TyFun (m6989586621679270831 a16989586621679270832) ((a16989586621679270832 ~> m6989586621679270831 b) ~> m6989586621679270831 b) -> Type) m1) (LamCases_6989586621679271071Sym0 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 (LiftM4 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 :: a16989586621679270825 ~> (a26989586621679270826 ~> (a36989586621679270827 ~> (a46989586621679270828 ~> (a56989586621679270829 ~> b))))) (m1 :: m6989586621679270824 a16989586621679270825) (m2 :: m6989586621679270824 a26989586621679270826) (m3 :: m6989586621679270824 a36989586621679270827) (m4 :: m6989586621679270824 a46989586621679270828) (m5 :: m6989586621679270824 a56989586621679270829) = Apply (Apply ((>>=@#@$) :: TyFun (m6989586621679270824 a16989586621679270825) ((a16989586621679270825 ~> m6989586621679270824 b) ~> m6989586621679270824 b) -> Type) m1) (LamCases_6989586621679271025Sym0 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 (LiftM5 t1 t2 t3 t4 t5 t6) Source #
type family Ap (a1 :: m (a ~> b)) (a2 :: m a) :: m b where ... Source #
Equations
Ap (m1 :: m6989586621679270821 (a6989586621679270822 ~> b)) (m2 :: m6989586621679270821 a6989586621679270822) = Apply (Apply ((>>=@#@$) :: TyFun (m6989586621679270821 (a6989586621679270822 ~> b)) (((a6989586621679270822 ~> b) ~> m6989586621679270821 b) ~> m6989586621679270821 b) -> Type) m1) (LamCases_6989586621679270994Sym0 m1 m2 :: TyFun (a6989586621679270822 ~> b) (m6989586621679270821 b) -> Type) |
sAp :: forall (m :: Type -> Type) a b (t1 :: m (a ~> b)) (t2 :: m a). SMonad m => Sing t1 -> Sing t2 -> Sing (Ap t1 t2) Source #
type family (a1 :: a ~> b) <$!> (a2 :: m a) :: m b where ... infixl 4 Source #
Equations
(f :: a6989586621680354512 ~> b) <$!> (m :: m6989586621680354511 a6989586621680354512) = Apply (Apply ((>>=@#@$) :: TyFun (m6989586621680354511 a6989586621680354512) ((a6989586621680354512 ~> m6989586621680354511 b) ~> m6989586621680354511 b) -> Type) m) (LamCases_6989586621680354849Sym0 f m :: TyFun a6989586621680354512 (m6989586621680354511 b) -> Type) |
(%<$!>) :: forall a b (m :: Type -> Type) (t1 :: a ~> b) (t2 :: m a). SMonad m => Sing t1 -> Sing t2 -> Sing (t1 <$!> t2) infixl 4 Source #
Defunctionalization symbols
data FmapSym0 (a1 :: TyFun (a ~> b) (f a ~> f b)) Source #
Instances
SFunctor f => SingI (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) Source # | |
SuppressUnusedWarnings (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) (a6989586621679271227 :: a ~> b) Source # | |
data FmapSym1 (a6989586621679271227 :: a ~> b) (b1 :: TyFun (f a) (f b)) Source #
Instances
SFunctor f => SingI1 (FmapSym1 :: (a ~> b) -> TyFun (f a) (f b) -> Type) Source # | |
(SFunctor f, SingI d) => SingI (FmapSym1 d :: TyFun (f a) (f b) -> Type) Source # | |
SuppressUnusedWarnings (FmapSym1 a6989586621679271227 :: TyFun (f a) (f b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (FmapSym1 a6989586621679271227 :: TyFun (f a) (f b) -> Type) (a6989586621679271228 :: f a) Source # | |
type family FmapSym2 (a6989586621679271227 :: a ~> b) (a6989586621679271228 :: f a) :: f b where ... Source #
data (>>=@#@$) (a1 :: TyFun (m a) ((a ~> m b) ~> m b)) infixl 1 Source #
Instances
SMonad m => SingI ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) Source # | |
SuppressUnusedWarnings ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) (a6989586621679271335 :: m a) Source # | |
data (a6989586621679271335 :: m a) >>=@#@$$ (b1 :: TyFun (a ~> m b) (m b)) infixl 1 Source #
Instances
SMonad m => SingI1 ((>>=@#@$$) :: m a -> TyFun (a ~> m b) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
(SMonad m, SingI d) => SingI ((>>=@#@$$) d :: TyFun (a ~> m b) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
SuppressUnusedWarnings ((>>=@#@$$) a6989586621679271335 :: TyFun (a ~> m b) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply ((>>=@#@$$) a6989586621679271335 :: TyFun (a ~> m b) (m b) -> Type) (a6989586621679271336 :: a ~> m b) Source # | |
Defined in Control.Monad.Singletons.Internal |
type family (a6989586621679271335 :: m a) >>=@#@$$$ (a6989586621679271336 :: a ~> m b) :: m b where ... infixl 1 Source #
data (>>@#@$) (a1 :: TyFun (m a) (m b ~> m b)) infixl 1 Source #
Instances
SMonad m => SingI ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) Source # | |
SuppressUnusedWarnings ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) (a6989586621679271340 :: m a) Source # | |
data (a6989586621679271340 :: m a) >>@#@$$ (b1 :: TyFun (m b) (m b)) infixl 1 Source #
Instances
SMonad m => SingI1 ((>>@#@$$) :: m a -> TyFun (m b) (m b) -> Type) Source # | |
(SMonad m, SingI d) => SingI ((>>@#@$$) d :: TyFun (m b) (m b) -> Type) Source # | |
SuppressUnusedWarnings ((>>@#@$$) a6989586621679271340 :: TyFun (m b) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply ((>>@#@$$) a6989586621679271340 :: TyFun (m b) (m b) -> Type) (a6989586621679271341 :: m b) Source # | |
type family (a6989586621679271340 :: m a) >>@#@$$$ (a6989586621679271341 :: m b) :: m b where ... infixl 1 Source #
data ReturnSym0 (a1 :: TyFun a (m a)) Source #
Instances
SMonad m => SingI (ReturnSym0 :: TyFun a (m a) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
SuppressUnusedWarnings (ReturnSym0 :: TyFun a (m a) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (ReturnSym0 :: TyFun a (m a) -> Type) (a6989586621679271344 :: a) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (ReturnSym0 :: TyFun a (m a) -> Type) (a6989586621679271344 :: a) = Return a6989586621679271344 :: m a |
type family ReturnSym1 (a6989586621679271344 :: a) :: m a where ... Source #
Equations
ReturnSym1 (a6989586621679271344 :: a) = Return a6989586621679271344 :: m a |
data FailSym0 (a1 :: TyFun [Char] (m a)) Source #
Instances
SMonadFail m => SingI (FailSym0 :: TyFun [Char] (m a) -> Type) Source # | |
SuppressUnusedWarnings (FailSym0 :: TyFun [Char] (m a) -> Type) Source # | |
Defined in Control.Monad.Fail.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (FailSym0 :: TyFun [Char] (m a) -> Type) (a6989586621679365940 :: [Char]) Source # | |
data MplusSym0 (a1 :: TyFun (m a) (m a ~> m a)) Source #
Instances
SMonadPlus m => SingI (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) Source # | |
SuppressUnusedWarnings (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) (a6989586621679271380 :: m a) Source # | |
data MplusSym1 (a6989586621679271380 :: m a) (b :: TyFun (m a) (m a)) Source #
Instances
SMonadPlus m => SingI1 (MplusSym1 :: m a -> TyFun (m a) (m a) -> Type) Source # | |
(SMonadPlus m, SingI d) => SingI (MplusSym1 d :: TyFun (m a) (m a) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
SuppressUnusedWarnings (MplusSym1 a6989586621679271380 :: TyFun (m a) (m a) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (MplusSym1 a6989586621679271380 :: TyFun (m a) (m a) -> Type) (a6989586621679271381 :: m a) Source # | |
type family MplusSym2 (a6989586621679271380 :: m a) (a6989586621679271381 :: m a) :: m a where ... Source #
data MapMSym0 (a1 :: TyFun (a ~> m b) (t a ~> m (t b))) Source #
Instances
(STraversable t, SMonad m) => SingI (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) Source # | |
Defined in Data.Traversable.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) (a6989586621680096868 :: a ~> m b) Source # | |
data MapMSym1 (a6989586621680096868 :: a ~> m b) (b1 :: TyFun (t a) (m (t b))) Source #
Instances
(STraversable t, SMonad m) => SingI1 (MapMSym1 :: (a ~> m b) -> TyFun (t a) (m (t b)) -> Type) Source # | |
(STraversable t, SMonad m, SingI d) => SingI (MapMSym1 d :: TyFun (t a) (m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (MapMSym1 a6989586621680096868 :: TyFun (t a) (m (t b)) -> Type) Source # | |
Defined in Data.Traversable.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (MapMSym1 a6989586621680096868 :: TyFun (t a) (m (t b)) -> Type) (a6989586621680096869 :: t a) Source # | |
type family MapMSym2 (a6989586621680096868 :: a ~> m b) (a6989586621680096869 :: t a) :: m (t b) where ... Source #
data MapM_Sym0 (a1 :: TyFun (a ~> m b) (t a ~> m ())) Source #
Instances
(SFoldable t, SMonad m) => SingI (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) Source # | |
SuppressUnusedWarnings (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) Source # | |
Defined in Data.Foldable.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) (a6989586621679922449 :: a ~> m b) Source # | |
data MapM_Sym1 (a6989586621679922449 :: a ~> m b) (b1 :: TyFun (t a) (m ())) Source #
Instances
(SFoldable t, SMonad m) => SingI1 (MapM_Sym1 :: (a ~> m b) -> TyFun (t a) (m ()) -> Type) Source # | |
(SFoldable t, SMonad m, SingI d) => SingI (MapM_Sym1 d :: TyFun (t a) (m ()) -> Type) Source # | |
SuppressUnusedWarnings (MapM_Sym1 a6989586621679922449 :: TyFun (t a) (m ()) -> Type) Source # | |
Defined in Data.Foldable.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (MapM_Sym1 a6989586621679922449 :: TyFun (t a) (m ()) -> Type) (a6989586621679922450 :: t a) Source # | |
type family MapM_Sym2 (a6989586621679922449 :: a ~> m b) (a6989586621679922450 :: t a) :: m () where ... Source #
data ForMSym0 (a1 :: TyFun (t a) ((a ~> m b) ~> m (t b))) Source #
Instances
(STraversable t, SMonad m) => SingI (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) Source # | |
Defined in Data.Traversable.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) (a6989586621680103095 :: t a) Source # | |
data ForMSym1 (a6989586621680103095 :: t a) (b1 :: TyFun (a ~> m b) (m (t b))) Source #
Instances
(STraversable t, SMonad m) => SingI1 (ForMSym1 :: t a -> TyFun (a ~> m b) (m (t b)) -> Type) Source # | |
(STraversable t, SMonad m, SingI d) => SingI (ForMSym1 d :: TyFun (a ~> m b) (m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (ForMSym1 a6989586621680103095 :: TyFun (a ~> m b) (m (t b)) -> Type) Source # | |
Defined in Data.Traversable.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (ForMSym1 a6989586621680103095 :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680103096 :: a ~> m b) Source # | |
type family ForMSym2 (a6989586621680103095 :: t a) (a6989586621680103096 :: a ~> m b) :: m (t b) where ... Source #
data SequenceSym0 (a1 :: TyFun (t (m a)) (m (t a))) Source #
Instances
(STraversable t, SMonad m) => SingI (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) Source # | |
Defined in Data.Traversable.Singletons | |
SuppressUnusedWarnings (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) Source # | |
Defined in Data.Traversable.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (a6989586621680096872 :: t (m a)) Source # | |
Defined in Data.Traversable.Singletons type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (a6989586621680096872 :: t (m a)) = Sequence a6989586621680096872 |
type family SequenceSym1 (a6989586621680096872 :: t (m a)) :: m (t a) where ... Source #
Equations
SequenceSym1 (a6989586621680096872 :: t (m a)) = Sequence a6989586621680096872 |
data Sequence_Sym0 (a1 :: TyFun (t (m a)) (m ())) Source #
Instances
(SFoldable t, SMonad m) => SingI (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) Source # | |
Defined in Data.Foldable.Singletons | |
SuppressUnusedWarnings (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) Source # | |
Defined in Data.Foldable.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621679922425 :: t (m a)) Source # | |
Defined in Data.Foldable.Singletons type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621679922425 :: t (m a)) = Sequence_ a6989586621679922425 |
type family Sequence_Sym1 (a6989586621679922425 :: t (m a)) :: m () where ... Source #
Equations
Sequence_Sym1 (a6989586621679922425 :: t (m a)) = Sequence_ a6989586621679922425 |
data (=<<@#@$) (a1 :: TyFun (a ~> m b) (m a ~> m b)) infixr 1 Source #
Instances
SMonad m => SingI ((=<<@#@$) :: TyFun (a ~> m b) (m a ~> m b) -> Type) Source # | |
SuppressUnusedWarnings ((=<<@#@$) :: TyFun (a ~> m b) (m a ~> m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply ((=<<@#@$) :: TyFun (a ~> m b) (m a ~> m b) -> Type) (a6989586621679271176 :: a ~> m b) Source # | |
Defined in Control.Monad.Singletons.Internal |
data (a6989586621679271176 :: a ~> m b) =<<@#@$$ (b1 :: TyFun (m a) (m b)) infixr 1 Source #
Instances
SMonad m => SingI1 ((=<<@#@$$) :: (a ~> m b) -> TyFun (m a) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
(SMonad m, SingI d) => SingI ((=<<@#@$$) d :: TyFun (m a) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods sing :: Sing ((=<<@#@$$) d) # | |
SuppressUnusedWarnings ((=<<@#@$$) a6989586621679271176 :: TyFun (m a) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply ((=<<@#@$$) a6989586621679271176 :: TyFun (m a) (m b) -> Type) (a6989586621679271177 :: m a) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply ((=<<@#@$$) a6989586621679271176 :: TyFun (m a) (m b) -> Type) (a6989586621679271177 :: m a) = a6989586621679271176 =<< a6989586621679271177 |
type family (a6989586621679271176 :: a ~> m b) =<<@#@$$$ (a6989586621679271177 :: m a) :: m b where ... infixr 1 Source #
data (>=>@#@$) (a1 :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c))) infixr 1 Source #
Instances
SMonad m => SingI ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) Source # | |
SuppressUnusedWarnings ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) (a6989586621680354988 :: a ~> m b) Source # | |
data (a6989586621680354988 :: a ~> m b) >=>@#@$$ (b1 :: TyFun (b ~> m c) (a ~> m c)) infixr 1 Source #
Instances
SMonad m => SingI1 ((>=>@#@$$) :: (a ~> m b) -> TyFun (b ~> m c) (a ~> m c) -> Type) Source # | |
(SMonad m, SingI d) => SingI ((>=>@#@$$) d :: TyFun (b ~> m c) (a ~> m c) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings ((>=>@#@$$) a6989586621680354988 :: TyFun (b ~> m c) (a ~> m c) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply ((>=>@#@$$) a6989586621680354988 :: TyFun (b ~> m c) (a ~> m c) -> Type) (a6989586621680354989 :: b ~> m c) Source # | |
Defined in Control.Monad.Singletons |
data ((a6989586621680354988 :: a ~> m b) >=>@#@$$$ (a6989586621680354989 :: b ~> m c)) (c1 :: TyFun a (m c)) infixr 1 Source #
Instances
SMonad m => SingI2 ((>=>@#@$$$) :: (a ~> m b) -> (b ~> m c) -> TyFun a (m c) -> Type) Source # | |
(SMonad m, SingI d) => SingI1 ((>=>@#@$$$) d :: (b ~> m c) -> TyFun a (m c) -> Type) Source # | |
(SMonad m, SingI d1, SingI d2) => SingI (d1 >=>@#@$$$ d2 :: TyFun a (m c) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings (a6989586621680354988 >=>@#@$$$ a6989586621680354989 :: TyFun a (m c) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (a6989586621680354988 >=>@#@$$$ a6989586621680354989 :: TyFun a (m c) -> Type) (a6989586621680354990 :: a) Source # | |
data (<=<@#@$) (a1 :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c))) infixr 1 Source #
Instances
SMonad m => SingI ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) Source # | |
SuppressUnusedWarnings ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) (a6989586621680354976 :: b ~> m c) Source # | |
data (a6989586621680354976 :: b ~> m c) <=<@#@$$ (b1 :: TyFun (a ~> m b) (a ~> m c)) infixr 1 Source #
Instances
SMonad m => SingI1 ((<=<@#@$$) :: (b ~> m c) -> TyFun (a ~> m b) (a ~> m c) -> Type) Source # | |
(SMonad m, SingI d) => SingI ((<=<@#@$$) d :: TyFun (a ~> m b) (a ~> m c) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings ((<=<@#@$$) a6989586621680354976 :: TyFun (a ~> m b) (a ~> m c) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply ((<=<@#@$$) a6989586621680354976 :: TyFun (a ~> m b) (a ~> m c) -> Type) (a6989586621680354977 :: a ~> m b) Source # | |
Defined in Control.Monad.Singletons |
data ((a6989586621680354976 :: b ~> m c) <=<@#@$$$ (a6989586621680354977 :: a ~> m b)) (c1 :: TyFun a (m c)) infixr 1 Source #
Instances
SMonad m => SingI2 ((<=<@#@$$$) :: (b ~> m c) -> (a ~> m b) -> TyFun a (m c) -> Type) Source # | |
(SMonad m, SingI d) => SingI1 ((<=<@#@$$$) d :: (a ~> m b) -> TyFun a (m c) -> Type) Source # | |
(SMonad m, SingI d1, SingI d2) => SingI (d1 <=<@#@$$$ d2 :: TyFun a (m c) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings (a6989586621680354976 <=<@#@$$$ a6989586621680354977 :: TyFun a (m c) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (a6989586621680354976 <=<@#@$$$ a6989586621680354977 :: TyFun a (m c) -> Type) (a6989586621680354978 :: a) Source # | |
data VoidSym0 (a1 :: TyFun (f a) (f ())) Source #
Instances
SFunctor f => SingI (VoidSym0 :: TyFun (f a) (f ()) -> Type) Source # | |
SuppressUnusedWarnings (VoidSym0 :: TyFun (f a) (f ()) -> Type) Source # | |
Defined in Data.Functor.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) (a6989586621679357493 :: f a) Source # | |
data JoinSym0 (a1 :: TyFun (m (m a)) (m a)) Source #
Instances
SMonad m => SingI (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) Source # | |
SuppressUnusedWarnings (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) (a6989586621679271182 :: m (m a)) Source # | |
data MsumSym0 (a1 :: TyFun (t (m a)) (m a)) Source #
Instances
(SFoldable t, SMonadPlus m) => SingI (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) Source # | |
SuppressUnusedWarnings (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) Source # | |
Defined in Data.Foldable.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621679922413 :: t (m a)) Source # | |
data MfilterSym0 (a1 :: TyFun (a ~> Bool) (m a ~> m a)) Source #
Instances
SMonadPlus m => SingI (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) (a6989586621680354827 :: a ~> Bool) Source # | |
Defined in Control.Monad.Singletons |
data MfilterSym1 (a6989586621680354827 :: a ~> Bool) (b :: TyFun (m a) (m a)) Source #
Instances
SMonadPlus m => SingI1 (MfilterSym1 :: (a ~> Bool) -> TyFun (m a) (m a) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
(SMonadPlus m, SingI d) => SingI (MfilterSym1 d :: TyFun (m a) (m a) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings (MfilterSym1 a6989586621680354827 :: TyFun (m a) (m a) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (MfilterSym1 a6989586621680354827 :: TyFun (m a) (m a) -> Type) (a6989586621680354828 :: m a) Source # | |
Defined in Control.Monad.Singletons type Apply (MfilterSym1 a6989586621680354827 :: TyFun (m a) (m a) -> Type) (a6989586621680354828 :: m a) = Mfilter a6989586621680354827 a6989586621680354828 |
type family MfilterSym2 (a6989586621680354827 :: a ~> Bool) (a6989586621680354828 :: m a) :: m a where ... Source #
Equations
MfilterSym2 (a6989586621680354827 :: a ~> Bool) (a6989586621680354828 :: m a) = Mfilter a6989586621680354827 a6989586621680354828 |
data FilterMSym0 (a1 :: TyFun (a ~> m Bool) ([a] ~> m [a])) Source #
Instances
SApplicative m => SingI (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) (a6989586621680355005 :: a ~> m Bool) Source # | |
Defined in Control.Monad.Singletons type Apply (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) (a6989586621680355005 :: a ~> m Bool) = FilterMSym1 a6989586621680355005 |
data FilterMSym1 (a6989586621680355005 :: a ~> m Bool) (b :: TyFun [a] (m [a])) Source #
Instances
SApplicative m => SingI1 (FilterMSym1 :: (a ~> m Bool) -> TyFun [a] (m [a]) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
(SApplicative m, SingI d) => SingI (FilterMSym1 d :: TyFun [a] (m [a]) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods sing :: Sing (FilterMSym1 d) # | |
SuppressUnusedWarnings (FilterMSym1 a6989586621680355005 :: TyFun [a] (m [a]) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (FilterMSym1 a6989586621680355005 :: TyFun [a] (m [a]) -> Type) (a6989586621680355006 :: [a]) Source # | |
Defined in Control.Monad.Singletons type Apply (FilterMSym1 a6989586621680355005 :: TyFun [a] (m [a]) -> Type) (a6989586621680355006 :: [a]) = FilterM a6989586621680355005 a6989586621680355006 |
type family FilterMSym2 (a6989586621680355005 :: a ~> m Bool) (a6989586621680355006 :: [a]) :: m [a] where ... Source #
Equations
FilterMSym2 (a6989586621680355005 :: a ~> m Bool) (a6989586621680355006 :: [a]) = FilterM a6989586621680355005 a6989586621680355006 |
data MapAndUnzipMSym0 (a1 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c]))) Source #
Instances
SApplicative m => SingI (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) (a6989586621680354962 :: a ~> m (b, c)) Source # | |
Defined in Control.Monad.Singletons type Apply (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) (a6989586621680354962 :: a ~> m (b, c)) = MapAndUnzipMSym1 a6989586621680354962 |
data MapAndUnzipMSym1 (a6989586621680354962 :: a ~> m (b, c)) (b1 :: TyFun [a] (m ([b], [c]))) Source #
Instances
SApplicative m => SingI1 (MapAndUnzipMSym1 :: (a ~> m (b, c)) -> TyFun [a] (m ([b], [c])) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
(SApplicative m, SingI d) => SingI (MapAndUnzipMSym1 d :: TyFun [a] (m ([b], [c])) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods sing :: Sing (MapAndUnzipMSym1 d) # | |
SuppressUnusedWarnings (MapAndUnzipMSym1 a6989586621680354962 :: TyFun [a] (m ([b], [c])) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (MapAndUnzipMSym1 a6989586621680354962 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621680354963 :: [a]) Source # | |
Defined in Control.Monad.Singletons type Apply (MapAndUnzipMSym1 a6989586621680354962 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621680354963 :: [a]) = MapAndUnzipM a6989586621680354962 a6989586621680354963 |
type family MapAndUnzipMSym2 (a6989586621680354962 :: a ~> m (b, c)) (a6989586621680354963 :: [a]) :: m ([b], [c]) where ... Source #
Equations
MapAndUnzipMSym2 (a6989586621680354962 :: a ~> m (b, c)) (a6989586621680354963 :: [a]) = MapAndUnzipM a6989586621680354962 a6989586621680354963 |
data ZipWithMSym0 (a1 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c]))) Source #
Instances
SApplicative m => SingI (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) Source # | |
SuppressUnusedWarnings (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) (a6989586621680354953 :: a ~> (b ~> m c)) Source # | |
Defined in Control.Monad.Singletons |
data ZipWithMSym1 (a6989586621680354953 :: a ~> (b ~> m c)) (b1 :: TyFun [a] ([b] ~> m [c])) Source #
Instances
SApplicative m => SingI1 (ZipWithMSym1 :: (a ~> (b ~> m c)) -> TyFun [a] ([b] ~> m [c]) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
(SApplicative m, SingI d) => SingI (ZipWithMSym1 d :: TyFun [a] ([b] ~> m [c]) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods sing :: Sing (ZipWithMSym1 d) # | |
SuppressUnusedWarnings (ZipWithMSym1 a6989586621680354953 :: TyFun [a] ([b] ~> m [c]) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (ZipWithMSym1 a6989586621680354953 :: TyFun [a] ([b] ~> m [c]) -> Type) (a6989586621680354954 :: [a]) Source # | |
Defined in Control.Monad.Singletons type Apply (ZipWithMSym1 a6989586621680354953 :: TyFun [a] ([b] ~> m [c]) -> Type) (a6989586621680354954 :: [a]) = ZipWithMSym2 a6989586621680354953 a6989586621680354954 |
data ZipWithMSym2 (a6989586621680354953 :: a ~> (b ~> m c)) (a6989586621680354954 :: [a]) (c1 :: TyFun [b] (m [c])) Source #
Instances
(SApplicative m, SingI d) => SingI1 (ZipWithMSym2 d :: [a] -> TyFun [b] (m [c]) -> Type) Source # | |
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 # | |
Defined in Control.Monad.Singletons | |
(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithMSym2 d1 d2 :: TyFun [b] (m [c]) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods sing :: Sing (ZipWithMSym2 d1 d2) # | |
SuppressUnusedWarnings (ZipWithMSym2 a6989586621680354953 a6989586621680354954 :: TyFun [b] (m [c]) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (ZipWithMSym2 a6989586621680354953 a6989586621680354954 :: TyFun [b] (m [c]) -> Type) (a6989586621680354955 :: [b]) Source # | |
Defined in Control.Monad.Singletons type Apply (ZipWithMSym2 a6989586621680354953 a6989586621680354954 :: TyFun [b] (m [c]) -> Type) (a6989586621680354955 :: [b]) = ZipWithM a6989586621680354953 a6989586621680354954 a6989586621680354955 |
type family ZipWithMSym3 (a6989586621680354953 :: a ~> (b ~> m c)) (a6989586621680354954 :: [a]) (a6989586621680354955 :: [b]) :: m [c] where ... Source #
Equations
ZipWithMSym3 (a6989586621680354953 :: a ~> (b ~> m c)) (a6989586621680354954 :: [a]) (a6989586621680354955 :: [b]) = ZipWithM a6989586621680354953 a6989586621680354954 a6989586621680354955 |
data ZipWithM_Sym0 (a1 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ()))) Source #
Instances
SApplicative m => SingI (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) Source # | |
SuppressUnusedWarnings (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) (a6989586621680354943 :: a ~> (b ~> m c)) Source # | |
Defined in Control.Monad.Singletons |
data ZipWithM_Sym1 (a6989586621680354943 :: a ~> (b ~> m c)) (b1 :: TyFun [a] ([b] ~> m ())) Source #
Instances
SApplicative m => SingI1 (ZipWithM_Sym1 :: (a ~> (b ~> m c)) -> TyFun [a] ([b] ~> m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
(SApplicative m, SingI d) => SingI (ZipWithM_Sym1 d :: TyFun [a] ([b] ~> m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods sing :: Sing (ZipWithM_Sym1 d) # | |
SuppressUnusedWarnings (ZipWithM_Sym1 a6989586621680354943 :: TyFun [a] ([b] ~> m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (ZipWithM_Sym1 a6989586621680354943 :: TyFun [a] ([b] ~> m ()) -> Type) (a6989586621680354944 :: [a]) Source # | |
Defined in Control.Monad.Singletons type Apply (ZipWithM_Sym1 a6989586621680354943 :: TyFun [a] ([b] ~> m ()) -> Type) (a6989586621680354944 :: [a]) = ZipWithM_Sym2 a6989586621680354943 a6989586621680354944 |
data ZipWithM_Sym2 (a6989586621680354943 :: a ~> (b ~> m c)) (a6989586621680354944 :: [a]) (c1 :: TyFun [b] (m ())) Source #
Instances
(SApplicative m, SingI d) => SingI1 (ZipWithM_Sym2 d :: [a] -> TyFun [b] (m ()) -> Type) Source # | |
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 # | |
Defined in Control.Monad.Singletons | |
(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithM_Sym2 d1 d2 :: TyFun [b] (m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods sing :: Sing (ZipWithM_Sym2 d1 d2) # | |
SuppressUnusedWarnings (ZipWithM_Sym2 a6989586621680354943 a6989586621680354944 :: TyFun [b] (m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (ZipWithM_Sym2 a6989586621680354943 a6989586621680354944 :: TyFun [b] (m ()) -> Type) (a6989586621680354945 :: [b]) Source # | |
Defined in Control.Monad.Singletons type Apply (ZipWithM_Sym2 a6989586621680354943 a6989586621680354944 :: TyFun [b] (m ()) -> Type) (a6989586621680354945 :: [b]) = ZipWithM_ a6989586621680354943 a6989586621680354944 a6989586621680354945 |
type family ZipWithM_Sym3 (a6989586621680354943 :: a ~> (b ~> m c)) (a6989586621680354944 :: [a]) (a6989586621680354945 :: [b]) :: m () where ... Source #
Equations
ZipWithM_Sym3 (a6989586621680354943 :: a ~> (b ~> m c)) (a6989586621680354944 :: [a]) (a6989586621680354945 :: [b]) = ZipWithM_ a6989586621680354943 a6989586621680354944 a6989586621680354945 |
data FoldlMSym0 (a1 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b))) Source #
Instances
(SFoldable t, SMonad m) => SingI (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) Source # | |
SuppressUnusedWarnings (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) Source # | |
Defined in Data.Foldable.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) (a6989586621679922477 :: b ~> (a ~> m b)) Source # | |
Defined in Data.Foldable.Singletons |
data FoldlMSym1 (a6989586621679922477 :: b ~> (a ~> m b)) (b1 :: TyFun b (t a ~> m b)) Source #
Instances
(SFoldable t, SMonad m) => SingI1 (FoldlMSym1 :: (b ~> (a ~> m b)) -> TyFun b (t a ~> m b) -> Type) Source # | |
(SFoldable t, SMonad m, SingI d) => SingI (FoldlMSym1 d :: TyFun b (t a ~> m b) -> Type) Source # | |
Defined in Data.Foldable.Singletons | |
SuppressUnusedWarnings (FoldlMSym1 a6989586621679922477 :: TyFun b (t a ~> m b) -> Type) Source # | |
Defined in Data.Foldable.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (FoldlMSym1 a6989586621679922477 :: TyFun b (t a ~> m b) -> Type) (a6989586621679922478 :: b) Source # | |
Defined in Data.Foldable.Singletons type Apply (FoldlMSym1 a6989586621679922477 :: TyFun b (t a ~> m b) -> Type) (a6989586621679922478 :: b) = FoldlMSym2 a6989586621679922477 a6989586621679922478 :: TyFun (t a) (m b) -> Type |
data FoldlMSym2 (a6989586621679922477 :: b ~> (a ~> m b)) (a6989586621679922478 :: b) (c :: TyFun (t a) (m b)) Source #
Instances
(SFoldable t, SMonad m, SingI d) => SingI1 (FoldlMSym2 d :: b -> TyFun (t a) (m b) -> Type) Source # | |
Defined in Data.Foldable.Singletons | |
(SFoldable t, SMonad m) => SingI2 (FoldlMSym2 :: (b ~> (a ~> m b)) -> b -> TyFun (t a) (m b) -> Type) Source # | |
(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldlMSym2 d1 d2 :: TyFun (t a) (m b) -> Type) Source # | |
Defined in Data.Foldable.Singletons | |
SuppressUnusedWarnings (FoldlMSym2 a6989586621679922477 a6989586621679922478 :: TyFun (t a) (m b) -> Type) Source # | |
Defined in Data.Foldable.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (FoldlMSym2 a6989586621679922477 a6989586621679922478 :: TyFun (t a) (m b) -> Type) (a6989586621679922479 :: t a) Source # | |
Defined in Data.Foldable.Singletons type Apply (FoldlMSym2 a6989586621679922477 a6989586621679922478 :: TyFun (t a) (m b) -> Type) (a6989586621679922479 :: t a) = FoldlM a6989586621679922477 a6989586621679922478 a6989586621679922479 |
type family FoldlMSym3 (a6989586621679922477 :: b ~> (a ~> m b)) (a6989586621679922478 :: b) (a6989586621679922479 :: t a) :: m b where ... Source #
Equations
FoldlMSym3 (a6989586621679922477 :: b ~> (a ~> m b)) (a6989586621679922478 :: b) (a6989586621679922479 :: t a) = FoldlM a6989586621679922477 a6989586621679922478 a6989586621679922479 |
data ReplicateMSym0 (a1 :: TyFun Natural (m a ~> m [a])) Source #
Instances
SApplicative m => SingI (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) (a6989586621680354894 :: Natural) Source # | |
Defined in Control.Monad.Singletons type Apply (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) (a6989586621680354894 :: Natural) = ReplicateMSym1 a6989586621680354894 :: TyFun (m a) (m [a]) -> Type |
data ReplicateMSym1 (a6989586621680354894 :: Natural) (b :: TyFun (m a) (m [a])) Source #
Instances
SApplicative m => SingI1 (ReplicateMSym1 :: Natural -> TyFun (m a) (m [a]) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
(SApplicative m, SingI d) => SingI (ReplicateMSym1 d :: TyFun (m a) (m [a]) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings (ReplicateMSym1 a6989586621680354894 :: TyFun (m a) (m [a]) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (ReplicateMSym1 a6989586621680354894 :: TyFun (m a) (m [a]) -> Type) (a6989586621680354895 :: m a) Source # | |
Defined in Control.Monad.Singletons type Apply (ReplicateMSym1 a6989586621680354894 :: TyFun (m a) (m [a]) -> Type) (a6989586621680354895 :: m a) = ReplicateM a6989586621680354894 a6989586621680354895 |
type family ReplicateMSym2 (a6989586621680354894 :: Natural) (a6989586621680354895 :: m a) :: m [a] where ... Source #
Equations
ReplicateMSym2 a6989586621680354894 (a6989586621680354895 :: m a) = ReplicateM a6989586621680354894 a6989586621680354895 |
data ReplicateM_Sym0 (a1 :: TyFun Natural (m a ~> m ())) Source #
Instances
SApplicative m => SingI (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) (a6989586621680354872 :: Natural) Source # | |
Defined in Control.Monad.Singletons type Apply (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) (a6989586621680354872 :: Natural) = ReplicateM_Sym1 a6989586621680354872 :: TyFun (m a) (m ()) -> Type |
data ReplicateM_Sym1 (a6989586621680354872 :: Natural) (b :: TyFun (m a) (m ())) Source #
Instances
SApplicative m => SingI1 (ReplicateM_Sym1 :: Natural -> TyFun (m a) (m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
(SApplicative m, SingI d) => SingI (ReplicateM_Sym1 d :: TyFun (m a) (m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings (ReplicateM_Sym1 a6989586621680354872 :: TyFun (m a) (m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (ReplicateM_Sym1 a6989586621680354872 :: TyFun (m a) (m ()) -> Type) (a6989586621680354873 :: m a) Source # | |
Defined in Control.Monad.Singletons type Apply (ReplicateM_Sym1 a6989586621680354872 :: TyFun (m a) (m ()) -> Type) (a6989586621680354873 :: m a) = ReplicateM_ a6989586621680354872 a6989586621680354873 |
type family ReplicateM_Sym2 (a6989586621680354872 :: Natural) (a6989586621680354873 :: m a) :: m () where ... Source #
Equations
ReplicateM_Sym2 a6989586621680354872 (a6989586621680354873 :: m a) = ReplicateM_ a6989586621680354872 a6989586621680354873 |
data GuardSym0 (a :: TyFun Bool (f ())) Source #
Instances
SAlternative f => SingI (GuardSym0 :: TyFun Bool (f ()) -> Type) Source # | |
SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f ()) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (GuardSym0 :: TyFun Bool (f ()) -> Type) (a6989586621679270986 :: Bool) Source # | |
data WhenSym0 (a :: TyFun Bool (f () ~> f ())) Source #
Instances
SApplicative f => SingI (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source # | |
SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) (a6989586621679271164 :: Bool) Source # | |
data WhenSym1 (a6989586621679271164 :: Bool) (b :: TyFun (f ()) (f ())) Source #
Instances
SApplicative f => SingI1 (WhenSym1 :: Bool -> TyFun (f ()) (f ()) -> Type) Source # | |
(SApplicative f, SingI d) => SingI (WhenSym1 d :: TyFun (f ()) (f ()) -> Type) Source # | |
SuppressUnusedWarnings (WhenSym1 a6989586621679271164 :: TyFun (f ()) (f ()) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (WhenSym1 a6989586621679271164 :: TyFun (f ()) (f ()) -> Type) (a6989586621679271165 :: f ()) Source # | |
type family WhenSym2 (a6989586621679271164 :: Bool) (a6989586621679271165 :: f ()) :: f () where ... Source #
data UnlessSym0 (a :: TyFun Bool (f () ~> f ())) Source #
Instances
SApplicative f => SingI (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) (a6989586621680354860 :: Bool) Source # | |
Defined in Control.Monad.Singletons type Apply (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) (a6989586621680354860 :: Bool) = UnlessSym1 a6989586621680354860 :: TyFun (f ()) (f ()) -> Type |
data UnlessSym1 (a6989586621680354860 :: Bool) (b :: TyFun (f ()) (f ())) Source #
Instances
SApplicative f => SingI1 (UnlessSym1 :: Bool -> TyFun (f ()) (f ()) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
(SApplicative f, SingI d) => SingI (UnlessSym1 d :: TyFun (f ()) (f ()) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings (UnlessSym1 a6989586621680354860 :: TyFun (f ()) (f ()) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply (UnlessSym1 a6989586621680354860 :: TyFun (f ()) (f ()) -> Type) (a6989586621680354861 :: f ()) Source # | |
Defined in Control.Monad.Singletons type Apply (UnlessSym1 a6989586621680354860 :: TyFun (f ()) (f ()) -> Type) (a6989586621680354861 :: f ()) = Unless a6989586621680354860 a6989586621680354861 |
type family UnlessSym2 (a6989586621680354860 :: Bool) (a6989586621680354861 :: f ()) :: f () where ... Source #
Equations
UnlessSym2 a6989586621680354860 (a6989586621680354861 :: f ()) = Unless a6989586621680354860 a6989586621680354861 |
data LiftMSym0 (a :: TyFun (a1 ~> r) (m a1 ~> m r)) Source #
Instances
SMonad m => SingI (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) Source # | |
SuppressUnusedWarnings (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) (a6989586621679271151 :: a1 ~> r) Source # | |
data LiftMSym1 (a6989586621679271151 :: a1 ~> r) (b :: TyFun (m a1) (m r)) Source #
Instances
SMonad m => SingI1 (LiftMSym1 :: (a1 ~> r) -> TyFun (m a1) (m r) -> Type) Source # | |
(SMonad m, SingI d) => SingI (LiftMSym1 d :: TyFun (m a1) (m r) -> Type) Source # | |
SuppressUnusedWarnings (LiftMSym1 a6989586621679271151 :: TyFun (m a1) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftMSym1 a6989586621679271151 :: TyFun (m a1) (m r) -> Type) (a6989586621679271152 :: m a1) Source # | |
type family LiftMSym2 (a6989586621679271151 :: a1 ~> r) (a6989586621679271152 :: m a1) :: m r where ... Source #
data LiftM2Sym0 (a :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r))) Source #
Instances
SMonad m => SingI (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) Source # | |
SuppressUnusedWarnings (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) (a6989586621679271130 :: a1 ~> (a2 ~> r)) Source # | |
Defined in Control.Monad.Singletons.Internal |
data LiftM2Sym1 (a6989586621679271130 :: a1 ~> (a2 ~> r)) (b :: TyFun (m a1) (m a2 ~> m r)) Source #
Instances
SMonad m => SingI1 (LiftM2Sym1 :: (a1 ~> (a2 ~> r)) -> TyFun (m a1) (m a2 ~> m r) -> Type) Source # | |
(SMonad m, SingI d) => SingI (LiftM2Sym1 d :: TyFun (m a1) (m a2 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
SuppressUnusedWarnings (LiftM2Sym1 a6989586621679271130 :: TyFun (m a1) (m a2 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM2Sym1 a6989586621679271130 :: TyFun (m a1) (m a2 ~> m r) -> Type) (a6989586621679271131 :: m a1) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM2Sym1 a6989586621679271130 :: TyFun (m a1) (m a2 ~> m r) -> Type) (a6989586621679271131 :: m a1) = LiftM2Sym2 a6989586621679271130 a6989586621679271131 |
data LiftM2Sym2 (a6989586621679271130 :: a1 ~> (a2 ~> r)) (a6989586621679271131 :: m a1) (c :: TyFun (m a2) (m r)) Source #
Instances
(SMonad m, SingI d) => SingI1 (LiftM2Sym2 d :: m a1 -> TyFun (m a2) (m r) -> Type) Source # | |
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 # | |
Defined in Control.Monad.Singletons.Internal | |
(SMonad m, SingI d1, SingI d2) => SingI (LiftM2Sym2 d1 d2 :: TyFun (m a2) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM2Sym2 d1 d2) # | |
SuppressUnusedWarnings (LiftM2Sym2 a6989586621679271130 a6989586621679271131 :: TyFun (m a2) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM2Sym2 a6989586621679271130 a6989586621679271131 :: TyFun (m a2) (m r) -> Type) (a6989586621679271132 :: m a2) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM2Sym2 a6989586621679271130 a6989586621679271131 :: TyFun (m a2) (m r) -> Type) (a6989586621679271132 :: m a2) = LiftM2 a6989586621679271130 a6989586621679271131 a6989586621679271132 |
type family LiftM2Sym3 (a6989586621679271130 :: a1 ~> (a2 ~> r)) (a6989586621679271131 :: m a1) (a6989586621679271132 :: m a2) :: m r where ... Source #
Equations
LiftM2Sym3 (a6989586621679271130 :: a1 ~> (a2 ~> r)) (a6989586621679271131 :: m a1) (a6989586621679271132 :: m a2) = LiftM2 a6989586621679271130 a6989586621679271131 a6989586621679271132 |
data LiftM3Sym0 (a :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r)))) Source #
Instances
SMonad m => SingI (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) Source # | |
SuppressUnusedWarnings (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) Source # | |
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) (a6989586621679271100 :: a1 ~> (a2 ~> (a3 ~> r))) Source # | |
data LiftM3Sym1 (a6989586621679271100 :: a1 ~> (a2 ~> (a3 ~> r))) (b :: TyFun (m a1) (m a2 ~> (m a3 ~> m r))) Source #
Instances
SMonad m => SingI1 (LiftM3Sym1 :: (a1 ~> (a2 ~> (a3 ~> r))) -> TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) Source # | |
(SMonad m, SingI d) => SingI (LiftM3Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
SuppressUnusedWarnings (LiftM3Sym1 a6989586621679271100 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM3Sym1 a6989586621679271100 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) (a6989586621679271101 :: m a1) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM3Sym1 a6989586621679271100 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) (a6989586621679271101 :: m a1) = LiftM3Sym2 a6989586621679271100 a6989586621679271101 |
data LiftM3Sym2 (a6989586621679271100 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679271101 :: m a1) (c :: TyFun (m a2) (m a3 ~> m r)) Source #
Instances
(SMonad m, SingI d) => SingI1 (LiftM3Sym2 d :: m a1 -> TyFun (m a2) (m a3 ~> m r) -> Type) Source # | |
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 # | |
Defined in Control.Monad.Singletons.Internal | |
(SMonad m, SingI d1, SingI d2) => SingI (LiftM3Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM3Sym2 d1 d2) # | |
SuppressUnusedWarnings (LiftM3Sym2 a6989586621679271100 a6989586621679271101 :: TyFun (m a2) (m a3 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM3Sym2 a6989586621679271100 a6989586621679271101 :: TyFun (m a2) (m a3 ~> m r) -> Type) (a6989586621679271102 :: m a2) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM3Sym2 a6989586621679271100 a6989586621679271101 :: TyFun (m a2) (m a3 ~> m r) -> Type) (a6989586621679271102 :: m a2) = LiftM3Sym3 a6989586621679271100 a6989586621679271101 a6989586621679271102 |
data LiftM3Sym3 (a6989586621679271100 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679271101 :: m a1) (a6989586621679271102 :: m a2) (d :: TyFun (m a3) (m r)) Source #
Instances
(SMonad m, SingI d) => SingI2 (LiftM3Sym3 d :: m a1 -> m a2 -> TyFun (m a3) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
(SMonad m, SingI d1, SingI d2) => SingI1 (LiftM3Sym3 d1 d2 :: m a2 -> TyFun (m a3) (m r) -> Type) Source # | |
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 # | |
Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM3Sym3 d1 d2 d3) # | |
SuppressUnusedWarnings (LiftM3Sym3 a6989586621679271100 a6989586621679271101 a6989586621679271102 :: TyFun (m a3) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM3Sym3 a6989586621679271100 a6989586621679271101 a6989586621679271102 :: TyFun (m a3) (m r) -> Type) (a6989586621679271103 :: m a3) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM3Sym3 a6989586621679271100 a6989586621679271101 a6989586621679271102 :: TyFun (m a3) (m r) -> Type) (a6989586621679271103 :: m a3) = LiftM3 a6989586621679271100 a6989586621679271101 a6989586621679271102 a6989586621679271103 |
type family LiftM3Sym4 (a6989586621679271100 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679271101 :: m a1) (a6989586621679271102 :: m a2) (a6989586621679271103 :: m a3) :: m r where ... Source #
Equations
LiftM3Sym4 (a6989586621679271100 :: a1 ~> (a2 ~> (a3 ~> r))) (a6989586621679271101 :: m a1) (a6989586621679271102 :: m a2) (a6989586621679271103 :: m a3) = LiftM3 a6989586621679271100 a6989586621679271101 a6989586621679271102 a6989586621679271103 |
data LiftM4Sym0 (a :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r))))) Source #
Instances
SMonad m => SingI (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) Source # | |
SuppressUnusedWarnings (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) Source # | |
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) (a6989586621679271061 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) Source # | |
Defined in Control.Monad.Singletons.Internal |
data LiftM4Sym1 (a6989586621679271061 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (b :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r)))) Source #
Instances
SMonad m => SingI1 (LiftM4Sym1 :: (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) -> TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) Source # | |
(SMonad m, SingI d) => SingI (LiftM4Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
SuppressUnusedWarnings (LiftM4Sym1 a6989586621679271061 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM4Sym1 a6989586621679271061 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) (a6989586621679271062 :: m a1) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM4Sym1 a6989586621679271061 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) (a6989586621679271062 :: m a1) = LiftM4Sym2 a6989586621679271061 a6989586621679271062 |
data LiftM4Sym2 (a6989586621679271061 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679271062 :: m a1) (c :: TyFun (m a2) (m a3 ~> (m a4 ~> m r))) Source #
Instances
(SMonad m, SingI d) => SingI1 (LiftM4Sym2 d :: m a1 -> TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source # | |
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 # | |
(SMonad m, SingI d1, SingI d2) => SingI (LiftM4Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM4Sym2 d1 d2) # | |
SuppressUnusedWarnings (LiftM4Sym2 a6989586621679271061 a6989586621679271062 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM4Sym2 a6989586621679271061 a6989586621679271062 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) (a6989586621679271063 :: m a2) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM4Sym2 a6989586621679271061 a6989586621679271062 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) (a6989586621679271063 :: m a2) = LiftM4Sym3 a6989586621679271061 a6989586621679271062 a6989586621679271063 |
data LiftM4Sym3 (a6989586621679271061 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679271062 :: m a1) (a6989586621679271063 :: m a2) (d :: TyFun (m a3) (m a4 ~> m r)) Source #
Instances
(SMonad m, SingI d) => SingI2 (LiftM4Sym3 d :: m a1 -> m a2 -> TyFun (m a3) (m a4 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
(SMonad m, SingI d1, SingI d2) => SingI1 (LiftM4Sym3 d1 d2 :: m a2 -> TyFun (m a3) (m a4 ~> m r) -> Type) Source # | |
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 # | |
Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM4Sym3 d1 d2 d3) # | |
SuppressUnusedWarnings (LiftM4Sym3 a6989586621679271061 a6989586621679271062 a6989586621679271063 :: TyFun (m a3) (m a4 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM4Sym3 a6989586621679271061 a6989586621679271062 a6989586621679271063 :: TyFun (m a3) (m a4 ~> m r) -> Type) (a6989586621679271064 :: m a3) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM4Sym3 a6989586621679271061 a6989586621679271062 a6989586621679271063 :: TyFun (m a3) (m a4 ~> m r) -> Type) (a6989586621679271064 :: m a3) = LiftM4Sym4 a6989586621679271061 a6989586621679271062 a6989586621679271063 a6989586621679271064 |
data LiftM4Sym4 (a6989586621679271061 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679271062 :: m a1) (a6989586621679271063 :: m a2) (a6989586621679271064 :: m a3) (e :: TyFun (m a4) (m r)) Source #
Instances
(SMonad m, SingI d1, SingI d2) => SingI2 (LiftM4Sym4 d1 d2 :: m a2 -> m a3 -> TyFun (m a4) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
(SMonad m, SingI d1, SingI d2, SingI d3) => SingI1 (LiftM4Sym4 d1 d2 d3 :: m a3 -> TyFun (m a4) (m r) -> Type) Source # | |
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 # | |
Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM4Sym4 d1 d2 d3 d4) # | |
SuppressUnusedWarnings (LiftM4Sym4 a6989586621679271061 a6989586621679271062 a6989586621679271063 a6989586621679271064 :: TyFun (m a4) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM4Sym4 a6989586621679271061 a6989586621679271062 a6989586621679271063 a6989586621679271064 :: TyFun (m a4) (m r) -> Type) (a6989586621679271065 :: m a4) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM4Sym4 a6989586621679271061 a6989586621679271062 a6989586621679271063 a6989586621679271064 :: TyFun (m a4) (m r) -> Type) (a6989586621679271065 :: m a4) = LiftM4 a6989586621679271061 a6989586621679271062 a6989586621679271063 a6989586621679271064 a6989586621679271065 |
type family LiftM4Sym5 (a6989586621679271061 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679271062 :: m a1) (a6989586621679271063 :: m a2) (a6989586621679271064 :: m a3) (a6989586621679271065 :: m a4) :: m r where ... Source #
Equations
LiftM4Sym5 (a6989586621679271061 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (a6989586621679271062 :: m a1) (a6989586621679271063 :: m a2) (a6989586621679271064 :: m a3) (a6989586621679271065 :: m a4) = LiftM4 a6989586621679271061 a6989586621679271062 a6989586621679271063 a6989586621679271064 a6989586621679271065 |
data LiftM5Sym0 (a :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))))) Source #
Instances
SMonad m => SingI (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) Source # | |
SuppressUnusedWarnings (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) Source # | |
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) (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) Source # | |
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) (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) = LiftM5Sym1 a6989586621679271013 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type |
data LiftM5Sym1 (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (b :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) Source #
Instances
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 # | |
(SMonad m, SingI d) => SingI (LiftM5Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) Source # | |
SuppressUnusedWarnings (LiftM5Sym1 a6989586621679271013 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM5Sym1 a6989586621679271013 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) (a6989586621679271014 :: m a1) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym1 a6989586621679271013 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) (a6989586621679271014 :: m a1) = LiftM5Sym2 a6989586621679271013 a6989586621679271014 |
data LiftM5Sym2 (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679271014 :: m a1) (c :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r)))) Source #
Instances
(SMonad m, SingI d) => SingI1 (LiftM5Sym2 d :: m a1 -> TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source # | |
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 # | |
(SMonad m, SingI d1, SingI d2) => SingI (LiftM5Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM5Sym2 d1 d2) # | |
SuppressUnusedWarnings (LiftM5Sym2 a6989586621679271013 a6989586621679271014 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM5Sym2 a6989586621679271013 a6989586621679271014 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) (a6989586621679271015 :: m a2) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym2 a6989586621679271013 a6989586621679271014 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) (a6989586621679271015 :: m a2) = LiftM5Sym3 a6989586621679271013 a6989586621679271014 a6989586621679271015 |
data LiftM5Sym3 (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679271014 :: m a1) (a6989586621679271015 :: m a2) (d :: TyFun (m a3) (m a4 ~> (m a5 ~> m r))) Source #
Instances
(SMonad m, SingI d) => SingI2 (LiftM5Sym3 d :: m a1 -> m a2 -> TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
(SMonad m, SingI d1, SingI d2) => SingI1 (LiftM5Sym3 d1 d2 :: m a2 -> TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source # | |
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 # | |
Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM5Sym3 d1 d2 d3) # | |
SuppressUnusedWarnings (LiftM5Sym3 a6989586621679271013 a6989586621679271014 a6989586621679271015 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM5Sym3 a6989586621679271013 a6989586621679271014 a6989586621679271015 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) (a6989586621679271016 :: m a3) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym3 a6989586621679271013 a6989586621679271014 a6989586621679271015 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) (a6989586621679271016 :: m a3) = LiftM5Sym4 a6989586621679271013 a6989586621679271014 a6989586621679271015 a6989586621679271016 |
data LiftM5Sym4 (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679271014 :: m a1) (a6989586621679271015 :: m a2) (a6989586621679271016 :: m a3) (e :: TyFun (m a4) (m a5 ~> m r)) Source #
Instances
(SMonad m, SingI d1, SingI d2) => SingI2 (LiftM5Sym4 d1 d2 :: m a2 -> m a3 -> TyFun (m a4) (m a5 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
(SMonad m, SingI d1, SingI d2, SingI d3) => SingI1 (LiftM5Sym4 d1 d2 d3 :: m a3 -> TyFun (m a4) (m a5 ~> m r) -> Type) Source # | |
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 # | |
Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM5Sym4 d1 d2 d3 d4) # | |
SuppressUnusedWarnings (LiftM5Sym4 a6989586621679271013 a6989586621679271014 a6989586621679271015 a6989586621679271016 :: TyFun (m a4) (m a5 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM5Sym4 a6989586621679271013 a6989586621679271014 a6989586621679271015 a6989586621679271016 :: TyFun (m a4) (m a5 ~> m r) -> Type) (a6989586621679271017 :: m a4) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym4 a6989586621679271013 a6989586621679271014 a6989586621679271015 a6989586621679271016 :: TyFun (m a4) (m a5 ~> m r) -> Type) (a6989586621679271017 :: m a4) = LiftM5Sym5 a6989586621679271013 a6989586621679271014 a6989586621679271015 a6989586621679271016 a6989586621679271017 |
data LiftM5Sym5 (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679271014 :: m a1) (a6989586621679271015 :: m a2) (a6989586621679271016 :: m a3) (a6989586621679271017 :: m a4) (f :: TyFun (m a5) (m r)) Source #
Instances
(SMonad m, SingI d1, SingI d2, SingI d3) => SingI2 (LiftM5Sym5 d1 d2 d3 :: m a3 -> m a4 -> TyFun (m a5) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
(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 # | |
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 # | |
Defined in Control.Monad.Singletons.Internal Methods sing :: Sing (LiftM5Sym5 d1 d2 d3 d4 d5) # | |
SuppressUnusedWarnings (LiftM5Sym5 a6989586621679271013 a6989586621679271014 a6989586621679271015 a6989586621679271016 a6989586621679271017 :: TyFun (m a5) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (LiftM5Sym5 a6989586621679271013 a6989586621679271014 a6989586621679271015 a6989586621679271016 a6989586621679271017 :: TyFun (m a5) (m r) -> Type) (a6989586621679271018 :: m a5) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym5 a6989586621679271013 a6989586621679271014 a6989586621679271015 a6989586621679271016 a6989586621679271017 :: TyFun (m a5) (m r) -> Type) (a6989586621679271018 :: m a5) = LiftM5 a6989586621679271013 a6989586621679271014 a6989586621679271015 a6989586621679271016 a6989586621679271017 a6989586621679271018 |
type family LiftM5Sym6 (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679271014 :: m a1) (a6989586621679271015 :: m a2) (a6989586621679271016 :: m a3) (a6989586621679271017 :: m a4) (a6989586621679271018 :: m a5) :: m r where ... Source #
Equations
LiftM5Sym6 (a6989586621679271013 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (a6989586621679271014 :: m a1) (a6989586621679271015 :: m a2) (a6989586621679271016 :: m a3) (a6989586621679271017 :: m a4) (a6989586621679271018 :: m a5) = LiftM5 a6989586621679271013 a6989586621679271014 a6989586621679271015 a6989586621679271016 a6989586621679271017 a6989586621679271018 |
data ApSym0 (a1 :: TyFun (m (a ~> b)) (m a ~> m b)) Source #
Instances
SMonad m => SingI (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) Source # | |
SuppressUnusedWarnings (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) (a6989586621679270990 :: m (a ~> b)) Source # | |
data ApSym1 (a6989586621679270990 :: m (a ~> b)) (b1 :: TyFun (m a) (m b)) Source #
Instances
SMonad m => SingI1 (ApSym1 :: m (a ~> b) -> TyFun (m a) (m b) -> Type) Source # | |
(SMonad m, SingI d) => SingI (ApSym1 d :: TyFun (m a) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
SuppressUnusedWarnings (ApSym1 a6989586621679270990 :: TyFun (m a) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal Methods suppressUnusedWarnings :: () # | |
type Apply (ApSym1 a6989586621679270990 :: TyFun (m a) (m b) -> Type) (a6989586621679270991 :: m a) Source # | |
type family ApSym2 (a6989586621679270990 :: m (a ~> b)) (a6989586621679270991 :: m a) :: m b where ... Source #
data (<$!>@#@$) (a1 :: TyFun (a ~> b) (m a ~> m b)) infixl 4 Source #
Instances
SMonad m => SingI ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) (a6989586621680354845 :: a ~> b) Source # | |
Defined in Control.Monad.Singletons type Apply ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) (a6989586621680354845 :: a ~> b) = (<$!>@#@$$) a6989586621680354845 :: TyFun (m a) (m b) -> Type |
data (a6989586621680354845 :: a ~> b) <$!>@#@$$ (b1 :: TyFun (m a) (m b)) infixl 4 Source #
Instances
SMonad m => SingI1 ((<$!>@#@$$) :: (a ~> b) -> TyFun (m a) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
(SMonad m, SingI d) => SingI ((<$!>@#@$$) d :: TyFun (m a) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
SuppressUnusedWarnings ((<$!>@#@$$) a6989586621680354845 :: TyFun (m a) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons Methods suppressUnusedWarnings :: () # | |
type Apply ((<$!>@#@$$) a6989586621680354845 :: TyFun (m a) (m b) -> Type) (a6989586621680354846 :: m a) Source # | |
Defined in Control.Monad.Singletons type Apply ((<$!>@#@$$) a6989586621680354845 :: TyFun (m a) (m b) -> Type) (a6989586621680354846 :: m a) = a6989586621680354845 <$!> a6989586621680354846 |
type family (a6989586621680354845 :: a ~> b) <$!>@#@$$$ (a6989586621680354846 :: m a) :: m b where ... infixl 4 Source #
Equations
(a6989586621680354845 :: a ~> b) <$!>@#@$$$ (a6989586621680354846 :: m a) = a6989586621680354845 <$!> a6989586621680354846 |
Orphan instances
PMonad Down Source # | |||||||||||||
Associated Types
| |||||||||||||
SMonad Down Source # | |||||||||||||
PMonad ((,) a) Source # | |||||||||||||
SMonoid a => SMonad ((,) a) Source # | |||||||||||||