Data.Singletons.Prelude.Monad

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

Documentation

class PFunctor (f :: Type -> Type)

Associated Types

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

Instances

PFunctor []

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Maybe

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Min

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Max

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor First

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Last

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Option

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Identity

Defined in Data.Singletons.Prelude.Identity

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor First

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Last

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Dual

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Sum

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Product

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Down

Defined in Data.Singletons.Prelude.Functor

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor NonEmpty

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor (Either a)

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor ((,) a)

Defined in Data.Singletons.Prelude.Functor

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor (Arg a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor (Const m :: Type -> Type)

Defined in Data.Singletons.Prelude.Const

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

class SFunctor (f :: Type -> Type) where

Methods

sFmap :: forall a b (t :: (~>) a b) (t :: f a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t :: f b)

Instances

SFunctor []

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

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

SFunctor Maybe

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

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

SFunctor Min

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SFunctor Max

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SFunctor First

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SFunctor Last

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SFunctor Option

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SFunctor Identity

Defined in Data.Singletons.Prelude.Identity

Methods

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

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

SFunctor First

Defined in Data.Singletons.Prelude.Monoid

Methods

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

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

SFunctor Last

Defined in Data.Singletons.Prelude.Monoid

Methods

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

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

SFunctor Dual

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SFunctor Sum

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SFunctor Product

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SFunctor Down

Defined in Data.Singletons.Prelude.Functor

Methods

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

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

SFunctor NonEmpty

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

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

SFunctor (Either a)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

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

SFunctor ((,) a)

Defined in Data.Singletons.Prelude.Functor

Methods

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

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

SFunctor (Arg a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SFunctor (Const m :: Type -> Type)

Defined in Data.Singletons.Prelude.Const

Methods

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

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

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

Associated Types

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

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

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

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

Instances

PMonad []

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad Maybe

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad Min

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad Max

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad First

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad Last

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad Option

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad Identity

Defined in Data.Singletons.Prelude.Identity

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad First

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad Last

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad Dual

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad Sum

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad Product

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad Down

Defined in Data.Singletons.Prelude.Monad

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad NonEmpty

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad (Either e)

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad ((,) a)

Defined in Data.Singletons.Prelude.Monad

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

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

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

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

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

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

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

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

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

Instances

SMonad []

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad Maybe

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad Min

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad Max

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad First

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad Last

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad Option

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad Identity

Defined in Data.Singletons.Prelude.Identity

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad First

Defined in Data.Singletons.Prelude.Monoid

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad Last

Defined in Data.Singletons.Prelude.Monoid

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad Dual

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad Sum

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad Product

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad Down

Defined in Data.Singletons.Prelude.Monad

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad NonEmpty

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad (Either e)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonoid a => SMonad ((,) a)

Defined in Data.Singletons.Prelude.Monad

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

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

Associated Types

type Mzero :: m a

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

Instances

PMonadPlus []

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Mzero :: m a

type Mplus arg arg :: m a

PMonadPlus Maybe

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Mzero :: m a

type Mplus arg arg :: m a

PMonadPlus Option

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Mzero :: m a

type Mplus arg arg :: m a

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

Minimal complete definition

Nothing

Methods

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

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

sMzero :: forall a. (MzeroSym0 :: m a) ~ Mzero_6989586621679536602Sym0 => Sing (MzeroSym0 :: m a)

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

Instances

SMonadPlus []

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sMzero :: Sing MzeroSym0

sMplus :: Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t)

SMonadPlus Maybe

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sMzero :: Sing MzeroSym0

sMplus :: Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t)

SMonadPlus Option

Defined in Data.Singletons.Prelude.Semigroup

Methods

sMzero :: Sing MzeroSym0

sMplus :: Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t)

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

Instances

type MapM (arg1 :: a ~> m b) (arg2 :: [a])

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: [a])

type MapM (arg1 :: a ~> m b) (arg2 :: Maybe a)

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: Maybe a)

type MapM (arg1 :: a ~> m b) (arg2 :: Min a)

Defined in Data.Singletons.Prelude.Semigroup

type MapM (arg1 :: a ~> m b) (arg2 :: Min a)

type MapM (arg1 :: a ~> m b) (arg2 :: Max a)

Defined in Data.Singletons.Prelude.Semigroup

type MapM (arg1 :: a ~> m b) (arg2 :: Max a)

type MapM (arg1 :: a ~> m b) (arg2 :: First a)

Defined in Data.Singletons.Prelude.Semigroup

type MapM (arg1 :: a ~> m b) (arg2 :: First a)

type MapM (arg1 :: a ~> m b) (arg2 :: Last a)

Defined in Data.Singletons.Prelude.Semigroup

type MapM (arg1 :: a ~> m b) (arg2 :: Last a)

type MapM (arg1 :: a ~> m b) (arg2 :: Option a)

Defined in Data.Singletons.Prelude.Semigroup

type MapM (arg1 :: a ~> m b) (arg2 :: Option a)

type MapM (arg1 :: a ~> m b) (arg2 :: Identity a)

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: Identity a)

type MapM (arg1 :: a ~> m b) (arg2 :: First a)

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: First a)

type MapM (arg1 :: a ~> m b) (arg2 :: Last a)

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: Last a)

type MapM (arg1 :: a ~> m b) (arg2 :: Dual a)

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: Dual a)

type MapM (arg1 :: a ~> m b) (arg2 :: Sum a)

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: Sum a)

type MapM (arg1 :: a ~> m b) (arg2 :: Product a)

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m b) (arg2 :: Product a)

type MapM (arg1 :: a ~> m b) (arg2 :: NonEmpty a)

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)

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

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)

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)

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

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

Equations

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

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

Equations

ForM a_6989586621680741101 a_6989586621680741103 = Apply (Apply (Apply FlipSym0 MapMSym0) a_6989586621680741101) a_6989586621680741103

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)

Instances

type Sequence (arg :: [m a])

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: [m a])

type Sequence (arg :: Maybe (m a))

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Maybe (m a))

type Sequence (arg :: Min (m a))

Defined in Data.Singletons.Prelude.Semigroup

type Sequence (arg :: Min (m a))

type Sequence (arg :: Max (m a))

Defined in Data.Singletons.Prelude.Semigroup

type Sequence (arg :: Max (m a))

type Sequence (arg :: First (m a))

Defined in Data.Singletons.Prelude.Semigroup

type Sequence (arg :: First (m a))

type Sequence (arg :: Last (m a))

Defined in Data.Singletons.Prelude.Semigroup

type Sequence (arg :: Last (m a))

type Sequence (arg :: Option (m a))

Defined in Data.Singletons.Prelude.Semigroup

type Sequence (arg :: Option (m a))

type Sequence (arg :: Identity (m a))

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Identity (m a))

type Sequence (arg :: First (m a))

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: First (m a))

type Sequence (arg :: Last (m a))

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Last (m a))

type Sequence (arg :: Dual (m a))

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Dual (m a))

type Sequence (arg :: Sum (m a))

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Sum (m a))

type Sequence (arg :: Product (m a))

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Product (m a))

type Sequence (arg :: NonEmpty (m a))

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: NonEmpty (m a))

type Sequence (arg :: Either a1 (m a2))

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Either a1 (m a2))

type Sequence (arg :: (a1, m a2))

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: (a1, m a2))

type Sequence (arg :: Arg a1 (m a2))

Defined in Data.Singletons.Prelude.Semigroup

type Sequence (arg :: Arg a1 (m a2))

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

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

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

Equations

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

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 ... infixr 1

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

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

Equations

(f >=> g) a_6989586621681193685 = Apply (Apply (Apply (Apply Lambda_6989586621681193690Sym0 f) g) a_6989586621681193685) a_6989586621681193685

(%>=>) :: 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

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

Equations

(a_6989586621681193698 <=< a_6989586621681193700) a_6989586621681193702 = Apply (Apply (Apply (Apply FlipSym0 (>=>@#@$)) a_6989586621681193698) a_6989586621681193700) a_6989586621681193702

(%<=<) :: 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

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

Equations

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

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

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)

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

Equations

Msum a_6989586621680439054 = Apply AsumSym0 a_6989586621680439054

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

Equations

Mfilter p ma = Apply (Apply (>>=@#@$) ma) (Apply (Apply Lambda_6989586621681193553Sym0 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)

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

Equations

FilterM p a_6989586621681193717 = Apply (Apply (Apply FoldrSym0 (Apply (Apply Lambda_6989586621681193721Sym0 p) a_6989586621681193717)) (Apply PureSym0 '[])) a_6989586621681193717

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

Equations

MapAndUnzipM f xs = Apply (Apply (<$>@#@$) UnzipSym0) (Apply (Apply TraverseSym0 f) xs)

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

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

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

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

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

Equations

FoldlM f z0 xs = Apply (Apply (Apply (Apply FoldrSym0 (Let6989586621680439114F'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)

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

Equations

ReplicateM cnt0 f = Apply (Let6989586621681193618LoopSym2 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])

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

Equations

ReplicateM_ cnt0 f = Apply (Let6989586621681193599LoopSym2 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 ())

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

Equations

Guard True = Apply PureSym0 Tuple0Sym0

Guard False = EmptySym0

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

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

Equations

When p s = Case_6989586621679536387 p s p

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

Equations

Unless p s = Case_6989586621681193590 p s p

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

Equations

LiftM f m1 = Apply (Apply (>>=@#@$) m1) (Apply (Apply Lambda_6989586621679536374Sym0 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)

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

Equations

LiftM2 f m1 m2 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply Lambda_6989586621679536351Sym0 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)

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

Equations

LiftM3 f m1 m2 m3 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply (Apply Lambda_6989586621679536312Sym0 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)

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

Equations

LiftM4 f m1 m2 m3 m4 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply (Apply (Apply Lambda_6989586621679536254Sym0 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)

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

Equations

LiftM5 f m1 m2 m3 m4 m5 = Apply (Apply (>>=@#@$) m1) (Apply (Apply (Apply (Apply (Apply (Apply Lambda_6989586621679536174Sym0 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)

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

Equations

Ap m1 m2 = Apply (Apply (>>=@#@$) m1) (Apply (Apply Lambda_6989586621679536141Sym0 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)

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

Equations

f <$!> m = Apply (Apply (>>=@#@$) m) (Apply (Apply Lambda_6989586621681193573Sym0 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

Defunctionalization symbols

data FmapSym0 :: forall a6989586621679536044 b6989586621679536045 f6989586621679536043. (~>) ((~>) a6989586621679536044 b6989586621679536045) ((~>) (f6989586621679536043 a6989586621679536044) (f6989586621679536043 b6989586621679536045))

Instances

SFunctor f => SingI (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing FmapSym0

SuppressUnusedWarnings (FmapSym0 :: TyFun (a6989586621679536044 ~> b6989586621679536045) (f6989586621679536043 a6989586621679536044 ~> f6989586621679536043 b6989586621679536045) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (FmapSym0 :: TyFun (a6989586621679536044 ~> b6989586621679536045) (f6989586621679536043 a6989586621679536044 ~> f6989586621679536043 b6989586621679536045) -> Type) (arg6989586621679536437 :: a6989586621679536044 ~> b6989586621679536045)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (FmapSym0 :: TyFun (a6989586621679536044 ~> b6989586621679536045) (f6989586621679536043 a6989586621679536044 ~> f6989586621679536043 b6989586621679536045) -> Type) (arg6989586621679536437 :: a6989586621679536044 ~> b6989586621679536045) = (FmapSym1 arg6989586621679536437 f6989586621679536043 :: TyFun (f6989586621679536043 a6989586621679536044) (f6989586621679536043 b6989586621679536045) -> Type)

data FmapSym1 (arg6989586621679536437 :: (~>) a6989586621679536044 b6989586621679536045) :: forall f6989586621679536043. (~>) (f6989586621679536043 a6989586621679536044) (f6989586621679536043 b6989586621679536045)

Instances

(SFunctor f, SingI d) => SingI (FmapSym1 d f :: TyFun (f a) (f b) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (FmapSym1 d f)

SuppressUnusedWarnings (FmapSym1 arg6989586621679536437 f6989586621679536043 :: TyFun (f6989586621679536043 a6989586621679536044) (f6989586621679536043 b6989586621679536045) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (FmapSym1 arg6989586621679536437 f :: TyFun (f a) (f b) -> Type) (arg6989586621679536438 :: f a)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (FmapSym1 arg6989586621679536437 f :: TyFun (f a) (f b) -> Type) (arg6989586621679536438 :: f a) = Fmap arg6989586621679536437 arg6989586621679536438

type FmapSym2 (arg6989586621679536437 :: (~>) a6989586621679536044 b6989586621679536045) (arg6989586621679536438 :: f6989586621679536043 a6989586621679536044) = Fmap arg6989586621679536437 arg6989586621679536438

data (>>=@#@$) :: forall a6989586621679536073 b6989586621679536074 m6989586621679536072. (~>) (m6989586621679536072 a6989586621679536073) ((~>) ((~>) a6989586621679536073 (m6989586621679536072 b6989586621679536074)) (m6989586621679536072 b6989586621679536074)) infixl 1

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (>>=@#@$)

SuppressUnusedWarnings ((>>=@#@$) :: TyFun (m6989586621679536072 a6989586621679536073) ((a6989586621679536073 ~> m6989586621679536072 b6989586621679536074) ~> m6989586621679536072 b6989586621679536074) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply ((>>=@#@$) :: TyFun (m6989586621679536072 a6989586621679536073) ((a6989586621679536073 ~> m6989586621679536072 b6989586621679536074) ~> m6989586621679536072 b6989586621679536074) -> Type) (arg6989586621679536544 :: m6989586621679536072 a6989586621679536073)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((>>=@#@$) :: TyFun (m6989586621679536072 a6989586621679536073) ((a6989586621679536073 ~> m6989586621679536072 b6989586621679536074) ~> m6989586621679536072 b6989586621679536074) -> Type) (arg6989586621679536544 :: m6989586621679536072 a6989586621679536073) = (arg6989586621679536544 >>=@#@$$ b6989586621679536074 :: TyFun (a6989586621679536073 ~> m6989586621679536072 b6989586621679536074) (m6989586621679536072 b6989586621679536074) -> Type)

data (>>=@#@$$) (arg6989586621679536544 :: m6989586621679536072 a6989586621679536073) :: forall b6989586621679536074. (~>) ((~>) a6989586621679536073 (m6989586621679536072 b6989586621679536074)) (m6989586621679536072 b6989586621679536074) infixl 1

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

SuppressUnusedWarnings (arg6989586621679536544 >>=@#@$$ b6989586621679536074 :: TyFun (a6989586621679536073 ~> m6989586621679536072 b6989586621679536074) (m6989586621679536072 b6989586621679536074) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Monad.Internal

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

type (>>=@#@$$$) (arg6989586621679536544 :: m6989586621679536072 a6989586621679536073) (arg6989586621679536545 :: (~>) a6989586621679536073 (m6989586621679536072 b6989586621679536074)) = (>>=) arg6989586621679536544 arg6989586621679536545

data (>>@#@$) :: forall a6989586621679536075 b6989586621679536076 m6989586621679536072. (~>) (m6989586621679536072 a6989586621679536075) ((~>) (m6989586621679536072 b6989586621679536076) (m6989586621679536072 b6989586621679536076)) infixl 1

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (>>@#@$)

SuppressUnusedWarnings ((>>@#@$) :: TyFun (m6989586621679536072 a6989586621679536075) (m6989586621679536072 b6989586621679536076 ~> m6989586621679536072 b6989586621679536076) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply ((>>@#@$) :: TyFun (m6989586621679536072 a6989586621679536075) (m6989586621679536072 b6989586621679536076 ~> m6989586621679536072 b6989586621679536076) -> Type) (arg6989586621679536548 :: m6989586621679536072 a6989586621679536075)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((>>@#@$) :: TyFun (m6989586621679536072 a6989586621679536075) (m6989586621679536072 b6989586621679536076 ~> m6989586621679536072 b6989586621679536076) -> Type) (arg6989586621679536548 :: m6989586621679536072 a6989586621679536075) = (arg6989586621679536548 >>@#@$$ b6989586621679536076 :: TyFun (m6989586621679536072 b6989586621679536076) (m6989586621679536072 b6989586621679536076) -> Type)

data (>>@#@$$) (arg6989586621679536548 :: m6989586621679536072 a6989586621679536075) :: forall b6989586621679536076. (~>) (m6989586621679536072 b6989586621679536076) (m6989586621679536072 b6989586621679536076) infixl 1

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

SuppressUnusedWarnings (arg6989586621679536548 >>@#@$$ b6989586621679536076 :: TyFun (m6989586621679536072 b6989586621679536076) (m6989586621679536072 b6989586621679536076) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (arg6989586621679536548 >>@#@$$ b :: TyFun (m b) (m b) -> Type) (arg6989586621679536549 :: m b)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (arg6989586621679536548 >>@#@$$ b :: TyFun (m b) (m b) -> Type) (arg6989586621679536549 :: m b) = arg6989586621679536548 >> arg6989586621679536549

type (>>@#@$$$) (arg6989586621679536548 :: m6989586621679536072 a6989586621679536075) (arg6989586621679536549 :: m6989586621679536072 b6989586621679536076) = (>>) arg6989586621679536548 arg6989586621679536549

data ReturnSym0 :: forall a6989586621679536077 m6989586621679536072. (~>) a6989586621679536077 (m6989586621679536072 a6989586621679536077)

Instances

SMonad m => SingI (ReturnSym0 :: TyFun a (m a) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing ReturnSym0

SuppressUnusedWarnings (ReturnSym0 :: TyFun a6989586621679536077 (m6989586621679536072 a6989586621679536077) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (ReturnSym0 :: TyFun a (m6989586621679536072 a) -> Type) (arg6989586621679536552 :: a)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (ReturnSym0 :: TyFun a (m6989586621679536072 a) -> Type) (arg6989586621679536552 :: a) = (Return arg6989586621679536552 :: m6989586621679536072 a)

type ReturnSym1 (arg6989586621679536552 :: a6989586621679536077) = Return arg6989586621679536552

data FailSym0 :: forall a6989586621679536078 m6989586621679536072. (~>) Symbol (m6989586621679536072 a6989586621679536078)

Instances

SMonad m => SingI (FailSym0 :: TyFun Symbol (m a) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing FailSym0

SuppressUnusedWarnings (FailSym0 :: TyFun Symbol (m6989586621679536072 a6989586621679536078) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (FailSym0 :: TyFun Symbol (m6989586621679536072 a6989586621679536078) -> Type) (arg6989586621679536554 :: Symbol)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (FailSym0 :: TyFun Symbol (m6989586621679536072 a6989586621679536078) -> Type) (arg6989586621679536554 :: Symbol) = (Fail arg6989586621679536554 :: m6989586621679536072 a6989586621679536078)

type FailSym1 (arg6989586621679536554 :: Symbol) = Fail arg6989586621679536554

type MzeroSym0 = Mzero

data MplusSym0 :: forall a6989586621679536130 m6989586621679536128. (~>) (m6989586621679536128 a6989586621679536130) ((~>) (m6989586621679536128 a6989586621679536130) (m6989586621679536128 a6989586621679536130))

Instances

SMonadPlus m => SingI (MplusSym0 :: TyFun (m a) (m a ~> m a) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing MplusSym0

SuppressUnusedWarnings (MplusSym0 :: TyFun (m6989586621679536128 a6989586621679536130) (m6989586621679536128 a6989586621679536130 ~> m6989586621679536128 a6989586621679536130) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (MplusSym0 :: TyFun (m6989586621679536128 a6989586621679536130) (m6989586621679536128 a6989586621679536130 ~> m6989586621679536128 a6989586621679536130) -> Type) (arg6989586621679536598 :: m6989586621679536128 a6989586621679536130)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (MplusSym0 :: TyFun (m6989586621679536128 a6989586621679536130) (m6989586621679536128 a6989586621679536130 ~> m6989586621679536128 a6989586621679536130) -> Type) (arg6989586621679536598 :: m6989586621679536128 a6989586621679536130) = MplusSym1 arg6989586621679536598

data MplusSym1 (arg6989586621679536598 :: m6989586621679536128 a6989586621679536130) :: (~>) (m6989586621679536128 a6989586621679536130) (m6989586621679536128 a6989586621679536130)

Instances

(SMonadPlus m, SingI d) => SingI (MplusSym1 d :: TyFun (m a) (m a) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (MplusSym1 d)

SuppressUnusedWarnings (MplusSym1 arg6989586621679536598 :: TyFun (m6989586621679536128 a6989586621679536130) (m6989586621679536128 a6989586621679536130) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (MplusSym1 arg6989586621679536598 :: TyFun (m a) (m a) -> Type) (arg6989586621679536599 :: m a)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (MplusSym1 arg6989586621679536598 :: TyFun (m a) (m a) -> Type) (arg6989586621679536599 :: m a) = Mplus arg6989586621679536598 arg6989586621679536599

type MplusSym2 (arg6989586621679536598 :: m6989586621679536128 a6989586621679536130) (arg6989586621679536599 :: m6989586621679536128 a6989586621679536130) = Mplus arg6989586621679536598 arg6989586621679536599

data MapMSym0 :: forall a6989586621680734974 b6989586621680734975 m6989586621680734973 t6989586621680734967. (~>) ((~>) a6989586621680734974 (m6989586621680734973 b6989586621680734975)) ((~>) (t6989586621680734967 a6989586621680734974) (m6989586621680734973 (t6989586621680734967 b6989586621680734975)))

Instances

(STraversable t, SMonad m) => SingI (MapMSym0 :: TyFun (a ~> m b) (t a ~> m (t b)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing MapMSym0

SuppressUnusedWarnings (MapMSym0 :: TyFun (a6989586621680734974 ~> m6989586621680734973 b6989586621680734975) (t6989586621680734967 a6989586621680734974 ~> m6989586621680734973 (t6989586621680734967 b6989586621680734975)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (MapMSym0 :: TyFun (a6989586621680734974 ~> m6989586621680734973 b6989586621680734975) (t6989586621680734967 a6989586621680734974 ~> m6989586621680734973 (t6989586621680734967 b6989586621680734975)) -> Type) (arg6989586621680734985 :: a6989586621680734974 ~> m6989586621680734973 b6989586621680734975)

Defined in Data.Singletons.Prelude.Traversable

type Apply (MapMSym0 :: TyFun (a6989586621680734974 ~> m6989586621680734973 b6989586621680734975) (t6989586621680734967 a6989586621680734974 ~> m6989586621680734973 (t6989586621680734967 b6989586621680734975)) -> Type) (arg6989586621680734985 :: a6989586621680734974 ~> m6989586621680734973 b6989586621680734975) = (MapMSym1 arg6989586621680734985 t6989586621680734967 :: TyFun (t6989586621680734967 a6989586621680734974) (m6989586621680734973 (t6989586621680734967 b6989586621680734975)) -> Type)

data MapMSym1 (arg6989586621680734985 :: (~>) a6989586621680734974 (m6989586621680734973 b6989586621680734975)) :: forall t6989586621680734967. (~>) (t6989586621680734967 a6989586621680734974) (m6989586621680734973 (t6989586621680734967 b6989586621680734975))

Instances

(STraversable t, SMonad m, SingI d) => SingI (MapMSym1 d t :: TyFun (t a) (m (t b)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (MapMSym1 d t)

SuppressUnusedWarnings (MapMSym1 arg6989586621680734985 t6989586621680734967 :: TyFun (t6989586621680734967 a6989586621680734974) (m6989586621680734973 (t6989586621680734967 b6989586621680734975)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (MapMSym1 arg6989586621680734985 t :: TyFun (t a) (m (t b)) -> Type) (arg6989586621680734986 :: t a)

Defined in Data.Singletons.Prelude.Traversable

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

type MapMSym2 (arg6989586621680734985 :: (~>) a6989586621680734974 (m6989586621680734973 b6989586621680734975)) (arg6989586621680734986 :: t6989586621680734967 a6989586621680734974) = MapM arg6989586621680734985 arg6989586621680734986

data MapM_Sym0 :: forall a6989586621680438471 b6989586621680438472 m6989586621680438470 t6989586621680438469. (~>) ((~>) a6989586621680438471 (m6989586621680438470 b6989586621680438472)) ((~>) (t6989586621680438469 a6989586621680438471) (m6989586621680438470 ()))

Instances

(SFoldable t, SMonad m) => SingI (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing MapM_Sym0

SuppressUnusedWarnings (MapM_Sym0 :: TyFun (a6989586621680438471 ~> m6989586621680438470 b6989586621680438472) (t6989586621680438469 a6989586621680438471 ~> m6989586621680438470 ()) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

suppressUnusedWarnings :: ()

type Apply (MapM_Sym0 :: TyFun (a6989586621680438471 ~> m6989586621680438470 b6989586621680438472) (t6989586621680438469 a6989586621680438471 ~> m6989586621680438470 ()) -> Type) (a6989586621680439069 :: a6989586621680438471 ~> m6989586621680438470 b6989586621680438472)

Defined in Data.Singletons.Prelude.Foldable

type Apply (MapM_Sym0 :: TyFun (a6989586621680438471 ~> m6989586621680438470 b6989586621680438472) (t6989586621680438469 a6989586621680438471 ~> m6989586621680438470 ()) -> Type) (a6989586621680439069 :: a6989586621680438471 ~> m6989586621680438470 b6989586621680438472) = (MapM_Sym1 a6989586621680439069 t6989586621680438469 :: TyFun (t6989586621680438469 a6989586621680438471) (m6989586621680438470 ()) -> Type)

data MapM_Sym1 (a6989586621680439069 :: (~>) a6989586621680438471 (m6989586621680438470 b6989586621680438472)) :: forall t6989586621680438469. (~>) (t6989586621680438469 a6989586621680438471) (m6989586621680438470 ())

Instances

(SFoldable t, SMonad m, SingI d) => SingI (MapM_Sym1 d t :: TyFun (t a) (m ()) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (MapM_Sym1 d t)

SuppressUnusedWarnings (MapM_Sym1 a6989586621680439069 t6989586621680438469 :: TyFun (t6989586621680438469 a6989586621680438471) (m6989586621680438470 ()) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

suppressUnusedWarnings :: ()

type Apply (MapM_Sym1 a6989586621680439069 t :: TyFun (t a) (m ()) -> Type) (a6989586621680439070 :: t a)

Defined in Data.Singletons.Prelude.Foldable

type Apply (MapM_Sym1 a6989586621680439069 t :: TyFun (t a) (m ()) -> Type) (a6989586621680439070 :: t a) = MapM_ a6989586621680439069 a6989586621680439070

type MapM_Sym2 (a6989586621680439069 :: (~>) a6989586621680438471 (m6989586621680438470 b6989586621680438472)) (a6989586621680439070 :: t6989586621680438469 a6989586621680438471) = MapM_ a6989586621680439069 a6989586621680439070

data ForMSym0 :: forall a6989586621680740550 b6989586621680740551 m6989586621680740549 t6989586621680740548. (~>) (t6989586621680740548 a6989586621680740550) ((~>) ((~>) a6989586621680740550 (m6989586621680740549 b6989586621680740551)) (m6989586621680740549 (t6989586621680740548 b6989586621680740551)))

Instances

(STraversable t, SMonad m) => SingI (ForMSym0 :: TyFun (t a) ((a ~> m b) ~> m (t b)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing ForMSym0

SuppressUnusedWarnings (ForMSym0 :: TyFun (t6989586621680740548 a6989586621680740550) ((a6989586621680740550 ~> m6989586621680740549 b6989586621680740551) ~> m6989586621680740549 (t6989586621680740548 b6989586621680740551)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (ForMSym0 :: TyFun (t6989586621680740548 a6989586621680740550) ((a6989586621680740550 ~> m6989586621680740549 b6989586621680740551) ~> m6989586621680740549 (t6989586621680740548 b6989586621680740551)) -> Type) (a6989586621680741105 :: t6989586621680740548 a6989586621680740550)

Defined in Data.Singletons.Prelude.Traversable

type Apply (ForMSym0 :: TyFun (t6989586621680740548 a6989586621680740550) ((a6989586621680740550 ~> m6989586621680740549 b6989586621680740551) ~> m6989586621680740549 (t6989586621680740548 b6989586621680740551)) -> Type) (a6989586621680741105 :: t6989586621680740548 a6989586621680740550) = (ForMSym1 a6989586621680741105 b6989586621680740551 m6989586621680740549 :: TyFun (a6989586621680740550 ~> m6989586621680740549 b6989586621680740551) (m6989586621680740549 (t6989586621680740548 b6989586621680740551)) -> Type)

data ForMSym1 (a6989586621680741105 :: t6989586621680740548 a6989586621680740550) :: forall b6989586621680740551 m6989586621680740549. (~>) ((~>) a6989586621680740550 (m6989586621680740549 b6989586621680740551)) (m6989586621680740549 (t6989586621680740548 b6989586621680740551))

Instances

(STraversable t, SMonad m, SingI d) => SingI (ForMSym1 d b m :: TyFun (a ~> m b) (m (t b)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing (ForMSym1 d b m)

SuppressUnusedWarnings (ForMSym1 a6989586621680741105 b6989586621680740551 m6989586621680740549 :: TyFun (a6989586621680740550 ~> m6989586621680740549 b6989586621680740551) (m6989586621680740549 (t6989586621680740548 b6989586621680740551)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (ForMSym1 a6989586621680741105 b m :: TyFun (a ~> m b) (m (t b)) -> Type) (a6989586621680741106 :: a ~> m b)

Defined in Data.Singletons.Prelude.Traversable

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

type ForMSym2 (a6989586621680741105 :: t6989586621680740548 a6989586621680740550) (a6989586621680741106 :: (~>) a6989586621680740550 (m6989586621680740549 b6989586621680740551)) = ForM a6989586621680741105 a6989586621680741106

data SequenceSym0 :: forall a6989586621680734977 m6989586621680734976 t6989586621680734967. (~>) (t6989586621680734967 (m6989586621680734976 a6989586621680734977)) (m6989586621680734976 (t6989586621680734967 a6989586621680734977))

Instances

(STraversable t, SMonad m) => SingI (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

sing :: Sing SequenceSym0

SuppressUnusedWarnings (SequenceSym0 :: TyFun (t6989586621680734967 (m6989586621680734976 a6989586621680734977)) (m6989586621680734976 (t6989586621680734967 a6989586621680734977)) -> Type)

Defined in Data.Singletons.Prelude.Traversable

Methods

suppressUnusedWarnings :: ()

type Apply (SequenceSym0 :: TyFun (t (m a)) (m (t a)) -> Type) (arg6989586621680734989 :: t (m a))

Defined in Data.Singletons.Prelude.Traversable

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

type SequenceSym1 (arg6989586621680734989 :: t6989586621680734967 (m6989586621680734976 a6989586621680734977)) = Sequence arg6989586621680734989

data Sequence_Sym0 :: forall a6989586621680438461 m6989586621680438460 t6989586621680438459. (~>) (t6989586621680438459 (m6989586621680438460 a6989586621680438461)) (m6989586621680438460 ())

Instances

(SFoldable t, SMonad m) => SingI (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing Sequence_Sym0

SuppressUnusedWarnings (Sequence_Sym0 :: TyFun (t6989586621680438459 (m6989586621680438460 a6989586621680438461)) (m6989586621680438460 ()) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

suppressUnusedWarnings :: ()

type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680439061 :: t (m a))

Defined in Data.Singletons.Prelude.Foldable

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

type Sequence_Sym1 (a6989586621680439061 :: t6989586621680438459 (m6989586621680438460 a6989586621680438461)) = Sequence_ a6989586621680439061

data (=<<@#@$) :: forall a6989586621679535995 b6989586621679535996 m6989586621679535994. (~>) ((~>) a6989586621679535995 (m6989586621679535994 b6989586621679535996)) ((~>) (m6989586621679535994 a6989586621679535995) (m6989586621679535994 b6989586621679535996)) infixr 1

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

SuppressUnusedWarnings ((=<<@#@$) :: TyFun (a6989586621679535995 ~> m6989586621679535994 b6989586621679535996) (m6989586621679535994 a6989586621679535995 ~> m6989586621679535994 b6989586621679535996) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply ((=<<@#@$) :: TyFun (a6989586621679535995 ~> m6989586621679535994 b6989586621679535996) (m6989586621679535994 a6989586621679535995 ~> m6989586621679535994 b6989586621679535996) -> Type) (a6989586621679536390 :: a6989586621679535995 ~> m6989586621679535994 b6989586621679535996)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((=<<@#@$) :: TyFun (a6989586621679535995 ~> m6989586621679535994 b6989586621679535996) (m6989586621679535994 a6989586621679535995 ~> m6989586621679535994 b6989586621679535996) -> Type) (a6989586621679536390 :: a6989586621679535995 ~> m6989586621679535994 b6989586621679535996) = (=<<@#@$$) a6989586621679536390

data (=<<@#@$$) (a6989586621679536390 :: (~>) a6989586621679535995 (m6989586621679535994 b6989586621679535996)) :: (~>) (m6989586621679535994 a6989586621679535995) (m6989586621679535994 b6989586621679535996) infixr 1

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

SuppressUnusedWarnings ((=<<@#@$$) a6989586621679536390 :: TyFun (m6989586621679535994 a6989586621679535995) (m6989586621679535994 b6989586621679535996) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Monad.Internal

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

type (=<<@#@$$$) (a6989586621679536390 :: (~>) a6989586621679535995 (m6989586621679535994 b6989586621679535996)) (a6989586621679536391 :: m6989586621679535994 a6989586621679535995) = (=<<) a6989586621679536390 a6989586621679536391

data (>=>@#@$) :: forall a6989586621681193246 b6989586621681193247 c6989586621681193248 m6989586621681193245. (~>) ((~>) a6989586621681193246 (m6989586621681193245 b6989586621681193247)) ((~>) ((~>) b6989586621681193247 (m6989586621681193245 c6989586621681193248)) ((~>) a6989586621681193246 (m6989586621681193245 c6989586621681193248))) infixr 1

Instances

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

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (>=>@#@$)

SuppressUnusedWarnings ((>=>@#@$) :: TyFun (a6989586621681193246 ~> m6989586621681193245 b6989586621681193247) ((b6989586621681193247 ~> m6989586621681193245 c6989586621681193248) ~> (a6989586621681193246 ~> m6989586621681193245 c6989586621681193248)) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply ((>=>@#@$) :: TyFun (a6989586621681193246 ~> m6989586621681193245 b6989586621681193247) ((b6989586621681193247 ~> m6989586621681193245 c6989586621681193248) ~> (a6989586621681193246 ~> m6989586621681193245 c6989586621681193248)) -> Type) (a6989586621681193679 :: a6989586621681193246 ~> m6989586621681193245 b6989586621681193247)

Defined in Data.Singletons.Prelude.Monad

type Apply ((>=>@#@$) :: TyFun (a6989586621681193246 ~> m6989586621681193245 b6989586621681193247) ((b6989586621681193247 ~> m6989586621681193245 c6989586621681193248) ~> (a6989586621681193246 ~> m6989586621681193245 c6989586621681193248)) -> Type) (a6989586621681193679 :: a6989586621681193246 ~> m6989586621681193245 b6989586621681193247) = (a6989586621681193679 >=>@#@$$ c6989586621681193248 :: TyFun (b6989586621681193247 ~> m6989586621681193245 c6989586621681193248) (a6989586621681193246 ~> m6989586621681193245 c6989586621681193248) -> Type)

data (>=>@#@$$) (a6989586621681193679 :: (~>) a6989586621681193246 (m6989586621681193245 b6989586621681193247)) :: forall c6989586621681193248. (~>) ((~>) b6989586621681193247 (m6989586621681193245 c6989586621681193248)) ((~>) a6989586621681193246 (m6989586621681193245 c6989586621681193248)) infixr 1

Instances

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

Defined in Data.Singletons.Prelude.Monad

Methods

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

SuppressUnusedWarnings (a6989586621681193679 >=>@#@$$ c6989586621681193248 :: TyFun (b6989586621681193247 ~> m6989586621681193245 c6989586621681193248) (a6989586621681193246 ~> m6989586621681193245 c6989586621681193248) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (a6989586621681193679 >=>@#@$$ c6989586621681193248 :: TyFun (b6989586621681193247 ~> m6989586621681193245 c6989586621681193248) (a6989586621681193246 ~> m6989586621681193245 c6989586621681193248) -> Type) (a6989586621681193680 :: b6989586621681193247 ~> m6989586621681193245 c6989586621681193248)

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681193679 >=>@#@$$ c6989586621681193248 :: TyFun (b6989586621681193247 ~> m6989586621681193245 c6989586621681193248) (a6989586621681193246 ~> m6989586621681193245 c6989586621681193248) -> Type) (a6989586621681193680 :: b6989586621681193247 ~> m6989586621681193245 c6989586621681193248) = a6989586621681193679 >=>@#@$$$ a6989586621681193680

data (a6989586621681193679 :: (~>) a6989586621681193246 (m6989586621681193245 b6989586621681193247)) >=>@#@$$$ (a6989586621681193680 :: (~>) b6989586621681193247 (m6989586621681193245 c6989586621681193248)) :: (~>) a6989586621681193246 (m6989586621681193245 c6989586621681193248) infixr 1

Instances

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

Defined in Data.Singletons.Prelude.Monad

Methods

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

SuppressUnusedWarnings (a6989586621681193680 >=>@#@$$$ a6989586621681193679 :: TyFun a6989586621681193246 (m6989586621681193245 c6989586621681193248) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (a6989586621681193680 >=>@#@$$$ a6989586621681193679 :: TyFun a (m c) -> Type) (a6989586621681193681 :: a)

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681193680 >=>@#@$$$ a6989586621681193679 :: TyFun a (m c) -> Type) (a6989586621681193681 :: a) = (a6989586621681193680 >=> a6989586621681193679) a6989586621681193681

data (<=<@#@$) :: forall a6989586621681193244 b6989586621681193242 c6989586621681193243 m6989586621681193241. (~>) ((~>) b6989586621681193242 (m6989586621681193241 c6989586621681193243)) ((~>) ((~>) a6989586621681193244 (m6989586621681193241 b6989586621681193242)) ((~>) a6989586621681193244 (m6989586621681193241 c6989586621681193243))) infixr 1

Instances

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

Defined in Data.Singletons.Prelude.Monad

Methods

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

SuppressUnusedWarnings ((<=<@#@$) :: TyFun (b6989586621681193242 ~> m6989586621681193241 c6989586621681193243) ((a6989586621681193244 ~> m6989586621681193241 b6989586621681193242) ~> (a6989586621681193244 ~> m6989586621681193241 c6989586621681193243)) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply ((<=<@#@$) :: TyFun (b6989586621681193242 ~> m6989586621681193241 c6989586621681193243) ((a6989586621681193244 ~> m6989586621681193241 b6989586621681193242) ~> (a6989586621681193244 ~> m6989586621681193241 c6989586621681193243)) -> Type) (a6989586621681193704 :: b6989586621681193242 ~> m6989586621681193241 c6989586621681193243)

Defined in Data.Singletons.Prelude.Monad

type Apply ((<=<@#@$) :: TyFun (b6989586621681193242 ~> m6989586621681193241 c6989586621681193243) ((a6989586621681193244 ~> m6989586621681193241 b6989586621681193242) ~> (a6989586621681193244 ~> m6989586621681193241 c6989586621681193243)) -> Type) (a6989586621681193704 :: b6989586621681193242 ~> m6989586621681193241 c6989586621681193243) = (a6989586621681193704 <=<@#@$$ a6989586621681193244 :: TyFun (a6989586621681193244 ~> m6989586621681193241 b6989586621681193242) (a6989586621681193244 ~> m6989586621681193241 c6989586621681193243) -> Type)

data (<=<@#@$$) (a6989586621681193704 :: (~>) b6989586621681193242 (m6989586621681193241 c6989586621681193243)) :: forall a6989586621681193244. (~>) ((~>) a6989586621681193244 (m6989586621681193241 b6989586621681193242)) ((~>) a6989586621681193244 (m6989586621681193241 c6989586621681193243)) infixr 1

Instances

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

Defined in Data.Singletons.Prelude.Monad

Methods

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

SuppressUnusedWarnings (a6989586621681193704 <=<@#@$$ a6989586621681193244 :: TyFun (a6989586621681193244 ~> m6989586621681193241 b6989586621681193242) (a6989586621681193244 ~> m6989586621681193241 c6989586621681193243) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (a6989586621681193704 <=<@#@$$ a6989586621681193244 :: TyFun (a6989586621681193244 ~> m6989586621681193241 b6989586621681193242) (a6989586621681193244 ~> m6989586621681193241 c6989586621681193243) -> Type) (a6989586621681193705 :: a6989586621681193244 ~> m6989586621681193241 b6989586621681193242)

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681193704 <=<@#@$$ a6989586621681193244 :: TyFun (a6989586621681193244 ~> m6989586621681193241 b6989586621681193242) (a6989586621681193244 ~> m6989586621681193241 c6989586621681193243) -> Type) (a6989586621681193705 :: a6989586621681193244 ~> m6989586621681193241 b6989586621681193242) = a6989586621681193704 <=<@#@$$$ a6989586621681193705

data (a6989586621681193704 :: (~>) b6989586621681193242 (m6989586621681193241 c6989586621681193243)) <=<@#@$$$ (a6989586621681193705 :: (~>) a6989586621681193244 (m6989586621681193241 b6989586621681193242)) :: (~>) a6989586621681193244 (m6989586621681193241 c6989586621681193243) infixr 1

Instances

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

Defined in Data.Singletons.Prelude.Monad

Methods

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

SuppressUnusedWarnings (a6989586621681193705 <=<@#@$$$ a6989586621681193704 :: TyFun a6989586621681193244 (m6989586621681193241 c6989586621681193243) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (a6989586621681193705 <=<@#@$$$ a6989586621681193704 :: TyFun a (m c) -> Type) (a6989586621681193706 :: a)

Defined in Data.Singletons.Prelude.Monad

type Apply (a6989586621681193705 <=<@#@$$$ a6989586621681193704 :: TyFun a (m c) -> Type) (a6989586621681193706 :: a) = (a6989586621681193705 <=< a6989586621681193704) a6989586621681193706

data VoidSym0 :: forall a6989586621679705371 f6989586621679705370. (~>) (f6989586621679705370 a6989586621679705371) (f6989586621679705370 ())

Instances

SFunctor f => SingI (VoidSym0 :: TyFun (f a) (f ()) -> Type)

Defined in Data.Singletons.Prelude.Functor

Methods

sing :: Sing VoidSym0

SuppressUnusedWarnings (VoidSym0 :: TyFun (f6989586621679705370 a6989586621679705371) (f6989586621679705370 ()) -> Type)

Defined in Data.Singletons.Prelude.Functor

Methods

suppressUnusedWarnings :: ()

type Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) (a6989586621679705442 :: f a)

Defined in Data.Singletons.Prelude.Functor

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

type VoidSym1 (a6989586621679705442 :: f6989586621679705370 a6989586621679705371) = Void a6989586621679705442

data JoinSym0 :: forall a6989586621679535998 m6989586621679535997. (~>) (m6989586621679535997 (m6989586621679535997 a6989586621679535998)) (m6989586621679535997 a6989586621679535998)

Instances

SMonad m => SingI (JoinSym0 :: TyFun (m (m a)) (m a) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing JoinSym0

SuppressUnusedWarnings (JoinSym0 :: TyFun (m6989586621679535997 (m6989586621679535997 a6989586621679535998)) (m6989586621679535997 a6989586621679535998) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (JoinSym0 :: TyFun (m (m a)) (m a) -> Type) (a6989586621679536396 :: m (m a))

Defined in Data.Singletons.Prelude.Monad.Internal

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

type JoinSym1 (a6989586621679536396 :: m6989586621679535997 (m6989586621679535997 a6989586621679535998)) = Join a6989586621679536396

data MsumSym0 :: forall a6989586621680438455 m6989586621680438454 t6989586621680438453. (~>) (t6989586621680438453 (m6989586621680438454 a6989586621680438455)) (m6989586621680438454 a6989586621680438455)

Instances

(SFoldable t, SMonadPlus m) => SingI (MsumSym0 :: TyFun (t (m a)) (m a) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing MsumSym0

SuppressUnusedWarnings (MsumSym0 :: TyFun (t6989586621680438453 (m6989586621680438454 a6989586621680438455)) (m6989586621680438454 a6989586621680438455) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

suppressUnusedWarnings :: ()

type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621680439056 :: t (m a))

Defined in Data.Singletons.Prelude.Foldable

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

type MsumSym1 (a6989586621680439056 :: t6989586621680438453 (m6989586621680438454 a6989586621680438455)) = Msum a6989586621680439056

data MfilterSym0 :: forall a6989586621681193212 m6989586621681193211. (~>) ((~>) a6989586621681193212 Bool) ((~>) (m6989586621681193211 a6989586621681193212) (m6989586621681193211 a6989586621681193212))

Instances

SMonadPlus m => SingI (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing MfilterSym0

SuppressUnusedWarnings (MfilterSym0 :: TyFun (a6989586621681193212 ~> Bool) (m6989586621681193211 a6989586621681193212 ~> m6989586621681193211 a6989586621681193212) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (MfilterSym0 :: TyFun (a6989586621681193212 ~> Bool) (m6989586621681193211 a6989586621681193212 ~> m6989586621681193211 a6989586621681193212) -> Type) (a6989586621681193547 :: a6989586621681193212 ~> Bool)

Defined in Data.Singletons.Prelude.Monad

type Apply (MfilterSym0 :: TyFun (a6989586621681193212 ~> Bool) (m6989586621681193211 a6989586621681193212 ~> m6989586621681193211 a6989586621681193212) -> Type) (a6989586621681193547 :: a6989586621681193212 ~> Bool) = (MfilterSym1 a6989586621681193547 m6989586621681193211 :: TyFun (m6989586621681193211 a6989586621681193212) (m6989586621681193211 a6989586621681193212) -> Type)

data MfilterSym1 (a6989586621681193547 :: (~>) a6989586621681193212 Bool) :: forall m6989586621681193211. (~>) (m6989586621681193211 a6989586621681193212) (m6989586621681193211 a6989586621681193212)

Instances

(SMonadPlus m, SingI d) => SingI (MfilterSym1 d m :: TyFun (m a) (m a) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (MfilterSym1 d m)

SuppressUnusedWarnings (MfilterSym1 a6989586621681193547 m6989586621681193211 :: TyFun (m6989586621681193211 a6989586621681193212) (m6989586621681193211 a6989586621681193212) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (MfilterSym1 a6989586621681193547 m :: TyFun (m a) (m a) -> Type) (a6989586621681193548 :: m a)

Defined in Data.Singletons.Prelude.Monad

type Apply (MfilterSym1 a6989586621681193547 m :: TyFun (m a) (m a) -> Type) (a6989586621681193548 :: m a) = Mfilter a6989586621681193547 a6989586621681193548

type MfilterSym2 (a6989586621681193547 :: (~>) a6989586621681193212 Bool) (a6989586621681193548 :: m6989586621681193211 a6989586621681193212) = Mfilter a6989586621681193547 a6989586621681193548

data FilterMSym0 :: forall a6989586621681193250 m6989586621681193249. (~>) ((~>) a6989586621681193250 (m6989586621681193249 Bool)) ((~>) [a6989586621681193250] (m6989586621681193249 [a6989586621681193250]))

Instances

SApplicative m => SingI (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing FilterMSym0

SuppressUnusedWarnings (FilterMSym0 :: TyFun (a6989586621681193250 ~> m6989586621681193249 Bool) ([a6989586621681193250] ~> m6989586621681193249 [a6989586621681193250]) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (FilterMSym0 :: TyFun (a6989586621681193250 ~> m6989586621681193249 Bool) ([a6989586621681193250] ~> m6989586621681193249 [a6989586621681193250]) -> Type) (a6989586621681193713 :: a6989586621681193250 ~> m6989586621681193249 Bool)

Defined in Data.Singletons.Prelude.Monad

type Apply (FilterMSym0 :: TyFun (a6989586621681193250 ~> m6989586621681193249 Bool) ([a6989586621681193250] ~> m6989586621681193249 [a6989586621681193250]) -> Type) (a6989586621681193713 :: a6989586621681193250 ~> m6989586621681193249 Bool) = FilterMSym1 a6989586621681193713

data FilterMSym1 (a6989586621681193713 :: (~>) a6989586621681193250 (m6989586621681193249 Bool)) :: (~>) [a6989586621681193250] (m6989586621681193249 [a6989586621681193250])

Instances

(SApplicative m, SingI d) => SingI (FilterMSym1 d :: TyFun [a] (m [a]) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (FilterMSym1 d)

SuppressUnusedWarnings (FilterMSym1 a6989586621681193713 :: TyFun [a6989586621681193250] (m6989586621681193249 [a6989586621681193250]) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (FilterMSym1 a6989586621681193713 :: TyFun [a] (m [a]) -> Type) (a6989586621681193714 :: [a])

Defined in Data.Singletons.Prelude.Monad

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

type FilterMSym2 (a6989586621681193713 :: (~>) a6989586621681193250 (m6989586621681193249 Bool)) (a6989586621681193714 :: [a6989586621681193250]) = FilterM a6989586621681193713 a6989586621681193714

data MapAndUnzipMSym0 :: forall a6989586621681193238 b6989586621681193239 c6989586621681193240 m6989586621681193237. (~>) ((~>) a6989586621681193238 (m6989586621681193237 (b6989586621681193239, c6989586621681193240))) ((~>) [a6989586621681193238] (m6989586621681193237 ([b6989586621681193239], [c6989586621681193240])))

Instances

SApplicative m => SingI (MapAndUnzipMSym0 :: TyFun (a ~> m (b, c)) ([a] ~> m ([b], [c])) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing MapAndUnzipMSym0

SuppressUnusedWarnings (MapAndUnzipMSym0 :: TyFun (a6989586621681193238 ~> m6989586621681193237 (b6989586621681193239, c6989586621681193240)) ([a6989586621681193238] ~> m6989586621681193237 ([b6989586621681193239], [c6989586621681193240])) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (MapAndUnzipMSym0 :: TyFun (a6989586621681193238 ~> m6989586621681193237 (b6989586621681193239, c6989586621681193240)) ([a6989586621681193238] ~> m6989586621681193237 ([b6989586621681193239], [c6989586621681193240])) -> Type) (a6989586621681193673 :: a6989586621681193238 ~> m6989586621681193237 (b6989586621681193239, c6989586621681193240))

Defined in Data.Singletons.Prelude.Monad

type Apply (MapAndUnzipMSym0 :: TyFun (a6989586621681193238 ~> m6989586621681193237 (b6989586621681193239, c6989586621681193240)) ([a6989586621681193238] ~> m6989586621681193237 ([b6989586621681193239], [c6989586621681193240])) -> Type) (a6989586621681193673 :: a6989586621681193238 ~> m6989586621681193237 (b6989586621681193239, c6989586621681193240)) = MapAndUnzipMSym1 a6989586621681193673

data MapAndUnzipMSym1 (a6989586621681193673 :: (~>) a6989586621681193238 (m6989586621681193237 (b6989586621681193239, c6989586621681193240))) :: (~>) [a6989586621681193238] (m6989586621681193237 ([b6989586621681193239], [c6989586621681193240]))

Instances

(SApplicative m, SingI d) => SingI (MapAndUnzipMSym1 d :: TyFun [a] (m ([b], [c])) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (MapAndUnzipMSym1 d)

SuppressUnusedWarnings (MapAndUnzipMSym1 a6989586621681193673 :: TyFun [a6989586621681193238] (m6989586621681193237 ([b6989586621681193239], [c6989586621681193240])) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (MapAndUnzipMSym1 a6989586621681193673 :: TyFun [a] (m ([b], [c])) -> Type) (a6989586621681193674 :: [a])

Defined in Data.Singletons.Prelude.Monad

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

type MapAndUnzipMSym2 (a6989586621681193673 :: (~>) a6989586621681193238 (m6989586621681193237 (b6989586621681193239, c6989586621681193240))) (a6989586621681193674 :: [a6989586621681193238]) = MapAndUnzipM a6989586621681193673 a6989586621681193674

data ZipWithMSym0 :: forall a6989586621681193234 b6989586621681193235 c6989586621681193236 m6989586621681193233. (~>) ((~>) a6989586621681193234 ((~>) b6989586621681193235 (m6989586621681193233 c6989586621681193236))) ((~>) [a6989586621681193234] ((~>) [b6989586621681193235] (m6989586621681193233 [c6989586621681193236])))

Instances

SApplicative m => SingI (ZipWithMSym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m [c])) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing ZipWithMSym0

SuppressUnusedWarnings (ZipWithMSym0 :: TyFun (a6989586621681193234 ~> (b6989586621681193235 ~> m6989586621681193233 c6989586621681193236)) ([a6989586621681193234] ~> ([b6989586621681193235] ~> m6989586621681193233 [c6989586621681193236])) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithMSym0 :: TyFun (a6989586621681193234 ~> (b6989586621681193235 ~> m6989586621681193233 c6989586621681193236)) ([a6989586621681193234] ~> ([b6989586621681193235] ~> m6989586621681193233 [c6989586621681193236])) -> Type) (a6989586621681193664 :: a6989586621681193234 ~> (b6989586621681193235 ~> m6989586621681193233 c6989586621681193236))

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithMSym0 :: TyFun (a6989586621681193234 ~> (b6989586621681193235 ~> m6989586621681193233 c6989586621681193236)) ([a6989586621681193234] ~> ([b6989586621681193235] ~> m6989586621681193233 [c6989586621681193236])) -> Type) (a6989586621681193664 :: a6989586621681193234 ~> (b6989586621681193235 ~> m6989586621681193233 c6989586621681193236)) = ZipWithMSym1 a6989586621681193664

data ZipWithMSym1 (a6989586621681193664 :: (~>) a6989586621681193234 ((~>) b6989586621681193235 (m6989586621681193233 c6989586621681193236))) :: (~>) [a6989586621681193234] ((~>) [b6989586621681193235] (m6989586621681193233 [c6989586621681193236]))

Instances

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

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (ZipWithMSym1 d)

SuppressUnusedWarnings (ZipWithMSym1 a6989586621681193664 :: TyFun [a6989586621681193234] ([b6989586621681193235] ~> m6989586621681193233 [c6989586621681193236]) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithMSym1 a6989586621681193664 :: TyFun [a6989586621681193234] ([b6989586621681193235] ~> m6989586621681193233 [c6989586621681193236]) -> Type) (a6989586621681193665 :: [a6989586621681193234])

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithMSym1 a6989586621681193664 :: TyFun [a6989586621681193234] ([b6989586621681193235] ~> m6989586621681193233 [c6989586621681193236]) -> Type) (a6989586621681193665 :: [a6989586621681193234]) = ZipWithMSym2 a6989586621681193664 a6989586621681193665

data ZipWithMSym2 (a6989586621681193664 :: (~>) a6989586621681193234 ((~>) b6989586621681193235 (m6989586621681193233 c6989586621681193236))) (a6989586621681193665 :: [a6989586621681193234]) :: (~>) [b6989586621681193235] (m6989586621681193233 [c6989586621681193236])

Instances

(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithMSym2 d1 d2 :: TyFun [b] (m [c]) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (ZipWithMSym2 d1 d2)

SuppressUnusedWarnings (ZipWithMSym2 a6989586621681193665 a6989586621681193664 :: TyFun [b6989586621681193235] (m6989586621681193233 [c6989586621681193236]) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithMSym2 a6989586621681193665 a6989586621681193664 :: TyFun [b] (m [c]) -> Type) (a6989586621681193666 :: [b])

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithMSym2 a6989586621681193665 a6989586621681193664 :: TyFun [b] (m [c]) -> Type) (a6989586621681193666 :: [b]) = ZipWithM a6989586621681193665 a6989586621681193664 a6989586621681193666

type ZipWithMSym3 (a6989586621681193664 :: (~>) a6989586621681193234 ((~>) b6989586621681193235 (m6989586621681193233 c6989586621681193236))) (a6989586621681193665 :: [a6989586621681193234]) (a6989586621681193666 :: [b6989586621681193235]) = ZipWithM a6989586621681193664 a6989586621681193665 a6989586621681193666

data ZipWithM_Sym0 :: forall a6989586621681193230 b6989586621681193231 c6989586621681193232 m6989586621681193229. (~>) ((~>) a6989586621681193230 ((~>) b6989586621681193231 (m6989586621681193229 c6989586621681193232))) ((~>) [a6989586621681193230] ((~>) [b6989586621681193231] (m6989586621681193229 ())))

Instances

SApplicative m => SingI (ZipWithM_Sym0 :: TyFun (a ~> (b ~> m c)) ([a] ~> ([b] ~> m ())) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing ZipWithM_Sym0

SuppressUnusedWarnings (ZipWithM_Sym0 :: TyFun (a6989586621681193230 ~> (b6989586621681193231 ~> m6989586621681193229 c6989586621681193232)) ([a6989586621681193230] ~> ([b6989586621681193231] ~> m6989586621681193229 ())) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithM_Sym0 :: TyFun (a6989586621681193230 ~> (b6989586621681193231 ~> m6989586621681193229 c6989586621681193232)) ([a6989586621681193230] ~> ([b6989586621681193231] ~> m6989586621681193229 ())) -> Type) (a6989586621681193655 :: a6989586621681193230 ~> (b6989586621681193231 ~> m6989586621681193229 c6989586621681193232))

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithM_Sym0 :: TyFun (a6989586621681193230 ~> (b6989586621681193231 ~> m6989586621681193229 c6989586621681193232)) ([a6989586621681193230] ~> ([b6989586621681193231] ~> m6989586621681193229 ())) -> Type) (a6989586621681193655 :: a6989586621681193230 ~> (b6989586621681193231 ~> m6989586621681193229 c6989586621681193232)) = ZipWithM_Sym1 a6989586621681193655

data ZipWithM_Sym1 (a6989586621681193655 :: (~>) a6989586621681193230 ((~>) b6989586621681193231 (m6989586621681193229 c6989586621681193232))) :: (~>) [a6989586621681193230] ((~>) [b6989586621681193231] (m6989586621681193229 ()))

Instances

(SApplicative m, SingI d) => SingI (ZipWithM_Sym1 d :: TyFun [a] ([b] ~> m ()) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (ZipWithM_Sym1 d)

SuppressUnusedWarnings (ZipWithM_Sym1 a6989586621681193655 :: TyFun [a6989586621681193230] ([b6989586621681193231] ~> m6989586621681193229 ()) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithM_Sym1 a6989586621681193655 :: TyFun [a6989586621681193230] ([b6989586621681193231] ~> m6989586621681193229 ()) -> Type) (a6989586621681193656 :: [a6989586621681193230])

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithM_Sym1 a6989586621681193655 :: TyFun [a6989586621681193230] ([b6989586621681193231] ~> m6989586621681193229 ()) -> Type) (a6989586621681193656 :: [a6989586621681193230]) = ZipWithM_Sym2 a6989586621681193655 a6989586621681193656

data ZipWithM_Sym2 (a6989586621681193655 :: (~>) a6989586621681193230 ((~>) b6989586621681193231 (m6989586621681193229 c6989586621681193232))) (a6989586621681193656 :: [a6989586621681193230]) :: (~>) [b6989586621681193231] (m6989586621681193229 ())

Instances

(SApplicative m, SingI d1, SingI d2) => SingI (ZipWithM_Sym2 d1 d2 :: TyFun [b] (m ()) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (ZipWithM_Sym2 d1 d2)

SuppressUnusedWarnings (ZipWithM_Sym2 a6989586621681193656 a6989586621681193655 :: TyFun [b6989586621681193231] (m6989586621681193229 ()) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithM_Sym2 a6989586621681193656 a6989586621681193655 :: TyFun [b] (m ()) -> Type) (a6989586621681193657 :: [b])

Defined in Data.Singletons.Prelude.Monad

type Apply (ZipWithM_Sym2 a6989586621681193656 a6989586621681193655 :: TyFun [b] (m ()) -> Type) (a6989586621681193657 :: [b]) = ZipWithM_ a6989586621681193656 a6989586621681193655 a6989586621681193657

type ZipWithM_Sym3 (a6989586621681193655 :: (~>) a6989586621681193230 ((~>) b6989586621681193231 (m6989586621681193229 c6989586621681193232))) (a6989586621681193656 :: [a6989586621681193230]) (a6989586621681193657 :: [b6989586621681193231]) = ZipWithM_ a6989586621681193655 a6989586621681193656 a6989586621681193657

data FoldlMSym0 :: forall a6989586621680438484 b6989586621680438483 m6989586621680438482 t6989586621680438481. (~>) ((~>) b6989586621680438483 ((~>) a6989586621680438484 (m6989586621680438482 b6989586621680438483))) ((~>) b6989586621680438483 ((~>) (t6989586621680438481 a6989586621680438484) (m6989586621680438482 b6989586621680438483)))

Instances

(SFoldable t, SMonad m) => SingI (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing FoldlMSym0

SuppressUnusedWarnings (FoldlMSym0 :: TyFun (b6989586621680438483 ~> (a6989586621680438484 ~> m6989586621680438482 b6989586621680438483)) (b6989586621680438483 ~> (t6989586621680438481 a6989586621680438484 ~> m6989586621680438482 b6989586621680438483)) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

suppressUnusedWarnings :: ()

type Apply (FoldlMSym0 :: TyFun (b6989586621680438483 ~> (a6989586621680438484 ~> m6989586621680438482 b6989586621680438483)) (b6989586621680438483 ~> (t6989586621680438481 a6989586621680438484 ~> m6989586621680438482 b6989586621680438483)) -> Type) (a6989586621680439105 :: b6989586621680438483 ~> (a6989586621680438484 ~> m6989586621680438482 b6989586621680438483))

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym0 :: TyFun (b6989586621680438483 ~> (a6989586621680438484 ~> m6989586621680438482 b6989586621680438483)) (b6989586621680438483 ~> (t6989586621680438481 a6989586621680438484 ~> m6989586621680438482 b6989586621680438483)) -> Type) (a6989586621680439105 :: b6989586621680438483 ~> (a6989586621680438484 ~> m6989586621680438482 b6989586621680438483)) = (FoldlMSym1 a6989586621680439105 t6989586621680438481 :: TyFun b6989586621680438483 (t6989586621680438481 a6989586621680438484 ~> m6989586621680438482 b6989586621680438483) -> Type)

data FoldlMSym1 (a6989586621680439105 :: (~>) b6989586621680438483 ((~>) a6989586621680438484 (m6989586621680438482 b6989586621680438483))) :: forall t6989586621680438481. (~>) b6989586621680438483 ((~>) (t6989586621680438481 a6989586621680438484) (m6989586621680438482 b6989586621680438483))

Instances

(SFoldable t, SMonad m, SingI d) => SingI (FoldlMSym1 d t :: TyFun b (t a ~> m b) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FoldlMSym1 d t)

SuppressUnusedWarnings (FoldlMSym1 a6989586621680439105 t6989586621680438481 :: TyFun b6989586621680438483 (t6989586621680438481 a6989586621680438484 ~> m6989586621680438482 b6989586621680438483) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

suppressUnusedWarnings :: ()

type Apply (FoldlMSym1 a6989586621680439105 t6989586621680438481 :: TyFun b6989586621680438483 (t6989586621680438481 a6989586621680438484 ~> m6989586621680438482 b6989586621680438483) -> Type) (a6989586621680439106 :: b6989586621680438483)

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym1 a6989586621680439105 t6989586621680438481 :: TyFun b6989586621680438483 (t6989586621680438481 a6989586621680438484 ~> m6989586621680438482 b6989586621680438483) -> Type) (a6989586621680439106 :: b6989586621680438483) = (FoldlMSym2 a6989586621680439105 a6989586621680439106 t6989586621680438481 :: TyFun (t6989586621680438481 a6989586621680438484) (m6989586621680438482 b6989586621680438483) -> Type)

data FoldlMSym2 (a6989586621680439105 :: (~>) b6989586621680438483 ((~>) a6989586621680438484 (m6989586621680438482 b6989586621680438483))) (a6989586621680439106 :: b6989586621680438483) :: forall t6989586621680438481. (~>) (t6989586621680438481 a6989586621680438484) (m6989586621680438482 b6989586621680438483)

Instances

(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldlMSym2 d1 d2 t :: TyFun (t a) (m b) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FoldlMSym2 d1 d2 t)

SuppressUnusedWarnings (FoldlMSym2 a6989586621680439106 a6989586621680439105 t6989586621680438481 :: TyFun (t6989586621680438481 a6989586621680438484) (m6989586621680438482 b6989586621680438483) -> Type)

Defined in Data.Singletons.Prelude.Foldable

Methods

suppressUnusedWarnings :: ()

type Apply (FoldlMSym2 a6989586621680439106 a6989586621680439105 t :: TyFun (t a) (m b) -> Type) (a6989586621680439107 :: t a)

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym2 a6989586621680439106 a6989586621680439105 t :: TyFun (t a) (m b) -> Type) (a6989586621680439107 :: t a) = FoldlM a6989586621680439106 a6989586621680439105 a6989586621680439107

type FoldlMSym3 (a6989586621680439105 :: (~>) b6989586621680438483 ((~>) a6989586621680438484 (m6989586621680438482 b6989586621680438483))) (a6989586621680439106 :: b6989586621680438483) (a6989586621680439107 :: t6989586621680438481 a6989586621680438484) = FoldlM a6989586621680439105 a6989586621680439106 a6989586621680439107

data ReplicateMSym0 :: forall a6989586621681193220 m6989586621681193219. (~>) Nat ((~>) (m6989586621681193219 a6989586621681193220) (m6989586621681193219 [a6989586621681193220]))

Instances

SApplicative m => SingI (ReplicateMSym0 :: TyFun Nat (m a ~> m [a]) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing ReplicateMSym0

SuppressUnusedWarnings (ReplicateMSym0 :: TyFun Nat (m6989586621681193219 a6989586621681193220 ~> m6989586621681193219 [a6989586621681193220]) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (ReplicateMSym0 :: TyFun Nat (m6989586621681193219 a6989586621681193220 ~> m6989586621681193219 [a6989586621681193220]) -> Type) (a6989586621681193612 :: Nat)

Defined in Data.Singletons.Prelude.Monad

type Apply (ReplicateMSym0 :: TyFun Nat (m6989586621681193219 a6989586621681193220 ~> m6989586621681193219 [a6989586621681193220]) -> Type) (a6989586621681193612 :: Nat) = (ReplicateMSym1 a6989586621681193612 a6989586621681193220 m6989586621681193219 :: TyFun (m6989586621681193219 a6989586621681193220) (m6989586621681193219 [a6989586621681193220]) -> Type)

data ReplicateMSym1 (a6989586621681193612 :: Nat) :: forall a6989586621681193220 m6989586621681193219. (~>) (m6989586621681193219 a6989586621681193220) (m6989586621681193219 [a6989586621681193220])

Instances

(SApplicative m, SingI d) => SingI (ReplicateMSym1 d a m :: TyFun (m a) (m [a]) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (ReplicateMSym1 d a m)

SuppressUnusedWarnings (ReplicateMSym1 a6989586621681193612 a6989586621681193220 m6989586621681193219 :: TyFun (m6989586621681193219 a6989586621681193220) (m6989586621681193219 [a6989586621681193220]) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (ReplicateMSym1 a6989586621681193612 a m :: TyFun (m a) (m [a]) -> Type) (a6989586621681193613 :: m a)

Defined in Data.Singletons.Prelude.Monad

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

type ReplicateMSym2 (a6989586621681193612 :: Nat) (a6989586621681193613 :: m6989586621681193219 a6989586621681193220) = ReplicateM a6989586621681193612 a6989586621681193613

data ReplicateM_Sym0 :: forall a6989586621681193218 m6989586621681193217. (~>) Nat ((~>) (m6989586621681193217 a6989586621681193218) (m6989586621681193217 ()))

Instances

SApplicative m => SingI (ReplicateM_Sym0 :: TyFun Nat (m a ~> m ()) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing ReplicateM_Sym0

SuppressUnusedWarnings (ReplicateM_Sym0 :: TyFun Nat (m6989586621681193217 a6989586621681193218 ~> m6989586621681193217 ()) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (ReplicateM_Sym0 :: TyFun Nat (m6989586621681193217 a6989586621681193218 ~> m6989586621681193217 ()) -> Type) (a6989586621681193593 :: Nat)

Defined in Data.Singletons.Prelude.Monad

type Apply (ReplicateM_Sym0 :: TyFun Nat (m6989586621681193217 a6989586621681193218 ~> m6989586621681193217 ()) -> Type) (a6989586621681193593 :: Nat) = (ReplicateM_Sym1 a6989586621681193593 a6989586621681193218 m6989586621681193217 :: TyFun (m6989586621681193217 a6989586621681193218) (m6989586621681193217 ()) -> Type)

data ReplicateM_Sym1 (a6989586621681193593 :: Nat) :: forall a6989586621681193218 m6989586621681193217. (~>) (m6989586621681193217 a6989586621681193218) (m6989586621681193217 ())

Instances

(SApplicative m, SingI d) => SingI (ReplicateM_Sym1 d a m :: TyFun (m a) (m ()) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (ReplicateM_Sym1 d a m)

SuppressUnusedWarnings (ReplicateM_Sym1 a6989586621681193593 a6989586621681193218 m6989586621681193217 :: TyFun (m6989586621681193217 a6989586621681193218) (m6989586621681193217 ()) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (ReplicateM_Sym1 a6989586621681193593 a m :: TyFun (m a) (m ()) -> Type) (a6989586621681193594 :: m a)

Defined in Data.Singletons.Prelude.Monad

type Apply (ReplicateM_Sym1 a6989586621681193593 a m :: TyFun (m a) (m ()) -> Type) (a6989586621681193594 :: m a) = ReplicateM_ a6989586621681193593 a6989586621681193594

type ReplicateM_Sym2 (a6989586621681193593 :: Nat) (a6989586621681193594 :: m6989586621681193217 a6989586621681193218) = ReplicateM_ a6989586621681193593 a6989586621681193594

data GuardSym0 :: forall f6989586621679535964. (~>) Bool (f6989586621679535964 ())

Instances

SAlternative f => SingI (GuardSym0 :: TyFun Bool (f ()) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing GuardSym0

SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f6989586621679535964 ()) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (GuardSym0 :: TyFun Bool (f6989586621679535964 ()) -> Type) (a6989586621679536133 :: Bool)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (GuardSym0 :: TyFun Bool (f6989586621679535964 ()) -> Type) (a6989586621679536133 :: Bool) = (Guard a6989586621679536133 :: f6989586621679535964 ())

type GuardSym1 (a6989586621679536133 :: Bool) = Guard a6989586621679536133

data WhenSym0 :: forall f6989586621679535993. (~>) Bool ((~>) (f6989586621679535993 ()) (f6989586621679535993 ()))

Instances

SApplicative f => SingI (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing WhenSym0

SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f6989586621679535993 () ~> f6989586621679535993 ()) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (WhenSym0 :: TyFun Bool (f6989586621679535993 () ~> f6989586621679535993 ()) -> Type) (a6989586621679536381 :: Bool)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (WhenSym0 :: TyFun Bool (f6989586621679535993 () ~> f6989586621679535993 ()) -> Type) (a6989586621679536381 :: Bool) = (WhenSym1 a6989586621679536381 f6989586621679535993 :: TyFun (f6989586621679535993 ()) (f6989586621679535993 ()) -> Type)

data WhenSym1 (a6989586621679536381 :: Bool) :: forall f6989586621679535993. (~>) (f6989586621679535993 ()) (f6989586621679535993 ())

Instances

(SApplicative f, SingI d) => SingI (WhenSym1 d f :: TyFun (f ()) (f ()) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (WhenSym1 d f)

SuppressUnusedWarnings (WhenSym1 a6989586621679536381 f6989586621679535993 :: TyFun (f6989586621679535993 ()) (f6989586621679535993 ()) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (WhenSym1 a6989586621679536381 f :: TyFun (f ()) (f ()) -> Type) (a6989586621679536382 :: f ())

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (WhenSym1 a6989586621679536381 f :: TyFun (f ()) (f ()) -> Type) (a6989586621679536382 :: f ()) = When a6989586621679536381 a6989586621679536382

type WhenSym2 (a6989586621679536381 :: Bool) (a6989586621679536382 :: f6989586621679535993 ()) = When a6989586621679536381 a6989586621679536382

data UnlessSym0 :: forall f6989586621681193216. (~>) Bool ((~>) (f6989586621681193216 ()) (f6989586621681193216 ()))

Instances

SApplicative f => SingI (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing UnlessSym0

SuppressUnusedWarnings (UnlessSym0 :: TyFun Bool (f6989586621681193216 () ~> f6989586621681193216 ()) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (UnlessSym0 :: TyFun Bool (f6989586621681193216 () ~> f6989586621681193216 ()) -> Type) (a6989586621681193584 :: Bool)

Defined in Data.Singletons.Prelude.Monad

type Apply (UnlessSym0 :: TyFun Bool (f6989586621681193216 () ~> f6989586621681193216 ()) -> Type) (a6989586621681193584 :: Bool) = (UnlessSym1 a6989586621681193584 f6989586621681193216 :: TyFun (f6989586621681193216 ()) (f6989586621681193216 ()) -> Type)

data UnlessSym1 (a6989586621681193584 :: Bool) :: forall f6989586621681193216. (~>) (f6989586621681193216 ()) (f6989586621681193216 ())

Instances

(SApplicative f, SingI d) => SingI (UnlessSym1 d f :: TyFun (f ()) (f ()) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (UnlessSym1 d f)

SuppressUnusedWarnings (UnlessSym1 a6989586621681193584 f6989586621681193216 :: TyFun (f6989586621681193216 ()) (f6989586621681193216 ()) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (UnlessSym1 a6989586621681193584 f :: TyFun (f ()) (f ()) -> Type) (a6989586621681193585 :: f ())

Defined in Data.Singletons.Prelude.Monad

type Apply (UnlessSym1 a6989586621681193584 f :: TyFun (f ()) (f ()) -> Type) (a6989586621681193585 :: f ()) = Unless a6989586621681193584 a6989586621681193585

type UnlessSym2 (a6989586621681193584 :: Bool) (a6989586621681193585 :: f6989586621681193216 ()) = Unless a6989586621681193584 a6989586621681193585

data LiftMSym0 :: forall a16989586621679535991 m6989586621679535990 r6989586621679535992. (~>) ((~>) a16989586621679535991 r6989586621679535992) ((~>) (m6989586621679535990 a16989586621679535991) (m6989586621679535990 r6989586621679535992))

Instances

SMonad m => SingI (LiftMSym0 :: TyFun (a1 ~> r) (m a1 ~> m r) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing LiftMSym0

SuppressUnusedWarnings (LiftMSym0 :: TyFun (a16989586621679535991 ~> r6989586621679535992) (m6989586621679535990 a16989586621679535991 ~> m6989586621679535990 r6989586621679535992) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftMSym0 :: TyFun (a16989586621679535991 ~> r6989586621679535992) (m6989586621679535990 a16989586621679535991 ~> m6989586621679535990 r6989586621679535992) -> Type) (a6989586621679536368 :: a16989586621679535991 ~> r6989586621679535992)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftMSym0 :: TyFun (a16989586621679535991 ~> r6989586621679535992) (m6989586621679535990 a16989586621679535991 ~> m6989586621679535990 r6989586621679535992) -> Type) (a6989586621679536368 :: a16989586621679535991 ~> r6989586621679535992) = (LiftMSym1 a6989586621679536368 m6989586621679535990 :: TyFun (m6989586621679535990 a16989586621679535991) (m6989586621679535990 r6989586621679535992) -> Type)

data LiftMSym1 (a6989586621679536368 :: (~>) a16989586621679535991 r6989586621679535992) :: forall m6989586621679535990. (~>) (m6989586621679535990 a16989586621679535991) (m6989586621679535990 r6989586621679535992)

Instances

(SMonad m, SingI d) => SingI (LiftMSym1 d m :: TyFun (m a1) (m r) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftMSym1 d m)

SuppressUnusedWarnings (LiftMSym1 a6989586621679536368 m6989586621679535990 :: TyFun (m6989586621679535990 a16989586621679535991) (m6989586621679535990 r6989586621679535992) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftMSym1 a6989586621679536368 m :: TyFun (m a1) (m r) -> Type) (a6989586621679536369 :: m a1)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftMSym1 a6989586621679536368 m :: TyFun (m a1) (m r) -> Type) (a6989586621679536369 :: m a1) = LiftM a6989586621679536368 a6989586621679536369

type LiftMSym2 (a6989586621679536368 :: (~>) a16989586621679535991 r6989586621679535992) (a6989586621679536369 :: m6989586621679535990 a16989586621679535991) = LiftM a6989586621679536368 a6989586621679536369

data LiftM2Sym0 :: forall a16989586621679535987 a26989586621679535988 m6989586621679535986 r6989586621679535989. (~>) ((~>) a16989586621679535987 ((~>) a26989586621679535988 r6989586621679535989)) ((~>) (m6989586621679535986 a16989586621679535987) ((~>) (m6989586621679535986 a26989586621679535988) (m6989586621679535986 r6989586621679535989)))

Instances

SMonad m => SingI (LiftM2Sym0 :: TyFun (a1 ~> (a2 ~> r)) (m a1 ~> (m a2 ~> m r)) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing LiftM2Sym0

SuppressUnusedWarnings (LiftM2Sym0 :: TyFun (a16989586621679535987 ~> (a26989586621679535988 ~> r6989586621679535989)) (m6989586621679535986 a16989586621679535987 ~> (m6989586621679535986 a26989586621679535988 ~> m6989586621679535986 r6989586621679535989)) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM2Sym0 :: TyFun (a16989586621679535987 ~> (a26989586621679535988 ~> r6989586621679535989)) (m6989586621679535986 a16989586621679535987 ~> (m6989586621679535986 a26989586621679535988 ~> m6989586621679535986 r6989586621679535989)) -> Type) (a6989586621679536342 :: a16989586621679535987 ~> (a26989586621679535988 ~> r6989586621679535989))

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM2Sym0 :: TyFun (a16989586621679535987 ~> (a26989586621679535988 ~> r6989586621679535989)) (m6989586621679535986 a16989586621679535987 ~> (m6989586621679535986 a26989586621679535988 ~> m6989586621679535986 r6989586621679535989)) -> Type) (a6989586621679536342 :: a16989586621679535987 ~> (a26989586621679535988 ~> r6989586621679535989)) = (LiftM2Sym1 a6989586621679536342 m6989586621679535986 :: TyFun (m6989586621679535986 a16989586621679535987) (m6989586621679535986 a26989586621679535988 ~> m6989586621679535986 r6989586621679535989) -> Type)

data LiftM2Sym1 (a6989586621679536342 :: (~>) a16989586621679535987 ((~>) a26989586621679535988 r6989586621679535989)) :: forall m6989586621679535986. (~>) (m6989586621679535986 a16989586621679535987) ((~>) (m6989586621679535986 a26989586621679535988) (m6989586621679535986 r6989586621679535989))

Instances

(SMonad m, SingI d) => SingI (LiftM2Sym1 d m :: TyFun (m a1) (m a2 ~> m r) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM2Sym1 d m)

SuppressUnusedWarnings (LiftM2Sym1 a6989586621679536342 m6989586621679535986 :: TyFun (m6989586621679535986 a16989586621679535987) (m6989586621679535986 a26989586621679535988 ~> m6989586621679535986 r6989586621679535989) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM2Sym1 a6989586621679536342 m6989586621679535986 :: TyFun (m6989586621679535986 a16989586621679535987) (m6989586621679535986 a26989586621679535988 ~> m6989586621679535986 r6989586621679535989) -> Type) (a6989586621679536343 :: m6989586621679535986 a16989586621679535987)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM2Sym1 a6989586621679536342 m6989586621679535986 :: TyFun (m6989586621679535986 a16989586621679535987) (m6989586621679535986 a26989586621679535988 ~> m6989586621679535986 r6989586621679535989) -> Type) (a6989586621679536343 :: m6989586621679535986 a16989586621679535987) = LiftM2Sym2 a6989586621679536342 a6989586621679536343

data LiftM2Sym2 (a6989586621679536342 :: (~>) a16989586621679535987 ((~>) a26989586621679535988 r6989586621679535989)) (a6989586621679536343 :: m6989586621679535986 a16989586621679535987) :: (~>) (m6989586621679535986 a26989586621679535988) (m6989586621679535986 r6989586621679535989)

Instances

(SMonad m, SingI d1, SingI d2) => SingI (LiftM2Sym2 d1 d2 :: TyFun (m a2) (m r) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM2Sym2 d1 d2)

SuppressUnusedWarnings (LiftM2Sym2 a6989586621679536343 a6989586621679536342 :: TyFun (m6989586621679535986 a26989586621679535988) (m6989586621679535986 r6989586621679535989) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM2Sym2 a6989586621679536343 a6989586621679536342 :: TyFun (m a2) (m r) -> Type) (a6989586621679536344 :: m a2)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM2Sym2 a6989586621679536343 a6989586621679536342 :: TyFun (m a2) (m r) -> Type) (a6989586621679536344 :: m a2) = LiftM2 a6989586621679536343 a6989586621679536342 a6989586621679536344

type LiftM2Sym3 (a6989586621679536342 :: (~>) a16989586621679535987 ((~>) a26989586621679535988 r6989586621679535989)) (a6989586621679536343 :: m6989586621679535986 a16989586621679535987) (a6989586621679536344 :: m6989586621679535986 a26989586621679535988) = LiftM2 a6989586621679536342 a6989586621679536343 a6989586621679536344

data LiftM3Sym0 :: forall a16989586621679535982 a26989586621679535983 a36989586621679535984 m6989586621679535981 r6989586621679535985. (~>) ((~>) a16989586621679535982 ((~>) a26989586621679535983 ((~>) a36989586621679535984 r6989586621679535985))) ((~>) (m6989586621679535981 a16989586621679535982) ((~>) (m6989586621679535981 a26989586621679535983) ((~>) (m6989586621679535981 a36989586621679535984) (m6989586621679535981 r6989586621679535985))))

Instances

SMonad m => SingI (LiftM3Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> r))) (m a1 ~> (m a2 ~> (m a3 ~> m r))) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing LiftM3Sym0

SuppressUnusedWarnings (LiftM3Sym0 :: TyFun (a16989586621679535982 ~> (a26989586621679535983 ~> (a36989586621679535984 ~> r6989586621679535985))) (m6989586621679535981 a16989586621679535982 ~> (m6989586621679535981 a26989586621679535983 ~> (m6989586621679535981 a36989586621679535984 ~> m6989586621679535981 r6989586621679535985))) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM3Sym0 :: TyFun (a16989586621679535982 ~> (a26989586621679535983 ~> (a36989586621679535984 ~> r6989586621679535985))) (m6989586621679535981 a16989586621679535982 ~> (m6989586621679535981 a26989586621679535983 ~> (m6989586621679535981 a36989586621679535984 ~> m6989586621679535981 r6989586621679535985))) -> Type) (a6989586621679536300 :: a16989586621679535982 ~> (a26989586621679535983 ~> (a36989586621679535984 ~> r6989586621679535985)))

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM3Sym0 :: TyFun (a16989586621679535982 ~> (a26989586621679535983 ~> (a36989586621679535984 ~> r6989586621679535985))) (m6989586621679535981 a16989586621679535982 ~> (m6989586621679535981 a26989586621679535983 ~> (m6989586621679535981 a36989586621679535984 ~> m6989586621679535981 r6989586621679535985))) -> Type) (a6989586621679536300 :: a16989586621679535982 ~> (a26989586621679535983 ~> (a36989586621679535984 ~> r6989586621679535985))) = (LiftM3Sym1 a6989586621679536300 m6989586621679535981 :: TyFun (m6989586621679535981 a16989586621679535982) (m6989586621679535981 a26989586621679535983 ~> (m6989586621679535981 a36989586621679535984 ~> m6989586621679535981 r6989586621679535985)) -> Type)

data LiftM3Sym1 (a6989586621679536300 :: (~>) a16989586621679535982 ((~>) a26989586621679535983 ((~>) a36989586621679535984 r6989586621679535985))) :: forall m6989586621679535981. (~>) (m6989586621679535981 a16989586621679535982) ((~>) (m6989586621679535981 a26989586621679535983) ((~>) (m6989586621679535981 a36989586621679535984) (m6989586621679535981 r6989586621679535985)))

Instances

(SMonad m, SingI d) => SingI (LiftM3Sym1 d m :: TyFun (m a1) (m a2 ~> (m a3 ~> m r)) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM3Sym1 d m)

SuppressUnusedWarnings (LiftM3Sym1 a6989586621679536300 m6989586621679535981 :: TyFun (m6989586621679535981 a16989586621679535982) (m6989586621679535981 a26989586621679535983 ~> (m6989586621679535981 a36989586621679535984 ~> m6989586621679535981 r6989586621679535985)) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM3Sym1 a6989586621679536300 m6989586621679535981 :: TyFun (m6989586621679535981 a16989586621679535982) (m6989586621679535981 a26989586621679535983 ~> (m6989586621679535981 a36989586621679535984 ~> m6989586621679535981 r6989586621679535985)) -> Type) (a6989586621679536301 :: m6989586621679535981 a16989586621679535982)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM3Sym1 a6989586621679536300 m6989586621679535981 :: TyFun (m6989586621679535981 a16989586621679535982) (m6989586621679535981 a26989586621679535983 ~> (m6989586621679535981 a36989586621679535984 ~> m6989586621679535981 r6989586621679535985)) -> Type) (a6989586621679536301 :: m6989586621679535981 a16989586621679535982) = LiftM3Sym2 a6989586621679536300 a6989586621679536301

data LiftM3Sym2 (a6989586621679536300 :: (~>) a16989586621679535982 ((~>) a26989586621679535983 ((~>) a36989586621679535984 r6989586621679535985))) (a6989586621679536301 :: m6989586621679535981 a16989586621679535982) :: (~>) (m6989586621679535981 a26989586621679535983) ((~>) (m6989586621679535981 a36989586621679535984) (m6989586621679535981 r6989586621679535985))

Instances

(SMonad m, SingI d1, SingI d2) => SingI (LiftM3Sym2 d1 d2 :: TyFun (m a2) (m a3 ~> m r) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM3Sym2 d1 d2)

SuppressUnusedWarnings (LiftM3Sym2 a6989586621679536301 a6989586621679536300 :: TyFun (m6989586621679535981 a26989586621679535983) (m6989586621679535981 a36989586621679535984 ~> m6989586621679535981 r6989586621679535985) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM3Sym2 a6989586621679536301 a6989586621679536300 :: TyFun (m6989586621679535981 a26989586621679535983) (m6989586621679535981 a36989586621679535984 ~> m6989586621679535981 r6989586621679535985) -> Type) (a6989586621679536302 :: m6989586621679535981 a26989586621679535983)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM3Sym2 a6989586621679536301 a6989586621679536300 :: TyFun (m6989586621679535981 a26989586621679535983) (m6989586621679535981 a36989586621679535984 ~> m6989586621679535981 r6989586621679535985) -> Type) (a6989586621679536302 :: m6989586621679535981 a26989586621679535983) = LiftM3Sym3 a6989586621679536301 a6989586621679536300 a6989586621679536302

data LiftM3Sym3 (a6989586621679536300 :: (~>) a16989586621679535982 ((~>) a26989586621679535983 ((~>) a36989586621679535984 r6989586621679535985))) (a6989586621679536301 :: m6989586621679535981 a16989586621679535982) (a6989586621679536302 :: m6989586621679535981 a26989586621679535983) :: (~>) (m6989586621679535981 a36989586621679535984) (m6989586621679535981 r6989586621679535985)

Instances

(SMonad m, SingI d1, SingI d2, SingI d3) => SingI (LiftM3Sym3 d1 d2 d3 :: TyFun (m a3) (m r) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM3Sym3 d1 d2 d3)

SuppressUnusedWarnings (LiftM3Sym3 a6989586621679536302 a6989586621679536301 a6989586621679536300 :: TyFun (m6989586621679535981 a36989586621679535984) (m6989586621679535981 r6989586621679535985) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM3Sym3 a6989586621679536302 a6989586621679536301 a6989586621679536300 :: TyFun (m a3) (m r) -> Type) (a6989586621679536303 :: m a3)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM3Sym3 a6989586621679536302 a6989586621679536301 a6989586621679536300 :: TyFun (m a3) (m r) -> Type) (a6989586621679536303 :: m a3) = LiftM3 a6989586621679536302 a6989586621679536301 a6989586621679536300 a6989586621679536303

type LiftM3Sym4 (a6989586621679536300 :: (~>) a16989586621679535982 ((~>) a26989586621679535983 ((~>) a36989586621679535984 r6989586621679535985))) (a6989586621679536301 :: m6989586621679535981 a16989586621679535982) (a6989586621679536302 :: m6989586621679535981 a26989586621679535983) (a6989586621679536303 :: m6989586621679535981 a36989586621679535984) = LiftM3 a6989586621679536300 a6989586621679536301 a6989586621679536302 a6989586621679536303

data LiftM4Sym0 :: forall a16989586621679535976 a26989586621679535977 a36989586621679535978 a46989586621679535979 m6989586621679535975 r6989586621679535980. (~>) ((~>) a16989586621679535976 ((~>) a26989586621679535977 ((~>) a36989586621679535978 ((~>) a46989586621679535979 r6989586621679535980)))) ((~>) (m6989586621679535975 a16989586621679535976) ((~>) (m6989586621679535975 a26989586621679535977) ((~>) (m6989586621679535975 a36989586621679535978) ((~>) (m6989586621679535975 a46989586621679535979) (m6989586621679535975 r6989586621679535980)))))

Instances

SMonad m => SingI (LiftM4Sym0 :: TyFun (a1 ~> (a2 ~> (a3 ~> (a4 ~> r)))) (m a1 ~> (m a2 ~> (m a3 ~> (m a4 ~> m r)))) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing LiftM4Sym0

SuppressUnusedWarnings (LiftM4Sym0 :: TyFun (a16989586621679535976 ~> (a26989586621679535977 ~> (a36989586621679535978 ~> (a46989586621679535979 ~> r6989586621679535980)))) (m6989586621679535975 a16989586621679535976 ~> (m6989586621679535975 a26989586621679535977 ~> (m6989586621679535975 a36989586621679535978 ~> (m6989586621679535975 a46989586621679535979 ~> m6989586621679535975 r6989586621679535980)))) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM4Sym0 :: TyFun (a16989586621679535976 ~> (a26989586621679535977 ~> (a36989586621679535978 ~> (a46989586621679535979 ~> r6989586621679535980)))) (m6989586621679535975 a16989586621679535976 ~> (m6989586621679535975 a26989586621679535977 ~> (m6989586621679535975 a36989586621679535978 ~> (m6989586621679535975 a46989586621679535979 ~> m6989586621679535975 r6989586621679535980)))) -> Type) (a6989586621679536239 :: a16989586621679535976 ~> (a26989586621679535977 ~> (a36989586621679535978 ~> (a46989586621679535979 ~> r6989586621679535980))))

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym0 :: TyFun (a16989586621679535976 ~> (a26989586621679535977 ~> (a36989586621679535978 ~> (a46989586621679535979 ~> r6989586621679535980)))) (m6989586621679535975 a16989586621679535976 ~> (m6989586621679535975 a26989586621679535977 ~> (m6989586621679535975 a36989586621679535978 ~> (m6989586621679535975 a46989586621679535979 ~> m6989586621679535975 r6989586621679535980)))) -> Type) (a6989586621679536239 :: a16989586621679535976 ~> (a26989586621679535977 ~> (a36989586621679535978 ~> (a46989586621679535979 ~> r6989586621679535980)))) = (LiftM4Sym1 a6989586621679536239 m6989586621679535975 :: TyFun (m6989586621679535975 a16989586621679535976) (m6989586621679535975 a26989586621679535977 ~> (m6989586621679535975 a36989586621679535978 ~> (m6989586621679535975 a46989586621679535979 ~> m6989586621679535975 r6989586621679535980))) -> Type)

data LiftM4Sym1 (a6989586621679536239 :: (~>) a16989586621679535976 ((~>) a26989586621679535977 ((~>) a36989586621679535978 ((~>) a46989586621679535979 r6989586621679535980)))) :: forall m6989586621679535975. (~>) (m6989586621679535975 a16989586621679535976) ((~>) (m6989586621679535975 a26989586621679535977) ((~>) (m6989586621679535975 a36989586621679535978) ((~>) (m6989586621679535975 a46989586621679535979) (m6989586621679535975 r6989586621679535980))))

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM4Sym1 d m)

SuppressUnusedWarnings (LiftM4Sym1 a6989586621679536239 m6989586621679535975 :: TyFun (m6989586621679535975 a16989586621679535976) (m6989586621679535975 a26989586621679535977 ~> (m6989586621679535975 a36989586621679535978 ~> (m6989586621679535975 a46989586621679535979 ~> m6989586621679535975 r6989586621679535980))) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM4Sym1 a6989586621679536239 m6989586621679535975 :: TyFun (m6989586621679535975 a16989586621679535976) (m6989586621679535975 a26989586621679535977 ~> (m6989586621679535975 a36989586621679535978 ~> (m6989586621679535975 a46989586621679535979 ~> m6989586621679535975 r6989586621679535980))) -> Type) (a6989586621679536240 :: m6989586621679535975 a16989586621679535976)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym1 a6989586621679536239 m6989586621679535975 :: TyFun (m6989586621679535975 a16989586621679535976) (m6989586621679535975 a26989586621679535977 ~> (m6989586621679535975 a36989586621679535978 ~> (m6989586621679535975 a46989586621679535979 ~> m6989586621679535975 r6989586621679535980))) -> Type) (a6989586621679536240 :: m6989586621679535975 a16989586621679535976) = LiftM4Sym2 a6989586621679536239 a6989586621679536240

data LiftM4Sym2 (a6989586621679536239 :: (~>) a16989586621679535976 ((~>) a26989586621679535977 ((~>) a36989586621679535978 ((~>) a46989586621679535979 r6989586621679535980)))) (a6989586621679536240 :: m6989586621679535975 a16989586621679535976) :: (~>) (m6989586621679535975 a26989586621679535977) ((~>) (m6989586621679535975 a36989586621679535978) ((~>) (m6989586621679535975 a46989586621679535979) (m6989586621679535975 r6989586621679535980)))

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM4Sym2 d1 d2)

SuppressUnusedWarnings (LiftM4Sym2 a6989586621679536240 a6989586621679536239 :: TyFun (m6989586621679535975 a26989586621679535977) (m6989586621679535975 a36989586621679535978 ~> (m6989586621679535975 a46989586621679535979 ~> m6989586621679535975 r6989586621679535980)) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM4Sym2 a6989586621679536240 a6989586621679536239 :: TyFun (m6989586621679535975 a26989586621679535977) (m6989586621679535975 a36989586621679535978 ~> (m6989586621679535975 a46989586621679535979 ~> m6989586621679535975 r6989586621679535980)) -> Type) (a6989586621679536241 :: m6989586621679535975 a26989586621679535977)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym2 a6989586621679536240 a6989586621679536239 :: TyFun (m6989586621679535975 a26989586621679535977) (m6989586621679535975 a36989586621679535978 ~> (m6989586621679535975 a46989586621679535979 ~> m6989586621679535975 r6989586621679535980)) -> Type) (a6989586621679536241 :: m6989586621679535975 a26989586621679535977) = LiftM4Sym3 a6989586621679536240 a6989586621679536239 a6989586621679536241

data LiftM4Sym3 (a6989586621679536239 :: (~>) a16989586621679535976 ((~>) a26989586621679535977 ((~>) a36989586621679535978 ((~>) a46989586621679535979 r6989586621679535980)))) (a6989586621679536240 :: m6989586621679535975 a16989586621679535976) (a6989586621679536241 :: m6989586621679535975 a26989586621679535977) :: (~>) (m6989586621679535975 a36989586621679535978) ((~>) (m6989586621679535975 a46989586621679535979) (m6989586621679535975 r6989586621679535980))

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM4Sym3 d1 d2 d3)

SuppressUnusedWarnings (LiftM4Sym3 a6989586621679536241 a6989586621679536240 a6989586621679536239 :: TyFun (m6989586621679535975 a36989586621679535978) (m6989586621679535975 a46989586621679535979 ~> m6989586621679535975 r6989586621679535980) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM4Sym3 a6989586621679536241 a6989586621679536240 a6989586621679536239 :: TyFun (m6989586621679535975 a36989586621679535978) (m6989586621679535975 a46989586621679535979 ~> m6989586621679535975 r6989586621679535980) -> Type) (a6989586621679536242 :: m6989586621679535975 a36989586621679535978)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym3 a6989586621679536241 a6989586621679536240 a6989586621679536239 :: TyFun (m6989586621679535975 a36989586621679535978) (m6989586621679535975 a46989586621679535979 ~> m6989586621679535975 r6989586621679535980) -> Type) (a6989586621679536242 :: m6989586621679535975 a36989586621679535978) = LiftM4Sym4 a6989586621679536241 a6989586621679536240 a6989586621679536239 a6989586621679536242

data LiftM4Sym4 (a6989586621679536239 :: (~>) a16989586621679535976 ((~>) a26989586621679535977 ((~>) a36989586621679535978 ((~>) a46989586621679535979 r6989586621679535980)))) (a6989586621679536240 :: m6989586621679535975 a16989586621679535976) (a6989586621679536241 :: m6989586621679535975 a26989586621679535977) (a6989586621679536242 :: m6989586621679535975 a36989586621679535978) :: (~>) (m6989586621679535975 a46989586621679535979) (m6989586621679535975 r6989586621679535980)

Instances

(SMonad m, SingI d1, SingI d2, SingI d3, SingI d4) => SingI (LiftM4Sym4 d1 d2 d3 d4 :: TyFun (m a4) (m r) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM4Sym4 d1 d2 d3 d4)

SuppressUnusedWarnings (LiftM4Sym4 a6989586621679536242 a6989586621679536241 a6989586621679536240 a6989586621679536239 :: TyFun (m6989586621679535975 a46989586621679535979) (m6989586621679535975 r6989586621679535980) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM4Sym4 a6989586621679536242 a6989586621679536241 a6989586621679536240 a6989586621679536239 :: TyFun (m a4) (m r) -> Type) (a6989586621679536243 :: m a4)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM4Sym4 a6989586621679536242 a6989586621679536241 a6989586621679536240 a6989586621679536239 :: TyFun (m a4) (m r) -> Type) (a6989586621679536243 :: m a4) = LiftM4 a6989586621679536242 a6989586621679536241 a6989586621679536240 a6989586621679536239 a6989586621679536243

type LiftM4Sym5 (a6989586621679536239 :: (~>) a16989586621679535976 ((~>) a26989586621679535977 ((~>) a36989586621679535978 ((~>) a46989586621679535979 r6989586621679535980)))) (a6989586621679536240 :: m6989586621679535975 a16989586621679535976) (a6989586621679536241 :: m6989586621679535975 a26989586621679535977) (a6989586621679536242 :: m6989586621679535975 a36989586621679535978) (a6989586621679536243 :: m6989586621679535975 a46989586621679535979) = LiftM4 a6989586621679536239 a6989586621679536240 a6989586621679536241 a6989586621679536242 a6989586621679536243

data LiftM5Sym0 :: forall a16989586621679535969 a26989586621679535970 a36989586621679535971 a46989586621679535972 a56989586621679535973 m6989586621679535968 r6989586621679535974. (~>) ((~>) a16989586621679535969 ((~>) a26989586621679535970 ((~>) a36989586621679535971 ((~>) a46989586621679535972 ((~>) a56989586621679535973 r6989586621679535974))))) ((~>) (m6989586621679535968 a16989586621679535969) ((~>) (m6989586621679535968 a26989586621679535970) ((~>) (m6989586621679535968 a36989586621679535971) ((~>) (m6989586621679535968 a46989586621679535972) ((~>) (m6989586621679535968 a56989586621679535973) (m6989586621679535968 r6989586621679535974))))))

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)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing LiftM5Sym0

SuppressUnusedWarnings (LiftM5Sym0 :: TyFun (a16989586621679535969 ~> (a26989586621679535970 ~> (a36989586621679535971 ~> (a46989586621679535972 ~> (a56989586621679535973 ~> r6989586621679535974))))) (m6989586621679535968 a16989586621679535969 ~> (m6989586621679535968 a26989586621679535970 ~> (m6989586621679535968 a36989586621679535971 ~> (m6989586621679535968 a46989586621679535972 ~> (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974))))) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM5Sym0 :: TyFun (a16989586621679535969 ~> (a26989586621679535970 ~> (a36989586621679535971 ~> (a46989586621679535972 ~> (a56989586621679535973 ~> r6989586621679535974))))) (m6989586621679535968 a16989586621679535969 ~> (m6989586621679535968 a26989586621679535970 ~> (m6989586621679535968 a36989586621679535971 ~> (m6989586621679535968 a46989586621679535972 ~> (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974))))) -> Type) (a6989586621679536156 :: a16989586621679535969 ~> (a26989586621679535970 ~> (a36989586621679535971 ~> (a46989586621679535972 ~> (a56989586621679535973 ~> r6989586621679535974)))))

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym0 :: TyFun (a16989586621679535969 ~> (a26989586621679535970 ~> (a36989586621679535971 ~> (a46989586621679535972 ~> (a56989586621679535973 ~> r6989586621679535974))))) (m6989586621679535968 a16989586621679535969 ~> (m6989586621679535968 a26989586621679535970 ~> (m6989586621679535968 a36989586621679535971 ~> (m6989586621679535968 a46989586621679535972 ~> (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974))))) -> Type) (a6989586621679536156 :: a16989586621679535969 ~> (a26989586621679535970 ~> (a36989586621679535971 ~> (a46989586621679535972 ~> (a56989586621679535973 ~> r6989586621679535974))))) = (LiftM5Sym1 a6989586621679536156 m6989586621679535968 :: TyFun (m6989586621679535968 a16989586621679535969) (m6989586621679535968 a26989586621679535970 ~> (m6989586621679535968 a36989586621679535971 ~> (m6989586621679535968 a46989586621679535972 ~> (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974)))) -> Type)

data LiftM5Sym1 (a6989586621679536156 :: (~>) a16989586621679535969 ((~>) a26989586621679535970 ((~>) a36989586621679535971 ((~>) a46989586621679535972 ((~>) a56989586621679535973 r6989586621679535974))))) :: forall m6989586621679535968. (~>) (m6989586621679535968 a16989586621679535969) ((~>) (m6989586621679535968 a26989586621679535970) ((~>) (m6989586621679535968 a36989586621679535971) ((~>) (m6989586621679535968 a46989586621679535972) ((~>) (m6989586621679535968 a56989586621679535973) (m6989586621679535968 r6989586621679535974)))))

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM5Sym1 d m)

SuppressUnusedWarnings (LiftM5Sym1 a6989586621679536156 m6989586621679535968 :: TyFun (m6989586621679535968 a16989586621679535969) (m6989586621679535968 a26989586621679535970 ~> (m6989586621679535968 a36989586621679535971 ~> (m6989586621679535968 a46989586621679535972 ~> (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974)))) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM5Sym1 a6989586621679536156 m6989586621679535968 :: TyFun (m6989586621679535968 a16989586621679535969) (m6989586621679535968 a26989586621679535970 ~> (m6989586621679535968 a36989586621679535971 ~> (m6989586621679535968 a46989586621679535972 ~> (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974)))) -> Type) (a6989586621679536157 :: m6989586621679535968 a16989586621679535969)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym1 a6989586621679536156 m6989586621679535968 :: TyFun (m6989586621679535968 a16989586621679535969) (m6989586621679535968 a26989586621679535970 ~> (m6989586621679535968 a36989586621679535971 ~> (m6989586621679535968 a46989586621679535972 ~> (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974)))) -> Type) (a6989586621679536157 :: m6989586621679535968 a16989586621679535969) = LiftM5Sym2 a6989586621679536156 a6989586621679536157

data LiftM5Sym2 (a6989586621679536156 :: (~>) a16989586621679535969 ((~>) a26989586621679535970 ((~>) a36989586621679535971 ((~>) a46989586621679535972 ((~>) a56989586621679535973 r6989586621679535974))))) (a6989586621679536157 :: m6989586621679535968 a16989586621679535969) :: (~>) (m6989586621679535968 a26989586621679535970) ((~>) (m6989586621679535968 a36989586621679535971) ((~>) (m6989586621679535968 a46989586621679535972) ((~>) (m6989586621679535968 a56989586621679535973) (m6989586621679535968 r6989586621679535974))))

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM5Sym2 d1 d2)

SuppressUnusedWarnings (LiftM5Sym2 a6989586621679536157 a6989586621679536156 :: TyFun (m6989586621679535968 a26989586621679535970) (m6989586621679535968 a36989586621679535971 ~> (m6989586621679535968 a46989586621679535972 ~> (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974))) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM5Sym2 a6989586621679536157 a6989586621679536156 :: TyFun (m6989586621679535968 a26989586621679535970) (m6989586621679535968 a36989586621679535971 ~> (m6989586621679535968 a46989586621679535972 ~> (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974))) -> Type) (a6989586621679536158 :: m6989586621679535968 a26989586621679535970)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym2 a6989586621679536157 a6989586621679536156 :: TyFun (m6989586621679535968 a26989586621679535970) (m6989586621679535968 a36989586621679535971 ~> (m6989586621679535968 a46989586621679535972 ~> (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974))) -> Type) (a6989586621679536158 :: m6989586621679535968 a26989586621679535970) = LiftM5Sym3 a6989586621679536157 a6989586621679536156 a6989586621679536158

data LiftM5Sym3 (a6989586621679536156 :: (~>) a16989586621679535969 ((~>) a26989586621679535970 ((~>) a36989586621679535971 ((~>) a46989586621679535972 ((~>) a56989586621679535973 r6989586621679535974))))) (a6989586621679536157 :: m6989586621679535968 a16989586621679535969) (a6989586621679536158 :: m6989586621679535968 a26989586621679535970) :: (~>) (m6989586621679535968 a36989586621679535971) ((~>) (m6989586621679535968 a46989586621679535972) ((~>) (m6989586621679535968 a56989586621679535973) (m6989586621679535968 r6989586621679535974)))

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM5Sym3 d1 d2 d3)

SuppressUnusedWarnings (LiftM5Sym3 a6989586621679536158 a6989586621679536157 a6989586621679536156 :: TyFun (m6989586621679535968 a36989586621679535971) (m6989586621679535968 a46989586621679535972 ~> (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974)) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM5Sym3 a6989586621679536158 a6989586621679536157 a6989586621679536156 :: TyFun (m6989586621679535968 a36989586621679535971) (m6989586621679535968 a46989586621679535972 ~> (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974)) -> Type) (a6989586621679536159 :: m6989586621679535968 a36989586621679535971)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym3 a6989586621679536158 a6989586621679536157 a6989586621679536156 :: TyFun (m6989586621679535968 a36989586621679535971) (m6989586621679535968 a46989586621679535972 ~> (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974)) -> Type) (a6989586621679536159 :: m6989586621679535968 a36989586621679535971) = LiftM5Sym4 a6989586621679536158 a6989586621679536157 a6989586621679536156 a6989586621679536159

data LiftM5Sym4 (a6989586621679536156 :: (~>) a16989586621679535969 ((~>) a26989586621679535970 ((~>) a36989586621679535971 ((~>) a46989586621679535972 ((~>) a56989586621679535973 r6989586621679535974))))) (a6989586621679536157 :: m6989586621679535968 a16989586621679535969) (a6989586621679536158 :: m6989586621679535968 a26989586621679535970) (a6989586621679536159 :: m6989586621679535968 a36989586621679535971) :: (~>) (m6989586621679535968 a46989586621679535972) ((~>) (m6989586621679535968 a56989586621679535973) (m6989586621679535968 r6989586621679535974))

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)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftM5Sym4 d1 d2 d3 d4)

SuppressUnusedWarnings (LiftM5Sym4 a6989586621679536159 a6989586621679536158 a6989586621679536157 a6989586621679536156 :: TyFun (m6989586621679535968 a46989586621679535972) (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM5Sym4 a6989586621679536159 a6989586621679536158 a6989586621679536157 a6989586621679536156 :: TyFun (m6989586621679535968 a46989586621679535972) (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974) -> Type) (a6989586621679536160 :: m6989586621679535968 a46989586621679535972)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym4 a6989586621679536159 a6989586621679536158 a6989586621679536157 a6989586621679536156 :: TyFun (m6989586621679535968 a46989586621679535972) (m6989586621679535968 a56989586621679535973 ~> m6989586621679535968 r6989586621679535974) -> Type) (a6989586621679536160 :: m6989586621679535968 a46989586621679535972) = LiftM5Sym5 a6989586621679536159 a6989586621679536158 a6989586621679536157 a6989586621679536156 a6989586621679536160

data LiftM5Sym5 (a6989586621679536156 :: (~>) a16989586621679535969 ((~>) a26989586621679535970 ((~>) a36989586621679535971 ((~>) a46989586621679535972 ((~>) a56989586621679535973 r6989586621679535974))))) (a6989586621679536157 :: m6989586621679535968 a16989586621679535969) (a6989586621679536158 :: m6989586621679535968 a26989586621679535970) (a6989586621679536159 :: m6989586621679535968 a36989586621679535971) (a6989586621679536160 :: m6989586621679535968 a46989586621679535972) :: (~>) (m6989586621679535968 a56989586621679535973) (m6989586621679535968 r6989586621679535974)

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)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

SuppressUnusedWarnings (LiftM5Sym5 a6989586621679536160 a6989586621679536159 a6989586621679536158 a6989586621679536157 a6989586621679536156 :: TyFun (m6989586621679535968 a56989586621679535973) (m6989586621679535968 r6989586621679535974) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (LiftM5Sym5 a6989586621679536160 a6989586621679536159 a6989586621679536158 a6989586621679536157 a6989586621679536156 :: TyFun (m a5) (m r) -> Type) (a6989586621679536161 :: m a5)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftM5Sym5 a6989586621679536160 a6989586621679536159 a6989586621679536158 a6989586621679536157 a6989586621679536156 :: TyFun (m a5) (m r) -> Type) (a6989586621679536161 :: m a5) = LiftM5 a6989586621679536160 a6989586621679536159 a6989586621679536158 a6989586621679536157 a6989586621679536156 a6989586621679536161

type LiftM5Sym6 (a6989586621679536156 :: (~>) a16989586621679535969 ((~>) a26989586621679535970 ((~>) a36989586621679535971 ((~>) a46989586621679535972 ((~>) a56989586621679535973 r6989586621679535974))))) (a6989586621679536157 :: m6989586621679535968 a16989586621679535969) (a6989586621679536158 :: m6989586621679535968 a26989586621679535970) (a6989586621679536159 :: m6989586621679535968 a36989586621679535971) (a6989586621679536160 :: m6989586621679535968 a46989586621679535972) (a6989586621679536161 :: m6989586621679535968 a56989586621679535973) = LiftM5 a6989586621679536156 a6989586621679536157 a6989586621679536158 a6989586621679536159 a6989586621679536160 a6989586621679536161

data ApSym0 :: forall a6989586621679535966 b6989586621679535967 m6989586621679535965. (~>) (m6989586621679535965 ((~>) a6989586621679535966 b6989586621679535967)) ((~>) (m6989586621679535965 a6989586621679535966) (m6989586621679535965 b6989586621679535967))

Instances

SMonad m => SingI (ApSym0 :: TyFun (m (a ~> b)) (m a ~> m b) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing ApSym0

SuppressUnusedWarnings (ApSym0 :: TyFun (m6989586621679535965 (a6989586621679535966 ~> b6989586621679535967)) (m6989586621679535965 a6989586621679535966 ~> m6989586621679535965 b6989586621679535967) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (ApSym0 :: TyFun (m6989586621679535965 (a6989586621679535966 ~> b6989586621679535967)) (m6989586621679535965 a6989586621679535966 ~> m6989586621679535965 b6989586621679535967) -> Type) (a6989586621679536135 :: m6989586621679535965 (a6989586621679535966 ~> b6989586621679535967))

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (ApSym0 :: TyFun (m6989586621679535965 (a6989586621679535966 ~> b6989586621679535967)) (m6989586621679535965 a6989586621679535966 ~> m6989586621679535965 b6989586621679535967) -> Type) (a6989586621679536135 :: m6989586621679535965 (a6989586621679535966 ~> b6989586621679535967)) = ApSym1 a6989586621679536135

data ApSym1 (a6989586621679536135 :: m6989586621679535965 ((~>) a6989586621679535966 b6989586621679535967)) :: (~>) (m6989586621679535965 a6989586621679535966) (m6989586621679535965 b6989586621679535967)

Instances

(SMonad m, SingI d) => SingI (ApSym1 d :: TyFun (m a) (m b) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (ApSym1 d)

SuppressUnusedWarnings (ApSym1 a6989586621679536135 :: TyFun (m6989586621679535965 a6989586621679535966) (m6989586621679535965 b6989586621679535967) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (ApSym1 a6989586621679536135 :: TyFun (m a) (m b) -> Type) (a6989586621679536136 :: m a)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (ApSym1 a6989586621679536135 :: TyFun (m a) (m b) -> Type) (a6989586621679536136 :: m a) = Ap a6989586621679536135 a6989586621679536136

type ApSym2 (a6989586621679536135 :: m6989586621679535965 ((~>) a6989586621679535966 b6989586621679535967)) (a6989586621679536136 :: m6989586621679535965 a6989586621679535966) = Ap a6989586621679536135 a6989586621679536136

data (<$!>@#@$) :: forall a6989586621681193214 b6989586621681193215 m6989586621681193213. (~>) ((~>) a6989586621681193214 b6989586621681193215) ((~>) (m6989586621681193213 a6989586621681193214) (m6989586621681193213 b6989586621681193215)) infixl 4

Instances

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

Defined in Data.Singletons.Prelude.Monad

Methods

sing :: Sing (<$!>@#@$)

SuppressUnusedWarnings ((<$!>@#@$) :: TyFun (a6989586621681193214 ~> b6989586621681193215) (m6989586621681193213 a6989586621681193214 ~> m6989586621681193213 b6989586621681193215) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply ((<$!>@#@$) :: TyFun (a6989586621681193214 ~> b6989586621681193215) (m6989586621681193213 a6989586621681193214 ~> m6989586621681193213 b6989586621681193215) -> Type) (a6989586621681193567 :: a6989586621681193214 ~> b6989586621681193215)

Defined in Data.Singletons.Prelude.Monad

type Apply ((<$!>@#@$) :: TyFun (a6989586621681193214 ~> b6989586621681193215) (m6989586621681193213 a6989586621681193214 ~> m6989586621681193213 b6989586621681193215) -> Type) (a6989586621681193567 :: a6989586621681193214 ~> b6989586621681193215) = (a6989586621681193567 <$!>@#@$$ m6989586621681193213 :: TyFun (m6989586621681193213 a6989586621681193214) (m6989586621681193213 b6989586621681193215) -> Type)

data (<$!>@#@$$) (a6989586621681193567 :: (~>) a6989586621681193214 b6989586621681193215) :: forall m6989586621681193213. (~>) (m6989586621681193213 a6989586621681193214) (m6989586621681193213 b6989586621681193215) infixl 4

Instances

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

Defined in Data.Singletons.Prelude.Monad

Methods

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

SuppressUnusedWarnings (a6989586621681193567 <$!>@#@$$ m6989586621681193213 :: TyFun (m6989586621681193213 a6989586621681193214) (m6989586621681193213 b6989586621681193215) -> Type)

Defined in Data.Singletons.Prelude.Monad

Methods

suppressUnusedWarnings :: ()

type Apply (a6989586621681193567 <$!>@#@$$ m :: TyFun (m a) (m b) -> Type) (a6989586621681193568 :: m a)

Defined in Data.Singletons.Prelude.Monad

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

type (<$!>@#@$$$) (a6989586621681193567 :: (~>) a6989586621681193214 b6989586621681193215) (a6989586621681193568 :: m6989586621681193213 a6989586621681193214) = (<$!>) a6989586621681193567 a6989586621681193568

Orphan instances

SMonad Down

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

PMonad Down

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

SMonoid a => SMonad ((,) a)

Methods

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

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

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

PMonad ((,) a)

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a