Copyright | (C) 2018 Ryan Scott |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | GHC2021 |
Defines the promoted and singled versions of the Monad
type class.
Synopsis
- class PFunctor f where
- class SFunctor f where
- class PMonad m where
- class SApplicative m => SMonad m where
- class PMonadPlus m where
- class (SAlternative m, SMonad m) => SMonadPlus m where
- class PMonadFail m where
- class SMonad m => SMonadFail m where
- type family MapM (arg :: (~>) a (m b)) (arg :: t a) :: m (t b)
- sMapM :: STraversable t => forall (t :: (~>) a (m b)) (t :: t a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t :: m (t b)) :: Type
- type family MapM_ (a :: (~>) a (m b)) (a :: t a) :: m () where ...
- sMapM_ :: forall (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ()) :: Type
- type family ForM (a :: t a) (a :: (~>) a (m b)) :: m (t b) where ...
- sForM :: forall (t :: t a) (t :: (~>) a (m b)). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForMSym0 t) t :: m (t b)) :: Type
- type family Sequence (arg :: t (m a)) :: m (t a)
- sSequence :: STraversable t => forall (t :: t (m a)). SMonad m => Sing t -> Sing (Apply SequenceSym0 t :: m (t a)) :: Type
- type family Sequence_ (a :: t (m a)) :: m () where ...
- sSequence_ :: forall (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ()) :: Type
- type family (a :: (~>) a (m b)) =<< (a :: m a) :: m b where ...
- (%=<<) :: forall (t :: (~>) a (m b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (=<<@#@$) t) t :: m b) :: Type
- type family ((a :: (~>) a (m b)) >=> (a :: (~>) b (m c))) (a :: a) :: m c where ...
- (%>=>) :: forall (t :: (~>) a (m b)) (t :: (~>) b (m c)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (>=>@#@$) t) t) t :: m c) :: Type
- type family ((a :: (~>) b (m c)) <=< (a :: (~>) a (m b))) (a :: a) :: m c where ...
- (%<=<) :: forall (t :: (~>) b (m c)) (t :: (~>) a (m b)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (<=<@#@$) t) t) t :: m c) :: Type
- type family Void (a :: f a) :: f () where ...
- sVoid :: forall (t :: f a). SFunctor f => Sing t -> Sing (Apply VoidSym0 t :: f ()) :: Type
- type family Join (a :: m (m a)) :: m a where ...
- sJoin :: forall (t :: m (m a)). SMonad m => Sing t -> Sing (Apply JoinSym0 t :: m a) :: Type
- type family Msum (a :: t (m a)) :: m a where ...
- sMsum :: forall (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a) :: Type
- type family Mfilter (a :: (~>) a Bool) (a :: m a) :: m a where ...
- sMfilter :: forall (t :: (~>) a Bool) (t :: m a). SMonadPlus m => Sing t -> Sing t -> Sing (Apply (Apply MfilterSym0 t) t :: m a) :: Type
- type family FilterM (a :: (~>) a (m Bool)) (a :: [a]) :: m [a] where ...
- sFilterM :: forall (t :: (~>) a (m Bool)) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply FilterMSym0 t) t :: m [a]) :: Type
- type family MapAndUnzipM (a :: (~>) a (m (b, c))) (a :: [a]) :: m ([b], [c]) where ...
- sMapAndUnzipM :: forall (t :: (~>) a (m (b, c))) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply MapAndUnzipMSym0 t) t :: m ([b], [c])) :: Type
- type family ZipWithM (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m [c] where ...
- sZipWithM :: forall (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithMSym0 t) t) t :: m [c]) :: Type
- type family ZipWithM_ (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m () where ...
- sZipWithM_ :: forall (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithM_Sym0 t) t) t :: m ()) :: Type
- type family FoldlM (a :: (~>) b ((~>) a (m b))) (a :: b) (a :: t a) :: m b where ...
- sFoldlM :: forall (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b) :: Type
- type family ReplicateM (a :: Natural) (a :: m a) :: m [a] where ...
- sReplicateM :: forall m a (t :: Natural) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateMSym0 t) t :: m [a])
- type family ReplicateM_ (a :: Natural) (a :: m a) :: m () where ...
- sReplicateM_ :: forall m a (t :: Natural) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateM_Sym0 t) t :: m ())
- type family Guard (a :: Bool) :: f () where ...
- sGuard :: forall (t :: Bool). SAlternative f => Sing t -> Sing (Apply GuardSym0 t :: f ()) :: Type
- type family When (a :: Bool) (a :: f ()) :: f () where ...
- sWhen :: forall (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply WhenSym0 t) t :: f ()) :: Type
- type family Unless (a :: Bool) (a :: f ()) :: f () where ...
- sUnless :: forall (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply UnlessSym0 t) t :: f ()) :: Type
- type family LiftM (a :: (~>) a1 r) (a :: m a1) :: m r where ...
- sLiftM :: forall (t :: (~>) a1 r) (t :: m a1). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply LiftMSym0 t) t :: m r) :: Type
- type family LiftM2 (a :: (~>) a1 ((~>) a2 r)) (a :: m a1) (a :: m a2) :: m r where ...
- sLiftM2 :: forall (t :: (~>) a1 ((~>) a2 r)) (t :: m a1) (t :: m a2). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftM2Sym0 t) t) t :: m r) :: Type
- type family LiftM3 (a :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a :: m a1) (a :: m a2) (a :: m a3) :: m r where ...
- sLiftM3 :: forall (t :: (~>) a1 ((~>) a2 ((~>) a3 r))) (t :: m a1) (t :: m a2) (t :: m a3). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply LiftM3Sym0 t) t) t) t :: m r) :: Type
- type family LiftM4 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) :: m r where ...
- sLiftM4 :: forall (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply LiftM4Sym0 t) t) t) t) t :: m r) :: Type
- type family LiftM5 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) (a :: m a5) :: m r where ...
- sLiftM5 :: forall (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4) (t :: m a5). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply LiftM5Sym0 t) t) t) t) t) t :: m r) :: Type
- type family Ap (a :: m ((~>) a b)) (a :: m a) :: m b where ...
- sAp :: forall (t :: m ((~>) a b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply ApSym0 t) t :: m b) :: Type
- type family (a :: (~>) a b) <$!> (a :: m a) :: m b where ...
- (%<$!>) :: forall (t :: (~>) a b) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (<$!>@#@$) t) t :: m b) :: Type
- data FmapSym0 :: (~>) ((~>) a b) ((~>) (f a) (f b))
- data FmapSym1 (a6989586621679362307 :: (~>) a b) :: (~>) (f a) (f b)
- type family FmapSym2 (a6989586621679362307 :: (~>) a b) (a6989586621679362308 :: f a) :: f b where ...
- data (>>=@#@$) :: (~>) (m a) ((~>) ((~>) a (m b)) (m b))
- data (>>=@#@$$) (a6989586621679362415 :: m a) :: (~>) ((~>) a (m b)) (m b)
- type family (a6989586621679362415 :: m a) >>=@#@$$$ (a6989586621679362416 :: (~>) a (m b)) :: m b where ...
- data (>>@#@$) :: (~>) (m a) ((~>) (m b) (m b))
- data (>>@#@$$) (a6989586621679362420 :: m a) :: (~>) (m b) (m b)
- type family (a6989586621679362420 :: m a) >>@#@$$$ (a6989586621679362421 :: m b) :: m b where ...
- data ReturnSym0 :: (~>) a (m a)
- type family ReturnSym1 (a6989586621679362424 :: a) :: m a where ...
- data FailSym0 :: (~>) [Char] (m a)
- type family FailSym1 (a6989586621679568497 :: [Char]) :: m a where ...
- type family MzeroSym0 :: m a where ...
- data MplusSym0 :: (~>) (m a) ((~>) (m a) (m a))
- data MplusSym1 (a6989586621679362462 :: m a) :: (~>) (m a) (m a)
- type family MplusSym2 (a6989586621679362462 :: m a) (a6989586621679362463 :: m a) :: m a where ...
- data MapMSym0 :: (~>) ((~>) a (m b)) ((~>) (t a) (m (t b)))
- data MapMSym1 (a6989586621680769821 :: (~>) a (m b)) :: (~>) (t a) (m (t b))
- type family MapMSym2 (a6989586621680769821 :: (~>) a (m b)) (a6989586621680769822 :: t a) :: m (t b) where ...
- data MapM_Sym0 :: (~>) ((~>) a (m b)) ((~>) (t a) (m ()))
- data MapM_Sym1 (a6989586621680416510 :: (~>) a (m b)) :: (~>) (t a) (m ())
- type family MapM_Sym2 (a6989586621680416510 :: (~>) a (m b)) (a6989586621680416511 :: t a) :: m () where ...
- data ForMSym0 :: (~>) (t a) ((~>) ((~>) a (m b)) (m (t b)))
- data ForMSym1 (a6989586621680777423 :: t a) :: (~>) ((~>) a (m b)) (m (t b))
- type family ForMSym2 (a6989586621680777423 :: t a) (a6989586621680777424 :: (~>) a (m b)) :: m (t b) where ...
- data SequenceSym0 :: (~>) (t (m a)) (m (t a))
- type family SequenceSym1 (a6989586621680769825 :: t (m a)) :: m (t a) where ...
- data Sequence_Sym0 :: (~>) (t (m a)) (m ())
- type family Sequence_Sym1 (a6989586621680416486 :: t (m a)) :: m () where ...
- data (=<<@#@$) :: (~>) ((~>) a (m b)) ((~>) (m a) (m b))
- data (=<<@#@$$) (a6989586621679362260 :: (~>) a (m b)) :: (~>) (m a) (m b)
- type family (a6989586621679362260 :: (~>) a (m b)) =<<@#@$$$ (a6989586621679362261 :: m a) :: m b where ...
- data (>=>@#@$) :: (~>) ((~>) a (m b)) ((~>) ((~>) b (m c)) ((~>) a (m c)))
- data (>=>@#@$$) (a6989586621681116283 :: (~>) a (m b)) :: (~>) ((~>) b (m c)) ((~>) a (m c))
- data (a6989586621681116283 :: (~>) a (m b)) >=>@#@$$$ (a6989586621681116284 :: (~>) b (m c)) :: (~>) a (m c)
- data (<=<@#@$) :: (~>) ((~>) b (m c)) ((~>) ((~>) a (m b)) ((~>) a (m c)))
- data (<=<@#@$$) (a6989586621681116271 :: (~>) b (m c)) :: (~>) ((~>) a (m b)) ((~>) a (m c))
- data (a6989586621681116271 :: (~>) b (m c)) <=<@#@$$$ (a6989586621681116272 :: (~>) a (m b)) :: (~>) a (m c)
- data VoidSym0 :: (~>) (f a) (f ())
- type family VoidSym1 (a6989586621679551372 :: f a) :: f () where ...
- data JoinSym0 :: (~>) (m (m a)) (m a)
- type family JoinSym1 (a6989586621679362266 :: m (m a)) :: m a where ...
- data MsumSym0 :: (~>) (t (m a)) (m a)
- type family MsumSym1 (a6989586621680416474 :: t (m a)) :: m a where ...
- data MfilterSym0 :: (~>) ((~>) a Bool) ((~>) (m a) (m a))
- data MfilterSym1 (a6989586621681116136 :: (~>) a Bool) :: (~>) (m a) (m a)
- type family MfilterSym2 (a6989586621681116136 :: (~>) a Bool) (a6989586621681116137 :: m a) :: m a where ...
- data FilterMSym0 :: (~>) ((~>) a (m Bool)) ((~>) [a] (m [a]))
- data FilterMSym1 (a6989586621681116298 :: (~>) a (m Bool)) :: (~>) [a] (m [a])
- type family FilterMSym2 (a6989586621681116298 :: (~>) a (m Bool)) (a6989586621681116299 :: [a]) :: m [a] where ...
- data MapAndUnzipMSym0 :: (~>) ((~>) a (m (b, c))) ((~>) [a] (m ([b], [c])))
- data MapAndUnzipMSym1 (a6989586621681116257 :: (~>) a (m (b, c))) :: (~>) [a] (m ([b], [c]))
- type family MapAndUnzipMSym2 (a6989586621681116257 :: (~>) a (m (b, c))) (a6989586621681116258 :: [a]) :: m ([b], [c]) where ...
- data ZipWithMSym0 :: (~>) ((~>) a ((~>) b (m c))) ((~>) [a] ((~>) [b] (m [c])))
- data ZipWithMSym1 (a6989586621681116248 :: (~>) a ((~>) b (m c))) :: (~>) [a] ((~>) [b] (m [c]))
- data ZipWithMSym2 (a6989586621681116248 :: (~>) a ((~>) b (m c))) (a6989586621681116249 :: [a]) :: (~>) [b] (m [c])
- type family ZipWithMSym3 (a6989586621681116248 :: (~>) a ((~>) b (m c))) (a6989586621681116249 :: [a]) (a6989586621681116250 :: [b]) :: m [c] where ...
- data ZipWithM_Sym0 :: (~>) ((~>) a ((~>) b (m c))) ((~>) [a] ((~>) [b] (m ())))
- data ZipWithM_Sym1 (a6989586621681116238 :: (~>) a ((~>) b (m c))) :: (~>) [a] ((~>) [b] (m ()))
- data ZipWithM_Sym2 (a6989586621681116238 :: (~>) a ((~>) b (m c))) (a6989586621681116239 :: [a]) :: (~>) [b] (m ())
- type family ZipWithM_Sym3 (a6989586621681116238 :: (~>) a ((~>) b (m c))) (a6989586621681116239 :: [a]) (a6989586621681116240 :: [b]) :: m () where ...
- data FoldlMSym0 :: (~>) ((~>) b ((~>) a (m b))) ((~>) b ((~>) (t a) (m b)))
- data FoldlMSym1 (a6989586621680416538 :: (~>) b ((~>) a (m b))) :: (~>) b ((~>) (t a) (m b))
- data FoldlMSym2 (a6989586621680416538 :: (~>) b ((~>) a (m b))) (a6989586621680416539 :: b) :: (~>) (t a) (m b)
- type family FoldlMSym3 (a6989586621680416538 :: (~>) b ((~>) a (m b))) (a6989586621680416539 :: b) (a6989586621680416540 :: t a) :: m b where ...
- data ReplicateMSym0 :: (~>) Natural ((~>) (m a) (m [a]))
- data ReplicateMSym1 (a6989586621681116193 :: Natural) :: (~>) (m a) (m [a])
- type family ReplicateMSym2 (a6989586621681116193 :: Natural) (a6989586621681116194 :: m a) :: m [a] where ...
- data ReplicateM_Sym0 :: (~>) Natural ((~>) (m a) (m ()))
- data ReplicateM_Sym1 (a6989586621681116175 :: Natural) :: (~>) (m a) (m ())
- type family ReplicateM_Sym2 (a6989586621681116175 :: Natural) (a6989586621681116176 :: m a) :: m () where ...
- data GuardSym0 :: (~>) Bool (f ())
- type family GuardSym1 (a6989586621679362106 :: Bool) :: f () where ...
- data WhenSym0 :: (~>) Bool ((~>) (f ()) (f ()))
- data WhenSym1 (a6989586621679362250 :: Bool) :: (~>) (f ()) (f ())
- type family WhenSym2 (a6989586621679362250 :: Bool) (a6989586621679362251 :: f ()) :: f () where ...
- data UnlessSym0 :: (~>) Bool ((~>) (f ()) (f ()))
- data UnlessSym1 (a6989586621681116165 :: Bool) :: (~>) (f ()) (f ())
- type family UnlessSym2 (a6989586621681116165 :: Bool) (a6989586621681116166 :: f ()) :: f () where ...
- data LiftMSym0 :: (~>) ((~>) a1 r) ((~>) (m a1) (m r))
- data LiftMSym1 (a6989586621679362239 :: (~>) a1 r) :: (~>) (m a1) (m r)
- type family LiftMSym2 (a6989586621679362239 :: (~>) a1 r) (a6989586621679362240 :: m a1) :: m r where ...
- data LiftM2Sym0 :: (~>) ((~>) a1 ((~>) a2 r)) ((~>) (m a1) ((~>) (m a2) (m r)))
- data LiftM2Sym1 (a6989586621679362222 :: (~>) a1 ((~>) a2 r)) :: (~>) (m a1) ((~>) (m a2) (m r))
- data LiftM2Sym2 (a6989586621679362222 :: (~>) a1 ((~>) a2 r)) (a6989586621679362223 :: m a1) :: (~>) (m a2) (m r)
- type family LiftM2Sym3 (a6989586621679362222 :: (~>) a1 ((~>) a2 r)) (a6989586621679362223 :: m a1) (a6989586621679362224 :: m a2) :: m r where ...
- data LiftM3Sym0 :: (~>) ((~>) a1 ((~>) a2 ((~>) a3 r))) ((~>) (m a1) ((~>) (m a2) ((~>) (m a3) (m r))))
- data LiftM3Sym1 (a6989586621679362198 :: (~>) a1 ((~>) a2 ((~>) a3 r))) :: (~>) (m a1) ((~>) (m a2) ((~>) (m a3) (m r)))
- data LiftM3Sym2 (a6989586621679362198 :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a6989586621679362199 :: m a1) :: (~>) (m a2) ((~>) (m a3) (m r))
- data LiftM3Sym3 (a6989586621679362198 :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a6989586621679362199 :: m a1) (a6989586621679362200 :: m a2) :: (~>) (m a3) (m r)
- type family LiftM3Sym4 (a6989586621679362198 :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a6989586621679362199 :: m a1) (a6989586621679362200 :: m a2) (a6989586621679362201 :: m a3) :: m r where ...
- data LiftM4Sym0 :: (~>) ((~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) ((~>) (m a1) ((~>) (m a2) ((~>) (m a3) ((~>) (m a4) (m r)))))
- data LiftM4Sym1 (a6989586621679362167 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) :: (~>) (m a1) ((~>) (m a2) ((~>) (m a3) ((~>) (m a4) (m r))))
- data LiftM4Sym2 (a6989586621679362167 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a6989586621679362168 :: m a1) :: (~>) (m a2) ((~>) (m a3) ((~>) (m a4) (m r)))
- data LiftM4Sym3 (a6989586621679362167 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a6989586621679362168 :: m a1) (a6989586621679362169 :: m a2) :: (~>) (m a3) ((~>) (m a4) (m r))
- data LiftM4Sym4 (a6989586621679362167 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a6989586621679362168 :: m a1) (a6989586621679362169 :: m a2) (a6989586621679362170 :: m a3) :: (~>) (m a4) (m r)
- type family LiftM4Sym5 (a6989586621679362167 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a6989586621679362168 :: m a1) (a6989586621679362169 :: m a2) (a6989586621679362170 :: m a3) (a6989586621679362171 :: m a4) :: m r where ...
- data LiftM5Sym0 :: (~>) ((~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) ((~>) (m a1) ((~>) (m a2) ((~>) (m a3) ((~>) (m a4) ((~>) (m a5) (m r))))))
- data LiftM5Sym1 (a6989586621679362129 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) :: (~>) (m a1) ((~>) (m a2) ((~>) (m a3) ((~>) (m a4) ((~>) (m a5) (m r)))))
- data LiftM5Sym2 (a6989586621679362129 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a6989586621679362130 :: m a1) :: (~>) (m a2) ((~>) (m a3) ((~>) (m a4) ((~>) (m a5) (m r))))
- data LiftM5Sym3 (a6989586621679362129 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a6989586621679362130 :: m a1) (a6989586621679362131 :: m a2) :: (~>) (m a3) ((~>) (m a4) ((~>) (m a5) (m r)))
- data LiftM5Sym4 (a6989586621679362129 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a6989586621679362130 :: m a1) (a6989586621679362131 :: m a2) (a6989586621679362132 :: m a3) :: (~>) (m a4) ((~>) (m a5) (m r))
- data LiftM5Sym5 (a6989586621679362129 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a6989586621679362130 :: m a1) (a6989586621679362131 :: m a2) (a6989586621679362132 :: m a3) (a6989586621679362133 :: m a4) :: (~>) (m a5) (m r)
- type family LiftM5Sym6 (a6989586621679362129 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a6989586621679362130 :: m a1) (a6989586621679362131 :: m a2) (a6989586621679362132 :: m a3) (a6989586621679362133 :: m a4) (a6989586621679362134 :: m a5) :: m r where ...
- data ApSym0 :: (~>) (m ((~>) a b)) ((~>) (m a) (m b))
- data ApSym1 (a6989586621679362110 :: m ((~>) a b)) :: (~>) (m a) (m b)
- type family ApSym2 (a6989586621679362110 :: m ((~>) a b)) (a6989586621679362111 :: m a) :: m b where ...
- data (<$!>@#@$) :: (~>) ((~>) a b) ((~>) (m a) (m b))
- data (<$!>@#@$$) (a6989586621681116152 :: (~>) a b) :: (~>) (m a) (m b)
- type family (a6989586621681116152 :: (~>) a b) <$!>@#@$$$ (a6989586621681116153 :: m a) :: m b where ...
Documentation
Instances
PFunctor Identity Source # | |
PFunctor First Source # | |
PFunctor Last Source # | |
PFunctor Down Source # | |
PFunctor First Source # | |
PFunctor Last Source # | |
PFunctor Max Source # | |
PFunctor Min Source # | |
PFunctor Dual Source # | |
PFunctor Product Source # | |
PFunctor Sum Source # | |
PFunctor NonEmpty Source # | |
PFunctor Maybe Source # | |
PFunctor List Source # | |
PFunctor (Either a) Source # | |
PFunctor (Proxy :: Type -> Type) Source # | |
PFunctor (Arg a) Source # | |
PFunctor ((,) a) Source # | |
PFunctor (Const m :: Type -> Type) Source # | |
PFunctor (Product f g) Source # | |
PFunctor (Sum f g) Source # | |
PFunctor (Compose f g) Source # | |
class SFunctor f where Source #
sFmap :: forall (t :: (~>) a b) (t :: f a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t :: f b) :: Type Source #
Instances
SFunctor Identity Source # | |
SFunctor First Source # | |
SFunctor Last Source # | |
SFunctor Down Source # | |
SFunctor First Source # | |
SFunctor Last Source # | |
SFunctor Max Source # | |
SFunctor Min Source # | |
SFunctor Dual Source # | |
SFunctor Product Source # | |
SFunctor Sum Source # | |
SFunctor NonEmpty Source # | |
SFunctor Maybe Source # | |
SFunctor List Source # | |
SFunctor (Either a) Source # | |
SFunctor (Proxy :: Type -> Type) Source # | |
SFunctor (Arg a) 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 # | |
type (arg :: m a) >>= (arg :: (~>) a (m b)) :: m b infixl 1 Source #
Instances
PMonad Identity Source # | |
PMonad First Source # | |
PMonad Last Source # | |
PMonad Down Source # | |
PMonad First Source # | |
PMonad Last Source # | |
PMonad Max Source # | |
PMonad Min Source # | |
PMonad Dual Source # | |
PMonad Product Source # | |
PMonad Sum Source # | |
PMonad NonEmpty Source # | |
PMonad Maybe Source # | |
PMonad List Source # | |
PMonad (Either e) Source # | |
PMonad (Proxy :: Type -> Type) Source # | |
PMonad ((,) a) Source # | |
PMonad (Product f g) Source # | |
class SApplicative m => SMonad m where Source #
(%>>=) :: forall a b (t :: m a) (t :: (~>) a (m b)). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t :: m b) infixl 1 Source #
(%>>) :: forall a b (t :: m a) (t :: m b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t :: m b) infixl 1 Source #
default (%>>) :: forall a b (t :: m a) (t :: m b). (Apply (Apply (>>@#@$) t) t :: m b) ~ Apply (Apply TFHelper_6989586621679362427Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t :: m b) Source #
sReturn :: forall (t :: a). Sing t -> Sing (Apply ReturnSym0 t :: m a) :: Type Source #
Instances
SMonad Identity Source # | |
Defined in Data.Functor.Identity.Singletons (%>>=) :: forall a b (t1 :: Identity a) (t2 :: a ~> Identity b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Identity a) (t2 :: Identity b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad First Source # | |
Defined in Data.Monoid.Singletons (%>>=) :: forall a b (t1 :: First a) (t2 :: a ~> First b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: First a) (t2 :: First b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Last Source # | |
Defined in Data.Monoid.Singletons (%>>=) :: forall a b (t1 :: Last a) (t2 :: a ~> Last b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Last a) (t2 :: Last b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Down Source # | |
Defined in Control.Monad.Singletons (%>>=) :: forall a b (t1 :: Down a) (t2 :: a ~> Down b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Down a) (t2 :: Down b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad First Source # | |
Defined in Data.Semigroup.Singletons (%>>=) :: forall a b (t1 :: First a) (t2 :: a ~> First b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: First a) (t2 :: First b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Last Source # | |
Defined in Data.Semigroup.Singletons (%>>=) :: forall a b (t1 :: Last a) (t2 :: a ~> Last b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Last a) (t2 :: Last b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Max Source # | |
Defined in Data.Semigroup.Singletons (%>>=) :: forall a b (t1 :: Max a) (t2 :: a ~> Max b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Max a) (t2 :: Max b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Min Source # | |
Defined in Data.Semigroup.Singletons (%>>=) :: forall a b (t1 :: Min a) (t2 :: a ~> Min b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Min a) (t2 :: Min b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Dual Source # | |
Defined in Data.Semigroup.Singletons.Internal.Wrappers (%>>=) :: forall a b (t1 :: Dual a) (t2 :: a ~> Dual b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Dual a) (t2 :: Dual b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Product Source # | |
Defined in Data.Semigroup.Singletons.Internal.Wrappers (%>>=) :: forall a b (t1 :: Product a) (t2 :: a ~> Product b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Product a) (t2 :: Product b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Sum Source # | |
Defined in Data.Semigroup.Singletons.Internal.Wrappers (%>>=) :: forall a b (t1 :: Sum a) (t2 :: a ~> Sum b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Sum a) (t2 :: Sum b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad NonEmpty Source # | |
Defined in Control.Monad.Singletons.Internal (%>>=) :: forall a b (t1 :: NonEmpty a) (t2 :: a ~> NonEmpty b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: NonEmpty a) (t2 :: NonEmpty b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Maybe Source # | |
Defined in Control.Monad.Singletons.Internal (%>>=) :: forall a b (t1 :: Maybe a) (t2 :: a ~> Maybe b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Maybe a) (t2 :: Maybe b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad List Source # | |
Defined in Control.Monad.Singletons.Internal (%>>=) :: forall a b (t1 :: [a]) (t2 :: a ~> [b]). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: [a]) (t2 :: [b]). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad (Either e) Source # | |
Defined in Control.Monad.Singletons.Internal (%>>=) :: forall a b (t1 :: Either e a) (t2 :: a ~> Either e b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Either e a) (t2 :: Either e b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad (Proxy :: Type -> Type) Source # | |
Defined in Data.Proxy.Singletons (%>>=) :: forall a b (t1 :: Proxy a) (t2 :: a ~> Proxy b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Proxy a) (t2 :: Proxy b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonoid a => SMonad ((,) a) Source # | |
Defined in Control.Monad.Singletons (%>>=) :: forall a0 b (t1 :: (a, a0)) (t2 :: a0 ~> (a, b)). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a0 b (t1 :: (a, a0)) (t2 :: (a, b)). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a0 (t :: a0). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
(SMonad f, SMonad g) => SMonad (Product f g) Source # | |
Defined in Data.Functor.Product.Singletons (%>>=) :: forall a b (t1 :: Product f g a) (t2 :: a ~> Product f g b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Product f g a) (t2 :: Product f g b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # |
class PMonadPlus m Source #
type Mzero = Mzero_6989586621679362464Sym0
Instances
PMonadPlus Maybe Source # | |
PMonadPlus List Source # | |
PMonadPlus (Proxy :: k -> Type) Source # | |
PMonadPlus (Product f g :: k -> Type) Source # | |
class (SAlternative m, SMonad m) => SMonadPlus m where Source #
Nothing
sMzero :: Sing (MzeroSym0 :: m a) :: Type Source #
default sMzero :: (MzeroSym0 :: m a) ~ Mzero_6989586621679362464Sym0 => Sing (MzeroSym0 :: m a) :: Type Source #
sMplus :: forall (t :: m a) (t :: m a). Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t :: m a) :: Type Source #
Instances
SMonadPlus Maybe Source # | |
SMonadPlus List Source # | |
SMonadPlus (Proxy :: Type -> Type) Source # | |
(SMonadPlus f, SMonadPlus g) => SMonadPlus (Product f g) Source # | |
class PMonadFail m Source #
Instances
PMonadFail Maybe Source # | |
Defined in Control.Monad.Fail.Singletons | |
PMonadFail List Source # | |
Defined in Control.Monad.Fail.Singletons |
class SMonad m => SMonadFail m where Source #
type family MapM (arg :: (~>) a (m b)) (arg :: t a) :: m (t b) Source #
Instances
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 (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 :: 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 :: NonEmpty 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 (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 (arg :: a1 ~> m b) (arg1 :: Arg a2 a1) Source # | |
Defined in Data.Semigroup.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 :: STraversable t => forall (t :: (~>) a (m b)) (t :: t a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t :: m (t b)) :: Type Source #
sMapM_ :: forall (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ()) :: Type Source #
sForM :: forall (t :: t a) (t :: (~>) a (m b)). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForMSym0 t) t :: m (t b)) :: Type Source #
type family Sequence (arg :: t (m a)) :: m (t a) Source #
Instances
sSequence :: STraversable t => forall (t :: t (m a)). SMonad m => Sing t -> Sing (Apply SequenceSym0 t :: m (t a)) :: Type Source #
type family Sequence_ (a :: t (m a)) :: m () where ... Source #
Sequence_ a_6989586621680416482 = Apply (Apply (Apply FoldrSym0 (>>@#@$)) (Apply ReturnSym0 Tuple0Sym0)) a_6989586621680416482 |
sSequence_ :: forall (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ()) :: Type Source #
(%=<<) :: forall (t :: (~>) a (m b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (=<<@#@$) t) t :: m b) :: Type infixr 1 Source #
type family ((a :: (~>) a (m b)) >=> (a :: (~>) b (m c))) (a :: a) :: m c where ... infixr 1 Source #
(%>=>) :: forall (t :: (~>) a (m b)) (t :: (~>) b (m c)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (>=>@#@$) t) t) t :: m c) :: Type infixr 1 Source #
type family ((a :: (~>) b (m c)) <=< (a :: (~>) a (m b))) (a :: a) :: m c where ... infixr 1 Source #
(%<=<) :: forall (t :: (~>) b (m c)) (t :: (~>) a (m b)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (<=<@#@$) t) t) t :: m c) :: Type infixr 1 Source #
sVoid :: forall (t :: f a). SFunctor f => Sing t -> Sing (Apply VoidSym0 t :: f ()) :: Type Source #
sJoin :: forall (t :: m (m a)). SMonad m => Sing t -> Sing (Apply JoinSym0 t :: m a) :: Type Source #
sMsum :: forall (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a) :: Type Source #
sMfilter :: forall (t :: (~>) a Bool) (t :: m a). SMonadPlus m => Sing t -> Sing t -> Sing (Apply (Apply MfilterSym0 t) t :: m a) :: Type Source #
sFilterM :: forall (t :: (~>) a (m Bool)) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply FilterMSym0 t) t :: m [a]) :: Type Source #
type family MapAndUnzipM (a :: (~>) a (m (b, c))) (a :: [a]) :: m ([b], [c]) where ... Source #
MapAndUnzipM f xs = Apply (Apply (<$>@#@$) UnzipSym0) (Apply (Apply TraverseSym0 f) xs) |
sMapAndUnzipM :: forall (t :: (~>) a (m (b, c))) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply MapAndUnzipMSym0 t) t :: m ([b], [c])) :: Type Source #
type family ZipWithM (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m [c] where ... Source #
ZipWithM f xs ys = Apply SequenceASym0 (Apply (Apply (Apply ZipWithSym0 f) xs) ys) |
sZipWithM :: forall (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithMSym0 t) t) t :: m [c]) :: Type Source #
type family ZipWithM_ (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m () where ... Source #
ZipWithM_ f xs ys = Apply SequenceA_Sym0 (Apply (Apply (Apply ZipWithSym0 f) xs) ys) |
sZipWithM_ :: forall (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithM_Sym0 t) t) t :: m ()) :: Type Source #
sFoldlM :: forall (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b) :: Type Source #
type family ReplicateM (a :: Natural) (a :: m a) :: m [a] where ... Source #
ReplicateM cnt0 f = Apply (Let6989586621681116197LoopSym2 cnt0 f) cnt0 |
sReplicateM :: forall m a (t :: Natural) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateMSym0 t) t :: m [a]) Source #
type family ReplicateM_ (a :: Natural) (a :: m a) :: m () where ... Source #
ReplicateM_ cnt0 f = Apply (Let6989586621681116179LoopSym2 cnt0 f) cnt0 |
sReplicateM_ :: forall m a (t :: Natural) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateM_Sym0 t) t :: m ()) Source #
sGuard :: forall (t :: Bool). SAlternative f => Sing t -> Sing (Apply GuardSym0 t :: f ()) :: Type Source #
type family When (a :: Bool) (a :: f ()) :: f () where ... Source #
When p s = Case_6989586621679362254 p s p |
sWhen :: forall (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply WhenSym0 t) t :: f ()) :: Type Source #
type family Unless (a :: Bool) (a :: f ()) :: f () where ... Source #
Unless p s = Case_6989586621681116169 p s p |
sUnless :: forall (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply UnlessSym0 t) t :: f ()) :: Type Source #
sLiftM :: forall (t :: (~>) a1 r) (t :: m a1). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply LiftMSym0 t) t :: m r) :: Type Source #
sLiftM2 :: forall (t :: (~>) a1 ((~>) a2 r)) (t :: m a1) (t :: m a2). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftM2Sym0 t) t) t :: m r) :: Type Source #
type family LiftM3 (a :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a :: m a1) (a :: m a2) (a :: m a3) :: m r where ... Source #
sLiftM3 :: forall (t :: (~>) a1 ((~>) a2 ((~>) a3 r))) (t :: m a1) (t :: m a2) (t :: m a3). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply LiftM3Sym0 t) t) t) t :: m r) :: Type Source #
type family LiftM4 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) :: m r where ... Source #
sLiftM4 :: forall (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply LiftM4Sym0 t) t) t) t) t :: m r) :: Type Source #
type family LiftM5 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) (a :: m a5) :: m r where ... Source #
sLiftM5 :: forall (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4) (t :: m a5). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply LiftM5Sym0 t) t) t) t) t) t :: m r) :: Type Source #
sAp :: forall (t :: m ((~>) a b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply ApSym0 t) t :: m b) :: Type Source #
(%<$!>) :: forall (t :: (~>) a b) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (<$!>@#@$) t) t :: m b) :: Type infixl 4 Source #
Defunctionalization symbols
data FmapSym0 :: (~>) ((~>) 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 suppressUnusedWarnings :: () Source # | |
type Apply (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) (a6989586621679362307 :: a ~> b) Source # | |
data FmapSym1 (a6989586621679362307 :: (~>) a b) :: (~>) (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 a6989586621679362307 :: TyFun (f a) (f b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (FmapSym1 a6989586621679362307 :: TyFun (f a) (f b) -> Type) (a6989586621679362308 :: f a) Source # | |
type family FmapSym2 (a6989586621679362307 :: (~>) a b) (a6989586621679362308 :: f a) :: f b where ... Source #
data (>>=@#@$) :: (~>) (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 suppressUnusedWarnings :: () Source # | |
type Apply ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) (a6989586621679362415 :: m a) Source # | |
data (>>=@#@$$) (a6989586621679362415 :: m a) :: (~>) ((~>) 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 sing :: Sing ((>>=@#@$$) d) Source # | |
SuppressUnusedWarnings ((>>=@#@$$) a6989586621679362415 :: TyFun (a ~> m b) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply ((>>=@#@$$) a6989586621679362415 :: TyFun (a ~> m b) (m b) -> Type) (a6989586621679362416 :: a ~> m b) Source # | |
Defined in Control.Monad.Singletons.Internal |
type family (a6989586621679362415 :: m a) >>=@#@$$$ (a6989586621679362416 :: (~>) a (m b)) :: m b where ... infixl 1 Source #
data (>>@#@$) :: (~>) (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 suppressUnusedWarnings :: () Source # | |
type Apply ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) (a6989586621679362420 :: m a) Source # | |
data (>>@#@$$) (a6989586621679362420 :: m a) :: (~>) (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 ((>>@#@$$) a6989586621679362420 :: TyFun (m b) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply ((>>@#@$$) a6989586621679362420 :: TyFun (m b) (m b) -> Type) (a6989586621679362421 :: m b) Source # | |
type family (a6989586621679362420 :: m a) >>@#@$$$ (a6989586621679362421 :: m b) :: m b where ... infixl 1 Source #
data ReturnSym0 :: (~>) a (m a) Source #
Instances
SMonad m => SingI (ReturnSym0 :: TyFun a (m a) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal sing :: Sing ReturnSym0 Source # | |
SuppressUnusedWarnings (ReturnSym0 :: TyFun a (m a) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (ReturnSym0 :: TyFun a (m a) -> Type) (a6989586621679362424 :: a) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (ReturnSym0 :: TyFun a (m a) -> Type) (a6989586621679362424 :: a) = Return a6989586621679362424 :: m a |
type family ReturnSym1 (a6989586621679362424 :: a) :: m a where ... Source #
ReturnSym1 a6989586621679362424 = Return a6989586621679362424 |
data FailSym0 :: (~>) [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 suppressUnusedWarnings :: () Source # | |
type Apply (FailSym0 :: TyFun [Char] (m a) -> Type) (a6989586621679568497 :: [Char]) Source # | |
data MplusSym0 :: (~>) (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 suppressUnusedWarnings :: () Source # | |
type Apply (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) (a6989586621679362462 :: m a) Source # | |
data MplusSym1 (a6989586621679362462 :: m a) :: (~>) (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 # | |
SuppressUnusedWarnings (MplusSym1 a6989586621679362462 :: TyFun (m a) (m a) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (MplusSym1 a6989586621679362462 :: TyFun (m a) (m a) -> Type) (a6989586621679362463 :: m a) Source # | |
type family MplusSym2 (a6989586621679362462 :: m a) (a6989586621679362463 :: m a) :: m a where ... Source #
data MapMSym0 :: (~>) ((~>) 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 suppressUnusedWarnings :: () Source # | |
type Apply (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) (a6989586621680769821 :: a ~> m b) Source # | |
data MapMSym1 (a6989586621680769821 :: (~>) a (m b)) :: (~>) (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 a6989586621680769821 :: TyFun (t a) (m (t b)) -> Type) Source # | |
Defined in Data.Traversable.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (MapMSym1 a6989586621680769821 :: TyFun (t a) (m (t b)) -> Type) (a6989586621680769822 :: t a) Source # | |
type family MapMSym2 (a6989586621680769821 :: (~>) a (m b)) (a6989586621680769822 :: t a) :: m (t b) where ... Source #
data MapM_Sym0 :: (~>) ((~>) 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 suppressUnusedWarnings :: () Source # | |
type Apply (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) (a6989586621680416510 :: a ~> m b) Source # | |
data MapM_Sym1 (a6989586621680416510 :: (~>) a (m b)) :: (~>) (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 a6989586621680416510 :: TyFun (t a) (m ()) -> Type) Source # | |
Defined in Data.Foldable.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (MapM_Sym1 a6989586621680416510 :: TyFun (t a) (m ()) -> Type) (a6989586621680416511 :: t a) Source # | |
type family MapM_Sym2 (a6989586621680416510 :: (~>) a (m b)) (a6989586621680416511 :: t a) :: m () where ... Source #
data ForMSym0 :: (~>) (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 suppressUnusedWarnings :: () Source # | |
type Apply (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) (a6989586621680777423 :: t a) Source # | |
data ForMSym1 (a6989586621680777423 :: t a) :: (~>) ((~>) 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 a6989586621680777423 :: TyFun (a ~> m b) (m (t b)) -> Type) Source # | |
Defined in Data.Traversable.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (ForMSym1 a6989586621680777423 :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680777424 :: a ~> m b) Source # | |
type family ForMSym2 (a6989586621680777423 :: t a) (a6989586621680777424 :: (~>) a (m b)) :: m (t b) where ... Source #
data SequenceSym0 :: (~>) (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 sing :: Sing SequenceSym0 Source # | |
SuppressUnusedWarnings (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) Source # | |
Defined in Data.Traversable.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (a6989586621680769825 :: t (m a)) Source # | |
Defined in Data.Traversable.Singletons type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (a6989586621680769825 :: t (m a)) = Sequence a6989586621680769825 |
type family SequenceSym1 (a6989586621680769825 :: t (m a)) :: m (t a) where ... Source #
SequenceSym1 a6989586621680769825 = Sequence a6989586621680769825 |
data Sequence_Sym0 :: (~>) (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 sing :: Sing Sequence_Sym0 Source # | |
SuppressUnusedWarnings (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) Source # | |
Defined in Data.Foldable.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680416486 :: t (m a)) Source # | |
Defined in Data.Foldable.Singletons type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680416486 :: t (m a)) = Sequence_ a6989586621680416486 |
type family Sequence_Sym1 (a6989586621680416486 :: t (m a)) :: m () where ... Source #
Sequence_Sym1 a6989586621680416486 = Sequence_ a6989586621680416486 |
data (=<<@#@$) :: (~>) ((~>) 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 suppressUnusedWarnings :: () Source # | |
type Apply ((=<<@#@$) :: TyFun (a ~> m b) (m a ~> m b) -> Type) (a6989586621679362260 :: a ~> m b) Source # | |
Defined in Control.Monad.Singletons.Internal |
data (=<<@#@$$) (a6989586621679362260 :: (~>) a (m b)) :: (~>) (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 sing :: Sing ((=<<@#@$$) d) Source # | |
SuppressUnusedWarnings ((=<<@#@$$) a6989586621679362260 :: TyFun (m a) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply ((=<<@#@$$) a6989586621679362260 :: TyFun (m a) (m b) -> Type) (a6989586621679362261 :: m a) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply ((=<<@#@$$) a6989586621679362260 :: TyFun (m a) (m b) -> Type) (a6989586621679362261 :: m a) = a6989586621679362260 =<< a6989586621679362261 |
type family (a6989586621679362260 :: (~>) a (m b)) =<<@#@$$$ (a6989586621679362261 :: m a) :: m b where ... infixr 1 Source #
data (>=>@#@$) :: (~>) ((~>) 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 suppressUnusedWarnings :: () Source # | |
type Apply ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) (a6989586621681116283 :: a ~> m b) Source # | |
data (>=>@#@$$) (a6989586621681116283 :: (~>) a (m b)) :: (~>) ((~>) 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 # | |
Defined in Control.Monad.Singletons | |
(SMonad m, SingI d) => SingI ((>=>@#@$$) d :: TyFun (b ~> m c) (a ~> m c) -> Type) Source # | |
Defined in Control.Monad.Singletons sing :: Sing ((>=>@#@$$) d) Source # | |
SuppressUnusedWarnings ((>=>@#@$$) a6989586621681116283 :: TyFun (b ~> m c) (a ~> m c) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply ((>=>@#@$$) a6989586621681116283 :: TyFun (b ~> m c) (a ~> m c) -> Type) (a6989586621681116284 :: b ~> m c) Source # | |
Defined in Control.Monad.Singletons |
data (a6989586621681116283 :: (~>) a (m b)) >=>@#@$$$ (a6989586621681116284 :: (~>) b (m c)) :: (~>) 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 # | |
SuppressUnusedWarnings (a6989586621681116283 >=>@#@$$$ a6989586621681116284 :: TyFun a (m c) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621681116283 >=>@#@$$$ a6989586621681116284 :: TyFun a (m c) -> Type) (a6989586621681116285 :: a) Source # | |
data (<=<@#@$) :: (~>) ((~>) 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 suppressUnusedWarnings :: () Source # | |
type Apply ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) (a6989586621681116271 :: b ~> m c) Source # | |
data (<=<@#@$$) (a6989586621681116271 :: (~>) b (m c)) :: (~>) ((~>) 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 # | |
Defined in Control.Monad.Singletons | |
(SMonad m, SingI d) => SingI ((<=<@#@$$) d :: TyFun (a ~> m b) (a ~> m c) -> Type) Source # | |
Defined in Control.Monad.Singletons sing :: Sing ((<=<@#@$$) d) Source # | |
SuppressUnusedWarnings ((<=<@#@$$) a6989586621681116271 :: TyFun (a ~> m b) (a ~> m c) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply ((<=<@#@$$) a6989586621681116271 :: TyFun (a ~> m b) (a ~> m c) -> Type) (a6989586621681116272 :: a ~> m b) Source # | |
Defined in Control.Monad.Singletons |
data (a6989586621681116271 :: (~>) b (m c)) <=<@#@$$$ (a6989586621681116272 :: (~>) a (m b)) :: (~>) 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 # | |
SuppressUnusedWarnings (a6989586621681116271 <=<@#@$$$ a6989586621681116272 :: TyFun a (m c) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621681116271 <=<@#@$$$ a6989586621681116272 :: TyFun a (m c) -> Type) (a6989586621681116273 :: a) Source # | |
data VoidSym0 :: (~>) (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 suppressUnusedWarnings :: () Source # | |
type Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) (a6989586621679551372 :: f a) Source # | |
data JoinSym0 :: (~>) (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 suppressUnusedWarnings :: () Source # | |
type Apply (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) (a6989586621679362266 :: m (m a)) Source # | |
data MsumSym0 :: (~>) (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 suppressUnusedWarnings :: () Source # | |
type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621680416474 :: t (m a)) Source # | |
data MfilterSym0 :: (~>) ((~>) 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 sing :: Sing MfilterSym0 Source # | |
SuppressUnusedWarnings (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) (a6989586621681116136 :: a ~> Bool) Source # | |
Defined in Control.Monad.Singletons |
data MfilterSym1 (a6989586621681116136 :: (~>) a Bool) :: (~>) (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 sing :: Sing (MfilterSym1 d) Source # | |
SuppressUnusedWarnings (MfilterSym1 a6989586621681116136 :: TyFun (m a) (m a) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (MfilterSym1 a6989586621681116136 :: TyFun (m a) (m a) -> Type) (a6989586621681116137 :: m a) Source # | |
Defined in Control.Monad.Singletons type Apply (MfilterSym1 a6989586621681116136 :: TyFun (m a) (m a) -> Type) (a6989586621681116137 :: m a) = Mfilter a6989586621681116136 a6989586621681116137 |
type family MfilterSym2 (a6989586621681116136 :: (~>) a Bool) (a6989586621681116137 :: m a) :: m a where ... Source #
MfilterSym2 a6989586621681116136 a6989586621681116137 = Mfilter a6989586621681116136 a6989586621681116137 |
data FilterMSym0 :: (~>) ((~>) 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 sing :: Sing FilterMSym0 Source # | |
SuppressUnusedWarnings (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) (a6989586621681116298 :: a ~> m Bool) Source # | |
Defined in Control.Monad.Singletons type Apply (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) (a6989586621681116298 :: a ~> m Bool) = FilterMSym1 a6989586621681116298 |
data FilterMSym1 (a6989586621681116298 :: (~>) a (m Bool)) :: (~>) [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 sing :: Sing (FilterMSym1 d) Source # | |
SuppressUnusedWarnings (FilterMSym1 a6989586621681116298 :: TyFun [a] (m [a]) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (FilterMSym1 a6989586621681116298 :: TyFun [a] (m [a]) -> Type) (a6989586621681116299 :: [a]) Source # | |
Defined in Control.Monad.Singletons type Apply (FilterMSym1 a6989586621681116298 :: TyFun [a] (m [a]) -> Type) (a6989586621681116299 :: [a]) = FilterM a6989586621681116298 a6989586621681116299 |
type family FilterMSym2 (a6989586621681116298 :: (~>) a (m Bool)) (a6989586621681116299 :: [a]) :: m [a] where ... Source #
FilterMSym2 a6989586621681116298 a6989586621681116299 = FilterM a6989586621681116298 a6989586621681116299 |
data MapAndUnzipMSym0 :: (~>) ((~>) 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 suppressUnusedWarnings :: () Source # | |
type Apply (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) (a6989586621681116257 :: a ~> m (b, c)) Source # | |
Defined in Control.Monad.Singletons type Apply (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) (a6989586621681116257 :: a ~> m (b, c)) = MapAndUnzipMSym1 a6989586621681116257 |
data MapAndUnzipMSym1 (a6989586621681116257 :: (~>) a (m (b, c))) :: (~>) [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 sing :: Sing (MapAndUnzipMSym1 d) Source # | |
SuppressUnusedWarnings (MapAndUnzipMSym1 a6989586621681116257 :: TyFun [a] (m ([b], [c])) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (MapAndUnzipMSym1 a6989586621681116257 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681116258 :: [a]) Source # | |
Defined in Control.Monad.Singletons type Apply (MapAndUnzipMSym1 a6989586621681116257 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681116258 :: [a]) = MapAndUnzipM a6989586621681116257 a6989586621681116258 |
type family MapAndUnzipMSym2 (a6989586621681116257 :: (~>) a (m (b, c))) (a6989586621681116258 :: [a]) :: m ([b], [c]) where ... Source #
MapAndUnzipMSym2 a6989586621681116257 a6989586621681116258 = MapAndUnzipM a6989586621681116257 a6989586621681116258 |
data ZipWithMSym0 :: (~>) ((~>) 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 # | |
Defined in Control.Monad.Singletons sing :: Sing ZipWithMSym0 Source # | |
SuppressUnusedWarnings (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) (a6989586621681116248 :: a ~> (b ~> m c)) Source # | |
Defined in Control.Monad.Singletons |
data ZipWithMSym1 (a6989586621681116248 :: (~>) a ((~>) b (m c))) :: (~>) [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 sing :: Sing (ZipWithMSym1 d) Source # | |
SuppressUnusedWarnings (ZipWithMSym1 a6989586621681116248 :: TyFun [a] ([b] ~> m [c]) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithMSym1 a6989586621681116248 :: TyFun [a] ([b] ~> m [c]) -> Type) (a6989586621681116249 :: [a]) Source # | |
Defined in Control.Monad.Singletons type Apply (ZipWithMSym1 a6989586621681116248 :: TyFun [a] ([b] ~> m [c]) -> Type) (a6989586621681116249 :: [a]) = ZipWithMSym2 a6989586621681116248 a6989586621681116249 |
data ZipWithMSym2 (a6989586621681116248 :: (~>) a ((~>) b (m c))) (a6989586621681116249 :: [a]) :: (~>) [b] (m [c]) Source #
Instances
(SApplicative m, SingI d) => SingI1 (ZipWithMSym2 d :: [a] -> TyFun [b] (m [c]) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
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 sing :: Sing (ZipWithMSym2 d1 d2) Source # | |
SuppressUnusedWarnings (ZipWithMSym2 a6989586621681116248 a6989586621681116249 :: TyFun [b] (m [c]) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithMSym2 a6989586621681116248 a6989586621681116249 :: TyFun [b] (m [c]) -> Type) (a6989586621681116250 :: [b]) Source # | |
Defined in Control.Monad.Singletons type Apply (ZipWithMSym2 a6989586621681116248 a6989586621681116249 :: TyFun [b] (m [c]) -> Type) (a6989586621681116250 :: [b]) = ZipWithM a6989586621681116248 a6989586621681116249 a6989586621681116250 |
type family ZipWithMSym3 (a6989586621681116248 :: (~>) a ((~>) b (m c))) (a6989586621681116249 :: [a]) (a6989586621681116250 :: [b]) :: m [c] where ... Source #
ZipWithMSym3 a6989586621681116248 a6989586621681116249 a6989586621681116250 = ZipWithM a6989586621681116248 a6989586621681116249 a6989586621681116250 |
data ZipWithM_Sym0 :: (~>) ((~>) a ((~>) b (m c))) ((~>) [a] ((~>) [b] (m ()))) Source #
Instances
SApplicative m => SingI (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) Source # | |
Defined in Control.Monad.Singletons sing :: Sing ZipWithM_Sym0 Source # | |
SuppressUnusedWarnings (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) (a6989586621681116238 :: a ~> (b ~> m c)) Source # | |
Defined in Control.Monad.Singletons |
data ZipWithM_Sym1 (a6989586621681116238 :: (~>) a ((~>) b (m c))) :: (~>) [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 sing :: Sing (ZipWithM_Sym1 d) Source # | |
SuppressUnusedWarnings (ZipWithM_Sym1 a6989586621681116238 :: TyFun [a] ([b] ~> m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithM_Sym1 a6989586621681116238 :: TyFun [a] ([b] ~> m ()) -> Type) (a6989586621681116239 :: [a]) Source # | |
Defined in Control.Monad.Singletons type Apply (ZipWithM_Sym1 a6989586621681116238 :: TyFun [a] ([b] ~> m ()) -> Type) (a6989586621681116239 :: [a]) = ZipWithM_Sym2 a6989586621681116238 a6989586621681116239 |
data ZipWithM_Sym2 (a6989586621681116238 :: (~>) a ((~>) b (m c))) (a6989586621681116239 :: [a]) :: (~>) [b] (m ()) Source #
Instances
(SApplicative m, SingI d) => SingI1 (ZipWithM_Sym2 d :: [a] -> TyFun [b] (m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons | |
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 sing :: Sing (ZipWithM_Sym2 d1 d2) Source # | |
SuppressUnusedWarnings (ZipWithM_Sym2 a6989586621681116238 a6989586621681116239 :: TyFun [b] (m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithM_Sym2 a6989586621681116238 a6989586621681116239 :: TyFun [b] (m ()) -> Type) (a6989586621681116240 :: [b]) Source # | |
Defined in Control.Monad.Singletons type Apply (ZipWithM_Sym2 a6989586621681116238 a6989586621681116239 :: TyFun [b] (m ()) -> Type) (a6989586621681116240 :: [b]) = ZipWithM_ a6989586621681116238 a6989586621681116239 a6989586621681116240 |
type family ZipWithM_Sym3 (a6989586621681116238 :: (~>) a ((~>) b (m c))) (a6989586621681116239 :: [a]) (a6989586621681116240 :: [b]) :: m () where ... Source #
ZipWithM_Sym3 a6989586621681116238 a6989586621681116239 a6989586621681116240 = ZipWithM_ a6989586621681116238 a6989586621681116239 a6989586621681116240 |
data FoldlMSym0 :: (~>) ((~>) 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 # | |
Defined in Data.Foldable.Singletons sing :: Sing FoldlMSym0 Source # | |
SuppressUnusedWarnings (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) Source # | |
Defined in Data.Foldable.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) (a6989586621680416538 :: b ~> (a ~> m b)) Source # | |
Defined in Data.Foldable.Singletons |
data FoldlMSym1 (a6989586621680416538 :: (~>) b ((~>) a (m b))) :: (~>) 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 # | |
Defined in Data.Foldable.Singletons | |
(SFoldable t, SMonad m, SingI d) => SingI (FoldlMSym1 d :: TyFun b (t a ~> m b) -> Type) Source # | |
Defined in Data.Foldable.Singletons sing :: Sing (FoldlMSym1 d) Source # | |
SuppressUnusedWarnings (FoldlMSym1 a6989586621680416538 :: TyFun b (t a ~> m b) -> Type) Source # | |
Defined in Data.Foldable.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (FoldlMSym1 a6989586621680416538 :: TyFun b (t a ~> m b) -> Type) (a6989586621680416539 :: b) Source # | |
Defined in Data.Foldable.Singletons type Apply (FoldlMSym1 a6989586621680416538 :: TyFun b (t a ~> m b) -> Type) (a6989586621680416539 :: b) = FoldlMSym2 a6989586621680416538 a6989586621680416539 :: TyFun (t a) (m b) -> Type |
data FoldlMSym2 (a6989586621680416538 :: (~>) b ((~>) a (m b))) (a6989586621680416539 :: b) :: (~>) (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 # | |
Defined in Data.Foldable.Singletons | |
(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldlMSym2 d1 d2 :: TyFun (t a) (m b) -> Type) Source # | |
Defined in Data.Foldable.Singletons sing :: Sing (FoldlMSym2 d1 d2) Source # | |
SuppressUnusedWarnings (FoldlMSym2 a6989586621680416538 a6989586621680416539 :: TyFun (t a) (m b) -> Type) Source # | |
Defined in Data.Foldable.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (FoldlMSym2 a6989586621680416538 a6989586621680416539 :: TyFun (t a) (m b) -> Type) (a6989586621680416540 :: t a) Source # | |
Defined in Data.Foldable.Singletons type Apply (FoldlMSym2 a6989586621680416538 a6989586621680416539 :: TyFun (t a) (m b) -> Type) (a6989586621680416540 :: t a) = FoldlM a6989586621680416538 a6989586621680416539 a6989586621680416540 |
type family FoldlMSym3 (a6989586621680416538 :: (~>) b ((~>) a (m b))) (a6989586621680416539 :: b) (a6989586621680416540 :: t a) :: m b where ... Source #
FoldlMSym3 a6989586621680416538 a6989586621680416539 a6989586621680416540 = FoldlM a6989586621680416538 a6989586621680416539 a6989586621680416540 |
data ReplicateMSym0 :: (~>) 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 suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) (a6989586621681116193 :: Natural) Source # | |
Defined in Control.Monad.Singletons type Apply (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) (a6989586621681116193 :: Natural) = ReplicateMSym1 a6989586621681116193 :: TyFun (m a) (m [a]) -> Type |
data ReplicateMSym1 (a6989586621681116193 :: Natural) :: (~>) (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 sing :: Sing (ReplicateMSym1 d) Source # | |
SuppressUnusedWarnings (ReplicateMSym1 a6989586621681116193 :: TyFun (m a) (m [a]) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateMSym1 a6989586621681116193 :: TyFun (m a) (m [a]) -> Type) (a6989586621681116194 :: m a) Source # | |
Defined in Control.Monad.Singletons type Apply (ReplicateMSym1 a6989586621681116193 :: TyFun (m a) (m [a]) -> Type) (a6989586621681116194 :: m a) = ReplicateM a6989586621681116193 a6989586621681116194 |
type family ReplicateMSym2 (a6989586621681116193 :: Natural) (a6989586621681116194 :: m a) :: m [a] where ... Source #
ReplicateMSym2 a6989586621681116193 a6989586621681116194 = ReplicateM a6989586621681116193 a6989586621681116194 |
data ReplicateM_Sym0 :: (~>) 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 suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) (a6989586621681116175 :: Natural) Source # | |
Defined in Control.Monad.Singletons type Apply (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) (a6989586621681116175 :: Natural) = ReplicateM_Sym1 a6989586621681116175 :: TyFun (m a) (m ()) -> Type |
data ReplicateM_Sym1 (a6989586621681116175 :: Natural) :: (~>) (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 sing :: Sing (ReplicateM_Sym1 d) Source # | |
SuppressUnusedWarnings (ReplicateM_Sym1 a6989586621681116175 :: TyFun (m a) (m ()) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateM_Sym1 a6989586621681116175 :: TyFun (m a) (m ()) -> Type) (a6989586621681116176 :: m a) Source # | |
Defined in Control.Monad.Singletons type Apply (ReplicateM_Sym1 a6989586621681116175 :: TyFun (m a) (m ()) -> Type) (a6989586621681116176 :: m a) = ReplicateM_ a6989586621681116175 a6989586621681116176 |
type family ReplicateM_Sym2 (a6989586621681116175 :: Natural) (a6989586621681116176 :: m a) :: m () where ... Source #
ReplicateM_Sym2 a6989586621681116175 a6989586621681116176 = ReplicateM_ a6989586621681116175 a6989586621681116176 |
data GuardSym0 :: (~>) 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 suppressUnusedWarnings :: () Source # | |
type Apply (GuardSym0 :: TyFun Bool (f ()) -> Type) (a6989586621679362106 :: Bool) Source # | |
data WhenSym0 :: (~>) 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 suppressUnusedWarnings :: () Source # | |
type Apply (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) (a6989586621679362250 :: Bool) Source # | |
data WhenSym1 (a6989586621679362250 :: Bool) :: (~>) (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 a6989586621679362250 :: TyFun (f ()) (f ()) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (WhenSym1 a6989586621679362250 :: TyFun (f ()) (f ()) -> Type) (a6989586621679362251 :: f ()) Source # | |
type family WhenSym2 (a6989586621679362250 :: Bool) (a6989586621679362251 :: f ()) :: f () where ... Source #
data UnlessSym0 :: (~>) Bool ((~>) (f ()) (f ())) Source #
Instances
SApplicative f => SingI (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source # | |
Defined in Control.Monad.Singletons sing :: Sing UnlessSym0 Source # | |
SuppressUnusedWarnings (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) (a6989586621681116165 :: Bool) Source # | |
Defined in Control.Monad.Singletons type Apply (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) (a6989586621681116165 :: Bool) = UnlessSym1 a6989586621681116165 :: TyFun (f ()) (f ()) -> Type |
data UnlessSym1 (a6989586621681116165 :: Bool) :: (~>) (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 sing :: Sing (UnlessSym1 d) Source # | |
SuppressUnusedWarnings (UnlessSym1 a6989586621681116165 :: TyFun (f ()) (f ()) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (UnlessSym1 a6989586621681116165 :: TyFun (f ()) (f ()) -> Type) (a6989586621681116166 :: f ()) Source # | |
Defined in Control.Monad.Singletons type Apply (UnlessSym1 a6989586621681116165 :: TyFun (f ()) (f ()) -> Type) (a6989586621681116166 :: f ()) = Unless a6989586621681116165 a6989586621681116166 |
type family UnlessSym2 (a6989586621681116165 :: Bool) (a6989586621681116166 :: f ()) :: f () where ... Source #
UnlessSym2 a6989586621681116165 a6989586621681116166 = Unless a6989586621681116165 a6989586621681116166 |
data LiftMSym0 :: (~>) ((~>) 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 suppressUnusedWarnings :: () Source # | |
type Apply (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) (a6989586621679362239 :: a1 ~> r) Source # | |
data LiftMSym1 (a6989586621679362239 :: (~>) a1 r) :: (~>) (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 a6989586621679362239 :: TyFun (m a1) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftMSym1 a6989586621679362239 :: TyFun (m a1) (m r) -> Type) (a6989586621679362240 :: m a1) Source # | |
type family LiftMSym2 (a6989586621679362239 :: (~>) a1 r) (a6989586621679362240 :: m a1) :: m r where ... Source #
data LiftM2Sym0 :: (~>) ((~>) 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 # | |
Defined in Control.Monad.Singletons.Internal sing :: Sing LiftM2Sym0 Source # | |
SuppressUnusedWarnings (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) (a6989586621679362222 :: a1 ~> (a2 ~> r)) Source # | |
Defined in Control.Monad.Singletons.Internal |
data LiftM2Sym1 (a6989586621679362222 :: (~>) a1 ((~>) a2 r)) :: (~>) (m a1) ((~>) (m a2) (m r)) Source #
Instances
SMonad m => SingI1 (LiftM2Sym1 :: (a1 ~> (a2 ~> r)) -> TyFun (m a1) (m a2 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
(SMonad m, SingI d) => SingI (LiftM2Sym1 d :: TyFun (m a1) (m a2 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal sing :: Sing (LiftM2Sym1 d) Source # | |
SuppressUnusedWarnings (LiftM2Sym1 a6989586621679362222 :: TyFun (m a1) (m a2 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM2Sym1 a6989586621679362222 :: TyFun (m a1) (m a2 ~> m r) -> Type) (a6989586621679362223 :: m a1) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM2Sym1 a6989586621679362222 :: TyFun (m a1) (m a2 ~> m r) -> Type) (a6989586621679362223 :: m a1) = LiftM2Sym2 a6989586621679362222 a6989586621679362223 |
data LiftM2Sym2 (a6989586621679362222 :: (~>) a1 ((~>) a2 r)) (a6989586621679362223 :: m a1) :: (~>) (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 | |
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 sing :: Sing (LiftM2Sym2 d1 d2) Source # | |
SuppressUnusedWarnings (LiftM2Sym2 a6989586621679362222 a6989586621679362223 :: TyFun (m a2) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM2Sym2 a6989586621679362222 a6989586621679362223 :: TyFun (m a2) (m r) -> Type) (a6989586621679362224 :: m a2) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM2Sym2 a6989586621679362222 a6989586621679362223 :: TyFun (m a2) (m r) -> Type) (a6989586621679362224 :: m a2) = LiftM2 a6989586621679362222 a6989586621679362223 a6989586621679362224 |
type family LiftM2Sym3 (a6989586621679362222 :: (~>) a1 ((~>) a2 r)) (a6989586621679362223 :: m a1) (a6989586621679362224 :: m a2) :: m r where ... Source #
LiftM2Sym3 a6989586621679362222 a6989586621679362223 a6989586621679362224 = LiftM2 a6989586621679362222 a6989586621679362223 a6989586621679362224 |
data LiftM3Sym0 :: (~>) ((~>) 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 # | |
Defined in Control.Monad.Singletons.Internal sing :: Sing LiftM3Sym0 Source # | |
SuppressUnusedWarnings (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) (a6989586621679362198 :: a1 ~> (a2 ~> (a3 ~> r))) Source # | |
data LiftM3Sym1 (a6989586621679362198 :: (~>) a1 ((~>) a2 ((~>) a3 r))) :: (~>) (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 # | |
Defined in Control.Monad.Singletons.Internal | |
(SMonad m, SingI d) => SingI (LiftM3Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal sing :: Sing (LiftM3Sym1 d) Source # | |
SuppressUnusedWarnings (LiftM3Sym1 a6989586621679362198 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM3Sym1 a6989586621679362198 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) (a6989586621679362199 :: m a1) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM3Sym1 a6989586621679362198 :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) (a6989586621679362199 :: m a1) = LiftM3Sym2 a6989586621679362198 a6989586621679362199 |
data LiftM3Sym2 (a6989586621679362198 :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a6989586621679362199 :: m a1) :: (~>) (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 | |
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 sing :: Sing (LiftM3Sym2 d1 d2) Source # | |
SuppressUnusedWarnings (LiftM3Sym2 a6989586621679362198 a6989586621679362199 :: TyFun (m a2) (m a3 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM3Sym2 a6989586621679362198 a6989586621679362199 :: TyFun (m a2) (m a3 ~> m r) -> Type) (a6989586621679362200 :: m a2) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM3Sym2 a6989586621679362198 a6989586621679362199 :: TyFun (m a2) (m a3 ~> m r) -> Type) (a6989586621679362200 :: m a2) = LiftM3Sym3 a6989586621679362198 a6989586621679362199 a6989586621679362200 |
data LiftM3Sym3 (a6989586621679362198 :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a6989586621679362199 :: m a1) (a6989586621679362200 :: m a2) :: (~>) (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 | |
(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 sing :: Sing (LiftM3Sym3 d1 d2 d3) Source # | |
SuppressUnusedWarnings (LiftM3Sym3 a6989586621679362198 a6989586621679362199 a6989586621679362200 :: TyFun (m a3) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM3Sym3 a6989586621679362198 a6989586621679362199 a6989586621679362200 :: TyFun (m a3) (m r) -> Type) (a6989586621679362201 :: m a3) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM3Sym3 a6989586621679362198 a6989586621679362199 a6989586621679362200 :: TyFun (m a3) (m r) -> Type) (a6989586621679362201 :: m a3) = LiftM3 a6989586621679362198 a6989586621679362199 a6989586621679362200 a6989586621679362201 |
type family LiftM3Sym4 (a6989586621679362198 :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a6989586621679362199 :: m a1) (a6989586621679362200 :: m a2) (a6989586621679362201 :: m a3) :: m r where ... Source #
LiftM3Sym4 a6989586621679362198 a6989586621679362199 a6989586621679362200 a6989586621679362201 = LiftM3 a6989586621679362198 a6989586621679362199 a6989586621679362200 a6989586621679362201 |
data LiftM4Sym0 :: (~>) ((~>) 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 # | |
Defined in Control.Monad.Singletons.Internal sing :: Sing LiftM4Sym0 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 suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) (a6989586621679362167 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) Source # | |
Defined in Control.Monad.Singletons.Internal |
data LiftM4Sym1 (a6989586621679362167 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) :: (~>) (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 # | |
Defined in Control.Monad.Singletons.Internal | |
(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 sing :: Sing (LiftM4Sym1 d) Source # | |
SuppressUnusedWarnings (LiftM4Sym1 a6989586621679362167 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym1 a6989586621679362167 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) (a6989586621679362168 :: m a1) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM4Sym1 a6989586621679362167 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) (a6989586621679362168 :: m a1) = LiftM4Sym2 a6989586621679362167 a6989586621679362168 |
data LiftM4Sym2 (a6989586621679362167 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a6989586621679362168 :: m a1) :: (~>) (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 | |
SMonad m => SingI2 (LiftM4Sym2 :: (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) -> m a1 -> TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal | |
(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 sing :: Sing (LiftM4Sym2 d1 d2) Source # | |
SuppressUnusedWarnings (LiftM4Sym2 a6989586621679362167 a6989586621679362168 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym2 a6989586621679362167 a6989586621679362168 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) (a6989586621679362169 :: m a2) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM4Sym2 a6989586621679362167 a6989586621679362168 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) (a6989586621679362169 :: m a2) = LiftM4Sym3 a6989586621679362167 a6989586621679362168 a6989586621679362169 |
data LiftM4Sym3 (a6989586621679362167 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a6989586621679362168 :: m a1) (a6989586621679362169 :: m a2) :: (~>) (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 | |
(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 sing :: Sing (LiftM4Sym3 d1 d2 d3) Source # | |
SuppressUnusedWarnings (LiftM4Sym3 a6989586621679362167 a6989586621679362168 a6989586621679362169 :: TyFun (m a3) (m a4 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym3 a6989586621679362167 a6989586621679362168 a6989586621679362169 :: TyFun (m a3) (m a4 ~> m r) -> Type) (a6989586621679362170 :: m a3) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM4Sym3 a6989586621679362167 a6989586621679362168 a6989586621679362169 :: TyFun (m a3) (m a4 ~> m r) -> Type) (a6989586621679362170 :: m a3) = LiftM4Sym4 a6989586621679362167 a6989586621679362168 a6989586621679362169 a6989586621679362170 |
data LiftM4Sym4 (a6989586621679362167 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a6989586621679362168 :: m a1) (a6989586621679362169 :: m a2) (a6989586621679362170 :: m a3) :: (~>) (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 | |
(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 sing :: Sing (LiftM4Sym4 d1 d2 d3 d4) Source # | |
SuppressUnusedWarnings (LiftM4Sym4 a6989586621679362167 a6989586621679362168 a6989586621679362169 a6989586621679362170 :: TyFun (m a4) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym4 a6989586621679362167 a6989586621679362168 a6989586621679362169 a6989586621679362170 :: TyFun (m a4) (m r) -> Type) (a6989586621679362171 :: m a4) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM4Sym4 a6989586621679362167 a6989586621679362168 a6989586621679362169 a6989586621679362170 :: TyFun (m a4) (m r) -> Type) (a6989586621679362171 :: m a4) = LiftM4 a6989586621679362167 a6989586621679362168 a6989586621679362169 a6989586621679362170 a6989586621679362171 |
type family LiftM4Sym5 (a6989586621679362167 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a6989586621679362168 :: m a1) (a6989586621679362169 :: m a2) (a6989586621679362170 :: m a3) (a6989586621679362171 :: m a4) :: m r where ... Source #
LiftM4Sym5 a6989586621679362167 a6989586621679362168 a6989586621679362169 a6989586621679362170 a6989586621679362171 = LiftM4 a6989586621679362167 a6989586621679362168 a6989586621679362169 a6989586621679362170 a6989586621679362171 |
data LiftM5Sym0 :: (~>) ((~>) 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 # | |
Defined in Control.Monad.Singletons.Internal sing :: Sing LiftM5Sym0 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 suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) (a6989586621679362129 :: 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) (a6989586621679362129 :: a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) = LiftM5Sym1 a6989586621679362129 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type |
data LiftM5Sym1 (a6989586621679362129 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) :: (~>) (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 # | |
Defined in Control.Monad.Singletons.Internal | |
(SMonad m, SingI d) => SingI (LiftM5Sym1 d :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal sing :: Sing (LiftM5Sym1 d) Source # | |
SuppressUnusedWarnings (LiftM5Sym1 a6989586621679362129 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym1 a6989586621679362129 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) (a6989586621679362130 :: m a1) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym1 a6989586621679362129 :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) (a6989586621679362130 :: m a1) = LiftM5Sym2 a6989586621679362129 a6989586621679362130 |
data LiftM5Sym2 (a6989586621679362129 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a6989586621679362130 :: m a1) :: (~>) (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 | |
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 # | |
Defined in Control.Monad.Singletons.Internal | |
(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 sing :: Sing (LiftM5Sym2 d1 d2) Source # | |
SuppressUnusedWarnings (LiftM5Sym2 a6989586621679362129 a6989586621679362130 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym2 a6989586621679362129 a6989586621679362130 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) (a6989586621679362131 :: m a2) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym2 a6989586621679362129 a6989586621679362130 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) (a6989586621679362131 :: m a2) = LiftM5Sym3 a6989586621679362129 a6989586621679362130 a6989586621679362131 |
data LiftM5Sym3 (a6989586621679362129 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a6989586621679362130 :: m a1) (a6989586621679362131 :: m a2) :: (~>) (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 | |
(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 sing :: Sing (LiftM5Sym3 d1 d2 d3) Source # | |
SuppressUnusedWarnings (LiftM5Sym3 a6989586621679362129 a6989586621679362130 a6989586621679362131 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym3 a6989586621679362129 a6989586621679362130 a6989586621679362131 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) (a6989586621679362132 :: m a3) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym3 a6989586621679362129 a6989586621679362130 a6989586621679362131 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) (a6989586621679362132 :: m a3) = LiftM5Sym4 a6989586621679362129 a6989586621679362130 a6989586621679362131 a6989586621679362132 |
data LiftM5Sym4 (a6989586621679362129 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a6989586621679362130 :: m a1) (a6989586621679362131 :: m a2) (a6989586621679362132 :: m a3) :: (~>) (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 | |
(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 sing :: Sing (LiftM5Sym4 d1 d2 d3 d4) Source # | |
SuppressUnusedWarnings (LiftM5Sym4 a6989586621679362129 a6989586621679362130 a6989586621679362131 a6989586621679362132 :: TyFun (m a4) (m a5 ~> m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym4 a6989586621679362129 a6989586621679362130 a6989586621679362131 a6989586621679362132 :: TyFun (m a4) (m a5 ~> m r) -> Type) (a6989586621679362133 :: m a4) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym4 a6989586621679362129 a6989586621679362130 a6989586621679362131 a6989586621679362132 :: TyFun (m a4) (m a5 ~> m r) -> Type) (a6989586621679362133 :: m a4) = LiftM5Sym5 a6989586621679362129 a6989586621679362130 a6989586621679362131 a6989586621679362132 a6989586621679362133 |
data LiftM5Sym5 (a6989586621679362129 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a6989586621679362130 :: m a1) (a6989586621679362131 :: m a2) (a6989586621679362132 :: m a3) (a6989586621679362133 :: m a4) :: (~>) (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 | |
(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 sing :: Sing (LiftM5Sym5 d1 d2 d3 d4 d5) Source # | |
SuppressUnusedWarnings (LiftM5Sym5 a6989586621679362129 a6989586621679362130 a6989586621679362131 a6989586621679362132 a6989586621679362133 :: TyFun (m a5) (m r) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym5 a6989586621679362129 a6989586621679362130 a6989586621679362131 a6989586621679362132 a6989586621679362133 :: TyFun (m a5) (m r) -> Type) (a6989586621679362134 :: m a5) Source # | |
Defined in Control.Monad.Singletons.Internal type Apply (LiftM5Sym5 a6989586621679362129 a6989586621679362130 a6989586621679362131 a6989586621679362132 a6989586621679362133 :: TyFun (m a5) (m r) -> Type) (a6989586621679362134 :: m a5) = LiftM5 a6989586621679362129 a6989586621679362130 a6989586621679362131 a6989586621679362132 a6989586621679362133 a6989586621679362134 |
type family LiftM5Sym6 (a6989586621679362129 :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a6989586621679362130 :: m a1) (a6989586621679362131 :: m a2) (a6989586621679362132 :: m a3) (a6989586621679362133 :: m a4) (a6989586621679362134 :: m a5) :: m r where ... Source #
LiftM5Sym6 a6989586621679362129 a6989586621679362130 a6989586621679362131 a6989586621679362132 a6989586621679362133 a6989586621679362134 = LiftM5 a6989586621679362129 a6989586621679362130 a6989586621679362131 a6989586621679362132 a6989586621679362133 a6989586621679362134 |
data ApSym0 :: (~>) (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 suppressUnusedWarnings :: () Source # | |
type Apply (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) (a6989586621679362110 :: m (a ~> b)) Source # | |
data ApSym1 (a6989586621679362110 :: m ((~>) a b)) :: (~>) (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 # | |
SuppressUnusedWarnings (ApSym1 a6989586621679362110 :: TyFun (m a) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons.Internal suppressUnusedWarnings :: () Source # | |
type Apply (ApSym1 a6989586621679362110 :: TyFun (m a) (m b) -> Type) (a6989586621679362111 :: m a) Source # | |
type family ApSym2 (a6989586621679362110 :: m ((~>) a b)) (a6989586621679362111 :: m a) :: m b where ... Source #
data (<$!>@#@$) :: (~>) ((~>) 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 sing :: Sing (<$!>@#@$) Source # | |
SuppressUnusedWarnings ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) (a6989586621681116152 :: a ~> b) Source # | |
Defined in Control.Monad.Singletons type Apply ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) (a6989586621681116152 :: a ~> b) = (<$!>@#@$$) a6989586621681116152 :: TyFun (m a) (m b) -> Type |
data (<$!>@#@$$) (a6989586621681116152 :: (~>) a b) :: (~>) (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 sing :: Sing ((<$!>@#@$$) d) Source # | |
SuppressUnusedWarnings ((<$!>@#@$$) a6989586621681116152 :: TyFun (m a) (m b) -> Type) Source # | |
Defined in Control.Monad.Singletons suppressUnusedWarnings :: () Source # | |
type Apply ((<$!>@#@$$) a6989586621681116152 :: TyFun (m a) (m b) -> Type) (a6989586621681116153 :: m a) Source # | |
Defined in Control.Monad.Singletons type Apply ((<$!>@#@$$) a6989586621681116152 :: TyFun (m a) (m b) -> Type) (a6989586621681116153 :: m a) = a6989586621681116152 <$!> a6989586621681116153 |
type family (a6989586621681116152 :: (~>) a b) <$!>@#@$$$ (a6989586621681116153 :: m a) :: m b where ... infixl 4 Source #
a6989586621681116152 <$!>@#@$$$ a6989586621681116153 = (<$!>) a6989586621681116152 a6989586621681116153 |
Orphan instances
PMonad Down Source # | |
SMonad Down Source # | |
(%>>=) :: forall a b (t1 :: Down a) (t2 :: a ~> Down b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a b (t1 :: Down a) (t2 :: Down b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
PMonad ((,) a) Source # | |
SMonoid a => SMonad ((,) a) Source # | |
(%>>=) :: forall a0 b (t1 :: (a, a0)) (t2 :: a0 ~> (a, b)). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>=@#@$) t1) t2) Source # (%>>) :: forall a0 b (t1 :: (a, a0)) (t2 :: (a, b)). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>>@#@$) t1) t2) Source # sReturn :: forall a0 (t :: a0). Sing t -> Sing (Apply ReturnSym0 t) Source # |