singletons-2.5.1: A framework for generating singleton types

Copyright(C) 2018 Ryan Scott
LicenseBSD-style (see LICENSE)
MaintainerRyan Scott
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Singletons.Prelude.Monad

Contents

Description

Defines the promoted and singled versions of the Monad type class.

Synopsis
  • class PFunctor (f :: Type -> Type) where
    • type Fmap (arg :: (~>) a b) (arg :: f a) :: f b
  • class SFunctor (f :: Type -> Type) where
  • class PApplicative m => PMonad (m :: Type -> Type) where
    • type (arg :: m a) >>= (arg :: (~>) a (m b)) :: m b
    • type (arg :: m a) >> (arg :: m b) :: m b
    • type Return (arg :: a) :: m a
    • type Fail (arg :: Symbol) :: m a
  • class SApplicative m => SMonad (m :: Type -> Type) where
  • class (PAlternative m, PMonad m) => PMonadPlus (m :: Type -> Type) where
    • type Mzero :: m a
    • type Mplus (arg :: m a) (arg :: m a) :: m a
  • class (SAlternative m, SMonad m) => SMonadPlus (m :: Type -> Type) where
  • type family MapM (arg :: (~>) a (m b)) (arg :: t a) :: m (t b)
  • sMapM :: forall m a b (t :: (~>) a (m b)) (t :: t a). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t :: m (t b))
  • type family MapM_ (a :: (~>) a (m b)) (a :: t a) :: m () where ...
  • sMapM_ :: forall t m a b (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ())
  • type family ForM (a :: t a) (a :: (~>) a (m b)) :: m (t b) where ...
  • sForM :: forall t m a b (t :: t a) (t :: (~>) a (m b)). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForMSym0 t) t :: m (t b))
  • type family Sequence (arg :: t (m a)) :: m (t a)
  • sSequence :: forall m a (t :: t (m a)). (STraversable t, SMonad m) => Sing t -> Sing (Apply SequenceSym0 t :: m (t a))
  • type family Sequence_ (a :: t (m a)) :: m () where ...
  • sSequence_ :: forall t m a (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ())
  • type family (a :: (~>) a (m b)) =<< (a :: m a) :: m b where ...
  • (%=<<) :: forall m a b (t :: (~>) a (m b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (=<<@#@$) t) t :: m b)
  • type family ((a :: (~>) a (m b)) >=> (a :: (~>) b (m c))) (a :: a) :: m c where ...
  • (%>=>) :: forall m a b c (t :: (~>) a (m b)) (t :: (~>) b (m c)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (>=>@#@$) t) t) t :: m c)
  • type family ((a :: (~>) b (m c)) <=< (a :: (~>) a (m b))) (a :: a) :: m c where ...
  • (%<=<) :: forall m b c a (t :: (~>) b (m c)) (t :: (~>) a (m b)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (<=<@#@$) t) t) t :: m c)
  • type family Void (a :: f a) :: f () where ...
  • sVoid :: forall f a (t :: f a). SFunctor f => Sing t -> Sing (Apply VoidSym0 t :: f ())
  • type family Join (a :: m (m a)) :: m a where ...
  • sJoin :: forall m a (t :: m (m a)). SMonad m => Sing t -> Sing (Apply JoinSym0 t :: m a)
  • type family Msum (a :: t (m a)) :: m a where ...
  • sMsum :: forall t m a (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a)
  • type family Mfilter (a :: (~>) a Bool) (a :: m a) :: m a where ...
  • sMfilter :: forall m a (t :: (~>) a Bool) (t :: m a). SMonadPlus m => Sing t -> Sing t -> Sing (Apply (Apply MfilterSym0 t) t :: m a)
  • type family FilterM (a :: (~>) a (m Bool)) (a :: [a]) :: m [a] where ...
  • sFilterM :: forall m a (t :: (~>) a (m Bool)) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply FilterMSym0 t) t :: m [a])
  • type family MapAndUnzipM (a :: (~>) a (m (b, c))) (a :: [a]) :: m ([b], [c]) where ...
  • sMapAndUnzipM :: forall m a b c (t :: (~>) a (m (b, c))) (t :: [a]). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply MapAndUnzipMSym0 t) t :: m ([b], [c]))
  • type family ZipWithM (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m [c] where ...
  • sZipWithM :: forall m a b c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithMSym0 t) t) t :: m [c])
  • type family ZipWithM_ (a :: (~>) a ((~>) b (m c))) (a :: [a]) (a :: [b]) :: m () where ...
  • sZipWithM_ :: forall m a b c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithM_Sym0 t) t) t :: m ())
  • type family FoldlM (a :: (~>) b ((~>) a (m b))) (a :: b) (a :: t a) :: m b where ...
  • sFoldlM :: forall t m b a (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b)
  • type family ReplicateM (a :: Nat) (a :: m a) :: m [a] where ...
  • sReplicateM :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateMSym0 t) t :: m [a])
  • type family ReplicateM_ (a :: Nat) (a :: m a) :: m () where ...
  • sReplicateM_ :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateM_Sym0 t) t :: m ())
  • type family Guard (a :: Bool) :: f () where ...
  • sGuard :: forall f (t :: Bool). SAlternative f => Sing t -> Sing (Apply GuardSym0 t :: f ())
  • type family When (a :: Bool) (a :: f ()) :: f () where ...
  • sWhen :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply WhenSym0 t) t :: f ())
  • type family Unless (a :: Bool) (a :: f ()) :: f () where ...
  • sUnless :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply UnlessSym0 t) t :: f ())
  • type family LiftM (a :: (~>) a1 r) (a :: m a1) :: m r where ...
  • sLiftM :: forall m a1 r (t :: (~>) a1 r) (t :: m a1). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply LiftMSym0 t) t :: m r)
  • type family LiftM2 (a :: (~>) a1 ((~>) a2 r)) (a :: m a1) (a :: m a2) :: m r where ...
  • sLiftM2 :: forall m a1 a2 r (t :: (~>) a1 ((~>) a2 r)) (t :: m a1) (t :: m a2). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftM2Sym0 t) t) t :: m r)
  • type family LiftM3 (a :: (~>) a1 ((~>) a2 ((~>) a3 r))) (a :: m a1) (a :: m a2) (a :: m a3) :: m r where ...
  • sLiftM3 :: forall m a1 a2 a3 r (t :: (~>) a1 ((~>) a2 ((~>) a3 r))) (t :: m a1) (t :: m a2) (t :: m a3). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply LiftM3Sym0 t) t) t) t :: m r)
  • type family LiftM4 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) :: m r where ...
  • sLiftM4 :: forall m a1 a2 a3 a4 r (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply LiftM4Sym0 t) t) t) t) t :: m r)
  • type family LiftM5 (a :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (a :: m a1) (a :: m a2) (a :: m a3) (a :: m a4) (a :: m a5) :: m r where ...
  • sLiftM5 :: forall m a1 a2 a3 a4 a5 r (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4) (t :: m a5). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply LiftM5Sym0 t) t) t) t) t) t :: m r)
  • type family Ap (a :: m ((~>) a b)) (a :: m a) :: m b where ...
  • sAp :: forall m a b (t :: m ((~>) a b)) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply ApSym0 t) t :: m b)
  • type family (a :: (~>) a b) <$!> (a :: m a) :: m b where ...
  • (%<$!>) :: forall m a b (t :: (~>) a b) (t :: m a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply (<$!>@#@$) t) t :: m b)
  • data FmapSym0 :: forall a6989586621679545962 b6989586621679545963 f6989586621679545961. (~>) ((~>) a6989586621679545962 b6989586621679545963) ((~>) (f6989586621679545961 a6989586621679545962) (f6989586621679545961 b6989586621679545963))
  • data FmapSym1 (arg6989586621679546355 :: (~>) a6989586621679545962 b6989586621679545963) :: forall f6989586621679545961. (~>) (f6989586621679545961 a6989586621679545962) (f6989586621679545961 b6989586621679545963)
  • type FmapSym2 (arg6989586621679546355 :: (~>) a6989586621679545962 b6989586621679545963) (arg6989586621679546356 :: f6989586621679545961 a6989586621679545962) = Fmap arg6989586621679546355 arg6989586621679546356
  • data (>>=@#@$) :: forall a6989586621679545991 b6989586621679545992 m6989586621679545990. (~>) (m6989586621679545990 a6989586621679545991) ((~>) ((~>) a6989586621679545991 (m6989586621679545990 b6989586621679545992)) (m6989586621679545990 b6989586621679545992))
  • data (>>=@#@$$) (arg6989586621679546462 :: m6989586621679545990 a6989586621679545991) :: forall b6989586621679545992. (~>) ((~>) a6989586621679545991 (m6989586621679545990 b6989586621679545992)) (m6989586621679545990 b6989586621679545992)
  • type (>>=@#@$$$) (arg6989586621679546462 :: m6989586621679545990 a6989586621679545991) (arg6989586621679546463 :: (~>) a6989586621679545991 (m6989586621679545990 b6989586621679545992)) = (>>=) arg6989586621679546462 arg6989586621679546463
  • data (>>@#@$) :: forall a6989586621679545993 b6989586621679545994 m6989586621679545990. (~>) (m6989586621679545990 a6989586621679545993) ((~>) (m6989586621679545990 b6989586621679545994) (m6989586621679545990 b6989586621679545994))
  • data (>>@#@$$) (arg6989586621679546466 :: m6989586621679545990 a6989586621679545993) :: forall b6989586621679545994. (~>) (m6989586621679545990 b6989586621679545994) (m6989586621679545990 b6989586621679545994)
  • type (>>@#@$$$) (arg6989586621679546466 :: m6989586621679545990 a6989586621679545993) (arg6989586621679546467 :: m6989586621679545990 b6989586621679545994) = (>>) arg6989586621679546466 arg6989586621679546467
  • data ReturnSym0 :: forall a6989586621679545995 m6989586621679545990. (~>) a6989586621679545995 (m6989586621679545990 a6989586621679545995)
  • type ReturnSym1 (arg6989586621679546470 :: a6989586621679545995) = Return arg6989586621679546470
  • data FailSym0 :: forall a6989586621679545996 m6989586621679545990. (~>) Symbol (m6989586621679545990 a6989586621679545996)
  • type FailSym1 (arg6989586621679546472 :: Symbol) = Fail arg6989586621679546472
  • type MzeroSym0 = Mzero
  • data MplusSym0 :: forall a6989586621679546048 m6989586621679546046. (~>) (m6989586621679546046 a6989586621679546048) ((~>) (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048))
  • data MplusSym1 (arg6989586621679546516 :: m6989586621679546046 a6989586621679546048) :: (~>) (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048)
  • type MplusSym2 (arg6989586621679546516 :: m6989586621679546046 a6989586621679546048) (arg6989586621679546517 :: m6989586621679546046 a6989586621679546048) = Mplus arg6989586621679546516 arg6989586621679546517
  • data MapMSym0 :: forall a6989586621680744892 b6989586621680744893 m6989586621680744891 t6989586621680744885. (~>) ((~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) ((~>) (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893)))
  • data MapMSym1 (arg6989586621680744903 :: (~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) :: forall t6989586621680744885. (~>) (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893))
  • type MapMSym2 (arg6989586621680744903 :: (~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) (arg6989586621680744904 :: t6989586621680744885 a6989586621680744892) = MapM arg6989586621680744903 arg6989586621680744904
  • data MapM_Sym0 :: forall a6989586621680448389 b6989586621680448390 m6989586621680448388 t6989586621680448387. (~>) ((~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) ((~>) (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ()))
  • data MapM_Sym1 (a6989586621680448987 :: (~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) :: forall t6989586621680448387. (~>) (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ())
  • type MapM_Sym2 (a6989586621680448987 :: (~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) (a6989586621680448988 :: t6989586621680448387 a6989586621680448389) = MapM_ a6989586621680448987 a6989586621680448988
  • data ForMSym0 :: forall a6989586621680750468 b6989586621680750469 m6989586621680750467 t6989586621680750466. (~>) (t6989586621680750466 a6989586621680750468) ((~>) ((~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) (m6989586621680750467 (t6989586621680750466 b6989586621680750469)))
  • data ForMSym1 (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) :: forall b6989586621680750469 m6989586621680750467. (~>) ((~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) (m6989586621680750467 (t6989586621680750466 b6989586621680750469))
  • type ForMSym2 (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) (a6989586621680751024 :: (~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) = ForM a6989586621680751023 a6989586621680751024
  • data SequenceSym0 :: forall a6989586621680744895 m6989586621680744894 t6989586621680744885. (~>) (t6989586621680744885 (m6989586621680744894 a6989586621680744895)) (m6989586621680744894 (t6989586621680744885 a6989586621680744895))
  • type SequenceSym1 (arg6989586621680744907 :: t6989586621680744885 (m6989586621680744894 a6989586621680744895)) = Sequence arg6989586621680744907
  • data Sequence_Sym0 :: forall a6989586621680448379 m6989586621680448378 t6989586621680448377. (~>) (t6989586621680448377 (m6989586621680448378 a6989586621680448379)) (m6989586621680448378 ())
  • type Sequence_Sym1 (a6989586621680448979 :: t6989586621680448377 (m6989586621680448378 a6989586621680448379)) = Sequence_ a6989586621680448979
  • data (=<<@#@$) :: forall a6989586621679545913 b6989586621679545914 m6989586621679545912. (~>) ((~>) a6989586621679545913 (m6989586621679545912 b6989586621679545914)) ((~>) (m6989586621679545912 a6989586621679545913) (m6989586621679545912 b6989586621679545914))
  • data (=<<@#@$$) (a6989586621679546308 :: (~>) a6989586621679545913 (m6989586621679545912 b6989586621679545914)) :: (~>) (m6989586621679545912 a6989586621679545913) (m6989586621679545912 b6989586621679545914)
  • type (=<<@#@$$$) (a6989586621679546308 :: (~>) a6989586621679545913 (m6989586621679545912 b6989586621679545914)) (a6989586621679546309 :: m6989586621679545912 a6989586621679545913) = (=<<) a6989586621679546308 a6989586621679546309
  • data (>=>@#@$) :: forall a6989586621681203164 b6989586621681203165 c6989586621681203166 m6989586621681203163. (~>) ((~>) a6989586621681203164 (m6989586621681203163 b6989586621681203165)) ((~>) ((~>) b6989586621681203165 (m6989586621681203163 c6989586621681203166)) ((~>) a6989586621681203164 (m6989586621681203163 c6989586621681203166)))
  • data (>=>@#@$$) (a6989586621681203597 :: (~>) a6989586621681203164 (m6989586621681203163 b6989586621681203165)) :: forall c6989586621681203166. (~>) ((~>) b6989586621681203165 (m6989586621681203163 c6989586621681203166)) ((~>) a6989586621681203164 (m6989586621681203163 c6989586621681203166))
  • data (a6989586621681203597 :: (~>) a6989586621681203164 (m6989586621681203163 b6989586621681203165)) >=>@#@$$$ (a6989586621681203598 :: (~>) b6989586621681203165 (m6989586621681203163 c6989586621681203166)) :: (~>) a6989586621681203164 (m6989586621681203163 c6989586621681203166)
  • data (<=<@#@$) :: forall a6989586621681203162 b6989586621681203160 c6989586621681203161 m6989586621681203159. (~>) ((~>) b6989586621681203160 (m6989586621681203159 c6989586621681203161)) ((~>) ((~>) a6989586621681203162 (m6989586621681203159 b6989586621681203160)) ((~>) a6989586621681203162 (m6989586621681203159 c6989586621681203161)))
  • data (<=<@#@$$) (a6989586621681203622 :: (~>) b6989586621681203160 (m6989586621681203159 c6989586621681203161)) :: forall a6989586621681203162. (~>) ((~>) a6989586621681203162 (m6989586621681203159 b6989586621681203160)) ((~>) a6989586621681203162 (m6989586621681203159 c6989586621681203161))
  • data (a6989586621681203622 :: (~>) b6989586621681203160 (m6989586621681203159 c6989586621681203161)) <=<@#@$$$ (a6989586621681203623 :: (~>) a6989586621681203162 (m6989586621681203159 b6989586621681203160)) :: (~>) a6989586621681203162 (m6989586621681203159 c6989586621681203161)
  • data VoidSym0 :: forall a6989586621679715289 f6989586621679715288. (~>) (f6989586621679715288 a6989586621679715289) (f6989586621679715288 ())
  • type VoidSym1 (a6989586621679715360 :: f6989586621679715288 a6989586621679715289) = Void a6989586621679715360
  • data JoinSym0 :: forall a6989586621679545916 m6989586621679545915. (~>) (m6989586621679545915 (m6989586621679545915 a6989586621679545916)) (m6989586621679545915 a6989586621679545916)
  • type JoinSym1 (a6989586621679546314 :: m6989586621679545915 (m6989586621679545915 a6989586621679545916)) = Join a6989586621679546314
  • data MsumSym0 :: forall a6989586621680448373 m6989586621680448372 t6989586621680448371. (~>) (t6989586621680448371 (m6989586621680448372 a6989586621680448373)) (m6989586621680448372 a6989586621680448373)
  • type MsumSym1 (a6989586621680448974 :: t6989586621680448371 (m6989586621680448372 a6989586621680448373)) = Msum a6989586621680448974
  • data MfilterSym0 :: forall a6989586621681203130 m6989586621681203129. (~>) ((~>) a6989586621681203130 Bool) ((~>) (m6989586621681203129 a6989586621681203130) (m6989586621681203129 a6989586621681203130))
  • data MfilterSym1 (a6989586621681203465 :: (~>) a6989586621681203130 Bool) :: forall m6989586621681203129. (~>) (m6989586621681203129 a6989586621681203130) (m6989586621681203129 a6989586621681203130)
  • type MfilterSym2 (a6989586621681203465 :: (~>) a6989586621681203130 Bool) (a6989586621681203466 :: m6989586621681203129 a6989586621681203130) = Mfilter a6989586621681203465 a6989586621681203466
  • data FilterMSym0 :: forall a6989586621681203168 m6989586621681203167. (~>) ((~>) a6989586621681203168 (m6989586621681203167 Bool)) ((~>) [a6989586621681203168] (m6989586621681203167 [a6989586621681203168]))
  • data FilterMSym1 (a6989586621681203631 :: (~>) a6989586621681203168 (m6989586621681203167 Bool)) :: (~>) [a6989586621681203168] (m6989586621681203167 [a6989586621681203168])
  • type FilterMSym2 (a6989586621681203631 :: (~>) a6989586621681203168 (m6989586621681203167 Bool)) (a6989586621681203632 :: [a6989586621681203168]) = FilterM a6989586621681203631 a6989586621681203632
  • data MapAndUnzipMSym0 :: forall a6989586621681203156 b6989586621681203157 c6989586621681203158 m6989586621681203155. (~>) ((~>) a6989586621681203156 (m6989586621681203155 (b6989586621681203157, c6989586621681203158))) ((~>) [a6989586621681203156] (m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])))
  • data MapAndUnzipMSym1 (a6989586621681203591 :: (~>) a6989586621681203156 (m6989586621681203155 (b6989586621681203157, c6989586621681203158))) :: (~>) [a6989586621681203156] (m6989586621681203155 ([b6989586621681203157], [c6989586621681203158]))
  • type MapAndUnzipMSym2 (a6989586621681203591 :: (~>) a6989586621681203156 (m6989586621681203155 (b6989586621681203157, c6989586621681203158))) (a6989586621681203592 :: [a6989586621681203156]) = MapAndUnzipM a6989586621681203591 a6989586621681203592
  • data ZipWithMSym0 :: forall a6989586621681203152 b6989586621681203153 c6989586621681203154 m6989586621681203151. (~>) ((~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) ((~>) [a6989586621681203152] ((~>) [b6989586621681203153] (m6989586621681203151 [c6989586621681203154])))
  • data ZipWithMSym1 (a6989586621681203582 :: (~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) :: (~>) [a6989586621681203152] ((~>) [b6989586621681203153] (m6989586621681203151 [c6989586621681203154]))
  • data ZipWithMSym2 (a6989586621681203582 :: (~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) (a6989586621681203583 :: [a6989586621681203152]) :: (~>) [b6989586621681203153] (m6989586621681203151 [c6989586621681203154])
  • type ZipWithMSym3 (a6989586621681203582 :: (~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) (a6989586621681203583 :: [a6989586621681203152]) (a6989586621681203584 :: [b6989586621681203153]) = ZipWithM a6989586621681203582 a6989586621681203583 a6989586621681203584
  • data ZipWithM_Sym0 :: forall a6989586621681203148 b6989586621681203149 c6989586621681203150 m6989586621681203147. (~>) ((~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) ((~>) [a6989586621681203148] ((~>) [b6989586621681203149] (m6989586621681203147 ())))
  • data ZipWithM_Sym1 (a6989586621681203573 :: (~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) :: (~>) [a6989586621681203148] ((~>) [b6989586621681203149] (m6989586621681203147 ()))
  • data ZipWithM_Sym2 (a6989586621681203573 :: (~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) (a6989586621681203574 :: [a6989586621681203148]) :: (~>) [b6989586621681203149] (m6989586621681203147 ())
  • type ZipWithM_Sym3 (a6989586621681203573 :: (~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) (a6989586621681203574 :: [a6989586621681203148]) (a6989586621681203575 :: [b6989586621681203149]) = ZipWithM_ a6989586621681203573 a6989586621681203574 a6989586621681203575
  • data FoldlMSym0 :: forall a6989586621680448402 b6989586621680448401 m6989586621680448400 t6989586621680448399. (~>) ((~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) ((~>) b6989586621680448401 ((~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401)))
  • data FoldlMSym1 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) :: forall t6989586621680448399. (~>) b6989586621680448401 ((~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401))
  • data FoldlMSym2 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) (a6989586621680449024 :: b6989586621680448401) :: forall t6989586621680448399. (~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401)
  • type FoldlMSym3 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) (a6989586621680449024 :: b6989586621680448401) (a6989586621680449025 :: t6989586621680448399 a6989586621680448402) = FoldlM a6989586621680449023 a6989586621680449024 a6989586621680449025
  • data ReplicateMSym0 :: forall a6989586621681203138 m6989586621681203137. (~>) Nat ((~>) (m6989586621681203137 a6989586621681203138) (m6989586621681203137 [a6989586621681203138]))
  • data ReplicateMSym1 (a6989586621681203530 :: Nat) :: forall a6989586621681203138 m6989586621681203137. (~>) (m6989586621681203137 a6989586621681203138) (m6989586621681203137 [a6989586621681203138])
  • type ReplicateMSym2 (a6989586621681203530 :: Nat) (a6989586621681203531 :: m6989586621681203137 a6989586621681203138) = ReplicateM a6989586621681203530 a6989586621681203531
  • data ReplicateM_Sym0 :: forall a6989586621681203136 m6989586621681203135. (~>) Nat ((~>) (m6989586621681203135 a6989586621681203136) (m6989586621681203135 ()))
  • data ReplicateM_Sym1 (a6989586621681203511 :: Nat) :: forall a6989586621681203136 m6989586621681203135. (~>) (m6989586621681203135 a6989586621681203136) (m6989586621681203135 ())
  • type ReplicateM_Sym2 (a6989586621681203511 :: Nat) (a6989586621681203512 :: m6989586621681203135 a6989586621681203136) = ReplicateM_ a6989586621681203511 a6989586621681203512
  • data GuardSym0 :: forall f6989586621679545882. (~>) Bool (f6989586621679545882 ())
  • type GuardSym1 (a6989586621679546051 :: Bool) = Guard a6989586621679546051
  • data WhenSym0 :: forall f6989586621679545911. (~>) Bool ((~>) (f6989586621679545911 ()) (f6989586621679545911 ()))
  • data WhenSym1 (a6989586621679546299 :: Bool) :: forall f6989586621679545911. (~>) (f6989586621679545911 ()) (f6989586621679545911 ())
  • type WhenSym2 (a6989586621679546299 :: Bool) (a6989586621679546300 :: f6989586621679545911 ()) = When a6989586621679546299 a6989586621679546300
  • data UnlessSym0 :: forall f6989586621681203134. (~>) Bool ((~>) (f6989586621681203134 ()) (f6989586621681203134 ()))
  • data UnlessSym1 (a6989586621681203502 :: Bool) :: forall f6989586621681203134. (~>) (f6989586621681203134 ()) (f6989586621681203134 ())
  • type UnlessSym2 (a6989586621681203502 :: Bool) (a6989586621681203503 :: f6989586621681203134 ()) = Unless a6989586621681203502 a6989586621681203503
  • data LiftMSym0 :: forall a16989586621679545909 m6989586621679545908 r6989586621679545910. (~>) ((~>) a16989586621679545909 r6989586621679545910) ((~>) (m6989586621679545908 a16989586621679545909) (m6989586621679545908 r6989586621679545910))
  • data LiftMSym1 (a6989586621679546286 :: (~>) a16989586621679545909 r6989586621679545910) :: forall m6989586621679545908. (~>) (m6989586621679545908 a16989586621679545909) (m6989586621679545908 r6989586621679545910)
  • type LiftMSym2 (a6989586621679546286 :: (~>) a16989586621679545909 r6989586621679545910) (a6989586621679546287 :: m6989586621679545908 a16989586621679545909) = LiftM a6989586621679546286 a6989586621679546287
  • data LiftM2Sym0 :: forall a16989586621679545905 a26989586621679545906 m6989586621679545904 r6989586621679545907. (~>) ((~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) ((~>) (m6989586621679545904 a16989586621679545905) ((~>) (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907)))
  • data LiftM2Sym1 (a6989586621679546260 :: (~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) :: forall m6989586621679545904. (~>) (m6989586621679545904 a16989586621679545905) ((~>) (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907))
  • data LiftM2Sym2 (a6989586621679546260 :: (~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) (a6989586621679546261 :: m6989586621679545904 a16989586621679545905) :: (~>) (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907)
  • type LiftM2Sym3 (a6989586621679546260 :: (~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) (a6989586621679546261 :: m6989586621679545904 a16989586621679545905) (a6989586621679546262 :: m6989586621679545904 a26989586621679545906) = LiftM2 a6989586621679546260 a6989586621679546261 a6989586621679546262
  • data LiftM3Sym0 :: forall a16989586621679545900 a26989586621679545901 a36989586621679545902 m6989586621679545899 r6989586621679545903. (~>) ((~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) ((~>) (m6989586621679545899 a16989586621679545900) ((~>) (m6989586621679545899 a26989586621679545901) ((~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903))))
  • data LiftM3Sym1 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) :: forall m6989586621679545899. (~>) (m6989586621679545899 a16989586621679545900) ((~>) (m6989586621679545899 a26989586621679545901) ((~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903)))
  • data LiftM3Sym2 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) :: (~>) (m6989586621679545899 a26989586621679545901) ((~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903))
  • data LiftM3Sym3 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) (a6989586621679546220 :: m6989586621679545899 a26989586621679545901) :: (~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903)
  • type LiftM3Sym4 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) (a6989586621679546220 :: m6989586621679545899 a26989586621679545901) (a6989586621679546221 :: m6989586621679545899 a36989586621679545902) = LiftM3 a6989586621679546218 a6989586621679546219 a6989586621679546220 a6989586621679546221
  • data LiftM4Sym0 :: forall a16989586621679545894 a26989586621679545895 a36989586621679545896 a46989586621679545897 m6989586621679545893 r6989586621679545898. (~>) ((~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) ((~>) (m6989586621679545893 a16989586621679545894) ((~>) (m6989586621679545893 a26989586621679545895) ((~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898)))))
  • data LiftM4Sym1 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) :: forall m6989586621679545893. (~>) (m6989586621679545893 a16989586621679545894) ((~>) (m6989586621679545893 a26989586621679545895) ((~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898))))
  • data LiftM4Sym2 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) :: (~>) (m6989586621679545893 a26989586621679545895) ((~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898)))
  • data LiftM4Sym3 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) :: (~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898))
  • data LiftM4Sym4 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) (a6989586621679546160 :: m6989586621679545893 a36989586621679545896) :: (~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898)
  • type LiftM4Sym5 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) (a6989586621679546160 :: m6989586621679545893 a36989586621679545896) (a6989586621679546161 :: m6989586621679545893 a46989586621679545897) = LiftM4 a6989586621679546157 a6989586621679546158 a6989586621679546159 a6989586621679546160 a6989586621679546161
  • data LiftM5Sym0 :: forall a16989586621679545887 a26989586621679545888 a36989586621679545889 a46989586621679545890 a56989586621679545891 m6989586621679545886 r6989586621679545892. (~>) ((~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) ((~>) (m6989586621679545886 a16989586621679545887) ((~>) (m6989586621679545886 a26989586621679545888) ((~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892))))))
  • data LiftM5Sym1 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) :: forall m6989586621679545886. (~>) (m6989586621679545886 a16989586621679545887) ((~>) (m6989586621679545886 a26989586621679545888) ((~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892)))))
  • data LiftM5Sym2 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) :: (~>) (m6989586621679545886 a26989586621679545888) ((~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892))))
  • data LiftM5Sym3 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) :: (~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892)))
  • data LiftM5Sym4 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) :: (~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892))
  • data LiftM5Sym5 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) (a6989586621679546078 :: m6989586621679545886 a46989586621679545890) :: (~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892)
  • type LiftM5Sym6 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) (a6989586621679546078 :: m6989586621679545886 a46989586621679545890) (a6989586621679546079 :: m6989586621679545886 a56989586621679545891) = LiftM5 a6989586621679546074 a6989586621679546075 a6989586621679546076 a6989586621679546077 a6989586621679546078 a6989586621679546079
  • data ApSym0 :: forall a6989586621679545884 b6989586621679545885 m6989586621679545883. (~>) (m6989586621679545883 ((~>) a6989586621679545884 b6989586621679545885)) ((~>) (m6989586621679545883 a6989586621679545884) (m6989586621679545883 b6989586621679545885))
  • data ApSym1 (a6989586621679546053 :: m6989586621679545883 ((~>) a6989586621679545884 b6989586621679545885)) :: (~>) (m6989586621679545883 a6989586621679545884) (m6989586621679545883 b6989586621679545885)
  • type ApSym2 (a6989586621679546053 :: m6989586621679545883 ((~>) a6989586621679545884 b6989586621679545885)) (a6989586621679546054 :: m6989586621679545883 a6989586621679545884) = Ap a6989586621679546053 a6989586621679546054
  • data (<$!>@#@$) :: forall a6989586621681203132 b6989586621681203133 m6989586621681203131. (~>) ((~>) a6989586621681203132 b6989586621681203133) ((~>) (m6989586621681203131 a6989586621681203132) (m6989586621681203131 b6989586621681203133))
  • data (<$!>@#@$$) (a6989586621681203485 :: (~>) a6989586621681203132 b6989586621681203133) :: forall m6989586621681203131. (~>) (m6989586621681203131 a6989586621681203132) (m6989586621681203131 b6989586621681203133)
  • type (<$!>@#@$$$) (a6989586621681203485 :: (~>) a6989586621681203132 b6989586621681203133) (a6989586621681203486 :: m6989586621681203131 a6989586621681203132) = (<$!>) a6989586621681203485 a6989586621681203486

Documentation

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

Associated Types

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

Instances
PFunctor [] Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor Maybe Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor Min Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor Max Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor First Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor Option Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor Identity Source # 
Instance details

Defined in Data.Singletons.Prelude.Identity

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor First Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor Dual Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor Sum Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor Product Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor Down Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor NonEmpty Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor (Either a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor ((,) a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

PFunctor (Arg a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

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

Defined in Data.Singletons.Prelude.Const

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a 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 # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor Maybe Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor Min Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor Max Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor First Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor Option Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor Identity Source # 
Instance details

Defined in Data.Singletons.Prelude.Identity

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor First Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor Dual Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor Sum Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor Product Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor Down Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor NonEmpty Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor (Either a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor ((,) a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor (Arg a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

SFunctor (Const m :: Type -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source #

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

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

Associated Types

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

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

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

type Fail (arg :: Symbol) :: m a Source #

Instances
PMonad [] Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad Maybe Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad Min Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad Max Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad First Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad Option Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad Identity Source # 
Instance details

Defined in Data.Singletons.Prelude.Identity

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad First Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad Dual Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad Sum Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad Product Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad Down Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad NonEmpty Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad (Either e) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

PMonad ((,) a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

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

Minimal complete definition

(%>>=)

Methods

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

(%>>) :: forall a b (t :: m a) (t :: m b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t :: m b) infixl 1 Source #

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

sFail :: forall a (t :: Symbol). Sing t -> Sing (Apply FailSym0 t :: m a) Source #

(%>>) :: forall a b (t :: m a) (t :: m b). (Apply (Apply (>>@#@$) t) t :: m b) ~ Apply (Apply TFHelper_6989586621679546492Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t :: m b) infixl 1 Source #

sReturn :: forall a (t :: a). (Apply ReturnSym0 t :: m a) ~ Apply Return_6989586621679546502Sym0 t => Sing t -> Sing (Apply ReturnSym0 t :: m a) Source #

sFail :: forall a (t :: Symbol). (Apply FailSym0 t :: m a) ~ Apply Fail_6989586621679546509Sym0 t => Sing t -> Sing (Apply FailSym0 t :: m a) Source #

Instances
SMonad [] Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SMonad Maybe Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SMonad Min Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

SMonad Max Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

SMonad First Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

SMonad Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

SMonad Option Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

SMonad Identity Source # 
Instance details

Defined in Data.Singletons.Prelude.Identity

SMonad First Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

SMonad Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

SMonad Dual Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SMonad Sum Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SMonad Product Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

SMonad Down Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SMonad NonEmpty Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SMonad (Either e) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

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

Defined in Data.Singletons.Prelude.Monad

class (PAlternative m, PMonad m) => PMonadPlus (m :: Type -> Type) Source #

Associated Types

type Mzero :: m a Source #

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

Instances
PMonadPlus [] Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Mzero :: m a Source #

type Mplus arg arg :: m a Source #

PMonadPlus Maybe Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Mzero :: m a Source #

type Mplus arg arg :: m a Source #

PMonadPlus Option Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Mzero :: m a Source #

type Mplus arg arg :: m a Source #

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

Minimal complete definition

Nothing

Methods

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

sMplus :: forall a (t :: m a) (t :: m a). Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t :: m a) Source #

sMzero :: forall a. (MzeroSym0 :: m a) ~ Mzero_6989586621679546520Sym0 => Sing (MzeroSym0 :: m a) Source #

sMplus :: forall a (t :: m a) (t :: m a). (Apply (Apply MplusSym0 t) t :: m a) ~ Apply (Apply Mplus_6989586621679546534Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t :: m a) Source #

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

Instances
type MapM (arg1 :: a ~> m b) (arg2 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: [a])
type MapM (arg1 :: a ~> m b) (arg2 :: Maybe a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: Maybe a)
type MapM (arg1 :: a ~> m b) (arg2 :: Min a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type MapM (arg1 :: a ~> m b) (arg2 :: Min a)
type MapM (arg1 :: a ~> m b) (arg2 :: Max a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type MapM (arg1 :: a ~> m b) (arg2 :: Max a)
type MapM (arg1 :: a ~> m b) (arg2 :: First a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type MapM (arg1 :: a ~> m b) (arg2 :: First a)
type MapM (arg1 :: a ~> m b) (arg2 :: Last a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type MapM (arg1 :: a ~> m b) (arg2 :: Last a)
type MapM (arg1 :: a ~> m b) (arg2 :: Option a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type MapM (arg1 :: a ~> m b) (arg2 :: Option a)
type MapM (arg1 :: a ~> m b) (arg2 :: Identity a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: Identity a)
type MapM (arg1 :: a ~> m b) (arg2 :: First a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: First a)
type MapM (arg1 :: a ~> m b) (arg2 :: Last a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: Last a)
type MapM (arg1 :: a ~> m b) (arg2 :: Dual a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: Dual a)
type MapM (arg1 :: a ~> m b) (arg2 :: Sum a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: Sum a)
type MapM (arg1 :: a ~> m b) (arg2 :: Product a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: Product a)
type MapM (arg1 :: a ~> m b) (arg2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: NonEmpty a)
type MapM (arg1 :: a1 ~> m b) (arg2 :: Either a2 a1) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a1 ~> m b) (arg2 :: Either a2 a1)
type MapM (arg1 :: a1 ~> m b) (arg2 :: (a2, a1)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a1 ~> m b) (arg2 :: (a2, a1))
type MapM (arg1 :: a1 ~> m b) (arg2 :: Arg a2 a1) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type MapM (arg1 :: a1 ~> m b) (arg2 :: Arg a2 a1)
type MapM (arg1 :: a ~> m1 b) (arg2 :: Const m2 a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m1 b) (arg2 :: Const m2 a)

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

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

Equations

MapM_ f a_6989586621680448991 = Apply (Apply (Apply FoldrSym0 (Apply (Apply (.@#@$) (>>@#@$)) f)) (Apply ReturnSym0 Tuple0Sym0)) a_6989586621680448991 

sMapM_ :: forall t m a b (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ()) Source #

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

Equations

ForM a_6989586621680751019 a_6989586621680751021 = Apply (Apply (Apply FlipSym0 MapMSym0) a_6989586621680751019) a_6989586621680751021 

sForM :: forall t m a b (t :: t a) (t :: (~>) a (m b)). (STraversable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForMSym0 t) t :: m (t b)) Source #

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

Instances
type Sequence (arg :: [m a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: [m a])
type Sequence (arg :: Maybe (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Maybe (m a))
type Sequence (arg :: Min (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type Sequence (arg :: Min (m a))
type Sequence (arg :: Max (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type Sequence (arg :: Max (m a))
type Sequence (arg :: First (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type Sequence (arg :: First (m a))
type Sequence (arg :: Last (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type Sequence (arg :: Last (m a))
type Sequence (arg :: Option (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type Sequence (arg :: Option (m a))
type Sequence (arg :: Identity (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Identity (m a))
type Sequence (arg :: First (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: First (m a))
type Sequence (arg :: Last (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Last (m a))
type Sequence (arg :: Dual (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Dual (m a))
type Sequence (arg :: Sum (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Sum (m a))
type Sequence (arg :: Product (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Product (m a))
type Sequence (arg :: NonEmpty (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: NonEmpty (m a))
type Sequence (arg :: Either a1 (m a2)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Either a1 (m a2))
type Sequence (arg :: (a1, m a2)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: (a1, m a2))
type Sequence (arg :: Arg a1 (m a2)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type Sequence (arg :: Arg a1 (m a2))
type Sequence (arg :: Const m1 (m2 a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Const m1 (m2 a))

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

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

Equations

Sequence_ a_6989586621680448977 = Apply (Apply (Apply FoldrSym0 (>>@#@$)) (Apply ReturnSym0 Tuple0Sym0)) a_6989586621680448977 

sSequence_ :: forall t m a (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ()) Source #

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

Equations

f =<< x = Apply (Apply (>>=@#@$) x) f 

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

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

Equations

(f >=> g) a_6989586621681203603 = Apply (Apply (Apply (Apply Lambda_6989586621681203608Sym0 f) g) a_6989586621681203603) a_6989586621681203603 

(%>=>) :: forall m a b c (t :: (~>) a (m b)) (t :: (~>) b (m c)) (t :: a). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (>=>@#@$) t) t) t :: m c) infixr 1 Source #

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

Equations

(a_6989586621681203616 <=< a_6989586621681203618) a_6989586621681203620 = Apply (Apply (Apply (Apply FlipSym0 (>=>@#@$)) a_6989586621681203616) a_6989586621681203618) a_6989586621681203620 

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

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

Equations

Void x = Apply (Apply (<$@#@$) Tuple0Sym0) x 

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

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

Equations

Join x = Apply (Apply (>>=@#@$) x) IdSym0 

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

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

Equations

Msum a_6989586621680448972 = Apply AsumSym0 a_6989586621680448972 

sMsum :: forall t m a (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a) Source #

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

Equations

Mfilter p ma = Apply (Apply (>>=@#@$) ma) (Apply (Apply Lambda_6989586621681203471Sym0 p) ma) 

sMfilter :: forall m a (t :: (~>) a Bool) (t :: m a). SMonadPlus m => Sing t -> Sing t -> Sing (Apply (Apply MfilterSym0 t) t :: m a) Source #

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

Equations

FilterM p a_6989586621681203635 = Apply (Apply (Apply FoldrSym0 (Apply (Apply Lambda_6989586621681203639Sym0 p) a_6989586621681203635)) (Apply PureSym0 '[])) a_6989586621681203635 

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

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

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

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

Equations

ZipWithM f xs ys = Apply SequenceASym0 (Apply (Apply (Apply ZipWithSym0 f) xs) ys) 

sZipWithM :: forall m a b c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithMSym0 t) t) t :: m [c]) Source #

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

Equations

ZipWithM_ f xs ys = Apply SequenceA_Sym0 (Apply (Apply (Apply ZipWithSym0 f) xs) ys) 

sZipWithM_ :: forall m a b c (t :: (~>) a ((~>) b (m c))) (t :: [a]) (t :: [b]). SApplicative m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithM_Sym0 t) t) t :: m ()) Source #

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

Equations

FoldlM f z0 xs = Apply (Apply (Apply (Apply FoldrSym0 (Let6989586621680449032F'Sym3 f z0 xs)) ReturnSym0) xs) z0 

sFoldlM :: forall t m b a (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b) Source #

type family ReplicateM (a :: Nat) (a :: m a) :: m [a] where ... Source #

Equations

ReplicateM cnt0 f = Apply (Let6989586621681203536LoopSym2 cnt0 f) cnt0 

sReplicateM :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateMSym0 t) t :: m [a]) Source #

type family ReplicateM_ (a :: Nat) (a :: m a) :: m () where ... Source #

Equations

ReplicateM_ cnt0 f = Apply (Let6989586621681203517LoopSym2 cnt0 f) cnt0 

sReplicateM_ :: forall m a (t :: Nat) (t :: m a). SApplicative m => Sing t -> Sing t -> Sing (Apply (Apply ReplicateM_Sym0 t) t :: m ()) Source #

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

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

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

Equations

When p s = Case_6989586621679546305 p s p 

sWhen :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply WhenSym0 t) t :: f ()) Source #

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

Equations

Unless p s = Case_6989586621681203508 p s p 

sUnless :: forall f (t :: Bool) (t :: f ()). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply UnlessSym0 t) t :: f ()) Source #

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

Equations

LiftM f m1 = Apply (Apply (>>=@#@$) m1) (Apply (Apply Lambda_6989586621679546292Sym0 f) m1) 

sLiftM :: forall m a1 r (t :: (~>) a1 r) (t :: m a1). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply LiftMSym0 t) t :: m r) Source #

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

Equations

LiftM2 f m1 m2 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply Lambda_6989586621679546269Sym0 f) m1) m2) 

sLiftM2 :: forall m a1 a2 r (t :: (~>) a1 ((~>) a2 r)) (t :: m a1) (t :: m a2). SMonad m => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftM2Sym0 t) t) t :: m r) Source #

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

Equations

LiftM3 f m1 m2 m3 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply (Apply Lambda_6989586621679546230Sym0 f) m1) m2) m3) 

sLiftM3 :: forall m a1 a2 a3 r (t :: (~>) a1 ((~>) a2 ((~>) a3 r))) (t :: m a1) (t :: m a2) (t :: m a3). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply LiftM3Sym0 t) t) t) t :: m r) Source #

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

Equations

LiftM4 f m1 m2 m3 m4 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply (Apply (Apply Lambda_6989586621679546172Sym0 f) m1) m2) m3) m4) 

sLiftM4 :: forall m a1 a2 a3 a4 r (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 r)))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply LiftM4Sym0 t) t) t) t) t :: m r) Source #

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

Equations

LiftM5 f m1 m2 m3 m4 m5 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply (Apply (Apply (Apply Lambda_6989586621679546092Sym0 f) m1) m2) m3) m4) m5) 

sLiftM5 :: forall m a1 a2 a3 a4 a5 r (t :: (~>) a1 ((~>) a2 ((~>) a3 ((~>) a4 ((~>) a5 r))))) (t :: m a1) (t :: m a2) (t :: m a3) (t :: m a4) (t :: m a5). SMonad m => Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply (Apply (Apply LiftM5Sym0 t) t) t) t) t) t :: m r) Source #

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

Equations

Ap m1 m2 = Apply (Apply (>>=@#@$) m1) (Apply (Apply Lambda_6989586621679546059Sym0 m1) m2) 

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 #

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

Equations

f <$!> m = Apply (Apply (>>=@#@$) m) (Apply (Apply Lambda_6989586621681203491Sym0 f) m) 

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

Defunctionalization symbols

data FmapSym0 :: forall a6989586621679545962 b6989586621679545963 f6989586621679545961. (~>) ((~>) a6989586621679545962 b6989586621679545963) ((~>) (f6989586621679545961 a6989586621679545962) (f6989586621679545961 b6989586621679545963)) Source #

Instances
SFunctor f => SingI (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (FmapSym0 :: TyFun (a6989586621679545962 ~> b6989586621679545963) (f6989586621679545961 a6989586621679545962 ~> f6989586621679545961 b6989586621679545963) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (FmapSym0 :: TyFun (a6989586621679545962 ~> b6989586621679545963) (f6989586621679545961 a6989586621679545962 ~> f6989586621679545961 b6989586621679545963) -> Type) (arg6989586621679546355 :: a6989586621679545962 ~> b6989586621679545963) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (FmapSym0 :: TyFun (a6989586621679545962 ~> b6989586621679545963) (f6989586621679545961 a6989586621679545962 ~> f6989586621679545961 b6989586621679545963) -> Type) (arg6989586621679546355 :: a6989586621679545962 ~> b6989586621679545963) = (FmapSym1 arg6989586621679546355 f6989586621679545961 :: TyFun (f6989586621679545961 a6989586621679545962) (f6989586621679545961 b6989586621679545963) -> Type)

data FmapSym1 (arg6989586621679546355 :: (~>) a6989586621679545962 b6989586621679545963) :: forall f6989586621679545961. (~>) (f6989586621679545961 a6989586621679545962) (f6989586621679545961 b6989586621679545963) Source #

Instances
(SFunctor f, SingI d) => SingI (FmapSym1 d f :: TyFun (f a) (f b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (FmapSym1 d f) Source #

SuppressUnusedWarnings (FmapSym1 arg6989586621679546355 f6989586621679545961 :: TyFun (f6989586621679545961 a6989586621679545962) (f6989586621679545961 b6989586621679545963) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (FmapSym1 arg6989586621679546355 f :: TyFun (f a) (f b) -> Type) (arg6989586621679546356 :: f a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (FmapSym1 arg6989586621679546355 f :: TyFun (f a) (f b) -> Type) (arg6989586621679546356 :: f a) = Fmap arg6989586621679546355 arg6989586621679546356

type FmapSym2 (arg6989586621679546355 :: (~>) a6989586621679545962 b6989586621679545963) (arg6989586621679546356 :: f6989586621679545961 a6989586621679545962) = Fmap arg6989586621679546355 arg6989586621679546356 Source #

data (>>=@#@$) :: forall a6989586621679545991 b6989586621679545992 m6989586621679545990. (~>) (m6989586621679545990 a6989586621679545991) ((~>) ((~>) a6989586621679545991 (m6989586621679545990 b6989586621679545992)) (m6989586621679545990 b6989586621679545992)) infixl 1 Source #

Instances
SMonad m => SingI ((>>=@#@$) :: TyFun (m a) ((a ~> m b) ~> m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((>>=@#@$) :: TyFun (m6989586621679545990 a6989586621679545991) ((a6989586621679545991 ~> m6989586621679545990 b6989586621679545992) ~> m6989586621679545990 b6989586621679545992) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((>>=@#@$) :: TyFun (m6989586621679545990 a6989586621679545991) ((a6989586621679545991 ~> m6989586621679545990 b6989586621679545992) ~> m6989586621679545990 b6989586621679545992) -> Type) (arg6989586621679546462 :: m6989586621679545990 a6989586621679545991) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((>>=@#@$) :: TyFun (m6989586621679545990 a6989586621679545991) ((a6989586621679545991 ~> m6989586621679545990 b6989586621679545992) ~> m6989586621679545990 b6989586621679545992) -> Type) (arg6989586621679546462 :: m6989586621679545990 a6989586621679545991) = (arg6989586621679546462 >>=@#@$$ b6989586621679545992 :: TyFun (a6989586621679545991 ~> m6989586621679545990 b6989586621679545992) (m6989586621679545990 b6989586621679545992) -> Type)

data (>>=@#@$$) (arg6989586621679546462 :: m6989586621679545990 a6989586621679545991) :: forall b6989586621679545992. (~>) ((~>) a6989586621679545991 (m6989586621679545990 b6989586621679545992)) (m6989586621679545990 b6989586621679545992) infixl 1 Source #

Instances
(SMonad m, SingI d) => SingI (d >>=@#@$$ b :: TyFun (a ~> m b) (m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (d >>=@#@$$ b) Source #

SuppressUnusedWarnings (arg6989586621679546462 >>=@#@$$ b6989586621679545992 :: TyFun (a6989586621679545991 ~> m6989586621679545990 b6989586621679545992) (m6989586621679545990 b6989586621679545992) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (arg6989586621679546462 >>=@#@$$ b :: TyFun (a ~> m b) (m b) -> Type) (arg6989586621679546463 :: a ~> m b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (arg6989586621679546462 >>=@#@$$ b :: TyFun (a ~> m b) (m b) -> Type) (arg6989586621679546463 :: a ~> m b) = arg6989586621679546462 >>= arg6989586621679546463

type (>>=@#@$$$) (arg6989586621679546462 :: m6989586621679545990 a6989586621679545991) (arg6989586621679546463 :: (~>) a6989586621679545991 (m6989586621679545990 b6989586621679545992)) = (>>=) arg6989586621679546462 arg6989586621679546463 Source #

data (>>@#@$) :: forall a6989586621679545993 b6989586621679545994 m6989586621679545990. (~>) (m6989586621679545990 a6989586621679545993) ((~>) (m6989586621679545990 b6989586621679545994) (m6989586621679545990 b6989586621679545994)) infixl 1 Source #

Instances
SMonad m => SingI ((>>@#@$) :: TyFun (m a) (m b ~> m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((>>@#@$) :: TyFun (m6989586621679545990 a6989586621679545993) (m6989586621679545990 b6989586621679545994 ~> m6989586621679545990 b6989586621679545994) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((>>@#@$) :: TyFun (m6989586621679545990 a6989586621679545993) (m6989586621679545990 b6989586621679545994 ~> m6989586621679545990 b6989586621679545994) -> Type) (arg6989586621679546466 :: m6989586621679545990 a6989586621679545993) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((>>@#@$) :: TyFun (m6989586621679545990 a6989586621679545993) (m6989586621679545990 b6989586621679545994 ~> m6989586621679545990 b6989586621679545994) -> Type) (arg6989586621679546466 :: m6989586621679545990 a6989586621679545993) = (arg6989586621679546466 >>@#@$$ b6989586621679545994 :: TyFun (m6989586621679545990 b6989586621679545994) (m6989586621679545990 b6989586621679545994) -> Type)

data (>>@#@$$) (arg6989586621679546466 :: m6989586621679545990 a6989586621679545993) :: forall b6989586621679545994. (~>) (m6989586621679545990 b6989586621679545994) (m6989586621679545990 b6989586621679545994) infixl 1 Source #

Instances
(SMonad m, SingI d) => SingI (d >>@#@$$ b :: TyFun (m b) (m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (d >>@#@$$ b) Source #

SuppressUnusedWarnings (arg6989586621679546466 >>@#@$$ b6989586621679545994 :: TyFun (m6989586621679545990 b6989586621679545994) (m6989586621679545990 b6989586621679545994) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (arg6989586621679546466 >>@#@$$ b :: TyFun (m b) (m b) -> Type) (arg6989586621679546467 :: m b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (arg6989586621679546466 >>@#@$$ b :: TyFun (m b) (m b) -> Type) (arg6989586621679546467 :: m b) = arg6989586621679546466 >> arg6989586621679546467

type (>>@#@$$$) (arg6989586621679546466 :: m6989586621679545990 a6989586621679545993) (arg6989586621679546467 :: m6989586621679545990 b6989586621679545994) = (>>) arg6989586621679546466 arg6989586621679546467 Source #

data ReturnSym0 :: forall a6989586621679545995 m6989586621679545990. (~>) a6989586621679545995 (m6989586621679545990 a6989586621679545995) Source #

Instances
SMonad m => SingI (ReturnSym0 :: TyFun a (m a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (ReturnSym0 :: TyFun a6989586621679545995 (m6989586621679545990 a6989586621679545995) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (ReturnSym0 :: TyFun a (m6989586621679545990 a) -> Type) (arg6989586621679546470 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (ReturnSym0 :: TyFun a (m6989586621679545990 a) -> Type) (arg6989586621679546470 :: a) = (Return arg6989586621679546470 :: m6989586621679545990 a)

type ReturnSym1 (arg6989586621679546470 :: a6989586621679545995) = Return arg6989586621679546470 Source #

data FailSym0 :: forall a6989586621679545996 m6989586621679545990. (~>) Symbol (m6989586621679545990 a6989586621679545996) Source #

Instances
SMonad m => SingI (FailSym0 :: TyFun Symbol (m a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (FailSym0 :: TyFun Symbol (m6989586621679545990 a6989586621679545996) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (FailSym0 :: TyFun Symbol (m6989586621679545990 a6989586621679545996) -> Type) (arg6989586621679546472 :: Symbol) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (FailSym0 :: TyFun Symbol (m6989586621679545990 a6989586621679545996) -> Type) (arg6989586621679546472 :: Symbol) = (Fail arg6989586621679546472 :: m6989586621679545990 a6989586621679545996)

type FailSym1 (arg6989586621679546472 :: Symbol) = Fail arg6989586621679546472 Source #

data MplusSym0 :: forall a6989586621679546048 m6989586621679546046. (~>) (m6989586621679546046 a6989586621679546048) ((~>) (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048)) Source #

Instances
SMonadPlus m => SingI (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (MplusSym0 :: TyFun (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048 ~> m6989586621679546046 a6989586621679546048) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (MplusSym0 :: TyFun (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048 ~> m6989586621679546046 a6989586621679546048) -> Type) (arg6989586621679546516 :: m6989586621679546046 a6989586621679546048) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (MplusSym0 :: TyFun (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048 ~> m6989586621679546046 a6989586621679546048) -> Type) (arg6989586621679546516 :: m6989586621679546046 a6989586621679546048) = MplusSym1 arg6989586621679546516

data MplusSym1 (arg6989586621679546516 :: m6989586621679546046 a6989586621679546048) :: (~>) (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048) Source #

Instances
(SMonadPlus m, SingI d) => SingI (MplusSym1 d :: TyFun (m a) (m a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (MplusSym1 d) Source #

SuppressUnusedWarnings (MplusSym1 arg6989586621679546516 :: TyFun (m6989586621679546046 a6989586621679546048) (m6989586621679546046 a6989586621679546048) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (MplusSym1 arg6989586621679546516 :: TyFun (m a) (m a) -> Type) (arg6989586621679546517 :: m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (MplusSym1 arg6989586621679546516 :: TyFun (m a) (m a) -> Type) (arg6989586621679546517 :: m a) = Mplus arg6989586621679546516 arg6989586621679546517

type MplusSym2 (arg6989586621679546516 :: m6989586621679546046 a6989586621679546048) (arg6989586621679546517 :: m6989586621679546046 a6989586621679546048) = Mplus arg6989586621679546516 arg6989586621679546517 Source #

data MapMSym0 :: forall a6989586621680744892 b6989586621680744893 m6989586621680744891 t6989586621680744885. (~>) ((~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) ((~>) (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893))) Source #

Instances
(STraversable t, SMonad m) => SingI (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (MapMSym0 :: TyFun (a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) (t6989586621680744885 a6989586621680744892 ~> m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Apply (MapMSym0 :: TyFun (a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) (t6989586621680744885 a6989586621680744892 ~> m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) (arg6989586621680744903 :: a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Apply (MapMSym0 :: TyFun (a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) (t6989586621680744885 a6989586621680744892 ~> m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) (arg6989586621680744903 :: a6989586621680744892 ~> m6989586621680744891 b6989586621680744893) = (MapMSym1 arg6989586621680744903 t6989586621680744885 :: TyFun (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type)

data MapMSym1 (arg6989586621680744903 :: (~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) :: forall t6989586621680744885. (~>) (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893)) Source #

Instances
(STraversable t, SMonad m, SingI d) => SingI (MapMSym1 d t :: TyFun (t a) (m (t b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (MapMSym1 d t) Source #

SuppressUnusedWarnings (MapMSym1 arg6989586621680744903 t6989586621680744885 :: TyFun (t6989586621680744885 a6989586621680744892) (m6989586621680744891 (t6989586621680744885 b6989586621680744893)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Apply (MapMSym1 arg6989586621680744903 t :: TyFun (t a) (m (t b)) -> Type) (arg6989586621680744904 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Apply (MapMSym1 arg6989586621680744903 t :: TyFun (t a) (m (t b)) -> Type) (arg6989586621680744904 :: t a) = MapM arg6989586621680744903 arg6989586621680744904

type MapMSym2 (arg6989586621680744903 :: (~>) a6989586621680744892 (m6989586621680744891 b6989586621680744893)) (arg6989586621680744904 :: t6989586621680744885 a6989586621680744892) = MapM arg6989586621680744903 arg6989586621680744904 Source #

data MapM_Sym0 :: forall a6989586621680448389 b6989586621680448390 m6989586621680448388 t6989586621680448387. (~>) ((~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) ((~>) (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ())) Source #

Instances
(SFoldable t, SMonad m) => SingI (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MapM_Sym0 :: TyFun (a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) (t6989586621680448387 a6989586621680448389 ~> m6989586621680448388 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MapM_Sym0 :: TyFun (a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) (t6989586621680448387 a6989586621680448389 ~> m6989586621680448388 ()) -> Type) (a6989586621680448987 :: a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MapM_Sym0 :: TyFun (a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) (t6989586621680448387 a6989586621680448389 ~> m6989586621680448388 ()) -> Type) (a6989586621680448987 :: a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) = (MapM_Sym1 a6989586621680448987 t6989586621680448387 :: TyFun (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ()) -> Type)

data MapM_Sym1 (a6989586621680448987 :: (~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) :: forall t6989586621680448387. (~>) (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ()) Source #

Instances
(SFoldable t, SMonad m, SingI d) => SingI (MapM_Sym1 d t :: TyFun (t a) (m ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (MapM_Sym1 d t) Source #

SuppressUnusedWarnings (MapM_Sym1 a6989586621680448987 t6989586621680448387 :: TyFun (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MapM_Sym1 a6989586621680448987 t :: TyFun (t a) (m ()) -> Type) (a6989586621680448988 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MapM_Sym1 a6989586621680448987 t :: TyFun (t a) (m ()) -> Type) (a6989586621680448988 :: t a) = MapM_ a6989586621680448987 a6989586621680448988

type MapM_Sym2 (a6989586621680448987 :: (~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) (a6989586621680448988 :: t6989586621680448387 a6989586621680448389) = MapM_ a6989586621680448987 a6989586621680448988 Source #

data ForMSym0 :: forall a6989586621680750468 b6989586621680750469 m6989586621680750467 t6989586621680750466. (~>) (t6989586621680750466 a6989586621680750468) ((~>) ((~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) (m6989586621680750467 (t6989586621680750466 b6989586621680750469))) Source #

Instances
(STraversable t, SMonad m) => SingI (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (ForMSym0 :: TyFun (t6989586621680750466 a6989586621680750468) ((a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) ~> m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Apply (ForMSym0 :: TyFun (t6989586621680750466 a6989586621680750468) ((a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) ~> m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Apply (ForMSym0 :: TyFun (t6989586621680750466 a6989586621680750468) ((a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) ~> m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) = (ForMSym1 a6989586621680751023 b6989586621680750469 m6989586621680750467 :: TyFun (a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) (m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type)

data ForMSym1 (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) :: forall b6989586621680750469 m6989586621680750467. (~>) ((~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) (m6989586621680750467 (t6989586621680750466 b6989586621680750469)) Source #

Instances
(STraversable t, SMonad m, SingI d) => SingI (ForMSym1 d b m :: TyFun (a ~> m b) (m (t b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (ForMSym1 d b m) Source #

SuppressUnusedWarnings (ForMSym1 a6989586621680751023 b6989586621680750469 m6989586621680750467 :: TyFun (a6989586621680750468 ~> m6989586621680750467 b6989586621680750469) (m6989586621680750467 (t6989586621680750466 b6989586621680750469)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Apply (ForMSym1 a6989586621680751023 b m :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680751024 :: a ~> m b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Apply (ForMSym1 a6989586621680751023 b m :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680751024 :: a ~> m b) = ForM a6989586621680751023 a6989586621680751024

type ForMSym2 (a6989586621680751023 :: t6989586621680750466 a6989586621680750468) (a6989586621680751024 :: (~>) a6989586621680750468 (m6989586621680750467 b6989586621680750469)) = ForM a6989586621680751023 a6989586621680751024 Source #

data SequenceSym0 :: forall a6989586621680744895 m6989586621680744894 t6989586621680744885. (~>) (t6989586621680744885 (m6989586621680744894 a6989586621680744895)) (m6989586621680744894 (t6989586621680744885 a6989586621680744895)) Source #

Instances
(STraversable t, SMonad m) => SingI (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

SuppressUnusedWarnings (SequenceSym0 :: TyFun (t6989586621680744885 (m6989586621680744894 a6989586621680744895)) (m6989586621680744894 (t6989586621680744885 a6989586621680744895)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (arg6989586621680744907 :: t (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (arg6989586621680744907 :: t (m a)) = Sequence arg6989586621680744907

type SequenceSym1 (arg6989586621680744907 :: t6989586621680744885 (m6989586621680744894 a6989586621680744895)) = Sequence arg6989586621680744907 Source #

data Sequence_Sym0 :: forall a6989586621680448379 m6989586621680448378 t6989586621680448377. (~>) (t6989586621680448377 (m6989586621680448378 a6989586621680448379)) (m6989586621680448378 ()) Source #

Instances
(SFoldable t, SMonad m) => SingI (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Sequence_Sym0 :: TyFun (t6989586621680448377 (m6989586621680448378 a6989586621680448379)) (m6989586621680448378 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680448979 :: t (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680448979 :: t (m a)) = Sequence_ a6989586621680448979

type Sequence_Sym1 (a6989586621680448979 :: t6989586621680448377 (m6989586621680448378 a6989586621680448379)) = Sequence_ a6989586621680448979 Source #

data (=<<@#@$) :: forall a6989586621679545913 b6989586621679545914 m6989586621679545912. (~>) ((~>) a6989586621679545913 (m6989586621679545912 b6989586621679545914)) ((~>) (m6989586621679545912 a6989586621679545913) (m6989586621679545912 b6989586621679545914)) infixr 1 Source #

Instances
SMonad m => SingI ((=<<@#@$) :: TyFun (a ~> m b) (m a ~> m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((=<<@#@$) :: TyFun (a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) (m6989586621679545912 a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((=<<@#@$) :: TyFun (a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) (m6989586621679545912 a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) -> Type) (a6989586621679546308 :: a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((=<<@#@$) :: TyFun (a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) (m6989586621679545912 a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) -> Type) (a6989586621679546308 :: a6989586621679545913 ~> m6989586621679545912 b6989586621679545914) = (=<<@#@$$) a6989586621679546308

data (=<<@#@$$) (a6989586621679546308 :: (~>) a6989586621679545913 (m6989586621679545912 b6989586621679545914)) :: (~>) (m6989586621679545912 a6989586621679545913) (m6989586621679545912 b6989586621679545914) infixr 1 Source #

Instances
(SMonad m, SingI d) => SingI ((=<<@#@$$) d :: TyFun (m a) (m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing ((=<<@#@$$) d) Source #

SuppressUnusedWarnings ((=<<@#@$$) a6989586621679546308 :: TyFun (m6989586621679545912 a6989586621679545913) (m6989586621679545912 b6989586621679545914) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((=<<@#@$$) a6989586621679546308 :: TyFun (m a) (m b) -> Type) (a6989586621679546309 :: m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((=<<@#@$$) a6989586621679546308 :: TyFun (m a) (m b) -> Type) (a6989586621679546309 :: m a) = a6989586621679546308 =<< a6989586621679546309

type (=<<@#@$$$) (a6989586621679546308 :: (~>) a6989586621679545913 (m6989586621679545912 b6989586621679545914)) (a6989586621679546309 :: m6989586621679545912 a6989586621679545913) = (=<<) a6989586621679546308 a6989586621679546309 Source #

data (>=>@#@$) :: forall a6989586621681203164 b6989586621681203165 c6989586621681203166 m6989586621681203163. (~>) ((~>) a6989586621681203164 (m6989586621681203163 b6989586621681203165)) ((~>) ((~>) b6989586621681203165 (m6989586621681203163 c6989586621681203166)) ((~>) a6989586621681203164 (m6989586621681203163 c6989586621681203166))) infixr 1 Source #

Instances
SMonad m => SingI ((>=>@#@$) :: TyFun (a ~> m b) ((b ~> m c) ~> (a ~> m c)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings ((>=>@#@$) :: TyFun (a6989586621681203164 ~> m6989586621681203163 b6989586621681203165) ((b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) ~> (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply ((>=>@#@$) :: TyFun (a6989586621681203164 ~> m6989586621681203163 b6989586621681203165) ((b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) ~> (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166)) -> Type) (a6989586621681203597 :: a6989586621681203164 ~> m6989586621681203163 b6989586621681203165) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply ((>=>@#@$) :: TyFun (a6989586621681203164 ~> m6989586621681203163 b6989586621681203165) ((b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) ~> (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166)) -> Type) (a6989586621681203597 :: a6989586621681203164 ~> m6989586621681203163 b6989586621681203165) = (a6989586621681203597 >=>@#@$$ c6989586621681203166 :: TyFun (b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166) -> Type)

data (>=>@#@$$) (a6989586621681203597 :: (~>) a6989586621681203164 (m6989586621681203163 b6989586621681203165)) :: forall c6989586621681203166. (~>) ((~>) b6989586621681203165 (m6989586621681203163 c6989586621681203166)) ((~>) a6989586621681203164 (m6989586621681203163 c6989586621681203166)) infixr 1 Source #

Instances
(SMonad m, SingI d) => SingI (d >=>@#@$$ c :: TyFun (b ~> m c) (a ~> m c) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (d >=>@#@$$ c) Source #

SuppressUnusedWarnings (a6989586621681203597 >=>@#@$$ c6989586621681203166 :: TyFun (b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681203597 >=>@#@$$ c6989586621681203166 :: TyFun (b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166) -> Type) (a6989586621681203598 :: b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681203597 >=>@#@$$ c6989586621681203166 :: TyFun (b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) (a6989586621681203164 ~> m6989586621681203163 c6989586621681203166) -> Type) (a6989586621681203598 :: b6989586621681203165 ~> m6989586621681203163 c6989586621681203166) = a6989586621681203597 >=>@#@$$$ a6989586621681203598

data (a6989586621681203597 :: (~>) a6989586621681203164 (m6989586621681203163 b6989586621681203165)) >=>@#@$$$ (a6989586621681203598 :: (~>) b6989586621681203165 (m6989586621681203163 c6989586621681203166)) :: (~>) a6989586621681203164 (m6989586621681203163 c6989586621681203166) infixr 1 Source #

Instances
(SMonad m, SingI d1, SingI d2) => SingI (d1 >=>@#@$$$ d2 :: TyFun a (m c) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (d1 >=>@#@$$$ d2) Source #

SuppressUnusedWarnings (a6989586621681203598 >=>@#@$$$ a6989586621681203597 :: TyFun a6989586621681203164 (m6989586621681203163 c6989586621681203166) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681203598 >=>@#@$$$ a6989586621681203597 :: TyFun a (m c) -> Type) (a6989586621681203599 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681203598 >=>@#@$$$ a6989586621681203597 :: TyFun a (m c) -> Type) (a6989586621681203599 :: a) = (a6989586621681203598 >=> a6989586621681203597) a6989586621681203599

data (<=<@#@$) :: forall a6989586621681203162 b6989586621681203160 c6989586621681203161 m6989586621681203159. (~>) ((~>) b6989586621681203160 (m6989586621681203159 c6989586621681203161)) ((~>) ((~>) a6989586621681203162 (m6989586621681203159 b6989586621681203160)) ((~>) a6989586621681203162 (m6989586621681203159 c6989586621681203161))) infixr 1 Source #

Instances
SMonad m => SingI ((<=<@#@$) :: TyFun (b ~> m c) ((a ~> m b) ~> (a ~> m c)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings ((<=<@#@$) :: TyFun (b6989586621681203160 ~> m6989586621681203159 c6989586621681203161) ((a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) ~> (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply ((<=<@#@$) :: TyFun (b6989586621681203160 ~> m6989586621681203159 c6989586621681203161) ((a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) ~> (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161)) -> Type) (a6989586621681203622 :: b6989586621681203160 ~> m6989586621681203159 c6989586621681203161) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply ((<=<@#@$) :: TyFun (b6989586621681203160 ~> m6989586621681203159 c6989586621681203161) ((a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) ~> (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161)) -> Type) (a6989586621681203622 :: b6989586621681203160 ~> m6989586621681203159 c6989586621681203161) = (a6989586621681203622 <=<@#@$$ a6989586621681203162 :: TyFun (a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161) -> Type)

data (<=<@#@$$) (a6989586621681203622 :: (~>) b6989586621681203160 (m6989586621681203159 c6989586621681203161)) :: forall a6989586621681203162. (~>) ((~>) a6989586621681203162 (m6989586621681203159 b6989586621681203160)) ((~>) a6989586621681203162 (m6989586621681203159 c6989586621681203161)) infixr 1 Source #

Instances
(SMonad m, SingI d) => SingI (d <=<@#@$$ a :: TyFun (a ~> m b) (a ~> m c) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (d <=<@#@$$ a) Source #

SuppressUnusedWarnings (a6989586621681203622 <=<@#@$$ a6989586621681203162 :: TyFun (a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681203622 <=<@#@$$ a6989586621681203162 :: TyFun (a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161) -> Type) (a6989586621681203623 :: a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681203622 <=<@#@$$ a6989586621681203162 :: TyFun (a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) (a6989586621681203162 ~> m6989586621681203159 c6989586621681203161) -> Type) (a6989586621681203623 :: a6989586621681203162 ~> m6989586621681203159 b6989586621681203160) = a6989586621681203622 <=<@#@$$$ a6989586621681203623

data (a6989586621681203622 :: (~>) b6989586621681203160 (m6989586621681203159 c6989586621681203161)) <=<@#@$$$ (a6989586621681203623 :: (~>) a6989586621681203162 (m6989586621681203159 b6989586621681203160)) :: (~>) a6989586621681203162 (m6989586621681203159 c6989586621681203161) infixr 1 Source #

Instances
(SMonad m, SingI d1, SingI d2) => SingI (d1 <=<@#@$$$ d2 :: TyFun a (m c) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (d1 <=<@#@$$$ d2) Source #

SuppressUnusedWarnings (a6989586621681203623 <=<@#@$$$ a6989586621681203622 :: TyFun a6989586621681203162 (m6989586621681203159 c6989586621681203161) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681203623 <=<@#@$$$ a6989586621681203622 :: TyFun a (m c) -> Type) (a6989586621681203624 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681203623 <=<@#@$$$ a6989586621681203622 :: TyFun a (m c) -> Type) (a6989586621681203624 :: a) = (a6989586621681203623 <=< a6989586621681203622) a6989586621681203624

data VoidSym0 :: forall a6989586621679715289 f6989586621679715288. (~>) (f6989586621679715288 a6989586621679715289) (f6989586621679715288 ()) Source #

Instances
SFunctor f => SingI (VoidSym0 :: TyFun (f a) (f ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

SuppressUnusedWarnings (VoidSym0 :: TyFun (f6989586621679715288 a6989586621679715289) (f6989586621679715288 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

type Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) (a6989586621679715360 :: f a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

type Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) (a6989586621679715360 :: f a) = Void a6989586621679715360

type VoidSym1 (a6989586621679715360 :: f6989586621679715288 a6989586621679715289) = Void a6989586621679715360 Source #

data JoinSym0 :: forall a6989586621679545916 m6989586621679545915. (~>) (m6989586621679545915 (m6989586621679545915 a6989586621679545916)) (m6989586621679545915 a6989586621679545916) Source #

Instances
SMonad m => SingI (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (JoinSym0 :: TyFun (m6989586621679545915 (m6989586621679545915 a6989586621679545916)) (m6989586621679545915 a6989586621679545916) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) (a6989586621679546314 :: m (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) (a6989586621679546314 :: m (m a)) = Join a6989586621679546314

type JoinSym1 (a6989586621679546314 :: m6989586621679545915 (m6989586621679545915 a6989586621679545916)) = Join a6989586621679546314 Source #

data MsumSym0 :: forall a6989586621680448373 m6989586621680448372 t6989586621680448371. (~>) (t6989586621680448371 (m6989586621680448372 a6989586621680448373)) (m6989586621680448372 a6989586621680448373) Source #

Instances
(SFoldable t, SMonadPlus m) => SingI (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MsumSym0 :: TyFun (t6989586621680448371 (m6989586621680448372 a6989586621680448373)) (m6989586621680448372 a6989586621680448373) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621680448974 :: t (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621680448974 :: t (m a)) = Msum a6989586621680448974

type MsumSym1 (a6989586621680448974 :: t6989586621680448371 (m6989586621680448372 a6989586621680448373)) = Msum a6989586621680448974 Source #

data MfilterSym0 :: forall a6989586621681203130 m6989586621681203129. (~>) ((~>) a6989586621681203130 Bool) ((~>) (m6989586621681203129 a6989586621681203130) (m6989586621681203129 a6989586621681203130)) Source #

Instances
SMonadPlus m => SingI (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (MfilterSym0 :: TyFun (a6989586621681203130 ~> Bool) (m6989586621681203129 a6989586621681203130 ~> m6989586621681203129 a6989586621681203130) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (MfilterSym0 :: TyFun (a6989586621681203130 ~> Bool) (m6989586621681203129 a6989586621681203130 ~> m6989586621681203129 a6989586621681203130) -> Type) (a6989586621681203465 :: a6989586621681203130 ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (MfilterSym0 :: TyFun (a6989586621681203130 ~> Bool) (m6989586621681203129 a6989586621681203130 ~> m6989586621681203129 a6989586621681203130) -> Type) (a6989586621681203465 :: a6989586621681203130 ~> Bool) = (MfilterSym1 a6989586621681203465 m6989586621681203129 :: TyFun (m6989586621681203129 a6989586621681203130) (m6989586621681203129 a6989586621681203130) -> Type)

data MfilterSym1 (a6989586621681203465 :: (~>) a6989586621681203130 Bool) :: forall m6989586621681203129. (~>) (m6989586621681203129 a6989586621681203130) (m6989586621681203129 a6989586621681203130) Source #

Instances
(SMonadPlus m, SingI d) => SingI (MfilterSym1 d m :: TyFun (m a) (m a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (MfilterSym1 d m) Source #

SuppressUnusedWarnings (MfilterSym1 a6989586621681203465 m6989586621681203129 :: TyFun (m6989586621681203129 a6989586621681203130) (m6989586621681203129 a6989586621681203130) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (MfilterSym1 a6989586621681203465 m :: TyFun (m a) (m a) -> Type) (a6989586621681203466 :: m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (MfilterSym1 a6989586621681203465 m :: TyFun (m a) (m a) -> Type) (a6989586621681203466 :: m a) = Mfilter a6989586621681203465 a6989586621681203466

type MfilterSym2 (a6989586621681203465 :: (~>) a6989586621681203130 Bool) (a6989586621681203466 :: m6989586621681203129 a6989586621681203130) = Mfilter a6989586621681203465 a6989586621681203466 Source #

data FilterMSym0 :: forall a6989586621681203168 m6989586621681203167. (~>) ((~>) a6989586621681203168 (m6989586621681203167 Bool)) ((~>) [a6989586621681203168] (m6989586621681203167 [a6989586621681203168])) Source #

Instances
SApplicative m => SingI (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (FilterMSym0 :: TyFun (a6989586621681203168 ~> m6989586621681203167 Bool) ([a6989586621681203168] ~> m6989586621681203167 [a6989586621681203168]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (FilterMSym0 :: TyFun (a6989586621681203168 ~> m6989586621681203167 Bool) ([a6989586621681203168] ~> m6989586621681203167 [a6989586621681203168]) -> Type) (a6989586621681203631 :: a6989586621681203168 ~> m6989586621681203167 Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (FilterMSym0 :: TyFun (a6989586621681203168 ~> m6989586621681203167 Bool) ([a6989586621681203168] ~> m6989586621681203167 [a6989586621681203168]) -> Type) (a6989586621681203631 :: a6989586621681203168 ~> m6989586621681203167 Bool) = FilterMSym1 a6989586621681203631

data FilterMSym1 (a6989586621681203631 :: (~>) a6989586621681203168 (m6989586621681203167 Bool)) :: (~>) [a6989586621681203168] (m6989586621681203167 [a6989586621681203168]) Source #

Instances
(SApplicative m, SingI d) => SingI (FilterMSym1 d :: TyFun [a] (m [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (FilterMSym1 d) Source #

SuppressUnusedWarnings (FilterMSym1 a6989586621681203631 :: TyFun [a6989586621681203168] (m6989586621681203167 [a6989586621681203168]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (FilterMSym1 a6989586621681203631 :: TyFun [a] (m [a]) -> Type) (a6989586621681203632 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (FilterMSym1 a6989586621681203631 :: TyFun [a] (m [a]) -> Type) (a6989586621681203632 :: [a]) = FilterM a6989586621681203631 a6989586621681203632

type FilterMSym2 (a6989586621681203631 :: (~>) a6989586621681203168 (m6989586621681203167 Bool)) (a6989586621681203632 :: [a6989586621681203168]) = FilterM a6989586621681203631 a6989586621681203632 Source #

data MapAndUnzipMSym0 :: forall a6989586621681203156 b6989586621681203157 c6989586621681203158 m6989586621681203155. (~>) ((~>) a6989586621681203156 (m6989586621681203155 (b6989586621681203157, c6989586621681203158))) ((~>) [a6989586621681203156] (m6989586621681203155 ([b6989586621681203157], [c6989586621681203158]))) Source #

Instances
SApplicative m => SingI (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (MapAndUnzipMSym0 :: TyFun (a6989586621681203156 ~> m6989586621681203155 (b6989586621681203157, c6989586621681203158)) ([a6989586621681203156] ~> m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (MapAndUnzipMSym0 :: TyFun (a6989586621681203156 ~> m6989586621681203155 (b6989586621681203157, c6989586621681203158)) ([a6989586621681203156] ~> m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])) -> Type) (a6989586621681203591 :: a6989586621681203156 ~> m6989586621681203155 (b6989586621681203157, c6989586621681203158)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (MapAndUnzipMSym0 :: TyFun (a6989586621681203156 ~> m6989586621681203155 (b6989586621681203157, c6989586621681203158)) ([a6989586621681203156] ~> m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])) -> Type) (a6989586621681203591 :: a6989586621681203156 ~> m6989586621681203155 (b6989586621681203157, c6989586621681203158)) = MapAndUnzipMSym1 a6989586621681203591

data MapAndUnzipMSym1 (a6989586621681203591 :: (~>) a6989586621681203156 (m6989586621681203155 (b6989586621681203157, c6989586621681203158))) :: (~>) [a6989586621681203156] (m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])) Source #

Instances
(SApplicative m, SingI d) => SingI (MapAndUnzipMSym1 d :: TyFun [a] (m ([b], [c])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (MapAndUnzipMSym1 a6989586621681203591 :: TyFun [a6989586621681203156] (m6989586621681203155 ([b6989586621681203157], [c6989586621681203158])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (MapAndUnzipMSym1 a6989586621681203591 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681203592 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (MapAndUnzipMSym1 a6989586621681203591 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681203592 :: [a]) = MapAndUnzipM a6989586621681203591 a6989586621681203592

type MapAndUnzipMSym2 (a6989586621681203591 :: (~>) a6989586621681203156 (m6989586621681203155 (b6989586621681203157, c6989586621681203158))) (a6989586621681203592 :: [a6989586621681203156]) = MapAndUnzipM a6989586621681203591 a6989586621681203592 Source #

data ZipWithMSym0 :: forall a6989586621681203152 b6989586621681203153 c6989586621681203154 m6989586621681203151. (~>) ((~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) ((~>) [a6989586621681203152] ((~>) [b6989586621681203153] (m6989586621681203151 [c6989586621681203154]))) Source #

Instances
SApplicative m => SingI (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ZipWithMSym0 :: TyFun (a6989586621681203152 ~> (b6989586621681203153 ~> m6989586621681203151 c6989586621681203154)) ([a6989586621681203152] ~> ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithMSym0 :: TyFun (a6989586621681203152 ~> (b6989586621681203153 ~> m6989586621681203151 c6989586621681203154)) ([a6989586621681203152] ~> ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154])) -> Type) (a6989586621681203582 :: a6989586621681203152 ~> (b6989586621681203153 ~> m6989586621681203151 c6989586621681203154)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithMSym0 :: TyFun (a6989586621681203152 ~> (b6989586621681203153 ~> m6989586621681203151 c6989586621681203154)) ([a6989586621681203152] ~> ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154])) -> Type) (a6989586621681203582 :: a6989586621681203152 ~> (b6989586621681203153 ~> m6989586621681203151 c6989586621681203154)) = ZipWithMSym1 a6989586621681203582

data ZipWithMSym1 (a6989586621681203582 :: (~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) :: (~>) [a6989586621681203152] ((~>) [b6989586621681203153] (m6989586621681203151 [c6989586621681203154])) Source #

Instances
(SApplicative m, SingI d) => SingI (ZipWithMSym1 d :: TyFun [a] ([b] ~> m [c]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (ZipWithMSym1 d) Source #

SuppressUnusedWarnings (ZipWithMSym1 a6989586621681203582 :: TyFun [a6989586621681203152] ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithMSym1 a6989586621681203582 :: TyFun [a6989586621681203152] ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154]) -> Type) (a6989586621681203583 :: [a6989586621681203152]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithMSym1 a6989586621681203582 :: TyFun [a6989586621681203152] ([b6989586621681203153] ~> m6989586621681203151 [c6989586621681203154]) -> Type) (a6989586621681203583 :: [a6989586621681203152]) = ZipWithMSym2 a6989586621681203582 a6989586621681203583

data ZipWithMSym2 (a6989586621681203582 :: (~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) (a6989586621681203583 :: [a6989586621681203152]) :: (~>) [b6989586621681203153] (m6989586621681203151 [c6989586621681203154]) Source #

Instances
(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithMSym2 d1 d2 :: TyFun [b] (m [c]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (ZipWithMSym2 d1 d2) Source #

SuppressUnusedWarnings (ZipWithMSym2 a6989586621681203583 a6989586621681203582 :: TyFun [b6989586621681203153] (m6989586621681203151 [c6989586621681203154]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithMSym2 a6989586621681203583 a6989586621681203582 :: TyFun [b] (m [c]) -> Type) (a6989586621681203584 :: [b]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithMSym2 a6989586621681203583 a6989586621681203582 :: TyFun [b] (m [c]) -> Type) (a6989586621681203584 :: [b]) = ZipWithM a6989586621681203583 a6989586621681203582 a6989586621681203584

type ZipWithMSym3 (a6989586621681203582 :: (~>) a6989586621681203152 ((~>) b6989586621681203153 (m6989586621681203151 c6989586621681203154))) (a6989586621681203583 :: [a6989586621681203152]) (a6989586621681203584 :: [b6989586621681203153]) = ZipWithM a6989586621681203582 a6989586621681203583 a6989586621681203584 Source #

data ZipWithM_Sym0 :: forall a6989586621681203148 b6989586621681203149 c6989586621681203150 m6989586621681203147. (~>) ((~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) ((~>) [a6989586621681203148] ((~>) [b6989586621681203149] (m6989586621681203147 ()))) Source #

Instances
SApplicative m => SingI (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ZipWithM_Sym0 :: TyFun (a6989586621681203148 ~> (b6989586621681203149 ~> m6989586621681203147 c6989586621681203150)) ([a6989586621681203148] ~> ([b6989586621681203149] ~> m6989586621681203147 ())) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithM_Sym0 :: TyFun (a6989586621681203148 ~> (b6989586621681203149 ~> m6989586621681203147 c6989586621681203150)) ([a6989586621681203148] ~> ([b6989586621681203149] ~> m6989586621681203147 ())) -> Type) (a6989586621681203573 :: a6989586621681203148 ~> (b6989586621681203149 ~> m6989586621681203147 c6989586621681203150)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithM_Sym0 :: TyFun (a6989586621681203148 ~> (b6989586621681203149 ~> m6989586621681203147 c6989586621681203150)) ([a6989586621681203148] ~> ([b6989586621681203149] ~> m6989586621681203147 ())) -> Type) (a6989586621681203573 :: a6989586621681203148 ~> (b6989586621681203149 ~> m6989586621681203147 c6989586621681203150)) = ZipWithM_Sym1 a6989586621681203573

data ZipWithM_Sym1 (a6989586621681203573 :: (~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) :: (~>) [a6989586621681203148] ((~>) [b6989586621681203149] (m6989586621681203147 ())) Source #

Instances
(SApplicative m, SingI d) => SingI (ZipWithM_Sym1 d :: TyFun [a] ([b] ~> m ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ZipWithM_Sym1 a6989586621681203573 :: TyFun [a6989586621681203148] ([b6989586621681203149] ~> m6989586621681203147 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithM_Sym1 a6989586621681203573 :: TyFun [a6989586621681203148] ([b6989586621681203149] ~> m6989586621681203147 ()) -> Type) (a6989586621681203574 :: [a6989586621681203148]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithM_Sym1 a6989586621681203573 :: TyFun [a6989586621681203148] ([b6989586621681203149] ~> m6989586621681203147 ()) -> Type) (a6989586621681203574 :: [a6989586621681203148]) = ZipWithM_Sym2 a6989586621681203573 a6989586621681203574

data ZipWithM_Sym2 (a6989586621681203573 :: (~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) (a6989586621681203574 :: [a6989586621681203148]) :: (~>) [b6989586621681203149] (m6989586621681203147 ()) Source #

Instances
(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithM_Sym2 d1 d2 :: TyFun [b] (m ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (ZipWithM_Sym2 d1 d2) Source #

SuppressUnusedWarnings (ZipWithM_Sym2 a6989586621681203574 a6989586621681203573 :: TyFun [b6989586621681203149] (m6989586621681203147 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithM_Sym2 a6989586621681203574 a6989586621681203573 :: TyFun [b] (m ()) -> Type) (a6989586621681203575 :: [b]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithM_Sym2 a6989586621681203574 a6989586621681203573 :: TyFun [b] (m ()) -> Type) (a6989586621681203575 :: [b]) = ZipWithM_ a6989586621681203574 a6989586621681203573 a6989586621681203575

type ZipWithM_Sym3 (a6989586621681203573 :: (~>) a6989586621681203148 ((~>) b6989586621681203149 (m6989586621681203147 c6989586621681203150))) (a6989586621681203574 :: [a6989586621681203148]) (a6989586621681203575 :: [b6989586621681203149]) = ZipWithM_ a6989586621681203573 a6989586621681203574 a6989586621681203575 Source #

data FoldlMSym0 :: forall a6989586621680448402 b6989586621680448401 m6989586621680448400 t6989586621680448399. (~>) ((~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) ((~>) b6989586621680448401 ((~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401))) Source #

Instances
(SFoldable t, SMonad m) => SingI (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldlMSym0 :: TyFun (b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) (b6989586621680448401 ~> (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym0 :: TyFun (b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) (b6989586621680448401 ~> (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) -> Type) (a6989586621680449023 :: b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym0 :: TyFun (b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) (b6989586621680448401 ~> (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) -> Type) (a6989586621680449023 :: b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) = (FoldlMSym1 a6989586621680449023 t6989586621680448399 :: TyFun b6989586621680448401 (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401) -> Type)

data FoldlMSym1 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) :: forall t6989586621680448399. (~>) b6989586621680448401 ((~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401)) Source #

Instances
(SFoldable t, SMonad m, SingI d) => SingI (FoldlMSym1 d t :: TyFun b (t a ~> m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FoldlMSym1 d t) Source #

SuppressUnusedWarnings (FoldlMSym1 a6989586621680449023 t6989586621680448399 :: TyFun b6989586621680448401 (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym1 a6989586621680449023 t6989586621680448399 :: TyFun b6989586621680448401 (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401) -> Type) (a6989586621680449024 :: b6989586621680448401) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym1 a6989586621680449023 t6989586621680448399 :: TyFun b6989586621680448401 (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401) -> Type) (a6989586621680449024 :: b6989586621680448401) = (FoldlMSym2 a6989586621680449023 a6989586621680449024 t6989586621680448399 :: TyFun (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401) -> Type)

data FoldlMSym2 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) (a6989586621680449024 :: b6989586621680448401) :: forall t6989586621680448399. (~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401) Source #

Instances
(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldlMSym2 d1 d2 t :: TyFun (t a) (m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FoldlMSym2 d1 d2 t) Source #

SuppressUnusedWarnings (FoldlMSym2 a6989586621680449024 a6989586621680449023 t6989586621680448399 :: TyFun (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym2 a6989586621680449024 a6989586621680449023 t :: TyFun (t a) (m b) -> Type) (a6989586621680449025 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym2 a6989586621680449024 a6989586621680449023 t :: TyFun (t a) (m b) -> Type) (a6989586621680449025 :: t a) = FoldlM a6989586621680449024 a6989586621680449023 a6989586621680449025

type FoldlMSym3 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) (a6989586621680449024 :: b6989586621680448401) (a6989586621680449025 :: t6989586621680448399 a6989586621680448402) = FoldlM a6989586621680449023 a6989586621680449024 a6989586621680449025 Source #

data ReplicateMSym0 :: forall a6989586621681203138 m6989586621681203137. (~>) Nat ((~>) (m6989586621681203137 a6989586621681203138) (m6989586621681203137 [a6989586621681203138])) Source #

Instances
SApplicative m => SingI (ReplicateMSym0 :: TyFun Nat (m a ~> m [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ReplicateMSym0 :: TyFun Nat (m6989586621681203137 a6989586621681203138 ~> m6989586621681203137 [a6989586621681203138]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ReplicateMSym0 :: TyFun Nat (m6989586621681203137 a6989586621681203138 ~> m6989586621681203137 [a6989586621681203138]) -> Type) (a6989586621681203530 :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ReplicateMSym0 :: TyFun Nat (m6989586621681203137 a6989586621681203138 ~> m6989586621681203137 [a6989586621681203138]) -> Type) (a6989586621681203530 :: Nat) = (ReplicateMSym1 a6989586621681203530 a6989586621681203138 m6989586621681203137 :: TyFun (m6989586621681203137 a6989586621681203138) (m6989586621681203137 [a6989586621681203138]) -> Type)

data ReplicateMSym1 (a6989586621681203530 :: Nat) :: forall a6989586621681203138 m6989586621681203137. (~>) (m6989586621681203137 a6989586621681203138) (m6989586621681203137 [a6989586621681203138]) Source #

Instances
(SApplicative m, SingI d) => SingI (ReplicateMSym1 d a m :: TyFun (m a) (m [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (ReplicateMSym1 d a m) Source #

SuppressUnusedWarnings (ReplicateMSym1 a6989586621681203530 a6989586621681203138 m6989586621681203137 :: TyFun (m6989586621681203137 a6989586621681203138) (m6989586621681203137 [a6989586621681203138]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ReplicateMSym1 a6989586621681203530 a m :: TyFun (m a) (m [a]) -> Type) (a6989586621681203531 :: m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ReplicateMSym1 a6989586621681203530 a m :: TyFun (m a) (m [a]) -> Type) (a6989586621681203531 :: m a) = ReplicateM a6989586621681203530 a6989586621681203531

type ReplicateMSym2 (a6989586621681203530 :: Nat) (a6989586621681203531 :: m6989586621681203137 a6989586621681203138) = ReplicateM a6989586621681203530 a6989586621681203531 Source #

data ReplicateM_Sym0 :: forall a6989586621681203136 m6989586621681203135. (~>) Nat ((~>) (m6989586621681203135 a6989586621681203136) (m6989586621681203135 ())) Source #

Instances
SApplicative m => SingI (ReplicateM_Sym0 :: TyFun Nat (m a ~> m ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (ReplicateM_Sym0 :: TyFun Nat (m6989586621681203135 a6989586621681203136 ~> m6989586621681203135 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ReplicateM_Sym0 :: TyFun Nat (m6989586621681203135 a6989586621681203136 ~> m6989586621681203135 ()) -> Type) (a6989586621681203511 :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ReplicateM_Sym0 :: TyFun Nat (m6989586621681203135 a6989586621681203136 ~> m6989586621681203135 ()) -> Type) (a6989586621681203511 :: Nat) = (ReplicateM_Sym1 a6989586621681203511 a6989586621681203136 m6989586621681203135 :: TyFun (m6989586621681203135 a6989586621681203136) (m6989586621681203135 ()) -> Type)

data ReplicateM_Sym1 (a6989586621681203511 :: Nat) :: forall a6989586621681203136 m6989586621681203135. (~>) (m6989586621681203135 a6989586621681203136) (m6989586621681203135 ()) Source #

Instances
(SApplicative m, SingI d) => SingI (ReplicateM_Sym1 d a m :: TyFun (m a) (m ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (ReplicateM_Sym1 d a m) Source #

SuppressUnusedWarnings (ReplicateM_Sym1 a6989586621681203511 a6989586621681203136 m6989586621681203135 :: TyFun (m6989586621681203135 a6989586621681203136) (m6989586621681203135 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ReplicateM_Sym1 a6989586621681203511 a m :: TyFun (m a) (m ()) -> Type) (a6989586621681203512 :: m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (ReplicateM_Sym1 a6989586621681203511 a m :: TyFun (m a) (m ()) -> Type) (a6989586621681203512 :: m a) = ReplicateM_ a6989586621681203511 a6989586621681203512

type ReplicateM_Sym2 (a6989586621681203511 :: Nat) (a6989586621681203512 :: m6989586621681203135 a6989586621681203136) = ReplicateM_ a6989586621681203511 a6989586621681203512 Source #

data GuardSym0 :: forall f6989586621679545882. (~>) Bool (f6989586621679545882 ()) Source #

Instances
SAlternative f => SingI (GuardSym0 :: TyFun Bool (f ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f6989586621679545882 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (GuardSym0 :: TyFun Bool (f6989586621679545882 ()) -> Type) (a6989586621679546051 :: Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (GuardSym0 :: TyFun Bool (f6989586621679545882 ()) -> Type) (a6989586621679546051 :: Bool) = (Guard a6989586621679546051 :: f6989586621679545882 ())

type GuardSym1 (a6989586621679546051 :: Bool) = Guard a6989586621679546051 Source #

data WhenSym0 :: forall f6989586621679545911. (~>) Bool ((~>) (f6989586621679545911 ()) (f6989586621679545911 ())) Source #

Instances
SApplicative f => SingI (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f6989586621679545911 () ~> f6989586621679545911 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (WhenSym0 :: TyFun Bool (f6989586621679545911 () ~> f6989586621679545911 ()) -> Type) (a6989586621679546299 :: Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (WhenSym0 :: TyFun Bool (f6989586621679545911 () ~> f6989586621679545911 ()) -> Type) (a6989586621679546299 :: Bool) = (WhenSym1 a6989586621679546299 f6989586621679545911 :: TyFun (f6989586621679545911 ()) (f6989586621679545911 ()) -> Type)

data WhenSym1 (a6989586621679546299 :: Bool) :: forall f6989586621679545911. (~>) (f6989586621679545911 ()) (f6989586621679545911 ()) Source #

Instances
(SApplicative f, SingI d) => SingI (WhenSym1 d f :: TyFun (f ()) (f ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (WhenSym1 d f) Source #

SuppressUnusedWarnings (WhenSym1 a6989586621679546299 f6989586621679545911 :: TyFun (f6989586621679545911 ()) (f6989586621679545911 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (WhenSym1 a6989586621679546299 f :: TyFun (f ()) (f ()) -> Type) (a6989586621679546300 :: f ()) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (WhenSym1 a6989586621679546299 f :: TyFun (f ()) (f ()) -> Type) (a6989586621679546300 :: f ()) = When a6989586621679546299 a6989586621679546300

type WhenSym2 (a6989586621679546299 :: Bool) (a6989586621679546300 :: f6989586621679545911 ()) = When a6989586621679546299 a6989586621679546300 Source #

data UnlessSym0 :: forall f6989586621681203134. (~>) Bool ((~>) (f6989586621681203134 ()) (f6989586621681203134 ())) Source #

Instances
SApplicative f => SingI (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings (UnlessSym0 :: TyFun Bool (f6989586621681203134 () ~> f6989586621681203134 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (UnlessSym0 :: TyFun Bool (f6989586621681203134 () ~> f6989586621681203134 ()) -> Type) (a6989586621681203502 :: Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (UnlessSym0 :: TyFun Bool (f6989586621681203134 () ~> f6989586621681203134 ()) -> Type) (a6989586621681203502 :: Bool) = (UnlessSym1 a6989586621681203502 f6989586621681203134 :: TyFun (f6989586621681203134 ()) (f6989586621681203134 ()) -> Type)

data UnlessSym1 (a6989586621681203502 :: Bool) :: forall f6989586621681203134. (~>) (f6989586621681203134 ()) (f6989586621681203134 ()) Source #

Instances
(SApplicative f, SingI d) => SingI (UnlessSym1 d f :: TyFun (f ()) (f ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (UnlessSym1 d f) Source #

SuppressUnusedWarnings (UnlessSym1 a6989586621681203502 f6989586621681203134 :: TyFun (f6989586621681203134 ()) (f6989586621681203134 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (UnlessSym1 a6989586621681203502 f :: TyFun (f ()) (f ()) -> Type) (a6989586621681203503 :: f ()) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (UnlessSym1 a6989586621681203502 f :: TyFun (f ()) (f ()) -> Type) (a6989586621681203503 :: f ()) = Unless a6989586621681203502 a6989586621681203503

type UnlessSym2 (a6989586621681203502 :: Bool) (a6989586621681203503 :: f6989586621681203134 ()) = Unless a6989586621681203502 a6989586621681203503 Source #

data LiftMSym0 :: forall a16989586621679545909 m6989586621679545908 r6989586621679545910. (~>) ((~>) a16989586621679545909 r6989586621679545910) ((~>) (m6989586621679545908 a16989586621679545909) (m6989586621679545908 r6989586621679545910)) Source #

Instances
SMonad m => SingI (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftMSym0 :: TyFun (a16989586621679545909 ~> r6989586621679545910) (m6989586621679545908 a16989586621679545909 ~> m6989586621679545908 r6989586621679545910) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftMSym0 :: TyFun (a16989586621679545909 ~> r6989586621679545910) (m6989586621679545908 a16989586621679545909 ~> m6989586621679545908 r6989586621679545910) -> Type) (a6989586621679546286 :: a16989586621679545909 ~> r6989586621679545910) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftMSym0 :: TyFun (a16989586621679545909 ~> r6989586621679545910) (m6989586621679545908 a16989586621679545909 ~> m6989586621679545908 r6989586621679545910) -> Type) (a6989586621679546286 :: a16989586621679545909 ~> r6989586621679545910) = (LiftMSym1 a6989586621679546286 m6989586621679545908 :: TyFun (m6989586621679545908 a16989586621679545909) (m6989586621679545908 r6989586621679545910) -> Type)

data LiftMSym1 (a6989586621679546286 :: (~>) a16989586621679545909 r6989586621679545910) :: forall m6989586621679545908. (~>) (m6989586621679545908 a16989586621679545909) (m6989586621679545908 r6989586621679545910) Source #

Instances
(SMonad m, SingI d) => SingI (LiftMSym1 d m :: TyFun (m a1) (m r) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftMSym1 d m) Source #

SuppressUnusedWarnings (LiftMSym1 a6989586621679546286 m6989586621679545908 :: TyFun (m6989586621679545908 a16989586621679545909) (m6989586621679545908 r6989586621679545910) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftMSym1 a6989586621679546286 m :: TyFun (m a1) (m r) -> Type) (a6989586621679546287 :: m a1) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftMSym1 a6989586621679546286 m :: TyFun (m a1) (m r) -> Type) (a6989586621679546287 :: m a1) = LiftM a6989586621679546286 a6989586621679546287

type LiftMSym2 (a6989586621679546286 :: (~>) a16989586621679545909 r6989586621679545910) (a6989586621679546287 :: m6989586621679545908 a16989586621679545909) = LiftM a6989586621679546286 a6989586621679546287 Source #

data LiftM2Sym0 :: forall a16989586621679545905 a26989586621679545906 m6989586621679545904 r6989586621679545907. (~>) ((~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) ((~>) (m6989586621679545904 a16989586621679545905) ((~>) (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907))) Source #

Instances
SMonad m => SingI (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftM2Sym0 :: TyFun (a16989586621679545905 ~> (a26989586621679545906 ~> r6989586621679545907)) (m6989586621679545904 a16989586621679545905 ~> (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM2Sym0 :: TyFun (a16989586621679545905 ~> (a26989586621679545906 ~> r6989586621679545907)) (m6989586621679545904 a16989586621679545905 ~> (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907)) -> Type) (a6989586621679546260 :: a16989586621679545905 ~> (a26989586621679545906 ~> r6989586621679545907)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM2Sym0 :: TyFun (a16989586621679545905 ~> (a26989586621679545906 ~> r6989586621679545907)) (m6989586621679545904 a16989586621679545905 ~> (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907)) -> Type) (a6989586621679546260 :: a16989586621679545905 ~> (a26989586621679545906 ~> r6989586621679545907)) = (LiftM2Sym1 a6989586621679546260 m6989586621679545904 :: TyFun (m6989586621679545904 a16989586621679545905) (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907) -> Type)

data LiftM2Sym1 (a6989586621679546260 :: (~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) :: forall m6989586621679545904. (~>) (m6989586621679545904 a16989586621679545905) ((~>) (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907)) Source #

Instances
(SMonad m, SingI d) => SingI (LiftM2Sym1 d m :: TyFun (m a1) (m a2 ~> m r) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM2Sym1 d m) Source #

SuppressUnusedWarnings (LiftM2Sym1 a6989586621679546260 m6989586621679545904 :: TyFun (m6989586621679545904 a16989586621679545905) (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM2Sym1 a6989586621679546260 m6989586621679545904 :: TyFun (m6989586621679545904 a16989586621679545905) (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907) -> Type) (a6989586621679546261 :: m6989586621679545904 a16989586621679545905) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM2Sym1 a6989586621679546260 m6989586621679545904 :: TyFun (m6989586621679545904 a16989586621679545905) (m6989586621679545904 a26989586621679545906 ~> m6989586621679545904 r6989586621679545907) -> Type) (a6989586621679546261 :: m6989586621679545904 a16989586621679545905) = LiftM2Sym2 a6989586621679546260 a6989586621679546261

data LiftM2Sym2 (a6989586621679546260 :: (~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) (a6989586621679546261 :: m6989586621679545904 a16989586621679545905) :: (~>) (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907) Source #

Instances
(SMonad m, SingI d1, SingI d2) => SingI (LiftM2Sym2 d1 d2 :: TyFun (m a2) (m r) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM2Sym2 d1 d2) Source #

SuppressUnusedWarnings (LiftM2Sym2 a6989586621679546261 a6989586621679546260 :: TyFun (m6989586621679545904 a26989586621679545906) (m6989586621679545904 r6989586621679545907) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM2Sym2 a6989586621679546261 a6989586621679546260 :: TyFun (m a2) (m r) -> Type) (a6989586621679546262 :: m a2) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM2Sym2 a6989586621679546261 a6989586621679546260 :: TyFun (m a2) (m r) -> Type) (a6989586621679546262 :: m a2) = LiftM2 a6989586621679546261 a6989586621679546260 a6989586621679546262

type LiftM2Sym3 (a6989586621679546260 :: (~>) a16989586621679545905 ((~>) a26989586621679545906 r6989586621679545907)) (a6989586621679546261 :: m6989586621679545904 a16989586621679545905) (a6989586621679546262 :: m6989586621679545904 a26989586621679545906) = LiftM2 a6989586621679546260 a6989586621679546261 a6989586621679546262 Source #

data LiftM3Sym0 :: forall a16989586621679545900 a26989586621679545901 a36989586621679545902 m6989586621679545899 r6989586621679545903. (~>) ((~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) ((~>) (m6989586621679545899 a16989586621679545900) ((~>) (m6989586621679545899 a26989586621679545901) ((~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903)))) Source #

Instances
SMonad m => SingI (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftM3Sym0 :: TyFun (a16989586621679545900 ~> (a26989586621679545901 ~> (a36989586621679545902 ~> r6989586621679545903))) (m6989586621679545899 a16989586621679545900 ~> (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM3Sym0 :: TyFun (a16989586621679545900 ~> (a26989586621679545901 ~> (a36989586621679545902 ~> r6989586621679545903))) (m6989586621679545899 a16989586621679545900 ~> (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903))) -> Type) (a6989586621679546218 :: a16989586621679545900 ~> (a26989586621679545901 ~> (a36989586621679545902 ~> r6989586621679545903))) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM3Sym0 :: TyFun (a16989586621679545900 ~> (a26989586621679545901 ~> (a36989586621679545902 ~> r6989586621679545903))) (m6989586621679545899 a16989586621679545900 ~> (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903))) -> Type) (a6989586621679546218 :: a16989586621679545900 ~> (a26989586621679545901 ~> (a36989586621679545902 ~> r6989586621679545903))) = (LiftM3Sym1 a6989586621679546218 m6989586621679545899 :: TyFun (m6989586621679545899 a16989586621679545900) (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903)) -> Type)

data LiftM3Sym1 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) :: forall m6989586621679545899. (~>) (m6989586621679545899 a16989586621679545900) ((~>) (m6989586621679545899 a26989586621679545901) ((~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903))) Source #

Instances
(SMonad m, SingI d) => SingI (LiftM3Sym1 d m :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM3Sym1 d m) Source #

SuppressUnusedWarnings (LiftM3Sym1 a6989586621679546218 m6989586621679545899 :: TyFun (m6989586621679545899 a16989586621679545900) (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM3Sym1 a6989586621679546218 m6989586621679545899 :: TyFun (m6989586621679545899 a16989586621679545900) (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903)) -> Type) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM3Sym1 a6989586621679546218 m6989586621679545899 :: TyFun (m6989586621679545899 a16989586621679545900) (m6989586621679545899 a26989586621679545901 ~> (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903)) -> Type) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) = LiftM3Sym2 a6989586621679546218 a6989586621679546219

data LiftM3Sym2 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) :: (~>) (m6989586621679545899 a26989586621679545901) ((~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903)) Source #

Instances
(SMonad m, SingI d1, SingI d2) => SingI (LiftM3Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> m r) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM3Sym2 d1 d2) Source #

SuppressUnusedWarnings (LiftM3Sym2 a6989586621679546219 a6989586621679546218 :: TyFun (m6989586621679545899 a26989586621679545901) (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM3Sym2 a6989586621679546219 a6989586621679546218 :: TyFun (m6989586621679545899 a26989586621679545901) (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903) -> Type) (a6989586621679546220 :: m6989586621679545899 a26989586621679545901) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM3Sym2 a6989586621679546219 a6989586621679546218 :: TyFun (m6989586621679545899 a26989586621679545901) (m6989586621679545899 a36989586621679545902 ~> m6989586621679545899 r6989586621679545903) -> Type) (a6989586621679546220 :: m6989586621679545899 a26989586621679545901) = LiftM3Sym3 a6989586621679546219 a6989586621679546218 a6989586621679546220

data LiftM3Sym3 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) (a6989586621679546220 :: m6989586621679545899 a26989586621679545901) :: (~>) (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903) Source #

Instances
(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM3Sym3 d1 d2 d3 :: TyFun (m a3) (m r) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM3Sym3 d1 d2 d3) Source #

SuppressUnusedWarnings (LiftM3Sym3 a6989586621679546220 a6989586621679546219 a6989586621679546218 :: TyFun (m6989586621679545899 a36989586621679545902) (m6989586621679545899 r6989586621679545903) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM3Sym3 a6989586621679546220 a6989586621679546219 a6989586621679546218 :: TyFun (m a3) (m r) -> Type) (a6989586621679546221 :: m a3) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM3Sym3 a6989586621679546220 a6989586621679546219 a6989586621679546218 :: TyFun (m a3) (m r) -> Type) (a6989586621679546221 :: m a3) = LiftM3 a6989586621679546220 a6989586621679546219 a6989586621679546218 a6989586621679546221

type LiftM3Sym4 (a6989586621679546218 :: (~>) a16989586621679545900 ((~>) a26989586621679545901 ((~>) a36989586621679545902 r6989586621679545903))) (a6989586621679546219 :: m6989586621679545899 a16989586621679545900) (a6989586621679546220 :: m6989586621679545899 a26989586621679545901) (a6989586621679546221 :: m6989586621679545899 a36989586621679545902) = LiftM3 a6989586621679546218 a6989586621679546219 a6989586621679546220 a6989586621679546221 Source #

data LiftM4Sym0 :: forall a16989586621679545894 a26989586621679545895 a36989586621679545896 a46989586621679545897 m6989586621679545893 r6989586621679545898. (~>) ((~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) ((~>) (m6989586621679545893 a16989586621679545894) ((~>) (m6989586621679545893 a26989586621679545895) ((~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898))))) Source #

Instances
SMonad m => SingI (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftM4Sym0 :: TyFun (a16989586621679545894 ~> (a26989586621679545895 ~> (a36989586621679545896 ~> (a46989586621679545897 ~> r6989586621679545898)))) (m6989586621679545893 a16989586621679545894 ~> (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym0 :: TyFun (a16989586621679545894 ~> (a26989586621679545895 ~> (a36989586621679545896 ~> (a46989586621679545897 ~> r6989586621679545898)))) (m6989586621679545893 a16989586621679545894 ~> (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)))) -> Type) (a6989586621679546157 :: a16989586621679545894 ~> (a26989586621679545895 ~> (a36989586621679545896 ~> (a46989586621679545897 ~> r6989586621679545898)))) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym0 :: TyFun (a16989586621679545894 ~> (a26989586621679545895 ~> (a36989586621679545896 ~> (a46989586621679545897 ~> r6989586621679545898)))) (m6989586621679545893 a16989586621679545894 ~> (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)))) -> Type) (a6989586621679546157 :: a16989586621679545894 ~> (a26989586621679545895 ~> (a36989586621679545896 ~> (a46989586621679545897 ~> r6989586621679545898)))) = (LiftM4Sym1 a6989586621679546157 m6989586621679545893 :: TyFun (m6989586621679545893 a16989586621679545894) (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898))) -> Type)

data LiftM4Sym1 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) :: forall m6989586621679545893. (~>) (m6989586621679545893 a16989586621679545894) ((~>) (m6989586621679545893 a26989586621679545895) ((~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898)))) Source #

Instances
(SMonad m, SingI d) => SingI (LiftM4Sym1 d m :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> m r))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM4Sym1 d m) Source #

SuppressUnusedWarnings (LiftM4Sym1 a6989586621679546157 m6989586621679545893 :: TyFun (m6989586621679545893 a16989586621679545894) (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym1 a6989586621679546157 m6989586621679545893 :: TyFun (m6989586621679545893 a16989586621679545894) (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898))) -> Type) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym1 a6989586621679546157 m6989586621679545893 :: TyFun (m6989586621679545893 a16989586621679545894) (m6989586621679545893 a26989586621679545895 ~> (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898))) -> Type) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) = LiftM4Sym2 a6989586621679546157 a6989586621679546158

data LiftM4Sym2 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) :: (~>) (m6989586621679545893 a26989586621679545895) ((~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898))) Source #

Instances
(SMonad m, SingI d1, SingI d2) => SingI (LiftM4Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> m r)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM4Sym2 d1 d2) Source #

SuppressUnusedWarnings (LiftM4Sym2 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a26989586621679545895) (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym2 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a26989586621679545895) (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)) -> Type) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym2 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a26989586621679545895) (m6989586621679545893 a36989586621679545896 ~> (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898)) -> Type) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) = LiftM4Sym3 a6989586621679546158 a6989586621679546157 a6989586621679546159

data LiftM4Sym3 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) :: (~>) (m6989586621679545893 a36989586621679545896) ((~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898)) Source #

Instances
(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM4Sym3 d1 d2 d3 :: TyFun (m a3) (m a4 ~> m r) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM4Sym3 d1 d2 d3) Source #

SuppressUnusedWarnings (LiftM4Sym3 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a36989586621679545896) (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym3 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a36989586621679545896) (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898) -> Type) (a6989586621679546160 :: m6989586621679545893 a36989586621679545896) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym3 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a36989586621679545896) (m6989586621679545893 a46989586621679545897 ~> m6989586621679545893 r6989586621679545898) -> Type) (a6989586621679546160 :: m6989586621679545893 a36989586621679545896) = LiftM4Sym4 a6989586621679546159 a6989586621679546158 a6989586621679546157 a6989586621679546160

data LiftM4Sym4 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) (a6989586621679546160 :: m6989586621679545893 a36989586621679545896) :: (~>) (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898) Source #

Instances
(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4) => SingI (LiftM4Sym4 d1 d2 d3 d4 :: TyFun (m a4) (m r) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM4Sym4 d1 d2 d3 d4) Source #

SuppressUnusedWarnings (LiftM4Sym4 a6989586621679546160 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m6989586621679545893 a46989586621679545897) (m6989586621679545893 r6989586621679545898) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym4 a6989586621679546160 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m a4) (m r) -> Type) (a6989586621679546161 :: m a4) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym4 a6989586621679546160 a6989586621679546159 a6989586621679546158 a6989586621679546157 :: TyFun (m a4) (m r) -> Type) (a6989586621679546161 :: m a4) = LiftM4 a6989586621679546160 a6989586621679546159 a6989586621679546158 a6989586621679546157 a6989586621679546161

type LiftM4Sym5 (a6989586621679546157 :: (~>) a16989586621679545894 ((~>) a26989586621679545895 ((~>) a36989586621679545896 ((~>) a46989586621679545897 r6989586621679545898)))) (a6989586621679546158 :: m6989586621679545893 a16989586621679545894) (a6989586621679546159 :: m6989586621679545893 a26989586621679545895) (a6989586621679546160 :: m6989586621679545893 a36989586621679545896) (a6989586621679546161 :: m6989586621679545893 a46989586621679545897) = LiftM4 a6989586621679546157 a6989586621679546158 a6989586621679546159 a6989586621679546160 a6989586621679546161 Source #

data LiftM5Sym0 :: forall a16989586621679545887 a26989586621679545888 a36989586621679545889 a46989586621679545890 a56989586621679545891 m6989586621679545886 r6989586621679545892. (~>) ((~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) ((~>) (m6989586621679545886 a16989586621679545887) ((~>) (m6989586621679545886 a26989586621679545888) ((~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892)))))) Source #

Instances
SMonad m => SingI (LiftM5Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> (a5 ~> r))))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r))))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftM5Sym0 :: TyFun (a16989586621679545887 ~> (a26989586621679545888 ~> (a36989586621679545889 ~> (a46989586621679545890 ~> (a56989586621679545891 ~> r6989586621679545892))))) (m6989586621679545886 a16989586621679545887 ~> (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym0 :: TyFun (a16989586621679545887 ~> (a26989586621679545888 ~> (a36989586621679545889 ~> (a46989586621679545890 ~> (a56989586621679545891 ~> r6989586621679545892))))) (m6989586621679545886 a16989586621679545887 ~> (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))))) -> Type) (a6989586621679546074 :: a16989586621679545887 ~> (a26989586621679545888 ~> (a36989586621679545889 ~> (a46989586621679545890 ~> (a56989586621679545891 ~> r6989586621679545892))))) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym0 :: TyFun (a16989586621679545887 ~> (a26989586621679545888 ~> (a36989586621679545889 ~> (a46989586621679545890 ~> (a56989586621679545891 ~> r6989586621679545892))))) (m6989586621679545886 a16989586621679545887 ~> (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))))) -> Type) (a6989586621679546074 :: a16989586621679545887 ~> (a26989586621679545888 ~> (a36989586621679545889 ~> (a46989586621679545890 ~> (a56989586621679545891 ~> r6989586621679545892))))) = (LiftM5Sym1 a6989586621679546074 m6989586621679545886 :: TyFun (m6989586621679545886 a16989586621679545887) (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)))) -> Type)

data LiftM5Sym1 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) :: forall m6989586621679545886. (~>) (m6989586621679545886 a16989586621679545887) ((~>) (m6989586621679545886 a26989586621679545888) ((~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892))))) Source #

Instances
(SMonad m, SingI d) => SingI (LiftM5Sym1 d m :: TyFun (m a1) (m a2 ~> (m a3 ~> (m a4 ~> (m a5 ~> m r)))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM5Sym1 d m) Source #

SuppressUnusedWarnings (LiftM5Sym1 a6989586621679546074 m6989586621679545886 :: TyFun (m6989586621679545886 a16989586621679545887) (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym1 a6989586621679546074 m6989586621679545886 :: TyFun (m6989586621679545886 a16989586621679545887) (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)))) -> Type) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym1 a6989586621679546074 m6989586621679545886 :: TyFun (m6989586621679545886 a16989586621679545887) (m6989586621679545886 a26989586621679545888 ~> (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)))) -> Type) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) = LiftM5Sym2 a6989586621679546074 a6989586621679546075

data LiftM5Sym2 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) :: (~>) (m6989586621679545886 a26989586621679545888) ((~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892)))) Source #

Instances
(SMonad m, SingI d1, SingI d2) => SingI (LiftM5Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> (m a4 ~> (m a5 ~> m r))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM5Sym2 d1 d2) Source #

SuppressUnusedWarnings (LiftM5Sym2 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a26989586621679545888) (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym2 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a26989586621679545888) (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))) -> Type) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym2 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a26989586621679545888) (m6989586621679545886 a36989586621679545889 ~> (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892))) -> Type) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) = LiftM5Sym3 a6989586621679546075 a6989586621679546074 a6989586621679546076

data LiftM5Sym3 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) :: (~>) (m6989586621679545886 a36989586621679545889) ((~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892))) Source #

Instances
(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM5Sym3 d1 d2 d3 :: TyFun (m a3) (m a4 ~> (m a5 ~> m r)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM5Sym3 d1 d2 d3) Source #

SuppressUnusedWarnings (LiftM5Sym3 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a36989586621679545889) (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym3 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a36989586621679545889) (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)) -> Type) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym3 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a36989586621679545889) (m6989586621679545886 a46989586621679545890 ~> (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892)) -> Type) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) = LiftM5Sym4 a6989586621679546076 a6989586621679546075 a6989586621679546074 a6989586621679546077

data LiftM5Sym4 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) :: (~>) (m6989586621679545886 a46989586621679545890) ((~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892)) Source #

Instances
(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4) => SingI (LiftM5Sym4 d1 d2 d3 d4 :: TyFun (m a4) (m a5 ~> m r) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM5Sym4 d1 d2 d3 d4) Source #

SuppressUnusedWarnings (LiftM5Sym4 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a46989586621679545890) (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym4 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a46989586621679545890) (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892) -> Type) (a6989586621679546078 :: m6989586621679545886 a46989586621679545890) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym4 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a46989586621679545890) (m6989586621679545886 a56989586621679545891 ~> m6989586621679545886 r6989586621679545892) -> Type) (a6989586621679546078 :: m6989586621679545886 a46989586621679545890) = LiftM5Sym5 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 a6989586621679546078

data LiftM5Sym5 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) (a6989586621679546078 :: m6989586621679545886 a46989586621679545890) :: (~>) (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892) Source #

Instances
(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4, SingI d5) => SingI (LiftM5Sym5 d1 d2 d3 d4 d5 :: TyFun (m a5) (m r) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM5Sym5 d1 d2 d3 d4 d5) Source #

SuppressUnusedWarnings (LiftM5Sym5 a6989586621679546078 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m6989586621679545886 a56989586621679545891) (m6989586621679545886 r6989586621679545892) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym5 a6989586621679546078 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m a5) (m r) -> Type) (a6989586621679546079 :: m a5) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym5 a6989586621679546078 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 :: TyFun (m a5) (m r) -> Type) (a6989586621679546079 :: m a5) = LiftM5 a6989586621679546078 a6989586621679546077 a6989586621679546076 a6989586621679546075 a6989586621679546074 a6989586621679546079

type LiftM5Sym6 (a6989586621679546074 :: (~>) a16989586621679545887 ((~>) a26989586621679545888 ((~>) a36989586621679545889 ((~>) a46989586621679545890 ((~>) a56989586621679545891 r6989586621679545892))))) (a6989586621679546075 :: m6989586621679545886 a16989586621679545887) (a6989586621679546076 :: m6989586621679545886 a26989586621679545888) (a6989586621679546077 :: m6989586621679545886 a36989586621679545889) (a6989586621679546078 :: m6989586621679545886 a46989586621679545890) (a6989586621679546079 :: m6989586621679545886 a56989586621679545891) = LiftM5 a6989586621679546074 a6989586621679546075 a6989586621679546076 a6989586621679546077 a6989586621679546078 a6989586621679546079 Source #

data ApSym0 :: forall a6989586621679545884 b6989586621679545885 m6989586621679545883. (~>) (m6989586621679545883 ((~>) a6989586621679545884 b6989586621679545885)) ((~>) (m6989586621679545883 a6989586621679545884) (m6989586621679545883 b6989586621679545885)) Source #

Instances
SMonad m => SingI (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing ApSym0 Source #

SuppressUnusedWarnings (ApSym0 :: TyFun (m6989586621679545883 (a6989586621679545884 ~> b6989586621679545885)) (m6989586621679545883 a6989586621679545884 ~> m6989586621679545883 b6989586621679545885) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (ApSym0 :: TyFun (m6989586621679545883 (a6989586621679545884 ~> b6989586621679545885)) (m6989586621679545883 a6989586621679545884 ~> m6989586621679545883 b6989586621679545885) -> Type) (a6989586621679546053 :: m6989586621679545883 (a6989586621679545884 ~> b6989586621679545885)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (ApSym0 :: TyFun (m6989586621679545883 (a6989586621679545884 ~> b6989586621679545885)) (m6989586621679545883 a6989586621679545884 ~> m6989586621679545883 b6989586621679545885) -> Type) (a6989586621679546053 :: m6989586621679545883 (a6989586621679545884 ~> b6989586621679545885)) = ApSym1 a6989586621679546053

data ApSym1 (a6989586621679546053 :: m6989586621679545883 ((~>) a6989586621679545884 b6989586621679545885)) :: (~>) (m6989586621679545883 a6989586621679545884) (m6989586621679545883 b6989586621679545885) Source #

Instances
(SMonad m, SingI d) => SingI (ApSym1 d :: TyFun (m a) (m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (ApSym1 d) Source #

SuppressUnusedWarnings (ApSym1 a6989586621679546053 :: TyFun (m6989586621679545883 a6989586621679545884) (m6989586621679545883 b6989586621679545885) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (ApSym1 a6989586621679546053 :: TyFun (m a) (m b) -> Type) (a6989586621679546054 :: m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (ApSym1 a6989586621679546053 :: TyFun (m a) (m b) -> Type) (a6989586621679546054 :: m a) = Ap a6989586621679546053 a6989586621679546054

type ApSym2 (a6989586621679546053 :: m6989586621679545883 ((~>) a6989586621679545884 b6989586621679545885)) (a6989586621679546054 :: m6989586621679545883 a6989586621679545884) = Ap a6989586621679546053 a6989586621679546054 Source #

data (<$!>@#@$) :: forall a6989586621681203132 b6989586621681203133 m6989586621681203131. (~>) ((~>) a6989586621681203132 b6989586621681203133) ((~>) (m6989586621681203131 a6989586621681203132) (m6989586621681203131 b6989586621681203133)) infixl 4 Source #

Instances
SMonad m => SingI ((<$!>@#@$) :: TyFun (a ~> b) (m a ~> m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

SuppressUnusedWarnings ((<$!>@#@$) :: TyFun (a6989586621681203132 ~> b6989586621681203133) (m6989586621681203131 a6989586621681203132 ~> m6989586621681203131 b6989586621681203133) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply ((<$!>@#@$) :: TyFun (a6989586621681203132 ~> b6989586621681203133) (m6989586621681203131 a6989586621681203132 ~> m6989586621681203131 b6989586621681203133) -> Type) (a6989586621681203485 :: a6989586621681203132 ~> b6989586621681203133) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply ((<$!>@#@$) :: TyFun (a6989586621681203132 ~> b6989586621681203133) (m6989586621681203131 a6989586621681203132 ~> m6989586621681203131 b6989586621681203133) -> Type) (a6989586621681203485 :: a6989586621681203132 ~> b6989586621681203133) = (a6989586621681203485 <$!>@#@$$ m6989586621681203131 :: TyFun (m6989586621681203131 a6989586621681203132) (m6989586621681203131 b6989586621681203133) -> Type)

data (<$!>@#@$$) (a6989586621681203485 :: (~>) a6989586621681203132 b6989586621681203133) :: forall m6989586621681203131. (~>) (m6989586621681203131 a6989586621681203132) (m6989586621681203131 b6989586621681203133) infixl 4 Source #

Instances
(SMonad m, SingI d) => SingI (d <$!>@#@$$ m :: TyFun (m a) (m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (d <$!>@#@$$ m) Source #

SuppressUnusedWarnings (a6989586621681203485 <$!>@#@$$ m6989586621681203131 :: TyFun (m6989586621681203131 a6989586621681203132) (m6989586621681203131 b6989586621681203133) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681203485 <$!>@#@$$ m :: TyFun (m a) (m b) -> Type) (a6989586621681203486 :: m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681203485 <$!>@#@$$ m :: TyFun (m a) (m b) -> Type) (a6989586621681203486 :: m a) = a6989586621681203485 <$!> a6989586621681203486

type (<$!>@#@$$$) (a6989586621681203485 :: (~>) a6989586621681203132 b6989586621681203133) (a6989586621681203486 :: m6989586621681203131 a6989586621681203132) = (<$!>) a6989586621681203485 a6989586621681203486 Source #

Orphan instances

SMonad Down Source # 
Instance details

PMonad Down Source # 
Instance details

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #

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

PMonad ((,) a) Source # 
Instance details

Associated Types

type arg >>= arg :: m b Source #

type arg >> arg :: m b Source #

type Return arg :: m a Source #

type Fail arg :: m a Source #