Copyright | (C) 2018 Ryan Scott |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Singletons.Prelude.Applicative
Description
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 a6989586621679545967 f6989586621679545966. (~>) a6989586621679545967 (f6989586621679545966 a6989586621679545967)
- type PureSym1 (arg6989586621679546379 :: a6989586621679545967) = Pure arg6989586621679546379
- data (<*>@#@$) :: forall a6989586621679545968 b6989586621679545969 f6989586621679545966. (~>) (f6989586621679545966 ((~>) a6989586621679545968 b6989586621679545969)) ((~>) (f6989586621679545966 a6989586621679545968) (f6989586621679545966 b6989586621679545969))
- data (<*>@#@$$) (arg6989586621679546381 :: f6989586621679545966 ((~>) a6989586621679545968 b6989586621679545969)) :: (~>) (f6989586621679545966 a6989586621679545968) (f6989586621679545966 b6989586621679545969)
- type (<*>@#@$$$) (arg6989586621679546381 :: f6989586621679545966 ((~>) a6989586621679545968 b6989586621679545969)) (arg6989586621679546382 :: f6989586621679545966 a6989586621679545968) = (<*>) arg6989586621679546381 arg6989586621679546382
- data (*>@#@$) :: forall a6989586621679545973 b6989586621679545974 f6989586621679545966. (~>) (f6989586621679545966 a6989586621679545973) ((~>) (f6989586621679545966 b6989586621679545974) (f6989586621679545966 b6989586621679545974))
- data (*>@#@$$) (arg6989586621679546391 :: f6989586621679545966 a6989586621679545973) :: forall b6989586621679545974. (~>) (f6989586621679545966 b6989586621679545974) (f6989586621679545966 b6989586621679545974)
- type (*>@#@$$$) (arg6989586621679546391 :: f6989586621679545966 a6989586621679545973) (arg6989586621679546392 :: f6989586621679545966 b6989586621679545974) = (*>) arg6989586621679546391 arg6989586621679546392
- data (<*@#@$) :: forall a6989586621679545975 b6989586621679545976 f6989586621679545966. (~>) (f6989586621679545966 a6989586621679545975) ((~>) (f6989586621679545966 b6989586621679545976) (f6989586621679545966 a6989586621679545975))
- data (<*@#@$$) (arg6989586621679546395 :: f6989586621679545966 a6989586621679545975) :: forall b6989586621679545976. (~>) (f6989586621679545966 b6989586621679545976) (f6989586621679545966 a6989586621679545975)
- type (<*@#@$$$) (arg6989586621679546395 :: f6989586621679545966 a6989586621679545975) (arg6989586621679546396 :: f6989586621679545966 b6989586621679545976) = (<*) arg6989586621679546395 arg6989586621679546396
- type EmptySym0 = Empty
- data (<|>@#@$) :: forall a6989586621679546045 f6989586621679546043. (~>) (f6989586621679546043 a6989586621679546045) ((~>) (f6989586621679546043 a6989586621679546045) (f6989586621679546043 a6989586621679546045))
- data (<|>@#@$$) (arg6989586621679546512 :: f6989586621679546043 a6989586621679546045) :: (~>) (f6989586621679546043 a6989586621679546045) (f6989586621679546043 a6989586621679546045)
- type (<|>@#@$$$) (arg6989586621679546512 :: f6989586621679546043 a6989586621679546045) (arg6989586621679546513 :: f6989586621679546043 a6989586621679546045) = (<|>) arg6989586621679546512 arg6989586621679546513
- data ConstSym0 :: forall (a6989586621679091214 :: Type) k6989586621679091213 (b6989586621679091215 :: k6989586621679091213). (~>) a6989586621679091214 (Const (a6989586621679091214 :: Type) (b6989586621679091215 :: k6989586621679091213))
- type ConstSym1 (t6989586621680705928 :: a6989586621679091214) = Const t6989586621680705928
- data GetConstSym0 :: forall a6989586621680706243 b6989586621680706244. (~>) (Const a6989586621680706243 b6989586621680706244) a6989586621680706243
- type GetConstSym1 (x6989586621680706245 :: Const a6989586621680706243 b6989586621680706244) = GetConst x6989586621680706245
- data (<$>@#@$) :: forall a6989586621679715297 b6989586621679715298 f6989586621679715296. (~>) ((~>) a6989586621679715297 b6989586621679715298) ((~>) (f6989586621679715296 a6989586621679715297) (f6989586621679715296 b6989586621679715298))
- data (<$>@#@$$) (a6989586621679715377 :: (~>) a6989586621679715297 b6989586621679715298) :: forall f6989586621679715296. (~>) (f6989586621679715296 a6989586621679715297) (f6989586621679715296 b6989586621679715298)
- type (<$>@#@$$$) (a6989586621679715377 :: (~>) a6989586621679715297 b6989586621679715298) (a6989586621679715378 :: f6989586621679715296 a6989586621679715297) = (<$>) a6989586621679715377 a6989586621679715378
- data (<$@#@$) :: forall a6989586621679545964 b6989586621679545965 f6989586621679545961. (~>) a6989586621679545964 ((~>) (f6989586621679545961 b6989586621679545965) (f6989586621679545961 a6989586621679545964))
- data (<$@#@$$) (arg6989586621679546359 :: a6989586621679545964) :: forall b6989586621679545965 f6989586621679545961. (~>) (f6989586621679545961 b6989586621679545965) (f6989586621679545961 a6989586621679545964)
- type (<$@#@$$$) (arg6989586621679546359 :: a6989586621679545964) (arg6989586621679546360 :: f6989586621679545961 b6989586621679545965) = (<$) arg6989586621679546359 arg6989586621679546360
- data (<**>@#@$) :: forall a6989586621679545926 b6989586621679545927 f6989586621679545925. (~>) (f6989586621679545925 a6989586621679545926) ((~>) (f6989586621679545925 ((~>) a6989586621679545926 b6989586621679545927)) (f6989586621679545925 b6989586621679545927))
- data (<**>@#@$$) (a6989586621679546339 :: f6989586621679545925 a6989586621679545926) :: forall b6989586621679545927. (~>) (f6989586621679545925 ((~>) a6989586621679545926 b6989586621679545927)) (f6989586621679545925 b6989586621679545927)
- type (<**>@#@$$$) (a6989586621679546339 :: f6989586621679545925 a6989586621679545926) (a6989586621679546340 :: f6989586621679545925 ((~>) a6989586621679545926 b6989586621679545927)) = (<**>) a6989586621679546339 a6989586621679546340
- data LiftASym0 :: forall a6989586621679545923 b6989586621679545924 f6989586621679545922. (~>) ((~>) a6989586621679545923 b6989586621679545924) ((~>) (f6989586621679545922 a6989586621679545923) (f6989586621679545922 b6989586621679545924))
- data LiftASym1 (a6989586621679546329 :: (~>) a6989586621679545923 b6989586621679545924) :: forall f6989586621679545922. (~>) (f6989586621679545922 a6989586621679545923) (f6989586621679545922 b6989586621679545924)
- type LiftASym2 (a6989586621679546329 :: (~>) a6989586621679545923 b6989586621679545924) (a6989586621679546330 :: f6989586621679545922 a6989586621679545923) = LiftA a6989586621679546329 a6989586621679546330
- data LiftA2Sym0 :: forall a6989586621679545970 b6989586621679545971 c6989586621679545972 f6989586621679545966. (~>) ((~>) a6989586621679545970 ((~>) b6989586621679545971 c6989586621679545972)) ((~>) (f6989586621679545966 a6989586621679545970) ((~>) (f6989586621679545966 b6989586621679545971) (f6989586621679545966 c6989586621679545972)))
- data LiftA2Sym1 (arg6989586621679546385 :: (~>) a6989586621679545970 ((~>) b6989586621679545971 c6989586621679545972)) :: forall f6989586621679545966. (~>) (f6989586621679545966 a6989586621679545970) ((~>) (f6989586621679545966 b6989586621679545971) (f6989586621679545966 c6989586621679545972))
- data LiftA2Sym2 (arg6989586621679546385 :: (~>) a6989586621679545970 ((~>) b6989586621679545971 c6989586621679545972)) (arg6989586621679546386 :: f6989586621679545966 a6989586621679545970) :: (~>) (f6989586621679545966 b6989586621679545971) (f6989586621679545966 c6989586621679545972)
- type LiftA2Sym3 (arg6989586621679546385 :: (~>) a6989586621679545970 ((~>) b6989586621679545971 c6989586621679545972)) (arg6989586621679546386 :: f6989586621679545966 a6989586621679545970) (arg6989586621679546387 :: f6989586621679545966 b6989586621679545971) = LiftA2 arg6989586621679546385 arg6989586621679546386 arg6989586621679546387
- data LiftA3Sym0 :: forall a6989586621679545918 b6989586621679545919 c6989586621679545920 d6989586621679545921 f6989586621679545917. (~>) ((~>) a6989586621679545918 ((~>) b6989586621679545919 ((~>) c6989586621679545920 d6989586621679545921))) ((~>) (f6989586621679545917 a6989586621679545918) ((~>) (f6989586621679545917 b6989586621679545919) ((~>) (f6989586621679545917 c6989586621679545920) (f6989586621679545917 d6989586621679545921))))
- data LiftA3Sym1 (a6989586621679546317 :: (~>) a6989586621679545918 ((~>) b6989586621679545919 ((~>) c6989586621679545920 d6989586621679545921))) :: forall f6989586621679545917. (~>) (f6989586621679545917 a6989586621679545918) ((~>) (f6989586621679545917 b6989586621679545919) ((~>) (f6989586621679545917 c6989586621679545920) (f6989586621679545917 d6989586621679545921)))
- data LiftA3Sym2 (a6989586621679546317 :: (~>) a6989586621679545918 ((~>) b6989586621679545919 ((~>) c6989586621679545920 d6989586621679545921))) (a6989586621679546318 :: f6989586621679545917 a6989586621679545918) :: (~>) (f6989586621679545917 b6989586621679545919) ((~>) (f6989586621679545917 c6989586621679545920) (f6989586621679545917 d6989586621679545921))
- data LiftA3Sym3 (a6989586621679546317 :: (~>) a6989586621679545918 ((~>) b6989586621679545919 ((~>) c6989586621679545920 d6989586621679545921))) (a6989586621679546318 :: f6989586621679545917 a6989586621679545918) (a6989586621679546319 :: f6989586621679545917 b6989586621679545919) :: (~>) (f6989586621679545917 c6989586621679545920) (f6989586621679545917 d6989586621679545921)
- data OptionalSym0 :: forall a6989586621681194396 f6989586621681194395. (~>) (f6989586621681194395 a6989586621681194396) (f6989586621681194395 (Maybe a6989586621681194396))
- type OptionalSym1 (a6989586621681194435 :: f6989586621681194395 a6989586621681194396) = Optional a6989586621681194435
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 #
Instances
class SFunctor f => SApplicative (f :: Type -> Type) where Source #
Minimal complete definition
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_6989586621679546411Sym0 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_6989586621679546429Sym0 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_6989586621679546442Sym0 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_6989586621679546458Sym0 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 #
Associated Types
Instances
PAlternative [] Source # | |
PAlternative Maybe Source # | |
PAlternative Option 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 #
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 # | |
newtype 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 # | |
newtype 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 Source #
The Const
functor.
Instances
(%<$>) :: 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 :: [b6989586621679545965]) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type (a1 :: k1) <$ (a2 :: [b6989586621679545965]) | |
type (a1 :: k1) <$ (a2 :: Maybe b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type (a1 :: k1) <$ (a2 :: Min b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type (a1 :: k1) <$ (a2 :: Max b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type (a1 :: k1) <$ (a2 :: First b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type (a1 :: k1) <$ (a2 :: Last b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type (a1 :: k1) <$ (a2 :: Option b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type (a1 :: k1) <$ (a2 :: Identity b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Identity | |
type (a1 :: k1) <$ (a2 :: First b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Monoid | |
type (a1 :: k1) <$ (a2 :: Last b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Monoid | |
type (a1 :: k1) <$ (a2 :: Dual b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type (a1 :: k1) <$ (a2 :: Sum b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type (a1 :: k1) <$ (a2 :: Product b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type (a1 :: k1) <$ (a2 :: Down b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Functor | |
type (a1 :: k1) <$ (a2 :: NonEmpty b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type (a2 :: k1) <$ (a3 :: Either a1 b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type (a2 :: k1) <$ (a3 :: (a1, b6989586621679545965)) Source # | |
Defined in Data.Singletons.Prelude.Functor type (a2 :: k1) <$ (a3 :: (a1, b6989586621679545965)) | |
type (a2 :: k1) <$ (a3 :: Arg a1 b6989586621679545965) Source # | |
Defined in Data.Singletons.Prelude.Semigroup | |
type (a1 :: k1) <$ (a2 :: Const m b6989586621679545965) 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 a6989586621679545967 f6989586621679545966. (~>) a6989586621679545967 (f6989586621679545966 a6989586621679545967) Source #
Instances
SApplicative f => SingI (PureSym0 :: TyFun a (f a) -> Type) Source # | |
SuppressUnusedWarnings (PureSym0 :: TyFun a6989586621679545967 (f6989586621679545966 a6989586621679545967) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (PureSym0 :: TyFun a (f6989586621679545966 a) -> Type) (arg6989586621679546379 :: a) Source # | |
type PureSym1 (arg6989586621679546379 :: a6989586621679545967) = Pure arg6989586621679546379 Source #
data (<*>@#@$) :: forall a6989586621679545968 b6989586621679545969 f6989586621679545966. (~>) (f6989586621679545966 ((~>) a6989586621679545968 b6989586621679545969)) ((~>) (f6989586621679545966 a6989586621679545968) (f6989586621679545966 b6989586621679545969)) infixl 4 Source #
Instances
SApplicative f => SingI ((<*>@#@$) :: TyFun (f (a ~> b)) (f a ~> f b) -> Type) Source # | |
SuppressUnusedWarnings ((<*>@#@$) :: TyFun (f6989586621679545966 (a6989586621679545968 ~> b6989586621679545969)) (f6989586621679545966 a6989586621679545968 ~> f6989586621679545966 b6989586621679545969) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<*>@#@$) :: TyFun (f6989586621679545966 (a6989586621679545968 ~> b6989586621679545969)) (f6989586621679545966 a6989586621679545968 ~> f6989586621679545966 b6989586621679545969) -> Type) (arg6989586621679546381 :: f6989586621679545966 (a6989586621679545968 ~> b6989586621679545969)) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((<*>@#@$) :: TyFun (f6989586621679545966 (a6989586621679545968 ~> b6989586621679545969)) (f6989586621679545966 a6989586621679545968 ~> f6989586621679545966 b6989586621679545969) -> Type) (arg6989586621679546381 :: f6989586621679545966 (a6989586621679545968 ~> b6989586621679545969)) = (<*>@#@$$) arg6989586621679546381 |
data (<*>@#@$$) (arg6989586621679546381 :: f6989586621679545966 ((~>) a6989586621679545968 b6989586621679545969)) :: (~>) (f6989586621679545966 a6989586621679545968) (f6989586621679545966 b6989586621679545969) infixl 4 Source #
Instances
(SApplicative f, SingI d) => SingI ((<*>@#@$$) d :: TyFun (f a) (f b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing ((<*>@#@$$) d) Source # | |
SuppressUnusedWarnings ((<*>@#@$$) arg6989586621679546381 :: TyFun (f6989586621679545966 a6989586621679545968) (f6989586621679545966 b6989586621679545969) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<*>@#@$$) arg6989586621679546381 :: TyFun (f a) (f b) -> Type) (arg6989586621679546382 :: f a) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((<*>@#@$$) arg6989586621679546381 :: TyFun (f a) (f b) -> Type) (arg6989586621679546382 :: f a) = arg6989586621679546381 <*> arg6989586621679546382 |
type (<*>@#@$$$) (arg6989586621679546381 :: f6989586621679545966 ((~>) a6989586621679545968 b6989586621679545969)) (arg6989586621679546382 :: f6989586621679545966 a6989586621679545968) = (<*>) arg6989586621679546381 arg6989586621679546382 Source #
data (*>@#@$) :: forall a6989586621679545973 b6989586621679545974 f6989586621679545966. (~>) (f6989586621679545966 a6989586621679545973) ((~>) (f6989586621679545966 b6989586621679545974) (f6989586621679545966 b6989586621679545974)) infixl 4 Source #
Instances
SApplicative f => SingI ((*>@#@$) :: TyFun (f a) (f b ~> f b) -> Type) Source # | |
SuppressUnusedWarnings ((*>@#@$) :: TyFun (f6989586621679545966 a6989586621679545973) (f6989586621679545966 b6989586621679545974 ~> f6989586621679545966 b6989586621679545974) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((*>@#@$) :: TyFun (f6989586621679545966 a6989586621679545973) (f6989586621679545966 b6989586621679545974 ~> f6989586621679545966 b6989586621679545974) -> Type) (arg6989586621679546391 :: f6989586621679545966 a6989586621679545973) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((*>@#@$) :: TyFun (f6989586621679545966 a6989586621679545973) (f6989586621679545966 b6989586621679545974 ~> f6989586621679545966 b6989586621679545974) -> Type) (arg6989586621679546391 :: f6989586621679545966 a6989586621679545973) = (arg6989586621679546391 *>@#@$$ b6989586621679545974 :: TyFun (f6989586621679545966 b6989586621679545974) (f6989586621679545966 b6989586621679545974) -> Type) |
data (*>@#@$$) (arg6989586621679546391 :: f6989586621679545966 a6989586621679545973) :: forall b6989586621679545974. (~>) (f6989586621679545966 b6989586621679545974) (f6989586621679545966 b6989586621679545974) infixl 4 Source #
Instances
(SApplicative f, SingI d) => SingI (d *>@#@$$ b :: TyFun (f b) (f b) -> Type) Source # | |
SuppressUnusedWarnings (arg6989586621679546391 *>@#@$$ b6989586621679545974 :: TyFun (f6989586621679545966 b6989586621679545974) (f6989586621679545966 b6989586621679545974) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (arg6989586621679546391 *>@#@$$ b :: TyFun (f b) (f b) -> Type) (arg6989586621679546392 :: f b) Source # | |
type (*>@#@$$$) (arg6989586621679546391 :: f6989586621679545966 a6989586621679545973) (arg6989586621679546392 :: f6989586621679545966 b6989586621679545974) = (*>) arg6989586621679546391 arg6989586621679546392 Source #
data (<*@#@$) :: forall a6989586621679545975 b6989586621679545976 f6989586621679545966. (~>) (f6989586621679545966 a6989586621679545975) ((~>) (f6989586621679545966 b6989586621679545976) (f6989586621679545966 a6989586621679545975)) infixl 4 Source #
Instances
SApplicative f => SingI ((<*@#@$) :: TyFun (f a) (f b ~> f a) -> Type) Source # | |
SuppressUnusedWarnings ((<*@#@$) :: TyFun (f6989586621679545966 a6989586621679545975) (f6989586621679545966 b6989586621679545976 ~> f6989586621679545966 a6989586621679545975) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<*@#@$) :: TyFun (f6989586621679545966 a6989586621679545975) (f6989586621679545966 b6989586621679545976 ~> f6989586621679545966 a6989586621679545975) -> Type) (arg6989586621679546395 :: f6989586621679545966 a6989586621679545975) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((<*@#@$) :: TyFun (f6989586621679545966 a6989586621679545975) (f6989586621679545966 b6989586621679545976 ~> f6989586621679545966 a6989586621679545975) -> Type) (arg6989586621679546395 :: f6989586621679545966 a6989586621679545975) = (arg6989586621679546395 <*@#@$$ b6989586621679545976 :: TyFun (f6989586621679545966 b6989586621679545976) (f6989586621679545966 a6989586621679545975) -> Type) |
data (<*@#@$$) (arg6989586621679546395 :: f6989586621679545966 a6989586621679545975) :: forall b6989586621679545976. (~>) (f6989586621679545966 b6989586621679545976) (f6989586621679545966 a6989586621679545975) infixl 4 Source #
Instances
(SApplicative f, SingI d) => SingI (d <*@#@$$ b :: TyFun (f b) (f a) -> Type) Source # | |
SuppressUnusedWarnings (arg6989586621679546395 <*@#@$$ b6989586621679545976 :: TyFun (f6989586621679545966 b6989586621679545976) (f6989586621679545966 a6989586621679545975) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (arg6989586621679546395 <*@#@$$ b :: TyFun (f b) (f a) -> Type) (arg6989586621679546396 :: f b) Source # | |
type (<*@#@$$$) (arg6989586621679546395 :: f6989586621679545966 a6989586621679545975) (arg6989586621679546396 :: f6989586621679545966 b6989586621679545976) = (<*) arg6989586621679546395 arg6989586621679546396 Source #
data (<|>@#@$) :: forall a6989586621679546045 f6989586621679546043. (~>) (f6989586621679546043 a6989586621679546045) ((~>) (f6989586621679546043 a6989586621679546045) (f6989586621679546043 a6989586621679546045)) infixl 3 Source #
Instances
SAlternative f => SingI ((<|>@#@$) :: TyFun (f a) (f a ~> f a) -> Type) Source # | |
SuppressUnusedWarnings ((<|>@#@$) :: TyFun (f6989586621679546043 a6989586621679546045) (f6989586621679546043 a6989586621679546045 ~> f6989586621679546043 a6989586621679546045) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<|>@#@$) :: TyFun (f6989586621679546043 a6989586621679546045) (f6989586621679546043 a6989586621679546045 ~> f6989586621679546043 a6989586621679546045) -> Type) (arg6989586621679546512 :: f6989586621679546043 a6989586621679546045) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal |
data (<|>@#@$$) (arg6989586621679546512 :: f6989586621679546043 a6989586621679546045) :: (~>) (f6989586621679546043 a6989586621679546045) (f6989586621679546043 a6989586621679546045) infixl 3 Source #
Instances
(SAlternative f, SingI d) => SingI ((<|>@#@$$) d :: TyFun (f a) (f a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing ((<|>@#@$$) d) Source # | |
SuppressUnusedWarnings ((<|>@#@$$) arg6989586621679546512 :: TyFun (f6989586621679546043 a6989586621679546045) (f6989586621679546043 a6989586621679546045) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<|>@#@$$) arg6989586621679546512 :: TyFun (f a) (f a) -> Type) (arg6989586621679546513 :: f a) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((<|>@#@$$) arg6989586621679546512 :: TyFun (f a) (f a) -> Type) (arg6989586621679546513 :: f a) = arg6989586621679546512 <|> arg6989586621679546513 |
type (<|>@#@$$$) (arg6989586621679546512 :: f6989586621679546043 a6989586621679546045) (arg6989586621679546513 :: f6989586621679546043 a6989586621679546045) = (<|>) arg6989586621679546512 arg6989586621679546513 Source #
data ConstSym0 :: forall (a6989586621679091214 :: Type) k6989586621679091213 (b6989586621679091215 :: k6989586621679091213). (~>) a6989586621679091214 (Const (a6989586621679091214 :: Type) (b6989586621679091215 :: k6989586621679091213)) Source #
Instances
SingI (ConstSym0 :: TyFun a6989586621679091214 (Const a6989586621679091214 b6989586621679091215) -> Type) Source # | |
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679091214 (Const a6989586621679091214 b6989586621679091215) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConstSym0 :: TyFun a (Const a b6989586621679091215) -> Type) (t6989586621680705928 :: a) Source # | |
data GetConstSym0 :: forall a6989586621680706243 b6989586621680706244. (~>) (Const a6989586621680706243 b6989586621680706244) a6989586621680706243 Source #
Instances
SuppressUnusedWarnings (GetConstSym0 :: TyFun (Const a6989586621680706243 b6989586621680706244) a6989586621680706243 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Const Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetConstSym0 :: TyFun (Const a b) a -> Type) (x6989586621680706245 :: Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const |
type GetConstSym1 (x6989586621680706245 :: Const a6989586621680706243 b6989586621680706244) = GetConst x6989586621680706245 Source #
data (<$>@#@$) :: forall a6989586621679715297 b6989586621679715298 f6989586621679715296. (~>) ((~>) a6989586621679715297 b6989586621679715298) ((~>) (f6989586621679715296 a6989586621679715297) (f6989586621679715296 b6989586621679715298)) infixl 4 Source #
Instances
SFunctor f => SingI ((<$>@#@$) :: TyFun (a ~> b) (f a ~> f b) -> Type) Source # | |
SuppressUnusedWarnings ((<$>@#@$) :: TyFun (a6989586621679715297 ~> b6989586621679715298) (f6989586621679715296 a6989586621679715297 ~> f6989586621679715296 b6989586621679715298) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<$>@#@$) :: TyFun (a6989586621679715297 ~> b6989586621679715298) (f6989586621679715296 a6989586621679715297 ~> f6989586621679715296 b6989586621679715298) -> Type) (a6989586621679715377 :: a6989586621679715297 ~> b6989586621679715298) Source # | |
Defined in Data.Singletons.Prelude.Functor type Apply ((<$>@#@$) :: TyFun (a6989586621679715297 ~> b6989586621679715298) (f6989586621679715296 a6989586621679715297 ~> f6989586621679715296 b6989586621679715298) -> Type) (a6989586621679715377 :: a6989586621679715297 ~> b6989586621679715298) = (a6989586621679715377 <$>@#@$$ f6989586621679715296 :: TyFun (f6989586621679715296 a6989586621679715297) (f6989586621679715296 b6989586621679715298) -> Type) |
data (<$>@#@$$) (a6989586621679715377 :: (~>) a6989586621679715297 b6989586621679715298) :: forall f6989586621679715296. (~>) (f6989586621679715296 a6989586621679715297) (f6989586621679715296 b6989586621679715298) infixl 4 Source #
Instances
(SFunctor f, SingI d) => SingI (d <$>@#@$$ f :: TyFun (f a) (f b) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621679715377 <$>@#@$$ f6989586621679715296 :: TyFun (f6989586621679715296 a6989586621679715297) (f6989586621679715296 b6989586621679715298) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621679715377 <$>@#@$$ f :: TyFun (f a) (f b) -> Type) (a6989586621679715378 :: f a) Source # | |
type (<$>@#@$$$) (a6989586621679715377 :: (~>) a6989586621679715297 b6989586621679715298) (a6989586621679715378 :: f6989586621679715296 a6989586621679715297) = (<$>) a6989586621679715377 a6989586621679715378 Source #
data (<$@#@$) :: forall a6989586621679545964 b6989586621679545965 f6989586621679545961. (~>) a6989586621679545964 ((~>) (f6989586621679545961 b6989586621679545965) (f6989586621679545961 a6989586621679545964)) infixl 4 Source #
Instances
SFunctor f => SingI ((<$@#@$) :: TyFun a (f b ~> f a) -> Type) Source # | |
SuppressUnusedWarnings ((<$@#@$) :: TyFun a6989586621679545964 (f6989586621679545961 b6989586621679545965 ~> f6989586621679545961 a6989586621679545964) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<$@#@$) :: TyFun a6989586621679545964 (f6989586621679545961 b6989586621679545965 ~> f6989586621679545961 a6989586621679545964) -> Type) (arg6989586621679546359 :: a6989586621679545964) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((<$@#@$) :: TyFun a6989586621679545964 (f6989586621679545961 b6989586621679545965 ~> f6989586621679545961 a6989586621679545964) -> Type) (arg6989586621679546359 :: a6989586621679545964) = ((arg6989586621679546359 <$@#@$$ b6989586621679545965) f6989586621679545961 :: TyFun (f6989586621679545961 b6989586621679545965) (f6989586621679545961 a6989586621679545964) -> Type) |
data (<$@#@$$) (arg6989586621679546359 :: a6989586621679545964) :: forall b6989586621679545965 f6989586621679545961. (~>) (f6989586621679545961 b6989586621679545965) (f6989586621679545961 a6989586621679545964) infixl 4 Source #
Instances
(SFunctor f, SingI d) => SingI ((d <$@#@$$ b) f :: TyFun (f b) (f a) -> Type) Source # | |
SuppressUnusedWarnings ((arg6989586621679546359 <$@#@$$ b6989586621679545965) f6989586621679545961 :: TyFun (f6989586621679545961 b6989586621679545965) (f6989586621679545961 a6989586621679545964) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((arg6989586621679546359 <$@#@$$ b) f :: TyFun (f b) (f a) -> Type) (arg6989586621679546360 :: f b) Source # | |
type (<$@#@$$$) (arg6989586621679546359 :: a6989586621679545964) (arg6989586621679546360 :: f6989586621679545961 b6989586621679545965) = (<$) arg6989586621679546359 arg6989586621679546360 Source #
data (<**>@#@$) :: forall a6989586621679545926 b6989586621679545927 f6989586621679545925. (~>) (f6989586621679545925 a6989586621679545926) ((~>) (f6989586621679545925 ((~>) a6989586621679545926 b6989586621679545927)) (f6989586621679545925 b6989586621679545927)) infixl 4 Source #
Instances
SApplicative f => SingI ((<**>@#@$) :: TyFun (f a) (f (a ~> b) ~> f b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (<**>@#@$) Source # | |
SuppressUnusedWarnings ((<**>@#@$) :: TyFun (f6989586621679545925 a6989586621679545926) (f6989586621679545925 (a6989586621679545926 ~> b6989586621679545927) ~> f6989586621679545925 b6989586621679545927) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<**>@#@$) :: TyFun (f6989586621679545925 a6989586621679545926) (f6989586621679545925 (a6989586621679545926 ~> b6989586621679545927) ~> f6989586621679545925 b6989586621679545927) -> Type) (a6989586621679546339 :: f6989586621679545925 a6989586621679545926) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((<**>@#@$) :: TyFun (f6989586621679545925 a6989586621679545926) (f6989586621679545925 (a6989586621679545926 ~> b6989586621679545927) ~> f6989586621679545925 b6989586621679545927) -> Type) (a6989586621679546339 :: f6989586621679545925 a6989586621679545926) = (a6989586621679546339 <**>@#@$$ b6989586621679545927 :: TyFun (f6989586621679545925 (a6989586621679545926 ~> b6989586621679545927)) (f6989586621679545925 b6989586621679545927) -> Type) |
data (<**>@#@$$) (a6989586621679546339 :: f6989586621679545925 a6989586621679545926) :: forall b6989586621679545927. (~>) (f6989586621679545925 ((~>) a6989586621679545926 b6989586621679545927)) (f6989586621679545925 b6989586621679545927) infixl 4 Source #
Instances
(SApplicative f, SingI d) => SingI (d <**>@#@$$ b :: TyFun (f (a ~> b)) (f b) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621679546339 <**>@#@$$ b6989586621679545927 :: TyFun (f6989586621679545925 (a6989586621679545926 ~> b6989586621679545927)) (f6989586621679545925 b6989586621679545927) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621679546339 <**>@#@$$ b :: TyFun (f (a ~> b)) (f b) -> Type) (a6989586621679546340 :: f (a ~> b)) Source # | |
type (<**>@#@$$$) (a6989586621679546339 :: f6989586621679545925 a6989586621679545926) (a6989586621679546340 :: f6989586621679545925 ((~>) a6989586621679545926 b6989586621679545927)) = (<**>) a6989586621679546339 a6989586621679546340 Source #
data LiftASym0 :: forall a6989586621679545923 b6989586621679545924 f6989586621679545922. (~>) ((~>) a6989586621679545923 b6989586621679545924) ((~>) (f6989586621679545922 a6989586621679545923) (f6989586621679545922 b6989586621679545924)) Source #
Instances
SApplicative f => SingI (LiftASym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) Source # | |
SuppressUnusedWarnings (LiftASym0 :: TyFun (a6989586621679545923 ~> b6989586621679545924) (f6989586621679545922 a6989586621679545923 ~> f6989586621679545922 b6989586621679545924) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftASym0 :: TyFun (a6989586621679545923 ~> b6989586621679545924) (f6989586621679545922 a6989586621679545923 ~> f6989586621679545922 b6989586621679545924) -> Type) (a6989586621679546329 :: a6989586621679545923 ~> b6989586621679545924) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftASym0 :: TyFun (a6989586621679545923 ~> b6989586621679545924) (f6989586621679545922 a6989586621679545923 ~> f6989586621679545922 b6989586621679545924) -> Type) (a6989586621679546329 :: a6989586621679545923 ~> b6989586621679545924) = (LiftASym1 a6989586621679546329 f6989586621679545922 :: TyFun (f6989586621679545922 a6989586621679545923) (f6989586621679545922 b6989586621679545924) -> Type) |
data LiftASym1 (a6989586621679546329 :: (~>) a6989586621679545923 b6989586621679545924) :: forall f6989586621679545922. (~>) (f6989586621679545922 a6989586621679545923) (f6989586621679545922 b6989586621679545924) Source #
Instances
(SApplicative f, SingI d) => SingI (LiftASym1 d f :: TyFun (f a) (f b) -> Type) Source # | |
SuppressUnusedWarnings (LiftASym1 a6989586621679546329 f6989586621679545922 :: TyFun (f6989586621679545922 a6989586621679545923) (f6989586621679545922 b6989586621679545924) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftASym1 a6989586621679546329 f :: TyFun (f a) (f b) -> Type) (a6989586621679546330 :: f a) Source # | |
type LiftASym2 (a6989586621679546329 :: (~>) a6989586621679545923 b6989586621679545924) (a6989586621679546330 :: f6989586621679545922 a6989586621679545923) = LiftA a6989586621679546329 a6989586621679546330 Source #
data LiftA2Sym0 :: forall a6989586621679545970 b6989586621679545971 c6989586621679545972 f6989586621679545966. (~>) ((~>) a6989586621679545970 ((~>) b6989586621679545971 c6989586621679545972)) ((~>) (f6989586621679545966 a6989586621679545970) ((~>) (f6989586621679545966 b6989586621679545971) (f6989586621679545966 c6989586621679545972))) 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 Methods sing :: Sing LiftA2Sym0 Source # | |
SuppressUnusedWarnings (LiftA2Sym0 :: TyFun (a6989586621679545970 ~> (b6989586621679545971 ~> c6989586621679545972)) (f6989586621679545966 a6989586621679545970 ~> (f6989586621679545966 b6989586621679545971 ~> f6989586621679545966 c6989586621679545972)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftA2Sym0 :: TyFun (a6989586621679545970 ~> (b6989586621679545971 ~> c6989586621679545972)) (f6989586621679545966 a6989586621679545970 ~> (f6989586621679545966 b6989586621679545971 ~> f6989586621679545966 c6989586621679545972)) -> Type) (arg6989586621679546385 :: a6989586621679545970 ~> (b6989586621679545971 ~> c6989586621679545972)) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftA2Sym0 :: TyFun (a6989586621679545970 ~> (b6989586621679545971 ~> c6989586621679545972)) (f6989586621679545966 a6989586621679545970 ~> (f6989586621679545966 b6989586621679545971 ~> f6989586621679545966 c6989586621679545972)) -> Type) (arg6989586621679546385 :: a6989586621679545970 ~> (b6989586621679545971 ~> c6989586621679545972)) = (LiftA2Sym1 arg6989586621679546385 f6989586621679545966 :: TyFun (f6989586621679545966 a6989586621679545970) (f6989586621679545966 b6989586621679545971 ~> f6989586621679545966 c6989586621679545972) -> Type) |
data LiftA2Sym1 (arg6989586621679546385 :: (~>) a6989586621679545970 ((~>) b6989586621679545971 c6989586621679545972)) :: forall f6989586621679545966. (~>) (f6989586621679545966 a6989586621679545970) ((~>) (f6989586621679545966 b6989586621679545971) (f6989586621679545966 c6989586621679545972)) 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 Methods sing :: Sing (LiftA2Sym1 d f) Source # | |
SuppressUnusedWarnings (LiftA2Sym1 arg6989586621679546385 f6989586621679545966 :: TyFun (f6989586621679545966 a6989586621679545970) (f6989586621679545966 b6989586621679545971 ~> f6989586621679545966 c6989586621679545972) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftA2Sym1 arg6989586621679546385 f6989586621679545966 :: TyFun (f6989586621679545966 a6989586621679545970) (f6989586621679545966 b6989586621679545971 ~> f6989586621679545966 c6989586621679545972) -> Type) (arg6989586621679546386 :: f6989586621679545966 a6989586621679545970) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftA2Sym1 arg6989586621679546385 f6989586621679545966 :: TyFun (f6989586621679545966 a6989586621679545970) (f6989586621679545966 b6989586621679545971 ~> f6989586621679545966 c6989586621679545972) -> Type) (arg6989586621679546386 :: f6989586621679545966 a6989586621679545970) = LiftA2Sym2 arg6989586621679546385 arg6989586621679546386 |
data LiftA2Sym2 (arg6989586621679546385 :: (~>) a6989586621679545970 ((~>) b6989586621679545971 c6989586621679545972)) (arg6989586621679546386 :: f6989586621679545966 a6989586621679545970) :: (~>) (f6989586621679545966 b6989586621679545971) (f6989586621679545966 c6989586621679545972) 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 Methods sing :: Sing (LiftA2Sym2 d1 d2) Source # | |
SuppressUnusedWarnings (LiftA2Sym2 arg6989586621679546386 arg6989586621679546385 :: TyFun (f6989586621679545966 b6989586621679545971) (f6989586621679545966 c6989586621679545972) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftA2Sym2 arg6989586621679546386 arg6989586621679546385 :: TyFun (f b) (f c) -> Type) (arg6989586621679546387 :: f b) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftA2Sym2 arg6989586621679546386 arg6989586621679546385 :: TyFun (f b) (f c) -> Type) (arg6989586621679546387 :: f b) = LiftA2 arg6989586621679546386 arg6989586621679546385 arg6989586621679546387 |
type LiftA2Sym3 (arg6989586621679546385 :: (~>) a6989586621679545970 ((~>) b6989586621679545971 c6989586621679545972)) (arg6989586621679546386 :: f6989586621679545966 a6989586621679545970) (arg6989586621679546387 :: f6989586621679545966 b6989586621679545971) = LiftA2 arg6989586621679546385 arg6989586621679546386 arg6989586621679546387 Source #
data LiftA3Sym0 :: forall a6989586621679545918 b6989586621679545919 c6989586621679545920 d6989586621679545921 f6989586621679545917. (~>) ((~>) a6989586621679545918 ((~>) b6989586621679545919 ((~>) c6989586621679545920 d6989586621679545921))) ((~>) (f6989586621679545917 a6989586621679545918) ((~>) (f6989586621679545917 b6989586621679545919) ((~>) (f6989586621679545917 c6989586621679545920) (f6989586621679545917 d6989586621679545921)))) 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 Methods sing :: Sing LiftA3Sym0 Source # | |
SuppressUnusedWarnings (LiftA3Sym0 :: TyFun (a6989586621679545918 ~> (b6989586621679545919 ~> (c6989586621679545920 ~> d6989586621679545921))) (f6989586621679545917 a6989586621679545918 ~> (f6989586621679545917 b6989586621679545919 ~> (f6989586621679545917 c6989586621679545920 ~> f6989586621679545917 d6989586621679545921))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftA3Sym0 :: TyFun (a6989586621679545918 ~> (b6989586621679545919 ~> (c6989586621679545920 ~> d6989586621679545921))) (f6989586621679545917 a6989586621679545918 ~> (f6989586621679545917 b6989586621679545919 ~> (f6989586621679545917 c6989586621679545920 ~> f6989586621679545917 d6989586621679545921))) -> Type) (a6989586621679546317 :: a6989586621679545918 ~> (b6989586621679545919 ~> (c6989586621679545920 ~> d6989586621679545921))) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftA3Sym0 :: TyFun (a6989586621679545918 ~> (b6989586621679545919 ~> (c6989586621679545920 ~> d6989586621679545921))) (f6989586621679545917 a6989586621679545918 ~> (f6989586621679545917 b6989586621679545919 ~> (f6989586621679545917 c6989586621679545920 ~> f6989586621679545917 d6989586621679545921))) -> Type) (a6989586621679546317 :: a6989586621679545918 ~> (b6989586621679545919 ~> (c6989586621679545920 ~> d6989586621679545921))) = (LiftA3Sym1 a6989586621679546317 f6989586621679545917 :: TyFun (f6989586621679545917 a6989586621679545918) (f6989586621679545917 b6989586621679545919 ~> (f6989586621679545917 c6989586621679545920 ~> f6989586621679545917 d6989586621679545921)) -> Type) |
data LiftA3Sym1 (a6989586621679546317 :: (~>) a6989586621679545918 ((~>) b6989586621679545919 ((~>) c6989586621679545920 d6989586621679545921))) :: forall f6989586621679545917. (~>) (f6989586621679545917 a6989586621679545918) ((~>) (f6989586621679545917 b6989586621679545919) ((~>) (f6989586621679545917 c6989586621679545920) (f6989586621679545917 d6989586621679545921))) 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 Methods sing :: Sing (LiftA3Sym1 d2 f) Source # | |
SuppressUnusedWarnings (LiftA3Sym1 a6989586621679546317 f6989586621679545917 :: TyFun (f6989586621679545917 a6989586621679545918) (f6989586621679545917 b6989586621679545919 ~> (f6989586621679545917 c6989586621679545920 ~> f6989586621679545917 d6989586621679545921)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftA3Sym1 a6989586621679546317 f6989586621679545917 :: TyFun (f6989586621679545917 a6989586621679545918) (f6989586621679545917 b6989586621679545919 ~> (f6989586621679545917 c6989586621679545920 ~> f6989586621679545917 d6989586621679545921)) -> Type) (a6989586621679546318 :: f6989586621679545917 a6989586621679545918) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftA3Sym1 a6989586621679546317 f6989586621679545917 :: TyFun (f6989586621679545917 a6989586621679545918) (f6989586621679545917 b6989586621679545919 ~> (f6989586621679545917 c6989586621679545920 ~> f6989586621679545917 d6989586621679545921)) -> Type) (a6989586621679546318 :: f6989586621679545917 a6989586621679545918) = LiftA3Sym2 a6989586621679546317 a6989586621679546318 |
data LiftA3Sym2 (a6989586621679546317 :: (~>) a6989586621679545918 ((~>) b6989586621679545919 ((~>) c6989586621679545920 d6989586621679545921))) (a6989586621679546318 :: f6989586621679545917 a6989586621679545918) :: (~>) (f6989586621679545917 b6989586621679545919) ((~>) (f6989586621679545917 c6989586621679545920) (f6989586621679545917 d6989586621679545921)) 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 Methods sing :: Sing (LiftA3Sym2 d2 d3) Source # | |
SuppressUnusedWarnings (LiftA3Sym2 a6989586621679546318 a6989586621679546317 :: TyFun (f6989586621679545917 b6989586621679545919) (f6989586621679545917 c6989586621679545920 ~> f6989586621679545917 d6989586621679545921) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftA3Sym2 a6989586621679546318 a6989586621679546317 :: TyFun (f6989586621679545917 b6989586621679545919) (f6989586621679545917 c6989586621679545920 ~> f6989586621679545917 d6989586621679545921) -> Type) (a6989586621679546319 :: f6989586621679545917 b6989586621679545919) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftA3Sym2 a6989586621679546318 a6989586621679546317 :: TyFun (f6989586621679545917 b6989586621679545919) (f6989586621679545917 c6989586621679545920 ~> f6989586621679545917 d6989586621679545921) -> Type) (a6989586621679546319 :: f6989586621679545917 b6989586621679545919) = LiftA3Sym3 a6989586621679546318 a6989586621679546317 a6989586621679546319 |
data LiftA3Sym3 (a6989586621679546317 :: (~>) a6989586621679545918 ((~>) b6989586621679545919 ((~>) c6989586621679545920 d6989586621679545921))) (a6989586621679546318 :: f6989586621679545917 a6989586621679545918) (a6989586621679546319 :: f6989586621679545917 b6989586621679545919) :: (~>) (f6989586621679545917 c6989586621679545920) (f6989586621679545917 d6989586621679545921) 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 Methods sing :: Sing (LiftA3Sym3 d2 d3 d4) Source # | |
SuppressUnusedWarnings (LiftA3Sym3 a6989586621679546319 a6989586621679546318 a6989586621679546317 :: TyFun (f6989586621679545917 c6989586621679545920) (f6989586621679545917 d6989586621679545921) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LiftA3Sym3 a6989586621679546319 a6989586621679546318 a6989586621679546317 :: TyFun (f c) (f d) -> Type) (a6989586621679546320 :: f c) Source # | |
Defined in Data.Singletons.Prelude.Monad.Internal type Apply (LiftA3Sym3 a6989586621679546319 a6989586621679546318 a6989586621679546317 :: TyFun (f c) (f d) -> Type) (a6989586621679546320 :: f c) = LiftA3 a6989586621679546319 a6989586621679546318 a6989586621679546317 a6989586621679546320 |
data OptionalSym0 :: forall a6989586621681194396 f6989586621681194395. (~>) (f6989586621681194395 a6989586621681194396) (f6989586621681194395 (Maybe a6989586621681194396)) Source #
Instances
SAlternative f => SingI (OptionalSym0 :: TyFun (f a) (f (Maybe a)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Applicative Methods sing :: Sing OptionalSym0 Source # | |
SuppressUnusedWarnings (OptionalSym0 :: TyFun (f6989586621681194395 a6989586621681194396) (f6989586621681194395 (Maybe a6989586621681194396)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Applicative Methods suppressUnusedWarnings :: () Source # | |
type Apply (OptionalSym0 :: TyFun (f a) (f (Maybe a)) -> Type) (a6989586621681194435 :: f a) Source # | |
Defined in Data.Singletons.Prelude.Applicative |
type OptionalSym1 (a6989586621681194435 :: f6989586621681194395 a6989586621681194396) = Optional a6989586621681194435 Source #
Orphan instances
SApplicative Down Source # | |
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 # | |
SMonoid a => SApplicative ((,) a) Source # | |
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 # | |