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.Monoid

Contents

Defunctionalization symbols
Orphan instances

Description

Defines the promoted version of Monoid, PMonoid, and the singleton version, SMonoid.

Synopsis

class PMonoid (a :: Type) where
- type Mempty :: a
- type Mappend (arg :: a) (arg :: a) :: a
- type Mconcat (arg :: [a]) :: a
class SSemigroup a => SMonoid a where
- sMempty :: Sing (MemptySym0 :: a)
- sMappend :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t :: a)
- sMconcat :: forall (t :: [a]). Sing t -> Sing (Apply MconcatSym0 t :: a)
type family Sing :: k -> Type
data SDual :: forall a. Dual a -> Type where
- SDual :: forall a (n :: a). {..} -> SDual ('Dual n)
data SAll :: All -> Type where
- SAll :: forall (n :: Bool). {..} -> SAll ('All n)
data SAny :: Any -> Type where
- SAny :: forall (n :: Bool). {..} -> SAny ('Any n)
data SSum :: forall a. Sum a -> Type where
- SSum :: forall a (n :: a). {..} -> SSum ('Sum n)
data SProduct :: forall a. Product a -> Type where
- SProduct :: forall a (n :: a). {..} -> SProduct ('Product n)
data SFirst :: forall a. First a -> Type where
- SFirst :: forall a (n :: Maybe a). {..} -> SFirst ('First n)
data SLast :: forall a. Last a -> Type where
- SLast :: forall a (n :: Maybe a). {..} -> SLast ('Last n)
type family GetDual (a :: Dual (a :: Type)) :: a where ...
type family GetAll (a :: All) :: Bool where ...
type family GetAny (a :: Any) :: Bool where ...
type family GetSum (a :: Sum (a :: Type)) :: a where ...
type family GetProduct (a :: Product (a :: Type)) :: a where ...
type family GetFirst (a :: First (a :: Type)) :: Maybe a where ...
type family GetLast (a :: Last (a :: Type)) :: Maybe a where ...
type MemptySym0 = Mempty
data MappendSym0 :: forall a6989586621680364721. (~>) a6989586621680364721 ((~>) a6989586621680364721 a6989586621680364721)
data MappendSym1 (arg6989586621680364860 :: a6989586621680364721) :: (~>) a6989586621680364721 a6989586621680364721
type MappendSym2 (arg6989586621680364860 :: a6989586621680364721) (arg6989586621680364861 :: a6989586621680364721) = Mappend arg6989586621680364860 arg6989586621680364861
data MconcatSym0 :: forall a6989586621680364721. (~>) [a6989586621680364721] a6989586621680364721
type MconcatSym1 (arg6989586621680364864 :: [a6989586621680364721]) = Mconcat arg6989586621680364864
data DualSym0 :: forall (a6989586621679091700 :: Type). (~>) a6989586621679091700 (Dual (a6989586621679091700 :: Type))
type DualSym1 (t6989586621679850147 :: a6989586621679091700) = 'Dual t6989586621679850147
data GetDualSym0 :: forall (a6989586621679091700 :: Type). (~>) (Dual (a6989586621679091700 :: Type)) a6989586621679091700
type GetDualSym1 (a6989586621679850144 :: Dual (a6989586621679091700 :: Type)) = GetDual a6989586621679850144
data AllSym0 :: (~>) Bool All
type AllSym1 (t6989586621679850161 :: Bool) = 'All t6989586621679850161
data GetAllSym0 :: (~>) All Bool
type GetAllSym1 (a6989586621679850158 :: All) = GetAll a6989586621679850158
data AnySym0 :: (~>) Bool Any
type AnySym1 (t6989586621679850175 :: Bool) = 'Any t6989586621679850175
data GetAnySym0 :: (~>) Any Bool
type GetAnySym1 (a6989586621679850172 :: Any) = GetAny a6989586621679850172
data SumSym0 :: forall (a6989586621679091685 :: Type). (~>) a6989586621679091685 (Sum (a6989586621679091685 :: Type))
type SumSym1 (t6989586621679850194 :: a6989586621679091685) = 'Sum t6989586621679850194
data GetSumSym0 :: forall (a6989586621679091685 :: Type). (~>) (Sum (a6989586621679091685 :: Type)) a6989586621679091685
type GetSumSym1 (a6989586621679850191 :: Sum (a6989586621679091685 :: Type)) = GetSum a6989586621679850191
data ProductSym0 :: forall (a6989586621679091690 :: Type). (~>) a6989586621679091690 (Product (a6989586621679091690 :: Type))
type ProductSym1 (t6989586621679850213 :: a6989586621679091690) = 'Product t6989586621679850213
data GetProductSym0 :: forall (a6989586621679091690 :: Type). (~>) (Product (a6989586621679091690 :: Type)) a6989586621679091690
type GetProductSym1 (a6989586621679850210 :: Product (a6989586621679091690 :: Type)) = GetProduct a6989586621679850210
data FirstSym0 :: forall (a6989586621679091750 :: Type). (~>) (Maybe a6989586621679091750) (First (a6989586621679091750 :: Type))
type FirstSym1 (t6989586621680368291 :: Maybe a6989586621679091750) = 'First t6989586621680368291
data GetFirstSym0 :: forall (a6989586621679091750 :: Type). (~>) (First (a6989586621679091750 :: Type)) (Maybe a6989586621679091750)
type GetFirstSym1 (a6989586621680368288 :: First (a6989586621679091750 :: Type)) = GetFirst a6989586621680368288
data LastSym0 :: forall (a6989586621679091745 :: Type). (~>) (Maybe a6989586621679091745) (Last (a6989586621679091745 :: Type))
type LastSym1 (t6989586621680368314 :: Maybe a6989586621679091745) = 'Last t6989586621680368314
data GetLastSym0 :: forall (a6989586621679091745 :: Type). (~>) (Last (a6989586621679091745 :: Type)) (Maybe a6989586621679091745)
type GetLastSym1 (a6989586621680368311 :: Last (a6989586621679091745 :: Type)) = GetLast a6989586621680368311

Documentation

class PMonoid (a :: Type) Source #

Associated Types

type Mempty :: a Source #

type Mappend (arg :: a) (arg :: a) :: a Source #

type Mappend a a = Apply (Apply Mappend_6989586621680364868Sym0 a) a Source #

type Mconcat (arg :: [a]) :: a Source #

type Mconcat a = Apply Mconcat_6989586621680364883Sym0 a Source #

Instances

Instances details

PMonoid Ordering Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid Symbol Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid () Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid All Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid Any Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid [a] Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Maybe a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Min a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Max a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (WrappedMonoid m) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Option a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Identity a) Source #
Instance details Defined in Data.Singletons.Prelude.Identity Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (First a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Last a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Dual a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Sum a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Product a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Down a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (a, b) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (a ~> b) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (a, b, c) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Const a b) Source #
Instance details Defined in Data.Singletons.Prelude.Const Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (a, b, c, d) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (a, b, c, d, e) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #

class SSemigroup a => SMonoid a where Source #

Minimal complete definition

sMempty

Methods

sMempty :: Sing (MemptySym0 :: a) Source #

sMappend :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t :: a) Source #

default sMappend :: forall (t :: a) (t :: a). (Apply (Apply MappendSym0 t) t :: a) ~ Apply (Apply Mappend_6989586621680364868Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t :: a) Source #

sMconcat :: forall (t :: [a]). Sing t -> Sing (Apply MconcatSym0 t :: a) Source #

default sMconcat :: forall (t :: [a]). (Apply MconcatSym0 t :: a) ~ Apply Mconcat_6989586621680364883Sym0 t => Sing t -> Sing (Apply MconcatSym0 t :: a) Source #

Instances

Instances details

SMonoid Ordering Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Ordering) (t :: Ordering). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Ordering]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid Symbol Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Symbol]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid () Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: ()) (t :: ()). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [()]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid All Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: All) (t :: All). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [All]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid Any Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Any) (t :: Any). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Any]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid [a] Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [[a]]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SSemigroup a => SMonoid (Maybe a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Maybe a) (t :: Maybe a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Maybe a]). Sing t -> Sing (Apply MconcatSym0 t) Source #
(SOrd a, SBounded a) => SMonoid (Min a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Min a) (t :: Min a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Min a]). Sing t -> Sing (Apply MconcatSym0 t) Source #
(SOrd a, SBounded a) => SMonoid (Max a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Max a) (t :: Max a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Max a]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid m => SMonoid (WrappedMonoid m) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: WrappedMonoid m) (t :: WrappedMonoid m). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [WrappedMonoid m]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SSemigroup a => SMonoid (Option a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Option a) (t :: Option a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Option a]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid a => SMonoid (Identity a) Source #
Instance details Defined in Data.Singletons.Prelude.Identity Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Identity a) (t :: Identity a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Identity a]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid (First a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [First a]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid (Last a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Last a]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid a => SMonoid (Dual a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Dual a) (t :: Dual a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Dual a]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SNum a => SMonoid (Sum a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Sum a) (t :: Sum a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Sum a]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SNum a => SMonoid (Product a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Product a) (t :: Product a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Product a]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid a => SMonoid (Down a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Down a) (t :: Down a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Down a]). Sing t -> Sing (Apply MconcatSym0 t) Source #
(SMonoid a, SMonoid b) => SMonoid (a, b) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: (a, b)) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [(a, b)]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid b => SMonoid (a ~> b) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: a ~> b) (t :: a ~> b). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [a ~> b]). Sing t -> Sing (Apply MconcatSym0 t) Source #
(SMonoid a, SMonoid b, SMonoid c) => SMonoid (a, b, c) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: (a, b, c)) (t :: (a, b, c)). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [(a, b, c)]). Sing t -> Sing (Apply MconcatSym0 t) Source #
SMonoid a => SMonoid (Const a b) Source #
Instance details Defined in Data.Singletons.Prelude.Const Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: Const a b) (t :: Const a b). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [Const a b]). Sing t -> Sing (Apply MconcatSym0 t) Source #
(SMonoid a, SMonoid b, SMonoid c, SMonoid d) => SMonoid (a, b, c, d) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: (a, b, c, d)) (t :: (a, b, c, d)). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [(a, b, c, d)]). Sing t -> Sing (Apply MconcatSym0 t) Source #
(SMonoid a, SMonoid b, SMonoid c, SMonoid d, SMonoid e) => SMonoid (a, b, c, d, e) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sMempty :: Sing MemptySym0 Source # sMappend :: forall (t :: (a, b, c, d, e)) (t :: (a, b, c, d, e)). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t) Source # sMconcat :: forall (t :: [(a, b, c, d, e)]). Sing t -> Sing (Apply MconcatSym0 t) Source #

type family Sing :: k -> Type Source #

The singleton kind-indexed type family.

Instances

Instances details

type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SBool
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SOrdering
type Sing Source #
Instance details Defined in Data.Singletons.TypeLits.Internal type Sing = SNat
type Sing Source #
Instance details Defined in Data.Singletons.TypeLits.Internal type Sing = SSymbol
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple0
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SVoid
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SAll
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SAny
type Sing Source #
Instance details Defined in Data.Singletons.TypeError type Sing = SErrorMessage
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SList :: [a] -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SMaybe :: Maybe a -> Type
type Sing 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` 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 type Sing = TypeRep :: TYPE rep -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SMin :: Min a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SMax :: Max a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SFirst :: First a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SLast :: Last a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SWrappedMonoid :: WrappedMonoid m -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SOption :: Option a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SIdentity :: Identity a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Sing = SFirst :: First a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Sing = SLast :: Last a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SDual :: Dual a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SSum :: Sum a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SProduct :: Product a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Sing = SDown :: Down a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SNonEmpty :: NonEmpty a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SEither :: Either a b -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple2 :: (a, b) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type Sing = SArg :: Arg a b -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Internal type Sing = SLambda :: (k1 ~> k2) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Internal type Sing = SWrappedSing :: WrappedSing a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Sigma type Sing = SSigma :: Sigma s t -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple3 :: (a, b, c) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Const type Sing = SConst :: Const a b -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple4 :: (a, b, c, d) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple5 :: (a, b, c, d, e) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple6 :: (a, b, c, d, e, f) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple7 :: (a, b, c, d, e, f, g) -> Type

data SDual :: forall a. Dual a -> Type where Source #

Constructors

SDual
Fields :: forall a (n :: a). { sGetDual :: (Sing (n :: a)) } -> SDual ('Dual n)

Instances

Instances details

SDecide a => TestCoercion (SDual :: Dual a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods testCoercion :: forall (a0 :: k) (b :: k). SDual a0 -> SDual b -> Maybe (Coercion a0 b) #
SDecide a => TestEquality (SDual :: Dual a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods testEquality :: forall (a0 :: k) (b :: k). SDual a0 -> SDual b -> Maybe (a0 :~: b) #
ShowSing a => Show (SDual z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> SDual z -> ShowS # show :: SDual z -> String # showList :: [SDual z] -> ShowS #

data SAll :: All -> Type where Source #

Constructors

SAll
Fields :: forall (n :: Bool). { sGetAll :: (Sing (n :: Bool)) } -> SAll ('All n)

Instances

Instances details

SDecide Bool => TestCoercion SAll Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods testCoercion :: forall (a :: k) (b :: k). SAll a -> SAll b -> Maybe (Coercion a b) #
SDecide Bool => TestEquality SAll Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods testEquality :: forall (a :: k) (b :: k). SAll a -> SAll b -> Maybe (a :~: b) #
ShowSing Bool => Show (SAll z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> SAll z -> ShowS # show :: SAll z -> String # showList :: [SAll z] -> ShowS #

data SAny :: Any -> Type where Source #

Constructors

SAny
Fields :: forall (n :: Bool). { sGetAny :: (Sing (n :: Bool)) } -> SAny ('Any n)

Instances

Instances details

SDecide Bool => TestCoercion SAny Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods testCoercion :: forall (a :: k) (b :: k). SAny a -> SAny b -> Maybe (Coercion a b) #
SDecide Bool => TestEquality SAny Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods testEquality :: forall (a :: k) (b :: k). SAny a -> SAny b -> Maybe (a :~: b) #
ShowSing Bool => Show (SAny z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> SAny z -> ShowS # show :: SAny z -> String # showList :: [SAny z] -> ShowS #

data SSum :: forall a. Sum a -> Type where Source #

Constructors

SSum
Fields :: forall a (n :: a). { sGetSum :: (Sing (n :: a)) } -> SSum ('Sum n)

Instances

Instances details

SDecide a => TestCoercion (SSum :: Sum a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods testCoercion :: forall (a0 :: k) (b :: k). SSum a0 -> SSum b -> Maybe (Coercion a0 b) #
SDecide a => TestEquality (SSum :: Sum a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods testEquality :: forall (a0 :: k) (b :: k). SSum a0 -> SSum b -> Maybe (a0 :~: b) #
ShowSing a => Show (SSum z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> SSum z -> ShowS # show :: SSum z -> String # showList :: [SSum z] -> ShowS #

data SProduct :: forall a. Product a -> Type where Source #

Constructors

SProduct
Fields :: forall a (n :: a). { sGetProduct :: (Sing (n :: a)) } -> SProduct ('Product n)

Instances

Instances details

SDecide a => TestCoercion (SProduct :: Product a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods testCoercion :: forall (a0 :: k) (b :: k). SProduct a0 -> SProduct b -> Maybe (Coercion a0 b) #
SDecide a => TestEquality (SProduct :: Product a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods testEquality :: forall (a0 :: k) (b :: k). SProduct a0 -> SProduct b -> Maybe (a0 :~: b) #
ShowSing a => Show (SProduct z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> SProduct z -> ShowS # show :: SProduct z -> String # showList :: [SProduct z] -> ShowS #

data SFirst :: forall a. First a -> Type where Source #

Constructors

SFirst
Fields :: forall a (n :: Maybe a). { sGetFirst :: (Sing (n :: Maybe a)) } -> SFirst ('First n)

Instances

Instances details

SDecide (Maybe a) => TestCoercion (SFirst :: First a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods testCoercion :: forall (a0 :: k) (b :: k). SFirst a0 -> SFirst b -> Maybe (Coercion a0 b) #
SDecide (Maybe a) => TestEquality (SFirst :: First a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods testEquality :: forall (a0 :: k) (b :: k). SFirst a0 -> SFirst b -> Maybe (a0 :~: b) #
ShowSing (Maybe a) => Show (SFirst z) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods showsPrec :: Int -> SFirst z -> ShowS # show :: SFirst z -> String # showList :: [SFirst z] -> ShowS #

data SLast :: forall a. Last a -> Type where Source #

Constructors

SLast
Fields :: forall a (n :: Maybe a). { sGetLast :: (Sing (n :: Maybe a)) } -> SLast ('Last n)

Instances

Instances details

SDecide (Maybe a) => TestCoercion (SLast :: Last a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods testCoercion :: forall (a0 :: k) (b :: k). SLast a0 -> SLast b -> Maybe (Coercion a0 b) #
SDecide (Maybe a) => TestEquality (SLast :: Last a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods testEquality :: forall (a0 :: k) (b :: k). SLast a0 -> SLast b -> Maybe (a0 :~: b) #
ShowSing (Maybe a) => Show (SLast z) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods showsPrec :: Int -> SLast z -> ShowS # show :: SLast z -> String # showList :: [SLast z] -> ShowS #

type family GetDual (a :: Dual (a :: Type)) :: 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 :: Type)) :: a where ... Source #

Equations

GetSum ('Sum field) = field

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

Equations

GetProduct ('Product field) = field

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

Equations

GetFirst ('First field) = field

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

Equations

GetLast ('Last field) = field

Defunctionalization symbols

type MemptySym0 = Mempty Source #

data MappendSym0 :: forall a6989586621680364721. (~>) a6989586621680364721 ((~>) a6989586621680364721 a6989586621680364721) Source #

Instances

Instances details

SMonoid a => SingI (MappendSym0 :: TyFun a (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sing :: Sing MappendSym0 Source #
SuppressUnusedWarnings (MappendSym0 :: TyFun a6989586621680364721 (a6989586621680364721 ~> a6989586621680364721) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
type Apply (MappendSym0 :: TyFun a6989586621680364721 (a6989586621680364721 ~> a6989586621680364721) -> Type) (arg6989586621680364860 :: a6989586621680364721) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (MappendSym0 :: TyFun a6989586621680364721 (a6989586621680364721 ~> a6989586621680364721) -> Type) (arg6989586621680364860 :: a6989586621680364721) = MappendSym1 arg6989586621680364860

data MappendSym1 (arg6989586621680364860 :: a6989586621680364721) :: (~>) a6989586621680364721 a6989586621680364721 Source #

Instances

Instances details

(SMonoid a, SingI d) => SingI (MappendSym1 d :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sing :: Sing (MappendSym1 d) Source #
SuppressUnusedWarnings (MappendSym1 arg6989586621680364860 :: TyFun a6989586621680364721 a6989586621680364721 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
type Apply (MappendSym1 arg6989586621680364860 :: TyFun a a -> Type) (arg6989586621680364861 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (MappendSym1 arg6989586621680364860 :: TyFun a a -> Type) (arg6989586621680364861 :: a) = Mappend arg6989586621680364860 arg6989586621680364861

type MappendSym2 (arg6989586621680364860 :: a6989586621680364721) (arg6989586621680364861 :: a6989586621680364721) = Mappend arg6989586621680364860 arg6989586621680364861 Source #

data MconcatSym0 :: forall a6989586621680364721. (~>) [a6989586621680364721] a6989586621680364721 Source #

Instances

Instances details

SMonoid a => SingI (MconcatSym0 :: TyFun [a] a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sing :: Sing MconcatSym0 Source #
SuppressUnusedWarnings (MconcatSym0 :: TyFun [a6989586621680364721] a6989586621680364721 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
type Apply (MconcatSym0 :: TyFun [a] a -> Type) (arg6989586621680364864 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (MconcatSym0 :: TyFun [a] a -> Type) (arg6989586621680364864 :: [a]) = Mconcat arg6989586621680364864

type MconcatSym1 (arg6989586621680364864 :: [a6989586621680364721]) = Mconcat arg6989586621680364864 Source #

data DualSym0 :: forall (a6989586621679091700 :: Type). (~>) a6989586621679091700 (Dual (a6989586621679091700 :: Type)) Source #

Instances

Instances details

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 a6989586621679091700 (Dual a6989586621679091700) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (DualSym0 :: TyFun a (Dual a) -> Type) (t6989586621679850147 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (DualSym0 :: TyFun a (Dual a) -> Type) (t6989586621679850147 :: a) = 'Dual t6989586621679850147

type DualSym1 (t6989586621679850147 :: a6989586621679091700) = 'Dual t6989586621679850147 Source #

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

Instances

Instances details

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

type GetDualSym1 (a6989586621679850144 :: Dual (a6989586621679091700 :: Type)) = GetDual a6989586621679850144 Source #

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

Instances

Instances details

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 (t6989586621679850161 :: Bool) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply AllSym0 (t6989586621679850161 :: Bool) = 'All t6989586621679850161

type AllSym1 (t6989586621679850161 :: Bool) = 'All t6989586621679850161 Source #

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

Instances

Instances details

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

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

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

Instances

Instances details

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 (t6989586621679850175 :: Bool) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply AnySym0 (t6989586621679850175 :: Bool) = 'Any t6989586621679850175

type AnySym1 (t6989586621679850175 :: Bool) = 'Any t6989586621679850175 Source #

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

Instances

Instances details

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

type GetAnySym1 (a6989586621679850172 :: Any) = GetAny a6989586621679850172 Source #

data SumSym0 :: forall (a6989586621679091685 :: Type). (~>) a6989586621679091685 (Sum (a6989586621679091685 :: Type)) Source #

Instances

Instances details

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

type SumSym1 (t6989586621679850194 :: a6989586621679091685) = 'Sum t6989586621679850194 Source #

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

Instances

Instances details

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

type GetSumSym1 (a6989586621679850191 :: Sum (a6989586621679091685 :: Type)) = GetSum a6989586621679850191 Source #

data ProductSym0 :: forall (a6989586621679091690 :: Type). (~>) a6989586621679091690 (Product (a6989586621679091690 :: Type)) Source #

Instances

Instances details

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

type ProductSym1 (t6989586621679850213 :: a6989586621679091690) = 'Product t6989586621679850213 Source #

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

Instances

Instances details

SuppressUnusedWarnings (GetProductSym0 :: TyFun (Product a6989586621679091690) a6989586621679091690 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (GetProductSym0 :: TyFun (Product a) a -> Type) (a6989586621679850210 :: Product a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (GetProductSym0 :: TyFun (Product a) a -> Type) (a6989586621679850210 :: Product a) = GetProduct a6989586621679850210

type GetProductSym1 (a6989586621679850210 :: Product (a6989586621679091690 :: Type)) = GetProduct a6989586621679850210 Source #

data FirstSym0 :: forall (a6989586621679091750 :: Type). (~>) (Maybe a6989586621679091750) (First (a6989586621679091750 :: Type)) Source #

Instances

Instances details

SingI (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sing :: Sing FirstSym0 Source #
SuppressUnusedWarnings (FirstSym0 :: TyFun (Maybe a6989586621679091750) (First a6989586621679091750) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
type Apply (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) (t6989586621680368291 :: Maybe a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) (t6989586621680368291 :: Maybe a) = 'First t6989586621680368291

type FirstSym1 (t6989586621680368291 :: Maybe a6989586621679091750) = 'First t6989586621680368291 Source #

data GetFirstSym0 :: forall (a6989586621679091750 :: Type). (~>) (First (a6989586621679091750 :: Type)) (Maybe a6989586621679091750) Source #

Instances

Instances details

SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679091750) (Maybe a6989586621679091750) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
type Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) (a6989586621680368288 :: First a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) (a6989586621680368288 :: First a) = GetFirst a6989586621680368288

type GetFirstSym1 (a6989586621680368288 :: First (a6989586621679091750 :: Type)) = GetFirst a6989586621680368288 Source #

data LastSym0 :: forall (a6989586621679091745 :: Type). (~>) (Maybe a6989586621679091745) (Last (a6989586621679091745 :: Type)) Source #

Instances

Instances details

SingI (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sing :: Sing LastSym0 Source #
SuppressUnusedWarnings (LastSym0 :: TyFun (Maybe a6989586621679091745) (Last a6989586621679091745) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
type Apply (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) (t6989586621680368314 :: Maybe a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) (t6989586621680368314 :: Maybe a) = 'Last t6989586621680368314

type LastSym1 (t6989586621680368314 :: Maybe a6989586621679091745) = 'Last t6989586621680368314 Source #

data GetLastSym0 :: forall (a6989586621679091745 :: Type). (~>) (Last (a6989586621679091745 :: Type)) (Maybe a6989586621679091745) Source #

Instances

Instances details

SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679091745) (Maybe a6989586621679091745) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source #
type Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) (a6989586621680368311 :: Last a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) (a6989586621680368311 :: Last a) = GetLast a6989586621680368311

type GetLastSym1 (a6989586621680368311 :: Last (a6989586621679091745 :: Type)) = GetLast a6989586621680368311 Source #

Orphan instances

SMonad First Source #
Instance details Methods (%>>=) :: forall a b (t :: First a) (t :: a ~> First b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: First a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SMonad Last Source #
Instance details Methods (%>>=) :: forall a b (t :: Last a) (t :: a ~> Last b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t) Source # (%>>) :: forall a b (t :: Last a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t) Source # sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t) Source #
SApplicative First Source #
Instance details Methods sPure :: forall a (t :: a). Sing t -> Sing (Apply PureSym0 t) Source # (%<>) :: forall a b (t :: First (a ~> b)) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sLiftA2 :: forall a b c (t :: a ~> (b ~> c)) (t :: First a) (t :: First b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source # (%>) :: forall a b (t :: First a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (>@#@$) t) t) Source # (%<) :: forall a b (t :: First a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (<@#@$) t) t) Source #
SApplicative Last Source #
Instance details Methods sPure :: forall a (t :: a). Sing t -> Sing (Apply PureSym0 t) Source # (%<>) :: forall a b (t :: Last (a ~> b)) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sLiftA2 :: forall a b c (t :: a ~> (b ~> c)) (t :: Last a) (t :: Last b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t) Source # (%>) :: forall a b (t :: Last a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (>@#@$) t) t) Source # (%<) :: forall a b (t :: Last a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (<@#@$) t) t) Source #
SFunctor First Source #
Instance details Methods sFmap :: forall a b (t :: a ~> b) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Last Source #
Instance details Methods sFmap :: forall a b (t :: a ~> b) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) 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 #
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 #
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 #
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 #
SingKind a => SingKind (First a) Source #
Instance details Associated Types type Demote (First a) = (r :: Type) Source # Methods fromSing :: forall (a0 :: First a). Sing a0 -> Demote (First a) Source # toSing :: Demote (First a) -> SomeSing (First a) Source #
SingKind a => SingKind (Last a) Source #
Instance details Associated Types type Demote (Last a) = (r :: Type) Source # Methods fromSing :: forall (a0 :: Last a). Sing a0 -> Demote (Last a) Source # toSing :: Demote (Last a) -> SomeSing (Last a) Source #
SDecide (Maybe a) => SDecide (First a) Source #
Instance details Methods (%~) :: forall (a0 :: First a) (b :: First a). Sing a0 -> Sing b -> Decision (a0 :~: b) Source #
SDecide (Maybe a) => SDecide (Last a) Source #
Instance details Methods (%~) :: forall (a0 :: Last a) (b :: Last a). Sing a0 -> Sing b -> Decision (a0 :~: b) Source #
PEq (First a) Source #
Instance details Associated Types type x == y :: Bool Source # type x /= y :: Bool Source #
PEq (Last a) Source #
Instance details Associated Types type x == y :: Bool Source # type x /= y :: Bool Source #
SEq (Maybe a) => SEq (First a) Source #
Instance details Methods (%==) :: forall (a0 :: First a) (b :: First a). Sing a0 -> Sing b -> Sing (a0 == b) Source # (%/=) :: forall (a0 :: First a) (b :: First a). Sing a0 -> Sing b -> Sing (a0 /= b) Source #
SEq (Maybe a) => SEq (Last a) Source #
Instance details Methods (%==) :: forall (a0 :: Last a) (b :: Last a). Sing a0 -> Sing b -> Sing (a0 == b) Source # (%/=) :: forall (a0 :: Last a) (b :: Last a). Sing a0 -> Sing b -> Sing (a0 /= b) Source #
SOrd (Maybe a) => SOrd (First a) Source #
Instance details Methods sCompare :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t) Source # (%<) :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply (<@#@$) t) t) Source # (%<=) :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply (<=@#@$) t) t) Source # (%>) :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply (>@#@$) t) t) Source # (%>=) :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply (>=@#@$) t) t) Source # sMax :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t) Source # sMin :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t) Source #
SOrd (Maybe a) => SOrd (Last a) Source #
Instance details Methods sCompare :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t) Source # (%<) :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply (<@#@$) t) t) Source # (%<=) :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply (<=@#@$) t) t) Source # (%>) :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply (>@#@$) t) t) Source # (%>=) :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply (>=@#@$) t) t) Source # sMax :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t) Source # sMin :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t) Source #
POrd (First a) 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 #
POrd (Last a) 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 #
SSemigroup (First a) Source #
Instance details Methods (%<>) :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: forall (t :: NonEmpty (First a)). Sing t -> Sing (Apply SconcatSym0 t) Source #
SSemigroup (Last a) Source #
Instance details Methods (%<>) :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t) Source # sSconcat :: forall (t :: NonEmpty (Last a)). Sing t -> Sing (Apply SconcatSym0 t) 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 #
SShow (Maybe a) => SShow (First a) Source #
Instance details Methods sShowsPrec :: forall (t :: Nat) (t :: First a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: First a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [First a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) Source #
SShow (Maybe a) => SShow (Last a) Source #
Instance details Methods sShowsPrec :: forall (t :: Nat) (t :: Last a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t) Source # sShow_ :: forall (t :: Last a). Sing t -> Sing (Apply Show_Sym0 t) Source # sShowList :: forall (t :: [Last a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t) 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 #
SingI n => SingI ('First n :: First a) Source #
Instance details Methods sing :: Sing ('First0 n) Source #
SingI n => SingI ('Last n :: Last a) Source #
Instance details Methods sing :: Sing ('Last0 n) Source #