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 PMonad (m :: Type -> Type) where
- class SApplicative m => SMonad (m :: Type -> Type) where
- class PMonadPlus (m :: Type -> Type) where
- class (SAlternative m, SMonad m) => SMonadPlus (m :: Type -> Type) where
- class PMonadFail (m :: Type -> Type) where
- type Fail (arg :: [Char]) :: m a
- class SMonad m => SMonadFail (m :: Type -> Type) where
- type family MapM (arg :: (~>) a (m b)) (arg :: t a) :: m (t b)
- sMapM :: forall a m b (t :: (~>) a (m b)) (t :: t a). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t :: m (t b))
- type family MapM_ (a :: (~>) a (m b)) (a :: t a) :: m () where ...
- sMapM_ :: forall a m b t (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ())
- type family ForM (a :: t a) (a :: (~>) a (m b)) :: m (t b) where ...
- sForM :: forall t a m b (t :: t a) (t :: (~>) a (m b)). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForMSym0 t) t :: m (t b))
- type family Sequence (arg :: t (m a)) :: m (t a)
- sSequence :: forall m a (t :: t (m a)). (STraversable t, SMonad m) => Sing t -> Sing (Apply SequenceSym0 t :: m (t a))
- type family Sequence_ (a :: t (m a)) :: m () where ...
- sSequence_ :: forall t m a (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ())
- type family (a :: (~>) a (m b)) =<< (a :: m a) :: m b where ...
- (%=<<) :: forall a m b (t :: (~>) a (m b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (=<<@#@$) t) t :: m b)
- type family ((a :: (~>) a (m b)) >=> (a :: (~>) b (m c))) (a :: a) :: m c where ...
- (%>=>) :: forall a m b c (t :: (~>) a (m b)) (t :: (~>) b (m c)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (>=>@#@$) t) t) t :: m c)
- type family ((a :: (~>) b (m c)) <=< (a :: (~>) a (m b))) (a :: a) :: m c where ...
- (%<=<) :: forall b m c a (t :: (~>) b (m c)) (t :: (~>) a (m b)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (<=<@#@$) t) t) t :: m c)
- type family Void (a :: f a) :: f () where ...
- sVoid :: forall f a (t :: f a). SFunctor f => Sing t -> Sing (Apply VoidSym0 t :: f ())
- type family Join (a :: m (m a)) :: m a where ...
- sJoin :: forall m a (t :: m (m a)). SMonad m => Sing t -> Sing (Apply JoinSym0 t :: m a)
- type family Msum (a :: t (m a)) :: m a where ...
- sMsum :: forall t m a (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a)
- type family Mfilter (a :: (~>) a Bool) (a :: m a) :: m a where ...
- sMfilter :: forall a m (t :: (~>) a Bool) (t :: m a). SMonadPlus m => Sing t -> Sing t -> Sing (Apply (Apply MfilterSym0 t) t :: m a)
- type family FilterM (a :: (~>) a (m Bool)) (a :: [a]) :: m [a] where ...
- sFilterM :: forall a m (t :: (~>) a (m Bool)) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply FilterMSym0 t) t :: m [a])
- type family MapAndUnzipM (a :: (~>) a (m (b, c))) (a :: [a]) :: m ([b], [c]) where ...
- sMapAndUnzipM :: forall a m b c (t :: (~>) a (m (b, c))) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply MapAndUnzipMSym0 t) t :: m ([b], [c]))
- type family ZipWithM (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m [c] where ...
- sZipWithM :: forall a b m c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithMSym0 t) t) t :: m [c])
- type family ZipWithM_ (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m () where ...
- sZipWithM_ :: forall a b m c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithM_Sym0 t) t) t :: m ())
- type family FoldlM (a :: (~>) b ((~>) a (m b))) (a :: b) (a :: t a) :: m b where ...
- sFoldlM :: forall b a m t (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b)
- type family ReplicateM (a :: Nat) (a :: m a) :: m [a] where ...
- sReplicateM :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateMSym0 t) t :: m [a])
- type family ReplicateM_ (a :: Nat) (a :: m a) :: m () where ...
- sReplicateM_ :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateM_Sym0 t) t :: m ())
- type family Guard (a :: Bool) :: f () where ...
- sGuard :: forall f (t :: Bool). SAlternative f => Sing t -> Sing (Apply GuardSym0 t :: f ())
- type family When (a :: Bool) (a :: f ()) :: f () where ...
- sWhen :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply WhenSym0 t) t :: f ())
- type family Unless (a :: Bool) (a :: f ()) :: f () where ...
- sUnless :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply UnlessSym0 t) t :: f ())
- type family LiftM (a :: (~>) a1 r) (a :: m a1) :: m r where ...
- sLiftM :: forall a1 r m (t :: (~>) a1 r) (t :: m a1). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply LiftMSym0 t) t :: m r)
- type family LiftM2 (a :: (~>) a1 ((~>) a2 r)) (a :: m a1) (a :: m a2) :: m r where ...
- sLiftM2 :: forall a1 a2 r m (t :: (~>) a1 ((~>) a2 r)) (t :: m a1) (t :: m a2). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftM2Sym0 t) t) t :: m r)
- type family LiftM3 (a :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a :: m a1) (a :: m a2) (a :: m a3) :: m r where ...
- sLiftM3 :: forall a1 a2 a3 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 r))) (t :: m a1) (t :: m a2) (t :: m a3). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply LiftM3Sym0 t) t) t) t :: m r)
- type family LiftM4 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) :: m r where ...
- sLiftM4 :: forall a1 a2 a3 a4 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply LiftM4Sym0 t) t) t) t) t :: m r)
- type family LiftM5 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) (a :: m a5) :: m r where ...
- sLiftM5 :: forall a1 a2 a3 a4 a5 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4) (t :: m a5). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply LiftM5Sym0 t) t) t) t) t) t :: m r)
- type family Ap (a :: m ((~>) a b)) (a :: m a) :: m b where ...
- sAp :: forall m a b (t :: m ((~>) a b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply ApSym0 t) t :: m b)
- type family (a :: (~>) a b) <$!> (a :: m a) :: m b where ...
- (%<$!>) :: forall a b m (t :: (~>) a b) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (<$!>@#@$) t) t :: m b)
- data FmapSym0 :: forall a6989586621679566897 b6989586621679566898 f6989586621679566896. (~>) ((~>) a6989586621679566897 b6989586621679566898) ((~>) (f6989586621679566896 a6989586621679566897) (f6989586621679566896 b6989586621679566898))
- data FmapSym1 (arg6989586621679567288 :: (~>) a6989586621679566897 b6989586621679566898) :: forall f6989586621679566896. (~>) (f6989586621679566896 a6989586621679566897) (f6989586621679566896 b6989586621679566898)
- type FmapSym2 (arg6989586621679567288 :: (~>) a6989586621679566897 b6989586621679566898) (arg6989586621679567289 :: f6989586621679566896 a6989586621679566897) = Fmap arg6989586621679567288 arg6989586621679567289
- data (>>=@#@$) :: forall m6989586621679566925 a6989586621679566926 b6989586621679566927. (~>) (m6989586621679566925 a6989586621679566926) ((~>) ((~>) a6989586621679566926 (m6989586621679566925 b6989586621679566927)) (m6989586621679566925 b6989586621679566927))
- data (>>=@#@$$) (arg6989586621679567395 :: m6989586621679566925 a6989586621679566926) :: forall b6989586621679566927. (~>) ((~>) a6989586621679566926 (m6989586621679566925 b6989586621679566927)) (m6989586621679566925 b6989586621679566927)
- type (>>=@#@$$$) (arg6989586621679567395 :: m6989586621679566925 a6989586621679566926) (arg6989586621679567396 :: (~>) a6989586621679566926 (m6989586621679566925 b6989586621679566927)) = (>>=) arg6989586621679567395 arg6989586621679567396
- data (>>@#@$) :: forall m6989586621679566925 a6989586621679566928 b6989586621679566929. (~>) (m6989586621679566925 a6989586621679566928) ((~>) (m6989586621679566925 b6989586621679566929) (m6989586621679566925 b6989586621679566929))
- data (>>@#@$$) (arg6989586621679567399 :: m6989586621679566925 a6989586621679566928) :: forall b6989586621679566929. (~>) (m6989586621679566925 b6989586621679566929) (m6989586621679566925 b6989586621679566929)
- type (>>@#@$$$) (arg6989586621679567399 :: m6989586621679566925 a6989586621679566928) (arg6989586621679567400 :: m6989586621679566925 b6989586621679566929) = (>>) arg6989586621679567399 arg6989586621679567400
- data ReturnSym0 :: forall a6989586621679566930 m6989586621679566925. (~>) a6989586621679566930 (m6989586621679566925 a6989586621679566930)
- type ReturnSym1 (arg6989586621679567403 :: a6989586621679566930) = Return arg6989586621679567403
- data FailSym0 :: forall m6989586621679734988 a6989586621679734989. (~>) [Char] (m6989586621679734988 a6989586621679734989)
- type FailSym1 (arg6989586621679735008 :: [Char]) = Fail arg6989586621679735008
- type MzeroSym0 = Mzero
- data MplusSym0 :: forall m6989586621679566979 a6989586621679566981. (~>) (m6989586621679566979 a6989586621679566981) ((~>) (m6989586621679566979 a6989586621679566981) (m6989586621679566979 a6989586621679566981))
- data MplusSym1 (arg6989586621679567440 :: m6989586621679566979 a6989586621679566981) :: (~>) (m6989586621679566979 a6989586621679566981) (m6989586621679566979 a6989586621679566981)
- type MplusSym2 (arg6989586621679567440 :: m6989586621679566979 a6989586621679566981) (arg6989586621679567441 :: m6989586621679566979 a6989586621679566981) = Mplus arg6989586621679567440 arg6989586621679567441
- data MapMSym0 :: forall a6989586621680794777 m6989586621680794776 b6989586621680794778 t6989586621680794770. (~>) ((~>) a6989586621680794777 (m6989586621680794776 b6989586621680794778)) ((~>) (t6989586621680794770 a6989586621680794777) (m6989586621680794776 (t6989586621680794770 b6989586621680794778)))
- data MapMSym1 (arg6989586621680794788 :: (~>) a6989586621680794777 (m6989586621680794776 b6989586621680794778)) :: forall t6989586621680794770. (~>) (t6989586621680794770 a6989586621680794777) (m6989586621680794776 (t6989586621680794770 b6989586621680794778))
- type MapMSym2 (arg6989586621680794788 :: (~>) a6989586621680794777 (m6989586621680794776 b6989586621680794778)) (arg6989586621680794789 :: t6989586621680794770 a6989586621680794777) = MapM arg6989586621680794788 arg6989586621680794789
- data MapM_Sym0 :: forall a6989586621680486524 m6989586621680486523 b6989586621680486525 t6989586621680486522. (~>) ((~>) a6989586621680486524 (m6989586621680486523 b6989586621680486525)) ((~>) (t6989586621680486522 a6989586621680486524) (m6989586621680486523 ()))
- data MapM_Sym1 (a6989586621680487128 :: (~>) a6989586621680486524 (m6989586621680486523 b6989586621680486525)) :: forall t6989586621680486522. (~>) (t6989586621680486522 a6989586621680486524) (m6989586621680486523 ())
- type MapM_Sym2 (a6989586621680487128 :: (~>) a6989586621680486524 (m6989586621680486523 b6989586621680486525)) (a6989586621680487129 :: t6989586621680486522 a6989586621680486524) = MapM_ a6989586621680487128 a6989586621680487129
- data ForMSym0 :: forall t6989586621680800307 a6989586621680800309 m6989586621680800308 b6989586621680800310. (~>) (t6989586621680800307 a6989586621680800309) ((~>) ((~>) a6989586621680800309 (m6989586621680800308 b6989586621680800310)) (m6989586621680800308 (t6989586621680800307 b6989586621680800310)))
- data ForMSym1 (a6989586621680800828 :: t6989586621680800307 a6989586621680800309) :: forall m6989586621680800308 b6989586621680800310. (~>) ((~>) a6989586621680800309 (m6989586621680800308 b6989586621680800310)) (m6989586621680800308 (t6989586621680800307 b6989586621680800310))
- type ForMSym2 (a6989586621680800828 :: t6989586621680800307 a6989586621680800309) (a6989586621680800829 :: (~>) a6989586621680800309 (m6989586621680800308 b6989586621680800310)) = ForM a6989586621680800828 a6989586621680800829
- data SequenceSym0 :: forall t6989586621680794770 m6989586621680794779 a6989586621680794780. (~>) (t6989586621680794770 (m6989586621680794779 a6989586621680794780)) (m6989586621680794779 (t6989586621680794770 a6989586621680794780))
- type SequenceSym1 (arg6989586621680794792 :: t6989586621680794770 (m6989586621680794779 a6989586621680794780)) = Sequence arg6989586621680794792
- data Sequence_Sym0 :: forall t6989586621680486512 m6989586621680486513 a6989586621680486514. (~>) (t6989586621680486512 (m6989586621680486513 a6989586621680486514)) (m6989586621680486513 ())
- type Sequence_Sym1 (a6989586621680487110 :: t6989586621680486512 (m6989586621680486513 a6989586621680486514)) = Sequence_ a6989586621680487110
- data (=<<@#@$) :: forall a6989586621679566849 m6989586621679566848 b6989586621679566850. (~>) ((~>) a6989586621679566849 (m6989586621679566848 b6989586621679566850)) ((~>) (m6989586621679566848 a6989586621679566849) (m6989586621679566848 b6989586621679566850))
- data (=<<@#@$$) (a6989586621679567241 :: (~>) a6989586621679566849 (m6989586621679566848 b6989586621679566850)) :: (~>) (m6989586621679566848 a6989586621679566849) (m6989586621679566848 b6989586621679566850)
- type (=<<@#@$$$) (a6989586621679567241 :: (~>) a6989586621679566849 (m6989586621679566848 b6989586621679566850)) (a6989586621679567242 :: m6989586621679566848 a6989586621679566849) = (=<<) a6989586621679567241 a6989586621679567242
- data (>=>@#@$) :: forall a6989586621681270992 m6989586621681270991 b6989586621681270993 c6989586621681270994. (~>) ((~>) a6989586621681270992 (m6989586621681270991 b6989586621681270993)) ((~>) ((~>) b6989586621681270993 (m6989586621681270991 c6989586621681270994)) ((~>) a6989586621681270992 (m6989586621681270991 c6989586621681270994)))
- data (>=>@#@$$) (a6989586621681271424 :: (~>) a6989586621681270992 (m6989586621681270991 b6989586621681270993)) :: forall c6989586621681270994. (~>) ((~>) b6989586621681270993 (m6989586621681270991 c6989586621681270994)) ((~>) a6989586621681270992 (m6989586621681270991 c6989586621681270994))
- data (a6989586621681271424 :: (~>) a6989586621681270992 (m6989586621681270991 b6989586621681270993)) >=>@#@$$$ (a6989586621681271425 :: (~>) b6989586621681270993 (m6989586621681270991 c6989586621681270994)) :: (~>) a6989586621681270992 (m6989586621681270991 c6989586621681270994)
- data (<=<@#@$) :: forall b6989586621681270988 m6989586621681270987 c6989586621681270989 a6989586621681270990. (~>) ((~>) b6989586621681270988 (m6989586621681270987 c6989586621681270989)) ((~>) ((~>) a6989586621681270990 (m6989586621681270987 b6989586621681270988)) ((~>) a6989586621681270990 (m6989586621681270987 c6989586621681270989)))
- data (<=<@#@$$) (a6989586621681271415 :: (~>) b6989586621681270988 (m6989586621681270987 c6989586621681270989)) :: forall a6989586621681270990. (~>) ((~>) a6989586621681270990 (m6989586621681270987 b6989586621681270988)) ((~>) a6989586621681270990 (m6989586621681270987 c6989586621681270989))
- data (a6989586621681271415 :: (~>) b6989586621681270988 (m6989586621681270987 c6989586621681270989)) <=<@#@$$$ (a6989586621681271416 :: (~>) a6989586621681270990 (m6989586621681270987 b6989586621681270988)) :: (~>) a6989586621681270990 (m6989586621681270987 c6989586621681270989)
- data VoidSym0 :: forall f6989586621679737064 a6989586621679737065. (~>) (f6989586621679737064 a6989586621679737065) (f6989586621679737064 ())
- type VoidSym1 (a6989586621679737131 :: f6989586621679737064 a6989586621679737065) = Void a6989586621679737131
- data JoinSym0 :: forall m6989586621679566851 a6989586621679566852. (~>) (m6989586621679566851 (m6989586621679566851 a6989586621679566852)) (m6989586621679566851 a6989586621679566852)
- type JoinSym1 (a6989586621679567247 :: m6989586621679566851 (m6989586621679566851 a6989586621679566852)) = Join a6989586621679567247
- data MsumSym0 :: forall t6989586621680486506 m6989586621680486507 a6989586621680486508. (~>) (t6989586621680486506 (m6989586621680486507 a6989586621680486508)) (m6989586621680486507 a6989586621680486508)
- type MsumSym1 (a6989586621680487100 :: t6989586621680486506 (m6989586621680486507 a6989586621680486508)) = Msum a6989586621680487100
- data MfilterSym0 :: forall a6989586621681270958 m6989586621681270957. (~>) ((~>) a6989586621681270958 Bool) ((~>) (m6989586621681270957 a6989586621681270958) (m6989586621681270957 a6989586621681270958))
- data MfilterSym1 (a6989586621681271277 :: (~>) a6989586621681270958 Bool) :: forall m6989586621681270957. (~>) (m6989586621681270957 a6989586621681270958) (m6989586621681270957 a6989586621681270958)
- type MfilterSym2 (a6989586621681271277 :: (~>) a6989586621681270958 Bool) (a6989586621681271278 :: m6989586621681270957 a6989586621681270958) = Mfilter a6989586621681271277 a6989586621681271278
- data FilterMSym0 :: forall a6989586621681270996 m6989586621681270995. (~>) ((~>) a6989586621681270996 (m6989586621681270995 Bool)) ((~>) [a6989586621681270996] (m6989586621681270995 [a6989586621681270996]))
- data FilterMSym1 (a6989586621681271443 :: (~>) a6989586621681270996 (m6989586621681270995 Bool)) :: (~>) [a6989586621681270996] (m6989586621681270995 [a6989586621681270996])
- type FilterMSym2 (a6989586621681271443 :: (~>) a6989586621681270996 (m6989586621681270995 Bool)) (a6989586621681271444 :: [a6989586621681270996]) = FilterM a6989586621681271443 a6989586621681271444
- data MapAndUnzipMSym0 :: forall a6989586621681270984 m6989586621681270983 b6989586621681270985 c6989586621681270986. (~>) ((~>) a6989586621681270984 (m6989586621681270983 (b6989586621681270985, c6989586621681270986))) ((~>) [a6989586621681270984] (m6989586621681270983 ([b6989586621681270985], [c6989586621681270986])))
- data MapAndUnzipMSym1 (a6989586621681271403 :: (~>) a6989586621681270984 (m6989586621681270983 (b6989586621681270985, c6989586621681270986))) :: (~>) [a6989586621681270984] (m6989586621681270983 ([b6989586621681270985], [c6989586621681270986]))
- type MapAndUnzipMSym2 (a6989586621681271403 :: (~>) a6989586621681270984 (m6989586621681270983 (b6989586621681270985, c6989586621681270986))) (a6989586621681271404 :: [a6989586621681270984]) = MapAndUnzipM a6989586621681271403 a6989586621681271404
- data ZipWithMSym0 :: forall a6989586621681270980 b6989586621681270981 m6989586621681270979 c6989586621681270982. (~>) ((~>) a6989586621681270980 ((~>) b6989586621681270981 (m6989586621681270979 c6989586621681270982))) ((~>) [a6989586621681270980] ((~>) [b6989586621681270981] (m6989586621681270979 [c6989586621681270982])))
- data ZipWithMSym1 (a6989586621681271394 :: (~>) a6989586621681270980 ((~>) b6989586621681270981 (m6989586621681270979 c6989586621681270982))) :: (~>) [a6989586621681270980] ((~>) [b6989586621681270981] (m6989586621681270979 [c6989586621681270982]))
- data ZipWithMSym2 (a6989586621681271394 :: (~>) a6989586621681270980 ((~>) b6989586621681270981 (m6989586621681270979 c6989586621681270982))) (a6989586621681271395 :: [a6989586621681270980]) :: (~>) [b6989586621681270981] (m6989586621681270979 [c6989586621681270982])
- type ZipWithMSym3 (a6989586621681271394 :: (~>) a6989586621681270980 ((~>) b6989586621681270981 (m6989586621681270979 c6989586621681270982))) (a6989586621681271395 :: [a6989586621681270980]) (a6989586621681271396 :: [b6989586621681270981]) = ZipWithM a6989586621681271394 a6989586621681271395 a6989586621681271396
- data ZipWithM_Sym0 :: forall a6989586621681270976 b6989586621681270977 m6989586621681270975 c6989586621681270978. (~>) ((~>) a6989586621681270976 ((~>) b6989586621681270977 (m6989586621681270975 c6989586621681270978))) ((~>) [a6989586621681270976] ((~>) [b6989586621681270977] (m6989586621681270975 ())))
- data ZipWithM_Sym1 (a6989586621681271385 :: (~>) a6989586621681270976 ((~>) b6989586621681270977 (m6989586621681270975 c6989586621681270978))) :: (~>) [a6989586621681270976] ((~>) [b6989586621681270977] (m6989586621681270975 ()))
- data ZipWithM_Sym2 (a6989586621681271385 :: (~>) a6989586621681270976 ((~>) b6989586621681270977 (m6989586621681270975 c6989586621681270978))) (a6989586621681271386 :: [a6989586621681270976]) :: (~>) [b6989586621681270977] (m6989586621681270975 ())
- type ZipWithM_Sym3 (a6989586621681271385 :: (~>) a6989586621681270976 ((~>) b6989586621681270977 (m6989586621681270975 c6989586621681270978))) (a6989586621681271386 :: [a6989586621681270976]) (a6989586621681271387 :: [b6989586621681270977]) = ZipWithM_ a6989586621681271385 a6989586621681271386 a6989586621681271387
- data FoldlMSym0 :: forall b6989586621680486536 a6989586621680486537 m6989586621680486535 t6989586621680486534. (~>) ((~>) b6989586621680486536 ((~>) a6989586621680486537 (m6989586621680486535 b6989586621680486536))) ((~>) b6989586621680486536 ((~>) (t6989586621680486534 a6989586621680486537) (m6989586621680486535 b6989586621680486536)))
- data FoldlMSym1 (a6989586621680487154 :: (~>) b6989586621680486536 ((~>) a6989586621680486537 (m6989586621680486535 b6989586621680486536))) :: forall t6989586621680486534. (~>) b6989586621680486536 ((~>) (t6989586621680486534 a6989586621680486537) (m6989586621680486535 b6989586621680486536))
- data FoldlMSym2 (a6989586621680487154 :: (~>) b6989586621680486536 ((~>) a6989586621680486537 (m6989586621680486535 b6989586621680486536))) (a6989586621680487155 :: b6989586621680486536) :: forall t6989586621680486534. (~>) (t6989586621680486534 a6989586621680486537) (m6989586621680486535 b6989586621680486536)
- type FoldlMSym3 (a6989586621680487154 :: (~>) b6989586621680486536 ((~>) a6989586621680486537 (m6989586621680486535 b6989586621680486536))) (a6989586621680487155 :: b6989586621680486536) (a6989586621680487156 :: t6989586621680486534 a6989586621680486537) = FoldlM a6989586621680487154 a6989586621680487155 a6989586621680487156
- data ReplicateMSym0 :: forall m6989586621681270965 a6989586621681270966. (~>) Nat ((~>) (m6989586621681270965 a6989586621681270966) (m6989586621681270965 [a6989586621681270966]))
- data ReplicateMSym1 (a6989586621681271342 :: Nat) :: forall m6989586621681270965 a6989586621681270966. (~>) (m6989586621681270965 a6989586621681270966) (m6989586621681270965 [a6989586621681270966])
- type ReplicateMSym2 (a6989586621681271342 :: Nat) (a6989586621681271343 :: m6989586621681270965 a6989586621681270966) = ReplicateM a6989586621681271342 a6989586621681271343
- data ReplicateM_Sym0 :: forall m6989586621681270963 a6989586621681270964. (~>) Nat ((~>) (m6989586621681270963 a6989586621681270964) (m6989586621681270963 ()))
- data ReplicateM_Sym1 (a6989586621681271323 :: Nat) :: forall m6989586621681270963 a6989586621681270964. (~>) (m6989586621681270963 a6989586621681270964) (m6989586621681270963 ())
- type ReplicateM_Sym2 (a6989586621681271323 :: Nat) (a6989586621681271324 :: m6989586621681270963 a6989586621681270964) = ReplicateM_ a6989586621681271323 a6989586621681271324
- data GuardSym0 :: forall f6989586621679566818. (~>) Bool (f6989586621679566818 ())
- type GuardSym1 (a6989586621679566984 :: Bool) = Guard a6989586621679566984
- data WhenSym0 :: forall f6989586621679566847. (~>) Bool ((~>) (f6989586621679566847 ()) (f6989586621679566847 ()))
- data WhenSym1 (a6989586621679567232 :: Bool) :: forall f6989586621679566847. (~>) (f6989586621679566847 ()) (f6989586621679566847 ())
- type WhenSym2 (a6989586621679567232 :: Bool) (a6989586621679567233 :: f6989586621679566847 ()) = When a6989586621679567232 a6989586621679567233
- data UnlessSym0 :: forall f6989586621681270962. (~>) Bool ((~>) (f6989586621681270962 ()) (f6989586621681270962 ()))
- data UnlessSym1 (a6989586621681271314 :: Bool) :: forall f6989586621681270962. (~>) (f6989586621681270962 ()) (f6989586621681270962 ())
- type UnlessSym2 (a6989586621681271314 :: Bool) (a6989586621681271315 :: f6989586621681270962 ()) = Unless a6989586621681271314 a6989586621681271315
- data LiftMSym0 :: forall a16989586621679566845 r6989586621679566846 m6989586621679566844. (~>) ((~>) a16989586621679566845 r6989586621679566846) ((~>) (m6989586621679566844 a16989586621679566845) (m6989586621679566844 r6989586621679566846))
- data LiftMSym1 (a6989586621679567219 :: (~>) a16989586621679566845 r6989586621679566846) :: forall m6989586621679566844. (~>) (m6989586621679566844 a16989586621679566845) (m6989586621679566844 r6989586621679566846)
- type LiftMSym2 (a6989586621679567219 :: (~>) a16989586621679566845 r6989586621679566846) (a6989586621679567220 :: m6989586621679566844 a16989586621679566845) = LiftM a6989586621679567219 a6989586621679567220
- data LiftM2Sym0 :: forall a16989586621679566841 a26989586621679566842 r6989586621679566843 m6989586621679566840. (~>) ((~>) a16989586621679566841 ((~>) a26989586621679566842 r6989586621679566843)) ((~>) (m6989586621679566840 a16989586621679566841) ((~>) (m6989586621679566840 a26989586621679566842) (m6989586621679566840 r6989586621679566843)))
- data LiftM2Sym1 (a6989586621679567193 :: (~>) a16989586621679566841 ((~>) a26989586621679566842 r6989586621679566843)) :: forall m6989586621679566840. (~>) (m6989586621679566840 a16989586621679566841) ((~>) (m6989586621679566840 a26989586621679566842) (m6989586621679566840 r6989586621679566843))
- data LiftM2Sym2 (a6989586621679567193 :: (~>) a16989586621679566841 ((~>) a26989586621679566842 r6989586621679566843)) (a6989586621679567194 :: m6989586621679566840 a16989586621679566841) :: (~>) (m6989586621679566840 a26989586621679566842) (m6989586621679566840 r6989586621679566843)
- type LiftM2Sym3 (a6989586621679567193 :: (~>) a16989586621679566841 ((~>) a26989586621679566842 r6989586621679566843)) (a6989586621679567194 :: m6989586621679566840 a16989586621679566841) (a6989586621679567195 :: m6989586621679566840 a26989586621679566842) = LiftM2 a6989586621679567193 a6989586621679567194 a6989586621679567195
- data LiftM3Sym0 :: forall a16989586621679566836 a26989586621679566837 a36989586621679566838 r6989586621679566839 m6989586621679566835. (~>) ((~>) a16989586621679566836 ((~>) a26989586621679566837 ((~>) a36989586621679566838 r6989586621679566839))) ((~>) (m6989586621679566835 a16989586621679566836) ((~>) (m6989586621679566835 a26989586621679566837) ((~>) (m6989586621679566835 a36989586621679566838) (m6989586621679566835 r6989586621679566839))))
- data LiftM3Sym1 (a6989586621679567151 :: (~>) a16989586621679566836 ((~>) a26989586621679566837 ((~>) a36989586621679566838 r6989586621679566839))) :: forall m6989586621679566835. (~>) (m6989586621679566835 a16989586621679566836) ((~>) (m6989586621679566835 a26989586621679566837) ((~>) (m6989586621679566835 a36989586621679566838) (m6989586621679566835 r6989586621679566839)))
- data LiftM3Sym2 (a6989586621679567151 :: (~>) a16989586621679566836 ((~>) a26989586621679566837 ((~>) a36989586621679566838 r6989586621679566839))) (a6989586621679567152 :: m6989586621679566835 a16989586621679566836) :: (~>) (m6989586621679566835 a26989586621679566837) ((~>) (m6989586621679566835 a36989586621679566838) (m6989586621679566835 r6989586621679566839))
- data LiftM3Sym3 (a6989586621679567151 :: (~>) a16989586621679566836 ((~>) a26989586621679566837 ((~>) a36989586621679566838 r6989586621679566839))) (a6989586621679567152 :: m6989586621679566835 a16989586621679566836) (a6989586621679567153 :: m6989586621679566835 a26989586621679566837) :: (~>) (m6989586621679566835 a36989586621679566838) (m6989586621679566835 r6989586621679566839)
- type LiftM3Sym4 (a6989586621679567151 :: (~>) a16989586621679566836 ((~>) a26989586621679566837 ((~>) a36989586621679566838 r6989586621679566839))) (a6989586621679567152 :: m6989586621679566835 a16989586621679566836) (a6989586621679567153 :: m6989586621679566835 a26989586621679566837) (a6989586621679567154 :: m6989586621679566835 a36989586621679566838) = LiftM3 a6989586621679567151 a6989586621679567152 a6989586621679567153 a6989586621679567154
- data LiftM4Sym0 :: forall a16989586621679566830 a26989586621679566831 a36989586621679566832 a46989586621679566833 r6989586621679566834 m6989586621679566829. (~>) ((~>) a16989586621679566830 ((~>) a26989586621679566831 ((~>) a36989586621679566832 ((~>) a46989586621679566833 r6989586621679566834)))) ((~>) (m6989586621679566829 a16989586621679566830) ((~>) (m6989586621679566829 a26989586621679566831) ((~>) (m6989586621679566829 a36989586621679566832) ((~>) (m6989586621679566829 a46989586621679566833) (m6989586621679566829 r6989586621679566834)))))
- data LiftM4Sym1 (a6989586621679567090 :: (~>) a16989586621679566830 ((~>) a26989586621679566831 ((~>) a36989586621679566832 ((~>) a46989586621679566833 r6989586621679566834)))) :: forall m6989586621679566829. (~>) (m6989586621679566829 a16989586621679566830) ((~>) (m6989586621679566829 a26989586621679566831) ((~>) (m6989586621679566829 a36989586621679566832) ((~>) (m6989586621679566829 a46989586621679566833) (m6989586621679566829 r6989586621679566834))))
- data LiftM4Sym2 (a6989586621679567090 :: (~>) a16989586621679566830 ((~>) a26989586621679566831 ((~>) a36989586621679566832 ((~>) a46989586621679566833 r6989586621679566834)))) (a6989586621679567091 :: m6989586621679566829 a16989586621679566830) :: (~>) (m6989586621679566829 a26989586621679566831) ((~>) (m6989586621679566829 a36989586621679566832) ((~>) (m6989586621679566829 a46989586621679566833) (m6989586621679566829 r6989586621679566834)))
- data LiftM4Sym3 (a6989586621679567090 :: (~>) a16989586621679566830 ((~>) a26989586621679566831 ((~>) a36989586621679566832 ((~>) a46989586621679566833 r6989586621679566834)))) (a6989586621679567091 :: m6989586621679566829 a16989586621679566830) (a6989586621679567092 :: m6989586621679566829 a26989586621679566831) :: (~>) (m6989586621679566829 a36989586621679566832) ((~>) (m6989586621679566829 a46989586621679566833) (m6989586621679566829 r6989586621679566834))
- data LiftM4Sym4 (a6989586621679567090 :: (~>) a16989586621679566830 ((~>) a26989586621679566831 ((~>) a36989586621679566832 ((~>) a46989586621679566833 r6989586621679566834)))) (a6989586621679567091 :: m6989586621679566829 a16989586621679566830) (a6989586621679567092 :: m6989586621679566829 a26989586621679566831) (a6989586621679567093 :: m6989586621679566829 a36989586621679566832) :: (~>) (m6989586621679566829 a46989586621679566833) (m6989586621679566829 r6989586621679566834)
- type LiftM4Sym5 (a6989586621679567090 :: (~>) a16989586621679566830 ((~>) a26989586621679566831 ((~>) a36989586621679566832 ((~>) a46989586621679566833 r6989586621679566834)))) (a6989586621679567091 :: m6989586621679566829 a16989586621679566830) (a6989586621679567092 :: m6989586621679566829 a26989586621679566831) (a6989586621679567093 :: m6989586621679566829 a36989586621679566832) (a6989586621679567094 :: m6989586621679566829 a46989586621679566833) = LiftM4 a6989586621679567090 a6989586621679567091 a6989586621679567092 a6989586621679567093 a6989586621679567094
- data LiftM5Sym0 :: forall a16989586621679566823 a26989586621679566824 a36989586621679566825 a46989586621679566826 a56989586621679566827 r6989586621679566828 m6989586621679566822. (~>) ((~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) ((~>) (m6989586621679566822 a16989586621679566823) ((~>) (m6989586621679566822 a26989586621679566824) ((~>) (m6989586621679566822 a36989586621679566825) ((~>) (m6989586621679566822 a46989586621679566826) ((~>) (m6989586621679566822 a56989586621679566827) (m6989586621679566822 r6989586621679566828))))))
- data LiftM5Sym1 (a6989586621679567007 :: (~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) :: forall m6989586621679566822. (~>) (m6989586621679566822 a16989586621679566823) ((~>) (m6989586621679566822 a26989586621679566824) ((~>) (m6989586621679566822 a36989586621679566825) ((~>) (m6989586621679566822 a46989586621679566826) ((~>) (m6989586621679566822 a56989586621679566827) (m6989586621679566822 r6989586621679566828)))))
- data LiftM5Sym2 (a6989586621679567007 :: (~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) (a6989586621679567008 :: m6989586621679566822 a16989586621679566823) :: (~>) (m6989586621679566822 a26989586621679566824) ((~>) (m6989586621679566822 a36989586621679566825) ((~>) (m6989586621679566822 a46989586621679566826) ((~>) (m6989586621679566822 a56989586621679566827) (m6989586621679566822 r6989586621679566828))))
- data LiftM5Sym3 (a6989586621679567007 :: (~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) (a6989586621679567008 :: m6989586621679566822 a16989586621679566823) (a6989586621679567009 :: m6989586621679566822 a26989586621679566824) :: (~>) (m6989586621679566822 a36989586621679566825) ((~>) (m6989586621679566822 a46989586621679566826) ((~>) (m6989586621679566822 a56989586621679566827) (m6989586621679566822 r6989586621679566828)))
- data LiftM5Sym4 (a6989586621679567007 :: (~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) (a6989586621679567008 :: m6989586621679566822 a16989586621679566823) (a6989586621679567009 :: m6989586621679566822 a26989586621679566824) (a6989586621679567010 :: m6989586621679566822 a36989586621679566825) :: (~>) (m6989586621679566822 a46989586621679566826) ((~>) (m6989586621679566822 a56989586621679566827) (m6989586621679566822 r6989586621679566828))
- data LiftM5Sym5 (a6989586621679567007 :: (~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) (a6989586621679567008 :: m6989586621679566822 a16989586621679566823) (a6989586621679567009 :: m6989586621679566822 a26989586621679566824) (a6989586621679567010 :: m6989586621679566822 a36989586621679566825) (a6989586621679567011 :: m6989586621679566822 a46989586621679566826) :: (~>) (m6989586621679566822 a56989586621679566827) (m6989586621679566822 r6989586621679566828)
- type LiftM5Sym6 (a6989586621679567007 :: (~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) (a6989586621679567008 :: m6989586621679566822 a16989586621679566823) (a6989586621679567009 :: m6989586621679566822 a26989586621679566824) (a6989586621679567010 :: m6989586621679566822 a36989586621679566825) (a6989586621679567011 :: m6989586621679566822 a46989586621679566826) (a6989586621679567012 :: m6989586621679566822 a56989586621679566827) = LiftM5 a6989586621679567007 a6989586621679567008 a6989586621679567009 a6989586621679567010 a6989586621679567011 a6989586621679567012
- data ApSym0 :: forall m6989586621679566819 a6989586621679566820 b6989586621679566821. (~>) (m6989586621679566819 ((~>) a6989586621679566820 b6989586621679566821)) ((~>) (m6989586621679566819 a6989586621679566820) (m6989586621679566819 b6989586621679566821))
- data ApSym1 (a6989586621679566986 :: m6989586621679566819 ((~>) a6989586621679566820 b6989586621679566821)) :: (~>) (m6989586621679566819 a6989586621679566820) (m6989586621679566819 b6989586621679566821)
- type ApSym2 (a6989586621679566986 :: m6989586621679566819 ((~>) a6989586621679566820 b6989586621679566821)) (a6989586621679566987 :: m6989586621679566819 a6989586621679566820) = Ap a6989586621679566986 a6989586621679566987
- data (<$!>@#@$) :: forall a6989586621681270960 b6989586621681270961 m6989586621681270959. (~>) ((~>) a6989586621681270960 b6989586621681270961) ((~>) (m6989586621681270959 a6989586621681270960) (m6989586621681270959 b6989586621681270961))
- data (<$!>@#@$$) (a6989586621681271297 :: (~>) a6989586621681270960 b6989586621681270961) :: forall m6989586621681270959. (~>) (m6989586621681270959 a6989586621681270960) (m6989586621681270959 b6989586621681270961)
- type (<$!>@#@$$$) (a6989586621681271297 :: (~>) a6989586621681270960 b6989586621681270961) (a6989586621681271298 :: m6989586621681270959 a6989586621681270960) = (<$!>) a6989586621681271297 a6989586621681271298
Documentation
class PFunctor (f :: Type -> Type) Source #
Instances
PFunctor [] Source # | |
PFunctor Maybe Source # | |
PFunctor NonEmpty Source # | |
PFunctor Down Source # | |
PFunctor Identity Source # | |
PFunctor First Source # | |
PFunctor Last Source # | |
PFunctor Max Source # | |
PFunctor Min Source # | |
PFunctor Option Source # | |
PFunctor Dual Source # | |
PFunctor Product Source # | |
PFunctor Sum Source # | |
PFunctor First Source # | |
PFunctor Last 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 NonEmpty Source # | |
SFunctor Down Source # | |
SFunctor Identity Source # | |
SFunctor First Source # | |
SFunctor Last Source # | |
SFunctor Max Source # | |
SFunctor Min Source # | |
SFunctor Option Source # | |
SFunctor Dual Source # | |
SFunctor Product Source # | |
SFunctor Sum Source # | |
SFunctor First Source # | |
SFunctor Last Source # | |
SFunctor (Either a) Source # | |
SFunctor ((,) a) Source # | |
SFunctor (Arg a) Source # | |
SFunctor (Const m :: Type -> Type) Source # | |
class PMonad (m :: Type -> Type) Source #
Associated Types
type (arg :: m a) >>= (arg :: (~>) a (m b)) :: m b infixl 1 Source #
Instances
PMonad [] Source # | |
PMonad Maybe Source # | |
PMonad NonEmpty Source # | |
PMonad Down Source # | |
PMonad Identity Source # | |
PMonad First Source # | |
PMonad Last Source # | |
PMonad Max Source # | |
PMonad Min Source # | |
PMonad Option Source # | |
PMonad Dual Source # | |
PMonad Product Source # | |
PMonad Sum Source # | |
PMonad First Source # | |
PMonad Last 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 #
default (%>>) :: forall a b (t :: m a) (t :: m b). (Apply (Apply (>>@#@$) t) t :: m b) ~ Apply (Apply TFHelper_6989586621679567407Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t :: m b) Source #
sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t :: m a) Source #
default sReturn :: forall a (t :: a). (Apply ReturnSym0 t :: m a) ~ Apply Return_6989586621679567428Sym0 t => Sing t -> Sing (Apply ReturnSym0 t :: m a) Source #
Instances
SMonad [] Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SMonad Maybe Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods (%>>=) :: forall a b (t :: Maybe a) (t :: a ~> Maybe b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Maybe a) (t :: Maybe b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad NonEmpty Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods (%>>=) :: forall a b (t :: NonEmpty a) (t :: a ~> NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Down Source # | |
Defined in Data.Singletons.Prelude.Monad Methods (%>>=) :: forall a b (t :: Down a) (t :: a ~> Down b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Down a) (t :: Down b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Identity Source # | |
Defined in Data.Singletons.Prelude.Identity Methods (%>>=) :: forall a b (t :: Identity a) (t :: a ~> Identity b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Identity a) (t :: Identity b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad First Source # | |
Defined in Data.Singletons.Prelude.Semigroup Methods (%>>=) :: forall a b (t :: First a) (t :: a ~> First b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: First a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Last Source # | |
Defined in Data.Singletons.Prelude.Semigroup Methods (%>>=) :: forall a b (t :: Last a) (t :: a ~> Last b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Last a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Max Source # | |
Defined in Data.Singletons.Prelude.Semigroup Methods (%>>=) :: forall a b (t :: Max a) (t :: a ~> Max b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Max a) (t :: Max b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Min Source # | |
Defined in Data.Singletons.Prelude.Semigroup Methods (%>>=) :: forall a b (t :: Min a) (t :: a ~> Min b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Min a) (t :: Min b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Option Source # | |
Defined in Data.Singletons.Prelude.Semigroup Methods (%>>=) :: forall a b (t :: Option a) (t :: a ~> Option b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Option a) (t :: Option b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Dual Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%>>=) :: forall a b (t :: Dual a) (t :: a ~> Dual b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Dual a) (t :: Dual b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Product Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%>>=) :: forall a b (t :: Product a) (t :: a ~> Product b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Product a) (t :: Product b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Sum Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%>>=) :: forall a b (t :: Sum a) (t :: a ~> Sum b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Sum a) (t :: Sum b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad First Source # | |
Defined in Data.Singletons.Prelude.Monoid Methods (%>>=) :: forall a b (t :: First a) (t :: a ~> First b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: First a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad Last Source # | |
Defined in Data.Singletons.Prelude.Monoid Methods (%>>=) :: forall a b (t :: Last a) (t :: a ~> Last b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Last a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonad (Either e) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods (%>>=) :: forall a b (t :: Either e a) (t :: a ~> Either e b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Either e a) (t :: Either e b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
SMonoid a => SMonad ((,) a) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods (%>>=) :: forall a0 b (t :: (a, a0)) (t :: a0 ~> (a, b)). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a0 b (t :: (a, a0)) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a0 (t :: a0). Sing t -> Sing (Apply ReturnSym0 t) Source # |
class PMonadPlus (m :: Type -> Type) Source #
Associated Types
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 #
default sMzero :: forall a. (MzeroSym0 :: m a) ~ Mzero_6989586621679567444Sym0 => 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 #
Instances
SMonadPlus [] Source # | |
SMonadPlus Maybe Source # | |
SMonadPlus Option Source # | |
class PMonadFail (m :: Type -> Type) Source #
Instances
PMonadFail [] Source # | |
Defined in Data.Singletons.Prelude.Monad.Fail | |
PMonadFail Maybe Source # | |
Defined in Data.Singletons.Prelude.Monad.Fail |
class SMonad m => SMonadFail (m :: Type -> Type) where Source #
Instances
SMonadFail [] Source # | |
SMonadFail Maybe Source # | |
type family MapM (arg :: (~>) a (m b)) (arg :: t a) :: m (t b) Source #
Instances
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: Maybe a0) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: [a0]) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: NonEmpty a0) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: Dual a0) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: Sum a0) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: Product a0) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: First a0) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: Last a0) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: Identity a0) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: Min a0) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: Max a0) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: First a0) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: Last a0) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: Option a0) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: Either a a0) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: (a, a0)) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: Arg a a0) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type MapM (arg1 :: a0 ~> m0 b0) (arg2 :: Const m a0) Source # | |
Defined in Data.Singletons.Prelude.Traversable |
sMapM :: forall a m b (t :: (~>) a (m b)) (t :: t a). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t :: m (t b)) Source #
sMapM_ :: forall a m b t (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ()) Source #
sForM :: forall t a m b (t :: t a) (t :: (~>) a (m b)). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForMSym0 t) t :: m (t b)) Source #
type family Sequence (arg :: t (m a)) :: m (t a) Source #
Instances
type Sequence (arg0 :: [m0 a0]) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Sequence (arg0 :: [m0 a0]) | |
type Sequence (arg0 :: Maybe (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Sequence (arg0 :: Maybe (m0 a0)) | |
type Sequence (arg0 :: NonEmpty (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Sequence (arg0 :: NonEmpty (m0 a0)) | |
type Sequence (arg0 :: Identity (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Sequence (arg0 :: Identity (m0 a0)) | |
type Sequence (arg0 :: First (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Semigroup type Sequence (arg0 :: First (m0 a0)) | |
type Sequence (arg0 :: Last (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Semigroup type Sequence (arg0 :: Last (m0 a0)) | |
type Sequence (arg0 :: Max (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Semigroup type Sequence (arg0 :: Max (m0 a0)) | |
type Sequence (arg0 :: Min (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Semigroup type Sequence (arg0 :: Min (m0 a0)) | |
type Sequence (arg0 :: Option (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Semigroup type Sequence (arg0 :: Option (m0 a0)) | |
type Sequence (arg0 :: Dual (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Sequence (arg0 :: Dual (m0 a0)) | |
type Sequence (arg0 :: Product (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Sequence (arg0 :: Product (m0 a0)) | |
type Sequence (arg0 :: Sum (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Sequence (arg0 :: Sum (m0 a0)) | |
type Sequence (arg0 :: First (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Sequence (arg0 :: First (m0 a0)) | |
type Sequence (arg0 :: Last (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Sequence (arg0 :: Last (m0 a0)) | |
type Sequence (arg0 :: Either a (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Sequence (arg0 :: Either a (m0 a0)) | |
type Sequence (arg0 :: (a, m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Sequence (arg0 :: (a, m0 a0)) | |
type Sequence (arg0 :: Arg a (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Semigroup type Sequence (arg0 :: Arg a (m0 a0)) | |
type Sequence (arg0 :: Const m (m0 a0)) Source # | |
Defined in Data.Singletons.Prelude.Traversable |
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_6989586621680487108 = Apply (Apply (Apply FoldrSym0 (>>@#@$)) (Apply ReturnSym0 Tuple0Sym0)) a_6989586621680487108 |
sSequence_ :: forall t m a (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ()) Source #
(%=<<) :: forall a m b (t :: (~>) a (m b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (=<<@#@$) t) t :: m b) infixr 1 Source #
type family ((a :: (~>) a (m b)) >=> (a :: (~>) b (m c))) (a :: a) :: m c where ... infixr 1 Source #
(%>=>) :: forall a m b c (t :: (~>) a (m b)) (t :: (~>) b (m c)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (>=>@#@$) t) t) t :: m c) infixr 1 Source #
type family ((a :: (~>) b (m c)) <=< (a :: (~>) a (m b))) (a :: a) :: m c where ... infixr 1 Source #
(%<=<) :: forall b m c a (t :: (~>) b (m c)) (t :: (~>) a (m b)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (<=<@#@$) t) t) t :: m c) infixr 1 Source #
type family Void (a :: f a) :: f () where ... Source #
Equations
Void x = Apply (Apply (<$@#@$) Tuple0Sym0) x |
sMsum :: forall t m a (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a) Source #
sMfilter :: forall a m (t :: (~>) a Bool) (t :: m a). SMonadPlus m => Sing t -> Sing t -> Sing (Apply (Apply MfilterSym0 t) t :: m a) Source #
sFilterM :: forall a m (t :: (~>) a (m Bool)) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply FilterMSym0 t) t :: m [a]) Source #
type family MapAndUnzipM (a :: (~>) a (m (b, c))) (a :: [a]) :: m ([b], [c]) where ... Source #
Equations
MapAndUnzipM f xs = Apply (Apply (<$>@#@$) UnzipSym0) (Apply (Apply TraverseSym0 f) xs) |
sMapAndUnzipM :: forall a m b c (t :: (~>) a (m (b, c))) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply MapAndUnzipMSym0 t) t :: m ([b], [c])) Source #
type family ZipWithM (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m [c] where ... Source #
Equations
ZipWithM f xs ys = Apply SequenceASym0 (Apply (Apply (Apply ZipWithSym0 f) xs) ys) |
sZipWithM :: forall a b m c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithMSym0 t) t) t :: m [c]) Source #
type family ZipWithM_ (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m () where ... Source #
Equations
ZipWithM_ f xs ys = Apply SequenceA_Sym0 (Apply (Apply (Apply ZipWithSym0 f) xs) ys) |
sZipWithM_ :: forall a b m c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithM_Sym0 t) t) t :: m ()) Source #
sFoldlM :: forall b a m t (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b) Source #
type family ReplicateM (a :: Nat) (a :: m a) :: m [a] where ... Source #
Equations
ReplicateM cnt0 f = Apply (Let6989586621681271348LoopSym2 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 (Let6989586621681271329LoopSym2 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_6989586621679567238 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_6989586621681271320 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 a1 r m (t :: (~>) a1 r) (t :: m a1). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply LiftMSym0 t) t :: m r) Source #
sLiftM2 :: forall a1 a2 r m (t :: (~>) a1 ((~>) a2 r)) (t :: m a1) (t :: m a2). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftM2Sym0 t) t) t :: m r) Source #
type family LiftM3 (a :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a :: m a1) (a :: m a2) (a :: m a3) :: m r where ... Source #
sLiftM3 :: forall a1 a2 a3 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 r))) (t :: m a1) (t :: m a2) (t :: m a3). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply LiftM3Sym0 t) t) t) t :: m r) Source #
type family LiftM4 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) :: m r where ... Source #
sLiftM4 :: forall a1 a2 a3 a4 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply LiftM4Sym0 t) t) t) t) t :: m r) Source #
type family LiftM5 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) (a :: m a5) :: m r where ... Source #
sLiftM5 :: forall a1 a2 a3 a4 a5 r m (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4) (t :: m a5). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply LiftM5Sym0 t) t) t) t) t) t :: m r) Source #
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 a b m (t :: (~>) a b) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (<$!>@#@$) t) t :: m b) infixl 4 Source #
Defunctionalization symbols
data FmapSym0 :: forall a6989586621679566897 b6989586621679566898 f6989586621679566896. (~>) ((~>) a6989586621679566897 b6989586621679566898) ((~>) (f6989586621679566896 a6989586621679566897) (f6989586621679566896 b6989586621679566898)) Source #
Instances
SFunctor f => SingI (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) Source # | |
SuppressUnusedWarnings (FmapSym0 :: TyFun (a6989586621679566897 ~> b6989586621679566898) (f6989586621679566896 a6989586621679566897 ~> f6989586621679566896 b6989586621679566898) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (FmapSym0 :: TyFun (a6989586621679566897 ~> b6989586621679566898) (f6989586621679566896 a6989586621679566897 ~> f6989586621679566896 b6989586621679566898) -> Type) (arg6989586621679567288 :: a6989586621679566897 ~> b6989586621679566898) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (FmapSym0 :: TyFun (a6989586621679566897 ~> b6989586621679566898) (f6989586621679566896 a6989586621679566897 ~> f6989586621679566896 b6989586621679566898) -> Type) (arg6989586621679567288 :: a6989586621679566897 ~> b6989586621679566898) = FmapSym1 arg6989586621679567288 f6989586621679566896 :: TyFun (f6989586621679566896 a6989586621679566897) (f6989586621679566896 b6989586621679566898) -> Type |
data FmapSym1 (arg6989586621679567288 :: (~>) a6989586621679566897 b6989586621679566898) :: forall f6989586621679566896. (~>) (f6989586621679566896 a6989586621679566897) (f6989586621679566896 b6989586621679566898) Source #
Instances
(SFunctor f, SingI d) => SingI (FmapSym1 d f :: TyFun (f a) (f b) -> Type) Source # | |
SuppressUnusedWarnings (FmapSym1 arg6989586621679567288 f6989586621679566896 :: TyFun (f6989586621679566896 a6989586621679566897) (f6989586621679566896 b6989586621679566898) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (FmapSym1 arg6989586621679567288 f :: TyFun (f a) (f b) -> Type) (arg6989586621679567289 :: f a) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal |
type FmapSym2 (arg6989586621679567288 :: (~>) a6989586621679566897 b6989586621679566898) (arg6989586621679567289 :: f6989586621679566896 a6989586621679566897) = Fmap arg6989586621679567288 arg6989586621679567289 Source #
data (>>=@#@$) :: forall m6989586621679566925 a6989586621679566926 b6989586621679566927. (~>) (m6989586621679566925 a6989586621679566926) ((~>) ((~>) a6989586621679566926 (m6989586621679566925 b6989586621679566927)) (m6989586621679566925 b6989586621679566927)) infixl 1 Source #
Instances
SMonad m => SingI ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) Source # | |
SuppressUnusedWarnings ((>>=@#@$) :: TyFun (m6989586621679566925 a6989586621679566926) ((a6989586621679566926 ~> m6989586621679566925 b6989586621679566927) ~> m6989586621679566925 b6989586621679566927) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((>>=@#@$) :: TyFun (m6989586621679566925 a6989586621679566926) ((a6989586621679566926 ~> m6989586621679566925 b6989586621679566927) ~> m6989586621679566925 b6989586621679566927) -> Type) (arg6989586621679567395 :: m6989586621679566925 a6989586621679566926) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((>>=@#@$) :: TyFun (m6989586621679566925 a6989586621679566926) ((a6989586621679566926 ~> m6989586621679566925 b6989586621679566927) ~> m6989586621679566925 b6989586621679566927) -> Type) (arg6989586621679567395 :: m6989586621679566925 a6989586621679566926) = arg6989586621679567395 >>=@#@$$ b6989586621679566927 :: TyFun (a6989586621679566926 ~> m6989586621679566925 b6989586621679566927) (m6989586621679566925 b6989586621679566927) -> Type |
data (>>=@#@$$) (arg6989586621679567395 :: m6989586621679566925 a6989586621679566926) :: forall b6989586621679566927. (~>) ((~>) a6989586621679566926 (m6989586621679566925 b6989586621679566927)) (m6989586621679566925 b6989586621679566927) infixl 1 Source #
Instances
(SMonad m, SingI d) => SingI (d >>=@#@$$ b :: TyFun (a ~> m b) (m b) -> Type) Source # | |
SuppressUnusedWarnings (arg6989586621679567395 >>=@#@$$ b6989586621679566927 :: TyFun (a6989586621679566926 ~> m6989586621679566925 b6989586621679566927) (m6989586621679566925 b6989586621679566927) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (arg6989586621679567395 >>=@#@$$ b :: TyFun (a ~> m b) (m b) -> Type) (arg6989586621679567396 :: a ~> m b) Source # | |
type (>>=@#@$$$) (arg6989586621679567395 :: m6989586621679566925 a6989586621679566926) (arg6989586621679567396 :: (~>) a6989586621679566926 (m6989586621679566925 b6989586621679566927)) = (>>=) arg6989586621679567395 arg6989586621679567396 Source #
data (>>@#@$) :: forall m6989586621679566925 a6989586621679566928 b6989586621679566929. (~>) (m6989586621679566925 a6989586621679566928) ((~>) (m6989586621679566925 b6989586621679566929) (m6989586621679566925 b6989586621679566929)) infixl 1 Source #
Instances
SMonad m => SingI ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) Source # | |
SuppressUnusedWarnings ((>>@#@$) :: TyFun (m6989586621679566925 a6989586621679566928) (m6989586621679566925 b6989586621679566929 ~> m6989586621679566925 b6989586621679566929) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((>>@#@$) :: TyFun (m6989586621679566925 a6989586621679566928) (m6989586621679566925 b6989586621679566929 ~> m6989586621679566925 b6989586621679566929) -> Type) (arg6989586621679567399 :: m6989586621679566925 a6989586621679566928) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((>>@#@$) :: TyFun (m6989586621679566925 a6989586621679566928) (m6989586621679566925 b6989586621679566929 ~> m6989586621679566925 b6989586621679566929) -> Type) (arg6989586621679567399 :: m6989586621679566925 a6989586621679566928) = arg6989586621679567399 >>@#@$$ b6989586621679566929 :: TyFun (m6989586621679566925 b6989586621679566929) (m6989586621679566925 b6989586621679566929) -> Type |
data (>>@#@$$) (arg6989586621679567399 :: m6989586621679566925 a6989586621679566928) :: forall b6989586621679566929. (~>) (m6989586621679566925 b6989586621679566929) (m6989586621679566925 b6989586621679566929) infixl 1 Source #
Instances
(SMonad m, SingI d) => SingI (d >>@#@$$ b :: TyFun (m b) (m b) -> Type) Source # | |
SuppressUnusedWarnings (arg6989586621679567399 >>@#@$$ b6989586621679566929 :: TyFun (m6989586621679566925 b6989586621679566929) (m6989586621679566925 b6989586621679566929) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (arg6989586621679567399 >>@#@$$ b :: TyFun (m b) (m b) -> Type) (arg6989586621679567400 :: m b) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal |
type (>>@#@$$$) (arg6989586621679567399 :: m6989586621679566925 a6989586621679566928) (arg6989586621679567400 :: m6989586621679566925 b6989586621679566929) = (>>) arg6989586621679567399 arg6989586621679567400 Source #
data ReturnSym0 :: forall a6989586621679566930 m6989586621679566925. (~>) a6989586621679566930 (m6989586621679566925 a6989586621679566930) 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 a6989586621679566930 (m6989586621679566925 a6989586621679566930) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReturnSym0 :: TyFun a (m6989586621679566925 a) -> Type) (arg6989586621679567403 :: a) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (ReturnSym0 :: TyFun a (m6989586621679566925 a) -> Type) (arg6989586621679567403 :: a) = Return arg6989586621679567403 :: m6989586621679566925 a |
type ReturnSym1 (arg6989586621679567403 :: a6989586621679566930) = Return arg6989586621679567403 Source #
data FailSym0 :: forall m6989586621679734988 a6989586621679734989. (~>) [Char] (m6989586621679734988 a6989586621679734989) Source #
Instances
SMonadFail m => SingI (FailSym0 :: TyFun [Char] (m a) -> Type) Source # | |
SuppressUnusedWarnings (FailSym0 :: TyFun [Char] (m6989586621679734988 a6989586621679734989) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Fail Methods suppressUnusedWarnings :: () Source # | |
type Apply (FailSym0 :: TyFun [Char] (m6989586621679734988 a6989586621679734989) -> Type) (arg6989586621679735008 :: [Char]) Source # | |
Defined in Data.Singletons.Prelude.Monad.Fail |
data MplusSym0 :: forall m6989586621679566979 a6989586621679566981. (~>) (m6989586621679566979 a6989586621679566981) ((~>) (m6989586621679566979 a6989586621679566981) (m6989586621679566979 a6989586621679566981)) Source #
Instances
SMonadPlus m => SingI (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) Source # | |
SuppressUnusedWarnings (MplusSym0 :: TyFun (m6989586621679566979 a6989586621679566981) (m6989586621679566979 a6989586621679566981 ~> m6989586621679566979 a6989586621679566981) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (MplusSym0 :: TyFun (m6989586621679566979 a6989586621679566981) (m6989586621679566979 a6989586621679566981 ~> m6989586621679566979 a6989586621679566981) -> Type) (arg6989586621679567440 :: m6989586621679566979 a6989586621679566981) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal |
data MplusSym1 (arg6989586621679567440 :: m6989586621679566979 a6989586621679566981) :: (~>) (m6989586621679566979 a6989586621679566981) (m6989586621679566979 a6989586621679566981) Source #
Instances
(SMonadPlus m, SingI d) => SingI (MplusSym1 d :: TyFun (m a) (m a) -> Type) Source # | |
SuppressUnusedWarnings (MplusSym1 arg6989586621679567440 :: TyFun (m6989586621679566979 a6989586621679566981) (m6989586621679566979 a6989586621679566981) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (MplusSym1 arg6989586621679567440 :: TyFun (m a) (m a) -> Type) (arg6989586621679567441 :: m a) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal |
type MplusSym2 (arg6989586621679567440 :: m6989586621679566979 a6989586621679566981) (arg6989586621679567441 :: m6989586621679566979 a6989586621679566981) = Mplus arg6989586621679567440 arg6989586621679567441 Source #
data MapMSym0 :: forall a6989586621680794777 m6989586621680794776 b6989586621680794778 t6989586621680794770. (~>) ((~>) a6989586621680794777 (m6989586621680794776 b6989586621680794778)) ((~>) (t6989586621680794770 a6989586621680794777) (m6989586621680794776 (t6989586621680794770 b6989586621680794778))) Source #
Instances
(STraversable t, SMonad m) => SingI (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (MapMSym0 :: TyFun (a6989586621680794777 ~> m6989586621680794776 b6989586621680794778) (t6989586621680794770 a6989586621680794777 ~> m6989586621680794776 (t6989586621680794770 b6989586621680794778)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapMSym0 :: TyFun (a6989586621680794777 ~> m6989586621680794776 b6989586621680794778) (t6989586621680794770 a6989586621680794777 ~> m6989586621680794776 (t6989586621680794770 b6989586621680794778)) -> Type) (arg6989586621680794788 :: a6989586621680794777 ~> m6989586621680794776 b6989586621680794778) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (MapMSym0 :: TyFun (a6989586621680794777 ~> m6989586621680794776 b6989586621680794778) (t6989586621680794770 a6989586621680794777 ~> m6989586621680794776 (t6989586621680794770 b6989586621680794778)) -> Type) (arg6989586621680794788 :: a6989586621680794777 ~> m6989586621680794776 b6989586621680794778) = MapMSym1 arg6989586621680794788 t6989586621680794770 :: TyFun (t6989586621680794770 a6989586621680794777) (m6989586621680794776 (t6989586621680794770 b6989586621680794778)) -> Type |
data MapMSym1 (arg6989586621680794788 :: (~>) a6989586621680794777 (m6989586621680794776 b6989586621680794778)) :: forall t6989586621680794770. (~>) (t6989586621680794770 a6989586621680794777) (m6989586621680794776 (t6989586621680794770 b6989586621680794778)) Source #
Instances
(STraversable t, SMonad m, SingI d) => SingI (MapMSym1 d t :: TyFun (t a) (m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (MapMSym1 arg6989586621680794788 t6989586621680794770 :: TyFun (t6989586621680794770 a6989586621680794777) (m6989586621680794776 (t6989586621680794770 b6989586621680794778)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapMSym1 arg6989586621680794788 t :: TyFun (t a) (m (t b)) -> Type) (arg6989586621680794789 :: t a) Source # | |
Defined in Data.Singletons.Prelude.Traversable |
type MapMSym2 (arg6989586621680794788 :: (~>) a6989586621680794777 (m6989586621680794776 b6989586621680794778)) (arg6989586621680794789 :: t6989586621680794770 a6989586621680794777) = MapM arg6989586621680794788 arg6989586621680794789 Source #
data MapM_Sym0 :: forall a6989586621680486524 m6989586621680486523 b6989586621680486525 t6989586621680486522. (~>) ((~>) a6989586621680486524 (m6989586621680486523 b6989586621680486525)) ((~>) (t6989586621680486522 a6989586621680486524) (m6989586621680486523 ())) Source #
Instances
(SFoldable t, SMonad m) => SingI (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) Source # | |
SuppressUnusedWarnings (MapM_Sym0 :: TyFun (a6989586621680486524 ~> m6989586621680486523 b6989586621680486525) (t6989586621680486522 a6989586621680486524 ~> m6989586621680486523 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapM_Sym0 :: TyFun (a6989586621680486524 ~> m6989586621680486523 b6989586621680486525) (t6989586621680486522 a6989586621680486524 ~> m6989586621680486523 ()) -> Type) (a6989586621680487128 :: a6989586621680486524 ~> m6989586621680486523 b6989586621680486525) Source # | |
Defined in Data.Singletons.Prelude.Foldable type Apply (MapM_Sym0 :: TyFun (a6989586621680486524 ~> m6989586621680486523 b6989586621680486525) (t6989586621680486522 a6989586621680486524 ~> m6989586621680486523 ()) -> Type) (a6989586621680487128 :: a6989586621680486524 ~> m6989586621680486523 b6989586621680486525) = MapM_Sym1 a6989586621680487128 t6989586621680486522 :: TyFun (t6989586621680486522 a6989586621680486524) (m6989586621680486523 ()) -> Type |
data MapM_Sym1 (a6989586621680487128 :: (~>) a6989586621680486524 (m6989586621680486523 b6989586621680486525)) :: forall t6989586621680486522. (~>) (t6989586621680486522 a6989586621680486524) (m6989586621680486523 ()) Source #
Instances
(SFoldable t, SMonad m, SingI d) => SingI (MapM_Sym1 d t :: TyFun (t a) (m ()) -> Type) Source # | |
SuppressUnusedWarnings (MapM_Sym1 a6989586621680487128 t6989586621680486522 :: TyFun (t6989586621680486522 a6989586621680486524) (m6989586621680486523 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapM_Sym1 a6989586621680487128 t :: TyFun (t a) (m ()) -> Type) (a6989586621680487129 :: t a) Source # | |
Defined in Data.Singletons.Prelude.Foldable |
type MapM_Sym2 (a6989586621680487128 :: (~>) a6989586621680486524 (m6989586621680486523 b6989586621680486525)) (a6989586621680487129 :: t6989586621680486522 a6989586621680486524) = MapM_ a6989586621680487128 a6989586621680487129 Source #
data ForMSym0 :: forall t6989586621680800307 a6989586621680800309 m6989586621680800308 b6989586621680800310. (~>) (t6989586621680800307 a6989586621680800309) ((~>) ((~>) a6989586621680800309 (m6989586621680800308 b6989586621680800310)) (m6989586621680800308 (t6989586621680800307 b6989586621680800310))) Source #
Instances
(STraversable t, SMonad m) => SingI (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (ForMSym0 :: TyFun (t6989586621680800307 a6989586621680800309) ((a6989586621680800309 ~> m6989586621680800308 b6989586621680800310) ~> m6989586621680800308 (t6989586621680800307 b6989586621680800310)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (ForMSym0 :: TyFun (t6989586621680800307 a6989586621680800309) ((a6989586621680800309 ~> m6989586621680800308 b6989586621680800310) ~> m6989586621680800308 (t6989586621680800307 b6989586621680800310)) -> Type) (a6989586621680800828 :: t6989586621680800307 a6989586621680800309) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (ForMSym0 :: TyFun (t6989586621680800307 a6989586621680800309) ((a6989586621680800309 ~> m6989586621680800308 b6989586621680800310) ~> m6989586621680800308 (t6989586621680800307 b6989586621680800310)) -> Type) (a6989586621680800828 :: t6989586621680800307 a6989586621680800309) = ForMSym1 a6989586621680800828 m6989586621680800308 b6989586621680800310 :: TyFun (a6989586621680800309 ~> m6989586621680800308 b6989586621680800310) (m6989586621680800308 (t6989586621680800307 b6989586621680800310)) -> Type |
data ForMSym1 (a6989586621680800828 :: t6989586621680800307 a6989586621680800309) :: forall m6989586621680800308 b6989586621680800310. (~>) ((~>) a6989586621680800309 (m6989586621680800308 b6989586621680800310)) (m6989586621680800308 (t6989586621680800307 b6989586621680800310)) Source #
Instances
(STraversable t, SMonad m, SingI d) => SingI (ForMSym1 d m b :: TyFun (a ~> m b) (m (t b)) -> Type) Source # | |
SuppressUnusedWarnings (ForMSym1 a6989586621680800828 m6989586621680800308 b6989586621680800310 :: TyFun (a6989586621680800309 ~> m6989586621680800308 b6989586621680800310) (m6989586621680800308 (t6989586621680800307 b6989586621680800310)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (ForMSym1 a6989586621680800828 m b :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680800829 :: a ~> m b) Source # | |
type ForMSym2 (a6989586621680800828 :: t6989586621680800307 a6989586621680800309) (a6989586621680800829 :: (~>) a6989586621680800309 (m6989586621680800308 b6989586621680800310)) = ForM a6989586621680800828 a6989586621680800829 Source #
data SequenceSym0 :: forall t6989586621680794770 m6989586621680794779 a6989586621680794780. (~>) (t6989586621680794770 (m6989586621680794779 a6989586621680794780)) (m6989586621680794779 (t6989586621680794770 a6989586621680794780)) 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 (t6989586621680794770 (m6989586621680794779 a6989586621680794780)) (m6989586621680794779 (t6989586621680794770 a6989586621680794780)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable Methods suppressUnusedWarnings :: () Source # | |
type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (arg6989586621680794792 :: t (m a)) Source # | |
Defined in Data.Singletons.Prelude.Traversable type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (arg6989586621680794792 :: t (m a)) = Sequence arg6989586621680794792 |
type SequenceSym1 (arg6989586621680794792 :: t6989586621680794770 (m6989586621680794779 a6989586621680794780)) = Sequence arg6989586621680794792 Source #
data Sequence_Sym0 :: forall t6989586621680486512 m6989586621680486513 a6989586621680486514. (~>) (t6989586621680486512 (m6989586621680486513 a6989586621680486514)) (m6989586621680486513 ()) 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 (t6989586621680486512 (m6989586621680486513 a6989586621680486514)) (m6989586621680486513 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680487110 :: t (m a)) Source # | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680487110 :: t (m a)) = Sequence_ a6989586621680487110 |
type Sequence_Sym1 (a6989586621680487110 :: t6989586621680486512 (m6989586621680486513 a6989586621680486514)) = Sequence_ a6989586621680487110 Source #
data (=<<@#@$) :: forall a6989586621679566849 m6989586621679566848 b6989586621679566850. (~>) ((~>) a6989586621679566849 (m6989586621679566848 b6989586621679566850)) ((~>) (m6989586621679566848 a6989586621679566849) (m6989586621679566848 b6989586621679566850)) infixr 1 Source #
Instances
SMonad m => SingI ((=<<@#@$) :: TyFun (a ~> m b) (m a ~> m b) -> Type) Source # | |
SuppressUnusedWarnings ((=<<@#@$) :: TyFun (a6989586621679566849 ~> m6989586621679566848 b6989586621679566850) (m6989586621679566848 a6989586621679566849 ~> m6989586621679566848 b6989586621679566850) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((=<<@#@$) :: TyFun (a6989586621679566849 ~> m6989586621679566848 b6989586621679566850) (m6989586621679566848 a6989586621679566849 ~> m6989586621679566848 b6989586621679566850) -> Type) (a6989586621679567241 :: a6989586621679566849 ~> m6989586621679566848 b6989586621679566850) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((=<<@#@$) :: TyFun (a6989586621679566849 ~> m6989586621679566848 b6989586621679566850) (m6989586621679566848 a6989586621679566849 ~> m6989586621679566848 b6989586621679566850) -> Type) (a6989586621679567241 :: a6989586621679566849 ~> m6989586621679566848 b6989586621679566850) = (=<<@#@$$) a6989586621679567241 |
data (=<<@#@$$) (a6989586621679567241 :: (~>) a6989586621679566849 (m6989586621679566848 b6989586621679566850)) :: (~>) (m6989586621679566848 a6989586621679566849) (m6989586621679566848 b6989586621679566850) 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 ((=<<@#@$$) a6989586621679567241 :: TyFun (m6989586621679566848 a6989586621679566849) (m6989586621679566848 b6989586621679566850) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((=<<@#@$$) a6989586621679567241 :: TyFun (m a) (m b) -> Type) (a6989586621679567242 :: m a) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((=<<@#@$$) a6989586621679567241 :: TyFun (m a) (m b) -> Type) (a6989586621679567242 :: m a) = a6989586621679567241 =<< a6989586621679567242 |
type (=<<@#@$$$) (a6989586621679567241 :: (~>) a6989586621679566849 (m6989586621679566848 b6989586621679566850)) (a6989586621679567242 :: m6989586621679566848 a6989586621679566849) = (=<<) a6989586621679567241 a6989586621679567242 Source #
data (>=>@#@$) :: forall a6989586621681270992 m6989586621681270991 b6989586621681270993 c6989586621681270994. (~>) ((~>) a6989586621681270992 (m6989586621681270991 b6989586621681270993)) ((~>) ((~>) b6989586621681270993 (m6989586621681270991 c6989586621681270994)) ((~>) a6989586621681270992 (m6989586621681270991 c6989586621681270994))) infixr 1 Source #
Instances
SMonad m => SingI ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) Source # | |
SuppressUnusedWarnings ((>=>@#@$) :: TyFun (a6989586621681270992 ~> m6989586621681270991 b6989586621681270993) ((b6989586621681270993 ~> m6989586621681270991 c6989586621681270994) ~> (a6989586621681270992 ~> m6989586621681270991 c6989586621681270994)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply ((>=>@#@$) :: TyFun (a6989586621681270992 ~> m6989586621681270991 b6989586621681270993) ((b6989586621681270993 ~> m6989586621681270991 c6989586621681270994) ~> (a6989586621681270992 ~> m6989586621681270991 c6989586621681270994)) -> Type) (a6989586621681271424 :: a6989586621681270992 ~> m6989586621681270991 b6989586621681270993) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply ((>=>@#@$) :: TyFun (a6989586621681270992 ~> m6989586621681270991 b6989586621681270993) ((b6989586621681270993 ~> m6989586621681270991 c6989586621681270994) ~> (a6989586621681270992 ~> m6989586621681270991 c6989586621681270994)) -> Type) (a6989586621681271424 :: a6989586621681270992 ~> m6989586621681270991 b6989586621681270993) = a6989586621681271424 >=>@#@$$ c6989586621681270994 :: TyFun (b6989586621681270993 ~> m6989586621681270991 c6989586621681270994) (a6989586621681270992 ~> m6989586621681270991 c6989586621681270994) -> Type |
data (>=>@#@$$) (a6989586621681271424 :: (~>) a6989586621681270992 (m6989586621681270991 b6989586621681270993)) :: forall c6989586621681270994. (~>) ((~>) b6989586621681270993 (m6989586621681270991 c6989586621681270994)) ((~>) a6989586621681270992 (m6989586621681270991 c6989586621681270994)) infixr 1 Source #
Instances
(SMonad m, SingI d) => SingI (d >=>@#@$$ c :: TyFun (b ~> m c) (a ~> m c) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621681271424 >=>@#@$$ c6989586621681270994 :: TyFun (b6989586621681270993 ~> m6989586621681270991 c6989586621681270994) (a6989586621681270992 ~> m6989586621681270991 c6989586621681270994) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621681271424 >=>@#@$$ c6989586621681270994 :: TyFun (b6989586621681270993 ~> m6989586621681270991 c6989586621681270994) (a6989586621681270992 ~> m6989586621681270991 c6989586621681270994) -> Type) (a6989586621681271425 :: b6989586621681270993 ~> m6989586621681270991 c6989586621681270994) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (a6989586621681271424 >=>@#@$$ c6989586621681270994 :: TyFun (b6989586621681270993 ~> m6989586621681270991 c6989586621681270994) (a6989586621681270992 ~> m6989586621681270991 c6989586621681270994) -> Type) (a6989586621681271425 :: b6989586621681270993 ~> m6989586621681270991 c6989586621681270994) = a6989586621681271424 >=>@#@$$$ a6989586621681271425 |
data (a6989586621681271424 :: (~>) a6989586621681270992 (m6989586621681270991 b6989586621681270993)) >=>@#@$$$ (a6989586621681271425 :: (~>) b6989586621681270993 (m6989586621681270991 c6989586621681270994)) :: (~>) a6989586621681270992 (m6989586621681270991 c6989586621681270994) infixr 1 Source #
Instances
(SMonad m, SingI d1, SingI d2) => SingI (d1 >=>@#@$$$ d2 :: TyFun a (m c) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621681271425 >=>@#@$$$ a6989586621681271424 :: TyFun a6989586621681270992 (m6989586621681270991 c6989586621681270994) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621681271425 >=>@#@$$$ a6989586621681271424 :: TyFun a (m c) -> Type) (a6989586621681271426 :: a) Source # | |
Defined in Data.Singletons.Prelude.Monad |
data (<=<@#@$) :: forall b6989586621681270988 m6989586621681270987 c6989586621681270989 a6989586621681270990. (~>) ((~>) b6989586621681270988 (m6989586621681270987 c6989586621681270989)) ((~>) ((~>) a6989586621681270990 (m6989586621681270987 b6989586621681270988)) ((~>) a6989586621681270990 (m6989586621681270987 c6989586621681270989))) infixr 1 Source #
Instances
SMonad m => SingI ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) Source # | |
SuppressUnusedWarnings ((<=<@#@$) :: TyFun (b6989586621681270988 ~> m6989586621681270987 c6989586621681270989) ((a6989586621681270990 ~> m6989586621681270987 b6989586621681270988) ~> (a6989586621681270990 ~> m6989586621681270987 c6989586621681270989)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<=<@#@$) :: TyFun (b6989586621681270988 ~> m6989586621681270987 c6989586621681270989) ((a6989586621681270990 ~> m6989586621681270987 b6989586621681270988) ~> (a6989586621681270990 ~> m6989586621681270987 c6989586621681270989)) -> Type) (a6989586621681271415 :: b6989586621681270988 ~> m6989586621681270987 c6989586621681270989) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply ((<=<@#@$) :: TyFun (b6989586621681270988 ~> m6989586621681270987 c6989586621681270989) ((a6989586621681270990 ~> m6989586621681270987 b6989586621681270988) ~> (a6989586621681270990 ~> m6989586621681270987 c6989586621681270989)) -> Type) (a6989586621681271415 :: b6989586621681270988 ~> m6989586621681270987 c6989586621681270989) = a6989586621681271415 <=<@#@$$ a6989586621681270990 :: TyFun (a6989586621681270990 ~> m6989586621681270987 b6989586621681270988) (a6989586621681270990 ~> m6989586621681270987 c6989586621681270989) -> Type |
data (<=<@#@$$) (a6989586621681271415 :: (~>) b6989586621681270988 (m6989586621681270987 c6989586621681270989)) :: forall a6989586621681270990. (~>) ((~>) a6989586621681270990 (m6989586621681270987 b6989586621681270988)) ((~>) a6989586621681270990 (m6989586621681270987 c6989586621681270989)) infixr 1 Source #
Instances
(SMonad m, SingI d) => SingI (d <=<@#@$$ a :: TyFun (a ~> m b) (a ~> m c) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621681271415 <=<@#@$$ a6989586621681270990 :: TyFun (a6989586621681270990 ~> m6989586621681270987 b6989586621681270988) (a6989586621681270990 ~> m6989586621681270987 c6989586621681270989) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621681271415 <=<@#@$$ a6989586621681270990 :: TyFun (a6989586621681270990 ~> m6989586621681270987 b6989586621681270988) (a6989586621681270990 ~> m6989586621681270987 c6989586621681270989) -> Type) (a6989586621681271416 :: a6989586621681270990 ~> m6989586621681270987 b6989586621681270988) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (a6989586621681271415 <=<@#@$$ a6989586621681270990 :: TyFun (a6989586621681270990 ~> m6989586621681270987 b6989586621681270988) (a6989586621681270990 ~> m6989586621681270987 c6989586621681270989) -> Type) (a6989586621681271416 :: a6989586621681270990 ~> m6989586621681270987 b6989586621681270988) = a6989586621681271415 <=<@#@$$$ a6989586621681271416 |
data (a6989586621681271415 :: (~>) b6989586621681270988 (m6989586621681270987 c6989586621681270989)) <=<@#@$$$ (a6989586621681271416 :: (~>) a6989586621681270990 (m6989586621681270987 b6989586621681270988)) :: (~>) a6989586621681270990 (m6989586621681270987 c6989586621681270989) infixr 1 Source #
Instances
(SMonad m, SingI d1, SingI d2) => SingI (d1 <=<@#@$$$ d2 :: TyFun a (m c) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621681271416 <=<@#@$$$ a6989586621681271415 :: TyFun a6989586621681270990 (m6989586621681270987 c6989586621681270989) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621681271416 <=<@#@$$$ a6989586621681271415 :: TyFun a (m c) -> Type) (a6989586621681271417 :: a) Source # | |
Defined in Data.Singletons.Prelude.Monad |
data VoidSym0 :: forall f6989586621679737064 a6989586621679737065. (~>) (f6989586621679737064 a6989586621679737065) (f6989586621679737064 ()) Source #
Instances
SFunctor f => SingI (VoidSym0 :: TyFun (f a) (f ()) -> Type) Source # | |
SuppressUnusedWarnings (VoidSym0 :: TyFun (f6989586621679737064 a6989586621679737065) (f6989586621679737064 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source # | |
type Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) (a6989586621679737131 :: f a) Source # | |
Defined in Data.Singletons.Prelude.Functor |
type VoidSym1 (a6989586621679737131 :: f6989586621679737064 a6989586621679737065) = Void a6989586621679737131 Source #
data JoinSym0 :: forall m6989586621679566851 a6989586621679566852. (~>) (m6989586621679566851 (m6989586621679566851 a6989586621679566852)) (m6989586621679566851 a6989586621679566852) Source #
Instances
SMonad m => SingI (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) Source # | |
SuppressUnusedWarnings (JoinSym0 :: TyFun (m6989586621679566851 (m6989586621679566851 a6989586621679566852)) (m6989586621679566851 a6989586621679566852) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) (a6989586621679567247 :: m (m a)) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal |
type JoinSym1 (a6989586621679567247 :: m6989586621679566851 (m6989586621679566851 a6989586621679566852)) = Join a6989586621679567247 Source #
data MsumSym0 :: forall t6989586621680486506 m6989586621680486507 a6989586621680486508. (~>) (t6989586621680486506 (m6989586621680486507 a6989586621680486508)) (m6989586621680486507 a6989586621680486508) Source #
Instances
(SFoldable t, SMonadPlus m) => SingI (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) Source # | |
SuppressUnusedWarnings (MsumSym0 :: TyFun (t6989586621680486506 (m6989586621680486507 a6989586621680486508)) (m6989586621680486507 a6989586621680486508) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621680487100 :: t (m a)) Source # | |
Defined in Data.Singletons.Prelude.Foldable |
type MsumSym1 (a6989586621680487100 :: t6989586621680486506 (m6989586621680486507 a6989586621680486508)) = Msum a6989586621680487100 Source #
data MfilterSym0 :: forall a6989586621681270958 m6989586621681270957. (~>) ((~>) a6989586621681270958 Bool) ((~>) (m6989586621681270957 a6989586621681270958) (m6989586621681270957 a6989586621681270958)) 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 (a6989586621681270958 ~> Bool) (m6989586621681270957 a6989586621681270958 ~> m6989586621681270957 a6989586621681270958) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (MfilterSym0 :: TyFun (a6989586621681270958 ~> Bool) (m6989586621681270957 a6989586621681270958 ~> m6989586621681270957 a6989586621681270958) -> Type) (a6989586621681271277 :: a6989586621681270958 ~> Bool) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (MfilterSym0 :: TyFun (a6989586621681270958 ~> Bool) (m6989586621681270957 a6989586621681270958 ~> m6989586621681270957 a6989586621681270958) -> Type) (a6989586621681271277 :: a6989586621681270958 ~> Bool) = MfilterSym1 a6989586621681271277 m6989586621681270957 :: TyFun (m6989586621681270957 a6989586621681270958) (m6989586621681270957 a6989586621681270958) -> Type |
data MfilterSym1 (a6989586621681271277 :: (~>) a6989586621681270958 Bool) :: forall m6989586621681270957. (~>) (m6989586621681270957 a6989586621681270958) (m6989586621681270957 a6989586621681270958) 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 a6989586621681271277 m6989586621681270957 :: TyFun (m6989586621681270957 a6989586621681270958) (m6989586621681270957 a6989586621681270958) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (MfilterSym1 a6989586621681271277 m :: TyFun (m a) (m a) -> Type) (a6989586621681271278 :: m a) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (MfilterSym1 a6989586621681271277 m :: TyFun (m a) (m a) -> Type) (a6989586621681271278 :: m a) = Mfilter a6989586621681271277 a6989586621681271278 |
type MfilterSym2 (a6989586621681271277 :: (~>) a6989586621681270958 Bool) (a6989586621681271278 :: m6989586621681270957 a6989586621681270958) = Mfilter a6989586621681271277 a6989586621681271278 Source #
data FilterMSym0 :: forall a6989586621681270996 m6989586621681270995. (~>) ((~>) a6989586621681270996 (m6989586621681270995 Bool)) ((~>) [a6989586621681270996] (m6989586621681270995 [a6989586621681270996])) 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 (a6989586621681270996 ~> m6989586621681270995 Bool) ([a6989586621681270996] ~> m6989586621681270995 [a6989586621681270996]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (FilterMSym0 :: TyFun (a6989586621681270996 ~> m6989586621681270995 Bool) ([a6989586621681270996] ~> m6989586621681270995 [a6989586621681270996]) -> Type) (a6989586621681271443 :: a6989586621681270996 ~> m6989586621681270995 Bool) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (FilterMSym0 :: TyFun (a6989586621681270996 ~> m6989586621681270995 Bool) ([a6989586621681270996] ~> m6989586621681270995 [a6989586621681270996]) -> Type) (a6989586621681271443 :: a6989586621681270996 ~> m6989586621681270995 Bool) = FilterMSym1 a6989586621681271443 |
data FilterMSym1 (a6989586621681271443 :: (~>) a6989586621681270996 (m6989586621681270995 Bool)) :: (~>) [a6989586621681270996] (m6989586621681270995 [a6989586621681270996]) 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 a6989586621681271443 :: TyFun [a6989586621681270996] (m6989586621681270995 [a6989586621681270996]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (FilterMSym1 a6989586621681271443 :: TyFun [a] (m [a]) -> Type) (a6989586621681271444 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (FilterMSym1 a6989586621681271443 :: TyFun [a] (m [a]) -> Type) (a6989586621681271444 :: [a]) = FilterM a6989586621681271443 a6989586621681271444 |
type FilterMSym2 (a6989586621681271443 :: (~>) a6989586621681270996 (m6989586621681270995 Bool)) (a6989586621681271444 :: [a6989586621681270996]) = FilterM a6989586621681271443 a6989586621681271444 Source #
data MapAndUnzipMSym0 :: forall a6989586621681270984 m6989586621681270983 b6989586621681270985 c6989586621681270986. (~>) ((~>) a6989586621681270984 (m6989586621681270983 (b6989586621681270985, c6989586621681270986))) ((~>) [a6989586621681270984] (m6989586621681270983 ([b6989586621681270985], [c6989586621681270986]))) 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 (a6989586621681270984 ~> m6989586621681270983 (b6989586621681270985, c6989586621681270986)) ([a6989586621681270984] ~> m6989586621681270983 ([b6989586621681270985], [c6989586621681270986])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapAndUnzipMSym0 :: TyFun (a6989586621681270984 ~> m6989586621681270983 (b6989586621681270985, c6989586621681270986)) ([a6989586621681270984] ~> m6989586621681270983 ([b6989586621681270985], [c6989586621681270986])) -> Type) (a6989586621681271403 :: a6989586621681270984 ~> m6989586621681270983 (b6989586621681270985, c6989586621681270986)) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (MapAndUnzipMSym0 :: TyFun (a6989586621681270984 ~> m6989586621681270983 (b6989586621681270985, c6989586621681270986)) ([a6989586621681270984] ~> m6989586621681270983 ([b6989586621681270985], [c6989586621681270986])) -> Type) (a6989586621681271403 :: a6989586621681270984 ~> m6989586621681270983 (b6989586621681270985, c6989586621681270986)) = MapAndUnzipMSym1 a6989586621681271403 |
data MapAndUnzipMSym1 (a6989586621681271403 :: (~>) a6989586621681270984 (m6989586621681270983 (b6989586621681270985, c6989586621681270986))) :: (~>) [a6989586621681270984] (m6989586621681270983 ([b6989586621681270985], [c6989586621681270986])) 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 a6989586621681271403 :: TyFun [a6989586621681270984] (m6989586621681270983 ([b6989586621681270985], [c6989586621681270986])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapAndUnzipMSym1 a6989586621681271403 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681271404 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (MapAndUnzipMSym1 a6989586621681271403 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681271404 :: [a]) = MapAndUnzipM a6989586621681271403 a6989586621681271404 |
type MapAndUnzipMSym2 (a6989586621681271403 :: (~>) a6989586621681270984 (m6989586621681270983 (b6989586621681270985, c6989586621681270986))) (a6989586621681271404 :: [a6989586621681270984]) = MapAndUnzipM a6989586621681271403 a6989586621681271404 Source #
data ZipWithMSym0 :: forall a6989586621681270980 b6989586621681270981 m6989586621681270979 c6989586621681270982. (~>) ((~>) a6989586621681270980 ((~>) b6989586621681270981 (m6989586621681270979 c6989586621681270982))) ((~>) [a6989586621681270980] ((~>) [b6989586621681270981] (m6989586621681270979 [c6989586621681270982]))) 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 (a6989586621681270980 ~> (b6989586621681270981 ~> m6989586621681270979 c6989586621681270982)) ([a6989586621681270980] ~> ([b6989586621681270981] ~> m6989586621681270979 [c6989586621681270982])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithMSym0 :: TyFun (a6989586621681270980 ~> (b6989586621681270981 ~> m6989586621681270979 c6989586621681270982)) ([a6989586621681270980] ~> ([b6989586621681270981] ~> m6989586621681270979 [c6989586621681270982])) -> Type) (a6989586621681271394 :: a6989586621681270980 ~> (b6989586621681270981 ~> m6989586621681270979 c6989586621681270982)) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithMSym0 :: TyFun (a6989586621681270980 ~> (b6989586621681270981 ~> m6989586621681270979 c6989586621681270982)) ([a6989586621681270980] ~> ([b6989586621681270981] ~> m6989586621681270979 [c6989586621681270982])) -> Type) (a6989586621681271394 :: a6989586621681270980 ~> (b6989586621681270981 ~> m6989586621681270979 c6989586621681270982)) = ZipWithMSym1 a6989586621681271394 |
data ZipWithMSym1 (a6989586621681271394 :: (~>) a6989586621681270980 ((~>) b6989586621681270981 (m6989586621681270979 c6989586621681270982))) :: (~>) [a6989586621681270980] ((~>) [b6989586621681270981] (m6989586621681270979 [c6989586621681270982])) 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 a6989586621681271394 :: TyFun [a6989586621681270980] ([b6989586621681270981] ~> m6989586621681270979 [c6989586621681270982]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithMSym1 a6989586621681271394 :: TyFun [a6989586621681270980] ([b6989586621681270981] ~> m6989586621681270979 [c6989586621681270982]) -> Type) (a6989586621681271395 :: [a6989586621681270980]) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithMSym1 a6989586621681271394 :: TyFun [a6989586621681270980] ([b6989586621681270981] ~> m6989586621681270979 [c6989586621681270982]) -> Type) (a6989586621681271395 :: [a6989586621681270980]) = ZipWithMSym2 a6989586621681271394 a6989586621681271395 |
data ZipWithMSym2 (a6989586621681271394 :: (~>) a6989586621681270980 ((~>) b6989586621681270981 (m6989586621681270979 c6989586621681270982))) (a6989586621681271395 :: [a6989586621681270980]) :: (~>) [b6989586621681270981] (m6989586621681270979 [c6989586621681270982]) 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 a6989586621681271395 a6989586621681271394 :: TyFun [b6989586621681270981] (m6989586621681270979 [c6989586621681270982]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithMSym2 a6989586621681271395 a6989586621681271394 :: TyFun [b] (m [c]) -> Type) (a6989586621681271396 :: [b]) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithMSym2 a6989586621681271395 a6989586621681271394 :: TyFun [b] (m [c]) -> Type) (a6989586621681271396 :: [b]) = ZipWithM a6989586621681271395 a6989586621681271394 a6989586621681271396 |
type ZipWithMSym3 (a6989586621681271394 :: (~>) a6989586621681270980 ((~>) b6989586621681270981 (m6989586621681270979 c6989586621681270982))) (a6989586621681271395 :: [a6989586621681270980]) (a6989586621681271396 :: [b6989586621681270981]) = ZipWithM a6989586621681271394 a6989586621681271395 a6989586621681271396 Source #
data ZipWithM_Sym0 :: forall a6989586621681270976 b6989586621681270977 m6989586621681270975 c6989586621681270978. (~>) ((~>) a6989586621681270976 ((~>) b6989586621681270977 (m6989586621681270975 c6989586621681270978))) ((~>) [a6989586621681270976] ((~>) [b6989586621681270977] (m6989586621681270975 ()))) 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 (a6989586621681270976 ~> (b6989586621681270977 ~> m6989586621681270975 c6989586621681270978)) ([a6989586621681270976] ~> ([b6989586621681270977] ~> m6989586621681270975 ())) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithM_Sym0 :: TyFun (a6989586621681270976 ~> (b6989586621681270977 ~> m6989586621681270975 c6989586621681270978)) ([a6989586621681270976] ~> ([b6989586621681270977] ~> m6989586621681270975 ())) -> Type) (a6989586621681271385 :: a6989586621681270976 ~> (b6989586621681270977 ~> m6989586621681270975 c6989586621681270978)) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithM_Sym0 :: TyFun (a6989586621681270976 ~> (b6989586621681270977 ~> m6989586621681270975 c6989586621681270978)) ([a6989586621681270976] ~> ([b6989586621681270977] ~> m6989586621681270975 ())) -> Type) (a6989586621681271385 :: a6989586621681270976 ~> (b6989586621681270977 ~> m6989586621681270975 c6989586621681270978)) = ZipWithM_Sym1 a6989586621681271385 |
data ZipWithM_Sym1 (a6989586621681271385 :: (~>) a6989586621681270976 ((~>) b6989586621681270977 (m6989586621681270975 c6989586621681270978))) :: (~>) [a6989586621681270976] ((~>) [b6989586621681270977] (m6989586621681270975 ())) 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 a6989586621681271385 :: TyFun [a6989586621681270976] ([b6989586621681270977] ~> m6989586621681270975 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithM_Sym1 a6989586621681271385 :: TyFun [a6989586621681270976] ([b6989586621681270977] ~> m6989586621681270975 ()) -> Type) (a6989586621681271386 :: [a6989586621681270976]) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithM_Sym1 a6989586621681271385 :: TyFun [a6989586621681270976] ([b6989586621681270977] ~> m6989586621681270975 ()) -> Type) (a6989586621681271386 :: [a6989586621681270976]) = ZipWithM_Sym2 a6989586621681271385 a6989586621681271386 |
data ZipWithM_Sym2 (a6989586621681271385 :: (~>) a6989586621681270976 ((~>) b6989586621681270977 (m6989586621681270975 c6989586621681270978))) (a6989586621681271386 :: [a6989586621681270976]) :: (~>) [b6989586621681270977] (m6989586621681270975 ()) 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 a6989586621681271386 a6989586621681271385 :: TyFun [b6989586621681270977] (m6989586621681270975 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ZipWithM_Sym2 a6989586621681271386 a6989586621681271385 :: TyFun [b] (m ()) -> Type) (a6989586621681271387 :: [b]) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ZipWithM_Sym2 a6989586621681271386 a6989586621681271385 :: TyFun [b] (m ()) -> Type) (a6989586621681271387 :: [b]) = ZipWithM_ a6989586621681271386 a6989586621681271385 a6989586621681271387 |
type ZipWithM_Sym3 (a6989586621681271385 :: (~>) a6989586621681270976 ((~>) b6989586621681270977 (m6989586621681270975 c6989586621681270978))) (a6989586621681271386 :: [a6989586621681270976]) (a6989586621681271387 :: [b6989586621681270977]) = ZipWithM_ a6989586621681271385 a6989586621681271386 a6989586621681271387 Source #
data FoldlMSym0 :: forall b6989586621680486536 a6989586621680486537 m6989586621680486535 t6989586621680486534. (~>) ((~>) b6989586621680486536 ((~>) a6989586621680486537 (m6989586621680486535 b6989586621680486536))) ((~>) b6989586621680486536 ((~>) (t6989586621680486534 a6989586621680486537) (m6989586621680486535 b6989586621680486536))) 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 (b6989586621680486536 ~> (a6989586621680486537 ~> m6989586621680486535 b6989586621680486536)) (b6989586621680486536 ~> (t6989586621680486534 a6989586621680486537 ~> m6989586621680486535 b6989586621680486536)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldlMSym0 :: TyFun (b6989586621680486536 ~> (a6989586621680486537 ~> m6989586621680486535 b6989586621680486536)) (b6989586621680486536 ~> (t6989586621680486534 a6989586621680486537 ~> m6989586621680486535 b6989586621680486536)) -> Type) (a6989586621680487154 :: b6989586621680486536 ~> (a6989586621680486537 ~> m6989586621680486535 b6989586621680486536)) Source # | |
Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym0 :: TyFun (b6989586621680486536 ~> (a6989586621680486537 ~> m6989586621680486535 b6989586621680486536)) (b6989586621680486536 ~> (t6989586621680486534 a6989586621680486537 ~> m6989586621680486535 b6989586621680486536)) -> Type) (a6989586621680487154 :: b6989586621680486536 ~> (a6989586621680486537 ~> m6989586621680486535 b6989586621680486536)) = FoldlMSym1 a6989586621680487154 t6989586621680486534 :: TyFun b6989586621680486536 (t6989586621680486534 a6989586621680486537 ~> m6989586621680486535 b6989586621680486536) -> Type |
data FoldlMSym1 (a6989586621680487154 :: (~>) b6989586621680486536 ((~>) a6989586621680486537 (m6989586621680486535 b6989586621680486536))) :: forall t6989586621680486534. (~>) b6989586621680486536 ((~>) (t6989586621680486534 a6989586621680486537) (m6989586621680486535 b6989586621680486536)) 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 a6989586621680487154 t6989586621680486534 :: TyFun b6989586621680486536 (t6989586621680486534 a6989586621680486537 ~> m6989586621680486535 b6989586621680486536) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldlMSym1 a6989586621680487154 t6989586621680486534 :: TyFun b6989586621680486536 (t6989586621680486534 a6989586621680486537 ~> m6989586621680486535 b6989586621680486536) -> Type) (a6989586621680487155 :: b6989586621680486536) Source # | |
Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym1 a6989586621680487154 t6989586621680486534 :: TyFun b6989586621680486536 (t6989586621680486534 a6989586621680486537 ~> m6989586621680486535 b6989586621680486536) -> Type) (a6989586621680487155 :: b6989586621680486536) = FoldlMSym2 a6989586621680487154 a6989586621680487155 t6989586621680486534 :: TyFun (t6989586621680486534 a6989586621680486537) (m6989586621680486535 b6989586621680486536) -> Type |
data FoldlMSym2 (a6989586621680487154 :: (~>) b6989586621680486536 ((~>) a6989586621680486537 (m6989586621680486535 b6989586621680486536))) (a6989586621680487155 :: b6989586621680486536) :: forall t6989586621680486534. (~>) (t6989586621680486534 a6989586621680486537) (m6989586621680486535 b6989586621680486536) 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 a6989586621680487155 a6989586621680487154 t6989586621680486534 :: TyFun (t6989586621680486534 a6989586621680486537) (m6989586621680486535 b6989586621680486536) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Foldable Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldlMSym2 a6989586621680487155 a6989586621680487154 t :: TyFun (t a) (m b) -> Type) (a6989586621680487156 :: t a) Source # | |
Defined in Data.Singletons.Prelude.Foldable type Apply (FoldlMSym2 a6989586621680487155 a6989586621680487154 t :: TyFun (t a) (m b) -> Type) (a6989586621680487156 :: t a) = FoldlM a6989586621680487155 a6989586621680487154 a6989586621680487156 |
type FoldlMSym3 (a6989586621680487154 :: (~>) b6989586621680486536 ((~>) a6989586621680486537 (m6989586621680486535 b6989586621680486536))) (a6989586621680487155 :: b6989586621680486536) (a6989586621680487156 :: t6989586621680486534 a6989586621680486537) = FoldlM a6989586621680487154 a6989586621680487155 a6989586621680487156 Source #
data ReplicateMSym0 :: forall m6989586621681270965 a6989586621681270966. (~>) Nat ((~>) (m6989586621681270965 a6989586621681270966) (m6989586621681270965 [a6989586621681270966])) 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 (m6989586621681270965 a6989586621681270966 ~> m6989586621681270965 [a6989586621681270966]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateMSym0 :: TyFun Nat (m6989586621681270965 a6989586621681270966 ~> m6989586621681270965 [a6989586621681270966]) -> Type) (a6989586621681271342 :: Nat) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateMSym0 :: TyFun Nat (m6989586621681270965 a6989586621681270966 ~> m6989586621681270965 [a6989586621681270966]) -> Type) (a6989586621681271342 :: Nat) = ReplicateMSym1 a6989586621681271342 m6989586621681270965 a6989586621681270966 :: TyFun (m6989586621681270965 a6989586621681270966) (m6989586621681270965 [a6989586621681270966]) -> Type |
data ReplicateMSym1 (a6989586621681271342 :: Nat) :: forall m6989586621681270965 a6989586621681270966. (~>) (m6989586621681270965 a6989586621681270966) (m6989586621681270965 [a6989586621681270966]) Source #
Instances
(SApplicative m, SingI d) => SingI (ReplicateMSym1 d m a :: TyFun (m a) (m [a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ReplicateMSym1 d m a) Source # | |
SuppressUnusedWarnings (ReplicateMSym1 a6989586621681271342 m6989586621681270965 a6989586621681270966 :: TyFun (m6989586621681270965 a6989586621681270966) (m6989586621681270965 [a6989586621681270966]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateMSym1 a6989586621681271342 m a :: TyFun (m a) (m [a]) -> Type) (a6989586621681271343 :: m a) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateMSym1 a6989586621681271342 m a :: TyFun (m a) (m [a]) -> Type) (a6989586621681271343 :: m a) = ReplicateM a6989586621681271342 a6989586621681271343 |
type ReplicateMSym2 (a6989586621681271342 :: Nat) (a6989586621681271343 :: m6989586621681270965 a6989586621681270966) = ReplicateM a6989586621681271342 a6989586621681271343 Source #
data ReplicateM_Sym0 :: forall m6989586621681270963 a6989586621681270964. (~>) Nat ((~>) (m6989586621681270963 a6989586621681270964) (m6989586621681270963 ())) 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 (m6989586621681270963 a6989586621681270964 ~> m6989586621681270963 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateM_Sym0 :: TyFun Nat (m6989586621681270963 a6989586621681270964 ~> m6989586621681270963 ()) -> Type) (a6989586621681271323 :: Nat) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateM_Sym0 :: TyFun Nat (m6989586621681270963 a6989586621681270964 ~> m6989586621681270963 ()) -> Type) (a6989586621681271323 :: Nat) = ReplicateM_Sym1 a6989586621681271323 m6989586621681270963 a6989586621681270964 :: TyFun (m6989586621681270963 a6989586621681270964) (m6989586621681270963 ()) -> Type |
data ReplicateM_Sym1 (a6989586621681271323 :: Nat) :: forall m6989586621681270963 a6989586621681270964. (~>) (m6989586621681270963 a6989586621681270964) (m6989586621681270963 ()) Source #
Instances
(SApplicative m, SingI d) => SingI (ReplicateM_Sym1 d m a :: TyFun (m a) (m ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods sing :: Sing (ReplicateM_Sym1 d m a) Source # | |
SuppressUnusedWarnings (ReplicateM_Sym1 a6989586621681271323 m6989586621681270963 a6989586621681270964 :: TyFun (m6989586621681270963 a6989586621681270964) (m6989586621681270963 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (ReplicateM_Sym1 a6989586621681271323 m a :: TyFun (m a) (m ()) -> Type) (a6989586621681271324 :: m a) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (ReplicateM_Sym1 a6989586621681271323 m a :: TyFun (m a) (m ()) -> Type) (a6989586621681271324 :: m a) = ReplicateM_ a6989586621681271323 a6989586621681271324 |
type ReplicateM_Sym2 (a6989586621681271323 :: Nat) (a6989586621681271324 :: m6989586621681270963 a6989586621681270964) = ReplicateM_ a6989586621681271323 a6989586621681271324 Source #
data GuardSym0 :: forall f6989586621679566818. (~>) Bool (f6989586621679566818 ()) Source #
Instances
SAlternative f => SingI (GuardSym0 :: TyFun Bool (f ()) -> Type) Source # | |
SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f6989586621679566818 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (GuardSym0 :: TyFun Bool (f6989586621679566818 ()) -> Type) (a6989586621679566984 :: Bool) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal |
data WhenSym0 :: forall f6989586621679566847. (~>) Bool ((~>) (f6989586621679566847 ()) (f6989586621679566847 ())) Source #
Instances
SApplicative f => SingI (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source # | |
SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f6989586621679566847 () ~> f6989586621679566847 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (WhenSym0 :: TyFun Bool (f6989586621679566847 () ~> f6989586621679566847 ()) -> Type) (a6989586621679567232 :: Bool) Source # | |
data WhenSym1 (a6989586621679567232 :: Bool) :: forall f6989586621679566847. (~>) (f6989586621679566847 ()) (f6989586621679566847 ()) Source #
Instances
(SApplicative f, SingI d) => SingI (WhenSym1 d f :: TyFun (f ()) (f ()) -> Type) Source # | |
SuppressUnusedWarnings (WhenSym1 a6989586621679567232 f6989586621679566847 :: TyFun (f6989586621679566847 ()) (f6989586621679566847 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (WhenSym1 a6989586621679567232 f :: TyFun (f ()) (f ()) -> Type) (a6989586621679567233 :: f ()) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal |
type WhenSym2 (a6989586621679567232 :: Bool) (a6989586621679567233 :: f6989586621679566847 ()) = When a6989586621679567232 a6989586621679567233 Source #
data UnlessSym0 :: forall f6989586621681270962. (~>) Bool ((~>) (f6989586621681270962 ()) (f6989586621681270962 ())) 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 (f6989586621681270962 () ~> f6989586621681270962 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnlessSym0 :: TyFun Bool (f6989586621681270962 () ~> f6989586621681270962 ()) -> Type) (a6989586621681271314 :: Bool) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (UnlessSym0 :: TyFun Bool (f6989586621681270962 () ~> f6989586621681270962 ()) -> Type) (a6989586621681271314 :: Bool) = UnlessSym1 a6989586621681271314 f6989586621681270962 :: TyFun (f6989586621681270962 ()) (f6989586621681270962 ()) -> Type |
data UnlessSym1 (a6989586621681271314 :: Bool) :: forall f6989586621681270962. (~>) (f6989586621681270962 ()) (f6989586621681270962 ()) 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 a6989586621681271314 f6989586621681270962 :: TyFun (f6989586621681270962 ()) (f6989586621681270962 ()) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnlessSym1 a6989586621681271314 f :: TyFun (f ()) (f ()) -> Type) (a6989586621681271315 :: f ()) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply (UnlessSym1 a6989586621681271314 f :: TyFun (f ()) (f ()) -> Type) (a6989586621681271315 :: f ()) = Unless a6989586621681271314 a6989586621681271315 |
type UnlessSym2 (a6989586621681271314 :: Bool) (a6989586621681271315 :: f6989586621681270962 ()) = Unless a6989586621681271314 a6989586621681271315 Source #
data LiftMSym0 :: forall a16989586621679566845 r6989586621679566846 m6989586621679566844. (~>) ((~>) a16989586621679566845 r6989586621679566846) ((~>) (m6989586621679566844 a16989586621679566845) (m6989586621679566844 r6989586621679566846)) Source #
Instances
SMonad m => SingI (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) Source # | |
SuppressUnusedWarnings (LiftMSym0 :: TyFun (a16989586621679566845 ~> r6989586621679566846) (m6989586621679566844 a16989586621679566845 ~> m6989586621679566844 r6989586621679566846) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftMSym0 :: TyFun (a16989586621679566845 ~> r6989586621679566846) (m6989586621679566844 a16989586621679566845 ~> m6989586621679566844 r6989586621679566846) -> Type) (a6989586621679567219 :: a16989586621679566845 ~> r6989586621679566846) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftMSym0 :: TyFun (a16989586621679566845 ~> r6989586621679566846) (m6989586621679566844 a16989586621679566845 ~> m6989586621679566844 r6989586621679566846) -> Type) (a6989586621679567219 :: a16989586621679566845 ~> r6989586621679566846) = LiftMSym1 a6989586621679567219 m6989586621679566844 :: TyFun (m6989586621679566844 a16989586621679566845) (m6989586621679566844 r6989586621679566846) -> Type |
data LiftMSym1 (a6989586621679567219 :: (~>) a16989586621679566845 r6989586621679566846) :: forall m6989586621679566844. (~>) (m6989586621679566844 a16989586621679566845) (m6989586621679566844 r6989586621679566846) Source #
Instances
(SMonad m, SingI d) => SingI (LiftMSym1 d m :: TyFun (m a1) (m r) -> Type) Source # | |
SuppressUnusedWarnings (LiftMSym1 a6989586621679567219 m6989586621679566844 :: TyFun (m6989586621679566844 a16989586621679566845) (m6989586621679566844 r6989586621679566846) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftMSym1 a6989586621679567219 m :: TyFun (m a1) (m r) -> Type) (a6989586621679567220 :: m a1) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal |
type LiftMSym2 (a6989586621679567219 :: (~>) a16989586621679566845 r6989586621679566846) (a6989586621679567220 :: m6989586621679566844 a16989586621679566845) = LiftM a6989586621679567219 a6989586621679567220 Source #
data LiftM2Sym0 :: forall a16989586621679566841 a26989586621679566842 r6989586621679566843 m6989586621679566840. (~>) ((~>) a16989586621679566841 ((~>) a26989586621679566842 r6989586621679566843)) ((~>) (m6989586621679566840 a16989586621679566841) ((~>) (m6989586621679566840 a26989586621679566842) (m6989586621679566840 r6989586621679566843))) 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 (a16989586621679566841 ~> (a26989586621679566842 ~> r6989586621679566843)) (m6989586621679566840 a16989586621679566841 ~> (m6989586621679566840 a26989586621679566842 ~> m6989586621679566840 r6989586621679566843)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM2Sym0 :: TyFun (a16989586621679566841 ~> (a26989586621679566842 ~> r6989586621679566843)) (m6989586621679566840 a16989586621679566841 ~> (m6989586621679566840 a26989586621679566842 ~> m6989586621679566840 r6989586621679566843)) -> Type) (a6989586621679567193 :: a16989586621679566841 ~> (a26989586621679566842 ~> r6989586621679566843)) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM2Sym0 :: TyFun (a16989586621679566841 ~> (a26989586621679566842 ~> r6989586621679566843)) (m6989586621679566840 a16989586621679566841 ~> (m6989586621679566840 a26989586621679566842 ~> m6989586621679566840 r6989586621679566843)) -> Type) (a6989586621679567193 :: a16989586621679566841 ~> (a26989586621679566842 ~> r6989586621679566843)) = LiftM2Sym1 a6989586621679567193 m6989586621679566840 :: TyFun (m6989586621679566840 a16989586621679566841) (m6989586621679566840 a26989586621679566842 ~> m6989586621679566840 r6989586621679566843) -> Type |
data LiftM2Sym1 (a6989586621679567193 :: (~>) a16989586621679566841 ((~>) a26989586621679566842 r6989586621679566843)) :: forall m6989586621679566840. (~>) (m6989586621679566840 a16989586621679566841) ((~>) (m6989586621679566840 a26989586621679566842) (m6989586621679566840 r6989586621679566843)) 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 a6989586621679567193 m6989586621679566840 :: TyFun (m6989586621679566840 a16989586621679566841) (m6989586621679566840 a26989586621679566842 ~> m6989586621679566840 r6989586621679566843) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM2Sym1 a6989586621679567193 m6989586621679566840 :: TyFun (m6989586621679566840 a16989586621679566841) (m6989586621679566840 a26989586621679566842 ~> m6989586621679566840 r6989586621679566843) -> Type) (a6989586621679567194 :: m6989586621679566840 a16989586621679566841) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM2Sym1 a6989586621679567193 m6989586621679566840 :: TyFun (m6989586621679566840 a16989586621679566841) (m6989586621679566840 a26989586621679566842 ~> m6989586621679566840 r6989586621679566843) -> Type) (a6989586621679567194 :: m6989586621679566840 a16989586621679566841) = LiftM2Sym2 a6989586621679567193 a6989586621679567194 |
data LiftM2Sym2 (a6989586621679567193 :: (~>) a16989586621679566841 ((~>) a26989586621679566842 r6989586621679566843)) (a6989586621679567194 :: m6989586621679566840 a16989586621679566841) :: (~>) (m6989586621679566840 a26989586621679566842) (m6989586621679566840 r6989586621679566843) 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 a6989586621679567194 a6989586621679567193 :: TyFun (m6989586621679566840 a26989586621679566842) (m6989586621679566840 r6989586621679566843) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM2Sym2 a6989586621679567194 a6989586621679567193 :: TyFun (m a2) (m r) -> Type) (a6989586621679567195 :: m a2) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM2Sym2 a6989586621679567194 a6989586621679567193 :: TyFun (m a2) (m r) -> Type) (a6989586621679567195 :: m a2) = LiftM2 a6989586621679567194 a6989586621679567193 a6989586621679567195 |
type LiftM2Sym3 (a6989586621679567193 :: (~>) a16989586621679566841 ((~>) a26989586621679566842 r6989586621679566843)) (a6989586621679567194 :: m6989586621679566840 a16989586621679566841) (a6989586621679567195 :: m6989586621679566840 a26989586621679566842) = LiftM2 a6989586621679567193 a6989586621679567194 a6989586621679567195 Source #
data LiftM3Sym0 :: forall a16989586621679566836 a26989586621679566837 a36989586621679566838 r6989586621679566839 m6989586621679566835. (~>) ((~>) a16989586621679566836 ((~>) a26989586621679566837 ((~>) a36989586621679566838 r6989586621679566839))) ((~>) (m6989586621679566835 a16989586621679566836) ((~>) (m6989586621679566835 a26989586621679566837) ((~>) (m6989586621679566835 a36989586621679566838) (m6989586621679566835 r6989586621679566839)))) 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 (a16989586621679566836 ~> (a26989586621679566837 ~> (a36989586621679566838 ~> r6989586621679566839))) (m6989586621679566835 a16989586621679566836 ~> (m6989586621679566835 a26989586621679566837 ~> (m6989586621679566835 a36989586621679566838 ~> m6989586621679566835 r6989586621679566839))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM3Sym0 :: TyFun (a16989586621679566836 ~> (a26989586621679566837 ~> (a36989586621679566838 ~> r6989586621679566839))) (m6989586621679566835 a16989586621679566836 ~> (m6989586621679566835 a26989586621679566837 ~> (m6989586621679566835 a36989586621679566838 ~> m6989586621679566835 r6989586621679566839))) -> Type) (a6989586621679567151 :: a16989586621679566836 ~> (a26989586621679566837 ~> (a36989586621679566838 ~> r6989586621679566839))) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym0 :: TyFun (a16989586621679566836 ~> (a26989586621679566837 ~> (a36989586621679566838 ~> r6989586621679566839))) (m6989586621679566835 a16989586621679566836 ~> (m6989586621679566835 a26989586621679566837 ~> (m6989586621679566835 a36989586621679566838 ~> m6989586621679566835 r6989586621679566839))) -> Type) (a6989586621679567151 :: a16989586621679566836 ~> (a26989586621679566837 ~> (a36989586621679566838 ~> r6989586621679566839))) = LiftM3Sym1 a6989586621679567151 m6989586621679566835 :: TyFun (m6989586621679566835 a16989586621679566836) (m6989586621679566835 a26989586621679566837 ~> (m6989586621679566835 a36989586621679566838 ~> m6989586621679566835 r6989586621679566839)) -> Type |
data LiftM3Sym1 (a6989586621679567151 :: (~>) a16989586621679566836 ((~>) a26989586621679566837 ((~>) a36989586621679566838 r6989586621679566839))) :: forall m6989586621679566835. (~>) (m6989586621679566835 a16989586621679566836) ((~>) (m6989586621679566835 a26989586621679566837) ((~>) (m6989586621679566835 a36989586621679566838) (m6989586621679566835 r6989586621679566839))) 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 a6989586621679567151 m6989586621679566835 :: TyFun (m6989586621679566835 a16989586621679566836) (m6989586621679566835 a26989586621679566837 ~> (m6989586621679566835 a36989586621679566838 ~> m6989586621679566835 r6989586621679566839)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM3Sym1 a6989586621679567151 m6989586621679566835 :: TyFun (m6989586621679566835 a16989586621679566836) (m6989586621679566835 a26989586621679566837 ~> (m6989586621679566835 a36989586621679566838 ~> m6989586621679566835 r6989586621679566839)) -> Type) (a6989586621679567152 :: m6989586621679566835 a16989586621679566836) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym1 a6989586621679567151 m6989586621679566835 :: TyFun (m6989586621679566835 a16989586621679566836) (m6989586621679566835 a26989586621679566837 ~> (m6989586621679566835 a36989586621679566838 ~> m6989586621679566835 r6989586621679566839)) -> Type) (a6989586621679567152 :: m6989586621679566835 a16989586621679566836) = LiftM3Sym2 a6989586621679567151 a6989586621679567152 |
data LiftM3Sym2 (a6989586621679567151 :: (~>) a16989586621679566836 ((~>) a26989586621679566837 ((~>) a36989586621679566838 r6989586621679566839))) (a6989586621679567152 :: m6989586621679566835 a16989586621679566836) :: (~>) (m6989586621679566835 a26989586621679566837) ((~>) (m6989586621679566835 a36989586621679566838) (m6989586621679566835 r6989586621679566839)) 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 a6989586621679567152 a6989586621679567151 :: TyFun (m6989586621679566835 a26989586621679566837) (m6989586621679566835 a36989586621679566838 ~> m6989586621679566835 r6989586621679566839) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM3Sym2 a6989586621679567152 a6989586621679567151 :: TyFun (m6989586621679566835 a26989586621679566837) (m6989586621679566835 a36989586621679566838 ~> m6989586621679566835 r6989586621679566839) -> Type) (a6989586621679567153 :: m6989586621679566835 a26989586621679566837) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym2 a6989586621679567152 a6989586621679567151 :: TyFun (m6989586621679566835 a26989586621679566837) (m6989586621679566835 a36989586621679566838 ~> m6989586621679566835 r6989586621679566839) -> Type) (a6989586621679567153 :: m6989586621679566835 a26989586621679566837) = LiftM3Sym3 a6989586621679567152 a6989586621679567151 a6989586621679567153 |
data LiftM3Sym3 (a6989586621679567151 :: (~>) a16989586621679566836 ((~>) a26989586621679566837 ((~>) a36989586621679566838 r6989586621679566839))) (a6989586621679567152 :: m6989586621679566835 a16989586621679566836) (a6989586621679567153 :: m6989586621679566835 a26989586621679566837) :: (~>) (m6989586621679566835 a36989586621679566838) (m6989586621679566835 r6989586621679566839) 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 a6989586621679567153 a6989586621679567152 a6989586621679567151 :: TyFun (m6989586621679566835 a36989586621679566838) (m6989586621679566835 r6989586621679566839) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM3Sym3 a6989586621679567153 a6989586621679567152 a6989586621679567151 :: TyFun (m a3) (m r) -> Type) (a6989586621679567154 :: m a3) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM3Sym3 a6989586621679567153 a6989586621679567152 a6989586621679567151 :: TyFun (m a3) (m r) -> Type) (a6989586621679567154 :: m a3) = LiftM3 a6989586621679567153 a6989586621679567152 a6989586621679567151 a6989586621679567154 |
type LiftM3Sym4 (a6989586621679567151 :: (~>) a16989586621679566836 ((~>) a26989586621679566837 ((~>) a36989586621679566838 r6989586621679566839))) (a6989586621679567152 :: m6989586621679566835 a16989586621679566836) (a6989586621679567153 :: m6989586621679566835 a26989586621679566837) (a6989586621679567154 :: m6989586621679566835 a36989586621679566838) = LiftM3 a6989586621679567151 a6989586621679567152 a6989586621679567153 a6989586621679567154 Source #
data LiftM4Sym0 :: forall a16989586621679566830 a26989586621679566831 a36989586621679566832 a46989586621679566833 r6989586621679566834 m6989586621679566829. (~>) ((~>) a16989586621679566830 ((~>) a26989586621679566831 ((~>) a36989586621679566832 ((~>) a46989586621679566833 r6989586621679566834)))) ((~>) (m6989586621679566829 a16989586621679566830) ((~>) (m6989586621679566829 a26989586621679566831) ((~>) (m6989586621679566829 a36989586621679566832) ((~>) (m6989586621679566829 a46989586621679566833) (m6989586621679566829 r6989586621679566834))))) 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 (a16989586621679566830 ~> (a26989586621679566831 ~> (a36989586621679566832 ~> (a46989586621679566833 ~> r6989586621679566834)))) (m6989586621679566829 a16989586621679566830 ~> (m6989586621679566829 a26989586621679566831 ~> (m6989586621679566829 a36989586621679566832 ~> (m6989586621679566829 a46989586621679566833 ~> m6989586621679566829 r6989586621679566834)))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym0 :: TyFun (a16989586621679566830 ~> (a26989586621679566831 ~> (a36989586621679566832 ~> (a46989586621679566833 ~> r6989586621679566834)))) (m6989586621679566829 a16989586621679566830 ~> (m6989586621679566829 a26989586621679566831 ~> (m6989586621679566829 a36989586621679566832 ~> (m6989586621679566829 a46989586621679566833 ~> m6989586621679566829 r6989586621679566834)))) -> Type) (a6989586621679567090 :: a16989586621679566830 ~> (a26989586621679566831 ~> (a36989586621679566832 ~> (a46989586621679566833 ~> r6989586621679566834)))) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym0 :: TyFun (a16989586621679566830 ~> (a26989586621679566831 ~> (a36989586621679566832 ~> (a46989586621679566833 ~> r6989586621679566834)))) (m6989586621679566829 a16989586621679566830 ~> (m6989586621679566829 a26989586621679566831 ~> (m6989586621679566829 a36989586621679566832 ~> (m6989586621679566829 a46989586621679566833 ~> m6989586621679566829 r6989586621679566834)))) -> Type) (a6989586621679567090 :: a16989586621679566830 ~> (a26989586621679566831 ~> (a36989586621679566832 ~> (a46989586621679566833 ~> r6989586621679566834)))) = LiftM4Sym1 a6989586621679567090 m6989586621679566829 :: TyFun (m6989586621679566829 a16989586621679566830) (m6989586621679566829 a26989586621679566831 ~> (m6989586621679566829 a36989586621679566832 ~> (m6989586621679566829 a46989586621679566833 ~> m6989586621679566829 r6989586621679566834))) -> Type |
data LiftM4Sym1 (a6989586621679567090 :: (~>) a16989586621679566830 ((~>) a26989586621679566831 ((~>) a36989586621679566832 ((~>) a46989586621679566833 r6989586621679566834)))) :: forall m6989586621679566829. (~>) (m6989586621679566829 a16989586621679566830) ((~>) (m6989586621679566829 a26989586621679566831) ((~>) (m6989586621679566829 a36989586621679566832) ((~>) (m6989586621679566829 a46989586621679566833) (m6989586621679566829 r6989586621679566834)))) 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 a6989586621679567090 m6989586621679566829 :: TyFun (m6989586621679566829 a16989586621679566830) (m6989586621679566829 a26989586621679566831 ~> (m6989586621679566829 a36989586621679566832 ~> (m6989586621679566829 a46989586621679566833 ~> m6989586621679566829 r6989586621679566834))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym1 a6989586621679567090 m6989586621679566829 :: TyFun (m6989586621679566829 a16989586621679566830) (m6989586621679566829 a26989586621679566831 ~> (m6989586621679566829 a36989586621679566832 ~> (m6989586621679566829 a46989586621679566833 ~> m6989586621679566829 r6989586621679566834))) -> Type) (a6989586621679567091 :: m6989586621679566829 a16989586621679566830) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym1 a6989586621679567090 m6989586621679566829 :: TyFun (m6989586621679566829 a16989586621679566830) (m6989586621679566829 a26989586621679566831 ~> (m6989586621679566829 a36989586621679566832 ~> (m6989586621679566829 a46989586621679566833 ~> m6989586621679566829 r6989586621679566834))) -> Type) (a6989586621679567091 :: m6989586621679566829 a16989586621679566830) = LiftM4Sym2 a6989586621679567090 a6989586621679567091 |
data LiftM4Sym2 (a6989586621679567090 :: (~>) a16989586621679566830 ((~>) a26989586621679566831 ((~>) a36989586621679566832 ((~>) a46989586621679566833 r6989586621679566834)))) (a6989586621679567091 :: m6989586621679566829 a16989586621679566830) :: (~>) (m6989586621679566829 a26989586621679566831) ((~>) (m6989586621679566829 a36989586621679566832) ((~>) (m6989586621679566829 a46989586621679566833) (m6989586621679566829 r6989586621679566834))) 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 a6989586621679567091 a6989586621679567090 :: TyFun (m6989586621679566829 a26989586621679566831) (m6989586621679566829 a36989586621679566832 ~> (m6989586621679566829 a46989586621679566833 ~> m6989586621679566829 r6989586621679566834)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym2 a6989586621679567091 a6989586621679567090 :: TyFun (m6989586621679566829 a26989586621679566831) (m6989586621679566829 a36989586621679566832 ~> (m6989586621679566829 a46989586621679566833 ~> m6989586621679566829 r6989586621679566834)) -> Type) (a6989586621679567092 :: m6989586621679566829 a26989586621679566831) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym2 a6989586621679567091 a6989586621679567090 :: TyFun (m6989586621679566829 a26989586621679566831) (m6989586621679566829 a36989586621679566832 ~> (m6989586621679566829 a46989586621679566833 ~> m6989586621679566829 r6989586621679566834)) -> Type) (a6989586621679567092 :: m6989586621679566829 a26989586621679566831) = LiftM4Sym3 a6989586621679567091 a6989586621679567090 a6989586621679567092 |
data LiftM4Sym3 (a6989586621679567090 :: (~>) a16989586621679566830 ((~>) a26989586621679566831 ((~>) a36989586621679566832 ((~>) a46989586621679566833 r6989586621679566834)))) (a6989586621679567091 :: m6989586621679566829 a16989586621679566830) (a6989586621679567092 :: m6989586621679566829 a26989586621679566831) :: (~>) (m6989586621679566829 a36989586621679566832) ((~>) (m6989586621679566829 a46989586621679566833) (m6989586621679566829 r6989586621679566834)) 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 a6989586621679567092 a6989586621679567091 a6989586621679567090 :: TyFun (m6989586621679566829 a36989586621679566832) (m6989586621679566829 a46989586621679566833 ~> m6989586621679566829 r6989586621679566834) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym3 a6989586621679567092 a6989586621679567091 a6989586621679567090 :: TyFun (m6989586621679566829 a36989586621679566832) (m6989586621679566829 a46989586621679566833 ~> m6989586621679566829 r6989586621679566834) -> Type) (a6989586621679567093 :: m6989586621679566829 a36989586621679566832) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym3 a6989586621679567092 a6989586621679567091 a6989586621679567090 :: TyFun (m6989586621679566829 a36989586621679566832) (m6989586621679566829 a46989586621679566833 ~> m6989586621679566829 r6989586621679566834) -> Type) (a6989586621679567093 :: m6989586621679566829 a36989586621679566832) = LiftM4Sym4 a6989586621679567092 a6989586621679567091 a6989586621679567090 a6989586621679567093 |
data LiftM4Sym4 (a6989586621679567090 :: (~>) a16989586621679566830 ((~>) a26989586621679566831 ((~>) a36989586621679566832 ((~>) a46989586621679566833 r6989586621679566834)))) (a6989586621679567091 :: m6989586621679566829 a16989586621679566830) (a6989586621679567092 :: m6989586621679566829 a26989586621679566831) (a6989586621679567093 :: m6989586621679566829 a36989586621679566832) :: (~>) (m6989586621679566829 a46989586621679566833) (m6989586621679566829 r6989586621679566834) 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 a6989586621679567093 a6989586621679567092 a6989586621679567091 a6989586621679567090 :: TyFun (m6989586621679566829 a46989586621679566833) (m6989586621679566829 r6989586621679566834) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM4Sym4 a6989586621679567093 a6989586621679567092 a6989586621679567091 a6989586621679567090 :: TyFun (m a4) (m r) -> Type) (a6989586621679567094 :: m a4) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM4Sym4 a6989586621679567093 a6989586621679567092 a6989586621679567091 a6989586621679567090 :: TyFun (m a4) (m r) -> Type) (a6989586621679567094 :: m a4) = LiftM4 a6989586621679567093 a6989586621679567092 a6989586621679567091 a6989586621679567090 a6989586621679567094 |
type LiftM4Sym5 (a6989586621679567090 :: (~>) a16989586621679566830 ((~>) a26989586621679566831 ((~>) a36989586621679566832 ((~>) a46989586621679566833 r6989586621679566834)))) (a6989586621679567091 :: m6989586621679566829 a16989586621679566830) (a6989586621679567092 :: m6989586621679566829 a26989586621679566831) (a6989586621679567093 :: m6989586621679566829 a36989586621679566832) (a6989586621679567094 :: m6989586621679566829 a46989586621679566833) = LiftM4 a6989586621679567090 a6989586621679567091 a6989586621679567092 a6989586621679567093 a6989586621679567094 Source #
data LiftM5Sym0 :: forall a16989586621679566823 a26989586621679566824 a36989586621679566825 a46989586621679566826 a56989586621679566827 r6989586621679566828 m6989586621679566822. (~>) ((~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) ((~>) (m6989586621679566822 a16989586621679566823) ((~>) (m6989586621679566822 a26989586621679566824) ((~>) (m6989586621679566822 a36989586621679566825) ((~>) (m6989586621679566822 a46989586621679566826) ((~>) (m6989586621679566822 a56989586621679566827) (m6989586621679566822 r6989586621679566828)))))) 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 (a16989586621679566823 ~> (a26989586621679566824 ~> (a36989586621679566825 ~> (a46989586621679566826 ~> (a56989586621679566827 ~> r6989586621679566828))))) (m6989586621679566822 a16989586621679566823 ~> (m6989586621679566822 a26989586621679566824 ~> (m6989586621679566822 a36989586621679566825 ~> (m6989586621679566822 a46989586621679566826 ~> (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym0 :: TyFun (a16989586621679566823 ~> (a26989586621679566824 ~> (a36989586621679566825 ~> (a46989586621679566826 ~> (a56989586621679566827 ~> r6989586621679566828))))) (m6989586621679566822 a16989586621679566823 ~> (m6989586621679566822 a26989586621679566824 ~> (m6989586621679566822 a36989586621679566825 ~> (m6989586621679566822 a46989586621679566826 ~> (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828))))) -> Type) (a6989586621679567007 :: a16989586621679566823 ~> (a26989586621679566824 ~> (a36989586621679566825 ~> (a46989586621679566826 ~> (a56989586621679566827 ~> r6989586621679566828))))) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym0 :: TyFun (a16989586621679566823 ~> (a26989586621679566824 ~> (a36989586621679566825 ~> (a46989586621679566826 ~> (a56989586621679566827 ~> r6989586621679566828))))) (m6989586621679566822 a16989586621679566823 ~> (m6989586621679566822 a26989586621679566824 ~> (m6989586621679566822 a36989586621679566825 ~> (m6989586621679566822 a46989586621679566826 ~> (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828))))) -> Type) (a6989586621679567007 :: a16989586621679566823 ~> (a26989586621679566824 ~> (a36989586621679566825 ~> (a46989586621679566826 ~> (a56989586621679566827 ~> r6989586621679566828))))) = LiftM5Sym1 a6989586621679567007 m6989586621679566822 :: TyFun (m6989586621679566822 a16989586621679566823) (m6989586621679566822 a26989586621679566824 ~> (m6989586621679566822 a36989586621679566825 ~> (m6989586621679566822 a46989586621679566826 ~> (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828)))) -> Type |
data LiftM5Sym1 (a6989586621679567007 :: (~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) :: forall m6989586621679566822. (~>) (m6989586621679566822 a16989586621679566823) ((~>) (m6989586621679566822 a26989586621679566824) ((~>) (m6989586621679566822 a36989586621679566825) ((~>) (m6989586621679566822 a46989586621679566826) ((~>) (m6989586621679566822 a56989586621679566827) (m6989586621679566822 r6989586621679566828))))) 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 a6989586621679567007 m6989586621679566822 :: TyFun (m6989586621679566822 a16989586621679566823) (m6989586621679566822 a26989586621679566824 ~> (m6989586621679566822 a36989586621679566825 ~> (m6989586621679566822 a46989586621679566826 ~> (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828)))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym1 a6989586621679567007 m6989586621679566822 :: TyFun (m6989586621679566822 a16989586621679566823) (m6989586621679566822 a26989586621679566824 ~> (m6989586621679566822 a36989586621679566825 ~> (m6989586621679566822 a46989586621679566826 ~> (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828)))) -> Type) (a6989586621679567008 :: m6989586621679566822 a16989586621679566823) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym1 a6989586621679567007 m6989586621679566822 :: TyFun (m6989586621679566822 a16989586621679566823) (m6989586621679566822 a26989586621679566824 ~> (m6989586621679566822 a36989586621679566825 ~> (m6989586621679566822 a46989586621679566826 ~> (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828)))) -> Type) (a6989586621679567008 :: m6989586621679566822 a16989586621679566823) = LiftM5Sym2 a6989586621679567007 a6989586621679567008 |
data LiftM5Sym2 (a6989586621679567007 :: (~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) (a6989586621679567008 :: m6989586621679566822 a16989586621679566823) :: (~>) (m6989586621679566822 a26989586621679566824) ((~>) (m6989586621679566822 a36989586621679566825) ((~>) (m6989586621679566822 a46989586621679566826) ((~>) (m6989586621679566822 a56989586621679566827) (m6989586621679566822 r6989586621679566828)))) 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 a6989586621679567008 a6989586621679567007 :: TyFun (m6989586621679566822 a26989586621679566824) (m6989586621679566822 a36989586621679566825 ~> (m6989586621679566822 a46989586621679566826 ~> (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym2 a6989586621679567008 a6989586621679567007 :: TyFun (m6989586621679566822 a26989586621679566824) (m6989586621679566822 a36989586621679566825 ~> (m6989586621679566822 a46989586621679566826 ~> (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828))) -> Type) (a6989586621679567009 :: m6989586621679566822 a26989586621679566824) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym2 a6989586621679567008 a6989586621679567007 :: TyFun (m6989586621679566822 a26989586621679566824) (m6989586621679566822 a36989586621679566825 ~> (m6989586621679566822 a46989586621679566826 ~> (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828))) -> Type) (a6989586621679567009 :: m6989586621679566822 a26989586621679566824) = LiftM5Sym3 a6989586621679567008 a6989586621679567007 a6989586621679567009 |
data LiftM5Sym3 (a6989586621679567007 :: (~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) (a6989586621679567008 :: m6989586621679566822 a16989586621679566823) (a6989586621679567009 :: m6989586621679566822 a26989586621679566824) :: (~>) (m6989586621679566822 a36989586621679566825) ((~>) (m6989586621679566822 a46989586621679566826) ((~>) (m6989586621679566822 a56989586621679566827) (m6989586621679566822 r6989586621679566828))) 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 a6989586621679567009 a6989586621679567008 a6989586621679567007 :: TyFun (m6989586621679566822 a36989586621679566825) (m6989586621679566822 a46989586621679566826 ~> (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym3 a6989586621679567009 a6989586621679567008 a6989586621679567007 :: TyFun (m6989586621679566822 a36989586621679566825) (m6989586621679566822 a46989586621679566826 ~> (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828)) -> Type) (a6989586621679567010 :: m6989586621679566822 a36989586621679566825) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym3 a6989586621679567009 a6989586621679567008 a6989586621679567007 :: TyFun (m6989586621679566822 a36989586621679566825) (m6989586621679566822 a46989586621679566826 ~> (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828)) -> Type) (a6989586621679567010 :: m6989586621679566822 a36989586621679566825) = LiftM5Sym4 a6989586621679567009 a6989586621679567008 a6989586621679567007 a6989586621679567010 |
data LiftM5Sym4 (a6989586621679567007 :: (~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) (a6989586621679567008 :: m6989586621679566822 a16989586621679566823) (a6989586621679567009 :: m6989586621679566822 a26989586621679566824) (a6989586621679567010 :: m6989586621679566822 a36989586621679566825) :: (~>) (m6989586621679566822 a46989586621679566826) ((~>) (m6989586621679566822 a56989586621679566827) (m6989586621679566822 r6989586621679566828)) 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 a6989586621679567010 a6989586621679567009 a6989586621679567008 a6989586621679567007 :: TyFun (m6989586621679566822 a46989586621679566826) (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym4 a6989586621679567010 a6989586621679567009 a6989586621679567008 a6989586621679567007 :: TyFun (m6989586621679566822 a46989586621679566826) (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828) -> Type) (a6989586621679567011 :: m6989586621679566822 a46989586621679566826) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym4 a6989586621679567010 a6989586621679567009 a6989586621679567008 a6989586621679567007 :: TyFun (m6989586621679566822 a46989586621679566826) (m6989586621679566822 a56989586621679566827 ~> m6989586621679566822 r6989586621679566828) -> Type) (a6989586621679567011 :: m6989586621679566822 a46989586621679566826) = LiftM5Sym5 a6989586621679567010 a6989586621679567009 a6989586621679567008 a6989586621679567007 a6989586621679567011 |
data LiftM5Sym5 (a6989586621679567007 :: (~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) (a6989586621679567008 :: m6989586621679566822 a16989586621679566823) (a6989586621679567009 :: m6989586621679566822 a26989586621679566824) (a6989586621679567010 :: m6989586621679566822 a36989586621679566825) (a6989586621679567011 :: m6989586621679566822 a46989586621679566826) :: (~>) (m6989586621679566822 a56989586621679566827) (m6989586621679566822 r6989586621679566828) 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 a6989586621679567011 a6989586621679567010 a6989586621679567009 a6989586621679567008 a6989586621679567007 :: TyFun (m6989586621679566822 a56989586621679566827) (m6989586621679566822 r6989586621679566828) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftM5Sym5 a6989586621679567011 a6989586621679567010 a6989586621679567009 a6989586621679567008 a6989586621679567007 :: TyFun (m a5) (m r) -> Type) (a6989586621679567012 :: m a5) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftM5Sym5 a6989586621679567011 a6989586621679567010 a6989586621679567009 a6989586621679567008 a6989586621679567007 :: TyFun (m a5) (m r) -> Type) (a6989586621679567012 :: m a5) = LiftM5 a6989586621679567011 a6989586621679567010 a6989586621679567009 a6989586621679567008 a6989586621679567007 a6989586621679567012 |
type LiftM5Sym6 (a6989586621679567007 :: (~>) a16989586621679566823 ((~>) a26989586621679566824 ((~>) a36989586621679566825 ((~>) a46989586621679566826 ((~>) a56989586621679566827 r6989586621679566828))))) (a6989586621679567008 :: m6989586621679566822 a16989586621679566823) (a6989586621679567009 :: m6989586621679566822 a26989586621679566824) (a6989586621679567010 :: m6989586621679566822 a36989586621679566825) (a6989586621679567011 :: m6989586621679566822 a46989586621679566826) (a6989586621679567012 :: m6989586621679566822 a56989586621679566827) = LiftM5 a6989586621679567007 a6989586621679567008 a6989586621679567009 a6989586621679567010 a6989586621679567011 a6989586621679567012 Source #
data ApSym0 :: forall m6989586621679566819 a6989586621679566820 b6989586621679566821. (~>) (m6989586621679566819 ((~>) a6989586621679566820 b6989586621679566821)) ((~>) (m6989586621679566819 a6989586621679566820) (m6989586621679566819 b6989586621679566821)) Source #
Instances
SMonad m => SingI (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) Source # | |
SuppressUnusedWarnings (ApSym0 :: TyFun (m6989586621679566819 (a6989586621679566820 ~> b6989586621679566821)) (m6989586621679566819 a6989586621679566820 ~> m6989586621679566819 b6989586621679566821) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (ApSym0 :: TyFun (m6989586621679566819 (a6989586621679566820 ~> b6989586621679566821)) (m6989586621679566819 a6989586621679566820 ~> m6989586621679566819 b6989586621679566821) -> Type) (a6989586621679566986 :: m6989586621679566819 (a6989586621679566820 ~> b6989586621679566821)) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (ApSym0 :: TyFun (m6989586621679566819 (a6989586621679566820 ~> b6989586621679566821)) (m6989586621679566819 a6989586621679566820 ~> m6989586621679566819 b6989586621679566821) -> Type) (a6989586621679566986 :: m6989586621679566819 (a6989586621679566820 ~> b6989586621679566821)) = ApSym1 a6989586621679566986 |
data ApSym1 (a6989586621679566986 :: m6989586621679566819 ((~>) a6989586621679566820 b6989586621679566821)) :: (~>) (m6989586621679566819 a6989586621679566820) (m6989586621679566819 b6989586621679566821) Source #
Instances
(SMonad m, SingI d) => SingI (ApSym1 d :: TyFun (m a) (m b) -> Type) Source # | |
SuppressUnusedWarnings (ApSym1 a6989586621679566986 :: TyFun (m6989586621679566819 a6989586621679566820) (m6989586621679566819 b6989586621679566821) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (ApSym1 a6989586621679566986 :: TyFun (m a) (m b) -> Type) (a6989586621679566987 :: m a) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal |
type ApSym2 (a6989586621679566986 :: m6989586621679566819 ((~>) a6989586621679566820 b6989586621679566821)) (a6989586621679566987 :: m6989586621679566819 a6989586621679566820) = Ap a6989586621679566986 a6989586621679566987 Source #
data (<$!>@#@$) :: forall a6989586621681270960 b6989586621681270961 m6989586621681270959. (~>) ((~>) a6989586621681270960 b6989586621681270961) ((~>) (m6989586621681270959 a6989586621681270960) (m6989586621681270959 b6989586621681270961)) 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 (a6989586621681270960 ~> b6989586621681270961) (m6989586621681270959 a6989586621681270960 ~> m6989586621681270959 b6989586621681270961) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<$!>@#@$) :: TyFun (a6989586621681270960 ~> b6989586621681270961) (m6989586621681270959 a6989586621681270960 ~> m6989586621681270959 b6989586621681270961) -> Type) (a6989586621681271297 :: a6989586621681270960 ~> b6989586621681270961) Source # | |
Defined in Data.Singletons.Prelude.Monad type Apply ((<$!>@#@$) :: TyFun (a6989586621681270960 ~> b6989586621681270961) (m6989586621681270959 a6989586621681270960 ~> m6989586621681270959 b6989586621681270961) -> Type) (a6989586621681271297 :: a6989586621681270960 ~> b6989586621681270961) = a6989586621681271297 <$!>@#@$$ m6989586621681270959 :: TyFun (m6989586621681270959 a6989586621681270960) (m6989586621681270959 b6989586621681270961) -> Type |
data (<$!>@#@$$) (a6989586621681271297 :: (~>) a6989586621681270960 b6989586621681270961) :: forall m6989586621681270959. (~>) (m6989586621681270959 a6989586621681270960) (m6989586621681270959 b6989586621681270961) infixl 4 Source #
Instances
(SMonad m, SingI d) => SingI (d <$!>@#@$$ m :: TyFun (m a) (m b) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621681271297 <$!>@#@$$ m6989586621681270959 :: TyFun (m6989586621681270959 a6989586621681270960) (m6989586621681270959 b6989586621681270961) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621681271297 <$!>@#@$$ m :: TyFun (m a) (m b) -> Type) (a6989586621681271298 :: m a) Source # | |
Defined in Data.Singletons.Prelude.Monad |
type (<$!>@#@$$$) (a6989586621681271297 :: (~>) a6989586621681270960 b6989586621681270961) (a6989586621681271298 :: m6989586621681270959 a6989586621681270960) = (<$!>) a6989586621681271297 a6989586621681271298 Source #
Orphan instances
SMonad Down Source # | |
Methods (%>>=) :: forall a b (t :: Down a) (t :: a ~> Down b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Down a) (t :: Down b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
PMonad Down Source # | |
SMonoid a => SMonad ((,) a) Source # | |
Methods (%>>=) :: forall a0 b (t :: (a, a0)) (t :: a0 ~> (a, b)). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a0 b (t :: (a, a0)) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a0 (t :: a0). Sing t -> Sing (Apply ReturnSym0 t) Source # | |
PMonad ((,) a) Source # | |