Copyright	(C) 2018 Ryan Scott
License	BSD-style (see LICENSE)
Maintainer	Ryan Scott
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Singletons.Prelude.Monad.Zip

Contents

Defunctionalization symbols

Description

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

Synopsis

class PMonad m => PMonadZip (m :: Type -> Type) where
- type Mzip (arg :: m a) (arg :: m b) :: m (a, b)
- type MzipWith (arg :: (~>) a ((~>) b c)) (arg :: m a) (arg :: m b) :: m c
- type Munzip (arg :: m (a, b)) :: (m a, m b)
class SMonad m => SMonadZip (m :: Type -> Type) where
- sMzip :: forall a b (t :: m a) (t :: m b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t :: m (a, b))
- sMzipWith :: forall a b c (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)
- sMunzip :: forall a b (t :: m (a, b)). Sing t -> Sing (Apply MunzipSym0 t :: (m a, m b))
data MzipSym0 :: forall a6989586621681075598 b6989586621681075599 m6989586621681075597. (~>) (m6989586621681075597 a6989586621681075598) ((~>) (m6989586621681075597 b6989586621681075599) (m6989586621681075597 (a6989586621681075598, b6989586621681075599)))
data MzipSym1 (arg6989586621681075673 :: m6989586621681075597 a6989586621681075598) :: forall b6989586621681075599. (~>) (m6989586621681075597 b6989586621681075599) (m6989586621681075597 (a6989586621681075598, b6989586621681075599))
type MzipSym2 (arg6989586621681075673 :: m6989586621681075597 a6989586621681075598) (arg6989586621681075674 :: m6989586621681075597 b6989586621681075599) = Mzip arg6989586621681075673 arg6989586621681075674
data MzipWithSym0 :: forall a6989586621681075600 b6989586621681075601 c6989586621681075602 m6989586621681075597. (~>) ((~>) a6989586621681075600 ((~>) b6989586621681075601 c6989586621681075602)) ((~>) (m6989586621681075597 a6989586621681075600) ((~>) (m6989586621681075597 b6989586621681075601) (m6989586621681075597 c6989586621681075602)))
data MzipWithSym1 (arg6989586621681075677 :: (~>) a6989586621681075600 ((~>) b6989586621681075601 c6989586621681075602)) :: forall m6989586621681075597. (~>) (m6989586621681075597 a6989586621681075600) ((~>) (m6989586621681075597 b6989586621681075601) (m6989586621681075597 c6989586621681075602))
data MzipWithSym2 (arg6989586621681075677 :: (~>) a6989586621681075600 ((~>) b6989586621681075601 c6989586621681075602)) (arg6989586621681075678 :: m6989586621681075597 a6989586621681075600) :: (~>) (m6989586621681075597 b6989586621681075601) (m6989586621681075597 c6989586621681075602)
type MzipWithSym3 (arg6989586621681075677 :: (~>) a6989586621681075600 ((~>) b6989586621681075601 c6989586621681075602)) (arg6989586621681075678 :: m6989586621681075597 a6989586621681075600) (arg6989586621681075679 :: m6989586621681075597 b6989586621681075601) = MzipWith arg6989586621681075677 arg6989586621681075678 arg6989586621681075679
data MunzipSym0 :: forall a6989586621681075603 b6989586621681075604 m6989586621681075597. (~>) (m6989586621681075597 (a6989586621681075603, b6989586621681075604)) (m6989586621681075597 a6989586621681075603, m6989586621681075597 b6989586621681075604)
type MunzipSym1 (arg6989586621681075683 :: m6989586621681075597 (a6989586621681075603, b6989586621681075604)) = Munzip arg6989586621681075683

Documentation

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

Associated Types

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 #

type Munzip (arg :: m (a, b)) :: (m a, m b) Source #

Instances

PMonadZip [] Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Associated Types type Mzip arg arg :: m (a, b) Source # type MzipWith arg arg arg :: m c Source # type Munzip arg :: (m a, m b) Source #
PMonadZip Maybe Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Associated Types type Mzip arg arg :: m (a, b) Source # type MzipWith arg arg arg :: m c Source # type Munzip arg :: (m a, m b) Source #
PMonadZip Identity Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Associated Types type Mzip arg arg :: m (a, b) Source # type MzipWith arg arg arg :: m c Source # type Munzip arg :: (m a, m b) Source #
PMonadZip First Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Associated Types type Mzip arg arg :: m (a, b) Source # type MzipWith arg arg arg :: m c Source # type Munzip arg :: (m a, m b) Source #
PMonadZip Last Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Associated Types type Mzip arg arg :: m (a, b) Source # type MzipWith arg arg arg :: m c Source # type Munzip arg :: (m a, m b) Source #
PMonadZip Dual Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Associated Types type Mzip arg arg :: m (a, b) Source # type MzipWith arg arg arg :: m c Source # type Munzip arg :: (m a, m b) Source #
PMonadZip Sum Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Associated Types type Mzip arg arg :: m (a, b) Source # type MzipWith arg arg arg :: m c Source # type Munzip arg :: (m a, m b) Source #
PMonadZip Product Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Associated Types type Mzip arg arg :: m (a, b) Source # type MzipWith arg arg arg :: m c Source # type Munzip arg :: (m a, m b) Source #
PMonadZip NonEmpty Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Associated Types type Mzip arg arg :: m (a, b) Source # type MzipWith arg arg arg :: m c Source # type Munzip arg :: (m a, m b) Source #

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

Minimal complete definition

Nothing

Methods

sMzip :: forall a b (t :: m a) (t :: m b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t :: m (a, b)) Source #

sMzipWith :: forall a b c (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) Source #

sMunzip :: forall a b (t :: m (a, b)). Sing t -> Sing (Apply MunzipSym0 t :: (m a, m b)) Source #

sMzip :: forall a b (t :: m a) (t :: m b). (Apply (Apply MzipSym0 t) t :: m (a, b)) ~ Apply (Apply Mzip_6989586621681075697Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t :: m (a, b)) Source #

sMzipWith :: forall a b c (t :: (~>) a ((~>) b c)) (t :: m a) (t :: m b). (Apply (Apply (Apply MzipWithSym0 t) t) t :: m c) ~ Apply (Apply (Apply MzipWith_6989586621681075713Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t :: m c) Source #

sMunzip :: forall a b (t :: m (a, b)). (Apply MunzipSym0 t :: (m a, m b)) ~ Apply Munzip_6989586621681075722Sym0 t => Sing t -> Sing (Apply MunzipSym0 t :: (m a, m b)) Source #

Instances

SMonadZip [] Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sMzip :: Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t) Source # sMzipWith :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t) Source # sMunzip :: Sing t -> Sing (Apply MunzipSym0 t) Source #
SMonadZip Maybe Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sMzip :: Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t) Source # sMzipWith :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t) Source # sMunzip :: Sing t -> Sing (Apply MunzipSym0 t) Source #
SMonadZip Identity Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sMzip :: Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t) Source # sMzipWith :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t) Source # sMunzip :: Sing t -> Sing (Apply MunzipSym0 t) Source #
SMonadZip First Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sMzip :: Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t) Source # sMzipWith :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t) Source # sMunzip :: Sing t -> Sing (Apply MunzipSym0 t) Source #
SMonadZip Last Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sMzip :: Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t) Source # sMzipWith :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t) Source # sMunzip :: Sing t -> Sing (Apply MunzipSym0 t) Source #
SMonadZip Dual Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sMzip :: Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t) Source # sMzipWith :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t) Source # sMunzip :: Sing t -> Sing (Apply MunzipSym0 t) Source #
SMonadZip Sum Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sMzip :: Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t) Source # sMzipWith :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t) Source # sMunzip :: Sing t -> Sing (Apply MunzipSym0 t) Source #
SMonadZip Product Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sMzip :: Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t) Source # sMzipWith :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t) Source # sMunzip :: Sing t -> Sing (Apply MunzipSym0 t) Source #
SMonadZip NonEmpty Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sMzip :: Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t) Source # sMzipWith :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t) Source # sMunzip :: Sing t -> Sing (Apply MunzipSym0 t) Source #

Defunctionalization symbols

data MzipSym0 :: forall a6989586621681075598 b6989586621681075599 m6989586621681075597. (~>) (m6989586621681075597 a6989586621681075598) ((~>) (m6989586621681075597 b6989586621681075599) (m6989586621681075597 (a6989586621681075598, b6989586621681075599))) Source #

Instances

SMonadZip m => SingI (MzipSym0 :: TyFun (m a) (m b ~> m (a, b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sing :: Sing MzipSym0 Source #
SuppressUnusedWarnings (MzipSym0 :: TyFun (m6989586621681075597 a6989586621681075598) (m6989586621681075597 b6989586621681075599 ~> m6989586621681075597 (a6989586621681075598, b6989586621681075599)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
type Apply (MzipSym0 :: TyFun (m6989586621681075597 a6989586621681075598) (m6989586621681075597 b6989586621681075599 ~> m6989586621681075597 (a6989586621681075598, b6989586621681075599)) -> Type) (arg6989586621681075673 :: m6989586621681075597 a6989586621681075598) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip type Apply (MzipSym0 :: TyFun (m6989586621681075597 a6989586621681075598) (m6989586621681075597 b6989586621681075599 ~> m6989586621681075597 (a6989586621681075598, b6989586621681075599)) -> Type) (arg6989586621681075673 :: m6989586621681075597 a6989586621681075598) = (MzipSym1 arg6989586621681075673 b6989586621681075599 :: TyFun (m6989586621681075597 b6989586621681075599) (m6989586621681075597 (a6989586621681075598, b6989586621681075599)) -> Type)

data MzipSym1 (arg6989586621681075673 :: m6989586621681075597 a6989586621681075598) :: forall b6989586621681075599. (~>) (m6989586621681075597 b6989586621681075599) (m6989586621681075597 (a6989586621681075598, b6989586621681075599)) Source #

Instances

(SMonadZip m, SingI d) => SingI (MzipSym1 d b :: TyFun (m b) (m (a, b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sing :: Sing (MzipSym1 d b) Source #
SuppressUnusedWarnings (MzipSym1 arg6989586621681075673 b6989586621681075599 :: TyFun (m6989586621681075597 b6989586621681075599) (m6989586621681075597 (a6989586621681075598, b6989586621681075599)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
type Apply (MzipSym1 arg6989586621681075673 b :: TyFun (m b) (m (a, b)) -> Type) (arg6989586621681075674 :: m b) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip type Apply (MzipSym1 arg6989586621681075673 b :: TyFun (m b) (m (a, b)) -> Type) (arg6989586621681075674 :: m b) = Mzip arg6989586621681075673 arg6989586621681075674

type MzipSym2 (arg6989586621681075673 :: m6989586621681075597 a6989586621681075598) (arg6989586621681075674 :: m6989586621681075597 b6989586621681075599) = Mzip arg6989586621681075673 arg6989586621681075674 Source #

data MzipWithSym0 :: forall a6989586621681075600 b6989586621681075601 c6989586621681075602 m6989586621681075597. (~>) ((~>) a6989586621681075600 ((~>) b6989586621681075601 c6989586621681075602)) ((~>) (m6989586621681075597 a6989586621681075600) ((~>) (m6989586621681075597 b6989586621681075601) (m6989586621681075597 c6989586621681075602))) Source #

Instances

SMonadZip m => SingI (MzipWithSym0 :: TyFun (a ~> (b ~> c)) (m a ~> (m b ~> m c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sing :: Sing MzipWithSym0 Source #
SuppressUnusedWarnings (MzipWithSym0 :: TyFun (a6989586621681075600 ~> (b6989586621681075601 ~> c6989586621681075602)) (m6989586621681075597 a6989586621681075600 ~> (m6989586621681075597 b6989586621681075601 ~> m6989586621681075597 c6989586621681075602)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
type Apply (MzipWithSym0 :: TyFun (a6989586621681075600 ~> (b6989586621681075601 ~> c6989586621681075602)) (m6989586621681075597 a6989586621681075600 ~> (m6989586621681075597 b6989586621681075601 ~> m6989586621681075597 c6989586621681075602)) -> Type) (arg6989586621681075677 :: a6989586621681075600 ~> (b6989586621681075601 ~> c6989586621681075602)) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip type Apply (MzipWithSym0 :: TyFun (a6989586621681075600 ~> (b6989586621681075601 ~> c6989586621681075602)) (m6989586621681075597 a6989586621681075600 ~> (m6989586621681075597 b6989586621681075601 ~> m6989586621681075597 c6989586621681075602)) -> Type) (arg6989586621681075677 :: a6989586621681075600 ~> (b6989586621681075601 ~> c6989586621681075602)) = (MzipWithSym1 arg6989586621681075677 m6989586621681075597 :: TyFun (m6989586621681075597 a6989586621681075600) (m6989586621681075597 b6989586621681075601 ~> m6989586621681075597 c6989586621681075602) -> Type)

data MzipWithSym1 (arg6989586621681075677 :: (~>) a6989586621681075600 ((~>) b6989586621681075601 c6989586621681075602)) :: forall m6989586621681075597. (~>) (m6989586621681075597 a6989586621681075600) ((~>) (m6989586621681075597 b6989586621681075601) (m6989586621681075597 c6989586621681075602)) Source #

Instances

(SMonadZip m, SingI d) => SingI (MzipWithSym1 d m :: TyFun (m a) (m b ~> m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sing :: Sing (MzipWithSym1 d m) Source #
SuppressUnusedWarnings (MzipWithSym1 arg6989586621681075677 m6989586621681075597 :: TyFun (m6989586621681075597 a6989586621681075600) (m6989586621681075597 b6989586621681075601 ~> m6989586621681075597 c6989586621681075602) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
type Apply (MzipWithSym1 arg6989586621681075677 m6989586621681075597 :: TyFun (m6989586621681075597 a6989586621681075600) (m6989586621681075597 b6989586621681075601 ~> m6989586621681075597 c6989586621681075602) -> Type) (arg6989586621681075678 :: m6989586621681075597 a6989586621681075600) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip type Apply (MzipWithSym1 arg6989586621681075677 m6989586621681075597 :: TyFun (m6989586621681075597 a6989586621681075600) (m6989586621681075597 b6989586621681075601 ~> m6989586621681075597 c6989586621681075602) -> Type) (arg6989586621681075678 :: m6989586621681075597 a6989586621681075600) = MzipWithSym2 arg6989586621681075677 arg6989586621681075678

data MzipWithSym2 (arg6989586621681075677 :: (~>) a6989586621681075600 ((~>) b6989586621681075601 c6989586621681075602)) (arg6989586621681075678 :: m6989586621681075597 a6989586621681075600) :: (~>) (m6989586621681075597 b6989586621681075601) (m6989586621681075597 c6989586621681075602) Source #

Instances

(SMonadZip m, SingI d1, SingI d2) => SingI (MzipWithSym2 d1 d2 :: TyFun (m b) (m c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sing :: Sing (MzipWithSym2 d1 d2) Source #
SuppressUnusedWarnings (MzipWithSym2 arg6989586621681075678 arg6989586621681075677 :: TyFun (m6989586621681075597 b6989586621681075601) (m6989586621681075597 c6989586621681075602) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
type Apply (MzipWithSym2 arg6989586621681075678 arg6989586621681075677 :: TyFun (m b) (m c) -> Type) (arg6989586621681075679 :: m b) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip type Apply (MzipWithSym2 arg6989586621681075678 arg6989586621681075677 :: TyFun (m b) (m c) -> Type) (arg6989586621681075679 :: m b) = MzipWith arg6989586621681075678 arg6989586621681075677 arg6989586621681075679

type MzipWithSym3 (arg6989586621681075677 :: (~>) a6989586621681075600 ((~>) b6989586621681075601 c6989586621681075602)) (arg6989586621681075678 :: m6989586621681075597 a6989586621681075600) (arg6989586621681075679 :: m6989586621681075597 b6989586621681075601) = MzipWith arg6989586621681075677 arg6989586621681075678 arg6989586621681075679 Source #

data MunzipSym0 :: forall a6989586621681075603 b6989586621681075604 m6989586621681075597. (~>) (m6989586621681075597 (a6989586621681075603, b6989586621681075604)) (m6989586621681075597 a6989586621681075603, m6989586621681075597 b6989586621681075604) Source #

Instances

SMonadZip m => SingI (MunzipSym0 :: TyFun (m (a, b)) (m a, m b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods sing :: Sing MunzipSym0 Source #
SuppressUnusedWarnings (MunzipSym0 :: TyFun (m6989586621681075597 (a6989586621681075603, b6989586621681075604)) (m6989586621681075597 a6989586621681075603, m6989586621681075597 b6989586621681075604) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip Methods suppressUnusedWarnings :: () Source #
type Apply (MunzipSym0 :: TyFun (m (a, b)) (m a, m b) -> Type) (arg6989586621681075683 :: m (a, b)) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Zip type Apply (MunzipSym0 :: TyFun (m (a, b)) (m a, m b) -> Type) (arg6989586621681075683 :: m (a, b)) = Munzip arg6989586621681075683

type MunzipSym1 (arg6989586621681075683 :: m6989586621681075597 (a6989586621681075603, b6989586621681075604)) = Munzip arg6989586621681075683 Source #