Copyright | (C) 2018 Ryan Scott |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Defines the promoted and singled versions of the Applicative
type class.
Synopsis
- class PFunctor f => PApplicative (f :: Type -> Type) where
- class SFunctor f => SApplicative (f :: Type -> Type) where
- sPure :: forall a (t :: a). Sing t -> Sing (Apply PureSym0 t :: f a)
- (%<*>) :: forall a b (t :: f ((~>) a b)) (t :: f a). Sing t -> Sing t -> Sing (Apply (Apply (<*>@#@$) t) t :: f b)
- 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)
- (%*>) :: forall a b (t :: f a) (t :: f b). Sing t -> Sing t -> Sing (Apply (Apply (*>@#@$) t) t :: f b)
- (%<*) :: forall a b (t :: f a) (t :: f b). Sing t -> Sing t -> Sing (Apply (Apply (<*@#@$) t) t :: f a)
- class PApplicative f => PAlternative (f :: Type -> Type) where
- 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 #
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 #
Instances
class SFunctor f => SApplicative (f :: Type -> Type) where Source #
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
class PApplicative f => PAlternative (f :: Type -> Type) Source #
Instances
PAlternative [] Source # | |
PAlternative Maybe Source # | |
PAlternative Option Source # | |
class SApplicative f => SAlternative (f :: Type -> Type) where Source #
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 #
Instances
SAlternative [] Source # | |
SAlternative Maybe Source # | |
SAlternative Option Source # | |
data family Sing :: k -> Type Source #
The singleton kind-indexed data family.
Instances
SDecide k => TestCoercion (Sing :: k -> Type) Source # | |
Defined in Data.Singletons.Decide | |
SDecide k => TestEquality (Sing :: k -> Type) Source # | |
Defined in Data.Singletons.Decide | |
Show (SSymbol s) Source # | |
Show (SNat n) Source # | |
Eq (Sing a) Source # | |
Ord (Sing a) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
Show (Sing a) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z) Source # | |
Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing m => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing Bool => Show (Sing z) Source # | |
ShowSing Bool => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # | |
data Sing (a :: Bool) Source # | |
data Sing (a :: Ordering) Source # | |
data Sing (n :: Nat) Source # | |
data Sing (n :: Symbol) Source # | |
Defined in Data.Singletons.TypeLits.Internal | |
data Sing (a :: ()) Source # | |
Defined in Data.Singletons.Prelude.Instances | |
data Sing (a :: Void) Source # | |
Defined in Data.Singletons.Prelude.Instances | |
data Sing (a :: All) Source # | |
data Sing (a :: Any) Source # | |
data Sing (a :: PErrorMessage) Source # | |
Defined in Data.Singletons.TypeError data Sing (a :: PErrorMessage) where
| |
data Sing (b :: [a]) Source # | |
data Sing (b :: Maybe a) Source # | |
data Sing (a :: TYPE rep) Source # | A choice of singleton for the kind Conceivably, one could generalize this instance to `Sing :: k -> Type` for
any kind We cannot produce explicit singleton values for everything in |
Defined in Data.Singletons.TypeRepTYPE | |
data Sing (b :: Min a) Source # | |
data Sing (b :: Max a) Source # | |
data Sing (b :: First a) Source # | |
data Sing (b :: Last a) Source # | |
data Sing (a :: WrappedMonoid m) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: WrappedMonoid m) where
| |
data Sing (b :: Option a) Source # | |
data Sing (b :: Identity a) Source # | |
data Sing (b :: First a) Source # | |
data Sing (b :: Last a) Source # | |
data Sing (b :: Dual a) Source # | |
data Sing (b :: Sum a) Source # | |
data Sing (b :: Product a) Source # | |
data Sing (b :: Down a) Source # | |
data Sing (b :: NonEmpty a) Source # | |
data Sing (c :: Either a b) Source # | |
data Sing (c :: (a, b)) Source # | |
data Sing (c :: Arg a b) Source # | |
data Sing (f :: k1 ~> k2) Source # | |
data Sing (d :: (a, b, c)) Source # | |
data Sing (c :: Const a b) Source # | |
data Sing (e :: (a, b, c, d)) Source # | |
data Sing (f :: (a, b, c, d, e)) Source # | |
data Sing (g :: (a, b, c, d, e, f)) Source # | |
data Sing (h :: (a, b, c, d, e, f, g)) Source # | |
Defined in Data.Singletons.Prelude.Instances |
data Const a (b :: k) :: forall k. Type -> k -> Type #
The Const
functor.
Instances
Generic1 (Const a :: k -> Type) | |
Bifunctor (Const :: Type -> Type -> Type) | Since: base-4.8.0.0 |
Eq2 (Const :: Type -> Type -> Type) | Since: base-4.9.0.0 |
Ord2 (Const :: Type -> Type -> Type) | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
Read2 (Const :: Type -> Type -> Type) | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes 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 |
Functor (Const m :: Type -> Type) | Since: base-2.1 |
Monoid m => Applicative (Const m :: Type -> Type) | Since: base-2.0.1 |
Foldable (Const m :: Type -> Type) | Since: base-4.7.0.0 |
Defined in Data.Functor.Const 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 # elem :: Eq a => a -> Const m a -> Bool # maximum :: Ord a => Const m a -> a # minimum :: Ord a => Const m a -> a # | |
Traversable (Const m :: Type -> Type) | Since: base-4.7.0.0 |
Eq a => Eq1 (Const a :: Type -> Type) | Since: base-4.9.0.0 |
Ord a => Ord1 (Const a :: Type -> Type) | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
Read a => Read1 (Const a :: Type -> Type) | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
Show a => Show1 (Const a :: Type -> Type) | Since: base-4.9.0.0 |
SMonoid m => SApplicative (Const m :: Type -> Type) Source # | |
Defined in Data.Singletons.Prelude.Const 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 # | |
PApplicative (Const m :: Type -> Type) Source # | |
PFunctor (Const m :: Type -> Type) Source # | |
SFoldable (Const m :: Type -> Type) Source # | |
Defined in Data.Singletons.Prelude.Const sFold :: SMonoid m0 => Sing t -> Sing (Apply FoldSym0 t) Source # sFoldMap :: SMonoid m0 => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t) Source # sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t) Source # sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t) Source # sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t) Source # sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t) Source # sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t) Source # sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t) Source # sToList :: Sing t -> Sing (Apply ToListSym0 t) Source # sNull :: Sing t -> Sing (Apply NullSym0 t) Source # sLength :: Sing t -> Sing (Apply LengthSym0 t) Source # sElem :: SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) Source # sMaximum :: SOrd a => Sing t -> Sing (Apply MaximumSym0 t) Source # sMinimum :: SOrd a => Sing t -> Sing (Apply MinimumSym0 t) Source # sSum :: SNum a => Sing t -> Sing (Apply SumSym0 t) Source # sProduct :: SNum a => Sing t -> Sing (Apply ProductSym0 t) Source # | |
PFoldable (Const m :: Type -> Type) Source # | |
Defined in Data.Singletons.Prelude.Const 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 # | |
STraversable (Const m :: Type -> Type) Source # | |
Defined in Data.Singletons.Prelude.Traversable sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t) Source # sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t) Source # sMapM :: SMonad m0 => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) Source # sSequence :: SMonad m0 => Sing t -> Sing (Apply SequenceSym0 t) Source # | |
PTraversable (Const m :: Type -> Type) Source # | |
SingI (TyCon1 (Const :: k1 -> Const k1 b) :: k1 ~> Const k1 b) Source # | |
SingI (ConstSym0 :: TyFun a6989586621679092839 (Const a6989586621679092839 b6989586621679092840) -> Type) Source # | |
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679092839 (Const a6989586621679092839 b6989586621679092840) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Const suppressUnusedWarnings :: () Source # | |
SuppressUnusedWarnings (GetConstSym0 :: TyFun (Const a6989586621680712358 b6989586621680712359) a6989586621680712358 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Const suppressUnusedWarnings :: () Source # | |
Bounded a => Bounded (Const a b) | Since: base-4.9.0.0 |
Enum a => Enum (Const a b) | Since: base-4.9.0.0 |
Defined in Data.Functor.Const succ :: Const a b -> Const a b # pred :: Const a b -> 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 |
Floating a => Floating (Const a b) | Since: base-4.9.0.0 |
Defined in Data.Functor.Const 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 # | |
Fractional a => Fractional (Const a b) | Since: base-4.9.0.0 |
Integral a => Integral (Const a b) | Since: base-4.9.0.0 |
Defined in Data.Functor.Const | |
(Typeable k, Data a, Typeable b) => Data (Const a b) | Since: base-4.10.0.0 |
Defined in Data.Data 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 |
Ord a => Ord (Const a b) | Since: base-4.9.0.0 |
Defined in Data.Functor.Const | |
Read a => Read (Const a b) | This instance would be equivalent to the derived instances of the
Since: base-4.8.0.0 |
Real a => Real (Const a b) | Since: base-4.9.0.0 |
Defined in Data.Functor.Const toRational :: Const a b -> Rational # | |
RealFloat a => RealFloat (Const a b) | Since: base-4.9.0.0 |
Defined in Data.Functor.Const 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 # isInfinite :: Const a b -> Bool # isDenormalized :: Const a b -> Bool # isNegativeZero :: Const a b -> Bool # | |
RealFrac a => RealFrac (Const a b) | Since: base-4.9.0.0 |
Show a => Show (Const a b) | This instance would be equivalent to the derived instances of the
Since: base-4.8.0.0 |
Ix a => Ix (Const a b) | Since: base-4.9.0.0 |
Defined in Data.Functor.Const 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 |
Defined in Data.String fromString :: String -> Const a b # | |
Generic (Const a b) | |
Semigroup a => Semigroup (Const a b) | Since: base-4.9.0.0 |
Monoid a => Monoid (Const a b) | Since: base-4.9.0.0 |
Storable a => Storable (Const a b) | Since: base-4.9.0.0 |
Defined in Data.Functor.Const | |
Bits a => Bits (Const a b) | Since: base-4.9.0.0 |
Defined in Data.Functor.Const (.&.) :: 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 # 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 # 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 # | |
FiniteBits a => FiniteBits (Const a b) | Since: base-4.9.0.0 |
Defined in Data.Functor.Const finiteBitSize :: Const a b -> Int # countLeadingZeros :: Const a b -> Int # countTrailingZeros :: Const a b -> Int # | |
SingKind a => SingKind (Const a b) Source # | |
SDecide a => SDecide (Const a b) Source # | |
PEq (Const a b) Source # | |
SEq a => SEq (Const a b) Source # | |
SOrd a => SOrd (Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const 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 # | |
SNum a => SNum (Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const (%+) :: 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 # sNegate :: Sing t -> Sing (Apply NegateSym0 t) Source # sAbs :: Sing t -> Sing (Apply AbsSym0 t) Source # sSignum :: Sing t -> Sing (Apply SignumSym0 t) Source # sFromInteger :: Sing t -> Sing (Apply FromIntegerSym0 t) Source # | |
PNum (Const a b) Source # | |
SBounded a => SBounded (Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
PBounded (Const a b) Source # | |
SEnum a => SEnum (Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const sSucc :: Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) Source # | |
PEnum (Const a b) Source # | |
SSemigroup a => SSemigroup (Const a b) Source # | |
PSemigroup (Const a b) Source # | |
SShow a => SShow (Const a b) Source # | |
PShow (Const a b) Source # | |
SMonoid a => SMonoid (Const a b) Source # | |
PMonoid (Const a b) Source # | |
SIsString a => SIsString (Const a b) Source # | |
Defined in Data.Singletons.Prelude.IsString sFromString :: Sing t -> Sing (Apply FromStringSym0 t) Source # | |
PIsString (Const a b) Source # | |
Defined in Data.Singletons.Prelude.IsString type FromString arg :: a Source # | |
SingI a2 => SingI (Const a2 :: Const a1 b) Source # | |
type Rep1 (Const a :: k -> Type) | Since: base-4.9.0.0 |
Defined in Data.Functor.Const | |
type Apply (GetConstSym0 :: TyFun (Const a b) a -> Type) (x6989586621680712360 :: Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Pure (a :: k1) Source # | |
Defined in Data.Singletons.Prelude.Const type Pure (a :: k1) | |
type Fold (arg :: Const m1 m2) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type ToList (arg :: Const m a) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Null (arg :: Const m a) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Length (arg :: Const m a) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Maximum (arg :: Const m a) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Minimum (arg :: Const m a) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Sum (arg :: Const m a) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Product (arg :: Const m a) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Foldr1 (arg1 :: a ~> (a ~> a)) (arg2 :: Const m a) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Foldl1 (arg1 :: a ~> (a ~> a)) (arg2 :: Const m a) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Elem (arg1 :: a) (arg2 :: Const m a) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type SequenceA (arg :: Const m (f a)) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type Sequence (arg :: Const m1 (m2 a)) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type (a1 :: Const m (a6989586621679545133 ~> b6989586621679545134)) <*> (a2 :: Const m a6989586621679545133) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type (arg1 :: Const m a) *> (arg2 :: Const m b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type (arg1 :: Const m a) <* (arg2 :: Const m b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Fmap (a1 :: a6989586621679545127 ~> b6989586621679545128) (a2 :: Const m a6989586621679545127) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type (a1 :: k1) <$ (a2 :: Const m b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type FoldMap (a1 :: a6989586621680452726 ~> k2) (a2 :: Const m a6989586621680452726) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Foldr (a1 :: a6989586621680452727 ~> (k2 ~> k2)) (a2 :: k2) (a3 :: Const m a6989586621680452727) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Foldr' (arg1 :: a ~> (b ~> b)) (arg2 :: b) (arg3 :: Const m a) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Foldl (arg1 :: b ~> (a ~> b)) (arg2 :: b) (arg3 :: Const m a) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Foldl' (arg1 :: b ~> (a ~> b)) (arg2 :: b) (arg3 :: Const m a) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Traverse (a1 :: a6989586621680750996 ~> f6989586621680750995 b6989586621680750997) (a2 :: Const m a6989586621680750996) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type MapM (arg1 :: a ~> m1 b) (arg2 :: Const m2 a) Source # | |
Defined in Data.Singletons.Prelude.Traversable | |
type LiftA2 (a1 :: a6989586621679545135 ~> (b6989586621679545136 ~> c6989586621679545137)) (a2 :: Const m a6989586621679545135) (a3 :: Const m b6989586621679545136) Source # | |
type Rep (Const a b) | Since: base-4.9.0.0 |
Defined in Data.Functor.Const | |
type Demote (Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
data Sing (c :: Const a b) Source # | |
type MinBound Source # | |
Defined in Data.Singletons.Prelude.Const type MinBound | |
type MaxBound Source # | |
Defined in Data.Singletons.Prelude.Const type MaxBound | |
type Mempty Source # | |
Defined in Data.Singletons.Prelude.Const type Mempty | |
type Negate (a2 :: Const a1 b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Abs (a2 :: Const a1 b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Signum (a2 :: Const a1 b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type FromInteger a2 Source # | |
Defined in Data.Singletons.Prelude.Const type FromInteger a2 | |
type Succ (a2 :: Const a1 b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Pred (a2 :: Const a1 b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type ToEnum a2 Source # | |
Defined in Data.Singletons.Prelude.Const type ToEnum a2 | |
type FromEnum (a2 :: Const a1 b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Sconcat (arg :: NonEmpty (Const a b)) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Show_ (arg :: Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Mconcat (arg :: [Const a b]) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type FromString a2 Source # | |
Defined in Data.Singletons.Prelude.IsString type FromString a2 | |
type (a2 :: Const a1 b1) == (b2 :: Const a1 b1) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type (x :: Const a b) /= (y :: Const a b) Source # | |
type Compare (a2 :: Const a1 b) (a3 :: Const a1 b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type (arg1 :: Const a b) < (arg2 :: Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type (arg1 :: Const a b) <= (arg2 :: Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type (arg1 :: Const a b) > (arg2 :: Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type (arg1 :: Const a b) >= (arg2 :: Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Max (arg1 :: Const a b) (arg2 :: Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Min (arg1 :: Const a b) (arg2 :: Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type (a2 :: Const a1 b) + (a3 :: Const a1 b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type (a2 :: Const a1 b) - (a3 :: Const a1 b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type (a2 :: Const a1 b) * (a3 :: Const a1 b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type EnumFromTo (a2 :: Const a1 b) (a3 :: Const a1 b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type (a2 :: Const a1 b) <> (a3 :: Const a1 b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type ShowList (arg1 :: [Const a b]) arg2 Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Mappend (arg1 :: Const a b) (arg2 :: Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type EnumFromThenTo (a2 :: Const a1 b) (a3 :: Const a1 b) (a4 :: Const a1 b) Source # | |
Defined in Data.Singletons.Prelude.Const | |
type ShowsPrec a2 (a3 :: Const a1 b) a4 Source # | |
Defined in Data.Singletons.Prelude.Const | |
type Apply (ConstSym0 :: TyFun a (Const a b6989586621679092840) -> Type) (t6989586621680712043 :: a) Source # | |
(%<$>) :: 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 # | |
Defined in Data.Singletons.Prelude.Monad.Internal type (a1 :: k1) <$ (a2 :: [b6989586621679545130]) | |
type (a1 :: k1) <$ (a2 :: Maybe b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type (a1 :: k1) <$ (a2 :: Min b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type (a1 :: k1) <$ (a2 :: Max b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type (a1 :: k1) <$ (a2 :: First b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type (a1 :: k1) <$ (a2 :: Last b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type (a1 :: k1) <$ (a2 :: Option b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type (a1 :: k1) <$ (a2 :: Identity b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Identity | |
type (a1 :: k1) <$ (a2 :: First b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Monoid | |
type (a1 :: k1) <$ (a2 :: Last b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Monoid | |
type (a1 :: k1) <$ (a2 :: Dual b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type (a1 :: k1) <$ (a2 :: Sum b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type (a1 :: k1) <$ (a2 :: Product b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type (a1 :: k1) <$ (a2 :: Down b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Functor | |
type (a1 :: k1) <$ (a2 :: NonEmpty b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type (a2 :: k1) <$ (a3 :: Either a1 b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type (a2 :: k1) <$ (a3 :: (a1, b6989586621679545130)) Source # | |
Defined in Data.Singletons.Prelude.Functor type (a2 :: k1) <$ (a3 :: (a1, b6989586621679545130)) | |
type (a2 :: k1) <$ (a3 :: Arg a1 b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type (a1 :: k1) <$ (a2 :: Const m b6989586621679545130) Source # | |
Defined in Data.Singletons.Prelude.Const |
(%<$) :: forall a b (t :: a) (t :: f b). SFunctor f => Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t :: f a) infixl 4 Source #
(%<**>) :: 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 #
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 #
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 #
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 # | |
SuppressUnusedWarnings (PureSym0 :: TyFun a6989586621679545132 (f6989586621679545131 a6989586621679545132) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply (PureSym0 :: TyFun a (f6989586621679545131 a) -> Type) (arg6989586621679545544 :: a) Source # | |
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 # | |
SuppressUnusedWarnings ((<*>@#@$) :: TyFun (f6989586621679545131 (a6989586621679545133 ~> b6989586621679545134)) (f6989586621679545131 a6989586621679545133 ~> f6989586621679545131 b6989586621679545134) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply ((<*>@#@$) :: TyFun (f6989586621679545131 (a6989586621679545133 ~> b6989586621679545134)) (f6989586621679545131 a6989586621679545133 ~> f6989586621679545131 b6989586621679545134) -> Type) (arg6989586621679545546 :: f6989586621679545131 (a6989586621679545133 ~> b6989586621679545134)) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Monad.Internal sing :: Sing ((<*>@#@$$) d) Source # | |
SuppressUnusedWarnings ((<*>@#@$$) arg6989586621679545546 :: TyFun (f6989586621679545131 a6989586621679545133) (f6989586621679545131 b6989586621679545134) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply ((<*>@#@$$) arg6989586621679545546 :: TyFun (f a) (f b) -> Type) (arg6989586621679545547 :: f a) Source # | |
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 # | |
SuppressUnusedWarnings ((*>@#@$) :: TyFun (f6989586621679545131 a6989586621679545138) (f6989586621679545131 b6989586621679545139 ~> f6989586621679545131 b6989586621679545139) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply ((*>@#@$) :: TyFun (f6989586621679545131 a6989586621679545138) (f6989586621679545131 b6989586621679545139 ~> f6989586621679545131 b6989586621679545139) -> Type) (arg6989586621679545556 :: f6989586621679545131 a6989586621679545138) Source # | |
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 # | |
SuppressUnusedWarnings (arg6989586621679545556 *>@#@$$ b6989586621679545139 :: TyFun (f6989586621679545131 b6989586621679545139) (f6989586621679545131 b6989586621679545139) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply (arg6989586621679545556 *>@#@$$ b :: TyFun (f b) (f b) -> Type) (arg6989586621679545557 :: f b) Source # | |
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 # | |
SuppressUnusedWarnings ((<*@#@$) :: TyFun (f6989586621679545131 a6989586621679545140) (f6989586621679545131 b6989586621679545141 ~> f6989586621679545131 a6989586621679545140) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply ((<*@#@$) :: TyFun (f6989586621679545131 a6989586621679545140) (f6989586621679545131 b6989586621679545141 ~> f6989586621679545131 a6989586621679545140) -> Type) (arg6989586621679545560 :: f6989586621679545131 a6989586621679545140) Source # | |
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 # | |
SuppressUnusedWarnings (arg6989586621679545560 <*@#@$$ b6989586621679545141 :: TyFun (f6989586621679545131 b6989586621679545141) (f6989586621679545131 a6989586621679545140) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply (arg6989586621679545560 <*@#@$$ b :: TyFun (f b) (f a) -> Type) (arg6989586621679545561 :: f b) Source # | |
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 # | |
SuppressUnusedWarnings ((<|>@#@$) :: TyFun (f6989586621679545208 a6989586621679545210) (f6989586621679545208 a6989586621679545210 ~> f6989586621679545208 a6989586621679545210) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply ((<|>@#@$) :: TyFun (f6989586621679545208 a6989586621679545210) (f6989586621679545208 a6989586621679545210 ~> f6989586621679545208 a6989586621679545210) -> Type) (arg6989586621679545677 :: f6989586621679545208 a6989586621679545210) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal |
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 # | |
Defined in Data.Singletons.Prelude.Monad.Internal sing :: Sing ((<|>@#@$$) d) Source # | |
SuppressUnusedWarnings ((<|>@#@$$) arg6989586621679545677 :: TyFun (f6989586621679545208 a6989586621679545210) (f6989586621679545208 a6989586621679545210) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply ((<|>@#@$$) arg6989586621679545677 :: TyFun (f a) (f a) -> Type) (arg6989586621679545678 :: f a) Source # | |
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 # | |
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679092839 (Const a6989586621679092839 b6989586621679092840) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Const suppressUnusedWarnings :: () Source # | |
type Apply (ConstSym0 :: TyFun a (Const a b6989586621679092840) -> Type) (t6989586621680712043 :: a) Source # | |
data GetConstSym0 :: forall a6989586621680712358 b6989586621680712359. (~>) (Const a6989586621680712358 b6989586621680712359) a6989586621680712358 Source #
Instances
SuppressUnusedWarnings (GetConstSym0 :: TyFun (Const a6989586621680712358 b6989586621680712359) a6989586621680712358 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Const suppressUnusedWarnings :: () Source # | |
type Apply (GetConstSym0 :: TyFun (Const a b) a -> Type) (x6989586621680712360 :: Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const |
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 # | |
SuppressUnusedWarnings ((<$>@#@$) :: TyFun (a6989586621679714518 ~> b6989586621679714519) (f6989586621679714517 a6989586621679714518 ~> f6989586621679714517 b6989586621679714519) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Functor suppressUnusedWarnings :: () Source # | |
type Apply ((<$>@#@$) :: TyFun (a6989586621679714518 ~> b6989586621679714519) (f6989586621679714517 a6989586621679714518 ~> f6989586621679714517 b6989586621679714519) -> Type) (a6989586621679714598 :: a6989586621679714518 ~> b6989586621679714519) Source # | |
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 # | |
SuppressUnusedWarnings (a6989586621679714598 <$>@#@$$ f6989586621679714517 :: TyFun (f6989586621679714517 a6989586621679714518) (f6989586621679714517 b6989586621679714519) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Functor suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621679714598 <$>@#@$$ f :: TyFun (f a) (f b) -> Type) (a6989586621679714599 :: f a) Source # | |
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 # | |
SuppressUnusedWarnings ((<$@#@$) :: TyFun a6989586621679545129 (f6989586621679545126 b6989586621679545130 ~> f6989586621679545126 a6989586621679545129) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply ((<$@#@$) :: TyFun a6989586621679545129 (f6989586621679545126 b6989586621679545130 ~> f6989586621679545126 a6989586621679545129) -> Type) (arg6989586621679545524 :: a6989586621679545129) Source # | |
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 # | |
SuppressUnusedWarnings ((arg6989586621679545524 <$@#@$$ b6989586621679545130) f6989586621679545126 :: TyFun (f6989586621679545126 b6989586621679545130) (f6989586621679545126 a6989586621679545129) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply ((arg6989586621679545524 <$@#@$$ b) f :: TyFun (f b) (f a) -> Type) (arg6989586621679545525 :: f b) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Monad.Internal sing :: Sing (<**>@#@$) Source # | |
SuppressUnusedWarnings ((<**>@#@$) :: TyFun (f6989586621679545090 a6989586621679545091) (f6989586621679545090 (a6989586621679545091 ~> b6989586621679545092) ~> f6989586621679545090 b6989586621679545092) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply ((<**>@#@$) :: TyFun (f6989586621679545090 a6989586621679545091) (f6989586621679545090 (a6989586621679545091 ~> b6989586621679545092) ~> f6989586621679545090 b6989586621679545092) -> Type) (a6989586621679545504 :: f6989586621679545090 a6989586621679545091) Source # | |
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 # | |
SuppressUnusedWarnings (a6989586621679545504 <**>@#@$$ b6989586621679545092 :: TyFun (f6989586621679545090 (a6989586621679545091 ~> b6989586621679545092)) (f6989586621679545090 b6989586621679545092) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621679545504 <**>@#@$$ b :: TyFun (f (a ~> b)) (f b) -> Type) (a6989586621679545505 :: f (a ~> b)) Source # | |
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 # | |
SuppressUnusedWarnings (LiftASym0 :: TyFun (a6989586621679545088 ~> b6989586621679545089) (f6989586621679545087 a6989586621679545088 ~> f6989586621679545087 b6989586621679545089) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftASym0 :: TyFun (a6989586621679545088 ~> b6989586621679545089) (f6989586621679545087 a6989586621679545088 ~> f6989586621679545087 b6989586621679545089) -> Type) (a6989586621679545494 :: a6989586621679545088 ~> b6989586621679545089) Source # | |
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 # | |
SuppressUnusedWarnings (LiftASym1 a6989586621679545494 f6989586621679545087 :: TyFun (f6989586621679545087 a6989586621679545088) (f6989586621679545087 b6989586621679545089) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftASym1 a6989586621679545494 f :: TyFun (f a) (f b) -> Type) (a6989586621679545495 :: f a) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Monad.Internal sing :: Sing LiftA2Sym0 Source # | |
SuppressUnusedWarnings (LiftA2Sym0 :: TyFun (a6989586621679545135 ~> (b6989586621679545136 ~> c6989586621679545137)) (f6989586621679545131 a6989586621679545135 ~> (f6989586621679545131 b6989586621679545136 ~> f6989586621679545131 c6989586621679545137)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftA2Sym0 :: TyFun (a6989586621679545135 ~> (b6989586621679545136 ~> c6989586621679545137)) (f6989586621679545131 a6989586621679545135 ~> (f6989586621679545131 b6989586621679545136 ~> f6989586621679545131 c6989586621679545137)) -> Type) (arg6989586621679545550 :: a6989586621679545135 ~> (b6989586621679545136 ~> c6989586621679545137)) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Monad.Internal sing :: Sing (LiftA2Sym1 d f) Source # | |
SuppressUnusedWarnings (LiftA2Sym1 arg6989586621679545550 f6989586621679545131 :: TyFun (f6989586621679545131 a6989586621679545135) (f6989586621679545131 b6989586621679545136 ~> f6989586621679545131 c6989586621679545137) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftA2Sym1 arg6989586621679545550 f6989586621679545131 :: TyFun (f6989586621679545131 a6989586621679545135) (f6989586621679545131 b6989586621679545136 ~> f6989586621679545131 c6989586621679545137) -> Type) (arg6989586621679545551 :: f6989586621679545131 a6989586621679545135) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Monad.Internal sing :: Sing (LiftA2Sym2 d1 d2) Source # | |
SuppressUnusedWarnings (LiftA2Sym2 arg6989586621679545551 arg6989586621679545550 :: TyFun (f6989586621679545131 b6989586621679545136) (f6989586621679545131 c6989586621679545137) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftA2Sym2 arg6989586621679545551 arg6989586621679545550 :: TyFun (f b) (f c) -> Type) (arg6989586621679545552 :: f b) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Monad.Internal sing :: Sing LiftA3Sym0 Source # | |
SuppressUnusedWarnings (LiftA3Sym0 :: TyFun (a6989586621679545083 ~> (b6989586621679545084 ~> (c6989586621679545085 ~> d6989586621679545086))) (f6989586621679545082 a6989586621679545083 ~> (f6989586621679545082 b6989586621679545084 ~> (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftA3Sym0 :: TyFun (a6989586621679545083 ~> (b6989586621679545084 ~> (c6989586621679545085 ~> d6989586621679545086))) (f6989586621679545082 a6989586621679545083 ~> (f6989586621679545082 b6989586621679545084 ~> (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086))) -> Type) (a6989586621679545482 :: a6989586621679545083 ~> (b6989586621679545084 ~> (c6989586621679545085 ~> d6989586621679545086))) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Monad.Internal sing :: Sing (LiftA3Sym1 d2 f) Source # | |
SuppressUnusedWarnings (LiftA3Sym1 a6989586621679545482 f6989586621679545082 :: TyFun (f6989586621679545082 a6989586621679545083) (f6989586621679545082 b6989586621679545084 ~> (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftA3Sym1 a6989586621679545482 f6989586621679545082 :: TyFun (f6989586621679545082 a6989586621679545083) (f6989586621679545082 b6989586621679545084 ~> (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086)) -> Type) (a6989586621679545483 :: f6989586621679545082 a6989586621679545083) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Monad.Internal sing :: Sing (LiftA3Sym2 d2 d3) Source # | |
SuppressUnusedWarnings (LiftA3Sym2 a6989586621679545483 a6989586621679545482 :: TyFun (f6989586621679545082 b6989586621679545084) (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftA3Sym2 a6989586621679545483 a6989586621679545482 :: TyFun (f6989586621679545082 b6989586621679545084) (f6989586621679545082 c6989586621679545085 ~> f6989586621679545082 d6989586621679545086) -> Type) (a6989586621679545484 :: f6989586621679545082 b6989586621679545084) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Monad.Internal sing :: Sing (LiftA3Sym3 d2 d3 d4) Source # | |
SuppressUnusedWarnings (LiftA3Sym3 a6989586621679545484 a6989586621679545483 a6989586621679545482 :: TyFun (f6989586621679545082 c6989586621679545085) (f6989586621679545082 d6989586621679545086) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () Source # | |
type Apply (LiftA3Sym3 a6989586621679545484 a6989586621679545483 a6989586621679545482 :: TyFun (f c) (f d) -> Type) (a6989586621679545485 :: f c) Source # | |
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 # | |
Defined in Data.Singletons.Prelude.Applicative sing :: Sing OptionalSym0 Source # | |
SuppressUnusedWarnings (OptionalSym0 :: TyFun (f6989586621681202609 a6989586621681202610) (f6989586621681202609 (Maybe a6989586621681202610)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Applicative suppressUnusedWarnings :: () Source # | |
type Apply (OptionalSym0 :: TyFun (f a) (f (Maybe a)) -> Type) (a6989586621681202649 :: f a) Source # | |
Defined in Data.Singletons.Prelude.Applicative |
type OptionalSym1 (a6989586621681202649 :: f6989586621681202609 a6989586621681202610) = Optional a6989586621681202649 Source #
Orphan instances
SApplicative Down Source # | |
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 # | |
SMonoid a => SApplicative ((,) a) Source # | |
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 # | |