singletons-2.5.1: A framework for generating singleton types

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

Contents

- Defunctionalization symbols
- Orphan instances

Description

Defines the promoted version of `Semigroup`, `PSemigroup`, and the singleton version, `SSemigroup`.

Synopsis

- class PSemigroup (a :: Type) where
  - type (arg :: a) <> (arg :: a) :: a
  - type Sconcat (arg :: NonEmpty a) :: a
- class SSemigroup a where
  - (%<>) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t :: a)
  - sSconcat :: forall (t :: NonEmpty a). Sing t -> Sing (Apply SconcatSym0 t :: a)
- 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 #

Associated Types

type (arg :: a) <> (arg :: a) :: a infixr 6 Source #

type Sconcat (arg :: NonEmpty a) :: a Source #

Instances

PSemigroup Ordering Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup Symbol Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup () Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup Void Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup All Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup Any Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup [a] Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Maybe a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Min a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Max a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (First a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Last a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (WrappedMonoid m) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Option a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Identity a) Source # |
Instance details Defined in Data.Singletons.Prelude.Identity Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (First a) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Last a) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Dual a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Sum a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Product a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Down a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (NonEmpty a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Either a b) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (a, b) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (a ~> b) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (a, b, c) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Const a b) Source # |
Instance details Defined in Data.Singletons.Prelude.Const Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (a, b, c, d) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (a, b, c, d, e) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type arg <> arg :: a Source # type Sconcat arg :: a 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

SSemigroup Ordering Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup Symbol Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup () Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup Void Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup All Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup Any Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup [a] Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup a => SSemigroup (Maybe a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SOrd a => SSemigroup (Min a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SOrd a => SSemigroup (Max a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup (First a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup (Last a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SMonoid m => SSemigroup (WrappedMonoid m) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup a => SSemigroup (Option a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup a => SSemigroup (Identity a) Source # |
Instance details Defined in Data.Singletons.Prelude.Identity Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup (First a) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup (Last a) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup a => SSemigroup (Dual a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SNum a => SSemigroup (Sum a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SNum a => SSemigroup (Product a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup a => SSemigroup (Down a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup (NonEmpty a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup (Either a b) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
(SSemigroup a, SSemigroup b) => SSemigroup (a, b) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup b => SSemigroup (a ~> b) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
(SSemigroup a, SSemigroup b, SSemigroup c) => SSemigroup (a, b, c) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup a => SSemigroup (Const a b) Source # |
Instance details Defined in Data.Singletons.Prelude.Const Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
(SSemigroup a, SSemigroup b, SSemigroup c, SSemigroup d) => SSemigroup (a, b, c, d) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
(SSemigroup a, SSemigroup b, SSemigroup c, SSemigroup d, SSemigroup e) => SSemigroup (a, b, c, d, e) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #

data family Sing :: k -> Type Source #

The singleton kind-indexed data family.

Instances

SDecide k => TestCoercion (Sing :: k -> Type) Source # |
Instance details Defined in Data.Singletons.Decide Methods testCoercion :: Sing a -> Sing b -> Maybe (Coercion a b) Source #
SDecide k => TestEquality (Sing :: k -> Type) Source # |
Instance details Defined in Data.Singletons.Decide Methods testEquality :: Sing a -> Sing b -> Maybe (a :~: b) Source #
Show (SSymbol s) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SSymbol s -> ShowS Source # show :: SSymbol s -> String Source # showList :: [SSymbol s] -> ShowS Source #
Show (SNat n) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SNat n -> ShowS Source # show :: SNat n -> String Source # showList :: [SNat n] -> ShowS Source #
Eq (Sing a) Source # |
Instance details Defined in Data.Singletons.TypeRepTYPE Methods (==) :: Sing a -> Sing a -> Bool Source # (/=) :: Sing a -> Sing a -> Bool Source #
Ord (Sing a) Source # |
Instance details Defined in Data.Singletons.TypeRepTYPE Methods compare :: Sing a -> Sing a -> Ordering Source # (<) :: Sing a -> Sing a -> Bool Source # (<=) :: Sing a -> Sing a -> Bool Source # (>) :: Sing a -> Sing a -> Bool Source # (>=) :: Sing a -> Sing a -> Bool Source # max :: Sing a -> Sing a -> Sing a Source # min :: Sing a -> Sing a -> Sing a Source #
Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
Show (Sing a) Source # |
Instance details Defined in Data.Singletons.TypeRepTYPE Methods showsPrec :: Int -> Sing a -> ShowS Source # show :: Sing a -> String Source # showList :: [Sing a] -> ShowS Source #
Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing m => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing (Maybe a) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing (Maybe a) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing (Maybe a) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing Bool => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing Bool => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
data Sing (a :: Bool) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Bool) where

- SFalse :: forall (a :: Bool). Sing False
- STrue :: forall (a :: Bool). Sing True

data Sing (a :: Ordering) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Ordering) where

- SLT :: forall (a :: Ordering). Sing LT
- SEQ :: forall (a :: Ordering). Sing EQ
- SGT :: forall (a :: Ordering). Sing GT

data Sing (n :: Nat) Source # |

Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Nat) where

- SNat :: forall (n :: Nat). KnownNat n => Sing n

data Sing (n :: Symbol) Source # |

Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Symbol) where

- SSym :: forall (n :: Symbol). KnownSymbol n => Sing n

data Sing (a :: ()) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: ()) where

- STuple0 :: forall (a :: ()). Sing ()

data Sing (a :: Void) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: Void)
data Sing (a :: All) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: All) where

- SAll :: forall (a :: All) (n :: Bool). {..} -> Sing (All n)

data Sing (a :: Any) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: Any) where

- SAny :: forall (a :: Any) (n :: Bool). {..} -> Sing (Any n)

data Sing (a :: PErrorMessage) Source # |

Instance details

Defined in Data.Singletons.TypeError

data Sing (a :: PErrorMessage) where

- SText :: forall (a :: PErrorMessage) (t :: Symbol). Sing t -> Sing (Text t)
- SShowType :: forall (a :: PErrorMessage) t (ty :: t). Sing ty -> Sing (ShowType ty :: ErrorMessage' Symbol)
- (:%<>:) :: forall (a :: PErrorMessage) (e1 :: ErrorMessage' Symbol) (e2 :: ErrorMessage' Symbol). Sing e1 -> Sing e2 -> Sing (e1 :<>: e2)
- (:%$$:) :: forall (a :: PErrorMessage) (e1 :: ErrorMessage' Symbol) (e2 :: ErrorMessage' Symbol). Sing e1 -> Sing e2 -> Sing (e1 :$$: e2)

data Sing (b :: [a]) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: [a]) where

- SNil :: forall k (b :: [k]). Sing ([] :: [k])
- SCons :: forall a (b :: [a]) (n :: a) (n :: [a]). Sing n -> Sing n -> Sing (n ': n)

data Sing (b :: Maybe a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: Maybe a) where

- SNothing :: forall a (b :: Maybe a). Sing (Nothing :: Maybe a)
- SJust :: forall a (b :: Maybe a) (n :: a). Sing n -> Sing (Just n)

newtype Sing (a :: TYPE rep) Source #

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

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

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

Instance details Defined in Data.Singletons.TypeRepTYPE newtype Sing (a :: TYPE rep) = STypeRep (TypeRep a)
data Sing (b :: Min a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Min a) where

- SMin :: forall a (b :: Min a) (n :: a). {..} -> Sing (Min n)

data Sing (b :: Max a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Max a) where

- SMax :: forall a (b :: Max a) (n :: a). {..} -> Sing (Max n)

data Sing (b :: First a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: First a) where

- SFirst :: forall a (b :: First a) (n :: a). {..} -> Sing (First n)

data Sing (b :: Last a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Last a) where

- SLast :: forall a (b :: Last a) (n :: a). {..} -> Sing (Last n)

data Sing (a :: WrappedMonoid m) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: WrappedMonoid m) where

- SWrapMonoid :: forall m (a :: WrappedMonoid m) (n :: m). {..} -> Sing (WrapMonoid n)

data Sing (b :: Option a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Option a) where

- SOption :: forall a (b :: Option a) (n :: Maybe a). {..} -> Sing (Option n)

data Sing (b :: Identity a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: Identity a) where

- SIdentity :: forall a (b :: Identity a) (n :: a). {..} -> Sing (Identity n)

data Sing (b :: First a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Monoid

data Sing (b :: First a) where

- SFirst :: forall a (b :: First a) (n :: Maybe a). {..} -> Sing (First n)

data Sing (b :: Last a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Monoid

data Sing (b :: Last a) where

- SLast :: forall a (b :: Last a) (n :: Maybe a). {..} -> Sing (Last n)

data Sing (b :: Dual a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Dual a) where

- SDual :: forall a (b :: Dual a) (n :: a). {..} -> Sing (Dual n)

data Sing (b :: Sum a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Sum a) where

- SSum :: forall a (b :: Sum a) (n :: a). {..} -> Sing (Sum n)

data Sing (b :: Product a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Product a) where

- SProduct :: forall a (b :: Product a) (n :: a). {..} -> Sing (Product n)

data Sing (b :: Down a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Ord

data Sing (b :: Down a) where

- SDown :: forall a (b :: Down a) (n :: a). Sing n -> Sing (Down n)

data Sing (b :: NonEmpty a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: NonEmpty a) where

- (:%|) :: forall a (b :: NonEmpty a) (n :: a) (n :: [a]). Sing n -> Sing n -> Sing (n :| n)

data Sing (c :: Either a b) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (c :: Either a b) where

- SLeft :: forall a b (c :: Either a b) (n :: a). Sing n -> Sing (Left n :: Either a b)
- SRight :: forall a b (c :: Either a b) (n :: b). Sing n -> Sing (Right n :: Either a b)

data Sing (c :: (a, b)) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (c :: (a, b)) where

- STuple2 :: forall a b (c :: (a, b)) (n :: a) (n :: b). Sing n -> Sing n -> Sing ((,) n n)

data Sing (c :: Arg a b) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup

data Sing (c :: Arg a b) where

- SArg :: forall a b (c :: Arg a b) (n :: a) (n :: b). Sing n -> Sing n -> Sing (Arg n n)

newtype Sing (f :: k1 ~> k2) Source # |

Instance details

Defined in Data.Singletons.Internal

newtype Sing (f :: k1 ~> k2) = SLambda {

- applySing :: forall (t :: k1). Sing t -> Sing (f @@ t)

}

data Sing (d :: (a, b, c)) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (d :: (a, b, c)) where

- STuple3 :: forall a b c (d :: (a, b, c)) (n :: a) (n :: b) (n :: c). Sing n -> Sing n -> Sing n -> Sing ((,,) n n n)

data Sing (c :: Const a b) Source # |

Instance details

Defined in Data.Singletons.Prelude.Const

data Sing (c :: Const a b) where

- SConst :: forall k a (b :: k) (c :: Const a b) (a :: a). {..} -> Sing (Const a :: Const a b)

data Sing (e :: (a, b, c, d)) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

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

- STuple4 :: forall a b c d (e :: (a, b, c, d)) (n :: a) (n :: b) (n :: c) (n :: d). Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,) n n n n)

data Sing (f :: (a, b, c, d, e)) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

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

- STuple5 :: forall a b c d e (f :: (a, b, c, d, e)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,) n n n n n)

data Sing (g :: (a, b, c, d, e, f)) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

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

- STuple6 :: forall a b c d e f (g :: (a, b, c, d, e, f)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,,) n n n n n n)

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

Instance details

Defined in Data.Singletons.Prelude.Instances

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

- STuple7 :: forall a b c d e f g (h :: (a, b, c, d, e, f, g)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f) (n :: g). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,,,) n n n n n n n)

type family GetMin (a :: Min a) :: a where ... Source #

Equations

GetMin (Min field) = field |

type family GetMax (a :: Max a) :: a where ... Source #

Equations

GetMax (Max field) = field |

type family GetFirst (a :: First a) :: a where ... Source #

Equations

GetFirst (First field) = field |

type family GetLast (a :: Last a) :: a where ... Source #

Equations

GetLast (Last field) = field |

type family GetDual (a :: Dual a) :: a where ... Source #

Equations

GetDual (Dual field) = field |

type family GetAll (a :: All) :: Bool where ... Source #

Equations

GetAll (All field) = field |

type family GetAny (a :: Any) :: Bool where ... Source #

Equations

GetAny (Any field) = field |

type family GetSum (a :: Sum a) :: a where ... Source #

Equations

GetSum (Sum field) = field |

type family GetProduct (a :: Product a) :: a where ... Source #

Equations

GetProduct (Product field) = field |

type family GetOption (a :: Option a) :: Maybe a where ... Source #

Equations

GetOption (Option field) = field |

type SMin = (Sing :: Min a -> Type) Source #

type SMax = (Sing :: Max a -> Type) Source #

type SFirst = (Sing :: First a -> Type) Source #

type SLast = (Sing :: Last a -> Type) Source #

type SWrappedMonoid = (Sing :: WrappedMonoid m -> Type) Source #

type SDual = (Sing :: Dual a -> Type) Source #

type SAll = (Sing :: All -> Type) Source #

type SAny = (Sing :: Any -> Type) Source #

type SSum = (Sing :: Sum a -> Type) Source #

type SProduct = (Sing :: Product a -> Type) Source #

type SOption = (Sing :: Option a -> Type) Source #

type SArg = (Sing :: Arg a b -> Type) Source #

option_ :: b -> (a -> b) -> Option a -> b 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 #

type family Option_ (a :: b) (a :: (~>) a b) (a :: Option a) :: b where ... Source #

Equations

Option_ n j (Option m) = Apply (Apply (Apply Maybe_Sym0 n) j) m |

## Defunctionalization symbols

data (<>@#@$) :: forall a6989586621679810436. (~>) a6989586621679810436 ((~>) a6989586621679810436 a6989586621679810436) infixr 6 Source #

Instances

SSemigroup a => SingI ((<>@#@$) :: TyFun a (a ~> a) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing (<>@#@$) Source #
SuppressUnusedWarnings ((<>@#@$) :: TyFun a6989586621679810436 (a6989586621679810436 ~> a6989586621679810436) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply ((<>@#@$) :: TyFun a6989586621679810436 (a6989586621679810436 ~> a6989586621679810436) -> Type) (arg6989586621679810921 :: a6989586621679810436) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply ((<>@#@$) :: TyFun a6989586621679810436 (a6989586621679810436 ~> a6989586621679810436) -> Type) (arg6989586621679810921 :: a6989586621679810436) = (<>@#@$$) arg6989586621679810921

data (<>@#@$$) (arg6989586621679810921 :: a6989586621679810436) :: (~>) a6989586621679810436 a6989586621679810436 infixr 6 Source #

Instances

(SSemigroup a, SingI d) => SingI ((<>@#@$$) d :: TyFun a a -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing ((<>@#@$$) d) Source #
SuppressUnusedWarnings ((<>@#@$$) arg6989586621679810921 :: TyFun a6989586621679810436 a6989586621679810436 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply ((<>@#@$$) arg6989586621679810921 :: TyFun a a -> Type) (arg6989586621679810922 :: a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply ((<>@#@$$) arg6989586621679810921 :: TyFun a a -> Type) (arg6989586621679810922 :: a) = arg6989586621679810921 <> arg6989586621679810922

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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing SconcatSym0 Source #
SuppressUnusedWarnings (SconcatSym0 :: TyFun (NonEmpty a6989586621679810436) a6989586621679810436 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (SconcatSym0 :: TyFun (NonEmpty a) a -> Type) (arg6989586621679810925 :: NonEmpty a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (SconcatSym0 :: TyFun (NonEmpty a) a -> Type) (arg6989586621679810925 :: NonEmpty a) = Sconcat arg6989586621679810925

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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing MinSym0 Source #
SuppressUnusedWarnings (MinSym0 :: TyFun a6989586621679061826 (Min a6989586621679061826) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (MinSym0 :: TyFun a (Min a) -> Type) (t6989586621679820224 :: a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (MinSym0 :: TyFun a (Min a) -> Type) (t6989586621679820224 :: a) = Min t6989586621679820224

type MinSym1 (t6989586621679820224 :: a6989586621679061826) = Min t6989586621679820224 Source #

data GetMinSym0 :: forall a6989586621679061826. (~>) (Min a6989586621679061826) a6989586621679061826 Source #

Instances

SuppressUnusedWarnings (GetMinSym0 :: TyFun (Min a6989586621679061826) a6989586621679061826 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (GetMinSym0 :: TyFun (Min a) a -> Type) (a6989586621679820221 :: Min a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (GetMinSym0 :: TyFun (Min a) a -> Type) (a6989586621679820221 :: Min a) = GetMin a6989586621679820221

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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing MaxSym0 Source #
SuppressUnusedWarnings (MaxSym0 :: TyFun a6989586621679061832 (Max a6989586621679061832) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (MaxSym0 :: TyFun a (Max a) -> Type) (t6989586621679820241 :: a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (MaxSym0 :: TyFun a (Max a) -> Type) (t6989586621679820241 :: a) = Max t6989586621679820241

type MaxSym1 (t6989586621679820241 :: a6989586621679061832) = Max t6989586621679820241 Source #

data GetMaxSym0 :: forall a6989586621679061832. (~>) (Max a6989586621679061832) a6989586621679061832 Source #

Instances

SuppressUnusedWarnings (GetMaxSym0 :: TyFun (Max a6989586621679061832) a6989586621679061832 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (GetMaxSym0 :: TyFun (Max a) a -> Type) (a6989586621679820238 :: Max a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (GetMaxSym0 :: TyFun (Max a) a -> Type) (a6989586621679820238 :: Max a) = GetMax a6989586621679820238

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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing FirstSym0 Source #
SuppressUnusedWarnings (FirstSym0 :: TyFun a6989586621679061846 (First a6989586621679061846) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (FirstSym0 :: TyFun a (First a) -> Type) (t6989586621679820258 :: a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (FirstSym0 :: TyFun a (First a) -> Type) (t6989586621679820258 :: a) = First t6989586621679820258

type FirstSym1 (t6989586621679820258 :: a6989586621679061846) = First t6989586621679820258 Source #

data GetFirstSym0 :: forall a6989586621679061846. (~>) (First a6989586621679061846) a6989586621679061846 Source #

Instances

SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679061846) a6989586621679061846 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (GetFirstSym0 :: TyFun (First a) a -> Type) (a6989586621679820255 :: First a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (GetFirstSym0 :: TyFun (First a) a -> Type) (a6989586621679820255 :: First a) = GetFirst a6989586621679820255

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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing LastSym0 Source #
SuppressUnusedWarnings (LastSym0 :: TyFun a6989586621679061852 (Last a6989586621679061852) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (LastSym0 :: TyFun a (Last a) -> Type) (t6989586621679820275 :: a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (LastSym0 :: TyFun a (Last a) -> Type) (t6989586621679820275 :: a) = Last t6989586621679820275

type LastSym1 (t6989586621679820275 :: a6989586621679061852) = Last t6989586621679820275 Source #

data GetLastSym0 :: forall a6989586621679061852. (~>) (Last a6989586621679061852) a6989586621679061852 Source #

Instances

SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679061852) a6989586621679061852 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (GetLastSym0 :: TyFun (Last a) a -> Type) (a6989586621679820272 :: Last a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (GetLastSym0 :: TyFun (Last a) a -> Type) (a6989586621679820272 :: Last a) = GetLast a6989586621679820272

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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing WrapMonoidSym0 Source #
SuppressUnusedWarnings (WrapMonoidSym0 :: TyFun m6989586621679061858 (WrappedMonoid m6989586621679061858) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (WrapMonoidSym0 :: TyFun m (WrappedMonoid m) -> Type) (t6989586621679820292 :: m) Source # |
Instance details 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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (UnwrapMonoidSym0 :: TyFun (WrappedMonoid m) m -> Type) (a6989586621679820289 :: WrappedMonoid m) Source # |
Instance details 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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing DualSym0 Source #
SuppressUnusedWarnings (DualSym0 :: TyFun a6989586621679085203 (Dual a6989586621679085203) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (DualSym0 :: TyFun a (Dual a) -> Type) (t6989586621679820145 :: a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (DualSym0 :: TyFun a (Dual a) -> Type) (t6989586621679820145 :: a) = Dual t6989586621679820145

type DualSym1 (t6989586621679820145 :: a6989586621679085203) = Dual t6989586621679820145 Source #

data GetDualSym0 :: forall a6989586621679085203. (~>) (Dual a6989586621679085203) a6989586621679085203 Source #

Instances

SuppressUnusedWarnings (GetDualSym0 :: TyFun (Dual a6989586621679085203) a6989586621679085203 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (GetDualSym0 :: TyFun (Dual a) a -> Type) (a6989586621679820142 :: Dual a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (GetDualSym0 :: TyFun (Dual a) a -> Type) (a6989586621679820142 :: Dual a) = GetDual a6989586621679820142

type GetDualSym1 (a6989586621679820142 :: Dual a6989586621679085203) = GetDual a6989586621679820142 Source #

data AllSym0 :: (~>) Bool All Source #

Instances

SingI AllSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing AllSym0 Source #
SuppressUnusedWarnings AllSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply AllSym0 (t6989586621679820159 :: Bool) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply AllSym0 (t6989586621679820159 :: Bool) = All t6989586621679820159

type AllSym1 (t6989586621679820159 :: Bool) = All t6989586621679820159 Source #

data GetAllSym0 :: (~>) All Bool Source #

Instances

SuppressUnusedWarnings GetAllSym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply GetAllSym0 (a6989586621679820156 :: All) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply GetAllSym0 (a6989586621679820156 :: All) = GetAll a6989586621679820156

type GetAllSym1 (a6989586621679820156 :: All) = GetAll a6989586621679820156 Source #

data AnySym0 :: (~>) Bool Any Source #

Instances

SingI AnySym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing AnySym0 Source #
SuppressUnusedWarnings AnySym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply AnySym0 (t6989586621679820173 :: Bool) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply AnySym0 (t6989586621679820173 :: Bool) = Any t6989586621679820173

type AnySym1 (t6989586621679820173 :: Bool) = Any t6989586621679820173 Source #

data GetAnySym0 :: (~>) Any Bool Source #

Instances

SuppressUnusedWarnings GetAnySym0 Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply GetAnySym0 (a6989586621679820170 :: Any) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply GetAnySym0 (a6989586621679820170 :: Any) = GetAny a6989586621679820170

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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing SumSym0 Source #
SuppressUnusedWarnings (SumSym0 :: TyFun a6989586621679085188 (Sum a6989586621679085188) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (SumSym0 :: TyFun a (Sum a) -> Type) (t6989586621679820190 :: a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (SumSym0 :: TyFun a (Sum a) -> Type) (t6989586621679820190 :: a) = Sum t6989586621679820190

type SumSym1 (t6989586621679820190 :: a6989586621679085188) = Sum t6989586621679820190 Source #

data GetSumSym0 :: forall a6989586621679085188. (~>) (Sum a6989586621679085188) a6989586621679085188 Source #

Instances

SuppressUnusedWarnings (GetSumSym0 :: TyFun (Sum a6989586621679085188) a6989586621679085188 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (GetSumSym0 :: TyFun (Sum a) a -> Type) (a6989586621679820187 :: Sum a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (GetSumSym0 :: TyFun (Sum a) a -> Type) (a6989586621679820187 :: Sum a) = GetSum a6989586621679820187

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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing ProductSym0 Source #
SuppressUnusedWarnings (ProductSym0 :: TyFun a6989586621679085193 (Product a6989586621679085193) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (ProductSym0 :: TyFun a (Product a) -> Type) (t6989586621679820207 :: a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (ProductSym0 :: TyFun a (Product a) -> Type) (t6989586621679820207 :: a) = Product t6989586621679820207

type ProductSym1 (t6989586621679820207 :: a6989586621679085193) = Product t6989586621679820207 Source #

data GetProductSym0 :: forall a6989586621679085193. (~>) (Product a6989586621679085193) a6989586621679085193 Source #

Instances

SuppressUnusedWarnings (GetProductSym0 :: TyFun (Product a6989586621679085193) a6989586621679085193 -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (GetProductSym0 :: TyFun (Product a) a -> Type) (a6989586621679820204 :: Product a) Source # |
Instance details 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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing OptionSym0 Source #
SuppressUnusedWarnings (OptionSym0 :: TyFun (Maybe a6989586621679061864) (Option a6989586621679061864) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) (t6989586621679820128 :: Maybe a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) (t6989586621679820128 :: Maybe a) = Option t6989586621679820128

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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (GetOptionSym0 :: TyFun (Option a) (Maybe a) -> Type) (a6989586621679820125 :: Option a) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (GetOptionSym0 :: TyFun (Option a) (Maybe a) -> Type) (a6989586621679820125 :: Option a) = GetOption a6989586621679820125

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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sing :: Sing ArgSym0 Source #
SuppressUnusedWarnings (ArgSym0 :: TyFun a6989586621679061839 (b6989586621679061840 ~> Arg a6989586621679061839 b6989586621679061840) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () Source #
type Apply (ArgSym0 :: TyFun a6989586621679061839 (b6989586621679061840 ~> Arg a6989586621679061839 b6989586621679061840) -> Type) (t6989586621680860190 :: a6989586621679061839) Source # |
Instance details 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 # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sing :: Sing (ArgSym1 d b) Source #
SuppressUnusedWarnings (ArgSym1 t6989586621680860190 b6989586621679061840 :: TyFun b6989586621679061840 (Arg a6989586621679061839 b6989586621679061840) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods suppressUnusedWarnings :: () Source #
type Apply (ArgSym1 t6989586621680860190 b :: TyFun b (Arg a b) -> Type) (t6989586621680860191 :: b) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup type Apply (ArgSym1 t6989586621680860190 b :: TyFun b (Arg a b) -> Type) (t6989586621680860191 :: b) = Arg t6989586621680860190 t6989586621680860191

type ArgSym2 (t6989586621680860190 :: a6989586621679061839) (t6989586621680860191 :: b6989586621679061840) = Arg t6989586621680860190 t6989586621680860191 Source #

# Orphan instances

SMonadPlus Option Source # |
Instance details Methods sMzero :: Sing MzeroSym0 Source # sMplus :: Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t) Source #
SAlternative Option Source # |
Instance details Methods sEmpty :: Sing EmptySym0 Source # (%<|>) :: Sing t -> Sing t -> Sing (Apply (Apply (<|>@#@$) t) t) Source #
SMonad Min Source # |
Instance details Methods (%>>=) :: Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: Sing t -> Sing (Apply ReturnSym0 t) Source # sFail :: Sing t -> Sing (Apply FailSym0 t) Source #
SMonad Max Source # |
Instance details Methods (%>>=) :: Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: Sing t -> Sing (Apply ReturnSym0 t) Source # sFail :: Sing t -> Sing (Apply FailSym0 t) Source #
SMonad First Source # |
Instance details Methods (%>>=) :: Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: Sing t -> Sing (Apply ReturnSym0 t) Source # sFail :: Sing t -> Sing (Apply FailSym0 t) Source #
SMonad Last Source # |
Instance details Methods (%>>=) :: Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: Sing t -> Sing (Apply ReturnSym0 t) Source # sFail :: Sing t -> Sing (Apply FailSym0 t) Source #
SMonad Option Source # |
Instance details Methods (%>>=) :: Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: Sing t -> Sing (Apply ReturnSym0 t) Source # sFail :: Sing t -> Sing (Apply FailSym0 t) Source #
SApplicative Min Source # |
Instance details Methods sPure :: Sing t -> Sing (Apply PureSym0 t) Source # (%<*>) :: Sing t -> Sing t -> Sing (Apply (Apply (<*>@#@$) t) t) Source # sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source # (%*>) :: Sing t -> Sing t -> Sing (Apply (Apply (*>@#@$) t) t) Source # (%<*) :: Sing t -> Sing t -> Sing (Apply (Apply (<*@#@$) t) t) Source #
SApplicative Max Source # |
Instance details Methods sPure :: Sing t -> Sing (Apply PureSym0 t) Source # (%<*>) :: Sing t -> Sing t -> Sing (Apply (Apply (<*>@#@$) t) t) Source # sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source # (%*>) :: Sing t -> Sing t -> Sing (Apply (Apply (*>@#@$) t) t) Source # (%<*) :: Sing t -> Sing t -> Sing (Apply (Apply (<*@#@$) t) t) Source #
SApplicative First Source # |
Instance details Methods sPure :: Sing t -> Sing (Apply PureSym0 t) Source # (%<*>) :: Sing t -> Sing t -> Sing (Apply (Apply (<*>@#@$) t) t) Source # sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source # (%*>) :: Sing t -> Sing t -> Sing (Apply (Apply (*>@#@$) t) t) Source # (%<*) :: Sing t -> Sing t -> Sing (Apply (Apply (<*@#@$) t) t) Source #
SApplicative Last Source # |
Instance details Methods sPure :: Sing t -> Sing (Apply PureSym0 t) Source # (%<*>) :: Sing t -> Sing t -> Sing (Apply (Apply (<*>@#@$) t) t) Source # sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source # (%*>) :: Sing t -> Sing t -> Sing (Apply (Apply (*>@#@$) t) t) Source # (%<*) :: Sing t -> Sing t -> Sing (Apply (Apply (<*@#@$) t) t) Source #
SApplicative Option Source # |
Instance details Methods sPure :: Sing t -> Sing (Apply PureSym0 t) Source # (%<*>) :: Sing t -> Sing t -> Sing (Apply (Apply (<*>@#@$) t) t) Source # sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source # (%*>) :: Sing t -> Sing t -> Sing (Apply (Apply (*>@#@$) t) t) Source # (%<*) :: Sing t -> Sing t -> Sing (Apply (Apply (<*@#@$) t) t) Source #
SFunctor Min Source # |
Instance details Methods sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Max Source # |
Instance details Methods sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor First Source # |
Instance details Methods sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Last Source # |
Instance details Methods sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Option Source # |
Instance details Methods sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
PMonadPlus Option Source # |
Instance details Associated Types type Mzero :: m a Source # type Mplus arg arg :: m a Source #
PAlternative Option Source # |
Instance details Associated Types type Empty :: f a Source # type arg <|> arg :: f a Source #
PMonad Min Source # |
Instance details Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source # type Fail arg :: m a Source #
PMonad Max Source # |
Instance details Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source # type Fail arg :: m a Source #
PMonad First Source # |
Instance details Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source # type Fail arg :: m a Source #
PMonad Last Source # |
Instance details Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source # type Fail arg :: m a Source #
PMonad Option Source # |
Instance details Associated Types type arg >>= arg :: m b Source # type arg >> arg :: m b Source # type Return arg :: m a Source # type Fail arg :: m a Source #
PApplicative Min Source # |
Instance details Associated Types type Pure arg :: f a Source # type arg <*> arg :: f b Source # type LiftA2 arg arg arg :: f c Source # type arg *> arg :: f b Source # type arg <* arg :: f a Source #
PApplicative Max Source # |
Instance details Associated Types type Pure arg :: f a Source # type arg <*> arg :: f b Source # type LiftA2 arg arg arg :: f c Source # type arg *> arg :: f b Source # type arg <* arg :: f a Source #
PApplicative First Source # |
Instance details Associated Types type Pure arg :: f a Source # type arg <*> arg :: f b Source # type LiftA2 arg arg arg :: f c Source # type arg *> arg :: f b Source # type arg <* arg :: f a Source #
PApplicative Last Source # |
Instance details Associated Types type Pure arg :: f a Source # type arg <*> arg :: f b Source # type LiftA2 arg arg arg :: f c Source # type arg *> arg :: f b Source # type arg <* arg :: f a Source #
PApplicative Option Source # |
Instance details Associated Types type Pure arg :: f a Source # type arg <*> arg :: f b Source # type LiftA2 arg arg arg :: f c Source # type arg *> arg :: f b Source # type arg <* arg :: f a Source #
PFunctor Min Source # |
Instance details Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Max Source # |
Instance details Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor First Source # |
Instance details Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Last Source # |
Instance details Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Option Source # |
Instance details Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
SShow Bool => SShow All Source # |
Instance details Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow Bool => SShow Any Source # |
Instance details Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
PShow All Source # |
Instance details Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow Any Source # |
Instance details Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
SFoldable Min Source # |

Instance details

Methods

sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) Source #

sFoldMap :: SMonoid m => 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 #

SFoldable Max Source # |

Instance details

Methods

sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) Source #

sFoldMap :: SMonoid m => 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 #

SFoldable First Source # |

Instance details

Methods

sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) Source #

sFoldMap :: SMonoid m => 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 #

SFoldable Last Source # |

Instance details

Methods

sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) Source #

sFoldMap :: SMonoid m => 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 #

SFoldable Option Source # |

Instance details

Methods

sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) Source #

sFoldMap :: SMonoid m => 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 Min Source # |

Instance details

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable Max Source # |

Instance details

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable First Source # |

Instance details

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable Last Source # |

Instance details

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable Option Source # |

Instance details

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

STraversable Min Source # |
Instance details Methods 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 m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) Source # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) Source #
STraversable Max Source # |
Instance details Methods 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 m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) Source # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) Source #
STraversable First Source # |
Instance details Methods 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 m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) Source # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) Source #
STraversable Last Source # |
Instance details Methods 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 m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) Source # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) Source #
STraversable Option Source # |
Instance details Methods 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 m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) Source # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) Source #
PTraversable Min Source # |
Instance details Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable Max Source # |
Instance details Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable First Source # |
Instance details Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable Last Source # |
Instance details Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
PTraversable Option Source # |
Instance details Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
SNum a => SNum (Min a) Source # |

Instance details

Methods

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

SNum a => SNum (Max a) Source # |

Instance details

Methods

(%+) :: 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 (Min a) Source # |
Instance details Associated Types type arg + arg :: a Source # type arg - arg :: a Source # type arg * arg :: a Source # type Negate arg :: a Source # type Abs arg :: a Source # type Signum arg :: a Source # type FromInteger arg :: a Source #
PNum (Max a) Source # |
Instance details Associated Types type arg + arg :: a Source # type arg - arg :: a Source # type arg * arg :: a Source # type Negate arg :: a Source # type Abs arg :: a Source # type Signum arg :: a Source # type FromInteger arg :: a Source #
SFunctor (Arg a) Source # |
Instance details Methods sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
PFunctor (Arg a) Source # |
Instance details Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
SEnum a => SEnum (Min a) Source # |

Instance details

Methods

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 #

SEnum a => SEnum (Max a) Source # |

Instance details

Methods

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 #

SEnum a => SEnum (First a) Source # |

Instance details

Methods

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 #

SEnum a => SEnum (Last a) Source # |

Instance details

Methods

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 #

SEnum a => SEnum (WrappedMonoid a) Source # |

Instance details

Methods

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 (Min a) Source # |
Instance details Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Nat Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum (Max a) Source # |
Instance details Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Nat Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum (First a) Source # |
Instance details Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Nat Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum (Last a) Source # |
Instance details Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Nat Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum (WrappedMonoid a) Source # |
Instance details Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Nat Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
SOrd a => SSemigroup (Min a) Source # |
Instance details Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SOrd a => SSemigroup (Max a) Source # |
Instance details Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup (First a) Source # |
Instance details Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup (Last a) Source # |
Instance details Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SMonoid m => SSemigroup (WrappedMonoid m) Source # |
Instance details Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup a => SSemigroup (Option a) Source # |
Instance details Methods (%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: Sing t -> Sing (Apply SconcatSym0 t) Source #
PSemigroup (Min a) Source # |
Instance details Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Max a) Source # |
Instance details Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (First a) Source # |
Instance details Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Last a) Source # |
Instance details Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (WrappedMonoid m) Source # |
Instance details Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
PSemigroup (Option a) Source # |
Instance details Associated Types type arg <> arg :: a Source # type Sconcat arg :: a Source #
SShow a => SShow (Min a) Source # |
Instance details Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Max a) Source # |
Instance details Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (First a) Source # |
Instance details Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Last a) Source # |
Instance details Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow m => SShow (WrappedMonoid m) Source # |
Instance details Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow (Maybe a) => SShow (Option a) Source # |
Instance details Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Dual a) Source # |
Instance details Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Sum a) Source # |
Instance details Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow a => SShow (Product a) Source # |
Instance details Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
PShow (Min a) Source # |
Instance details Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Max a) Source # |
Instance details Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (First a) Source # |
Instance details Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Last a) Source # |
Instance details Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (WrappedMonoid m) Source # |
Instance details Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Option a) Source # |
Instance details Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Dual a) Source # |
Instance details Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Sum a) Source # |
Instance details Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
PShow (Product a) Source # |
Instance details Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
(SOrd a, SBounded a) => SMonoid (Min a) Source # |
Instance details Methods sMempty :: Sing MemptySym0 Source # sMappend :: Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: Sing t -> Sing (Apply MconcatSym0 t) Source #
(SOrd a, SBounded a) => SMonoid (Max a) Source # |
Instance details Methods sMempty :: Sing MemptySym0 Source # sMappend :: Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid m => SMonoid (WrappedMonoid m) Source # |
Instance details Methods sMempty :: Sing MemptySym0 Source # sMappend :: Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: Sing t -> Sing (Apply MconcatSym0 t) Source #
SSemigroup a => SMonoid (Option a) Source # |
Instance details Methods sMempty :: Sing MemptySym0 Source # sMappend :: Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: Sing t -> Sing (Apply MconcatSym0 t) Source #
PMonoid (Min a) Source # |
Instance details Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Max a) Source # |
Instance details Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (WrappedMonoid m) Source # |
Instance details Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Option a) Source # |
Instance details Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
SFoldable (Arg a) Source # |

Instance details

Methods

sFold :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t) Source #

sFoldMap :: SMonoid m => 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 a0 => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t) Source #

sMaximum :: SOrd a0 => Sing t -> Sing (Apply MaximumSym0 t) Source #

sMinimum :: SOrd a0 => Sing t -> Sing (Apply MinimumSym0 t) Source #

sSum :: SNum a0 => Sing t -> Sing (Apply SumSym0 t) Source #

sProduct :: SNum a0 => Sing t -> Sing (Apply ProductSym0 t) Source #

PFoldable (Arg a) Source # |

Instance details

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

STraversable (Arg a) Source # |
Instance details Methods 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 m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t) Source # sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t) Source #
PTraversable (Arg a) Source # |
Instance details Associated Types type Traverse arg arg :: f (t b) Source # type SequenceA arg :: f (t a) Source # type MapM arg arg :: m (t b) Source # type Sequence arg :: m (t a) Source #
ShowSing a => Show (Sing z) Source # |
Instance details Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b) => Show (Sing z) Source # |
Instance details Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing m => Show (Sing z) Source # |
Instance details Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing (Maybe a) => Show (Sing z) Source # |
Instance details Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing Bool => Show (Sing z) Source # |
Instance details Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing Bool => Show (Sing z) Source # |
Instance details Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(SingKind a, SingKind b) => SingKind (Arg a b) Source # |
Instance details Associated Types type Demote (Arg a b) = (r :: Type) Source # Methods fromSing :: Sing a0 -> Demote (Arg a b) Source # toSing :: Demote (Arg a b) -> SomeSing (Arg a b) Source #
PEq (Arg a b) Source # |
Instance details Associated Types type x == y :: Bool Source # type x /= y :: Bool Source #
SEq a => SEq (Arg a b) Source # |
Instance details Methods (%==) :: Sing a0 -> Sing b0 -> Sing (a0 == b0) Source # (%/=) :: Sing a0 -> Sing b0 -> Sing (a0 /= b0) Source #
SOrd a => SOrd (Arg a b) Source # |

Instance details

Methods

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

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

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

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

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

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

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

POrd (Arg a b) Source # |
Instance details Associated Types type Compare arg arg :: Ordering Source # type arg < arg :: Bool Source # type arg <= arg :: Bool Source # type arg > arg :: Bool Source # type arg >= arg :: Bool Source # type Max arg arg :: a Source # type Min arg arg :: a Source #
(SShow a, SShow b) => SShow (Arg a b) Source # |
Instance details Methods sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
PShow (Arg a b) Source # |
Instance details Associated Types type ShowsPrec arg arg arg :: Symbol Source # type Show_ arg :: Symbol Source # type ShowList arg arg :: Symbol Source #
SingI d => SingI (TyCon1 (Arg d :: b -> Arg a b) :: b ~> Arg a b) Source # |
Instance details Methods sing :: Sing (TyCon1 (Arg0 d)) Source #
(SingI n1, SingI n2) => SingI (Arg n1 n2 :: Arg a b) Source # |
Instance details Methods sing :: Sing (Arg0 n1 n2) Source #
SingI (TyCon2 (Arg :: a -> b -> Arg a b) :: a ~> (b ~> Arg a b)) Source # |
Instance details Methods sing :: Sing (TyCon2 Arg0) Source #