Control.Monad.Zip.Singletons

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

Documentation

class PMonadZip m

Associated Types

type Mzip (arg :: m a) (arg :: m b) :: m (a, b)

type Mzip a a = Apply (Apply Mzip_6989586621681132470Sym0 a) a

type MzipWith (arg :: (~>) a ((~>) b c)) (arg :: m a) (arg :: m b) :: m c

type MzipWith a a a = Apply (Apply (Apply MzipWith_6989586621681132486Sym0 a) a) a

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

type Munzip a = Apply Munzip_6989586621681132499Sym0 a

Instances

PMonadZip Identity

Defined in Control.Monad.Zip.Singletons

Associated Types

type Mzip arg arg :: m (a, b)

type MzipWith arg arg arg :: m c

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

PMonadZip First

Defined in Control.Monad.Zip.Singletons

Associated Types

type Mzip arg arg :: m (a, b)

type MzipWith arg arg arg :: m c

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

PMonadZip Last

Defined in Control.Monad.Zip.Singletons

Associated Types

type Mzip arg arg :: m (a, b)

type MzipWith arg arg arg :: m c

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

PMonadZip Dual

Defined in Control.Monad.Zip.Singletons

Associated Types

type Mzip arg arg :: m (a, b)

type MzipWith arg arg arg :: m c

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

PMonadZip Product

Defined in Control.Monad.Zip.Singletons

Associated Types

type Mzip arg arg :: m (a, b)

type MzipWith arg arg arg :: m c

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

PMonadZip Sum

Defined in Control.Monad.Zip.Singletons

Associated Types

type Mzip arg arg :: m (a, b)

type MzipWith arg arg arg :: m c

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

PMonadZip NonEmpty

Defined in Data.List.NonEmpty.Singletons

Associated Types

type Mzip arg arg :: m (a, b)

type MzipWith arg arg arg :: m c

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

PMonadZip Maybe

Defined in Control.Monad.Zip.Singletons

Associated Types

type Mzip arg arg :: m (a, b)

type MzipWith arg arg arg :: m c

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

PMonadZip []

Defined in Control.Monad.Zip.Singletons

Associated Types

type Mzip arg arg :: m (a, b)

type MzipWith arg arg arg :: m c

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

PMonadZip (Proxy :: Type -> Type)

Defined in Control.Monad.Zip.Singletons

Associated Types

type Mzip arg arg :: m (a, b)

type MzipWith arg arg arg :: m c

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

PMonadZip (Product f g)

Defined in Data.Functor.Product.Singletons

Associated Types

type Mzip arg arg :: m (a, b)

type MzipWith arg arg arg :: m c

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

class SMonad m => SMonadZip m where

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))

default sMzip :: forall a b (t :: m a) (t :: m b). (Apply (Apply MzipSym0 t) t :: m (a, b)) ~ Apply (Apply Mzip_6989586621681132470Sym0 t) t => 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)

default 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_6989586621681132486Sym0 t) t) t => 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))

default sMunzip :: forall a b (t :: m (a, b)). (Apply MunzipSym0 t :: (m a, m b)) ~ Apply Munzip_6989586621681132499Sym0 t => Sing t -> Sing (Apply MunzipSym0 t :: (m a, m b))

Instances

SMonadZip Identity

Defined in Control.Monad.Zip.Singletons

Methods

sMzip :: forall a b (t :: Identity a) (t :: Identity b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t)

sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: Identity a) (t :: Identity b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t)

sMunzip :: forall a b (t :: Identity (a, b)). Sing t -> Sing (Apply MunzipSym0 t)

SMonadZip First

Defined in Control.Monad.Zip.Singletons

Methods

sMzip :: forall a b (t :: First a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t)

sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: First a) (t :: First b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t)

sMunzip :: forall a b (t :: First (a, b)). Sing t -> Sing (Apply MunzipSym0 t)

SMonadZip Last

Defined in Control.Monad.Zip.Singletons

Methods

sMzip :: forall a b (t :: Last a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t)

sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: Last a) (t :: Last b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t)

sMunzip :: forall a b (t :: Last (a, b)). Sing t -> Sing (Apply MunzipSym0 t)

SMonadZip Dual

Defined in Control.Monad.Zip.Singletons

Methods

sMzip :: forall a b (t :: Dual a) (t :: Dual b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t)

sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: Dual a) (t :: Dual b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t)

sMunzip :: forall a b (t :: Dual (a, b)). Sing t -> Sing (Apply MunzipSym0 t)

SMonadZip Product

Defined in Control.Monad.Zip.Singletons

Methods

sMzip :: forall a b (t :: Product a) (t :: Product b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t)

sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: Product a) (t :: Product b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t)

sMunzip :: forall a b (t :: Product (a, b)). Sing t -> Sing (Apply MunzipSym0 t)

SMonadZip Sum

Defined in Control.Monad.Zip.Singletons

Methods

sMzip :: forall a b (t :: Sum a) (t :: Sum b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t)

sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: Sum a) (t :: Sum b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t)

sMunzip :: forall a b (t :: Sum (a, b)). Sing t -> Sing (Apply MunzipSym0 t)

SMonadZip NonEmpty

Defined in Data.List.NonEmpty.Singletons

Methods

sMzip :: forall a b (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t)

sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t)

sMunzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Apply MunzipSym0 t)

SMonadZip Maybe

Defined in Control.Monad.Zip.Singletons

Methods

sMzip :: forall a b (t :: Maybe a) (t :: Maybe b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t)

sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: Maybe a) (t :: Maybe b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t)

sMunzip :: forall a b (t :: Maybe (a, b)). Sing t -> Sing (Apply MunzipSym0 t)

SMonadZip []

Defined in Control.Monad.Zip.Singletons

Methods

sMzip :: forall a b (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t)

sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t)

sMunzip :: forall a b (t :: [(a, b)]). Sing t -> Sing (Apply MunzipSym0 t)

SMonadZip (Proxy :: Type -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

sMzip :: forall a b (t :: Proxy a) (t :: Proxy b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t)

sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: Proxy a) (t :: Proxy b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t)

sMunzip :: forall a b (t :: Proxy (a, b)). Sing t -> Sing (Apply MunzipSym0 t)

(SMonadZip f, SMonadZip g) => SMonadZip (Product f g)

Defined in Data.Functor.Product.Singletons

Methods

sMzip :: forall a b (t :: Product f g a) (t :: Product f g b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t)

sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: Product f g a) (t :: Product f g b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t)

sMunzip :: forall a b (t :: Product f g (a, b)). Sing t -> Sing (Apply MunzipSym0 t)

Defunctionalization symbols

data MzipSym0 :: (~>) (m a) ((~>) (m b) (m (a, b)))

Instances

SMonadZip m => SingI (MzipSym0 :: TyFun (m a) (m b ~> m (a, b)) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

sing :: Sing MzipSym0

SuppressUnusedWarnings (MzipSym0 :: TyFun (m a) (m b ~> m (a, b)) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MzipSym0 :: TyFun (m a) (m b ~> m (a, b)) -> Type) (a6989586621681132456 :: m a)

Defined in Control.Monad.Zip.Singletons

type Apply (MzipSym0 :: TyFun (m a) (m b ~> m (a, b)) -> Type) (a6989586621681132456 :: m a) = MzipSym1 a6989586621681132456 :: TyFun (m b) (m (a, b)) -> Type

data MzipSym1 (a6989586621681132456 :: m a) :: (~>) (m b) (m (a, b))

Instances

SMonadZip m => SingI1 (MzipSym1 :: m a -> TyFun (m b) (m (a, b)) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (MzipSym1 x)

(SMonadZip m, SingI d) => SingI (MzipSym1 d :: TyFun (m b) (m (a, b)) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

sing :: Sing (MzipSym1 d)

SuppressUnusedWarnings (MzipSym1 a6989586621681132456 :: TyFun (m b) (m (a, b)) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MzipSym1 a6989586621681132456 :: TyFun (m b) (m (a, b)) -> Type) (a6989586621681132457 :: m b)

Defined in Control.Monad.Zip.Singletons

type Apply (MzipSym1 a6989586621681132456 :: TyFun (m b) (m (a, b)) -> Type) (a6989586621681132457 :: m b) = Mzip a6989586621681132456 a6989586621681132457

type family MzipSym2 (a6989586621681132456 :: m a) (a6989586621681132457 :: m b) :: m (a, b) where ...

Equations

MzipSym2 a6989586621681132456 a6989586621681132457 = Mzip a6989586621681132456 a6989586621681132457

data MzipWithSym0 :: (~>) ((~>) a ((~>) b c)) ((~>) (m a) ((~>) (m b) (m c)))

Instances

SMonadZip m => SingI (MzipWithSym0 :: TyFun (a ~> (b ~> c)) (m a ~> (m b ~> m c)) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

sing :: Sing MzipWithSym0

SuppressUnusedWarnings (MzipWithSym0 :: TyFun (a ~> (b ~> c)) (m a ~> (m b ~> m c)) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MzipWithSym0 :: TyFun (a ~> (b ~> c)) (m a ~> (m b ~> m c)) -> Type) (a6989586621681132462 :: a ~> (b ~> c))

Defined in Control.Monad.Zip.Singletons

type Apply (MzipWithSym0 :: TyFun (a ~> (b ~> c)) (m a ~> (m b ~> m c)) -> Type) (a6989586621681132462 :: a ~> (b ~> c)) = MzipWithSym1 a6989586621681132462 :: TyFun (m a) (m b ~> m c) -> Type

data MzipWithSym1 (a6989586621681132462 :: (~>) a ((~>) b c)) :: (~>) (m a) ((~>) (m b) (m c))

Instances

SMonadZip m => SingI1 (MzipWithSym1 :: (a ~> (b ~> c)) -> TyFun (m a) (m b ~> m c) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (MzipWithSym1 x)

(SMonadZip m, SingI d) => SingI (MzipWithSym1 d :: TyFun (m a) (m b ~> m c) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

sing :: Sing (MzipWithSym1 d)

SuppressUnusedWarnings (MzipWithSym1 a6989586621681132462 :: TyFun (m a) (m b ~> m c) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MzipWithSym1 a6989586621681132462 :: TyFun (m a) (m b ~> m c) -> Type) (a6989586621681132463 :: m a)

Defined in Control.Monad.Zip.Singletons

type Apply (MzipWithSym1 a6989586621681132462 :: TyFun (m a) (m b ~> m c) -> Type) (a6989586621681132463 :: m a) = MzipWithSym2 a6989586621681132462 a6989586621681132463

data MzipWithSym2 (a6989586621681132462 :: (~>) a ((~>) b c)) (a6989586621681132463 :: m a) :: (~>) (m b) (m c)

Instances

(SMonadZip m, SingI d) => SingI1 (MzipWithSym2 d :: m a -> TyFun (m b) (m c) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (MzipWithSym2 d x)

SMonadZip m => SingI2 (MzipWithSym2 :: (a ~> (b ~> c)) -> m a -> TyFun (m b) (m c) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (MzipWithSym2 x y)

(SMonadZip m, SingI d1, SingI d2) => SingI (MzipWithSym2 d1 d2 :: TyFun (m b) (m c) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

sing :: Sing (MzipWithSym2 d1 d2)

SuppressUnusedWarnings (MzipWithSym2 a6989586621681132462 a6989586621681132463 :: TyFun (m b) (m c) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MzipWithSym2 a6989586621681132462 a6989586621681132463 :: TyFun (m b) (m c) -> Type) (a6989586621681132464 :: m b)

Defined in Control.Monad.Zip.Singletons

type Apply (MzipWithSym2 a6989586621681132462 a6989586621681132463 :: TyFun (m b) (m c) -> Type) (a6989586621681132464 :: m b) = MzipWith a6989586621681132462 a6989586621681132463 a6989586621681132464

type family MzipWithSym3 (a6989586621681132462 :: (~>) a ((~>) b c)) (a6989586621681132463 :: m a) (a6989586621681132464 :: m b) :: m c where ...

Equations

MzipWithSym3 a6989586621681132462 a6989586621681132463 a6989586621681132464 = MzipWith a6989586621681132462 a6989586621681132463 a6989586621681132464

data MunzipSym0 :: (~>) (m (a, b)) (m a, m b)

Instances

SMonadZip m => SingI (MunzipSym0 :: TyFun (m (a, b)) (m a, m b) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

sing :: Sing MunzipSym0

SuppressUnusedWarnings (MunzipSym0 :: TyFun (m (a, b)) (m a, m b) -> Type)

Defined in Control.Monad.Zip.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MunzipSym0 :: TyFun (m (a, b)) (m a, m b) -> Type) (a6989586621681132467 :: m (a, b))

Defined in Control.Monad.Zip.Singletons

type Apply (MunzipSym0 :: TyFun (m (a, b)) (m a, m b) -> Type) (a6989586621681132467 :: m (a, b)) = Munzip a6989586621681132467

type family MunzipSym1 (a6989586621681132467 :: m (a, b)) :: (m a, m b) where ...

Equations

MunzipSym1 a6989586621681132467 = Munzip a6989586621681132467