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.Semigroup
Description
Defines the promoted version of Semigroup
, PSemigroup
, and the
singleton version, SSemigroup
.
Synopsis
- class PSemigroup (a :: Type) where
- class SSemigroup a where
- data family Sing :: k -> Type
- type family GetMin (a :: Min a) :: a where ...
- type family GetMax (a :: Max a) :: a where ...
- type family GetFirst (a :: First a) :: a where ...
- type family GetLast (a :: Last a) :: a where ...
- type family GetDual (a :: Dual a) :: a where ...
- type family GetAll (a :: All) :: Bool where ...
- type family GetAny (a :: Any) :: Bool where ...
- type family GetSum (a :: Sum a) :: a where ...
- type family GetProduct (a :: Product a) :: a where ...
- type family GetOption (a :: Option a) :: Maybe a where ...
- type SMin = (Sing :: Min a -> Type)
- type SMax = (Sing :: Max a -> Type)
- type SFirst = (Sing :: First a -> Type)
- type SLast = (Sing :: Last a -> Type)
- type SWrappedMonoid = (Sing :: WrappedMonoid m -> Type)
- type SDual = (Sing :: Dual a -> Type)
- type SAll = (Sing :: All -> Type)
- type SAny = (Sing :: Any -> Type)
- type SSum = (Sing :: Sum a -> Type)
- type SProduct = (Sing :: Product a -> Type)
- type SOption = (Sing :: Option a -> Type)
- type SArg = (Sing :: Arg a b -> Type)
- option_ :: b -> (a -> b) -> Option a -> b
- sOption_ :: forall b a (t :: b) (t :: (~>) a b) (t :: Option a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Option_Sym0 t) t) t :: b)
- type family Option_ (a :: b) (a :: (~>) a b) (a :: Option a) :: b where ...
- data (<>@#@$) :: forall a6989586621679810436. (~>) a6989586621679810436 ((~>) a6989586621679810436 a6989586621679810436)
- data (<>@#@$$) (arg6989586621679810921 :: a6989586621679810436) :: (~>) a6989586621679810436 a6989586621679810436
- type (<>@#@$$$) (arg6989586621679810921 :: a6989586621679810436) (arg6989586621679810922 :: a6989586621679810436) = (<>) arg6989586621679810921 arg6989586621679810922
- data SconcatSym0 :: forall a6989586621679810436. (~>) (NonEmpty a6989586621679810436) a6989586621679810436
- type SconcatSym1 (arg6989586621679810925 :: NonEmpty a6989586621679810436) = Sconcat arg6989586621679810925
- data MinSym0 :: forall (a6989586621679061826 :: Type). (~>) a6989586621679061826 (Min (a6989586621679061826 :: Type))
- type MinSym1 (t6989586621679820224 :: a6989586621679061826) = Min t6989586621679820224
- data GetMinSym0 :: forall a6989586621679061826. (~>) (Min a6989586621679061826) a6989586621679061826
- type GetMinSym1 (a6989586621679820221 :: Min a6989586621679061826) = GetMin a6989586621679820221
- data MaxSym0 :: forall (a6989586621679061832 :: Type). (~>) a6989586621679061832 (Max (a6989586621679061832 :: Type))
- type MaxSym1 (t6989586621679820241 :: a6989586621679061832) = Max t6989586621679820241
- data GetMaxSym0 :: forall a6989586621679061832. (~>) (Max a6989586621679061832) a6989586621679061832
- type GetMaxSym1 (a6989586621679820238 :: Max a6989586621679061832) = GetMax a6989586621679820238
- data FirstSym0 :: forall (a6989586621679061846 :: Type). (~>) a6989586621679061846 (First (a6989586621679061846 :: Type))
- type FirstSym1 (t6989586621679820258 :: a6989586621679061846) = First t6989586621679820258
- data GetFirstSym0 :: forall a6989586621679061846. (~>) (First a6989586621679061846) a6989586621679061846
- type GetFirstSym1 (a6989586621679820255 :: First a6989586621679061846) = GetFirst a6989586621679820255
- data LastSym0 :: forall (a6989586621679061852 :: Type). (~>) a6989586621679061852 (Last (a6989586621679061852 :: Type))
- type LastSym1 (t6989586621679820275 :: a6989586621679061852) = Last t6989586621679820275
- data GetLastSym0 :: forall a6989586621679061852. (~>) (Last a6989586621679061852) a6989586621679061852
- type GetLastSym1 (a6989586621679820272 :: Last a6989586621679061852) = GetLast a6989586621679820272
- data WrapMonoidSym0 :: forall (m6989586621679061858 :: Type). (~>) m6989586621679061858 (WrappedMonoid (m6989586621679061858 :: Type))
- type WrapMonoidSym1 (t6989586621679820292 :: m6989586621679061858) = WrapMonoid t6989586621679820292
- data UnwrapMonoidSym0 :: forall m6989586621679061858. (~>) (WrappedMonoid m6989586621679061858) m6989586621679061858
- type UnwrapMonoidSym1 (a6989586621679820289 :: WrappedMonoid m6989586621679061858) = UnwrapMonoid a6989586621679820289
- data DualSym0 :: forall (a6989586621679085203 :: Type). (~>) a6989586621679085203 (Dual (a6989586621679085203 :: Type))
- type DualSym1 (t6989586621679820145 :: a6989586621679085203) = Dual t6989586621679820145
- data GetDualSym0 :: forall a6989586621679085203. (~>) (Dual a6989586621679085203) a6989586621679085203
- type GetDualSym1 (a6989586621679820142 :: Dual a6989586621679085203) = GetDual a6989586621679820142
- data AllSym0 :: (~>) Bool All
- type AllSym1 (t6989586621679820159 :: Bool) = All t6989586621679820159
- data GetAllSym0 :: (~>) All Bool
- type GetAllSym1 (a6989586621679820156 :: All) = GetAll a6989586621679820156
- data AnySym0 :: (~>) Bool Any
- type AnySym1 (t6989586621679820173 :: Bool) = Any t6989586621679820173
- data GetAnySym0 :: (~>) Any Bool
- type GetAnySym1 (a6989586621679820170 :: Any) = GetAny a6989586621679820170
- data SumSym0 :: forall (a6989586621679085188 :: Type). (~>) a6989586621679085188 (Sum (a6989586621679085188 :: Type))
- type SumSym1 (t6989586621679820190 :: a6989586621679085188) = Sum t6989586621679820190
- data GetSumSym0 :: forall a6989586621679085188. (~>) (Sum a6989586621679085188) a6989586621679085188
- type GetSumSym1 (a6989586621679820187 :: Sum a6989586621679085188) = GetSum a6989586621679820187
- data ProductSym0 :: forall (a6989586621679085193 :: Type). (~>) a6989586621679085193 (Product (a6989586621679085193 :: Type))
- type ProductSym1 (t6989586621679820207 :: a6989586621679085193) = Product t6989586621679820207
- data GetProductSym0 :: forall a6989586621679085193. (~>) (Product a6989586621679085193) a6989586621679085193
- type GetProductSym1 (a6989586621679820204 :: Product a6989586621679085193) = GetProduct a6989586621679820204
- data OptionSym0 :: forall (a6989586621679061864 :: Type). (~>) (Maybe a6989586621679061864) (Option (a6989586621679061864 :: Type))
- type OptionSym1 (t6989586621679820128 :: Maybe a6989586621679061864) = Option t6989586621679820128
- data GetOptionSym0 :: forall a6989586621679061864. (~>) (Option a6989586621679061864) (Maybe a6989586621679061864)
- type GetOptionSym1 (a6989586621679820125 :: Option a6989586621679061864) = GetOption a6989586621679820125
- data ArgSym0 :: forall (a6989586621679061839 :: Type) (b6989586621679061840 :: Type). (~>) a6989586621679061839 ((~>) b6989586621679061840 (Arg (a6989586621679061839 :: Type) (b6989586621679061840 :: Type)))
- data ArgSym1 (t6989586621680860190 :: (a6989586621679061839 :: Type)) :: forall (b6989586621679061840 :: Type). (~>) b6989586621679061840 (Arg (a6989586621679061839 :: Type) (b6989586621679061840 :: Type))
- type ArgSym2 (t6989586621680860190 :: a6989586621679061839) (t6989586621680860191 :: b6989586621679061840) = Arg t6989586621680860190 t6989586621680860191
Documentation
class PSemigroup (a :: Type) Source #
Instances
PSemigroup Ordering Source # | |
PSemigroup Symbol Source # | |
PSemigroup () Source # | |
PSemigroup Void Source # | |
PSemigroup All Source # | |
PSemigroup Any Source # | |
PSemigroup [a] Source # | |
PSemigroup (Maybe a) Source # | |
PSemigroup (Min a) Source # | |
PSemigroup (Max a) Source # | |
PSemigroup (First a) Source # | |
PSemigroup (Last a) Source # | |
PSemigroup (WrappedMonoid m) Source # | |
PSemigroup (Option a) Source # | |
PSemigroup (Identity a) Source # | |
PSemigroup (First a) Source # | |
PSemigroup (Last a) Source # | |
PSemigroup (Dual a) Source # | |
PSemigroup (Sum a) Source # | |
PSemigroup (Product a) Source # | |
PSemigroup (Down a) Source # | |
PSemigroup (NonEmpty a) Source # | |
PSemigroup (Either a b) Source # | |
PSemigroup (a, b) Source # | |
PSemigroup (a ~> b) Source # | |
PSemigroup (a, b, c) Source # | |
PSemigroup (Const a b) Source # | |
PSemigroup (a, b, c, d) Source # | |
PSemigroup (a, b, c, d, e) Source # | |
class SSemigroup a where Source #
Minimal complete definition
Methods
(%<>) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t :: a) infixr 6 Source #
sSconcat :: forall (t :: NonEmpty a). Sing t -> Sing (Apply SconcatSym0 t :: a) Source #
sSconcat :: forall (t :: NonEmpty a). (Apply SconcatSym0 t :: a) ~ Apply Sconcat_6989586621679810943Sym0 t => Sing t -> Sing (Apply SconcatSym0 t :: a) Source #
Instances
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 |
type family GetProduct (a :: Product a) :: a where ... Source #
Equations
GetProduct (Product field) = field |
type SWrappedMonoid = (Sing :: WrappedMonoid m -> Type) Source #
sOption_ :: forall b a (t :: b) (t :: (~>) a b) (t :: Option a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Option_Sym0 t) t) t :: b) Source #
Defunctionalization symbols
data (<>@#@$) :: forall a6989586621679810436. (~>) a6989586621679810436 ((~>) a6989586621679810436 a6989586621679810436) infixr 6 Source #
Instances
SSemigroup a => SingI ((<>@#@$) :: TyFun a (a ~> a) -> Type) Source # | |
SuppressUnusedWarnings ((<>@#@$) :: TyFun a6989586621679810436 (a6989586621679810436 ~> a6989586621679810436) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<>@#@$) :: TyFun a6989586621679810436 (a6989586621679810436 ~> a6989586621679810436) -> Type) (arg6989586621679810921 :: a6989586621679810436) Source # | |
data (<>@#@$$) (arg6989586621679810921 :: a6989586621679810436) :: (~>) a6989586621679810436 a6989586621679810436 infixr 6 Source #
Instances
(SSemigroup a, SingI d) => SingI ((<>@#@$$) d :: TyFun a a -> Type) Source # | |
SuppressUnusedWarnings ((<>@#@$$) arg6989586621679810921 :: TyFun a6989586621679810436 a6989586621679810436 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply ((<>@#@$$) arg6989586621679810921 :: TyFun a a -> Type) (arg6989586621679810922 :: a) Source # | |
type (<>@#@$$$) (arg6989586621679810921 :: a6989586621679810436) (arg6989586621679810922 :: a6989586621679810436) = (<>) arg6989586621679810921 arg6989586621679810922 Source #
data SconcatSym0 :: forall a6989586621679810436. (~>) (NonEmpty a6989586621679810436) a6989586621679810436 Source #
Instances
SSemigroup a => SingI (SconcatSym0 :: TyFun (NonEmpty a) a -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing SconcatSym0 Source # | |
SuppressUnusedWarnings (SconcatSym0 :: TyFun (NonEmpty a6989586621679810436) a6989586621679810436 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (SconcatSym0 :: TyFun (NonEmpty a) a -> Type) (arg6989586621679810925 :: NonEmpty a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type SconcatSym1 (arg6989586621679810925 :: NonEmpty a6989586621679810436) = Sconcat arg6989586621679810925 Source #
data MinSym0 :: forall (a6989586621679061826 :: Type). (~>) a6989586621679061826 (Min (a6989586621679061826 :: Type)) Source #
Instances
SingI (MinSym0 :: TyFun a (Min a) -> Type) Source # | |
SuppressUnusedWarnings (MinSym0 :: TyFun a6989586621679061826 (Min a6989586621679061826) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (MinSym0 :: TyFun a (Min a) -> Type) (t6989586621679820224 :: a) Source # | |
data GetMinSym0 :: forall a6989586621679061826. (~>) (Min a6989586621679061826) a6989586621679061826 Source #
Instances
SuppressUnusedWarnings (GetMinSym0 :: TyFun (Min a6989586621679061826) a6989586621679061826 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetMinSym0 :: TyFun (Min a) a -> Type) (a6989586621679820221 :: Min a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type GetMinSym1 (a6989586621679820221 :: Min a6989586621679061826) = GetMin a6989586621679820221 Source #
data MaxSym0 :: forall (a6989586621679061832 :: Type). (~>) a6989586621679061832 (Max (a6989586621679061832 :: Type)) Source #
Instances
SingI (MaxSym0 :: TyFun a (Max a) -> Type) Source # | |
SuppressUnusedWarnings (MaxSym0 :: TyFun a6989586621679061832 (Max a6989586621679061832) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (MaxSym0 :: TyFun a (Max a) -> Type) (t6989586621679820241 :: a) Source # | |
data GetMaxSym0 :: forall a6989586621679061832. (~>) (Max a6989586621679061832) a6989586621679061832 Source #
Instances
SuppressUnusedWarnings (GetMaxSym0 :: TyFun (Max a6989586621679061832) a6989586621679061832 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetMaxSym0 :: TyFun (Max a) a -> Type) (a6989586621679820238 :: Max a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type GetMaxSym1 (a6989586621679820238 :: Max a6989586621679061832) = GetMax a6989586621679820238 Source #
data FirstSym0 :: forall (a6989586621679061846 :: Type). (~>) a6989586621679061846 (First (a6989586621679061846 :: Type)) Source #
Instances
SingI (FirstSym0 :: TyFun a (First a) -> Type) Source # | |
SuppressUnusedWarnings (FirstSym0 :: TyFun a6989586621679061846 (First a6989586621679061846) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (FirstSym0 :: TyFun a (First a) -> Type) (t6989586621679820258 :: a) Source # | |
data GetFirstSym0 :: forall a6989586621679061846. (~>) (First a6989586621679061846) a6989586621679061846 Source #
Instances
SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679061846) a6989586621679061846 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetFirstSym0 :: TyFun (First a) a -> Type) (a6989586621679820255 :: First a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type GetFirstSym1 (a6989586621679820255 :: First a6989586621679061846) = GetFirst a6989586621679820255 Source #
data LastSym0 :: forall (a6989586621679061852 :: Type). (~>) a6989586621679061852 (Last (a6989586621679061852 :: Type)) Source #
Instances
SingI (LastSym0 :: TyFun a (Last a) -> Type) Source # | |
SuppressUnusedWarnings (LastSym0 :: TyFun a6989586621679061852 (Last a6989586621679061852) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (LastSym0 :: TyFun a (Last a) -> Type) (t6989586621679820275 :: a) Source # | |
data GetLastSym0 :: forall a6989586621679061852. (~>) (Last a6989586621679061852) a6989586621679061852 Source #
Instances
SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679061852) a6989586621679061852 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetLastSym0 :: TyFun (Last a) a -> Type) (a6989586621679820272 :: Last a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type GetLastSym1 (a6989586621679820272 :: Last a6989586621679061852) = GetLast a6989586621679820272 Source #
data WrapMonoidSym0 :: forall (m6989586621679061858 :: Type). (~>) m6989586621679061858 (WrappedMonoid (m6989586621679061858 :: Type)) Source #
Instances
SingI (WrapMonoidSym0 :: TyFun m (WrappedMonoid m) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods | |
SuppressUnusedWarnings (WrapMonoidSym0 :: TyFun m6989586621679061858 (WrappedMonoid m6989586621679061858) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (WrapMonoidSym0 :: TyFun m (WrappedMonoid m) -> Type) (t6989586621679820292 :: m) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (WrapMonoidSym0 :: TyFun m (WrappedMonoid m) -> Type) (t6989586621679820292 :: m) = WrapMonoid t6989586621679820292 |
type WrapMonoidSym1 (t6989586621679820292 :: m6989586621679061858) = WrapMonoid t6989586621679820292 Source #
data UnwrapMonoidSym0 :: forall m6989586621679061858. (~>) (WrappedMonoid m6989586621679061858) m6989586621679061858 Source #
Instances
SuppressUnusedWarnings (UnwrapMonoidSym0 :: TyFun (WrappedMonoid m6989586621679061858) m6989586621679061858 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (UnwrapMonoidSym0 :: TyFun (WrappedMonoid m) m -> Type) (a6989586621679820289 :: WrappedMonoid m) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (UnwrapMonoidSym0 :: TyFun (WrappedMonoid m) m -> Type) (a6989586621679820289 :: WrappedMonoid m) |
type UnwrapMonoidSym1 (a6989586621679820289 :: WrappedMonoid m6989586621679061858) = UnwrapMonoid a6989586621679820289 Source #
data DualSym0 :: forall (a6989586621679085203 :: Type). (~>) a6989586621679085203 (Dual (a6989586621679085203 :: Type)) Source #
Instances
SingI (DualSym0 :: TyFun a (Dual a) -> Type) Source # | |
SuppressUnusedWarnings (DualSym0 :: TyFun a6989586621679085203 (Dual a6989586621679085203) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (DualSym0 :: TyFun a (Dual a) -> Type) (t6989586621679820145 :: a) Source # | |
data GetDualSym0 :: forall a6989586621679085203. (~>) (Dual a6989586621679085203) a6989586621679085203 Source #
Instances
SuppressUnusedWarnings (GetDualSym0 :: TyFun (Dual a6989586621679085203) a6989586621679085203 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetDualSym0 :: TyFun (Dual a) a -> Type) (a6989586621679820142 :: Dual a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type GetDualSym1 (a6989586621679820142 :: Dual a6989586621679085203) = GetDual a6989586621679820142 Source #
data AllSym0 :: (~>) Bool All Source #
Instances
SingI AllSym0 Source # | |
SuppressUnusedWarnings AllSym0 Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply AllSym0 (t6989586621679820159 :: Bool) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
data GetAllSym0 :: (~>) All Bool Source #
Instances
SuppressUnusedWarnings GetAllSym0 Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply GetAllSym0 (a6989586621679820156 :: All) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type GetAllSym1 (a6989586621679820156 :: All) = GetAll a6989586621679820156 Source #
data AnySym0 :: (~>) Bool Any Source #
Instances
SingI AnySym0 Source # | |
SuppressUnusedWarnings AnySym0 Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply AnySym0 (t6989586621679820173 :: Bool) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
data GetAnySym0 :: (~>) Any Bool Source #
Instances
SuppressUnusedWarnings GetAnySym0 Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply GetAnySym0 (a6989586621679820170 :: Any) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type GetAnySym1 (a6989586621679820170 :: Any) = GetAny a6989586621679820170 Source #
data SumSym0 :: forall (a6989586621679085188 :: Type). (~>) a6989586621679085188 (Sum (a6989586621679085188 :: Type)) Source #
Instances
SingI (SumSym0 :: TyFun a (Sum a) -> Type) Source # | |
SuppressUnusedWarnings (SumSym0 :: TyFun a6989586621679085188 (Sum a6989586621679085188) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (SumSym0 :: TyFun a (Sum a) -> Type) (t6989586621679820190 :: a) Source # | |
data GetSumSym0 :: forall a6989586621679085188. (~>) (Sum a6989586621679085188) a6989586621679085188 Source #
Instances
SuppressUnusedWarnings (GetSumSym0 :: TyFun (Sum a6989586621679085188) a6989586621679085188 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetSumSym0 :: TyFun (Sum a) a -> Type) (a6989586621679820187 :: Sum a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type GetSumSym1 (a6989586621679820187 :: Sum a6989586621679085188) = GetSum a6989586621679820187 Source #
data ProductSym0 :: forall (a6989586621679085193 :: Type). (~>) a6989586621679085193 (Product (a6989586621679085193 :: Type)) Source #
Instances
SingI (ProductSym0 :: TyFun a (Product a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing ProductSym0 Source # | |
SuppressUnusedWarnings (ProductSym0 :: TyFun a6989586621679085193 (Product a6989586621679085193) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (ProductSym0 :: TyFun a (Product a) -> Type) (t6989586621679820207 :: a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type ProductSym1 (t6989586621679820207 :: a6989586621679085193) = Product t6989586621679820207 Source #
data GetProductSym0 :: forall a6989586621679085193. (~>) (Product a6989586621679085193) a6989586621679085193 Source #
Instances
SuppressUnusedWarnings (GetProductSym0 :: TyFun (Product a6989586621679085193) a6989586621679085193 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetProductSym0 :: TyFun (Product a) a -> Type) (a6989586621679820204 :: Product a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (GetProductSym0 :: TyFun (Product a) a -> Type) (a6989586621679820204 :: Product a) = GetProduct a6989586621679820204 |
type GetProductSym1 (a6989586621679820204 :: Product a6989586621679085193) = GetProduct a6989586621679820204 Source #
data OptionSym0 :: forall (a6989586621679061864 :: Type). (~>) (Maybe a6989586621679061864) (Option (a6989586621679061864 :: Type)) Source #
Instances
SingI (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing OptionSym0 Source # | |
SuppressUnusedWarnings (OptionSym0 :: TyFun (Maybe a6989586621679061864) (Option a6989586621679061864) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) (t6989586621679820128 :: Maybe a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type OptionSym1 (t6989586621679820128 :: Maybe a6989586621679061864) = Option t6989586621679820128 Source #
data GetOptionSym0 :: forall a6989586621679061864. (~>) (Option a6989586621679061864) (Maybe a6989586621679061864) Source #
Instances
SuppressUnusedWarnings (GetOptionSym0 :: TyFun (Option a6989586621679061864) (Maybe a6989586621679061864) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetOptionSym0 :: TyFun (Option a) (Maybe a) -> Type) (a6989586621679820125 :: Option a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type GetOptionSym1 (a6989586621679820125 :: Option a6989586621679061864) = GetOption a6989586621679820125 Source #
data ArgSym0 :: forall (a6989586621679061839 :: Type) (b6989586621679061840 :: Type). (~>) a6989586621679061839 ((~>) b6989586621679061840 (Arg (a6989586621679061839 :: Type) (b6989586621679061840 :: Type))) Source #
Instances
SingI (ArgSym0 :: TyFun a (b ~> Arg a b) -> Type) Source # | |
SuppressUnusedWarnings (ArgSym0 :: TyFun a6989586621679061839 (b6989586621679061840 ~> Arg a6989586621679061839 b6989586621679061840) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () Source # | |
type Apply (ArgSym0 :: TyFun a6989586621679061839 (b6989586621679061840 ~> Arg a6989586621679061839 b6989586621679061840) -> Type) (t6989586621680860190 :: a6989586621679061839) Source # | |
Defined in Data.Singletons.Prelude.Semigroup type Apply (ArgSym0 :: TyFun a6989586621679061839 (b6989586621679061840 ~> Arg a6989586621679061839 b6989586621679061840) -> Type) (t6989586621680860190 :: a6989586621679061839) = (ArgSym1 t6989586621680860190 b6989586621679061840 :: TyFun b6989586621679061840 (Arg a6989586621679061839 b6989586621679061840) -> Type) |
data ArgSym1 (t6989586621680860190 :: (a6989586621679061839 :: Type)) :: forall (b6989586621679061840 :: Type). (~>) b6989586621679061840 (Arg (a6989586621679061839 :: Type) (b6989586621679061840 :: Type)) Source #
Instances
SingI d => SingI (ArgSym1 d b :: TyFun b (Arg a b) -> Type) Source # | |
SuppressUnusedWarnings (ArgSym1 t6989586621680860190 b6989586621679061840 :: TyFun b6989586621679061840 (Arg a6989586621679061839 b6989586621679061840) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () Source # | |
type Apply (ArgSym1 t6989586621680860190 b :: TyFun b (Arg a b) -> Type) (t6989586621680860191 :: b) Source # | |
type ArgSym2 (t6989586621680860190 :: a6989586621679061839) (t6989586621680860191 :: b6989586621679061840) = Arg t6989586621680860190 t6989586621680860191 Source #