Copyright | (C) 2018 Ryan Scott |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | GHC2021 |
Defines the promoted and singled versions of the MonadZip
type class.
Synopsis
- class PMonadZip m where
- class SMonad m => SMonadZip m where
- sMzip :: forall (t :: m a) (t :: m b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t :: m (a, b)) :: Type
- sMzipWith :: forall (t :: (~>) a ((~>) b c)) (t :: m a) (t :: m b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t :: m c) :: Type
- sMunzip :: forall (t :: m (a, b)). Sing t -> Sing (Apply MunzipSym0 t :: (m a, m b)) :: Type
- data MzipSym0 :: (~>) (m a) ((~>) (m b) (m (a, b)))
- data MzipSym1 (a6989586621680995129 :: m a) :: (~>) (m b) (m (a, b))
- type family MzipSym2 (a6989586621680995129 :: m a) (a6989586621680995130 :: m b) :: m (a, b) where ...
- data MzipWithSym0 :: (~>) ((~>) a ((~>) b c)) ((~>) (m a) ((~>) (m b) (m c)))
- data MzipWithSym1 (a6989586621680995135 :: (~>) a ((~>) b c)) :: (~>) (m a) ((~>) (m b) (m c))
- data MzipWithSym2 (a6989586621680995135 :: (~>) a ((~>) b c)) (a6989586621680995136 :: m a) :: (~>) (m b) (m c)
- type family MzipWithSym3 (a6989586621680995135 :: (~>) a ((~>) b c)) (a6989586621680995136 :: m a) (a6989586621680995137 :: m b) :: m c where ...
- data MunzipSym0 :: (~>) (m (a, b)) (m a, m b)
- type family MunzipSym1 (a6989586621680995140 :: m (a, b)) :: (m a, m b) where ...
Documentation
type Mzip (arg :: m a) (arg :: m b) :: m (a, b) Source #
type MzipWith (arg :: (~>) a ((~>) b c)) (arg :: m a) (arg :: m b) :: m c Source #
Instances
class SMonad m => SMonadZip m where Source #
Nothing
sMzip :: forall (t :: m a) (t :: m b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t :: m (a, b)) :: Type Source #
default sMzip :: forall (t :: m a) (t :: m b). (Apply (Apply MzipSym0 t) t :: m (a, b)) ~ Apply (Apply Mzip_6989586621680995143Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t :: m (a, b)) :: Type Source #
sMzipWith :: forall (t :: (~>) a ((~>) b c)) (t :: m a) (t :: m b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t :: m c) :: Type Source #
default sMzipWith :: forall (t :: (~>) a ((~>) b c)) (t :: m a) (t :: m b). (Apply (Apply (Apply MzipWithSym0 t) t) t :: m c) ~ Apply (Apply (Apply MzipWith_6989586621680995159Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t :: m c) :: Type Source #
sMunzip :: forall (t :: m (a, b)). Sing t -> Sing (Apply MunzipSym0 t :: (m a, m b)) :: Type Source #
Instances
SMonadZip Identity Source # | |
Defined in Control.Monad.Zip.Singletons sMzip :: forall a b (t1 :: Identity a) (t2 :: Identity b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MzipSym0 t1) t2) Source # sMzipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: Identity a) (t3 :: Identity b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply MzipWithSym0 t1) t2) t3) Source # sMunzip :: forall a b (t :: Identity (a, b)). Sing t -> Sing (Apply MunzipSym0 t) Source # | |
SMonadZip First Source # | |
Defined in Control.Monad.Zip.Singletons sMzip :: forall a b (t1 :: First a) (t2 :: First b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MzipSym0 t1) t2) Source # sMzipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: First a) (t3 :: First b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply MzipWithSym0 t1) t2) t3) Source # sMunzip :: forall a b (t :: First (a, b)). Sing t -> Sing (Apply MunzipSym0 t) Source # | |
SMonadZip Last Source # | |
Defined in Control.Monad.Zip.Singletons sMzip :: forall a b (t1 :: Last a) (t2 :: Last b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MzipSym0 t1) t2) Source # sMzipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: Last a) (t3 :: Last b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply MzipWithSym0 t1) t2) t3) Source # sMunzip :: forall a b (t :: Last (a, b)). Sing t -> Sing (Apply MunzipSym0 t) Source # | |
SMonadZip Dual Source # | |
Defined in Control.Monad.Zip.Singletons sMzip :: forall a b (t1 :: Dual a) (t2 :: Dual b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MzipSym0 t1) t2) Source # sMzipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: Dual a) (t3 :: Dual b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply MzipWithSym0 t1) t2) t3) Source # sMunzip :: forall a b (t :: Dual (a, b)). Sing t -> Sing (Apply MunzipSym0 t) Source # | |
SMonadZip Product Source # | |
Defined in Control.Monad.Zip.Singletons sMzip :: forall a b (t1 :: Product a) (t2 :: Product b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MzipSym0 t1) t2) Source # sMzipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: Product a) (t3 :: Product b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply MzipWithSym0 t1) t2) t3) Source # sMunzip :: forall a b (t :: Product (a, b)). Sing t -> Sing (Apply MunzipSym0 t) Source # | |
SMonadZip Sum Source # | |
Defined in Control.Monad.Zip.Singletons sMzip :: forall a b (t1 :: Sum a) (t2 :: Sum b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MzipSym0 t1) t2) Source # sMzipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: Sum a) (t3 :: Sum b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply MzipWithSym0 t1) t2) t3) Source # sMunzip :: forall a b (t :: Sum (a, b)). Sing t -> Sing (Apply MunzipSym0 t) Source # | |
SMonadZip NonEmpty Source # | |
Defined in Data.List.NonEmpty.Singletons sMzip :: forall a b (t1 :: NonEmpty a) (t2 :: NonEmpty b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MzipSym0 t1) t2) Source # sMzipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: NonEmpty a) (t3 :: NonEmpty b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply MzipWithSym0 t1) t2) t3) Source # sMunzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Apply MunzipSym0 t) Source # | |
SMonadZip Maybe Source # | |
Defined in Control.Monad.Zip.Singletons sMzip :: forall a b (t1 :: Maybe a) (t2 :: Maybe b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MzipSym0 t1) t2) Source # sMzipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: Maybe a) (t3 :: Maybe b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply MzipWithSym0 t1) t2) t3) Source # sMunzip :: forall a b (t :: Maybe (a, b)). Sing t -> Sing (Apply MunzipSym0 t) Source # | |
SMonadZip List Source # | |
Defined in Control.Monad.Zip.Singletons sMzip :: forall a b (t1 :: [a]) (t2 :: [b]). Sing t1 -> Sing t2 -> Sing (Apply (Apply MzipSym0 t1) t2) Source # sMzipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: [a]) (t3 :: [b]). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply MzipWithSym0 t1) t2) t3) Source # sMunzip :: forall a b (t :: [(a, b)]). Sing t -> Sing (Apply MunzipSym0 t) Source # | |
SMonadZip (Proxy :: Type -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons sMzip :: forall a b (t1 :: Proxy a) (t2 :: Proxy b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MzipSym0 t1) t2) Source # sMzipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: Proxy a) (t3 :: Proxy b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply MzipWithSym0 t1) t2) t3) Source # sMunzip :: forall a b (t :: Proxy (a, b)). Sing t -> Sing (Apply MunzipSym0 t) Source # | |
(SMonadZip f, SMonadZip g) => SMonadZip (Product f g) Source # | |
Defined in Data.Functor.Product.Singletons sMzip :: forall a b (t1 :: Product f g a) (t2 :: Product f g b). Sing t1 -> Sing t2 -> Sing (Apply (Apply MzipSym0 t1) t2) Source # sMzipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: Product f g a) (t3 :: Product f g b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply MzipWithSym0 t1) t2) t3) Source # sMunzip :: forall a b (t :: Product f g (a, b)). Sing t -> Sing (Apply MunzipSym0 t) Source # |
Defunctionalization symbols
data MzipSym0 :: (~>) (m a) ((~>) (m b) (m (a, b))) Source #
Instances
SMonadZip m => SingI (MzipSym0 :: TyFun (m a) (m b ~> m (a, b)) -> Type) Source # | |
SuppressUnusedWarnings (MzipSym0 :: TyFun (m a) (m b ~> m (a, b)) -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (MzipSym0 :: TyFun (m a) (m b ~> m (a, b)) -> Type) (a6989586621680995129 :: m a) Source # | |
data MzipSym1 (a6989586621680995129 :: m a) :: (~>) (m b) (m (a, b)) Source #
Instances
SMonadZip m => SingI1 (MzipSym1 :: m a -> TyFun (m b) (m (a, b)) -> Type) Source # | |
(SMonadZip m, SingI d) => SingI (MzipSym1 d :: TyFun (m b) (m (a, b)) -> Type) Source # | |
SuppressUnusedWarnings (MzipSym1 a6989586621680995129 :: TyFun (m b) (m (a, b)) -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (MzipSym1 a6989586621680995129 :: TyFun (m b) (m (a, b)) -> Type) (a6989586621680995130 :: m b) Source # | |
type family MzipSym2 (a6989586621680995129 :: m a) (a6989586621680995130 :: m b) :: m (a, b) where ... Source #
data MzipWithSym0 :: (~>) ((~>) a ((~>) b c)) ((~>) (m a) ((~>) (m b) (m c))) Source #
Instances
SMonadZip m => SingI (MzipWithSym0 :: TyFun (a ~> (b ~> c)) (m a ~> (m b ~> m c)) -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons sing :: Sing MzipWithSym0 Source # | |
SuppressUnusedWarnings (MzipWithSym0 :: TyFun (a ~> (b ~> c)) (m a ~> (m b ~> m c)) -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (MzipWithSym0 :: TyFun (a ~> (b ~> c)) (m a ~> (m b ~> m c)) -> Type) (a6989586621680995135 :: a ~> (b ~> c)) Source # | |
Defined in Control.Monad.Zip.Singletons |
data MzipWithSym1 (a6989586621680995135 :: (~>) a ((~>) b c)) :: (~>) (m a) ((~>) (m b) (m c)) Source #
Instances
SMonadZip m => SingI1 (MzipWithSym1 :: (a ~> (b ~> c)) -> TyFun (m a) (m b ~> m c) -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons | |
(SMonadZip m, SingI d) => SingI (MzipWithSym1 d :: TyFun (m a) (m b ~> m c) -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons sing :: Sing (MzipWithSym1 d) Source # | |
SuppressUnusedWarnings (MzipWithSym1 a6989586621680995135 :: TyFun (m a) (m b ~> m c) -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (MzipWithSym1 a6989586621680995135 :: TyFun (m a) (m b ~> m c) -> Type) (a6989586621680995136 :: m a) Source # | |
Defined in Control.Monad.Zip.Singletons type Apply (MzipWithSym1 a6989586621680995135 :: TyFun (m a) (m b ~> m c) -> Type) (a6989586621680995136 :: m a) = MzipWithSym2 a6989586621680995135 a6989586621680995136 |
data MzipWithSym2 (a6989586621680995135 :: (~>) a ((~>) b c)) (a6989586621680995136 :: m a) :: (~>) (m b) (m c) Source #
Instances
(SMonadZip m, SingI d) => SingI1 (MzipWithSym2 d :: m a -> TyFun (m b) (m c) -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons | |
SMonadZip m => SingI2 (MzipWithSym2 :: (a ~> (b ~> c)) -> m a -> TyFun (m b) (m c) -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons | |
(SMonadZip m, SingI d1, SingI d2) => SingI (MzipWithSym2 d1 d2 :: TyFun (m b) (m c) -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons sing :: Sing (MzipWithSym2 d1 d2) Source # | |
SuppressUnusedWarnings (MzipWithSym2 a6989586621680995135 a6989586621680995136 :: TyFun (m b) (m c) -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (MzipWithSym2 a6989586621680995135 a6989586621680995136 :: TyFun (m b) (m c) -> Type) (a6989586621680995137 :: m b) Source # | |
Defined in Control.Monad.Zip.Singletons type Apply (MzipWithSym2 a6989586621680995135 a6989586621680995136 :: TyFun (m b) (m c) -> Type) (a6989586621680995137 :: m b) = MzipWith a6989586621680995135 a6989586621680995136 a6989586621680995137 |
type family MzipWithSym3 (a6989586621680995135 :: (~>) a ((~>) b c)) (a6989586621680995136 :: m a) (a6989586621680995137 :: m b) :: m c where ... Source #
MzipWithSym3 a6989586621680995135 a6989586621680995136 a6989586621680995137 = MzipWith a6989586621680995135 a6989586621680995136 a6989586621680995137 |
data MunzipSym0 :: (~>) (m (a, b)) (m a, m b) Source #
Instances
SMonadZip m => SingI (MunzipSym0 :: TyFun (m (a, b)) (m a, m b) -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons sing :: Sing MunzipSym0 Source # | |
SuppressUnusedWarnings (MunzipSym0 :: TyFun (m (a, b)) (m a, m b) -> Type) Source # | |
Defined in Control.Monad.Zip.Singletons suppressUnusedWarnings :: () Source # | |
type Apply (MunzipSym0 :: TyFun (m (a, b)) (m a, m b) -> Type) (a6989586621680995140 :: m (a, b)) Source # | |
Defined in Control.Monad.Zip.Singletons type Apply (MunzipSym0 :: TyFun (m (a, b)) (m a, m b) -> Type) (a6989586621680995140 :: m (a, b)) = Munzip a6989586621680995140 |
type family MunzipSym1 (a6989586621680995140 :: m (a, b)) :: (m a, m b) where ... Source #
MunzipSym1 a6989586621680995140 = Munzip a6989586621680995140 |