Copyright | (C) 2018 Ryan Scott |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Singletons.Prelude.Monad
Description
Defines the promoted and singled versions of the Monad
type class.
Synopsis
- class PFunctor (f :: Type -> Type) where
- class SFunctor (f :: Type -> Type) where
- class PApplicative m => PMonad (m :: Type -> Type) where
- class SApplicative m => SMonad (m :: Type -> Type) where
- (%>>=) :: forall a b (t :: m a) (t :: (~>) a (m b)). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t :: m b)
- (%>>) :: forall a b (t :: m a) (t :: m b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t :: m b)
- sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t :: m a)
- sFail :: forall a (t :: Symbol). Sing t -> Sing (Apply FailSym0 t :: m a)
- class (PAlternative m, PMonad m) => PMonadPlus (m :: Type -> Type) where
- class (SAlternative m, SMonad m) => SMonadPlus (m :: Type -> Type) where
- type family MapM (arg :: (~>) a (m b)) (arg :: t a) :: m (t b)
- sMapM :: forall m a b (t :: (~>) a (m b)) (t :: t a). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t :: m (t b))
- type family MapM_ (a :: (~>) a (m b)) (a :: t a) :: m () where ...
- sMapM_ :: forall t m a b (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ())
- type family ForM (a :: t a) (a :: (~>) a (m b)) :: m (t b) where ...
- sForM :: forall t m a b (t :: t a) (t :: (~>) a (m b)). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForMSym0 t) t :: m (t b))
- type family Sequence (arg :: t (m a)) :: m (t a)
- sSequence :: forall m a (t :: t (m a)). (STraversable t, SMonad m) => Sing t -> Sing (Apply SequenceSym0 t :: m (t a))
- type family Sequence_ (a :: t (m a)) :: m () where ...
- sSequence_ :: forall t m a (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ())
- type family (a :: (~>) a (m b)) =<< (a :: m a) :: m b where ...
- (%=<<) :: forall m a b (t :: (~>) a (m b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (=<<@#@$) t) t :: m b)
- type family ((a :: (~>) a (m b)) >=> (a :: (~>) b (m c))) (a :: a) :: m c where ...
- (%>=>) :: forall m a b c (t :: (~>) a (m b)) (t :: (~>) b (m c)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (>=>@#@$) t) t) t :: m c)
- type family ((a :: (~>) b (m c)) <=< (a :: (~>) a (m b))) (a :: a) :: m c where ...
- (%<=<) :: forall m b c a (t :: (~>) b (m c)) (t :: (~>) a (m b)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (<=<@#@$) t) t) t :: m c)
- type family Void (a :: f a) :: f () where ...
- sVoid :: forall f a (t :: f a). SFunctor f => Sing t -> Sing (Apply VoidSym0 t :: f ())
- type family Join (a :: m (m a)) :: m a where ...
- sJoin :: forall m a (t :: m (m a)). SMonad m => Sing t -> Sing (Apply JoinSym0 t :: m a)
- type family Msum (a :: t (m a)) :: m a where ...
- sMsum :: forall t m a (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a)
- type family Mfilter (a :: (~>) a Bool) (a :: m a) :: m a where ...
- sMfilter :: forall m a (t :: (~>) a Bool) (t :: m a). SMonadPlus m => Sing t -> Sing t -> Sing (Apply (Apply MfilterSym0 t) t :: m a)
- type family FilterM (a :: (~>) a (m Bool)) (a :: [a]) :: m [a] where ...
- sFilterM :: forall m a (t :: (~>) a (m Bool)) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply FilterMSym0 t) t :: m [a])
- type family MapAndUnzipM (a :: (~>) a (m (b, c))) (a :: [a]) :: m ([b], [c]) where ...
- sMapAndUnzipM :: forall m a b c (t :: (~>) a (m (b, c))) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply MapAndUnzipMSym0 t) t :: m ([b], [c]))
- type family ZipWithM (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m [c] where ...
- sZipWithM :: forall m a b c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithMSym0 t) t) t :: m [c])
- type family ZipWithM_ (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m () where ...
- sZipWithM_ :: forall m a b c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithM_Sym0 t) t) t :: m ())
- type family FoldlM (a :: (~>) b ((~>) a (m b))) (a :: b) (a :: t a) :: m b where ...
- sFoldlM :: forall t m b a (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b)
- type family ReplicateM (a :: Nat) (a :: m a) :: m [a] where ...
- sReplicateM :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateMSym0 t) t :: m [a])
- type family ReplicateM_ (a :: Nat) (a :: m a) :: m () where ...
- sReplicateM_ :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateM_Sym0 t) t :: m ())
- type family Guard (a :: Bool) :: f () where ...
- sGuard :: forall f (t :: Bool). SAlternative f => Sing t -> Sing (Apply GuardSym0 t :: f ())
- type family When (a :: Bool) (a :: f ()) :: f () where ...
- sWhen :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply WhenSym0 t) t :: f ())
- type family Unless (a :: Bool) (a :: f ()) :: f () where ...
- sUnless :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply UnlessSym0 t) t :: f ())
- type family LiftM (a :: (~>) a1 r) (a :: m a1) :: m r where ...
- sLiftM :: forall m a1 r (t :: (~>) a1 r) (t :: m a1). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply LiftMSym0 t) t :: m r)
- type family LiftM2 (a :: (~>) a1 ((~>) a2 r)) (a :: m a1) (a :: m a2) :: m r where ...
- sLiftM2 :: forall m a1 a2 r (t :: (~>) a1 ((~>) a2 r)) (t :: m a1) (t :: m a2). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftM2Sym0 t) t) t :: m r)
- type family LiftM3 (a :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a :: m a1) (a :: m a2) (a :: m a3) :: m r where ...
- sLiftM3 :: forall m a1 a2 a3 r (t :: (~>) a1 ((~>) a2 ((~>) a3 r))) (t :: m a1) (t :: m a2) (t :: m a3). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply LiftM3Sym0 t) t) t) t :: m r)
- type family LiftM4 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) :: m r where ...
- sLiftM4 :: forall m a1 a2 a3 a4 r (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply LiftM4Sym0 t) t) t) t) t :: m r)
- type family LiftM5 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) (a :: m a5) :: m r where ...
- sLiftM5 :: forall m a1 a2 a3 a4 a5 r (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4) (t :: m a5). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply LiftM5Sym0 t) t) t) t) t) t :: m r)
- type family Ap (a :: m ((~>) a b)) (a :: m a) :: m b where ...
- sAp :: forall m a b (t :: m ((~>) a b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply ApSym0 t) t :: m b)
- type family (a :: (~>) a b) <$!> (a :: m a) :: m b where ...
- (%<$!>) :: forall m a b (t :: (~>) a b) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (<$!>@#@$) t) t :: m b)
- data FmapSym0 :: forall a6989586621679545962 b6989586621679545963 f6989586621679545961. (~>) ((~>) a6989586621679545962 b6989586621679545963) ((~>) (f6989586621679545961 a6989586621679545962) (f6989586621679545961 b6989586621679545963))
- data FmapSym1 (arg6989586621679546355 :: (~>) a6989586621679545962 b6989586621679545963) :: forall f6989586621679545961. (~>) (f6989586621679545961 a6989586621679545962) (f6989586621679545961 b6989586621679545963)
- type FmapSym2 (arg6989586621679546355 :: (~>) a6989586621679545962 b6989586621679545963) (arg6989586621679546356 :: f6989586621679545961 a6989586621679545962) = Fmap arg6989586621679546355 arg6989586621679546356
- data (>>=@#@$) :: forall a6989586621679545991 b6989586621679545992 m6989586621679545990. (~>) (m6989586621679545990 a6989586621679545991) ((~>) ((~>) a6989586621679545991 (m6989586621679545990 b6989586621679545992)) (m6989586621679545990 b6989586621679545992))
- data (>>=@#@$$) (arg6989586621679546462 :: m6989586621679545990 a6989586621679545991) :: forall b6989586621679545992. (~>) ((~>) a6989586621679545991 (m6989586621679545990 b6989586621679545992)) (m6989586621679545990 b6989586621679545992)
- type (>>=@#@$$$) (arg6989586621679546462 :: m6989586621679545990 a6989586621679545991) (arg6989586621679546463 :: (~>) a6989586621679545991 (m6989586621679545990 b6989586621679545992)) = (>>=) arg6989586621679546462 arg6989586621679546463
- data (>>@#@$) :: forall a6989586621679545993 b6989586621679545994 m6989586621679545990. (~>) (m6989586621679545990 a6989586621679545993) ((~>) (m6989586621679545990 b6989586621679545994) (m6989586621679545990 b6989586621679545994))
- data (>>@#@$$) (arg6989586621679546466 :: m6989586621679545990 a6989586621679545993) :: forall b6989586621679545994. (~>) (m6989586621679545990 b6989586621679545994) (m6989586621679545990 b6989586621679545994)
- type (>>@#@$$$) (arg6989586621679546466 :: m6989586621679545990 a6989586621679545993) (arg6989586621679546467 :: m6989586621679545990 b6989586621679545994) = (>>) arg6989586621679546466 arg6989586621679546467
- data ReturnSym0 :: forall a6989586621679545995 m6989586621679545990. (~>) a6989586621679545995 (m6989586621679545990 a6989586621679545995)
- type ReturnSym1 (arg6989586621679546470 :: a6989586621679545995) = Return arg6989586621679546470
- data FailSym0 :: forall a6989586621679545996 m6989586621679545990. (~>) Symbol (m6989586621679545990 a6989586621679545996)
- type FailSym1 (arg6989586621679546472 :: Symbol) = Fail arg6989586621679546472
- type MzeroSym0 = Mzero
- data MplusSym0 :: forall a6989586621679546048 m6989586621679546046. (~>) (m6989586621679546046 a6989586621679546048) ((~>) (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048))
- data MplusSym1 (arg6989586621679546516 :: m6989586621679546046 a6989586621679546048) :: (~>) (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048)
- type MplusSym2 (arg6989586621679546516 :: m6989586621679546046 a6989586621679546048) (arg6989586621679546517 :: m6989586621679546046 a6989586621679546048) = Mplus arg6989586621679546516 arg6989586621679546517
- data MapMSym0 :: forall a6989586621680744892 b6989586621680744893 m6989586621680744891 t6989586621680744885. (~>) ((~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) ((~>) (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893)))
- data MapMSym1 (arg6989586621680744903 :: (~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) :: forall t6989586621680744885. (~>) (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893))
- type MapMSym2 (arg6989586621680744903 :: (~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) (arg6989586621680744904 :: t6989586621680744885 a6989586621680744892) = MapM arg6989586621680744903 arg6989586621680744904
- data MapM_Sym0 :: forall a6989586621680448389 b6989586621680448390 m6989586621680448388 t6989586621680448387. (~>) ((~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) ((~>) (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ()))
- data MapM_Sym1 (a6989586621680448987 :: (~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) :: forall t6989586621680448387. (~>) (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ())
- type MapM_Sym2 (a6989586621680448987 :: (~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) (a6989586621680448988 :: t6989586621680448387 a6989586621680448389) = MapM_ a6989586621680448987 a6989586621680448988
- data ForMSym0 :: forall a6989586621680750468 b6989586621680750469 m6989586621680750467 t6989586621680750466. (~>) (t6989586621680750466 a6989586621680750468) ((~>) ((~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) (m6989586621680750467 (t6989586621680750466 b6989586621680750469)))
- data ForMSym1 (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) :: forall b6989586621680750469 m6989586621680750467. (~>) ((~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) (m6989586621680750467 (t6989586621680750466 b6989586621680750469))
- type ForMSym2 (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) (a6989586621680751024 :: (~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) = ForM a6989586621680751023 a6989586621680751024
- data SequenceSym0 :: forall a6989586621680744895 m6989586621680744894 t6989586621680744885. (~>) (t6989586621680744885 (m6989586621680744894 a6989586621680744895)) (m6989586621680744894 (t6989586621680744885 a6989586621680744895))
- type SequenceSym1 (arg6989586621680744907 :: t6989586621680744885 (m6989586621680744894 a6989586621680744895)) = Sequence arg6989586621680744907
- data Sequence_Sym0 :: forall a6989586621680448379 m6989586621680448378 t6989586621680448377. (~>) (t6989586621680448377 (m6989586621680448378 a6989586621680448379)) (m6989586621680448378 ())
- type Sequence_Sym1 (a6989586621680448979 :: t6989586621680448377 (m6989586621680448378 a6989586621680448379)) = Sequence_ a6989586621680448979
- data (=<<@#@$) :: forall a6989586621679545913 b6989586621679545914 m6989586621679545912. (~>) ((~>) a6989586621679545913 (m6989586621679545912 b6989586621679545914)) ((~>) (m6989586621679545912 a6989586621679545913) (m6989586621679545912 b6989586621679545914))
- data (=<<@#@$$) (a6989586621679546308 :: (~>) a6989586621679545913 (m6989586621679545912 b6989586621679545914)) :: (~>) (m6989586621679545912 a6989586621679545913) (m6989586621679545912 b6989586621679545914)
- type (=<<@#@$$$) (a6989586621679546308 :: (~>) a6989586621679545913 (m6989586621679545912 b6989586621679545914)) (a6989586621679546309 :: m6989586621679545912 a6989586621679545913) = (=<<) a6989586621679546308 a6989586621679546309
- data (>=>@#@$) :: forall a6989586621681203164 b6989586621681203165 c6989586621681203166 m6989586621681203163. (~>) ((~>) a6989586621681203164 (m6989586621681203163 b6989586621681203165)) ((~>) ((~>) b6989586621681203165 (m6989586621681203163 c6989586621681203166)) ((~>) a6989586621681203164 (m6989586621681203163 c6989586621681203166)))
- data (>=>@#@$$) (a6989586621681203597 :: (~>) a6989586621681203164 (m6989586621681203163 b6989586621681203165)) :: forall c6989586621681203166. (~>) ((~>) b6989586621681203165 (m6989586621681203163 c6989586621681203166)) ((~>) a6989586621681203164 (m6989586621681203163 c6989586621681203166))
- data (a6989586621681203597 :: (~>) a6989586621681203164 (m6989586621681203163 b6989586621681203165)) >=>@#@$$$ (a6989586621681203598 :: (~>) b6989586621681203165 (m6989586621681203163 c6989586621681203166)) :: (~>) a6989586621681203164 (m6989586621681203163 c6989586621681203166)
- data (<=<@#@$) :: forall a6989586621681203162 b6989586621681203160 c6989586621681203161 m6989586621681203159. (~>) ((~>) b6989586621681203160 (m6989586621681203159 c6989586621681203161)) ((~>) ((~>) a6989586621681203162 (m6989586621681203159 b6989586621681203160)) ((~>) a6989586621681203162 (m6989586621681203159 c6989586621681203161)))
- data (<=<@#@$$) (a6989586621681203622 :: (~>) b6989586621681203160 (m6989586621681203159 c6989586621681203161)) :: forall a6989586621681203162. (~>) ((~>) a6989586621681203162 (m6989586621681203159 b6989586621681203160)) ((~>) a6989586621681203162 (m6989586621681203159 c6989586621681203161))
- data (a6989586621681203622 :: (~>) b6989586621681203160 (m6989586621681203159 c6989586621681203161)) <=<@#@$$$ (a6989586621681203623 :: (~>) a6989586621681203162 (m6989586621681203159 b6989586621681203160)) :: (~>) a6989586621681203162 (m6989586621681203159 c6989586621681203161)
- data VoidSym0 :: forall a6989586621679715289 f6989586621679715288. (~>) (f6989586621679715288 a6989586621679715289) (f6989586621679715288 ())
- type VoidSym1 (a6989586621679715360 :: f6989586621679715288 a6989586621679715289) = Void a6989586621679715360
- data JoinSym0 :: forall a6989586621679545916 m6989586621679545915. (~>) (m6989586621679545915 (m6989586621679545915 a6989586621679545916)) (m6989586621679545915 a6989586621679545916)
- type JoinSym1 (a6989586621679546314 :: m6989586621679545915 (m6989586621679545915 a6989586621679545916)) = Join a6989586621679546314
- data MsumSym0 :: forall a6989586621680448373 m6989586621680448372 t6989586621680448371. (~>) (t6989586621680448371 (m6989586621680448372 a6989586621680448373)) (m6989586621680448372 a6989586621680448373)
- type MsumSym1 (a6989586621680448974 :: t6989586621680448371 (m6989586621680448372 a6989586621680448373)) = Msum a6989586621680448974
- data MfilterSym0 :: forall a6989586621681203130 m6989586621681203129. (~>) ((~>) a6989586621681203130 Bool) ((~>) (m6989586621681203129 a6989586621681203130) (m6989586621681203129 a6989586621681203130))
- data MfilterSym1 (a6989586621681203465 :: (~>) a6989586621681203130 Bool) :: forall m6989586621681203129. (~>) (m6989586621681203129 a6989586621681203130) (m6989586621681203129 a6989586621681203130)
- type MfilterSym2 (a6989586621681203465 :: (~>) a6989586621681203130 Bool) (a6989586621681203466 :: m6989586621681203129 a6989586621681203130) = Mfilter a6989586621681203465 a6989586621681203466
- data FilterMSym0 :: forall a6989586621681203168 m6989586621681203167. (~>) ((~>) a6989586621681203168 (m6989586621681203167 Bool)) ((~>) [a6989586621681203168] (m6989586621681203167 [a6989586621681203168]))
- data FilterMSym1 (a6989586621681203631 :: (~>) a6989586621681203168 (m6989586621681203167 Bool)) :: (~>) [a6989586621681203168] (m6989586621681203167 [a6989586621681203168])
- type FilterMSym2 (a6989586621681203631 :: (~>) a6989586621681203168 (m6989586621681203167 Bool)) (a6989586621681203632 :: [a6989586621681203168]) = FilterM a6989586621681203631 a6989586621681203632
- data MapAndUnzipMSym0 :: forall a6989586621681203156 b6989586621681203157 c6989586621681203158 m6989586621681203155. (~>) ((~>) a6989586621681203156 (m6989586621681203155 (b6989586621681203157, c6989586621681203158))) ((~>) [a6989586621681203156] (m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])))
- data MapAndUnzipMSym1 (a6989586621681203591 :: (~>) a6989586621681203156 (m6989586621681203155 (b6989586621681203157, c6989586621681203158))) :: (~>) [a6989586621681203156] (m6989586621681203155 ([b6989586621681203157], [c6989586621681203158]))
- type MapAndUnzipMSym2 (a6989586621681203591 :: (~>) a6989586621681203156 (m6989586621681203155 (b6989586621681203157, c6989586621681203158))) (a6989586621681203592 :: [a6989586621681203156]) = MapAndUnzipM a6989586621681203591 a6989586621681203592
- data ZipWithMSym0 :: forall a6989586621681203152 b6989586621681203153 c6989586621681203154 m6989586621681203151. (~>) ((~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) ((~>) [a6989586621681203152] ((~>) [b6989586621681203153] (m6989586621681203151 [c6989586621681203154])))
- data ZipWithMSym1 (a6989586621681203582 :: (~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) :: (~>) [a6989586621681203152] ((~>) [b6989586621681203153] (m6989586621681203151 [c6989586621681203154]))
- data ZipWithMSym2 (a6989586621681203582 :: (~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) (a6989586621681203583 :: [a6989586621681203152]) :: (~>) [b6989586621681203153] (m6989586621681203151 [c6989586621681203154])
- type ZipWithMSym3 (a6989586621681203582 :: (~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) (a6989586621681203583 :: [a6989586621681203152]) (a6989586621681203584 :: [b6989586621681203153]) = ZipWithM a6989586621681203582 a6989586621681203583 a6989586621681203584
- data ZipWithM_Sym0 :: forall a6989586621681203148 b6989586621681203149 c6989586621681203150 m6989586621681203147. (~>) ((~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) ((~>) [a6989586621681203148] ((~>) [b6989586621681203149] (m6989586621681203147 ())))
- data ZipWithM_Sym1 (a6989586621681203573 :: (~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) :: (~>) [a6989586621681203148] ((~>) [b6989586621681203149] (m6989586621681203147 ()))
- data ZipWithM_Sym2 (a6989586621681203573 :: (~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) (a6989586621681203574 :: [a6989586621681203148]) :: (~>) [b6989586621681203149] (m6989586621681203147 ())
- type ZipWithM_Sym3 (a6989586621681203573 :: (~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) (a6989586621681203574 :: [a6989586621681203148]) (a6989586621681203575 :: [b6989586621681203149]) = ZipWithM_ a6989586621681203573 a6989586621681203574 a6989586621681203575
- data FoldlMSym0 :: forall a6989586621680448402 b6989586621680448401 m6989586621680448400 t6989586621680448399. (~>) ((~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) ((~>) b6989586621680448401 ((~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401)))
- data FoldlMSym1 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) :: forall t6989586621680448399. (~>) b6989586621680448401 ((~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401))
- data FoldlMSym2 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) (a6989586621680449024 :: b6989586621680448401) :: forall t6989586621680448399. (~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401)
- type FoldlMSym3 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) (a6989586621680449024 :: b6989586621680448401) (a6989586621680449025 :: t6989586621680448399 a6989586621680448402) = FoldlM a6989586621680449023 a6989586621680449024 a6989586621680449025
- data ReplicateMSym0 :: forall a6989586621681203138 m6989586621681203137. (~>) Nat ((~>) (m6989586621681203137 a6989586621681203138) (m6989586621681203137 [a6989586621681203138]))
- data ReplicateMSym1 (a6989586621681203530 :: Nat) :: forall a6989586621681203138 m6989586621681203137. (~>) (m6989586621681203137 a6989586621681203138) (m6989586621681203137 [a6989586621681203138])
- type ReplicateMSym2 (a6989586621681203530 :: Nat) (a6989586621681203531 :: m6989586621681203137 a6989586621681203138) = ReplicateM a6989586621681203530 a6989586621681203531
- data ReplicateM_Sym0 :: forall a6989586621681203136 m6989586621681203135. (~>) Nat ((~>) (m6989586621681203135 a6989586621681203136) (m6989586621681203135 ()))
- data ReplicateM_Sym1 (a6989586621681203511 :: Nat) :: forall a6989586621681203136 m6989586621681203135. (~>) (m6989586621681203135 a6989586621681203136) (m6989586621681203135 ())
- type ReplicateM_Sym2 (a6989586621681203511 :: Nat) (a6989586621681203512 :: m6989586621681203135 a6989586621681203136) = ReplicateM_ a6989586621681203511 a6989586621681203512
- data GuardSym0 :: forall f6989586621679545882. (~>) Bool (f6989586621679545882 ())
- type GuardSym1 (a6989586621679546051 :: Bool) = Guard a6989586621679546051
- data WhenSym0 :: forall f6989586621679545911. (~>) Bool ((~>) (f6989586621679545911 ()) (f6989586621679545911 ()))
- data WhenSym1 (a6989586621679546299 :: Bool) :: forall f6989586621679545911. (~>) (f6989586621679545911 ()) (f6989586621679545911 ())
- type WhenSym2 (a6989586621679546299 :: Bool) (a6989586621679546300 :: f6989586621679545911 ()) = When a6989586621679546299 a6989586621679546300
- data UnlessSym0 :: forall f6989586621681203134. (~>) Bool ((~>) (f6989586621681203134 ()) (f6989586621681203134 ()))
- data UnlessSym1 (a6989586621681203502 :: Bool) :: forall f6989586621681203134. (~>) (f6989586621681203134 ()) (f6989586621681203134 ())
- type UnlessSym2 (a6989586621681203502 :: Bool) (a6989586621681203503 :: f6989586621681203134 ()) = Unless a6989586621681203502 a6989586621681203503
- data LiftMSym0 :: forall a16989586621679545909 m6989586621679545908 r6989586621679545910. (~>) ((~>) a16989586621679545909 r6989586621679545910) ((~>) (m6989586621679545908 a16989586621679545909) (m6989586621679545908 r6989586621679545910))
- data LiftMSym1 (a6989586621679546286 :: (~>) a16989586621679545909 r6989586621679545910) :: forall m6989586621679545908. (~>) (m6989586621679545908 a16989586621679545909) (m6989586621679545908 r6989586621679545910)
- type LiftMSym2 (a6989586621679546286 :: (~>) a16989586621679545909 r6989586621679545910) (a6989586621679546287 :: m6989586621679545908 a16989586621679545909) = LiftM a6989586621679546286 a6989586621679546287
- data LiftM2Sym0 :: forall a16989586621679545905 a26989586621679545906 m6989586621679545904 r6989586621679545907. (~>) ((~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) ((~>) (m6989586621679545904 a16989586621679545905) ((~>) (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907)))
- data LiftM2Sym1 (a6989586621679546260 :: (~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) :: forall m6989586621679545904. (~>) (m6989586621679545904 a16989586621679545905) ((~>) (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907))
- data LiftM2Sym2 (a6989586621679546260 :: (~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) (a6989586621679546261 :: m6989586621679545904 a16989586621679545905) :: (~>) (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907)
- type LiftM2Sym3 (a6989586621679546260 :: (~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) (a6989586621679546261 :: m6989586621679545904 a16989586621679545905) (a6989586621679546262 :: m6989586621679545904 a26989586621679545906) = LiftM2 a6989586621679546260 a6989586621679546261 a6989586621679546262
- data LiftM3Sym0 :: forall a16989586621679545900 a26989586621679545901 a36989586621679545902 m6989586621679545899 r6989586621679545903. (~>) ((~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) ((~>) (m6989586621679545899 a16989586621679545900) ((~>) (m6989586621679545899 a26989586621679545901) ((~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903))))
- data LiftM3Sym1 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) :: forall m6989586621679545899. (~>) (m6989586621679545899 a16989586621679545900) ((~>) (m6989586621679545899 a26989586621679545901) ((~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903)))
- data LiftM3Sym2 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) :: (~>) (m6989586621679545899 a26989586621679545901) ((~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903))
- data LiftM3Sym3 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) (a6989586621679546220 :: m6989586621679545899 a26989586621679545901) :: (~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903)
- type LiftM3Sym4 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) (a6989586621679546220 :: m6989586621679545899 a26989586621679545901) (a6989586621679546221 :: m6989586621679545899 a36989586621679545902) = LiftM3 a6989586621679546218 a6989586621679546219 a6989586621679546220 a6989586621679546221
- data LiftM4Sym0 :: forall a16989586621679545894 a26989586621679545895 a36989586621679545896 a46989586621679545897 m6989586621679545893 r6989586621679545898. (~>) ((~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) ((~>) (m6989586621679545893 a16989586621679545894) ((~>) (m6989586621679545893 a26989586621679545895) ((~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898)))))
- data LiftM4Sym1 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) :: forall m6989586621679545893. (~>) (m6989586621679545893 a16989586621679545894) ((~>) (m6989586621679545893 a26989586621679545895) ((~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898))))
- data LiftM4Sym2 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) :: (~>) (m6989586621679545893 a26989586621679545895) ((~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898)))
- data LiftM4Sym3 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) :: (~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898))
- data LiftM4Sym4 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) (a6989586621679546160 :: m6989586621679545893 a36989586621679545896) :: (~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898)
- type LiftM4Sym5 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) (a6989586621679546160 :: m6989586621679545893 a36989586621679545896) (a6989586621679546161 :: m6989586621679545893 a46989586621679545897) = LiftM4 a6989586621679546157 a6989586621679546158 a6989586621679546159 a6989586621679546160 a6989586621679546161
- data LiftM5Sym0 :: forall a16989586621679545887 a26989586621679545888 a36989586621679545889 a46989586621679545890 a56989586621679545891 m6989586621679545886 r6989586621679545892. (~>) ((~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) ((~>) (m6989586621679545886 a16989586621679545887) ((~>) (m6989586621679545886 a26989586621679545888) ((~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892))))))
- data LiftM5Sym1 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) :: forall m6989586621679545886. (~>) (m6989586621679545886 a16989586621679545887) ((~>) (m6989586621679545886 a26989586621679545888) ((~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892)))))
- data LiftM5Sym2 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) :: (~>) (m6989586621679545886 a26989586621679545888) ((~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892))))
- data LiftM5Sym3 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) :: (~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892)))
- data LiftM5Sym4 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) :: (~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892))
- data LiftM5Sym5 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) (a6989586621679546078 :: m6989586621679545886 a46989586621679545890) :: (~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892)
- type LiftM5Sym6 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) (a6989586621679546078 :: m6989586621679545886 a46989586621679545890) (a6989586621679546079 :: m6989586621679545886 a56989586621679545891) = LiftM5 a6989586621679546074 a6989586621679546075 a6989586621679546076 a6989586621679546077 a6989586621679546078 a6989586621679546079
- data ApSym0 :: forall a6989586621679545884 b6989586621679545885 m6989586621679545883. (~>) (m6989586621679545883 ((~>) a6989586621679545884 b6989586621679545885)) ((~>) (m6989586621679545883 a6989586621679545884) (m6989586621679545883 b6989586621679545885))
- data ApSym1 (a6989586621679546053 :: m6989586621679545883 ((~>) a6989586621679545884 b6989586621679545885)) :: (~>) (m6989586621679545883 a6989586621679545884) (m6989586621679545883 b6989586621679545885)
- type ApSym2 (a6989586621679546053 :: m6989586621679545883 ((~>) a6989586621679545884 b6989586621679545885)) (a6989586621679546054 :: m6989586621679545883 a6989586621679545884) = Ap a6989586621679546053 a6989586621679546054
- data (<$!>@#@$) :: forall a6989586621681203132 b6989586621681203133 m6989586621681203131. (~>) ((~>) a6989586621681203132 b6989586621681203133) ((~>) (m6989586621681203131 a6989586621681203132) (m6989586621681203131 b6989586621681203133))
- data (<$!>@#@$$) (a6989586621681203485 :: (~>) a6989586621681203132 b6989586621681203133) :: forall m6989586621681203131. (~>) (m6989586621681203131 a6989586621681203132) (m6989586621681203131 b6989586621681203133)
- type (<$!>@#@$$$) (a6989586621681203485 :: (~>) a6989586621681203132 b6989586621681203133) (a6989586621681203486 :: m6989586621681203131 a6989586621681203132) = (<$!>) a6989586621681203485 a6989586621681203486
Documentation
class PFunctor (f :: Type -> Type) Source #
Instances
PFunctor [] Source # | |
PFunctor Maybe Source # | |
PFunctor Min Source # | |
PFunctor Max Source # | |
PFunctor First Source # | |
PFunctor Last Source # | |
PFunctor Option Source # | |
PFunctor Identity Source # | |
PFunctor First Source # | |
PFunctor Last Source # | |
PFunctor Dual Source # | |
PFunctor Sum Source # | |
PFunctor Product Source # | |
PFunctor Down Source # | |
PFunctor NonEmpty Source # | |
PFunctor (Either a) Source # | |
PFunctor ((,) a) Source # | |
PFunctor (Arg a) Source # | |
PFunctor (Const m :: Type -> Type) Source # | |
class SFunctor (f :: Type -> Type) where Source #
Methods
sFmap :: forall a b (t :: (~>) a b) (t :: f a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t :: f b) Source #
Instances
SFunctor [] Source # | |
SFunctor Maybe Source # | |
SFunctor Min Source # | |
SFunctor Max Source # | |
SFunctor First Source # | |
SFunctor Last Source # | |
SFunctor Option Source # | |
SFunctor Identity Source # | |
SFunctor First Source # | |
SFunctor Last Source # | |
SFunctor Dual Source # | |
SFunctor Sum Source # | |
SFunctor Product Source # | |
SFunctor Down Source # | |
SFunctor NonEmpty Source # | |
SFunctor (Either a) Source # | |
SFunctor ((,) a) Source # | |
SFunctor (Arg a) Source # | |
SFunctor (Const m :: Type -> Type) Source # | |
class PApplicative m => PMonad (m :: Type -> Type) Source #
Associated Types
type (arg :: m a) >>= (arg :: (~>) a (m b)) :: m b infixl 1 Source #
type (arg :: m a) >> (arg :: m b) :: m b infixl 1 Source #
Instances
PMonad [] Source # | |
PMonad Maybe Source # | |
PMonad Min Source # | |
PMonad Max Source # | |
PMonad First Source # | |
PMonad Last Source # | |
PMonad Option Source # | |
PMonad Identity Source # | |
PMonad First Source # | |
PMonad Last Source # | |
PMonad Dual Source # | |
PMonad Sum Source # | |
PMonad Product Source # | |
PMonad Down Source # | |
PMonad NonEmpty Source # | |
PMonad (Either e) Source # | |
PMonad ((,) a) Source # | |
class SApplicative m => SMonad (m :: Type -> Type) where Source #
Minimal complete definition
Methods
(%>>=) :: forall a b (t :: m a) (t :: (~>) a (m b)). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t :: m b) infixl 1 Source #
(%>>) :: forall a b (t :: m a) (t :: m b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t :: m b) infixl 1 Source #
sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t :: m a) Source #
sFail :: forall a (t :: Symbol). Sing t -> Sing (Apply FailSym0 t :: m a) Source #
(%>>) :: forall a b (t :: m a) (t :: m b). (Apply (Apply (>>@#@$) t) t :: m b) ~ Apply (Apply TFHelper_6989586621679546492Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t :: m b) infixl 1 Source #
sReturn :: forall a (t :: a). (Apply ReturnSym0 t :: m a) ~ Apply Return_6989586621679546502Sym0 t => Sing t -> Sing (Apply ReturnSym0 t :: m a) Source #
sFail :: forall a (t :: Symbol). (Apply FailSym0 t :: m a) ~ Apply Fail_6989586621679546509Sym0 t => Sing t -> Sing (Apply FailSym0 t :: m a) Source #
Instances
class (PAlternative m, PMonad m) => PMonadPlus (m :: Type -> Type) Source #
Instances
PMonadPlus [] Source # | |
PMonadPlus Maybe Source # | |
PMonadPlus Option Source # | |
class (SAlternative m, SMonad m) => SMonadPlus (m :: Type -> Type) where Source #
Minimal complete definition
Nothing
Methods
sMzero :: forall a. Sing (MzeroSym0 :: m a) Source #
sMplus :: forall a (t :: m a) (t :: m a). Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t :: m a) Source #
sMzero :: forall a. (MzeroSym0 :: m a) ~ Mzero_6989586621679546520Sym0 => Sing (MzeroSym0 :: m a) Source #
sMplus :: forall a (t :: m a) (t :: m a). (Apply (Apply MplusSym0 t) t :: m a) ~ Apply (Apply Mplus_6989586621679546534Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t :: m a) Source #
Instances
SMonadPlus [] Source # | |
SMonadPlus Maybe Source # | |
SMonadPlus Option Source # | |
type family MapM (arg :: (~>) a (m b)) (arg :: t a) :: m (t b) Source #
Instances
sMapM :: forall m a b (t :: (~>) a (m b)) (t :: t a). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t :: m (t b)) Source #
sMapM_ :: forall t m a b (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ()) Source #
sForM :: forall t m a b (t :: t a) (t :: (~>) a (m b)). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForMSym0 t) t :: m (t b)) Source #
type family Sequence (arg :: t (m a)) :: m (t a) Source #
Instances
sSequence :: forall m a (t :: t (m a)). (STraversable t, SMonad m) => Sing t -> Sing (Apply SequenceSym0 t :: m (t a)) Source #
type family Sequence_ (a :: t (m a)) :: m () where ... Source #
Equations
Sequence_ a_6989586621680448977 = Apply (Apply (Apply FoldrSym0 (>>@#@$)) (Apply ReturnSym0 Tuple0Sym0)) a_6989586621680448977 |
sSequence_ :: forall t m a (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ()) Source #
(%=<<) :: forall m a b (t :: (~>) a (m b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (=<<@#@$) t) t :: m b) infixr 1 Source #
type family ((a :: (~>) a (m b)) >=> (a :: (~>) b (m c))) (a :: a) :: m c where ... infixr 1 Source #
(%>=>) :: forall m a b c (t :: (~>) a (m b)) (t :: (~>) b (m c)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (>=>@#@$) t) t) t :: m c) infixr 1 Source #
type family ((a :: (~>) b (m c)) <=< (a :: (~>) a (m b))) (a :: a) :: m c where ... infixr 1 Source #
(%<=<) :: forall m b c a (t :: (~>) b (m c)) (t :: (~>) a (m b)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (<=<@#@$) t) t) t :: m c) infixr 1 Source #
type family Void (a :: f a) :: f () where ... Source #
Equations
Void x = Apply (Apply (<$@#@$) Tuple0Sym0) x |
sMsum :: forall t m a (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a) Source #
sMfilter :: forall m a (t :: (~>) a Bool) (t :: m a). SMonadPlus m => Sing t -> Sing t -> Sing (Apply (Apply MfilterSym0 t) t :: m a) Source #
sFilterM :: forall m a (t :: (~>) a (m Bool)) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply FilterMSym0 t) t :: m [a]) Source #
type family MapAndUnzipM (a :: (~>) a (m (b, c))) (a :: [a]) :: m ([b], [c]) where ... Source #
Equations
MapAndUnzipM f xs = Apply (Apply (<$>@#@$) UnzipSym0) (Apply (Apply TraverseSym0 f) xs) |
sMapAndUnzipM :: forall m a b c (t :: (~>) a (m (b, c))) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply MapAndUnzipMSym0 t) t :: m ([b], [c])) Source #
type family ZipWithM (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m [c] where ... Source #
Equations
ZipWithM f xs ys = Apply SequenceASym0 (Apply (Apply (Apply ZipWithSym0 f) xs) ys) |
sZipWithM :: forall m a b c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithMSym0 t) t) t :: m [c]) Source #
type family ZipWithM_ (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m () where ... Source #
Equations
ZipWithM_ f xs ys = Apply SequenceA_Sym0 (Apply (Apply (Apply ZipWithSym0 f) xs) ys) |
sZipWithM_ :: forall m a b c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithM_Sym0 t) t) t :: m ()) Source #
sFoldlM :: forall t m b a (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b) Source #
type family ReplicateM (a :: Nat) (a :: m a) :: m [a] where ... Source #
Equations
ReplicateM cnt0 f = Apply (Let6989586621681203536LoopSym2 cnt0 f) cnt0 |
sReplicateM :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateMSym0 t) t :: m [a]) Source #
type family ReplicateM_ (a :: Nat) (a :: m a) :: m () where ... Source #
Equations
ReplicateM_ cnt0 f = Apply (Let6989586621681203517LoopSym2 cnt0 f) cnt0 |
sReplicateM_ :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateM_Sym0 t) t :: m ()) Source #
sGuard :: forall f (t :: Bool). SAlternative f => Sing t -> Sing (Apply GuardSym0 t :: f ()) Source #
type family When (a :: Bool) (a :: f ()) :: f () where ... Source #
Equations
When p s = Case_6989586621679546305 p s p |
sWhen :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply WhenSym0 t) t :: f ()) Source #
type family Unless (a :: Bool) (a :: f ()) :: f () where ... Source #
Equations
Unless p s = Case_6989586621681203508 p s p |
sUnless :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply UnlessSym0 t) t :: f ()) Source #
sLiftM :: forall m a1 r (t :: (~>) a1 r) (t :: m a1). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply LiftMSym0 t) t :: m r) Source #
sLiftM2 :: forall m a1 a2 r (t :: (~>) a1 ((~>) a2 r)) (t :: m a1) (t :: m a2). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftM2Sym0 t) t) t :: m r) Source #
type family LiftM3 (a :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a :: m a1) (a :: m a2) (a :: m a3) :: m r where ... Source #
sLiftM3 :: forall m a1 a2 a3 r (t :: (~>) a1 ((~>) a2 ((~>) a3 r))) (t :: m a1) (t :: m a2) (t :: m a3). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply LiftM3Sym0 t) t) t) t :: m r) Source #
type family LiftM4 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) :: m r where ... Source #
sLiftM4 :: forall m a1 a2 a3 a4 r (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply LiftM4Sym0 t) t) t) t) t :: m r) Source #
type family LiftM5 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) (a :: m a5) :: m r where ... Source #
sLiftM5 :: forall m a1 a2 a3 a4 a5 r (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4) (t :: m a5). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply LiftM5Sym0 t) t) t) t) t) t :: m r) Source #
sAp :: forall m a b (t :: m ((~>) a b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply ApSym0 t) t :: m b) Source #
(%<$!>) :: forall m a b (t :: (~>) a b) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (<$!>@#@$) t) t :: m b) infixl 4 Source #
Defunctionalization symbols
data FmapSym0 :: forall a6989586621679545962 b6989586621679545963 f6989586621679545961. (~>) ((~>) a6989586621679545962 b6989586621679545963) ((~>) (f6989586621679545961 a6989586621679545962) (f6989586621679545961 b6989586621679545963)) Source #
Instances
SFunctor f => SingI (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) Source # | |
SuppressUnusedWarnings (FmapSym0 :: TyFun (a6989586621679545962 ~> b6989586621679545963) (f6989586621679545961 a6989586621679545962 ~> f6989586621679545961 b6989586621679545963) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (FmapSym0 :: TyFun (a6989586621679545962 ~> b6989586621679545963) (f6989586621679545961 a6989586621679545962 ~> f6989586621679545961 b6989586621679545963) -> Type) (arg6989586621679546355 :: a6989586621679545962 ~> b6989586621679545963) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (FmapSym0 :: TyFun (a6989586621679545962 ~> b6989586621679545963) (f6989586621679545961 a6989586621679545962 ~> f6989586621679545961 b6989586621679545963) -> Type) (arg6989586621679546355 :: a6989586621679545962 ~> b6989586621679545963) = (FmapSym1 arg6989586621679546355 f6989586621679545961 :: TyFun (f6989586621679545961 a6989586621679545962) (f6989586621679545961 b6989586621679545963) -> Type) |
data FmapSym1 (arg6989586621679546355 :: (~>) a6989586621679545962 b6989586621679545963) :: forall f6989586621679545961. (~>) (f6989586621679545961 a6989586621679545962) (f6989586621679545961 b6989586621679545963) Source #
Instances
(SFunctor f, SingI d) => SingI (FmapSym1 d f :: TyFun (f a) (f b) -> Type) Source # | |
SuppressUnusedWarnings (FmapSym1 arg6989586621679546355 f6989586621679545961 :: TyFun (f6989586621679545961 a6989586621679545962) (f6989586621679545961 b6989586621679545963) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (FmapSym1 arg6989586621679546355 f :: TyFun (f a) (f b) -> Type) (arg6989586621679546356 :: f a) Source # | |
type FmapSym2 (arg6989586621679546355 :: (~>) a6989586621679545962 b6989586621679545963) (arg6989586621679546356 :: f6989586621679545961 a6989586621679545962) = Fmap arg6989586621679546355 arg6989586621679546356 Source #
data (>>=@#@$) :: forall a6989586621679545991 b6989586621679545992 m6989586621679545990. (~>) (m6989586621679545990 a6989586621679545991) ((~>) ((~>) a6989586621679545991 (m6989586621679545990 b6989586621679545992)) (m6989586621679545990 b6989586621679545992)) infixl 1 Source #
Instances
SMonad m => SingI ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) Source # | |
SuppressUnusedWarnings ((>>=@#@$) :: TyFun (m6989586621679545990 a6989586621679545991) ((a6989586621679545991 ~> m6989586621679545990 b6989586621679545992) ~> m6989586621679545990 b6989586621679545992) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((>>=@#@$) :: TyFun (m6989586621679545990 a6989586621679545991) ((a6989586621679545991 ~> m6989586621679545990 b6989586621679545992) ~> m6989586621679545990 b6989586621679545992) -> Type) (arg6989586621679546462 :: m6989586621679545990 a6989586621679545991) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((>>=@#@$) :: TyFun (m6989586621679545990 a6989586621679545991) ((a6989586621679545991 ~> m6989586621679545990 b6989586621679545992) ~> m6989586621679545990 b6989586621679545992) -> Type) (arg6989586621679546462 :: m6989586621679545990 a6989586621679545991) = (arg6989586621679546462 >>=@#@$$ b6989586621679545992 :: TyFun (a6989586621679545991 ~> m6989586621679545990 b6989586621679545992) (m6989586621679545990 b6989586621679545992) -> Type) |
data (>>=@#@$$) (arg6989586621679546462 :: m6989586621679545990 a6989586621679545991) :: forall b6989586621679545992. (~>) ((~>) a6989586621679545991 (m6989586621679545990 b6989586621679545992)) (m6989586621679545990 b6989586621679545992) infixl 1 Source #
Instances
(SMonad m, SingI d) => SingI (d >>=@#@$$ b :: TyFun (a ~> m b) (m b) -> Type) Source # | |
SuppressUnusedWarnings (arg6989586621679546462 >>=@#@$$ b6989586621679545992 :: TyFun (a6989586621679545991 ~> m6989586621679545990 b6989586621679545992) (m6989586621679545990 b6989586621679545992) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (arg6989586621679546462 >>=@#@$$ b :: TyFun (a ~> m b) (m b) -> Type) (arg6989586621679546463 :: a ~> m b) Source # | |
type (>>=@#@$$$) (arg6989586621679546462 :: m6989586621679545990 a6989586621679545991) (arg6989586621679546463 :: (~>) a6989586621679545991 (m6989586621679545990 b6989586621679545992)) = (>>=) arg6989586621679546462 arg6989586621679546463 Source #
data (>>@#@$) :: forall a6989586621679545993 b6989586621679545994 m6989586621679545990. (~>) (m6989586621679545990 a6989586621679545993) ((~>) (m6989586621679545990 b6989586621679545994) (m6989586621679545990 b6989586621679545994)) infixl 1 Source #
Instances
SMonad m => SingI ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) Source # | |
SuppressUnusedWarnings ((>>@#@$) :: TyFun (m6989586621679545990 a6989586621679545993) (m6989586621679545990 b6989586621679545994 ~> m6989586621679545990 b6989586621679545994) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((>>@#@$) :: TyFun (m6989586621679545990 a6989586621679545993) (m6989586621679545990 b6989586621679545994 ~> m6989586621679545990 b6989586621679545994) -> Type) (arg6989586621679546466 :: m6989586621679545990 a6989586621679545993) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((>>@#@$) :: TyFun (m6989586621679545990 a6989586621679545993) (m6989586621679545990 b6989586621679545994 ~> m6989586621679545990 b6989586621679545994) -> Type) (arg6989586621679546466 :: m6989586621679545990 a6989586621679545993) = (arg6989586621679546466 >>@#@$$ b6989586621679545994 :: TyFun (m6989586621679545990 b6989586621679545994) (m6989586621679545990 b6989586621679545994) -> Type) |
data (>>@#@$$) (arg6989586621679546466 :: m6989586621679545990 a6989586621679545993) :: forall b6989586621679545994. (~>) (m6989586621679545990 b6989586621679545994) (m6989586621679545990 b6989586621679545994) infixl 1 Source #
Instances
(SMonad m, SingI d) => SingI (d >>@#@$$ b :: TyFun (m b) (m b) -> Type) Source # | |
SuppressUnusedWarnings (arg6989586621679546466 >>@#@$$ b6989586621679545994 :: TyFun (m6989586621679545990 b6989586621679545994) (m6989586621679545990 b6989586621679545994) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (arg6989586621679546466 >>@#@$$ b :: TyFun (m b) (m b) -> Type) (arg6989586621679546467 :: m b) Source # | |
type (>>@#@$$$) (arg6989586621679546466 :: m6989586621679545990 a6989586621679545993) (arg6989586621679546467 :: m6989586621679545990 b6989586621679545994) = (>>) arg6989586621679546466 arg6989586621679546467 Source #
data ReturnSym0 :: forall a6989586621679545995 m6989586621679545990. (~>) a6989586621679545995 (m6989586621679545990 a6989586621679545995) Source #
Instances
SMonad m => SingI (ReturnSym0 :: TyFun a (m a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing ReturnSym0 Source # | |
SuppressUnusedWarnings (ReturnSym0 :: TyFun a6989586621679545995 (m6989586621679545990 a6989586621679545995) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReturnSym0 :: TyFun a (m6989586621679545990 a) -> Type) (arg6989586621679546470 :: a) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (ReturnSym0 :: TyFun a (m6989586621679545990 a) -> Type) (arg6989586621679546470 :: a) = (Return arg6989586621679546470 :: m6989586621679545990 a) |
type ReturnSym1 (arg6989586621679546470 :: a6989586621679545995) = Return arg6989586621679546470 Source #
data FailSym0 :: forall a6989586621679545996 m6989586621679545990. (~>) Symbol (m6989586621679545990 a6989586621679545996) Source #
Instances
SMonad m => SingI (FailSym0 :: TyFun Symbol (m a) -> Type) Source # | |
SuppressUnusedWarnings (FailSym0 :: TyFun Symbol (m6989586621679545990 a6989586621679545996) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (FailSym0 :: TyFun Symbol (m6989586621679545990 a6989586621679545996) -> Type) (arg6989586621679546472 :: Symbol) Source # | |
data MplusSym0 :: forall a6989586621679546048 m6989586621679546046. (~>) (m6989586621679546046 a6989586621679546048) ((~>) (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048)) Source #
Instances
SMonadPlus m => SingI (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) Source # | |
SuppressUnusedWarnings (MplusSym0 :: TyFun (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048 ~> m6989586621679546046 a6989586621679546048) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (MplusSym0 :: TyFun (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048 ~> m6989586621679546046 a6989586621679546048) -> Type) (arg6989586621679546516 :: m6989586621679546046 a6989586621679546048) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal |
data MplusSym1 (arg6989586621679546516 :: m6989586621679546046 a6989586621679546048) :: (~>) (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048) Source #
Instances
(SMonadPlus m, SingI d) => SingI (MplusSym1 d :: TyFun (m a) (m a) -> Type) Source # | |
SuppressUnusedWarnings (MplusSym1 arg6989586621679546516 :: TyFun (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (MplusSym1 arg6989586621679546516 :: TyFun (m a) (m a) -> Type) (arg6989586621679546517 :: m a) Source # | |
type MplusSym2 (arg6989586621679546516 :: m6989586621679546046 a6989586621679546048) (arg6989586621679546517 :: m6989586621679546046 a6989586621679546048) = Mplus arg6989586621679546516 arg6989586621679546517 Source #
data MapMSym0 :: forall a6989586621680744892 b6989586621680744893 m6989586621680744891 t6989586621680744885. (~>) ((~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) ((~>) (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893))) Source #
Instances
(STraversable t, SMonad m) => SingI (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (MapMSym0 :: TyFun (a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) (t6989586621680744885 a6989586621680744892 ~> m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapMSym0 :: TyFun (a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) (t6989586621680744885 a6989586621680744892 ~> m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) (arg6989586621680744903 :: a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (MapMSym0 :: TyFun (a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) (t6989586621680744885 a6989586621680744892 ~> m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) (arg6989586621680744903 :: a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) = (MapMSym1 arg6989586621680744903 t6989586621680744885 :: TyFun (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) |
data MapMSym1 (arg6989586621680744903 :: (~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) :: forall t6989586621680744885. (~>) (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893)) Source #
Instances
(STraversable t, SMonad m, SingI d) => SingI (MapMSym1 d t :: TyFun (t a) (m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (MapMSym1 arg6989586621680744903 t6989586621680744885 :: TyFun (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapMSym1 arg6989586621680744903 t :: TyFun (t a) (m (t b)) -> Type) (arg6989586621680744904 :: t a) Source # | |
type MapMSym2 (arg6989586621680744903 :: (~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) (arg6989586621680744904 :: t6989586621680744885 a6989586621680744892) = MapM arg6989586621680744903 arg6989586621680744904 Source #
data MapM_Sym0 :: forall a6989586621680448389 b6989586621680448390 m6989586621680448388 t6989586621680448387. (~>) ((~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) ((~>) (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ())) Source #
Instances
(SFoldable t, SMonad m) => SingI (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) Source # | |
SuppressUnusedWarnings (MapM_Sym0 :: TyFun (a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) (t6989586621680448387 a6989586621680448389 ~> m6989586621680448388 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapM_Sym0 :: TyFun (a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) (t6989586621680448387 a6989586621680448389 ~> m6989586621680448388 ()) -> Type) (a6989586621680448987 :: a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) Source # | |
Defined in Data.Singletons.Prelude.Foldable type Apply (MapM_Sym0 :: TyFun (a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) (t6989586621680448387 a6989586621680448389 ~> m6989586621680448388 ()) -> Type) (a6989586621680448987 :: a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) = (MapM_Sym1 a6989586621680448987 t6989586621680448387 :: TyFun (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ()) -> Type) |
data MapM_Sym1 (a6989586621680448987 :: (~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) :: forall t6989586621680448387. (~>) (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ()) Source #
Instances
(SFoldable t, SMonad m, SingI d) => SingI (MapM_Sym1 d t :: TyFun (t a) (m ()) -> Type) Source # | |
SuppressUnusedWarnings (MapM_Sym1 a6989586621680448987 t6989586621680448387 :: TyFun (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapM_Sym1 a6989586621680448987 t :: TyFun (t a) (m ()) -> Type) (a6989586621680448988 :: t a) Source # | |
type MapM_Sym2 (a6989586621680448987 :: (~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) (a6989586621680448988 :: t6989586621680448387 a6989586621680448389) = MapM_ a6989586621680448987 a6989586621680448988 Source #
data ForMSym0 :: forall a6989586621680750468 b6989586621680750469 m6989586621680750467 t6989586621680750466. (~>) (t6989586621680750466 a6989586621680750468) ((~>) ((~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) (m6989586621680750467 (t6989586621680750466 b6989586621680750469))) Source #
Instances
(STraversable t, SMonad m) => SingI (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (ForMSym0 :: TyFun (t6989586621680750466 a6989586621680750468) ((a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) ~> m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (ForMSym0 :: TyFun (t6989586621680750466 a6989586621680750468) ((a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) ~> m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (ForMSym0 :: TyFun (t6989586621680750466 a6989586621680750468) ((a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) ~> m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) = (ForMSym1 a6989586621680751023 b6989586621680750469 m6989586621680750467 :: TyFun (a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) (m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) |
data ForMSym1 (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) :: forall b6989586621680750469 m6989586621680750467. (~>) ((~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) (m6989586621680750467 (t6989586621680750466 b6989586621680750469)) Source #
Instances
(STraversable t, SMonad m, SingI d) => SingI (ForMSym1 d b m :: TyFun (a ~> m b) (m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (ForMSym1 a6989586621680751023 b6989586621680750469 m6989586621680750467 :: TyFun (a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) (m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (ForMSym1 a6989586621680751023 b m :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680751024 :: a ~> m b) Source # | |
type ForMSym2 (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) (a6989586621680751024 :: (~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) = ForM a6989586621680751023 a6989586621680751024 Source #
data SequenceSym0 :: forall a6989586621680744895 m6989586621680744894 t6989586621680744885. (~>) (t6989586621680744885 (m6989586621680744894 a6989586621680744895)) (m6989586621680744894 (t6989586621680744885 a6989586621680744895)) Source #
Instances
(STraversable t, SMonad m) => SingI (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods sing :: Sing SequenceSym0 Source # | |
SuppressUnusedWarnings (SequenceSym0 :: TyFun (t6989586621680744885 (m6989586621680744894 a6989586621680744895)) (m6989586621680744894 (t6989586621680744885 a6989586621680744895)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (arg6989586621680744907 :: t (m a)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (arg6989586621680744907 :: t (m a)) = Sequence arg6989586621680744907 |
type SequenceSym1 (arg6989586621680744907 :: t6989586621680744885 (m6989586621680744894 a6989586621680744895)) = Sequence arg6989586621680744907 Source #
data Sequence_Sym0 :: forall a6989586621680448379 m6989586621680448378 t6989586621680448377. (~>) (t6989586621680448377 (m6989586621680448378 a6989586621680448379)) (m6989586621680448378 ()) Source #
Instances
(SFoldable t, SMonad m) => SingI (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing Sequence_Sym0 Source # | |
SuppressUnusedWarnings (Sequence_Sym0 :: TyFun (t6989586621680448377 (m6989586621680448378 a6989586621680448379)) (m6989586621680448378 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680448979 :: t (m a)) Source # | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680448979 :: t (m a)) = Sequence_ a6989586621680448979 |
type Sequence_Sym1 (a6989586621680448979 :: t6989586621680448377 (m6989586621680448378 a6989586621680448379)) = Sequence_ a6989586621680448979 Source #
data (=<<@#@$) :: forall a6989586621679545913 b6989586621679545914 m6989586621679545912. (~>) ((~>) a6989586621679545913 (m6989586621679545912 b6989586621679545914)) ((~>) (m6989586621679545912 a6989586621679545913) (m6989586621679545912 b6989586621679545914)) infixr 1 Source #
Instances
SMonad m => SingI ((=<<@#@$) :: TyFun (a ~> m b) (m a ~> m b) -> Type) Source # | |
SuppressUnusedWarnings ((=<<@#@$) :: TyFun (a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) (m6989586621679545912 a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((=<<@#@$) :: TyFun (a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) (m6989586621679545912 a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) -> Type) (a6989586621679546308 :: a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((=<<@#@$) :: TyFun (a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) (m6989586621679545912 a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) -> Type) (a6989586621679546308 :: a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) = (=<<@#@$$) a6989586621679546308 |
data (=<<@#@$$) (a6989586621679546308 :: (~>) a6989586621679545913 (m6989586621679545912 b6989586621679545914)) :: (~>) (m6989586621679545912 a6989586621679545913) (m6989586621679545912 b6989586621679545914) infixr 1 Source #
Instances
(SMonad m, SingI d) => SingI ((=<<@#@$$) d :: TyFun (m a) (m b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing ((=<<@#@$$) d) Source # | |
SuppressUnusedWarnings ((=<<@#@$$) a6989586621679546308 :: TyFun (m6989586621679545912 a6989586621679545913) (m6989586621679545912 b6989586621679545914) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((=<<@#@$$) a6989586621679546308 :: TyFun (m a) (m b) -> Type) (a6989586621679546309 :: m a) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((=<<@#@$$) a6989586621679546308 :: TyFun (m a) (m b) -> Type) (a6989586621679546309 :: m a) = a6989586621679546308 =<< a6989586621679546309 |
type (=<<@#@$$$) (a6989586621679546308 :: (~>) a6989586621679545913 (m6989586621679545912 b6989586621679545914)) (a6989586621679546309 :: m6989586621679545912 a6989586621679545913) = (=<<) a6989586621679546308 a6989586621679546309 Source #
data (>=>@#@$) :: forall a6989586621681203164 b6989586621681203165 c6989586621681203166 m6989586621681203163. (~>) ((~>) a6989586621681203164 (m6989586621681203163 b6989586621681203165)) ((~>) ((~>) b6989586621681203165 (m6989586621681203163 c6989586621681203166)) ((~>) a6989586621681203164 (m6989586621681203163 c6989586621681203166))) infixr 1 Source #
Instances
SMonad m => SingI ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) Source # | |
SuppressUnusedWarnings ((>=>@#@$) :: TyFun (a6989586621681203164 ~> m6989586621681203163 b6989586621681203165) ((b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) ~> (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply ((>=>@#@$) :: TyFun (a6989586621681203164 ~> m6989586621681203163 b6989586621681203165) ((b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) ~> (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166)) -> Type) (a6989586621681203597 :: a6989586621681203164 ~> m6989586621681203163 b6989586621681203165) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply ((>=>@#@$) :: TyFun (a6989586621681203164 ~> m6989586621681203163 b6989586621681203165) ((b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) ~> (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166)) -> Type) (a6989586621681203597 :: a6989586621681203164 ~> m6989586621681203163 b6989586621681203165) = (a6989586621681203597 >=>@#@$$ c6989586621681203166 :: TyFun (b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166) -> Type) |
data (>=>@#@$$) (a6989586621681203597 :: (~>) a6989586621681203164 (m6989586621681203163 b6989586621681203165)) :: forall c6989586621681203166. (~>) ((~>) b6989586621681203165 (m6989586621681203163 c6989586621681203166)) ((~>) a6989586621681203164 (m6989586621681203163 c6989586621681203166)) infixr 1 Source #
Instances
(SMonad m, SingI d) => SingI (d >=>@#@$$ c :: TyFun (b ~> m c) (a ~> m c) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621681203597 >=>@#@$$ c6989586621681203166 :: TyFun (b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621681203597 >=>@#@$$ c6989586621681203166 :: TyFun (b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166) -> Type) (a6989586621681203598 :: b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (a6989586621681203597 >=>@#@$$ c6989586621681203166 :: TyFun (b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166) -> Type) (a6989586621681203598 :: b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) = a6989586621681203597 >=>@#@$$$ a6989586621681203598 |
data (a6989586621681203597 :: (~>) a6989586621681203164 (m6989586621681203163 b6989586621681203165)) >=>@#@$$$ (a6989586621681203598 :: (~>) b6989586621681203165 (m6989586621681203163 c6989586621681203166)) :: (~>) a6989586621681203164 (m6989586621681203163 c6989586621681203166) infixr 1 Source #
Instances
(SMonad m, SingI d1, SingI d2) => SingI (d1 >=>@#@$$$ d2 :: TyFun a (m c) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621681203598 >=>@#@$$$ a6989586621681203597 :: TyFun a6989586621681203164 (m6989586621681203163 c6989586621681203166) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621681203598 >=>@#@$$$ a6989586621681203597 :: TyFun a (m c) -> Type) (a6989586621681203599 :: a) Source # | |
data (<=<@#@$) :: forall a6989586621681203162 b6989586621681203160 c6989586621681203161 m6989586621681203159. (~>) ((~>) b6989586621681203160 (m6989586621681203159 c6989586621681203161)) ((~>) ((~>) a6989586621681203162 (m6989586621681203159 b6989586621681203160)) ((~>) a6989586621681203162 (m6989586621681203159 c6989586621681203161))) infixr 1 Source #
Instances
SMonad m => SingI ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) Source # | |
SuppressUnusedWarnings ((<=<@#@$) :: TyFun (b6989586621681203160 ~> m6989586621681203159 c6989586621681203161) ((a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) ~> (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<=<@#@$) :: TyFun (b6989586621681203160 ~> m6989586621681203159 c6989586621681203161) ((a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) ~> (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161)) -> Type) (a6989586621681203622 :: b6989586621681203160 ~> m6989586621681203159 c6989586621681203161) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply ((<=<@#@$) :: TyFun (b6989586621681203160 ~> m6989586621681203159 c6989586621681203161) ((a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) ~> (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161)) -> Type) (a6989586621681203622 :: b6989586621681203160 ~> m6989586621681203159 c6989586621681203161) = (a6989586621681203622 <=<@#@$$ a6989586621681203162 :: TyFun (a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161) -> Type) |
data (<=<@#@$$) (a6989586621681203622 :: (~>) b6989586621681203160 (m6989586621681203159 c6989586621681203161)) :: forall a6989586621681203162. (~>) ((~>) a6989586621681203162 (m6989586621681203159 b6989586621681203160)) ((~>) a6989586621681203162 (m6989586621681203159 c6989586621681203161)) infixr 1 Source #
Instances
(SMonad m, SingI d) => SingI (d <=<@#@$$ a :: TyFun (a ~> m b) (a ~> m c) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621681203622 <=<@#@$$ a6989586621681203162 :: TyFun (a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621681203622 <=<@#@$$ a6989586621681203162 :: TyFun (a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161) -> Type) (a6989586621681203623 :: a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (a6989586621681203622 <=<@#@$$ a6989586621681203162 :: TyFun (a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161) -> Type) (a6989586621681203623 :: a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) = a6989586621681203622 <=<@#@$$$ a6989586621681203623 |
data (a6989586621681203622 :: (~>) b6989586621681203160 (m6989586621681203159 c6989586621681203161)) <=<@#@$$$ (a6989586621681203623 :: (~>) a6989586621681203162 (m6989586621681203159 b6989586621681203160)) :: (~>) a6989586621681203162 (m6989586621681203159 c6989586621681203161) infixr 1 Source #
Instances
(SMonad m, SingI d1, SingI d2) => SingI (d1 <=<@#@$$$ d2 :: TyFun a (m c) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621681203623 <=<@#@$$$ a6989586621681203622 :: TyFun a6989586621681203162 (m6989586621681203159 c6989586621681203161) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621681203623 <=<@#@$$$ a6989586621681203622 :: TyFun a (m c) -> Type) (a6989586621681203624 :: a) Source # | |
data VoidSym0 :: forall a6989586621679715289 f6989586621679715288. (~>) (f6989586621679715288 a6989586621679715289) (f6989586621679715288 ()) Source #
Instances
SFunctor f => SingI (VoidSym0 :: TyFun (f a) (f ()) -> Type) Source # | |
SuppressUnusedWarnings (VoidSym0 :: TyFun (f6989586621679715288 a6989586621679715289) (f6989586621679715288 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source # | |
type Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) (a6989586621679715360 :: f a) Source # | |
type VoidSym1 (a6989586621679715360 :: f6989586621679715288 a6989586621679715289) = Void a6989586621679715360 Source #
data JoinSym0 :: forall a6989586621679545916 m6989586621679545915. (~>) (m6989586621679545915 (m6989586621679545915 a6989586621679545916)) (m6989586621679545915 a6989586621679545916) Source #
Instances
SMonad m => SingI (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) Source # | |
SuppressUnusedWarnings (JoinSym0 :: TyFun (m6989586621679545915 (m6989586621679545915 a6989586621679545916)) (m6989586621679545915 a6989586621679545916) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) (a6989586621679546314 :: m (m a)) Source # | |
type JoinSym1 (a6989586621679546314 :: m6989586621679545915 (m6989586621679545915 a6989586621679545916)) = Join a6989586621679546314 Source #
data MsumSym0 :: forall a6989586621680448373 m6989586621680448372 t6989586621680448371. (~>) (t6989586621680448371 (m6989586621680448372 a6989586621680448373)) (m6989586621680448372 a6989586621680448373) Source #
Instances
(SFoldable t, SMonadPlus m) => SingI (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) Source # | |
SuppressUnusedWarnings (MsumSym0 :: TyFun (t6989586621680448371 (m6989586621680448372 a6989586621680448373)) (m6989586621680448372 a6989586621680448373) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621680448974 :: t (m a)) Source # | |
type MsumSym1 (a6989586621680448974 :: t6989586621680448371 (m6989586621680448372 a6989586621680448373)) = Msum a6989586621680448974 Source #
data MfilterSym0 :: forall a6989586621681203130 m6989586621681203129. (~>) ((~>) a6989586621681203130 Bool) ((~>) (m6989586621681203129 a6989586621681203130) (m6989586621681203129 a6989586621681203130)) Source #
Instances
SMonadPlus m => SingI (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing MfilterSym0 Source # | |
SuppressUnusedWarnings (MfilterSym0 :: TyFun (a6989586621681203130 ~> Bool) (m6989586621681203129 a6989586621681203130 ~> m6989586621681203129 a6989586621681203130) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (MfilterSym0 :: TyFun (a6989586621681203130 ~> Bool) (m6989586621681203129 a6989586621681203130 ~> m6989586621681203129 a6989586621681203130) -> Type) (a6989586621681203465 :: a6989586621681203130 ~> Bool) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (MfilterSym0 :: TyFun (a6989586621681203130 ~> Bool) (m6989586621681203129 a6989586621681203130 ~> m6989586621681203129 a6989586621681203130) -> Type) (a6989586621681203465 :: a6989586621681203130 ~> Bool) = (MfilterSym1 a6989586621681203465 m6989586621681203129 :: TyFun (m6989586621681203129 a6989586621681203130) (m6989586621681203129 a6989586621681203130) -> Type) |
data MfilterSym1 (a6989586621681203465 :: (~>) a6989586621681203130 Bool) :: forall m6989586621681203129. (~>) (m6989586621681203129 a6989586621681203130) (m6989586621681203129 a6989586621681203130) Source #
Instances
(SMonadPlus m, SingI d) => SingI (MfilterSym1 d m :: TyFun (m a) (m a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (MfilterSym1 d m) Source # | |
SuppressUnusedWarnings (MfilterSym1 a6989586621681203465 m6989586621681203129 :: TyFun (m6989586621681203129 a6989586621681203130) (m6989586621681203129 a6989586621681203130) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (MfilterSym1 a6989586621681203465 m :: TyFun (m a) (m a) -> Type) (a6989586621681203466 :: m a) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (MfilterSym1 a6989586621681203465 m :: TyFun (m a) (m a) -> Type) (a6989586621681203466 :: m a) = Mfilter a6989586621681203465 a6989586621681203466 |
type MfilterSym2 (a6989586621681203465 :: (~>) a6989586621681203130 Bool) (a6989586621681203466 :: m6989586621681203129 a6989586621681203130) = Mfilter a6989586621681203465 a6989586621681203466 Source #
data FilterMSym0 :: forall a6989586621681203168 m6989586621681203167. (~>) ((~>) a6989586621681203168 (m6989586621681203167 Bool)) ((~>) [a6989586621681203168] (m6989586621681203167 [a6989586621681203168])) Source #
Instances
SApplicative m => SingI (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing FilterMSym0 Source # | |
SuppressUnusedWarnings (FilterMSym0 :: TyFun (a6989586621681203168 ~> m6989586621681203167 Bool) ([a6989586621681203168] ~> m6989586621681203167 [a6989586621681203168]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (FilterMSym0 :: TyFun (a6989586621681203168 ~> m6989586621681203167 Bool) ([a6989586621681203168] ~> m6989586621681203167 [a6989586621681203168]) -> Type) (a6989586621681203631 :: a6989586621681203168 ~> m6989586621681203167 Bool) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (FilterMSym0 :: TyFun (a6989586621681203168 ~> m6989586621681203167 Bool) ([a6989586621681203168] ~> m6989586621681203167 [a6989586621681203168]) -> Type) (a6989586621681203631 :: a6989586621681203168 ~> m6989586621681203167 Bool) = FilterMSym1 a6989586621681203631 |
data FilterMSym1 (a6989586621681203631 :: (~>) a6989586621681203168 (m6989586621681203167 Bool)) :: (~>) [a6989586621681203168] (m6989586621681203167 [a6989586621681203168]) Source #
Instances
(SApplicative m, SingI d) => SingI (FilterMSym1 d :: TyFun [a] (m [a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (FilterMSym1 d) Source # | |
SuppressUnusedWarnings (FilterMSym1 a6989586621681203631 :: TyFun [a6989586621681203168] (m6989586621681203167 [a6989586621681203168]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (FilterMSym1 a6989586621681203631 :: TyFun [a] (m [a]) -> Type) (a6989586621681203632 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (FilterMSym1 a6989586621681203631 :: TyFun [a] (m [a]) -> Type) (a6989586621681203632 :: [a]) = FilterM a6989586621681203631 a6989586621681203632 |
type FilterMSym2 (a6989586621681203631 :: (~>) a6989586621681203168 (m6989586621681203167 Bool)) (a6989586621681203632 :: [a6989586621681203168]) = FilterM a6989586621681203631 a6989586621681203632 Source #
data MapAndUnzipMSym0 :: forall a6989586621681203156 b6989586621681203157 c6989586621681203158 m6989586621681203155. (~>) ((~>) a6989586621681203156 (m6989586621681203155 (b6989586621681203157, c6989586621681203158))) ((~>) [a6989586621681203156] (m6989586621681203155 ([b6989586621681203157], [c6989586621681203158]))) Source #
Instances
SApplicative m => SingI (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods | |
SuppressUnusedWarnings (MapAndUnzipMSym0 :: TyFun (a6989586621681203156 ~> m6989586621681203155 (b6989586621681203157, c6989586621681203158)) ([a6989586621681203156] ~> m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapAndUnzipMSym0 :: TyFun (a6989586621681203156 ~> m6989586621681203155 (b6989586621681203157, c6989586621681203158)) ([a6989586621681203156] ~> m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])) -> Type) (a6989586621681203591 :: a6989586621681203156 ~> m6989586621681203155 (b6989586621681203157, c6989586621681203158)) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (MapAndUnzipMSym0 :: TyFun (a6989586621681203156 ~> m6989586621681203155 (b6989586621681203157, c6989586621681203158)) ([a6989586621681203156] ~> m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])) -> Type) (a6989586621681203591 :: a6989586621681203156 ~> m6989586621681203155 (b6989586621681203157, c6989586621681203158)) = MapAndUnzipMSym1 a6989586621681203591 |
data MapAndUnzipMSym1 (a6989586621681203591 :: (~>) a6989586621681203156 (m6989586621681203155 (b6989586621681203157, c6989586621681203158))) :: (~>) [a6989586621681203156] (m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])) Source #
Instances
(SApplicative m, SingI d) => SingI (MapAndUnzipMSym1 d :: TyFun [a] (m ([b], [c])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (MapAndUnzipMSym1 d) Source # | |
SuppressUnusedWarnings (MapAndUnzipMSym1 a6989586621681203591 :: TyFun [a6989586621681203156] (m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapAndUnzipMSym1 a6989586621681203591 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681203592 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (MapAndUnzipMSym1 a6989586621681203591 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681203592 :: [a]) = MapAndUnzipM a6989586621681203591 a6989586621681203592 |
type MapAndUnzipMSym2 (a6989586621681203591 :: (~>) a6989586621681203156 (m6989586621681203155 (b6989586621681203157, c6989586621681203158))) (a6989586621681203592 :: [a6989586621681203156]) = MapAndUnzipM a6989586621681203591 a6989586621681203592 Source #
data ZipWithMSym0 :: forall a6989586621681203152 b6989586621681203153 c6989586621681203154 m6989586621681203151. (~>) ((~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) ((~>) [a6989586621681203152] ((~>) [b6989586621681203153] (m6989586621681203151 [c6989586621681203154]))) Source #
Instances
SApplicative m => SingI (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing ZipWithMSym0 Source # | |
SuppressUnusedWarnings (ZipWithMSym0 :: TyFun (a6989586621681203152 ~> (b6989586621681203153 ~> m6989586621681203151 c6989586621681203154)) ([a6989586621681203152] ~> ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithMSym0 :: TyFun (a6989586621681203152 ~> (b6989586621681203153 ~> m6989586621681203151 c6989586621681203154)) ([a6989586621681203152] ~> ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154])) -> Type) (a6989586621681203582 :: a6989586621681203152 ~> (b6989586621681203153 ~> m6989586621681203151 c6989586621681203154)) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithMSym0 :: TyFun (a6989586621681203152 ~> (b6989586621681203153 ~> m6989586621681203151 c6989586621681203154)) ([a6989586621681203152] ~> ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154])) -> Type) (a6989586621681203582 :: a6989586621681203152 ~> (b6989586621681203153 ~> m6989586621681203151 c6989586621681203154)) = ZipWithMSym1 a6989586621681203582 |
data ZipWithMSym1 (a6989586621681203582 :: (~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) :: (~>) [a6989586621681203152] ((~>) [b6989586621681203153] (m6989586621681203151 [c6989586621681203154])) Source #
Instances
(SApplicative m, SingI d) => SingI (ZipWithMSym1 d :: TyFun [a] ([b] ~> m [c]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithMSym1 d) Source # | |
SuppressUnusedWarnings (ZipWithMSym1 a6989586621681203582 :: TyFun [a6989586621681203152] ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithMSym1 a6989586621681203582 :: TyFun [a6989586621681203152] ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154]) -> Type) (a6989586621681203583 :: [a6989586621681203152]) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithMSym1 a6989586621681203582 :: TyFun [a6989586621681203152] ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154]) -> Type) (a6989586621681203583 :: [a6989586621681203152]) = ZipWithMSym2 a6989586621681203582 a6989586621681203583 |
data ZipWithMSym2 (a6989586621681203582 :: (~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) (a6989586621681203583 :: [a6989586621681203152]) :: (~>) [b6989586621681203153] (m6989586621681203151 [c6989586621681203154]) Source #
Instances
(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithMSym2 d1 d2 :: TyFun [b] (m [c]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithMSym2 d1 d2) Source # | |
SuppressUnusedWarnings (ZipWithMSym2 a6989586621681203583 a6989586621681203582 :: TyFun [b6989586621681203153] (m6989586621681203151 [c6989586621681203154]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithMSym2 a6989586621681203583 a6989586621681203582 :: TyFun [b] (m [c]) -> Type) (a6989586621681203584 :: [b]) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithMSym2 a6989586621681203583 a6989586621681203582 :: TyFun [b] (m [c]) -> Type) (a6989586621681203584 :: [b]) = ZipWithM a6989586621681203583 a6989586621681203582 a6989586621681203584 |
type ZipWithMSym3 (a6989586621681203582 :: (~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) (a6989586621681203583 :: [a6989586621681203152]) (a6989586621681203584 :: [b6989586621681203153]) = ZipWithM a6989586621681203582 a6989586621681203583 a6989586621681203584 Source #
data ZipWithM_Sym0 :: forall a6989586621681203148 b6989586621681203149 c6989586621681203150 m6989586621681203147. (~>) ((~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) ((~>) [a6989586621681203148] ((~>) [b6989586621681203149] (m6989586621681203147 ()))) Source #
Instances
SApplicative m => SingI (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing ZipWithM_Sym0 Source # | |
SuppressUnusedWarnings (ZipWithM_Sym0 :: TyFun (a6989586621681203148 ~> (b6989586621681203149 ~> m6989586621681203147 c6989586621681203150)) ([a6989586621681203148] ~> ([b6989586621681203149] ~> m6989586621681203147 ())) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithM_Sym0 :: TyFun (a6989586621681203148 ~> (b6989586621681203149 ~> m6989586621681203147 c6989586621681203150)) ([a6989586621681203148] ~> ([b6989586621681203149] ~> m6989586621681203147 ())) -> Type) (a6989586621681203573 :: a6989586621681203148 ~> (b6989586621681203149 ~> m6989586621681203147 c6989586621681203150)) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithM_Sym0 :: TyFun (a6989586621681203148 ~> (b6989586621681203149 ~> m6989586621681203147 c6989586621681203150)) ([a6989586621681203148] ~> ([b6989586621681203149] ~> m6989586621681203147 ())) -> Type) (a6989586621681203573 :: a6989586621681203148 ~> (b6989586621681203149 ~> m6989586621681203147 c6989586621681203150)) = ZipWithM_Sym1 a6989586621681203573 |
data ZipWithM_Sym1 (a6989586621681203573 :: (~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) :: (~>) [a6989586621681203148] ((~>) [b6989586621681203149] (m6989586621681203147 ())) Source #
Instances
(SApplicative m, SingI d) => SingI (ZipWithM_Sym1 d :: TyFun [a] ([b] ~> m ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithM_Sym1 d) Source # | |
SuppressUnusedWarnings (ZipWithM_Sym1 a6989586621681203573 :: TyFun [a6989586621681203148] ([b6989586621681203149] ~> m6989586621681203147 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithM_Sym1 a6989586621681203573 :: TyFun [a6989586621681203148] ([b6989586621681203149] ~> m6989586621681203147 ()) -> Type) (a6989586621681203574 :: [a6989586621681203148]) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithM_Sym1 a6989586621681203573 :: TyFun [a6989586621681203148] ([b6989586621681203149] ~> m6989586621681203147 ()) -> Type) (a6989586621681203574 :: [a6989586621681203148]) = ZipWithM_Sym2 a6989586621681203573 a6989586621681203574 |
data ZipWithM_Sym2 (a6989586621681203573 :: (~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) (a6989586621681203574 :: [a6989586621681203148]) :: (~>) [b6989586621681203149] (m6989586621681203147 ()) Source #
Instances
(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithM_Sym2 d1 d2 :: TyFun [b] (m ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ZipWithM_Sym2 d1 d2) Source # | |
SuppressUnusedWarnings (ZipWithM_Sym2 a6989586621681203574 a6989586621681203573 :: TyFun [b6989586621681203149] (m6989586621681203147 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithM_Sym2 a6989586621681203574 a6989586621681203573 :: TyFun [b] (m ()) -> Type) (a6989586621681203575 :: [b]) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithM_Sym2 a6989586621681203574 a6989586621681203573 :: TyFun [b] (m ()) -> Type) (a6989586621681203575 :: [b]) = ZipWithM_ a6989586621681203574 a6989586621681203573 a6989586621681203575 |
type ZipWithM_Sym3 (a6989586621681203573 :: (~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) (a6989586621681203574 :: [a6989586621681203148]) (a6989586621681203575 :: [b6989586621681203149]) = ZipWithM_ a6989586621681203573 a6989586621681203574 a6989586621681203575 Source #
data FoldlMSym0 :: forall a6989586621680448402 b6989586621680448401 m6989586621680448400 t6989586621680448399. (~>) ((~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) ((~>) b6989586621680448401 ((~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401))) Source #
Instances
(SFoldable t, SMonad m) => SingI (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing FoldlMSym0 Source # | |
SuppressUnusedWarnings (FoldlMSym0 :: TyFun (b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) (b6989586621680448401 ~> (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldlMSym0 :: TyFun (b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) (b6989586621680448401 ~> (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) -> Type) (a6989586621680449023 :: b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) Source # | |
Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym0 :: TyFun (b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) (b6989586621680448401 ~> (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) -> Type) (a6989586621680449023 :: b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) = (FoldlMSym1 a6989586621680449023 t6989586621680448399 :: TyFun b6989586621680448401 (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401) -> Type) |
data FoldlMSym1 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) :: forall t6989586621680448399. (~>) b6989586621680448401 ((~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401)) Source #
Instances
(SFoldable t, SMonad m, SingI d) => SingI (FoldlMSym1 d t :: TyFun b (t a ~> m b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldlMSym1 d t) Source # | |
SuppressUnusedWarnings (FoldlMSym1 a6989586621680449023 t6989586621680448399 :: TyFun b6989586621680448401 (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldlMSym1 a6989586621680449023 t6989586621680448399 :: TyFun b6989586621680448401 (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401) -> Type) (a6989586621680449024 :: b6989586621680448401) Source # | |
Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym1 a6989586621680449023 t6989586621680448399 :: TyFun b6989586621680448401 (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401) -> Type) (a6989586621680449024 :: b6989586621680448401) = (FoldlMSym2 a6989586621680449023 a6989586621680449024 t6989586621680448399 :: TyFun (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401) -> Type) |
data FoldlMSym2 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) (a6989586621680449024 :: b6989586621680448401) :: forall t6989586621680448399. (~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401) Source #
Instances
(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldlMSym2 d1 d2 t :: TyFun (t a) (m b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods sing :: Sing (FoldlMSym2 d1 d2 t) Source # | |
SuppressUnusedWarnings (FoldlMSym2 a6989586621680449024 a6989586621680449023 t6989586621680448399 :: TyFun (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldlMSym2 a6989586621680449024 a6989586621680449023 t :: TyFun (t a) (m b) -> Type) (a6989586621680449025 :: t a) Source # | |
Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym2 a6989586621680449024 a6989586621680449023 t :: TyFun (t a) (m b) -> Type) (a6989586621680449025 :: t a) = FoldlM a6989586621680449024 a6989586621680449023 a6989586621680449025 |
type FoldlMSym3 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) (a6989586621680449024 :: b6989586621680448401) (a6989586621680449025 :: t6989586621680448399 a6989586621680448402) = FoldlM a6989586621680449023 a6989586621680449024 a6989586621680449025 Source #
data ReplicateMSym0 :: forall a6989586621681203138 m6989586621681203137. (~>) Nat ((~>) (m6989586621681203137 a6989586621681203138) (m6989586621681203137 [a6989586621681203138])) Source #
Instances
SApplicative m => SingI (ReplicateMSym0 :: TyFun Nat (m a ~> m [a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods | |
SuppressUnusedWarnings (ReplicateMSym0 :: TyFun Nat (m6989586621681203137 a6989586621681203138 ~> m6989586621681203137 [a6989586621681203138]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateMSym0 :: TyFun Nat (m6989586621681203137 a6989586621681203138 ~> m6989586621681203137 [a6989586621681203138]) -> Type) (a6989586621681203530 :: Nat) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateMSym0 :: TyFun Nat (m6989586621681203137 a6989586621681203138 ~> m6989586621681203137 [a6989586621681203138]) -> Type) (a6989586621681203530 :: Nat) = (ReplicateMSym1 a6989586621681203530 a6989586621681203138 m6989586621681203137 :: TyFun (m6989586621681203137 a6989586621681203138) (m6989586621681203137 [a6989586621681203138]) -> Type) |
data ReplicateMSym1 (a6989586621681203530 :: Nat) :: forall a6989586621681203138 m6989586621681203137. (~>) (m6989586621681203137 a6989586621681203138) (m6989586621681203137 [a6989586621681203138]) Source #
Instances
(SApplicative m, SingI d) => SingI (ReplicateMSym1 d a m :: TyFun (m a) (m [a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ReplicateMSym1 d a m) Source # | |
SuppressUnusedWarnings (ReplicateMSym1 a6989586621681203530 a6989586621681203138 m6989586621681203137 :: TyFun (m6989586621681203137 a6989586621681203138) (m6989586621681203137 [a6989586621681203138]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateMSym1 a6989586621681203530 a m :: TyFun (m a) (m [a]) -> Type) (a6989586621681203531 :: m a) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateMSym1 a6989586621681203530 a m :: TyFun (m a) (m [a]) -> Type) (a6989586621681203531 :: m a) = ReplicateM a6989586621681203530 a6989586621681203531 |
type ReplicateMSym2 (a6989586621681203530 :: Nat) (a6989586621681203531 :: m6989586621681203137 a6989586621681203138) = ReplicateM a6989586621681203530 a6989586621681203531 Source #
data ReplicateM_Sym0 :: forall a6989586621681203136 m6989586621681203135. (~>) Nat ((~>) (m6989586621681203135 a6989586621681203136) (m6989586621681203135 ())) Source #
Instances
SApplicative m => SingI (ReplicateM_Sym0 :: TyFun Nat (m a ~> m ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods | |
SuppressUnusedWarnings (ReplicateM_Sym0 :: TyFun Nat (m6989586621681203135 a6989586621681203136 ~> m6989586621681203135 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateM_Sym0 :: TyFun Nat (m6989586621681203135 a6989586621681203136 ~> m6989586621681203135 ()) -> Type) (a6989586621681203511 :: Nat) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateM_Sym0 :: TyFun Nat (m6989586621681203135 a6989586621681203136 ~> m6989586621681203135 ()) -> Type) (a6989586621681203511 :: Nat) = (ReplicateM_Sym1 a6989586621681203511 a6989586621681203136 m6989586621681203135 :: TyFun (m6989586621681203135 a6989586621681203136) (m6989586621681203135 ()) -> Type) |
data ReplicateM_Sym1 (a6989586621681203511 :: Nat) :: forall a6989586621681203136 m6989586621681203135. (~>) (m6989586621681203135 a6989586621681203136) (m6989586621681203135 ()) Source #
Instances
(SApplicative m, SingI d) => SingI (ReplicateM_Sym1 d a m :: TyFun (m a) (m ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ReplicateM_Sym1 d a m) Source # | |
SuppressUnusedWarnings (ReplicateM_Sym1 a6989586621681203511 a6989586621681203136 m6989586621681203135 :: TyFun (m6989586621681203135 a6989586621681203136) (m6989586621681203135 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateM_Sym1 a6989586621681203511 a m :: TyFun (m a) (m ()) -> Type) (a6989586621681203512 :: m a) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateM_Sym1 a6989586621681203511 a m :: TyFun (m a) (m ()) -> Type) (a6989586621681203512 :: m a) = ReplicateM_ a6989586621681203511 a6989586621681203512 |
type ReplicateM_Sym2 (a6989586621681203511 :: Nat) (a6989586621681203512 :: m6989586621681203135 a6989586621681203136) = ReplicateM_ a6989586621681203511 a6989586621681203512 Source #
data GuardSym0 :: forall f6989586621679545882. (~>) Bool (f6989586621679545882 ()) Source #
Instances
SAlternative f => SingI (GuardSym0 :: TyFun Bool (f ()) -> Type) Source # | |
SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f6989586621679545882 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (GuardSym0 :: TyFun Bool (f6989586621679545882 ()) -> Type) (a6989586621679546051 :: Bool) Source # | |
data WhenSym0 :: forall f6989586621679545911. (~>) Bool ((~>) (f6989586621679545911 ()) (f6989586621679545911 ())) Source #
Instances
SApplicative f => SingI (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source # | |
SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f6989586621679545911 () ~> f6989586621679545911 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (WhenSym0 :: TyFun Bool (f6989586621679545911 () ~> f6989586621679545911 ()) -> Type) (a6989586621679546299 :: Bool) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal |
data WhenSym1 (a6989586621679546299 :: Bool) :: forall f6989586621679545911. (~>) (f6989586621679545911 ()) (f6989586621679545911 ()) Source #
Instances
(SApplicative f, SingI d) => SingI (WhenSym1 d f :: TyFun (f ()) (f ()) -> Type) Source # | |
SuppressUnusedWarnings (WhenSym1 a6989586621679546299 f6989586621679545911 :: TyFun (f6989586621679545911 ()) (f6989586621679545911 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (WhenSym1 a6989586621679546299 f :: TyFun (f ()) (f ()) -> Type) (a6989586621679546300 :: f ()) Source # | |
type WhenSym2 (a6989586621679546299 :: Bool) (a6989586621679546300 :: f6989586621679545911 ()) = When a6989586621679546299 a6989586621679546300 Source #
data UnlessSym0 :: forall f6989586621681203134. (~>) Bool ((~>) (f6989586621681203134 ()) (f6989586621681203134 ())) Source #
Instances
SApplicative f => SingI (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing UnlessSym0 Source # | |
SuppressUnusedWarnings (UnlessSym0 :: TyFun Bool (f6989586621681203134 () ~> f6989586621681203134 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnlessSym0 :: TyFun Bool (f6989586621681203134 () ~> f6989586621681203134 ()) -> Type) (a6989586621681203502 :: Bool) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (UnlessSym0 :: TyFun Bool (f6989586621681203134 () ~> f6989586621681203134 ()) -> Type) (a6989586621681203502 :: Bool) = (UnlessSym1 a6989586621681203502 f6989586621681203134 :: TyFun (f6989586621681203134 ()) (f6989586621681203134 ()) -> Type) |
data UnlessSym1 (a6989586621681203502 :: Bool) :: forall f6989586621681203134. (~>) (f6989586621681203134 ()) (f6989586621681203134 ()) Source #
Instances
(SApplicative f, SingI d) => SingI (UnlessSym1 d f :: TyFun (f ()) (f ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (UnlessSym1 d f) Source # | |
SuppressUnusedWarnings (UnlessSym1 a6989586621681203502 f6989586621681203134 :: TyFun (f6989586621681203134 ()) (f6989586621681203134 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnlessSym1 a6989586621681203502 f :: TyFun (f ()) (f ()) -> Type) (a6989586621681203503 :: f ()) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (UnlessSym1 a6989586621681203502 f :: TyFun (f ()) (f ()) -> Type) (a6989586621681203503 :: f ()) = Unless a6989586621681203502 a6989586621681203503 |
type UnlessSym2 (a6989586621681203502 :: Bool) (a6989586621681203503 :: f6989586621681203134 ()) = Unless a6989586621681203502 a6989586621681203503 Source #
data LiftMSym0 :: forall a16989586621679545909 m6989586621679545908 r6989586621679545910. (~>) ((~>) a16989586621679545909 r6989586621679545910) ((~>) (m6989586621679545908 a16989586621679545909) (m6989586621679545908 r6989586621679545910)) Source #
Instances
SMonad m => SingI (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) Source # | |
SuppressUnusedWarnings (LiftMSym0 :: TyFun (a16989586621679545909 ~> r6989586621679545910) (m6989586621679545908 a16989586621679545909 ~> m6989586621679545908 r6989586621679545910) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftMSym0 :: TyFun (a16989586621679545909 ~> r6989586621679545910) (m6989586621679545908 a16989586621679545909 ~> m6989586621679545908 r6989586621679545910) -> Type) (a6989586621679546286 :: a16989586621679545909 ~> r6989586621679545910) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftMSym0 :: TyFun (a16989586621679545909 ~> r6989586621679545910) (m6989586621679545908 a16989586621679545909 ~> m6989586621679545908 r6989586621679545910) -> Type) (a6989586621679546286 :: a16989586621679545909 ~> r6989586621679545910) = (LiftMSym1 a6989586621679546286 m6989586621679545908 :: TyFun (m6989586621679545908 a16989586621679545909) (m6989586621679545908 r6989586621679545910) -> Type) |
data LiftMSym1 (a6989586621679546286 :: (~>) a16989586621679545909 r6989586621679545910) :: forall m6989586621679545908. (~>) (m6989586621679545908 a16989586621679545909) (m6989586621679545908 r6989586621679545910) Source #
Instances
(SMonad m, SingI d) => SingI (LiftMSym1 d m :: TyFun (m a1) (m r) -> Type) Source # | |
SuppressUnusedWarnings (LiftMSym1 a6989586621679546286 m6989586621679545908 :: TyFun (m6989586621679545908 a16989586621679545909) (m6989586621679545908 r6989586621679545910) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftMSym1 a6989586621679546286 m :: TyFun (m a1) (m r) -> Type) (a6989586621679546287 :: m a1) Source # | |
type LiftMSym2 (a6989586621679546286 :: (~>) a16989586621679545909 r6989586621679545910) (a6989586621679546287 :: m6989586621679545908 a16989586621679545909) = LiftM a6989586621679546286 a6989586621679546287 Source #
data LiftM2Sym0 :: forall a16989586621679545905 a26989586621679545906 m6989586621679545904 r6989586621679545907. (~>) ((~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) ((~>) (m6989586621679545904 a16989586621679545905) ((~>) (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907))) Source #
Instances
SMonad m => SingI (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing LiftM2Sym0 Source # | |
SuppressUnusedWarnings (LiftM2Sym0 :: TyFun (a16989586621679545905 ~> (a26989586621679545906 ~> r6989586621679545907)) (m6989586621679545904 a16989586621679545905 ~> (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM2Sym0 :: TyFun (a16989586621679545905 ~> (a26989586621679545906 ~> r6989586621679545907)) (m6989586621679545904 a16989586621679545905 ~> (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907)) -> Type) (a6989586621679546260 :: a16989586621679545905 ~> (a26989586621679545906 ~> r6989586621679545907)) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM2Sym0 :: TyFun (a16989586621679545905 ~> (a26989586621679545906 ~> r6989586621679545907)) (m6989586621679545904 a16989586621679545905 ~> (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907)) -> Type) (a6989586621679546260 :: a16989586621679545905 ~> (a26989586621679545906 ~> r6989586621679545907)) = (LiftM2Sym1 a6989586621679546260 m6989586621679545904 :: TyFun (m6989586621679545904 a16989586621679545905) (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907) -> Type) |
data LiftM2Sym1 (a6989586621679546260 :: (~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) :: forall m6989586621679545904. (~>) (m6989586621679545904 a16989586621679545905) ((~>) (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907)) Source #
Instances
(SMonad m, SingI d) => SingI (LiftM2Sym1 d m :: TyFun (m a1) (m a2 ~> m r) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM2Sym1 d m) Source # | |
SuppressUnusedWarnings (LiftM2Sym1 a6989586621679546260 m6989586621679545904 :: TyFun (m6989586621679545904 a16989586621679545905) (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM2Sym1 a6989586621679546260 m6989586621679545904 :: TyFun (m6989586621679545904 a16989586621679545905) (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907) -> Type) (a6989586621679546261 :: m6989586621679545904 a16989586621679545905) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM2Sym1 a6989586621679546260 m6989586621679545904 :: TyFun (m6989586621679545904 a16989586621679545905) (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907) -> Type) (a6989586621679546261 :: m6989586621679545904 a16989586621679545905) = LiftM2Sym2 a6989586621679546260 a6989586621679546261 |
data LiftM2Sym2 (a6989586621679546260 :: (~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) (a6989586621679546261 :: m6989586621679545904 a16989586621679545905) :: (~>) (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907) Source #
Instances
(SMonad m, SingI d1, SingI d2) => SingI (LiftM2Sym2 d1 d2 :: TyFun (m a2) (m r) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM2Sym2 d1 d2) Source # | |
SuppressUnusedWarnings (LiftM2Sym2 a6989586621679546261 a6989586621679546260 :: TyFun (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM2Sym2 a6989586621679546261 a6989586621679546260 :: TyFun (m a2) (m r) -> Type) (a6989586621679546262 :: m a2) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM2Sym2 a6989586621679546261 a6989586621679546260 :: TyFun (m a2) (m r) -> Type) (a6989586621679546262 :: m a2) = LiftM2 a6989586621679546261 a6989586621679546260 a6989586621679546262 |
type LiftM2Sym3 (a6989586621679546260 :: (~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) (a6989586621679546261 :: m6989586621679545904 a16989586621679545905) (a6989586621679546262 :: m6989586621679545904 a26989586621679545906) = LiftM2 a6989586621679546260 a6989586621679546261 a6989586621679546262 Source #
data LiftM3Sym0 :: forall a16989586621679545900 a26989586621679545901 a36989586621679545902 m6989586621679545899 r6989586621679545903. (~>) ((~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) ((~>) (m6989586621679545899 a16989586621679545900) ((~>) (m6989586621679545899 a26989586621679545901) ((~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903)))) Source #
Instances
SMonad m => SingI (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing LiftM3Sym0 Source # | |
SuppressUnusedWarnings (LiftM3Sym0 :: TyFun (a16989586621679545900 ~> (a26989586621679545901 ~> (a36989586621679545902 ~> r6989586621679545903))) (m6989586621679545899 a16989586621679545900 ~> (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM3Sym0 :: TyFun (a16989586621679545900 ~> (a26989586621679545901 ~> (a36989586621679545902 ~> r6989586621679545903))) (m6989586621679545899 a16989586621679545900 ~> (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903))) -> Type) (a6989586621679546218 :: a16989586621679545900 ~> (a26989586621679545901 ~> (a36989586621679545902 ~> r6989586621679545903))) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym0 :: TyFun (a16989586621679545900 ~> (a26989586621679545901 ~> (a36989586621679545902 ~> r6989586621679545903))) (m6989586621679545899 a16989586621679545900 ~> (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903))) -> Type) (a6989586621679546218 :: a16989586621679545900 ~> (a26989586621679545901 ~> (a36989586621679545902 ~> r6989586621679545903))) = (LiftM3Sym1 a6989586621679546218 m6989586621679545899 :: TyFun (m6989586621679545899 a16989586621679545900) (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903)) -> Type) |
data LiftM3Sym1 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) :: forall m6989586621679545899. (~>) (m6989586621679545899 a16989586621679545900) ((~>) (m6989586621679545899 a26989586621679545901) ((~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903))) Source #
Instances
(SMonad m, SingI d) => SingI (LiftM3Sym1 d m :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM3Sym1 d m) Source # | |
SuppressUnusedWarnings (LiftM3Sym1 a6989586621679546218 m6989586621679545899 :: TyFun (m6989586621679545899 a16989586621679545900) (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM3Sym1 a6989586621679546218 m6989586621679545899 :: TyFun (m6989586621679545899 a16989586621679545900) (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903)) -> Type) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym1 a6989586621679546218 m6989586621679545899 :: TyFun (m6989586621679545899 a16989586621679545900) (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903)) -> Type) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) = LiftM3Sym2 a6989586621679546218 a6989586621679546219 |
data LiftM3Sym2 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) :: (~>) (m6989586621679545899 a26989586621679545901) ((~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903)) Source #
Instances
(SMonad m, SingI d1, SingI d2) => SingI (LiftM3Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> m r) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM3Sym2 d1 d2) Source # | |
SuppressUnusedWarnings (LiftM3Sym2 a6989586621679546219 a6989586621679546218 :: TyFun (m6989586621679545899 a26989586621679545901) (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM3Sym2 a6989586621679546219 a6989586621679546218 :: TyFun (m6989586621679545899 a26989586621679545901) (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903) -> Type) (a6989586621679546220 :: m6989586621679545899 a26989586621679545901) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym2 a6989586621679546219 a6989586621679546218 :: TyFun (m6989586621679545899 a26989586621679545901) (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903) -> Type) (a6989586621679546220 :: m6989586621679545899 a26989586621679545901) = LiftM3Sym3 a6989586621679546219 a6989586621679546218 a6989586621679546220 |
data LiftM3Sym3 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) (a6989586621679546220 :: m6989586621679545899 a26989586621679545901) :: (~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903) Source #
Instances
(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM3Sym3 d1 d2 d3 :: TyFun (m a3) (m r) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM3Sym3 d1 d2 d3) Source # | |
SuppressUnusedWarnings (LiftM3Sym3 a6989586621679546220 a6989586621679546219 a6989586621679546218 :: TyFun (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM3Sym3 a6989586621679546220 a6989586621679546219 a6989586621679546218 :: TyFun (m a3) (m r) -> Type) (a6989586621679546221 :: m a3) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym3 a6989586621679546220 a6989586621679546219 a6989586621679546218 :: TyFun (m a3) (m r) -> Type) (a6989586621679546221 :: m a3) = LiftM3 a6989586621679546220 a6989586621679546219 a6989586621679546218 a6989586621679546221 |
type LiftM3Sym4 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) (a6989586621679546220 :: m6989586621679545899 a26989586621679545901) (a6989586621679546221 :: m6989586621679545899 a36989586621679545902) = LiftM3 a6989586621679546218 a6989586621679546219 a6989586621679546220 a6989586621679546221 Source #
data LiftM4Sym0 :: forall a16989586621679545894 a26989586621679545895 a36989586621679545896 a46989586621679545897 m6989586621679545893 r6989586621679545898. (~>) ((~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) ((~>) (m6989586621679545893 a16989586621679545894) ((~>) (m6989586621679545893 a26989586621679545895) ((~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898))))) 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 Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing LiftM4Sym0 Source # | |
SuppressUnusedWarnings (LiftM4Sym0 :: TyFun (a16989586621679545894 ~> (a26989586621679545895 ~> (a36989586621679545896 ~> (a46989586621679545897 ~> r6989586621679545898)))) (m6989586621679545893 a16989586621679545894 ~> (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym0 :: TyFun (a16989586621679545894 ~> (a26989586621679545895 ~> (a36989586621679545896 ~> (a46989586621679545897 ~> r6989586621679545898)))) (m6989586621679545893 a16989586621679545894 ~> (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)))) -> Type) (a6989586621679546157 :: a16989586621679545894 ~> (a26989586621679545895 ~> (a36989586621679545896 ~> (a46989586621679545897 ~> r6989586621679545898)))) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym0 :: TyFun (a16989586621679545894 ~> (a26989586621679545895 ~> (a36989586621679545896 ~> (a46989586621679545897 ~> r6989586621679545898)))) (m6989586621679545893 a16989586621679545894 ~> (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)))) -> Type) (a6989586621679546157 :: a16989586621679545894 ~> (a26989586621679545895 ~> (a36989586621679545896 ~> (a46989586621679545897 ~> r6989586621679545898)))) = (LiftM4Sym1 a6989586621679546157 m6989586621679545893 :: TyFun (m6989586621679545893 a16989586621679545894) (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898))) -> Type) |
data LiftM4Sym1 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) :: forall m6989586621679545893. (~>) (m6989586621679545893 a16989586621679545894) ((~>) (m6989586621679545893 a26989586621679545895) ((~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898)))) Source #
Instances
(SMonad m, SingI d) => SingI (LiftM4Sym1 d m :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym1 d m) Source # | |
SuppressUnusedWarnings (LiftM4Sym1 a6989586621679546157 m6989586621679545893 :: TyFun (m6989586621679545893 a16989586621679545894) (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym1 a6989586621679546157 m6989586621679545893 :: TyFun (m6989586621679545893 a16989586621679545894) (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898))) -> Type) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym1 a6989586621679546157 m6989586621679545893 :: TyFun (m6989586621679545893 a16989586621679545894) (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898))) -> Type) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) = LiftM4Sym2 a6989586621679546157 a6989586621679546158 |
data LiftM4Sym2 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) :: (~>) (m6989586621679545893 a26989586621679545895) ((~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898))) Source #
Instances
(SMonad m, SingI d1, SingI d2) => SingI (LiftM4Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym2 d1 d2) Source # | |
SuppressUnusedWarnings (LiftM4Sym2 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a26989586621679545895) (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym2 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a26989586621679545895) (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)) -> Type) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym2 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a26989586621679545895) (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)) -> Type) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) = LiftM4Sym3 a6989586621679546158 a6989586621679546157 a6989586621679546159 |
data LiftM4Sym3 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) :: (~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898)) Source #
Instances
(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM4Sym3 d1 d2 d3 :: TyFun (m a3) (m a4 ~> m r) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym3 d1 d2 d3) Source # | |
SuppressUnusedWarnings (LiftM4Sym3 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a36989586621679545896) (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym3 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a36989586621679545896) (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898) -> Type) (a6989586621679546160 :: m6989586621679545893 a36989586621679545896) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym3 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a36989586621679545896) (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898) -> Type) (a6989586621679546160 :: m6989586621679545893 a36989586621679545896) = LiftM4Sym4 a6989586621679546159 a6989586621679546158 a6989586621679546157 a6989586621679546160 |
data LiftM4Sym4 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) (a6989586621679546160 :: m6989586621679545893 a36989586621679545896) :: (~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898) Source #
Instances
(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4) => SingI (LiftM4Sym4 d1 d2 d3 d4 :: TyFun (m a4) (m r) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM4Sym4 d1 d2 d3 d4) Source # | |
SuppressUnusedWarnings (LiftM4Sym4 a6989586621679546160 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym4 a6989586621679546160 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m a4) (m r) -> Type) (a6989586621679546161 :: m a4) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym4 a6989586621679546160 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m a4) (m r) -> Type) (a6989586621679546161 :: m a4) = LiftM4 a6989586621679546160 a6989586621679546159 a6989586621679546158 a6989586621679546157 a6989586621679546161 |
type LiftM4Sym5 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) (a6989586621679546160 :: m6989586621679545893 a36989586621679545896) (a6989586621679546161 :: m6989586621679545893 a46989586621679545897) = LiftM4 a6989586621679546157 a6989586621679546158 a6989586621679546159 a6989586621679546160 a6989586621679546161 Source #
data LiftM5Sym0 :: forall a16989586621679545887 a26989586621679545888 a36989586621679545889 a46989586621679545890 a56989586621679545891 m6989586621679545886 r6989586621679545892. (~>) ((~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) ((~>) (m6989586621679545886 a16989586621679545887) ((~>) (m6989586621679545886 a26989586621679545888) ((~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892)))))) 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 Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing LiftM5Sym0 Source # | |
SuppressUnusedWarnings (LiftM5Sym0 :: TyFun (a16989586621679545887 ~> (a26989586621679545888 ~> (a36989586621679545889 ~> (a46989586621679545890 ~> (a56989586621679545891 ~> r6989586621679545892))))) (m6989586621679545886 a16989586621679545887 ~> (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym0 :: TyFun (a16989586621679545887 ~> (a26989586621679545888 ~> (a36989586621679545889 ~> (a46989586621679545890 ~> (a56989586621679545891 ~> r6989586621679545892))))) (m6989586621679545886 a16989586621679545887 ~> (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))))) -> Type) (a6989586621679546074 :: a16989586621679545887 ~> (a26989586621679545888 ~> (a36989586621679545889 ~> (a46989586621679545890 ~> (a56989586621679545891 ~> r6989586621679545892))))) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym0 :: TyFun (a16989586621679545887 ~> (a26989586621679545888 ~> (a36989586621679545889 ~> (a46989586621679545890 ~> (a56989586621679545891 ~> r6989586621679545892))))) (m6989586621679545886 a16989586621679545887 ~> (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))))) -> Type) (a6989586621679546074 :: a16989586621679545887 ~> (a26989586621679545888 ~> (a36989586621679545889 ~> (a46989586621679545890 ~> (a56989586621679545891 ~> r6989586621679545892))))) = (LiftM5Sym1 a6989586621679546074 m6989586621679545886 :: TyFun (m6989586621679545886 a16989586621679545887) (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)))) -> Type) |
data LiftM5Sym1 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) :: forall m6989586621679545886. (~>) (m6989586621679545886 a16989586621679545887) ((~>) (m6989586621679545886 a26989586621679545888) ((~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892))))) Source #
Instances
(SMonad m, SingI d) => SingI (LiftM5Sym1 d m :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym1 d m) Source # | |
SuppressUnusedWarnings (LiftM5Sym1 a6989586621679546074 m6989586621679545886 :: TyFun (m6989586621679545886 a16989586621679545887) (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym1 a6989586621679546074 m6989586621679545886 :: TyFun (m6989586621679545886 a16989586621679545887) (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)))) -> Type) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym1 a6989586621679546074 m6989586621679545886 :: TyFun (m6989586621679545886 a16989586621679545887) (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)))) -> Type) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) = LiftM5Sym2 a6989586621679546074 a6989586621679546075 |
data LiftM5Sym2 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) :: (~>) (m6989586621679545886 a26989586621679545888) ((~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892)))) Source #
Instances
(SMonad m, SingI d1, SingI d2) => SingI (LiftM5Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym2 d1 d2) Source # | |
SuppressUnusedWarnings (LiftM5Sym2 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a26989586621679545888) (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym2 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a26989586621679545888) (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))) -> Type) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym2 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a26989586621679545888) (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))) -> Type) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) = LiftM5Sym3 a6989586621679546075 a6989586621679546074 a6989586621679546076 |
data LiftM5Sym3 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) :: (~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892))) Source #
Instances
(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM5Sym3 d1 d2 d3 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym3 d1 d2 d3) Source # | |
SuppressUnusedWarnings (LiftM5Sym3 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a36989586621679545889) (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym3 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a36989586621679545889) (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)) -> Type) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym3 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a36989586621679545889) (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)) -> Type) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) = LiftM5Sym4 a6989586621679546076 a6989586621679546075 a6989586621679546074 a6989586621679546077 |
data LiftM5Sym4 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) :: (~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892)) Source #
Instances
(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4) => SingI (LiftM5Sym4 d1 d2 d3 d4 :: TyFun (m a4) (m a5 ~> m r) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym4 d1 d2 d3 d4) Source # | |
SuppressUnusedWarnings (LiftM5Sym4 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a46989586621679545890) (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym4 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a46989586621679545890) (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892) -> Type) (a6989586621679546078 :: m6989586621679545886 a46989586621679545890) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym4 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a46989586621679545890) (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892) -> Type) (a6989586621679546078 :: m6989586621679545886 a46989586621679545890) = LiftM5Sym5 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 a6989586621679546078 |
data LiftM5Sym5 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) (a6989586621679546078 :: m6989586621679545886 a46989586621679545890) :: (~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892) Source #
Instances
(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4, SingI d5) => SingI (LiftM5Sym5 d1 d2 d3 d4 d5 :: TyFun (m a5) (m r) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (LiftM5Sym5 d1 d2 d3 d4 d5) Source # | |
SuppressUnusedWarnings (LiftM5Sym5 a6989586621679546078 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym5 a6989586621679546078 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m a5) (m r) -> Type) (a6989586621679546079 :: m a5) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym5 a6989586621679546078 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m a5) (m r) -> Type) (a6989586621679546079 :: m a5) = LiftM5 a6989586621679546078 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 a6989586621679546079 |
type LiftM5Sym6 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) (a6989586621679546078 :: m6989586621679545886 a46989586621679545890) (a6989586621679546079 :: m6989586621679545886 a56989586621679545891) = LiftM5 a6989586621679546074 a6989586621679546075 a6989586621679546076 a6989586621679546077 a6989586621679546078 a6989586621679546079 Source #
data ApSym0 :: forall a6989586621679545884 b6989586621679545885 m6989586621679545883. (~>) (m6989586621679545883 ((~>) a6989586621679545884 b6989586621679545885)) ((~>) (m6989586621679545883 a6989586621679545884) (m6989586621679545883 b6989586621679545885)) Source #
Instances
SMonad m => SingI (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) Source # | |
SuppressUnusedWarnings (ApSym0 :: TyFun (m6989586621679545883 (a6989586621679545884 ~> b6989586621679545885)) (m6989586621679545883 a6989586621679545884 ~> m6989586621679545883 b6989586621679545885) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (ApSym0 :: TyFun (m6989586621679545883 (a6989586621679545884 ~> b6989586621679545885)) (m6989586621679545883 a6989586621679545884 ~> m6989586621679545883 b6989586621679545885) -> Type) (a6989586621679546053 :: m6989586621679545883 (a6989586621679545884 ~> b6989586621679545885)) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (ApSym0 :: TyFun (m6989586621679545883 (a6989586621679545884 ~> b6989586621679545885)) (m6989586621679545883 a6989586621679545884 ~> m6989586621679545883 b6989586621679545885) -> Type) (a6989586621679546053 :: m6989586621679545883 (a6989586621679545884 ~> b6989586621679545885)) = ApSym1 a6989586621679546053 |
data ApSym1 (a6989586621679546053 :: m6989586621679545883 ((~>) a6989586621679545884 b6989586621679545885)) :: (~>) (m6989586621679545883 a6989586621679545884) (m6989586621679545883 b6989586621679545885) Source #
Instances
(SMonad m, SingI d) => SingI (ApSym1 d :: TyFun (m a) (m b) -> Type) Source # | |
SuppressUnusedWarnings (ApSym1 a6989586621679546053 :: TyFun (m6989586621679545883 a6989586621679545884) (m6989586621679545883 b6989586621679545885) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (ApSym1 a6989586621679546053 :: TyFun (m a) (m b) -> Type) (a6989586621679546054 :: m a) Source # | |
type ApSym2 (a6989586621679546053 :: m6989586621679545883 ((~>) a6989586621679545884 b6989586621679545885)) (a6989586621679546054 :: m6989586621679545883 a6989586621679545884) = Ap a6989586621679546053 a6989586621679546054 Source #
data (<$!>@#@$) :: forall a6989586621681203132 b6989586621681203133 m6989586621681203131. (~>) ((~>) a6989586621681203132 b6989586621681203133) ((~>) (m6989586621681203131 a6989586621681203132) (m6989586621681203131 b6989586621681203133)) infixl 4 Source #
Instances
SMonad m => SingI ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (<$!>@#@$) Source # | |
SuppressUnusedWarnings ((<$!>@#@$) :: TyFun (a6989586621681203132 ~> b6989586621681203133) (m6989586621681203131 a6989586621681203132 ~> m6989586621681203131 b6989586621681203133) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<$!>@#@$) :: TyFun (a6989586621681203132 ~> b6989586621681203133) (m6989586621681203131 a6989586621681203132 ~> m6989586621681203131 b6989586621681203133) -> Type) (a6989586621681203485 :: a6989586621681203132 ~> b6989586621681203133) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply ((<$!>@#@$) :: TyFun (a6989586621681203132 ~> b6989586621681203133) (m6989586621681203131 a6989586621681203132 ~> m6989586621681203131 b6989586621681203133) -> Type) (a6989586621681203485 :: a6989586621681203132 ~> b6989586621681203133) = (a6989586621681203485 <$!>@#@$$ m6989586621681203131 :: TyFun (m6989586621681203131 a6989586621681203132) (m6989586621681203131 b6989586621681203133) -> Type) |
data (<$!>@#@$$) (a6989586621681203485 :: (~>) a6989586621681203132 b6989586621681203133) :: forall m6989586621681203131. (~>) (m6989586621681203131 a6989586621681203132) (m6989586621681203131 b6989586621681203133) infixl 4 Source #
Instances
(SMonad m, SingI d) => SingI (d <$!>@#@$$ m :: TyFun (m a) (m b) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621681203485 <$!>@#@$$ m6989586621681203131 :: TyFun (m6989586621681203131 a6989586621681203132) (m6989586621681203131 b6989586621681203133) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621681203485 <$!>@#@$$ m :: TyFun (m a) (m b) -> Type) (a6989586621681203486 :: m a) Source # | |
type (<$!>@#@$$$) (a6989586621681203485 :: (~>) a6989586621681203132 b6989586621681203133) (a6989586621681203486 :: m6989586621681203131 a6989586621681203132) = (<$!>) a6989586621681203485 a6989586621681203486 Source #