singletons-2.5: A framework for generating singleton types

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

Data.Singletons.Prelude.Applicative

Contents

Description

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

Synopsis
  • class PFunctor f => PApplicative (f :: Type -> Type) where
    • type Pure (arg :: a) :: f a
    • type (arg :: f ((~>) a b)) <*> (arg :: f a) :: f b
    • type LiftA2 (arg :: (~>) a ((~>) b c)) (arg :: f a) (arg :: f b) :: f c
    • type (arg :: f a) *> (arg :: f b) :: f b
    • type (arg :: f a) <* (arg :: f b) :: f a
  • class SFunctor f => SApplicative (f :: Type -> Type) where
  • class PApplicative f => PAlternative (f :: Type -> Type) where
    • type Empty :: f a
    • type (arg :: f a) <|> (arg :: f a) :: f a
  • class SApplicative f => SAlternative (f :: Type -> Type) where
  • data family Sing :: k -> Type
  • type SConst = (Sing :: Const a b -> Type)
  • data Const a (b :: k) :: forall k. Type -> k -> Type
  • type family GetConst (x :: Const a b) :: a where ...
  • type family (a :: (~>) a b) <$> (a :: f a) :: f b where ...
  • (%<$>) :: forall f a b (t :: (~>) a b) (t :: f a). SFunctor f => Sing t -> Sing t -> Sing (Apply (Apply (<$>@#@$) t) t :: f b)
  • type family (arg :: a) <$ (arg :: f b) :: f a
  • (%<$) :: forall a b (t :: a) (t :: f b). SFunctor f => Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t :: f a)
  • type family (a :: f a) <**> (a :: f ((~>) a b)) :: f b where ...
  • (%<**>) :: forall f a b (t :: f a) (t :: f ((~>) a b)). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply (<**>@#@$) t) t :: f b)
  • type family LiftA (a :: (~>) a b) (a :: f a) :: f b where ...
  • sLiftA :: forall f a b (t :: (~>) a b) (t :: f a). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply LiftASym0 t) t :: f b)
  • type family LiftA3 (a :: (~>) a ((~>) b ((~>) c d))) (a :: f a) (a :: f b) (a :: f c) :: f d where ...
  • sLiftA3 :: forall f a b c d (t :: (~>) a ((~>) b ((~>) c d))) (t :: f a) (t :: f b) (t :: f c). SApplicative f => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply LiftA3Sym0 t) t) t) t :: f d)
  • type family Optional (a :: f a) :: f (Maybe a) where ...
  • sOptional :: forall f a (t :: f a). SAlternative f => Sing t -> Sing (Apply OptionalSym0 t :: f (Maybe a))
  • data PureSym0 :: forall a6989586621679545132 f6989586621679545131. (~>) a6989586621679545132 (f6989586621679545131 a6989586621679545132)
  • type PureSym1 (arg6989586621679545544 :: a6989586621679545132) = Pure arg6989586621679545544
  • data (<*>@#@$) :: forall a6989586621679545133 b6989586621679545134 f6989586621679545131. (~>) (f6989586621679545131 ((~>) a6989586621679545133 b6989586621679545134)) ((~>) (f6989586621679545131 a6989586621679545133) (f6989586621679545131 b6989586621679545134))
  • data (<*>@#@$$) (arg6989586621679545546 :: f6989586621679545131 ((~>) a6989586621679545133 b6989586621679545134)) :: (~>) (f6989586621679545131 a6989586621679545133) (f6989586621679545131 b6989586621679545134)
  • type (<*>@#@$$$) (arg6989586621679545546 :: f6989586621679545131 ((~>) a6989586621679545133 b6989586621679545134)) (arg6989586621679545547 :: f6989586621679545131 a6989586621679545133) = (<*>) arg6989586621679545546 arg6989586621679545547
  • data (*>@#@$) :: forall a6989586621679545138 b6989586621679545139 f6989586621679545131. (~>) (f6989586621679545131 a6989586621679545138) ((~>) (f6989586621679545131 b6989586621679545139) (f6989586621679545131 b6989586621679545139))
  • data (*>@#@$$) (arg6989586621679545556 :: f6989586621679545131 a6989586621679545138) :: forall b6989586621679545139. (~>) (f6989586621679545131 b6989586621679545139) (f6989586621679545131 b6989586621679545139)
  • type (*>@#@$$$) (arg6989586621679545556 :: f6989586621679545131 a6989586621679545138) (arg6989586621679545557 :: f6989586621679545131 b6989586621679545139) = (*>) arg6989586621679545556 arg6989586621679545557
  • data (<*@#@$) :: forall a6989586621679545140 b6989586621679545141 f6989586621679545131. (~>) (f6989586621679545131 a6989586621679545140) ((~>) (f6989586621679545131 b6989586621679545141) (f6989586621679545131 a6989586621679545140))
  • data (<*@#@$$) (arg6989586621679545560 :: f6989586621679545131 a6989586621679545140) :: forall b6989586621679545141. (~>) (f6989586621679545131 b6989586621679545141) (f6989586621679545131 a6989586621679545140)
  • type (<*@#@$$$) (arg6989586621679545560 :: f6989586621679545131 a6989586621679545140) (arg6989586621679545561 :: f6989586621679545131 b6989586621679545141) = (<*) arg6989586621679545560 arg6989586621679545561
  • type EmptySym0 = Empty
  • data (<|>@#@$) :: forall a6989586621679545210 f6989586621679545208. (~>) (f6989586621679545208 a6989586621679545210) ((~>) (f6989586621679545208 a6989586621679545210) (f6989586621679545208 a6989586621679545210))
  • data (<|>@#@$$) (arg6989586621679545677 :: f6989586621679545208 a6989586621679545210) :: (~>) (f6989586621679545208 a6989586621679545210) (f6989586621679545208 a6989586621679545210)
  • type (<|>@#@$$$) (arg6989586621679545677 :: f6989586621679545208 a6989586621679545210) (arg6989586621679545678 :: f6989586621679545208 a6989586621679545210) = (<|>) arg6989586621679545677 arg6989586621679545678
  • data ConstSym0 :: forall (a6989586621679092839 :: Type) k6989586621679092838 (b6989586621679092840 :: k6989586621679092838). (~>) a6989586621679092839 (Const (a6989586621679092839 :: Type) (b6989586621679092840 :: k6989586621679092838))
  • type ConstSym1 (t6989586621680712043 :: a6989586621679092839) = Const t6989586621680712043
  • data GetConstSym0 :: forall a6989586621680712358 b6989586621680712359. (~>) (Const a6989586621680712358 b6989586621680712359) a6989586621680712358
  • type GetConstSym1 (x6989586621680712360 :: Const a6989586621680712358 b6989586621680712359) = GetConst x6989586621680712360
  • data (<$>@#@$) :: forall a6989586621679714518 b6989586621679714519 f6989586621679714517. (~>) ((~>) a6989586621679714518 b6989586621679714519) ((~>) (f6989586621679714517 a6989586621679714518) (f6989586621679714517 b6989586621679714519))
  • data (<$>@#@$$) (a6989586621679714598 :: (~>) a6989586621679714518 b6989586621679714519) :: forall f6989586621679714517. (~>) (f6989586621679714517 a6989586621679714518) (f6989586621679714517 b6989586621679714519)
  • type (<$>@#@$$$) (a6989586621679714598 :: (~>) a6989586621679714518 b6989586621679714519) (a6989586621679714599 :: f6989586621679714517 a6989586621679714518) = (<$>) a6989586621679714598 a6989586621679714599
  • data (<$@#@$) :: forall a6989586621679545129 b6989586621679545130 f6989586621679545126. (~>) a6989586621679545129 ((~>) (f6989586621679545126 b6989586621679545130) (f6989586621679545126 a6989586621679545129))
  • data (<$@#@$$) (arg6989586621679545524 :: a6989586621679545129) :: forall b6989586621679545130 f6989586621679545126. (~>) (f6989586621679545126 b6989586621679545130) (f6989586621679545126 a6989586621679545129)
  • type (<$@#@$$$) (arg6989586621679545524 :: a6989586621679545129) (arg6989586621679545525 :: f6989586621679545126 b6989586621679545130) = (<$) arg6989586621679545524 arg6989586621679545525
  • data (<**>@#@$) :: forall a6989586621679545091 b6989586621679545092 f6989586621679545090. (~>) (f6989586621679545090 a6989586621679545091) ((~>) (f6989586621679545090 ((~>) a6989586621679545091 b6989586621679545092)) (f6989586621679545090 b6989586621679545092))
  • data (<**>@#@$$) (a6989586621679545504 :: f6989586621679545090 a6989586621679545091) :: forall b6989586621679545092. (~>) (f6989586621679545090 ((~>) a6989586621679545091 b6989586621679545092)) (f6989586621679545090 b6989586621679545092)
  • type (<**>@#@$$$) (a6989586621679545504 :: f6989586621679545090 a6989586621679545091) (a6989586621679545505 :: f6989586621679545090 ((~>) a6989586621679545091 b6989586621679545092)) = (<**>) a6989586621679545504 a6989586621679545505
  • data LiftASym0 :: forall a6989586621679545088 b6989586621679545089 f6989586621679545087. (~>) ((~>) a6989586621679545088 b6989586621679545089) ((~>) (f6989586621679545087 a6989586621679545088) (f6989586621679545087 b6989586621679545089))
  • data LiftASym1 (a6989586621679545494 :: (~>) a6989586621679545088 b6989586621679545089) :: forall f6989586621679545087. (~>) (f6989586621679545087 a6989586621679545088) (f6989586621679545087 b6989586621679545089)
  • type LiftASym2 (a6989586621679545494 :: (~>) a6989586621679545088 b6989586621679545089) (a6989586621679545495 :: f6989586621679545087 a6989586621679545088) = LiftA a6989586621679545494 a6989586621679545495
  • data LiftA2Sym0 :: forall a6989586621679545135 b6989586621679545136 c6989586621679545137 f6989586621679545131. (~>) ((~>) a6989586621679545135 ((~>) b6989586621679545136 c6989586621679545137)) ((~>) (f6989586621679545131 a6989586621679545135) ((~>) (f6989586621679545131 b6989586621679545136) (f6989586621679545131 c6989586621679545137)))
  • data LiftA2Sym1 (arg6989586621679545550 :: (~>) a6989586621679545135 ((~>) b6989586621679545136 c6989586621679545137)) :: forall f6989586621679545131. (~>) (f6989586621679545131 a6989586621679545135) ((~>) (f6989586621679545131 b6989586621679545136) (f6989586621679545131 c6989586621679545137))
  • data LiftA2Sym2 (arg6989586621679545550 :: (~>) a6989586621679545135 ((~>) b6989586621679545136 c6989586621679545137)) (arg6989586621679545551 :: f6989586621679545131 a6989586621679545135) :: (~>) (f6989586621679545131 b6989586621679545136) (f6989586621679545131 c6989586621679545137)
  • type LiftA2Sym3 (arg6989586621679545550 :: (~>) a6989586621679545135 ((~>) b6989586621679545136 c6989586621679545137)) (arg6989586621679545551 :: f6989586621679545131 a6989586621679545135) (arg6989586621679545552 :: f6989586621679545131 b6989586621679545136) = LiftA2 arg6989586621679545550 arg6989586621679545551 arg6989586621679545552
  • data LiftA3Sym0 :: forall a6989586621679545083 b6989586621679545084 c6989586621679545085 d6989586621679545086 f6989586621679545082. (~>) ((~>) a6989586621679545083 ((~>) b6989586621679545084 ((~>) c6989586621679545085 d6989586621679545086))) ((~>) (f6989586621679545082 a6989586621679545083) ((~>) (f6989586621679545082 b6989586621679545084) ((~>) (f6989586621679545082 c6989586621679545085) (f6989586621679545082 d6989586621679545086))))
  • data LiftA3Sym1 (a6989586621679545482 :: (~>) a6989586621679545083 ((~>) b6989586621679545084 ((~>) c6989586621679545085 d6989586621679545086))) :: forall f6989586621679545082. (~>) (f6989586621679545082 a6989586621679545083) ((~>) (f6989586621679545082 b6989586621679545084) ((~>) (f6989586621679545082 c6989586621679545085) (f6989586621679545082 d6989586621679545086)))
  • data LiftA3Sym2 (a6989586621679545482 :: (~>) a6989586621679545083 ((~>) b6989586621679545084 ((~>) c6989586621679545085 d6989586621679545086))) (a6989586621679545483 :: f6989586621679545082 a6989586621679545083) :: (~>) (f6989586621679545082 b6989586621679545084) ((~>) (f6989586621679545082 c6989586621679545085) (f6989586621679545082 d6989586621679545086))
  • data LiftA3Sym3 (a6989586621679545482 :: (~>) a6989586621679545083 ((~>) b6989586621679545084 ((~>) c6989586621679545085 d6989586621679545086))) (a6989586621679545483 :: f6989586621679545082 a6989586621679545083) (a6989586621679545484 :: f6989586621679545082 b6989586621679545084) :: (~>) (f6989586621679545082 c6989586621679545085) (f6989586621679545082 d6989586621679545086)
  • data OptionalSym0 :: forall a6989586621681202610 f6989586621681202609. (~>) (f6989586621681202609 a6989586621681202610) (f6989586621681202609 (Maybe a6989586621681202610))
  • type OptionalSym1 (a6989586621681202649 :: f6989586621681202609 a6989586621681202610) = Optional a6989586621681202649

Documentation

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

Associated Types

type Pure (arg :: a) :: f a Source #

type (arg :: f ((~>) a b)) <*> (arg :: f a) :: f b infixl 4 Source #

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

type (arg :: f a) *> (arg :: f b) :: f b infixl 4 Source #

type (arg :: f a) <* (arg :: f b) :: f a infixl 4 Source #

Instances
PApplicative [] Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative Maybe Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative Min Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative Max Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative First Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative Option Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative Identity Source # 
Instance details

Defined in Data.Singletons.Prelude.Identity

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative First Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative Dual Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative Sum Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative Product Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative Down Source # 
Instance details

Defined in Data.Singletons.Prelude.Applicative

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative NonEmpty Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative (Either e) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

PApplicative ((,) a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Applicative

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

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

Defined in Data.Singletons.Prelude.Const

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

class SFunctor f => SApplicative (f :: Type -> Type) where Source #

Minimal complete definition

sPure

Methods

sPure :: forall a (t :: a). Sing t -> Sing (Apply PureSym0 t :: f a) Source #

(%<*>) :: forall a b (t :: f ((~>) a b)) (t :: f a). Sing t -> Sing t -> Sing (Apply (Apply (<*>@#@$) t) t :: f b) infixl 4 Source #

sLiftA2 :: forall a b c (t :: (~>) a ((~>) b c)) (t :: f a) (t :: f b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t :: f c) Source #

(%*>) :: forall a b (t :: f a) (t :: f b). Sing t -> Sing t -> Sing (Apply (Apply (*>@#@$) t) t :: f b) infixl 4 Source #

(%<*) :: forall a b (t :: f a) (t :: f b). Sing t -> Sing t -> Sing (Apply (Apply (<*@#@$) t) t :: f a) infixl 4 Source #

(%<*>) :: forall a b (t :: f ((~>) a b)) (t :: f a). (Apply (Apply (<*>@#@$) t) t :: f b) ~ Apply (Apply TFHelper_6989586621679545576Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply (<*>@#@$) t) t :: f b) infixl 4 Source #

sLiftA2 :: forall a b c (t :: (~>) a ((~>) b c)) (t :: f a) (t :: f b). (Apply (Apply (Apply LiftA2Sym0 t) t) t :: f c) ~ Apply (Apply (Apply LiftA2_6989586621679545594Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t :: f c) Source #

(%*>) :: forall a b (t :: f a) (t :: f b). (Apply (Apply (*>@#@$) t) t :: f b) ~ Apply (Apply TFHelper_6989586621679545607Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply (*>@#@$) t) t :: f b) infixl 4 Source #

(%<*) :: forall a b (t :: f a) (t :: f b). (Apply (Apply (<*@#@$) t) t :: f a) ~ Apply (Apply TFHelper_6989586621679545623Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply (<*@#@$) t) t :: f a) infixl 4 Source #

Instances
SApplicative [] Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative Maybe Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative Min Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative Max Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative First Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative Option Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative Identity Source # 
Instance details

Defined in Data.Singletons.Prelude.Identity

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative First Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative Dual Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative Sum Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative Product Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative Down Source # 
Instance details

Defined in Data.Singletons.Prelude.Applicative

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative NonEmpty Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SApplicative (Either e) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

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

Defined in Data.Singletons.Prelude.Applicative

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

SMonoid m => SApplicative (Const m :: Type -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

class PApplicative f => PAlternative (f :: Type -> Type) Source #

Associated Types

type Empty :: f a Source #

type (arg :: f a) <|> (arg :: f a) :: f a infixl 3 Source #

Instances
PAlternative [] Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Empty :: f a Source #

type arg <|> arg :: f a Source #

PAlternative Maybe Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Empty :: f a Source #

type arg <|> arg :: f a Source #

PAlternative Option Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Empty :: f a Source #

type arg <|> arg :: f a Source #

class SApplicative f => SAlternative (f :: Type -> Type) where Source #

Methods

sEmpty :: forall a. Sing (EmptySym0 :: f a) Source #

(%<|>) :: forall a (t :: f a) (t :: f a). Sing t -> Sing t -> Sing (Apply (Apply (<|>@#@$) t) t :: f a) infixl 3 Source #

data family Sing :: k -> Type Source #

The singleton kind-indexed data family.

Instances
SDecide k => TestCoercion (Sing :: k -> Type) Source # 
Instance details

Defined in Data.Singletons.Decide

Methods

testCoercion :: Sing a -> Sing b -> Maybe (Coercion a b) #

SDecide k => TestEquality (Sing :: k -> Type) Source # 
Instance details

Defined in Data.Singletons.Decide

Methods

testEquality :: Sing a -> Sing b -> Maybe (a :~: b) #

Show (SSymbol s) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> SSymbol s -> ShowS #

show :: SSymbol s -> String #

showList :: [SSymbol s] -> ShowS #

Show (SNat n) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> SNat n -> ShowS #

show :: SNat n -> String #

showList :: [SNat n] -> ShowS #

Eq (Sing a) Source # 
Instance details

Defined in Data.Singletons.TypeRepTYPE

Methods

(==) :: Sing a -> Sing a -> Bool #

(/=) :: Sing a -> Sing a -> Bool #

Ord (Sing a) Source # 
Instance details

Defined in Data.Singletons.TypeRepTYPE

Methods

compare :: Sing a -> Sing a -> Ordering #

(<) :: Sing a -> Sing a -> Bool #

(<=) :: Sing a -> Sing a -> Bool #

(>) :: Sing a -> Sing a -> Bool #

(>=) :: Sing a -> Sing a -> Bool #

max :: Sing a -> Sing a -> Sing a #

min :: Sing a -> Sing a -> Sing a #

Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing [a]) => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing a => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b) => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

Show (Sing a) Source # 
Instance details

Defined in Data.Singletons.TypeRepTYPE

Methods

showsPrec :: Int -> Sing a -> ShowS #

show :: Sing a -> String #

showList :: [Sing a] -> ShowS #

Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b) => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing a => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing a => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b) => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing a => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing a => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing m => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing (Maybe a) => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing a => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing (Maybe a) => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing (Maybe a) => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing a => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing Bool => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing Bool => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing a => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing a => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing [a]) => Show (Sing z) Source # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

data Sing (a :: Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Bool) where
data Sing (a :: Ordering) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Ordering) where
data Sing (n :: Nat) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Nat) where
data Sing (n :: Symbol) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Symbol) where
data Sing (a :: ()) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: ()) where
data Sing (a :: Void) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Void)
data Sing (a :: All) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: All) where
data Sing (a :: Any) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: Any) where
data Sing (a :: PErrorMessage) Source # 
Instance details

Defined in Data.Singletons.TypeError

data Sing (a :: PErrorMessage) where
data Sing (b :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: [a]) where
  • SNil :: forall k (b :: [k]). Sing ([] :: [k])
  • SCons :: forall a (b :: [a]) (n :: a) (n :: [a]). Sing n -> Sing n -> Sing (n ': n)
data Sing (b :: Maybe a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: Maybe a) where
data Sing (a :: TYPE rep) Source #

A choice of singleton for the kind TYPE rep (for some RuntimeRep rep), an instantiation of which is the famous kind Type.

Conceivably, one could generalize this instance to `Sing :: k -> Type` for any kind k, and remove all other Sing instances. We don't adopt this design, however, since it is far more convenient in practice to work with explicit singleton values than TypeReps (for instance, TypeReps are more difficult to pattern match on, and require extra runtime checks).

We cannot produce explicit singleton values for everything in TYPE rep, however, since it is an open kind, so we reach for TypeRep in this one particular case.

Instance details

Defined in Data.Singletons.TypeRepTYPE

data Sing (a :: TYPE rep) = STypeRep (TypeRep a)
data Sing (b :: Min a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Min a) where
data Sing (b :: Max a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Max a) where
data Sing (b :: First a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: First a) where
data Sing (b :: Last a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Last a) where
data Sing (a :: WrappedMonoid m) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: WrappedMonoid m) where
data Sing (b :: Option a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Option a) where
data Sing (b :: Identity a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: Identity a) where
data Sing (b :: First a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

data Sing (b :: First a) where
data Sing (b :: Last a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

data Sing (b :: Last a) where
data Sing (b :: Dual a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Dual a) where
data Sing (b :: Sum a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Sum a) where
data Sing (b :: Product a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Product a) where
data Sing (b :: Down a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Ord

data Sing (b :: Down a) where
data Sing (b :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: NonEmpty a) where
data Sing (c :: Either a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (c :: Either a b) where
data Sing (c :: (a, b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (c :: (a, b)) where
data Sing (c :: Arg a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

data Sing (c :: Arg a b) where
data Sing (f :: k1 ~> k2) Source # 
Instance details

Defined in Data.Singletons.Internal

data Sing (f :: k1 ~> k2) = SLambda {}
data Sing (d :: (a, b, c)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (d :: (a, b, c)) where
data Sing (c :: Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

data Sing (c :: Const a b) where
data Sing (e :: (a, b, c, d)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (e :: (a, b, c, d)) where
data Sing (f :: (a, b, c, d, e)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (f :: (a, b, c, d, e)) where
data Sing (g :: (a, b, c, d, e, f)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (g :: (a, b, c, d, e, f)) where
data Sing (h :: (a, b, c, d, e, f, g)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (h :: (a, b, c, d, e, f, g)) where

type SConst = (Sing :: Const a b -> Type) Source #

data Const a (b :: k) :: forall k. Type -> k -> Type #

The Const functor.

Instances
Generic1 (Const a :: k -> Type) 
Instance details

Defined in Data.Functor.Const

Associated Types

type Rep1 (Const a) :: k -> Type #

Methods

from1 :: Const a a0 -> Rep1 (Const a) a0 #

to1 :: Rep1 (Const a) a0 -> Const a a0 #

Bifunctor (Const :: Type -> Type -> Type)

Since: base-4.8.0.0

Instance details

Defined in Data.Bifunctor

Methods

bimap :: (a -> b) -> (c -> d) -> Const a c -> Const b d #

first :: (a -> b) -> Const a c -> Const b c #

second :: (b -> c) -> Const a b -> Const a c #

Eq2 (Const :: Type -> Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Const a c -> Const b d -> Bool #

Ord2 (Const :: Type -> Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> Const a c -> Const b d -> Ordering #

Read2 (Const :: Type -> Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftReadsPrec2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (Const a b) #

liftReadList2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [Const a b] #

liftReadPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (Const a b) #

liftReadListPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [Const a b] #

Show2 (Const :: Type -> Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> Const a b -> ShowS #

liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [Const a b] -> ShowS #

Functor (Const m :: Type -> Type)

Since: base-2.1

Instance details

Defined in Data.Functor.Const

Methods

fmap :: (a -> b) -> Const m a -> Const m b #

(<$) :: a -> Const m b -> Const m a #

Monoid m => Applicative (Const m :: Type -> Type)

Since: base-2.0.1

Instance details

Defined in Data.Functor.Const

Methods

pure :: a -> Const m a #

(<*>) :: Const m (a -> b) -> Const m a -> Const m b #

liftA2 :: (a -> b -> c) -> Const m a -> Const m b -> Const m c #

(*>) :: Const m a -> Const m b -> Const m b #

(<*) :: Const m a -> Const m b -> Const m a #

Foldable (Const m :: Type -> Type)

Since: base-4.7.0.0

Instance details

Defined in Data.Functor.Const

Methods

fold :: Monoid m0 => Const m m0 -> m0 #

foldMap :: Monoid m0 => (a -> m0) -> Const m a -> m0 #

foldr :: (a -> b -> b) -> b -> Const m a -> b #

foldr' :: (a -> b -> b) -> b -> Const m a -> b #

foldl :: (b -> a -> b) -> b -> Const m a -> b #

foldl' :: (b -> a -> b) -> b -> Const m a -> b #

foldr1 :: (a -> a -> a) -> Const m a -> a #

foldl1 :: (a -> a -> a) -> Const m a -> a #

toList :: Const m a -> [a] #

null :: Const m a -> Bool #

length :: Const m a -> Int #

elem :: Eq a => a -> Const m a -> Bool #

maximum :: Ord a => Const m a -> a #

minimum :: Ord a => Const m a -> a #

sum :: Num a => Const m a -> a #

product :: Num a => Const m a -> a #

Traversable (Const m :: Type -> Type)

Since: base-4.7.0.0

Instance details

Defined in Data.Traversable

Methods

traverse :: Applicative f => (a -> f b) -> Const m a -> f (Const m b) #

sequenceA :: Applicative f => Const m (f a) -> f (Const m a) #

mapM :: Monad m0 => (a -> m0 b) -> Const m a -> m0 (Const m b) #

sequence :: Monad m0 => Const m (m0 a) -> m0 (Const m a) #

Eq a => Eq1 (Const a :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftEq :: (a0 -> b -> Bool) -> Const a a0 -> Const a b -> Bool #

Ord a => Ord1 (Const a :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftCompare :: (a0 -> b -> Ordering) -> Const a a0 -> Const a b -> Ordering #

Read a => Read1 (Const a :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftReadsPrec :: (Int -> ReadS a0) -> ReadS [a0] -> Int -> ReadS (Const a a0) #

liftReadList :: (Int -> ReadS a0) -> ReadS [a0] -> ReadS [Const a a0] #

liftReadPrec :: ReadPrec a0 -> ReadPrec [a0] -> ReadPrec (Const a a0) #

liftReadListPrec :: ReadPrec a0 -> ReadPrec [a0] -> ReadPrec [Const a a0] #

Show a => Show1 (Const a :: Type -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftShowsPrec :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> Int -> Const a a0 -> ShowS #

liftShowList :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> [Const a a0] -> ShowS #

SMonoid m => SApplicative (Const m :: Type -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

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

Defined in Data.Singletons.Prelude.Const

Methods

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

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

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

Defined in Data.Singletons.Prelude.Const

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

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

Defined in Data.Singletons.Prelude.Const

Associated Types

type Fmap arg arg :: f b Source #

type arg <$ arg :: f a Source #

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

Defined in Data.Singletons.Prelude.Const

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

Defined in Data.Singletons.Prelude.Const

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

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

Defined in Data.Singletons.Prelude.Traversable

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

Defined in Data.Singletons.Prelude.Traversable

Associated Types

type Traverse arg arg :: f (t b) Source #

type SequenceA arg :: f (t a) Source #

type MapM arg arg :: m (t b) Source #

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

SingI (TyCon1 (Const :: k1 -> Const k1 b) :: k1 ~> Const k1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

SingI (ConstSym0 :: TyFun a6989586621679092839 (Const a6989586621679092839 b6989586621679092840) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679092839 (Const a6989586621679092839 b6989586621679092840) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

SuppressUnusedWarnings (GetConstSym0 :: TyFun (Const a6989586621680712358 b6989586621680712359) a6989586621680712358 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Bounded a => Bounded (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

minBound :: Const a b #

maxBound :: Const a b #

Enum a => Enum (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

succ :: Const a b -> Const a b #

pred :: Const a b -> Const a b #

toEnum :: Int -> Const a b #

fromEnum :: Const a b -> Int #

enumFrom :: Const a b -> [Const a b] #

enumFromThen :: Const a b -> Const a b -> [Const a b] #

enumFromTo :: Const a b -> Const a b -> [Const a b] #

enumFromThenTo :: Const a b -> Const a b -> Const a b -> [Const a b] #

Eq a => Eq (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

(==) :: Const a b -> Const a b -> Bool #

(/=) :: Const a b -> Const a b -> Bool #

Floating a => Floating (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

pi :: Const a b #

exp :: Const a b -> Const a b #

log :: Const a b -> Const a b #

sqrt :: Const a b -> Const a b #

(**) :: Const a b -> Const a b -> Const a b #

logBase :: Const a b -> Const a b -> Const a b #

sin :: Const a b -> Const a b #

cos :: Const a b -> Const a b #

tan :: Const a b -> Const a b #

asin :: Const a b -> Const a b #

acos :: Const a b -> Const a b #

atan :: Const a b -> Const a b #

sinh :: Const a b -> Const a b #

cosh :: Const a b -> Const a b #

tanh :: Const a b -> Const a b #

asinh :: Const a b -> Const a b #

acosh :: Const a b -> Const a b #

atanh :: Const a b -> Const a b #

log1p :: Const a b -> Const a b #

expm1 :: Const a b -> Const a b #

log1pexp :: Const a b -> Const a b #

log1mexp :: Const a b -> Const a b #

Fractional a => Fractional (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

(/) :: Const a b -> Const a b -> Const a b #

recip :: Const a b -> Const a b #

fromRational :: Rational -> Const a b #

Integral a => Integral (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

quot :: Const a b -> Const a b -> Const a b #

rem :: Const a b -> Const a b -> Const a b #

div :: Const a b -> Const a b -> Const a b #

mod :: Const a b -> Const a b -> Const a b #

quotRem :: Const a b -> Const a b -> (Const a b, Const a b) #

divMod :: Const a b -> Const a b -> (Const a b, Const a b) #

toInteger :: Const a b -> Integer #

(Typeable k, Data a, Typeable b) => Data (Const a b)

Since: base-4.10.0.0

Instance details

Defined in Data.Data

Methods

gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Const a b -> c (Const a b) #

gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Const a b) #

toConstr :: Const a b -> Constr #

dataTypeOf :: Const a b -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Const a b)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Const a b)) #

gmapT :: (forall b0. Data b0 => b0 -> b0) -> Const a b -> Const a b #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Const a b -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Const a b -> r #

gmapQ :: (forall d. Data d => d -> u) -> Const a b -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Const a b -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Const a b -> m (Const a b) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Const a b -> m (Const a b) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Const a b -> m (Const a b) #

Num a => Num (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

(+) :: Const a b -> Const a b -> Const a b #

(-) :: Const a b -> Const a b -> Const a b #

(*) :: Const a b -> Const a b -> Const a b #

negate :: Const a b -> Const a b #

abs :: Const a b -> Const a b #

signum :: Const a b -> Const a b #

fromInteger :: Integer -> Const a b #

Ord a => Ord (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

compare :: Const a b -> Const a b -> Ordering #

(<) :: Const a b -> Const a b -> Bool #

(<=) :: Const a b -> Const a b -> Bool #

(>) :: Const a b -> Const a b -> Bool #

(>=) :: Const a b -> Const a b -> Bool #

max :: Const a b -> Const a b -> Const a b #

min :: Const a b -> Const a b -> Const a b #

Read a => Read (Const a b)

This instance would be equivalent to the derived instances of the Const newtype if the runConst field were removed

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Const

Real a => Real (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

toRational :: Const a b -> Rational #

RealFloat a => RealFloat (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

floatRadix :: Const a b -> Integer #

floatDigits :: Const a b -> Int #

floatRange :: Const a b -> (Int, Int) #

decodeFloat :: Const a b -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Const a b #

exponent :: Const a b -> Int #

significand :: Const a b -> Const a b #

scaleFloat :: Int -> Const a b -> Const a b #

isNaN :: Const a b -> Bool #

isInfinite :: Const a b -> Bool #

isDenormalized :: Const a b -> Bool #

isNegativeZero :: Const a b -> Bool #

isIEEE :: Const a b -> Bool #

atan2 :: Const a b -> Const a b -> Const a b #

RealFrac a => RealFrac (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

properFraction :: Integral b0 => Const a b -> (b0, Const a b) #

truncate :: Integral b0 => Const a b -> b0 #

round :: Integral b0 => Const a b -> b0 #

ceiling :: Integral b0 => Const a b -> b0 #

floor :: Integral b0 => Const a b -> b0 #

Show a => Show (Const a b)

This instance would be equivalent to the derived instances of the Const newtype if the runConst field were removed

Since: base-4.8.0.0

Instance details

Defined in Data.Functor.Const

Methods

showsPrec :: Int -> Const a b -> ShowS #

show :: Const a b -> String #

showList :: [Const a b] -> ShowS #

Ix a => Ix (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

range :: (Const a b, Const a b) -> [Const a b] #

index :: (Const a b, Const a b) -> Const a b -> Int #

unsafeIndex :: (Const a b, Const a b) -> Const a b -> Int

inRange :: (Const a b, Const a b) -> Const a b -> Bool #

rangeSize :: (Const a b, Const a b) -> Int #

unsafeRangeSize :: (Const a b, Const a b) -> Int

IsString a => IsString (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.String

Methods

fromString :: String -> Const a b #

Generic (Const a b) 
Instance details

Defined in Data.Functor.Const

Associated Types

type Rep (Const a b) :: Type -> Type #

Methods

from :: Const a b -> Rep (Const a b) x #

to :: Rep (Const a b) x -> Const a b #

Semigroup a => Semigroup (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

(<>) :: Const a b -> Const a b -> Const a b #

sconcat :: NonEmpty (Const a b) -> Const a b #

stimes :: Integral b0 => b0 -> Const a b -> Const a b #

Monoid a => Monoid (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

mempty :: Const a b #

mappend :: Const a b -> Const a b -> Const a b #

mconcat :: [Const a b] -> Const a b #

Storable a => Storable (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

sizeOf :: Const a b -> Int #

alignment :: Const a b -> Int #

peekElemOff :: Ptr (Const a b) -> Int -> IO (Const a b) #

pokeElemOff :: Ptr (Const a b) -> Int -> Const a b -> IO () #

peekByteOff :: Ptr b0 -> Int -> IO (Const a b) #

pokeByteOff :: Ptr b0 -> Int -> Const a b -> IO () #

peek :: Ptr (Const a b) -> IO (Const a b) #

poke :: Ptr (Const a b) -> Const a b -> IO () #

Bits a => Bits (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Methods

(.&.) :: Const a b -> Const a b -> Const a b #

(.|.) :: Const a b -> Const a b -> Const a b #

xor :: Const a b -> Const a b -> Const a b #

complement :: Const a b -> Const a b #

shift :: Const a b -> Int -> Const a b #

rotate :: Const a b -> Int -> Const a b #

zeroBits :: Const a b #

bit :: Int -> Const a b #

setBit :: Const a b -> Int -> Const a b #

clearBit :: Const a b -> Int -> Const a b #

complementBit :: Const a b -> Int -> Const a b #

testBit :: Const a b -> Int -> Bool #

bitSizeMaybe :: Const a b -> Maybe Int #

bitSize :: Const a b -> Int #

isSigned :: Const a b -> Bool #

shiftL :: Const a b -> Int -> Const a b #

unsafeShiftL :: Const a b -> Int -> Const a b #

shiftR :: Const a b -> Int -> Const a b #

unsafeShiftR :: Const a b -> Int -> Const a b #

rotateL :: Const a b -> Int -> Const a b #

rotateR :: Const a b -> Int -> Const a b #

popCount :: Const a b -> Int #

FiniteBits a => FiniteBits (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

SingKind a => SingKind (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Associated Types

type Demote (Const a b) = (r :: Type) Source #

Methods

fromSing :: Sing a0 -> Demote (Const a b) Source #

toSing :: Demote (Const a b) -> SomeSing (Const a b) Source #

SDecide a => SDecide (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Methods

(%~) :: Sing a0 -> Sing b0 -> Decision (a0 :~: b0) Source #

PEq (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Associated Types

type x == y :: Bool Source #

type x /= y :: Bool Source #

SEq a => SEq (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Methods

(%==) :: Sing a0 -> Sing b0 -> Sing (a0 == b0) Source #

(%/=) :: Sing a0 -> Sing b0 -> Sing (a0 /= b0) Source #

SOrd a => SOrd (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Methods

sCompare :: Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t) Source #

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

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

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

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

sMax :: Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t) Source #

sMin :: Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t) Source #

POrd (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Associated Types

type Compare arg arg :: Ordering Source #

type arg < arg :: Bool Source #

type arg <= arg :: Bool Source #

type arg > arg :: Bool Source #

type arg >= arg :: Bool Source #

type Max arg arg :: a Source #

type Min arg arg :: a Source #

SNum a => SNum (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

PNum (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Associated Types

type arg + arg :: a Source #

type arg - arg :: a Source #

type arg * arg :: a Source #

type Negate arg :: a Source #

type Abs arg :: a Source #

type Signum arg :: a Source #

type FromInteger arg :: a Source #

SBounded a => SBounded (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

PBounded (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

SEnum a => SEnum (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

PEnum (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Associated Types

type Succ arg :: a Source #

type Pred arg :: a Source #

type ToEnum arg :: a Source #

type FromEnum arg :: Nat Source #

type EnumFromTo arg arg :: [a] Source #

type EnumFromThenTo arg arg arg :: [a] Source #

SSemigroup a => SSemigroup (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Methods

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

sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #

PSemigroup (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Associated Types

type arg <> arg :: a Source #

type Sconcat arg :: a Source #

SShow a => SShow (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

PShow (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Associated Types

type ShowsPrec arg arg arg :: Symbol Source #

type Show_ arg :: Symbol Source #

type ShowList arg arg :: Symbol Source #

SMonoid a => SMonoid (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

PMonoid (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Associated Types

type Mempty :: a Source #

type Mappend arg arg :: a Source #

type Mconcat arg :: a Source #

SIsString a => SIsString (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

PIsString (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

Associated Types

type FromString arg :: a Source #

SingI a2 => SingI (Const a2 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Methods

sing :: Sing (Const0 a2) Source #

type Rep1 (Const a :: k -> Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

type Rep1 (Const a :: k -> Type) = D1 (MetaData "Const" "Data.Functor.Const" "base" True) (C1 (MetaCons "Const" PrefixI True) (S1 (MetaSel (Just "getConst") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
type Apply (GetConstSym0 :: TyFun (Const a b) a -> Type) (x6989586621680712360 :: Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Apply (GetConstSym0 :: TyFun (Const a b) a -> Type) (x6989586621680712360 :: Const a b) = GetConst x6989586621680712360
type Pure (a :: k1) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Pure (a :: k1)
type Fold (arg :: Const m1 m2) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Fold (arg :: Const m1 m2)
type ToList (arg :: Const m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type ToList (arg :: Const m a)
type Null (arg :: Const m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Null (arg :: Const m a)
type Length (arg :: Const m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Length (arg :: Const m a)
type Maximum (arg :: Const m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Maximum (arg :: Const m a)
type Minimum (arg :: Const m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Minimum (arg :: Const m a)
type Sum (arg :: Const m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

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

Defined in Data.Singletons.Prelude.Const

type Product (arg :: Const m a)
type Foldr1 (arg1 :: a ~> (a ~> a)) (arg2 :: Const m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Foldr1 (arg1 :: a ~> (a ~> a)) (arg2 :: Const m a)
type Foldl1 (arg1 :: a ~> (a ~> a)) (arg2 :: Const m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Foldl1 (arg1 :: a ~> (a ~> a)) (arg2 :: Const m a)
type Elem (arg1 :: a) (arg2 :: Const m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Elem (arg1 :: a) (arg2 :: Const m a)
type SequenceA (arg :: Const m (f a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type SequenceA (arg :: Const m (f a))
type Sequence (arg :: Const m1 (m2 a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

type Sequence (arg :: Const m1 (m2 a))
type (a1 :: Const m (a6989586621679545133 ~> b6989586621679545134)) <*> (a2 :: Const m a6989586621679545133) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (a1 :: Const m (a6989586621679545133 ~> b6989586621679545134)) <*> (a2 :: Const m a6989586621679545133)
type (arg1 :: Const m a) *> (arg2 :: Const m b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (arg1 :: Const m a) *> (arg2 :: Const m b)
type (arg1 :: Const m a) <* (arg2 :: Const m b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (arg1 :: Const m a) <* (arg2 :: Const m b)
type Fmap (a1 :: a6989586621679545127 ~> b6989586621679545128) (a2 :: Const m a6989586621679545127) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Fmap (a1 :: a6989586621679545127 ~> b6989586621679545128) (a2 :: Const m a6989586621679545127)
type (a1 :: k1) <$ (a2 :: Const m b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (a1 :: k1) <$ (a2 :: Const m b6989586621679545130)
type FoldMap (a1 :: a6989586621680452726 ~> k2) (a2 :: Const m a6989586621680452726) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type FoldMap (a1 :: a6989586621680452726 ~> k2) (a2 :: Const m a6989586621680452726)
type Foldr (a1 :: a6989586621680452727 ~> (k2 ~> k2)) (a2 :: k2) (a3 :: Const m a6989586621680452727) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Foldr (a1 :: a6989586621680452727 ~> (k2 ~> k2)) (a2 :: k2) (a3 :: Const m a6989586621680452727)
type Foldr' (arg1 :: a ~> (b ~> b)) (arg2 :: b) (arg3 :: Const m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Foldr' (arg1 :: a ~> (b ~> b)) (arg2 :: b) (arg3 :: Const m a)
type Foldl (arg1 :: b ~> (a ~> b)) (arg2 :: b) (arg3 :: Const m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Foldl (arg1 :: b ~> (a ~> b)) (arg2 :: b) (arg3 :: Const m a)
type Foldl' (arg1 :: b ~> (a ~> b)) (arg2 :: b) (arg3 :: Const m a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Foldl' (arg1 :: b ~> (a ~> b)) (arg2 :: b) (arg3 :: Const m a)
type Traverse (a1 :: a6989586621680750996 ~> f6989586621680750995 b6989586621680750997) (a2 :: Const m a6989586621680750996) Source # 
Instance details

Defined in Data.Singletons.Prelude.Traversable

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

Defined in Data.Singletons.Prelude.Traversable

type MapM (arg1 :: a ~> m1 b) (arg2 :: Const m2 a)
type LiftA2 (a1 :: a6989586621679545135 ~> (b6989586621679545136 ~> c6989586621679545137)) (a2 :: Const m a6989586621679545135) (a3 :: Const m b6989586621679545136) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type LiftA2 (a1 :: a6989586621679545135 ~> (b6989586621679545136 ~> c6989586621679545137)) (a2 :: Const m a6989586621679545135) (a3 :: Const m b6989586621679545136)
type Rep (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

type Rep (Const a b) = D1 (MetaData "Const" "Data.Functor.Const" "base" True) (C1 (MetaCons "Const" PrefixI True) (S1 (MetaSel (Just "getConst") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
type Demote (Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Demote (Const a b) = Const (Demote a) b
data Sing (c :: Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

data Sing (c :: Const a b) where
type MinBound Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type MaxBound Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Mempty Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Mempty
type Negate (a2 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Negate (a2 :: Const a1 b)
type Abs (a2 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Abs (a2 :: Const a1 b)
type Signum (a2 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Signum (a2 :: Const a1 b)
type FromInteger a2 Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type FromInteger a2
type Succ (a2 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Succ (a2 :: Const a1 b)
type Pred (a2 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Pred (a2 :: Const a1 b)
type ToEnum a2 Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type ToEnum a2
type FromEnum (a2 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type FromEnum (a2 :: Const a1 b)
type Sconcat (arg :: NonEmpty (Const a b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Sconcat (arg :: NonEmpty (Const a b))
type Show_ (arg :: Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Show_ (arg :: Const a b)
type Mconcat (arg :: [Const a b]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Mconcat (arg :: [Const a b])
type FromString a2 Source # 
Instance details

Defined in Data.Singletons.Prelude.IsString

type FromString a2
type (a2 :: Const a1 b1) == (b2 :: Const a1 b1) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (a2 :: Const a1 b1) == (b2 :: Const a1 b1)
type (x :: Const a b) /= (y :: Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (x :: Const a b) /= (y :: Const a b) = Not (x == y)
type Compare (a2 :: Const a1 b) (a3 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Compare (a2 :: Const a1 b) (a3 :: Const a1 b)
type (arg1 :: Const a b) < (arg2 :: Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (arg1 :: Const a b) < (arg2 :: Const a b)
type (arg1 :: Const a b) <= (arg2 :: Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (arg1 :: Const a b) <= (arg2 :: Const a b)
type (arg1 :: Const a b) > (arg2 :: Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (arg1 :: Const a b) > (arg2 :: Const a b)
type (arg1 :: Const a b) >= (arg2 :: Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (arg1 :: Const a b) >= (arg2 :: Const a b)
type Max (arg1 :: Const a b) (arg2 :: Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Max (arg1 :: Const a b) (arg2 :: Const a b)
type Min (arg1 :: Const a b) (arg2 :: Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Min (arg1 :: Const a b) (arg2 :: Const a b)
type (a2 :: Const a1 b) + (a3 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (a2 :: Const a1 b) + (a3 :: Const a1 b)
type (a2 :: Const a1 b) - (a3 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (a2 :: Const a1 b) - (a3 :: Const a1 b)
type (a2 :: Const a1 b) * (a3 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (a2 :: Const a1 b) * (a3 :: Const a1 b)
type EnumFromTo (a2 :: Const a1 b) (a3 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type EnumFromTo (a2 :: Const a1 b) (a3 :: Const a1 b)
type (a2 :: Const a1 b) <> (a3 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (a2 :: Const a1 b) <> (a3 :: Const a1 b)
type ShowList (arg1 :: [Const a b]) arg2 Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type ShowList (arg1 :: [Const a b]) arg2
type Mappend (arg1 :: Const a b) (arg2 :: Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Mappend (arg1 :: Const a b) (arg2 :: Const a b)
type EnumFromThenTo (a2 :: Const a1 b) (a3 :: Const a1 b) (a4 :: Const a1 b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type EnumFromThenTo (a2 :: Const a1 b) (a3 :: Const a1 b) (a4 :: Const a1 b)
type ShowsPrec a2 (a3 :: Const a1 b) a4 Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type ShowsPrec a2 (a3 :: Const a1 b) a4
type Apply (ConstSym0 :: TyFun a (Const a b6989586621679092840) -> Type) (t6989586621680712043 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Apply (ConstSym0 :: TyFun a (Const a b6989586621679092840) -> Type) (t6989586621680712043 :: a) = (Const t6989586621680712043 :: Const a b6989586621679092840)

type family GetConst (x :: Const a b) :: a where ... Source #

Equations

GetConst (Const x) = x 

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

Equations

a_6989586621679714594 <$> a_6989586621679714596 = Apply (Apply FmapSym0 a_6989586621679714594) a_6989586621679714596 

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

type family (arg :: a) <$ (arg :: f b) :: f a infixl 4 Source #

Instances
type (a1 :: k1) <$ (a2 :: [b6989586621679545130]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type (a1 :: k1) <$ (a2 :: [b6989586621679545130])
type (a1 :: k1) <$ (a2 :: Maybe b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type (a1 :: k1) <$ (a2 :: Maybe b6989586621679545130)
type (a1 :: k1) <$ (a2 :: Min b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type (a1 :: k1) <$ (a2 :: Min b6989586621679545130)
type (a1 :: k1) <$ (a2 :: Max b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type (a1 :: k1) <$ (a2 :: Max b6989586621679545130)
type (a1 :: k1) <$ (a2 :: First b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type (a1 :: k1) <$ (a2 :: First b6989586621679545130)
type (a1 :: k1) <$ (a2 :: Last b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type (a1 :: k1) <$ (a2 :: Last b6989586621679545130)
type (a1 :: k1) <$ (a2 :: Option b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type (a1 :: k1) <$ (a2 :: Option b6989586621679545130)
type (a1 :: k1) <$ (a2 :: Identity b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Identity

type (a1 :: k1) <$ (a2 :: Identity b6989586621679545130)
type (a1 :: k1) <$ (a2 :: First b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

type (a1 :: k1) <$ (a2 :: First b6989586621679545130)
type (a1 :: k1) <$ (a2 :: Last b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monoid

type (a1 :: k1) <$ (a2 :: Last b6989586621679545130)
type (a1 :: k1) <$ (a2 :: Dual b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type (a1 :: k1) <$ (a2 :: Dual b6989586621679545130)
type (a1 :: k1) <$ (a2 :: Sum b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type (a1 :: k1) <$ (a2 :: Sum b6989586621679545130)
type (a1 :: k1) <$ (a2 :: Product b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

type (a1 :: k1) <$ (a2 :: Product b6989586621679545130)
type (a1 :: k1) <$ (a2 :: Down b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

type (a1 :: k1) <$ (a2 :: Down b6989586621679545130)
type (a1 :: k1) <$ (a2 :: NonEmpty b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type (a1 :: k1) <$ (a2 :: NonEmpty b6989586621679545130)
type (a2 :: k1) <$ (a3 :: Either a1 b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type (a2 :: k1) <$ (a3 :: Either a1 b6989586621679545130)
type (a2 :: k1) <$ (a3 :: (a1, b6989586621679545130)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

type (a2 :: k1) <$ (a3 :: (a1, b6989586621679545130))
type (a2 :: k1) <$ (a3 :: Arg a1 b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

type (a2 :: k1) <$ (a3 :: Arg a1 b6989586621679545130)
type (a1 :: k1) <$ (a2 :: Const m b6989586621679545130) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type (a1 :: k1) <$ (a2 :: Const m b6989586621679545130)

(%<$) :: forall a b (t :: a) (t :: f b). SFunctor f => Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t :: f a) infixl 4 Source #

type family (a :: f a) <**> (a :: f ((~>) a b)) :: f b where ... infixl 4 Source #

Equations

a_6989586621679545500 <**> a_6989586621679545502 = Apply (Apply (Apply LiftA2Sym0 (Apply (Apply Lambda_6989586621679545510Sym0 a_6989586621679545500) a_6989586621679545502)) a_6989586621679545500) a_6989586621679545502 

(%<**>) :: forall f a b (t :: f a) (t :: f ((~>) a b)). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply (<**>@#@$) t) t :: f b) infixl 4 Source #

type family LiftA (a :: (~>) a b) (a :: f a) :: f b where ... Source #

Equations

LiftA f a = Apply (Apply (<*>@#@$) (Apply PureSym0 f)) a 

sLiftA :: forall f a b (t :: (~>) a b) (t :: f a). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply LiftASym0 t) t :: f b) Source #

type family LiftA3 (a :: (~>) a ((~>) b ((~>) c d))) (a :: f a) (a :: f b) (a :: f c) :: f d where ... Source #

Equations

LiftA3 f a b c = Apply (Apply (<*>@#@$) (Apply (Apply (Apply LiftA2Sym0 f) a) b)) c 

sLiftA3 :: forall f a b c d (t :: (~>) a ((~>) b ((~>) c d))) (t :: f a) (t :: f b) (t :: f c). SApplicative f => Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply LiftA3Sym0 t) t) t) t :: f d) Source #

type family Optional (a :: f a) :: f (Maybe a) where ... Source #

sOptional :: forall f a (t :: f a). SAlternative f => Sing t -> Sing (Apply OptionalSym0 t :: f (Maybe a)) Source #

Defunctionalization symbols

data PureSym0 :: forall a6989586621679545132 f6989586621679545131. (~>) a6989586621679545132 (f6989586621679545131 a6989586621679545132) Source #

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

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (PureSym0 :: TyFun a6989586621679545132 (f6989586621679545131 a6989586621679545132) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (PureSym0 :: TyFun a (f6989586621679545131 a) -> Type) (arg6989586621679545544 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (PureSym0 :: TyFun a (f6989586621679545131 a) -> Type) (arg6989586621679545544 :: a) = (Pure arg6989586621679545544 :: f6989586621679545131 a)

type PureSym1 (arg6989586621679545544 :: a6989586621679545132) = Pure arg6989586621679545544 Source #

data (<*>@#@$) :: forall a6989586621679545133 b6989586621679545134 f6989586621679545131. (~>) (f6989586621679545131 ((~>) a6989586621679545133 b6989586621679545134)) ((~>) (f6989586621679545131 a6989586621679545133) (f6989586621679545131 b6989586621679545134)) infixl 4 Source #

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

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((<*>@#@$) :: TyFun (f6989586621679545131 (a6989586621679545133 ~> b6989586621679545134)) (f6989586621679545131 a6989586621679545133 ~> f6989586621679545131 b6989586621679545134) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<*>@#@$) :: TyFun (f6989586621679545131 (a6989586621679545133 ~> b6989586621679545134)) (f6989586621679545131 a6989586621679545133 ~> f6989586621679545131 b6989586621679545134) -> Type) (arg6989586621679545546 :: f6989586621679545131 (a6989586621679545133 ~> b6989586621679545134)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<*>@#@$) :: TyFun (f6989586621679545131 (a6989586621679545133 ~> b6989586621679545134)) (f6989586621679545131 a6989586621679545133 ~> f6989586621679545131 b6989586621679545134) -> Type) (arg6989586621679545546 :: f6989586621679545131 (a6989586621679545133 ~> b6989586621679545134)) = (<*>@#@$$) arg6989586621679545546

data (<*>@#@$$) (arg6989586621679545546 :: f6989586621679545131 ((~>) a6989586621679545133 b6989586621679545134)) :: (~>) (f6989586621679545131 a6989586621679545133) (f6989586621679545131 b6989586621679545134) infixl 4 Source #

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

SuppressUnusedWarnings ((<*>@#@$$) arg6989586621679545546 :: TyFun (f6989586621679545131 a6989586621679545133) (f6989586621679545131 b6989586621679545134) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<*>@#@$$) arg6989586621679545546 :: TyFun (f a) (f b) -> Type) (arg6989586621679545547 :: f a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<*>@#@$$) arg6989586621679545546 :: TyFun (f a) (f b) -> Type) (arg6989586621679545547 :: f a) = arg6989586621679545546 <*> arg6989586621679545547

type (<*>@#@$$$) (arg6989586621679545546 :: f6989586621679545131 ((~>) a6989586621679545133 b6989586621679545134)) (arg6989586621679545547 :: f6989586621679545131 a6989586621679545133) = (<*>) arg6989586621679545546 arg6989586621679545547 Source #

data (*>@#@$) :: forall a6989586621679545138 b6989586621679545139 f6989586621679545131. (~>) (f6989586621679545131 a6989586621679545138) ((~>) (f6989586621679545131 b6989586621679545139) (f6989586621679545131 b6989586621679545139)) infixl 4 Source #

Instances
SApplicative f => SingI ((*>@#@$) :: TyFun (f a) (f b ~> f b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((*>@#@$) :: TyFun (f6989586621679545131 a6989586621679545138) (f6989586621679545131 b6989586621679545139 ~> f6989586621679545131 b6989586621679545139) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((*>@#@$) :: TyFun (f6989586621679545131 a6989586621679545138) (f6989586621679545131 b6989586621679545139 ~> f6989586621679545131 b6989586621679545139) -> Type) (arg6989586621679545556 :: f6989586621679545131 a6989586621679545138) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((*>@#@$) :: TyFun (f6989586621679545131 a6989586621679545138) (f6989586621679545131 b6989586621679545139 ~> f6989586621679545131 b6989586621679545139) -> Type) (arg6989586621679545556 :: f6989586621679545131 a6989586621679545138) = (arg6989586621679545556 *>@#@$$ b6989586621679545139 :: TyFun (f6989586621679545131 b6989586621679545139) (f6989586621679545131 b6989586621679545139) -> Type)

data (*>@#@$$) (arg6989586621679545556 :: f6989586621679545131 a6989586621679545138) :: forall b6989586621679545139. (~>) (f6989586621679545131 b6989586621679545139) (f6989586621679545131 b6989586621679545139) infixl 4 Source #

Instances
(SApplicative f, SingI d) => SingI (d *>@#@$$ b :: TyFun (f b) (f b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

SuppressUnusedWarnings (arg6989586621679545556 *>@#@$$ b6989586621679545139 :: TyFun (f6989586621679545131 b6989586621679545139) (f6989586621679545131 b6989586621679545139) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (arg6989586621679545556 *>@#@$$ b :: TyFun (f b) (f b) -> Type) (arg6989586621679545557 :: f b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (arg6989586621679545556 *>@#@$$ b :: TyFun (f b) (f b) -> Type) (arg6989586621679545557 :: f b) = arg6989586621679545556 *> arg6989586621679545557

type (*>@#@$$$) (arg6989586621679545556 :: f6989586621679545131 a6989586621679545138) (arg6989586621679545557 :: f6989586621679545131 b6989586621679545139) = (*>) arg6989586621679545556 arg6989586621679545557 Source #

data (<*@#@$) :: forall a6989586621679545140 b6989586621679545141 f6989586621679545131. (~>) (f6989586621679545131 a6989586621679545140) ((~>) (f6989586621679545131 b6989586621679545141) (f6989586621679545131 a6989586621679545140)) infixl 4 Source #

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

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((<*@#@$) :: TyFun (f6989586621679545131 a6989586621679545140) (f6989586621679545131 b6989586621679545141 ~> f6989586621679545131 a6989586621679545140) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<*@#@$) :: TyFun (f6989586621679545131 a6989586621679545140) (f6989586621679545131 b6989586621679545141 ~> f6989586621679545131 a6989586621679545140) -> Type) (arg6989586621679545560 :: f6989586621679545131 a6989586621679545140) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<*@#@$) :: TyFun (f6989586621679545131 a6989586621679545140) (f6989586621679545131 b6989586621679545141 ~> f6989586621679545131 a6989586621679545140) -> Type) (arg6989586621679545560 :: f6989586621679545131 a6989586621679545140) = (arg6989586621679545560 <*@#@$$ b6989586621679545141 :: TyFun (f6989586621679545131 b6989586621679545141) (f6989586621679545131 a6989586621679545140) -> Type)

data (<*@#@$$) (arg6989586621679545560 :: f6989586621679545131 a6989586621679545140) :: forall b6989586621679545141. (~>) (f6989586621679545131 b6989586621679545141) (f6989586621679545131 a6989586621679545140) infixl 4 Source #

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (d <*@#@$$ b) Source #

SuppressUnusedWarnings (arg6989586621679545560 <*@#@$$ b6989586621679545141 :: TyFun (f6989586621679545131 b6989586621679545141) (f6989586621679545131 a6989586621679545140) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (arg6989586621679545560 <*@#@$$ b :: TyFun (f b) (f a) -> Type) (arg6989586621679545561 :: f b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (arg6989586621679545560 <*@#@$$ b :: TyFun (f b) (f a) -> Type) (arg6989586621679545561 :: f b) = arg6989586621679545560 <* arg6989586621679545561

type (<*@#@$$$) (arg6989586621679545560 :: f6989586621679545131 a6989586621679545140) (arg6989586621679545561 :: f6989586621679545131 b6989586621679545141) = (<*) arg6989586621679545560 arg6989586621679545561 Source #

data (<|>@#@$) :: forall a6989586621679545210 f6989586621679545208. (~>) (f6989586621679545208 a6989586621679545210) ((~>) (f6989586621679545208 a6989586621679545210) (f6989586621679545208 a6989586621679545210)) infixl 3 Source #

Instances
SAlternative f => SingI ((<|>@#@$) :: TyFun (f a) (f a ~> f a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((<|>@#@$) :: TyFun (f6989586621679545208 a6989586621679545210) (f6989586621679545208 a6989586621679545210 ~> f6989586621679545208 a6989586621679545210) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<|>@#@$) :: TyFun (f6989586621679545208 a6989586621679545210) (f6989586621679545208 a6989586621679545210 ~> f6989586621679545208 a6989586621679545210) -> Type) (arg6989586621679545677 :: f6989586621679545208 a6989586621679545210) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<|>@#@$) :: TyFun (f6989586621679545208 a6989586621679545210) (f6989586621679545208 a6989586621679545210 ~> f6989586621679545208 a6989586621679545210) -> Type) (arg6989586621679545677 :: f6989586621679545208 a6989586621679545210) = (<|>@#@$$) arg6989586621679545677

data (<|>@#@$$) (arg6989586621679545677 :: f6989586621679545208 a6989586621679545210) :: (~>) (f6989586621679545208 a6989586621679545210) (f6989586621679545208 a6989586621679545210) infixl 3 Source #

Instances
(SAlternative f, SingI d) => SingI ((<|>@#@$$) d :: TyFun (f a) (f a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

SuppressUnusedWarnings ((<|>@#@$$) arg6989586621679545677 :: TyFun (f6989586621679545208 a6989586621679545210) (f6989586621679545208 a6989586621679545210) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<|>@#@$$) arg6989586621679545677 :: TyFun (f a) (f a) -> Type) (arg6989586621679545678 :: f a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<|>@#@$$) arg6989586621679545677 :: TyFun (f a) (f a) -> Type) (arg6989586621679545678 :: f a) = arg6989586621679545677 <|> arg6989586621679545678

type (<|>@#@$$$) (arg6989586621679545677 :: f6989586621679545208 a6989586621679545210) (arg6989586621679545678 :: f6989586621679545208 a6989586621679545210) = (<|>) arg6989586621679545677 arg6989586621679545678 Source #

data ConstSym0 :: forall (a6989586621679092839 :: Type) k6989586621679092838 (b6989586621679092840 :: k6989586621679092838). (~>) a6989586621679092839 (Const (a6989586621679092839 :: Type) (b6989586621679092840 :: k6989586621679092838)) Source #

Instances
SingI (ConstSym0 :: TyFun a6989586621679092839 (Const a6989586621679092839 b6989586621679092840) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679092839 (Const a6989586621679092839 b6989586621679092840) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Apply (ConstSym0 :: TyFun a (Const a b6989586621679092840) -> Type) (t6989586621680712043 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Apply (ConstSym0 :: TyFun a (Const a b6989586621679092840) -> Type) (t6989586621680712043 :: a) = (Const t6989586621680712043 :: Const a b6989586621679092840)

type ConstSym1 (t6989586621680712043 :: a6989586621679092839) = Const t6989586621680712043 Source #

data GetConstSym0 :: forall a6989586621680712358 b6989586621680712359. (~>) (Const a6989586621680712358 b6989586621680712359) a6989586621680712358 Source #

Instances
SuppressUnusedWarnings (GetConstSym0 :: TyFun (Const a6989586621680712358 b6989586621680712359) a6989586621680712358 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Apply (GetConstSym0 :: TyFun (Const a b) a -> Type) (x6989586621680712360 :: Const a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

type Apply (GetConstSym0 :: TyFun (Const a b) a -> Type) (x6989586621680712360 :: Const a b) = GetConst x6989586621680712360

type GetConstSym1 (x6989586621680712360 :: Const a6989586621680712358 b6989586621680712359) = GetConst x6989586621680712360 Source #

data (<$>@#@$) :: forall a6989586621679714518 b6989586621679714519 f6989586621679714517. (~>) ((~>) a6989586621679714518 b6989586621679714519) ((~>) (f6989586621679714517 a6989586621679714518) (f6989586621679714517 b6989586621679714519)) infixl 4 Source #

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

Defined in Data.Singletons.Prelude.Functor

SuppressUnusedWarnings ((<$>@#@$) :: TyFun (a6989586621679714518 ~> b6989586621679714519) (f6989586621679714517 a6989586621679714518 ~> f6989586621679714517 b6989586621679714519) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

type Apply ((<$>@#@$) :: TyFun (a6989586621679714518 ~> b6989586621679714519) (f6989586621679714517 a6989586621679714518 ~> f6989586621679714517 b6989586621679714519) -> Type) (a6989586621679714598 :: a6989586621679714518 ~> b6989586621679714519) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

type Apply ((<$>@#@$) :: TyFun (a6989586621679714518 ~> b6989586621679714519) (f6989586621679714517 a6989586621679714518 ~> f6989586621679714517 b6989586621679714519) -> Type) (a6989586621679714598 :: a6989586621679714518 ~> b6989586621679714519) = (a6989586621679714598 <$>@#@$$ f6989586621679714517 :: TyFun (f6989586621679714517 a6989586621679714518) (f6989586621679714517 b6989586621679714519) -> Type)

data (<$>@#@$$) (a6989586621679714598 :: (~>) a6989586621679714518 b6989586621679714519) :: forall f6989586621679714517. (~>) (f6989586621679714517 a6989586621679714518) (f6989586621679714517 b6989586621679714519) infixl 4 Source #

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

Defined in Data.Singletons.Prelude.Functor

Methods

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

SuppressUnusedWarnings (a6989586621679714598 <$>@#@$$ f6989586621679714517 :: TyFun (f6989586621679714517 a6989586621679714518) (f6989586621679714517 b6989586621679714519) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

type Apply (a6989586621679714598 <$>@#@$$ f :: TyFun (f a) (f b) -> Type) (a6989586621679714599 :: f a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Functor

type Apply (a6989586621679714598 <$>@#@$$ f :: TyFun (f a) (f b) -> Type) (a6989586621679714599 :: f a) = a6989586621679714598 <$> a6989586621679714599

type (<$>@#@$$$) (a6989586621679714598 :: (~>) a6989586621679714518 b6989586621679714519) (a6989586621679714599 :: f6989586621679714517 a6989586621679714518) = (<$>) a6989586621679714598 a6989586621679714599 Source #

data (<$@#@$) :: forall a6989586621679545129 b6989586621679545130 f6989586621679545126. (~>) a6989586621679545129 ((~>) (f6989586621679545126 b6989586621679545130) (f6989586621679545126 a6989586621679545129)) infixl 4 Source #

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

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((<$@#@$) :: TyFun a6989586621679545129 (f6989586621679545126 b6989586621679545130 ~> f6989586621679545126 a6989586621679545129) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<$@#@$) :: TyFun a6989586621679545129 (f6989586621679545126 b6989586621679545130 ~> f6989586621679545126 a6989586621679545129) -> Type) (arg6989586621679545524 :: a6989586621679545129) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<$@#@$) :: TyFun a6989586621679545129 (f6989586621679545126 b6989586621679545130 ~> f6989586621679545126 a6989586621679545129) -> Type) (arg6989586621679545524 :: a6989586621679545129) = ((arg6989586621679545524 <$@#@$$ b6989586621679545130) f6989586621679545126 :: TyFun (f6989586621679545126 b6989586621679545130) (f6989586621679545126 a6989586621679545129) -> Type)

data (<$@#@$$) (arg6989586621679545524 :: a6989586621679545129) :: forall b6989586621679545130 f6989586621679545126. (~>) (f6989586621679545126 b6989586621679545130) (f6989586621679545126 a6989586621679545129) infixl 4 Source #

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing ((d <$@#@$$ b) f) Source #

SuppressUnusedWarnings ((arg6989586621679545524 <$@#@$$ b6989586621679545130) f6989586621679545126 :: TyFun (f6989586621679545126 b6989586621679545130) (f6989586621679545126 a6989586621679545129) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((arg6989586621679545524 <$@#@$$ b) f :: TyFun (f b) (f a) -> Type) (arg6989586621679545525 :: f b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((arg6989586621679545524 <$@#@$$ b) f :: TyFun (f b) (f a) -> Type) (arg6989586621679545525 :: f b) = arg6989586621679545524 <$ arg6989586621679545525

type (<$@#@$$$) (arg6989586621679545524 :: a6989586621679545129) (arg6989586621679545525 :: f6989586621679545126 b6989586621679545130) = (<$) arg6989586621679545524 arg6989586621679545525 Source #

data (<**>@#@$) :: forall a6989586621679545091 b6989586621679545092 f6989586621679545090. (~>) (f6989586621679545090 a6989586621679545091) ((~>) (f6989586621679545090 ((~>) a6989586621679545091 b6989586621679545092)) (f6989586621679545090 b6989586621679545092)) infixl 4 Source #

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

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings ((<**>@#@$) :: TyFun (f6989586621679545090 a6989586621679545091) (f6989586621679545090 (a6989586621679545091 ~> b6989586621679545092) ~> f6989586621679545090 b6989586621679545092) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<**>@#@$) :: TyFun (f6989586621679545090 a6989586621679545091) (f6989586621679545090 (a6989586621679545091 ~> b6989586621679545092) ~> f6989586621679545090 b6989586621679545092) -> Type) (a6989586621679545504 :: f6989586621679545090 a6989586621679545091) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<**>@#@$) :: TyFun (f6989586621679545090 a6989586621679545091) (f6989586621679545090 (a6989586621679545091 ~> b6989586621679545092) ~> f6989586621679545090 b6989586621679545092) -> Type) (a6989586621679545504 :: f6989586621679545090 a6989586621679545091) = (a6989586621679545504 <**>@#@$$ b6989586621679545092 :: TyFun (f6989586621679545090 (a6989586621679545091 ~> b6989586621679545092)) (f6989586621679545090 b6989586621679545092) -> Type)

data (<**>@#@$$) (a6989586621679545504 :: f6989586621679545090 a6989586621679545091) :: forall b6989586621679545092. (~>) (f6989586621679545090 ((~>) a6989586621679545091 b6989586621679545092)) (f6989586621679545090 b6989586621679545092) infixl 4 Source #

Instances
(SApplicative f, SingI d) => SingI (d <**>@#@$$ b :: TyFun (f (a ~> b)) (f b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

SuppressUnusedWarnings (a6989586621679545504 <**>@#@$$ b6989586621679545092 :: TyFun (f6989586621679545090 (a6989586621679545091 ~> b6989586621679545092)) (f6989586621679545090 b6989586621679545092) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (a6989586621679545504 <**>@#@$$ b :: TyFun (f (a ~> b)) (f b) -> Type) (a6989586621679545505 :: f (a ~> b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (a6989586621679545504 <**>@#@$$ b :: TyFun (f (a ~> b)) (f b) -> Type) (a6989586621679545505 :: f (a ~> b)) = a6989586621679545504 <**> a6989586621679545505

type (<**>@#@$$$) (a6989586621679545504 :: f6989586621679545090 a6989586621679545091) (a6989586621679545505 :: f6989586621679545090 ((~>) a6989586621679545091 b6989586621679545092)) = (<**>) a6989586621679545504 a6989586621679545505 Source #

data LiftASym0 :: forall a6989586621679545088 b6989586621679545089 f6989586621679545087. (~>) ((~>) a6989586621679545088 b6989586621679545089) ((~>) (f6989586621679545087 a6989586621679545088) (f6989586621679545087 b6989586621679545089)) Source #

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

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftASym0 :: TyFun (a6989586621679545088 ~> b6989586621679545089) (f6989586621679545087 a6989586621679545088 ~> f6989586621679545087 b6989586621679545089) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftASym0 :: TyFun (a6989586621679545088 ~> b6989586621679545089) (f6989586621679545087 a6989586621679545088 ~> f6989586621679545087 b6989586621679545089) -> Type) (a6989586621679545494 :: a6989586621679545088 ~> b6989586621679545089) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftASym0 :: TyFun (a6989586621679545088 ~> b6989586621679545089) (f6989586621679545087 a6989586621679545088 ~> f6989586621679545087 b6989586621679545089) -> Type) (a6989586621679545494 :: a6989586621679545088 ~> b6989586621679545089) = (LiftASym1 a6989586621679545494 f6989586621679545087 :: TyFun (f6989586621679545087 a6989586621679545088) (f6989586621679545087 b6989586621679545089) -> Type)

data LiftASym1 (a6989586621679545494 :: (~>) a6989586621679545088 b6989586621679545089) :: forall f6989586621679545087. (~>) (f6989586621679545087 a6989586621679545088) (f6989586621679545087 b6989586621679545089) Source #

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftASym1 d f) Source #

SuppressUnusedWarnings (LiftASym1 a6989586621679545494 f6989586621679545087 :: TyFun (f6989586621679545087 a6989586621679545088) (f6989586621679545087 b6989586621679545089) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftASym1 a6989586621679545494 f :: TyFun (f a) (f b) -> Type) (a6989586621679545495 :: f a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftASym1 a6989586621679545494 f :: TyFun (f a) (f b) -> Type) (a6989586621679545495 :: f a) = LiftA a6989586621679545494 a6989586621679545495

type LiftASym2 (a6989586621679545494 :: (~>) a6989586621679545088 b6989586621679545089) (a6989586621679545495 :: f6989586621679545087 a6989586621679545088) = LiftA a6989586621679545494 a6989586621679545495 Source #

data LiftA2Sym0 :: forall a6989586621679545135 b6989586621679545136 c6989586621679545137 f6989586621679545131. (~>) ((~>) a6989586621679545135 ((~>) b6989586621679545136 c6989586621679545137)) ((~>) (f6989586621679545131 a6989586621679545135) ((~>) (f6989586621679545131 b6989586621679545136) (f6989586621679545131 c6989586621679545137))) Source #

Instances
SApplicative f => SingI (LiftA2Sym0 :: TyFun (a ~> (b ~> c)) (f a ~> (f b ~> f c)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftA2Sym0 :: TyFun (a6989586621679545135 ~> (b6989586621679545136 ~> c6989586621679545137)) (f6989586621679545131 a6989586621679545135 ~> (f6989586621679545131 b6989586621679545136 ~> f6989586621679545131 c6989586621679545137)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA2Sym0 :: TyFun (a6989586621679545135 ~> (b6989586621679545136 ~> c6989586621679545137)) (f6989586621679545131 a6989586621679545135 ~> (f6989586621679545131 b6989586621679545136 ~> f6989586621679545131 c6989586621679545137)) -> Type) (arg6989586621679545550 :: a6989586621679545135 ~> (b6989586621679545136 ~> c6989586621679545137)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA2Sym0 :: TyFun (a6989586621679545135 ~> (b6989586621679545136 ~> c6989586621679545137)) (f6989586621679545131 a6989586621679545135 ~> (f6989586621679545131 b6989586621679545136 ~> f6989586621679545131 c6989586621679545137)) -> Type) (arg6989586621679545550 :: a6989586621679545135 ~> (b6989586621679545136 ~> c6989586621679545137)) = (LiftA2Sym1 arg6989586621679545550 f6989586621679545131 :: TyFun (f6989586621679545131 a6989586621679545135) (f6989586621679545131 b6989586621679545136 ~> f6989586621679545131 c6989586621679545137) -> Type)

data LiftA2Sym1 (arg6989586621679545550 :: (~>) a6989586621679545135 ((~>) b6989586621679545136 c6989586621679545137)) :: forall f6989586621679545131. (~>) (f6989586621679545131 a6989586621679545135) ((~>) (f6989586621679545131 b6989586621679545136) (f6989586621679545131 c6989586621679545137)) Source #

Instances
(SApplicative f, SingI d) => SingI (LiftA2Sym1 d f :: TyFun (f a) (f b ~> f c) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftA2Sym1 d f) Source #

SuppressUnusedWarnings (LiftA2Sym1 arg6989586621679545550 f6989586621679545131 :: TyFun (f6989586621679545131 a6989586621679545135) (f6989586621679545131 b6989586621679545136 ~> f6989586621679545131 c6989586621679545137) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA2Sym1 arg6989586621679545550 f6989586621679545131 :: TyFun (f6989586621679545131 a6989586621679545135) (f6989586621679545131 b6989586621679545136 ~> f6989586621679545131 c6989586621679545137) -> Type) (arg6989586621679545551 :: f6989586621679545131 a6989586621679545135) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA2Sym1 arg6989586621679545550 f6989586621679545131 :: TyFun (f6989586621679545131 a6989586621679545135) (f6989586621679545131 b6989586621679545136 ~> f6989586621679545131 c6989586621679545137) -> Type) (arg6989586621679545551 :: f6989586621679545131 a6989586621679545135) = LiftA2Sym2 arg6989586621679545550 arg6989586621679545551

data LiftA2Sym2 (arg6989586621679545550 :: (~>) a6989586621679545135 ((~>) b6989586621679545136 c6989586621679545137)) (arg6989586621679545551 :: f6989586621679545131 a6989586621679545135) :: (~>) (f6989586621679545131 b6989586621679545136) (f6989586621679545131 c6989586621679545137) Source #

Instances
(SApplicative f, SingI d1, SingI d2) => SingI (LiftA2Sym2 d1 d2 :: TyFun (f b) (f c) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftA2Sym2 d1 d2) Source #

SuppressUnusedWarnings (LiftA2Sym2 arg6989586621679545551 arg6989586621679545550 :: TyFun (f6989586621679545131 b6989586621679545136) (f6989586621679545131 c6989586621679545137) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA2Sym2 arg6989586621679545551 arg6989586621679545550 :: TyFun (f b) (f c) -> Type) (arg6989586621679545552 :: f b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA2Sym2 arg6989586621679545551 arg6989586621679545550 :: TyFun (f b) (f c) -> Type) (arg6989586621679545552 :: f b) = LiftA2 arg6989586621679545551 arg6989586621679545550 arg6989586621679545552

type LiftA2Sym3 (arg6989586621679545550 :: (~>) a6989586621679545135 ((~>) b6989586621679545136 c6989586621679545137)) (arg6989586621679545551 :: f6989586621679545131 a6989586621679545135) (arg6989586621679545552 :: f6989586621679545131 b6989586621679545136) = LiftA2 arg6989586621679545550 arg6989586621679545551 arg6989586621679545552 Source #

data LiftA3Sym0 :: forall a6989586621679545083 b6989586621679545084 c6989586621679545085 d6989586621679545086 f6989586621679545082. (~>) ((~>) a6989586621679545083 ((~>) b6989586621679545084 ((~>) c6989586621679545085 d6989586621679545086))) ((~>) (f6989586621679545082 a6989586621679545083) ((~>) (f6989586621679545082 b6989586621679545084) ((~>) (f6989586621679545082 c6989586621679545085) (f6989586621679545082 d6989586621679545086)))) Source #

Instances
SApplicative f => SingI (LiftA3Sym0 :: TyFun (a ~> (b ~> (c ~> d))) (f a ~> (f b ~> (f c ~> f d))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

SuppressUnusedWarnings (LiftA3Sym0 :: TyFun (a6989586621679545083 ~> (b6989586621679545084 ~> (c6989586621679545085 ~> d6989586621679545086))) (f6989586621679545082 a6989586621679545083 ~> (f6989586621679545082 b6989586621679545084 ~> (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086))) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA3Sym0 :: TyFun (a6989586621679545083 ~> (b6989586621679545084 ~> (c6989586621679545085 ~> d6989586621679545086))) (f6989586621679545082 a6989586621679545083 ~> (f6989586621679545082 b6989586621679545084 ~> (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086))) -> Type) (a6989586621679545482 :: a6989586621679545083 ~> (b6989586621679545084 ~> (c6989586621679545085 ~> d6989586621679545086))) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA3Sym0 :: TyFun (a6989586621679545083 ~> (b6989586621679545084 ~> (c6989586621679545085 ~> d6989586621679545086))) (f6989586621679545082 a6989586621679545083 ~> (f6989586621679545082 b6989586621679545084 ~> (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086))) -> Type) (a6989586621679545482 :: a6989586621679545083 ~> (b6989586621679545084 ~> (c6989586621679545085 ~> d6989586621679545086))) = (LiftA3Sym1 a6989586621679545482 f6989586621679545082 :: TyFun (f6989586621679545082 a6989586621679545083) (f6989586621679545082 b6989586621679545084 ~> (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086)) -> Type)

data LiftA3Sym1 (a6989586621679545482 :: (~>) a6989586621679545083 ((~>) b6989586621679545084 ((~>) c6989586621679545085 d6989586621679545086))) :: forall f6989586621679545082. (~>) (f6989586621679545082 a6989586621679545083) ((~>) (f6989586621679545082 b6989586621679545084) ((~>) (f6989586621679545082 c6989586621679545085) (f6989586621679545082 d6989586621679545086))) Source #

Instances
(SApplicative f, SingI d2) => SingI (LiftA3Sym1 d2 f :: TyFun (f a) (f b ~> (f c ~> f d1)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftA3Sym1 d2 f) Source #

SuppressUnusedWarnings (LiftA3Sym1 a6989586621679545482 f6989586621679545082 :: TyFun (f6989586621679545082 a6989586621679545083) (f6989586621679545082 b6989586621679545084 ~> (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA3Sym1 a6989586621679545482 f6989586621679545082 :: TyFun (f6989586621679545082 a6989586621679545083) (f6989586621679545082 b6989586621679545084 ~> (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086)) -> Type) (a6989586621679545483 :: f6989586621679545082 a6989586621679545083) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA3Sym1 a6989586621679545482 f6989586621679545082 :: TyFun (f6989586621679545082 a6989586621679545083) (f6989586621679545082 b6989586621679545084 ~> (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086)) -> Type) (a6989586621679545483 :: f6989586621679545082 a6989586621679545083) = LiftA3Sym2 a6989586621679545482 a6989586621679545483

data LiftA3Sym2 (a6989586621679545482 :: (~>) a6989586621679545083 ((~>) b6989586621679545084 ((~>) c6989586621679545085 d6989586621679545086))) (a6989586621679545483 :: f6989586621679545082 a6989586621679545083) :: (~>) (f6989586621679545082 b6989586621679545084) ((~>) (f6989586621679545082 c6989586621679545085) (f6989586621679545082 d6989586621679545086)) Source #

Instances
(SApplicative f, SingI d2, SingI d3) => SingI (LiftA3Sym2 d2 d3 :: TyFun (f b) (f c ~> f d1) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftA3Sym2 d2 d3) Source #

SuppressUnusedWarnings (LiftA3Sym2 a6989586621679545483 a6989586621679545482 :: TyFun (f6989586621679545082 b6989586621679545084) (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA3Sym2 a6989586621679545483 a6989586621679545482 :: TyFun (f6989586621679545082 b6989586621679545084) (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086) -> Type) (a6989586621679545484 :: f6989586621679545082 b6989586621679545084) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA3Sym2 a6989586621679545483 a6989586621679545482 :: TyFun (f6989586621679545082 b6989586621679545084) (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086) -> Type) (a6989586621679545484 :: f6989586621679545082 b6989586621679545084) = LiftA3Sym3 a6989586621679545483 a6989586621679545482 a6989586621679545484

data LiftA3Sym3 (a6989586621679545482 :: (~>) a6989586621679545083 ((~>) b6989586621679545084 ((~>) c6989586621679545085 d6989586621679545086))) (a6989586621679545483 :: f6989586621679545082 a6989586621679545083) (a6989586621679545484 :: f6989586621679545082 b6989586621679545084) :: (~>) (f6989586621679545082 c6989586621679545085) (f6989586621679545082 d6989586621679545086) Source #

Instances
(SApplicative f, SingI d2, SingI d3, SingI d4) => SingI (LiftA3Sym3 d2 d3 d4 :: TyFun (f c) (f d1) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (LiftA3Sym3 d2 d3 d4) Source #

SuppressUnusedWarnings (LiftA3Sym3 a6989586621679545484 a6989586621679545483 a6989586621679545482 :: TyFun (f6989586621679545082 c6989586621679545085) (f6989586621679545082 d6989586621679545086) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA3Sym3 a6989586621679545484 a6989586621679545483 a6989586621679545482 :: TyFun (f c) (f d) -> Type) (a6989586621679545485 :: f c) Source # 
Instance details

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (LiftA3Sym3 a6989586621679545484 a6989586621679545483 a6989586621679545482 :: TyFun (f c) (f d) -> Type) (a6989586621679545485 :: f c) = LiftA3 a6989586621679545484 a6989586621679545483 a6989586621679545482 a6989586621679545485

data OptionalSym0 :: forall a6989586621681202610 f6989586621681202609. (~>) (f6989586621681202609 a6989586621681202610) (f6989586621681202609 (Maybe a6989586621681202610)) Source #

Instances
SAlternative f => SingI (OptionalSym0 :: TyFun (f a) (f (Maybe a)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Applicative

SuppressUnusedWarnings (OptionalSym0 :: TyFun (f6989586621681202609 a6989586621681202610) (f6989586621681202609 (Maybe a6989586621681202610)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Applicative

type Apply (OptionalSym0 :: TyFun (f a) (f (Maybe a)) -> Type) (a6989586621681202649 :: f a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Applicative

type Apply (OptionalSym0 :: TyFun (f a) (f (Maybe a)) -> Type) (a6989586621681202649 :: f a) = Optional a6989586621681202649

type OptionalSym1 (a6989586621681202649 :: f6989586621681202609 a6989586621681202610) = Optional a6989586621681202649 Source #

Orphan instances

SApplicative Down Source # 
Instance details

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

PApplicative Down Source # 
Instance details

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #

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

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t) Source #

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

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source #

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

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

PApplicative ((,) a) Source # 
Instance details

Associated Types

type Pure arg :: f a Source #

type arg <*> arg :: f b Source #

type LiftA2 arg arg arg :: f c Source #

type arg *> arg :: f b Source #

type arg <* arg :: f a Source #