Copyright	(C) 2018 Ryan Scott
License	BSD-style (see LICENSE)
Maintainer	Ryan Scott
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	GHC2021

Data.Monoid.Singletons

Contents

Defunctionalization symbols
Orphan instances

Description

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

Synopsis

class PMonoid a where
- type Mempty :: a
- type Mappend (arg :: a) (arg1 :: a) :: a
- type Mconcat (arg :: [a]) :: a
class SSemigroup a => SMonoid a where
- sMempty :: Sing (MemptySym0 :: a)
- sMappend :: forall (t1 :: a) (t2 :: a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MappendSym0 :: TyFun a (a ~> a) -> Type) t1) t2)
- sMconcat :: forall (t :: [a]). Sing t -> Sing (Apply (MconcatSym0 :: TyFun [a] a -> Type) t)
type family Sing :: k -> Type
data SDual (a1 :: Dual a) where
- SDual :: forall a (n :: a). Sing n -> SDual ('Dual n)
data SAll (a :: All) where
- SAll :: forall (n :: Bool). Sing n -> SAll ('All n)
data SAny (a :: Any) where
- SAny :: forall (n :: Bool). Sing n -> SAny ('Any n)
data SSum (a1 :: Sum a) where
- SSum :: forall a (n :: a). Sing n -> SSum ('Sum n)
data SProduct (a1 :: Product a) where
- SProduct :: forall a (n :: a). Sing n -> SProduct ('Product n)
data SFirst (a1 :: First a) where
- SFirst :: forall a (n :: Maybe a). Sing n -> SFirst ('First n)
data SLast (a1 :: Last a) where
- SLast :: forall a (n :: Maybe a). Sing n -> SLast ('Last n)
type family GetDual (a1 :: Dual a) :: a where ...
type family GetAll (a :: All) :: Bool where ...
type family GetAny (a :: Any) :: Bool where ...
type family GetSum (a1 :: Sum a) :: a where ...
type family GetProduct (a1 :: Product a) :: a where ...
type family GetFirst (a1 :: First a) :: Maybe a where ...
type family GetLast (a1 :: Last a) :: Maybe a where ...
sGetDual :: forall a (t :: Dual a). Sing t -> Sing (Apply (GetDualSym0 :: TyFun (Dual a) a -> Type) t)
sGetAll :: forall (t :: All). Sing t -> Sing (Apply GetAllSym0 t)
sGetAny :: forall (t :: Any). Sing t -> Sing (Apply GetAnySym0 t)
sGetSum :: forall a (t :: Sum a). Sing t -> Sing (Apply (GetSumSym0 :: TyFun (Sum a) a -> Type) t)
sGetProduct :: forall a (t :: Product a). Sing t -> Sing (Apply (GetProductSym0 :: TyFun (Product a) a -> Type) t)
sGetFirst :: forall a (t :: First a). Sing t -> Sing (Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) t)
sGetLast :: forall a (t :: Last a). Sing t -> Sing (Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) t)
type family MemptySym0 :: a where ...
data MappendSym0 (a1 :: TyFun a (a ~> a))
data MappendSym1 (a6989586621680292326 :: a) (b :: TyFun a a)
type family MappendSym2 (a6989586621680292326 :: a) (a6989586621680292327 :: a) :: a where ...
data MconcatSym0 (a1 :: TyFun [a] a)
type family MconcatSym1 (a6989586621680292330 :: [a]) :: a where ...
data DualSym0 (a1 :: TyFun a (Dual a))
type family DualSym1 (a6989586621679687531 :: a) :: Dual a where ...
data GetDualSym0 (a1 :: TyFun (Dual a) a)
type family GetDualSym1 (a6989586621679687534 :: Dual a) :: a where ...
data AllSym0 (a :: TyFun Bool All)
type family AllSym1 (a6989586621679687547 :: Bool) :: All where ...
data GetAllSym0 (a :: TyFun All Bool)
type family GetAllSym1 (a6989586621679687550 :: All) :: Bool where ...
data AnySym0 (a :: TyFun Bool Any)
type family AnySym1 (a6989586621679687563 :: Bool) :: Any where ...
data GetAnySym0 (a :: TyFun Any Bool)
type family GetAnySym1 (a6989586621679687566 :: Any) :: Bool where ...
data SumSym0 (a1 :: TyFun a (Sum a))
type family SumSym1 (a6989586621679687582 :: a) :: Sum a where ...
data GetSumSym0 (a1 :: TyFun (Sum a) a)
type family GetSumSym1 (a6989586621679687585 :: Sum a) :: a where ...
data ProductSym0 (a1 :: TyFun a (Product a))
type family ProductSym1 (a6989586621679687601 :: a) :: Product a where ...
data GetProductSym0 (a1 :: TyFun (Product a) a)
type family GetProductSym1 (a6989586621679687604 :: Product a) :: a where ...
data FirstSym0 (a1 :: TyFun (Maybe a) (First a))
type family FirstSym1 (a6989586621680296690 :: Maybe a) :: First a where ...
data GetFirstSym0 (a1 :: TyFun (First a) (Maybe a))
type family GetFirstSym1 (a6989586621680296693 :: First a) :: Maybe a where ...
data LastSym0 (a1 :: TyFun (Maybe a) (Last a))
type family LastSym1 (a6989586621680296713 :: Maybe a) :: Last a where ...
data GetLastSym0 (a1 :: TyFun (Last a) (Maybe a))
type family GetLastSym1 (a6989586621680296716 :: Last a) :: Maybe a where ...

Documentation

class PMonoid a Source #

Associated Types

type Mempty :: a Source #

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

type Mappend (arg :: a) (arg1 :: a) = Apply (Apply (Mappend_6989586621680292333Sym0 :: TyFun a (a ~> a) -> Type) arg) arg1

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

type Mconcat (arg :: [a]) = Apply (Mconcat_6989586621680292347Sym0 :: TyFun [a] a -> Type) arg

Instances

Instances details

PMonoid All Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty
type Mappend (arg1 :: All) (arg2 :: All)
Instance details Defined in Data.Monoid.Singletons type Mappend (arg1 :: All) (arg2 :: All)
type Mconcat (arg :: [All])
Instance details Defined in Data.Monoid.Singletons type Mconcat (arg :: [All])

PMonoid Any Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty
type Mappend (arg1 :: Any) (arg2 :: Any)
Instance details Defined in Data.Monoid.Singletons type Mappend (arg1 :: Any) (arg2 :: Any)
type Mconcat (arg :: [Any])
Instance details Defined in Data.Monoid.Singletons type Mconcat (arg :: [Any])

PMonoid Ordering Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty
type Mappend (arg1 :: Ordering) (arg2 :: Ordering)
Instance details Defined in Data.Monoid.Singletons type Mappend (arg1 :: Ordering) (arg2 :: Ordering)
type Mconcat (arg :: [Ordering])
Instance details Defined in Data.Monoid.Singletons type Mconcat (arg :: [Ordering])

PMonoid () Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty
type Mappend (arg1 :: ()) (arg2 :: ())
Instance details Defined in Data.Monoid.Singletons type Mappend (arg1 :: ()) (arg2 :: ())
type Mconcat (a :: [()])
Instance details Defined in Data.Monoid.Singletons type Mconcat (a :: [()])

PMonoid Symbol Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty
type Mappend (arg1 :: Symbol) (arg2 :: Symbol)
Instance details Defined in Data.Monoid.Singletons type Mappend (arg1 :: Symbol) (arg2 :: Symbol)
type Mconcat (arg :: [Symbol])
Instance details Defined in Data.Monoid.Singletons type Mconcat (arg :: [Symbol])

PMonoid (Identity a) Source #

Instance details

Defined in Data.Functor.Identity.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Functor.Identity.Singletons type Mempty

PMonoid (First a) Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty

PMonoid (Last a) Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty

PMonoid (Down a) Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty

PMonoid (Max a) Source #

Instance details

Defined in Data.Semigroup.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Semigroup.Singletons type Mempty

PMonoid (Min a) Source #

Instance details

Defined in Data.Semigroup.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Semigroup.Singletons type Mempty

PMonoid (WrappedMonoid m) Source #

Instance details

Defined in Data.Semigroup.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Semigroup.Singletons type Mempty

PMonoid (Dual a) Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty

PMonoid (Product a) Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty

PMonoid (Sum a) Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty

PMonoid (Maybe a) Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty

PMonoid [a] Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty

PMonoid (Proxy s) Source #

Instance details

Defined in Data.Proxy.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Proxy.Singletons type Mempty

PMonoid (a ~> b) Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty

PMonoid (a, b) Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty

PMonoid (Const a b) Source #

Instance details

Defined in Data.Functor.Const.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Functor.Const.Singletons type Mempty

PMonoid (a, b, c) Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty

PMonoid (a, b, c, d) Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty

PMonoid (a, b, c, d, e) Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty

class SSemigroup a => SMonoid a where Source #

Minimal complete definition

sMempty

Methods

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

sMappend :: forall (t1 :: a) (t2 :: a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MappendSym0 :: TyFun a (a ~> a) -> Type) t1) t2) Source #

default sMappend :: forall (t1 :: a) (t2 :: a). Apply (Apply (MappendSym0 :: TyFun a (a ~> a) -> Type) t1) t2 ~ Apply (Apply (Mappend_6989586621680292333Sym0 :: TyFun a (a ~> a) -> Type) t1) t2 => Sing t1 -> Sing t2 -> Sing (Apply (Apply (MappendSym0 :: TyFun a (a ~> a) -> Type) t1) t2) Source #

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

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

Instances

Instances details

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

type family Sing :: k -> Type #

Instances

Instances details

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

data SDual (a1 :: Dual a) where Source #

Constructors

SDual :: forall a (n :: a). Sing n -> SDual ('Dual n)

Instances

Instances details

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

data SAll (a :: All) where Source #

Constructors

SAll :: forall (n :: Bool). Sing n -> SAll ('All n)

Instances

Instances details

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

data SAny (a :: Any) where Source #

Constructors

SAny :: forall (n :: Bool). Sing n -> SAny ('Any n)

Instances

Instances details

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

data SSum (a1 :: Sum a) where Source #

Constructors

SSum :: forall a (n :: a). Sing n -> SSum ('Sum n)

Instances

Instances details

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

data SProduct (a1 :: Product a) where Source #

Constructors

SProduct :: forall a (n :: a). Sing n -> SProduct ('Product n)

Instances

Instances details

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

data SFirst (a1 :: First a) where Source #

Constructors

SFirst :: forall a (n :: Maybe a). Sing n -> SFirst ('First n)

Instances

Instances details

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

data SLast (a1 :: Last a) where Source #

Constructors

SLast :: forall a (n :: Maybe a). Sing n -> SLast ('Last n)

Instances

Instances details

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

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

Equations

GetDual ('Dual field :: Dual a) = 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 (a1 :: Sum a) :: a where ... Source #

Equations

GetSum ('Sum field :: Sum a) = field

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

Equations

GetProduct ('Product field :: Product a) = field

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

Equations

GetFirst ('First field :: First a) = field

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

Equations

GetLast ('Last field :: Last a) = field

sGetDual :: forall a (t :: Dual a). Sing t -> Sing (Apply (GetDualSym0 :: TyFun (Dual a) a -> Type) t) Source #

sGetAll :: forall (t :: All). Sing t -> Sing (Apply GetAllSym0 t) Source #

sGetAny :: forall (t :: Any). Sing t -> Sing (Apply GetAnySym0 t) Source #

sGetSum :: forall a (t :: Sum a). Sing t -> Sing (Apply (GetSumSym0 :: TyFun (Sum a) a -> Type) t) Source #

sGetProduct :: forall a (t :: Product a). Sing t -> Sing (Apply (GetProductSym0 :: TyFun (Product a) a -> Type) t) Source #

sGetFirst :: forall a (t :: First a). Sing t -> Sing (Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) t) Source #

sGetLast :: forall a (t :: Last a). Sing t -> Sing (Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) t) Source #

Defunctionalization symbols

type family MemptySym0 :: a where ... Source #

Equations

MemptySym0 = Mempty :: a

data MappendSym0 (a1 :: TyFun a (a ~> a)) Source #

Instances

Instances details

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

data MappendSym1 (a6989586621680292326 :: a) (b :: TyFun a a) Source #

Instances

Instances details

SMonoid a => SingI1 (MappendSym1 :: a -> TyFun a a -> Type) Source #
Instance details Defined in Data.Monoid.Singletons Methods liftSing :: forall (x :: a). Sing x -> Sing (MappendSym1 x) #
(SMonoid a, SingI d) => SingI (MappendSym1 d :: TyFun a a -> Type) Source #
Instance details Defined in Data.Monoid.Singletons Methods sing :: Sing (MappendSym1 d) #
SuppressUnusedWarnings (MappendSym1 a6989586621680292326 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Monoid.Singletons Methods suppressUnusedWarnings :: () #
type Apply (MappendSym1 a6989586621680292326 :: TyFun a a -> Type) (a6989586621680292327 :: a) Source #
Instance details Defined in Data.Monoid.Singletons type Apply (MappendSym1 a6989586621680292326 :: TyFun a a -> Type) (a6989586621680292327 :: a) = Mappend a6989586621680292326 a6989586621680292327

type family MappendSym2 (a6989586621680292326 :: a) (a6989586621680292327 :: a) :: a where ... Source #

Equations

MappendSym2 (a6989586621680292326 :: a) (a6989586621680292327 :: a) = Mappend a6989586621680292326 a6989586621680292327

data MconcatSym0 (a1 :: TyFun [a] a) Source #

Instances

Instances details

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

type family MconcatSym1 (a6989586621680292330 :: [a]) :: a where ... Source #

Equations

MconcatSym1 (a6989586621680292330 :: [a]) = Mconcat a6989586621680292330

data DualSym0 (a1 :: TyFun a (Dual a)) Source #

Instances

Instances details

SingI (DualSym0 :: TyFun a (Dual a) -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sing :: Sing (DualSym0 :: TyFun a (Dual a) -> Type) #
SuppressUnusedWarnings (DualSym0 :: TyFun a (Dual a) -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods suppressUnusedWarnings :: () #
type Apply (DualSym0 :: TyFun a (Dual a) -> Type) (a6989586621679687531 :: a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Apply (DualSym0 :: TyFun a (Dual a) -> Type) (a6989586621679687531 :: a) = 'Dual a6989586621679687531

type family DualSym1 (a6989586621679687531 :: a) :: Dual a where ... Source #

Equations

DualSym1 (a6989586621679687531 :: a) = 'Dual a6989586621679687531

data GetDualSym0 (a1 :: TyFun (Dual a) a) Source #

Instances

Instances details

SingI (GetDualSym0 :: TyFun (Dual a) a -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sing :: Sing (GetDualSym0 :: TyFun (Dual a) a -> Type) #
SuppressUnusedWarnings (GetDualSym0 :: TyFun (Dual a) a -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods suppressUnusedWarnings :: () #
type Apply (GetDualSym0 :: TyFun (Dual a) a -> Type) (a6989586621679687534 :: Dual a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Apply (GetDualSym0 :: TyFun (Dual a) a -> Type) (a6989586621679687534 :: Dual a) = GetDual a6989586621679687534

type family GetDualSym1 (a6989586621679687534 :: Dual a) :: a where ... Source #

Equations

GetDualSym1 (a6989586621679687534 :: Dual a) = GetDual a6989586621679687534

data AllSym0 (a :: TyFun Bool All) Source #

Instances

Instances details

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

type family AllSym1 (a6989586621679687547 :: Bool) :: All where ... Source #

Equations

AllSym1 a6989586621679687547 = 'All a6989586621679687547

data GetAllSym0 (a :: TyFun All Bool) Source #

Instances

Instances details

SingI GetAllSym0 Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sing :: Sing GetAllSym0 #
SuppressUnusedWarnings GetAllSym0 Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods suppressUnusedWarnings :: () #
type Apply GetAllSym0 (a6989586621679687550 :: All) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Apply GetAllSym0 (a6989586621679687550 :: All) = GetAll a6989586621679687550

type family GetAllSym1 (a6989586621679687550 :: All) :: Bool where ... Source #

Equations

GetAllSym1 a6989586621679687550 = GetAll a6989586621679687550

data AnySym0 (a :: TyFun Bool Any) Source #

Instances

Instances details

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

type family AnySym1 (a6989586621679687563 :: Bool) :: Any where ... Source #

Equations

AnySym1 a6989586621679687563 = 'Any a6989586621679687563

data GetAnySym0 (a :: TyFun Any Bool) Source #

Instances

Instances details

SingI GetAnySym0 Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sing :: Sing GetAnySym0 #
SuppressUnusedWarnings GetAnySym0 Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods suppressUnusedWarnings :: () #
type Apply GetAnySym0 (a6989586621679687566 :: Any) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Apply GetAnySym0 (a6989586621679687566 :: Any) = GetAny a6989586621679687566

type family GetAnySym1 (a6989586621679687566 :: Any) :: Bool where ... Source #

Equations

GetAnySym1 a6989586621679687566 = GetAny a6989586621679687566

data SumSym0 (a1 :: TyFun a (Sum a)) Source #

Instances

Instances details

SingI (SumSym0 :: TyFun a (Sum a) -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sing :: Sing (SumSym0 :: TyFun a (Sum a) -> Type) #
SuppressUnusedWarnings (SumSym0 :: TyFun a (Sum a) -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods suppressUnusedWarnings :: () #
type Apply (SumSym0 :: TyFun a (Sum a) -> Type) (a6989586621679687582 :: a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Apply (SumSym0 :: TyFun a (Sum a) -> Type) (a6989586621679687582 :: a) = 'Sum a6989586621679687582

type family SumSym1 (a6989586621679687582 :: a) :: Sum a where ... Source #

Equations

SumSym1 (a6989586621679687582 :: a) = 'Sum a6989586621679687582

data GetSumSym0 (a1 :: TyFun (Sum a) a) Source #

Instances

Instances details

SingI (GetSumSym0 :: TyFun (Sum a) a -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sing :: Sing (GetSumSym0 :: TyFun (Sum a) a -> Type) #
SuppressUnusedWarnings (GetSumSym0 :: TyFun (Sum a) a -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods suppressUnusedWarnings :: () #
type Apply (GetSumSym0 :: TyFun (Sum a) a -> Type) (a6989586621679687585 :: Sum a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Apply (GetSumSym0 :: TyFun (Sum a) a -> Type) (a6989586621679687585 :: Sum a) = GetSum a6989586621679687585

type family GetSumSym1 (a6989586621679687585 :: Sum a) :: a where ... Source #

Equations

GetSumSym1 (a6989586621679687585 :: Sum a) = GetSum a6989586621679687585

data ProductSym0 (a1 :: TyFun a (Product a)) Source #

Instances

Instances details

SingI (ProductSym0 :: TyFun a (Product a) -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sing :: Sing (ProductSym0 :: TyFun a (Product a) -> Type) #
SuppressUnusedWarnings (ProductSym0 :: TyFun a (Product a) -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods suppressUnusedWarnings :: () #
type Apply (ProductSym0 :: TyFun a (Product a) -> Type) (a6989586621679687601 :: a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Apply (ProductSym0 :: TyFun a (Product a) -> Type) (a6989586621679687601 :: a) = 'Product a6989586621679687601

type family ProductSym1 (a6989586621679687601 :: a) :: Product a where ... Source #

Equations

ProductSym1 (a6989586621679687601 :: a) = 'Product a6989586621679687601

data GetProductSym0 (a1 :: TyFun (Product a) a) Source #

Instances

Instances details

SingI (GetProductSym0 :: TyFun (Product a) a -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sing :: Sing (GetProductSym0 :: TyFun (Product a) a -> Type) #
SuppressUnusedWarnings (GetProductSym0 :: TyFun (Product a) a -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods suppressUnusedWarnings :: () #
type Apply (GetProductSym0 :: TyFun (Product a) a -> Type) (a6989586621679687604 :: Product a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type Apply (GetProductSym0 :: TyFun (Product a) a -> Type) (a6989586621679687604 :: Product a) = GetProduct a6989586621679687604

type family GetProductSym1 (a6989586621679687604 :: Product a) :: a where ... Source #

Equations

GetProductSym1 (a6989586621679687604 :: Product a) = GetProduct a6989586621679687604

data FirstSym0 (a1 :: TyFun (Maybe a) (First a)) Source #

Instances

Instances details

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

type family FirstSym1 (a6989586621680296690 :: Maybe a) :: First a where ... Source #

Equations

FirstSym1 (a6989586621680296690 :: Maybe a) = 'First a6989586621680296690

data GetFirstSym0 (a1 :: TyFun (First a) (Maybe a)) Source #

Instances

Instances details

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

type family GetFirstSym1 (a6989586621680296693 :: First a) :: Maybe a where ... Source #

Equations

GetFirstSym1 (a6989586621680296693 :: First a) = GetFirst a6989586621680296693

data LastSym0 (a1 :: TyFun (Maybe a) (Last a)) Source #

Instances

Instances details

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

type family LastSym1 (a6989586621680296713 :: Maybe a) :: Last a where ... Source #

Equations

LastSym1 (a6989586621680296713 :: Maybe a) = 'Last a6989586621680296713

data GetLastSym0 (a1 :: TyFun (Last a) (Maybe a)) Source #

Instances

Instances details

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

type family GetLastSym1 (a6989586621680296716 :: Last a) :: Maybe a where ... Source #

Equations

GetLastSym1 (a6989586621680296716 :: Last a) = GetLast a6989586621680296716

Orphan instances

PApplicative First Source #

Instance details

Associated Types

type Pure (a :: k1)
Instance details Defined in Data.Monoid.Singletons type Pure (a :: k1)
type (a2 :: First (a1 ~> b)) <*> (a3 :: First a1)
Instance details Defined in Data.Monoid.Singletons type (a2 :: First (a1 ~> b)) <*> (a3 :: First a1)
type LiftA2 (arg :: a ~> (b ~> c)) (arg1 :: First a) (arg2 :: First b)
Instance details Defined in Data.Monoid.Singletons type LiftA2 (arg :: a ~> (b ~> c)) (arg1 :: First a) (arg2 :: First b)
type (arg :: First a) *> (arg1 :: First b)
Instance details Defined in Data.Monoid.Singletons type (arg :: First a) *> (arg1 :: First b)
type (arg :: First a) <* (arg1 :: First b)
Instance details Defined in Data.Monoid.Singletons type (arg :: First a) <* (arg1 :: First b)

PApplicative Last Source #

Instance details

Associated Types

type Pure (a :: k1)
Instance details Defined in Data.Monoid.Singletons type Pure (a :: k1)
type (a2 :: Last (a1 ~> b)) <*> (a3 :: Last a1)
Instance details Defined in Data.Monoid.Singletons type (a2 :: Last (a1 ~> b)) <*> (a3 :: Last a1)
type LiftA2 (arg :: a ~> (b ~> c)) (arg1 :: Last a) (arg2 :: Last b)
Instance details Defined in Data.Monoid.Singletons type LiftA2 (arg :: a ~> (b ~> c)) (arg1 :: Last a) (arg2 :: Last b)
type (arg :: Last a) *> (arg1 :: Last b)
Instance details Defined in Data.Monoid.Singletons type (arg :: Last a) *> (arg1 :: Last b)
type (arg :: Last a) <* (arg1 :: Last b)
Instance details Defined in Data.Monoid.Singletons type (arg :: Last a) <* (arg1 :: Last b)

PFunctor First Source #

Instance details

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: First a1)
Instance details Defined in Data.Monoid.Singletons type Fmap (a2 :: a1 ~> b) (a3 :: First a1)
type (a1 :: k1) <$ (a2 :: First b)
Instance details Defined in Data.Monoid.Singletons type (a1 :: k1) <$ (a2 :: First b)

PFunctor Last Source #

Instance details

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Last a1)
Instance details Defined in Data.Monoid.Singletons type Fmap (a2 :: a1 ~> b) (a3 :: Last a1)
type (a1 :: k1) <$ (a2 :: Last b)
Instance details Defined in Data.Monoid.Singletons type (a1 :: k1) <$ (a2 :: Last b)

PMonad First Source #

Instance details

Associated Types

type (a2 :: First a1) >>= (a3 :: a1 ~> First b)
Instance details Defined in Data.Monoid.Singletons type (a2 :: First a1) >>= (a3 :: a1 ~> First b)
type (arg :: First a) >> (arg1 :: First b)
Instance details Defined in Data.Monoid.Singletons type (arg :: First a) >> (arg1 :: First b)
type Return (arg :: a)
Instance details Defined in Data.Monoid.Singletons type Return (arg :: a)

PMonad Last Source #

Instance details

Associated Types

type (a2 :: Last a1) >>= (a3 :: a1 ~> Last b)
Instance details Defined in Data.Monoid.Singletons type (a2 :: Last a1) >>= (a3 :: a1 ~> Last b)
type (arg :: Last a) >> (arg1 :: Last b)
Instance details Defined in Data.Monoid.Singletons type (arg :: Last a) >> (arg1 :: Last b)
type Return (arg :: a)
Instance details Defined in Data.Monoid.Singletons type Return (arg :: a)

SApplicative First Source #

Instance details

Methods

sPure :: forall a (t :: a). Sing t -> Sing (Apply (PureSym0 :: TyFun a (First a) -> Type) t) Source #

(%<*>) :: forall a b (t1 :: First (a ~> b)) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<*>@#@$) :: TyFun (First (a ~> b)) (First a ~> First b) -> Type) t1) t2) Source #

sLiftA2 :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: First a) (t3 :: First b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (LiftA2Sym0 :: TyFun (a ~> (b ~> c)) (First a ~> (First b ~> First c)) -> Type) t1) t2) t3) Source #

(%*>) :: forall a b (t1 :: First a) (t2 :: First b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((*>@#@$) :: TyFun (First a) (First b ~> First b) -> Type) t1) t2) Source #

(%<*) :: forall a b (t1 :: First a) (t2 :: First b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<*@#@$) :: TyFun (First a) (First b ~> First a) -> Type) t1) t2) Source #

SApplicative Last Source #

Instance details

Methods

sPure :: forall a (t :: a). Sing t -> Sing (Apply (PureSym0 :: TyFun a (Last a) -> Type) t) Source #

(%<*>) :: forall a b (t1 :: Last (a ~> b)) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<*>@#@$) :: TyFun (Last (a ~> b)) (Last a ~> Last b) -> Type) t1) t2) Source #

sLiftA2 :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: Last a) (t3 :: Last b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (LiftA2Sym0 :: TyFun (a ~> (b ~> c)) (Last a ~> (Last b ~> Last c)) -> Type) t1) t2) t3) Source #

(%*>) :: forall a b (t1 :: Last a) (t2 :: Last b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((*>@#@$) :: TyFun (Last a) (Last b ~> Last b) -> Type) t1) t2) Source #

(%<*) :: forall a b (t1 :: Last a) (t2 :: Last b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<*@#@$) :: TyFun (Last a) (Last b ~> Last a) -> Type) t1) t2) Source #

SFunctor First Source #

Instance details

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (FmapSym0 :: TyFun (a ~> b) (First a ~> First b) -> Type) t1) t2) Source #

(%<$) :: forall a b (t1 :: a) (t2 :: First b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<$@#@$) :: TyFun a (First b ~> First a) -> Type) t1) t2) Source #

SFunctor Last Source #

Instance details

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (FmapSym0 :: TyFun (a ~> b) (Last a ~> Last b) -> Type) t1) t2) Source #

(%<$) :: forall a b (t1 :: a) (t2 :: Last b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<$@#@$) :: TyFun a (Last b ~> Last a) -> Type) t1) t2) Source #

SMonad First Source #

Instance details

Methods

(%>>=) :: forall a b (t1 :: First a) (t2 :: a ~> First b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>>=@#@$) :: TyFun (First a) ((a ~> First b) ~> First b) -> Type) t1) t2) Source #

(%>>) :: forall a b (t1 :: First a) (t2 :: First b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>>@#@$) :: TyFun (First a) (First b ~> First b) -> Type) t1) t2) Source #

sReturn :: forall a (t :: a). Sing t -> Sing (Apply (ReturnSym0 :: TyFun a (First a) -> Type) t) Source #

SMonad Last Source #

Instance details

Methods

(%>>=) :: forall a b (t1 :: Last a) (t2 :: a ~> Last b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>>=@#@$) :: TyFun (Last a) ((a ~> Last b) ~> Last b) -> Type) t1) t2) Source #

(%>>) :: forall a b (t1 :: Last a) (t2 :: Last b). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>>@#@$) :: TyFun (Last a) (Last b ~> Last b) -> Type) t1) t2) Source #

sReturn :: forall a (t :: a). Sing t -> Sing (Apply (ReturnSym0 :: TyFun a (Last a) -> Type) t) Source #

SingKind a => SingKind (First a) Source #

Instance details

Associated Types

type Demote (First a)
Instance details Defined in Data.Monoid.Singletons type Demote (First a) = First (Demote a)

Methods

fromSing :: forall (a0 :: First a). Sing a0 -> Demote (First a) #

toSing :: Demote (First a) -> SomeSing (First a) #

SingKind a => SingKind (Last a) Source #

Instance details

Associated Types

type Demote (Last a)
Instance details Defined in Data.Monoid.Singletons type Demote (Last a) = Last (Demote a)

Methods

fromSing :: forall (a0 :: Last a). Sing a0 -> Demote (Last a) #

toSing :: Demote (Last a) -> SomeSing (Last a) #

SDecide (Maybe a) => SDecide (First a) Source #

Instance details

Methods

(%~) :: forall (a0 :: First a) (b :: First a). Sing a0 -> Sing b -> Decision (a0 :~: b) #

SDecide (Maybe a) => SDecide (Last a) Source #

Instance details

Methods

(%~) :: forall (a0 :: Last a) (b :: Last a). Sing a0 -> Sing b -> Decision (a0 :~: b) #

PEq (First a) Source #

Instance details

PEq (Last a) Source #

Instance details

SEq (Maybe a) => SEq (First a) Source #

Instance details

Methods

(%==) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((==@#@$) :: TyFun (First a) (First a ~> Bool) -> Type) t1) t2) Source #

(%/=) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((/=@#@$) :: TyFun (First a) (First a ~> Bool) -> Type) t1) t2) Source #

SEq (Maybe a) => SEq (Last a) Source #

Instance details

Methods

(%==) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((==@#@$) :: TyFun (Last a) (Last a ~> Bool) -> Type) t1) t2) Source #

(%/=) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((/=@#@$) :: TyFun (Last a) (Last a ~> Bool) -> Type) t1) t2) Source #

POrd (First a) Source #

Instance details

POrd (Last a) Source #

Instance details

SOrd (Maybe a) => SOrd (First a) Source #

Instance details

Methods

sCompare :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (CompareSym0 :: TyFun (First a) (First a ~> Ordering) -> Type) t1) t2) Source #

(%<) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<@#@$) :: TyFun (First a) (First a ~> Bool) -> Type) t1) t2) Source #

(%<=) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<=@#@$) :: TyFun (First a) (First a ~> Bool) -> Type) t1) t2) Source #

(%>) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>@#@$) :: TyFun (First a) (First a ~> Bool) -> Type) t1) t2) Source #

(%>=) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>=@#@$) :: TyFun (First a) (First a ~> Bool) -> Type) t1) t2) Source #

sMax :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MaxSym0 :: TyFun (First a) (First a ~> First a) -> Type) t1) t2) Source #

sMin :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MinSym0 :: TyFun (First a) (First a ~> First a) -> Type) t1) t2) Source #

SOrd (Maybe a) => SOrd (Last a) Source #

Instance details

Methods

sCompare :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (CompareSym0 :: TyFun (Last a) (Last a ~> Ordering) -> Type) t1) t2) Source #

(%<) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<@#@$) :: TyFun (Last a) (Last a ~> Bool) -> Type) t1) t2) Source #

(%<=) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<=@#@$) :: TyFun (Last a) (Last a ~> Bool) -> Type) t1) t2) Source #

(%>) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>@#@$) :: TyFun (Last a) (Last a ~> Bool) -> Type) t1) t2) Source #

(%>=) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>=@#@$) :: TyFun (Last a) (Last a ~> Bool) -> Type) t1) t2) Source #

sMax :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MaxSym0 :: TyFun (Last a) (Last a ~> Last a) -> Type) t1) t2) Source #

sMin :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MinSym0 :: TyFun (Last a) (Last a ~> Last a) -> Type) t1) t2) Source #

PSemigroup (First a) Source #

Instance details

PSemigroup (Last a) Source #

Instance details

SSemigroup (First a) Source #

Instance details

Methods

(%<>) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<>@#@$) :: TyFun (First a) (First a ~> First a) -> Type) t1) t2) Source #

sSconcat :: forall (t :: NonEmpty (First a)). Sing t -> Sing (Apply (SconcatSym0 :: TyFun (NonEmpty (First a)) (First a) -> Type) t) Source #

SSemigroup (Last a) Source #

Instance details

Methods

(%<>) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<>@#@$) :: TyFun (Last a) (Last a ~> Last a) -> Type) t1) t2) Source #

sSconcat :: forall (t :: NonEmpty (Last a)). Sing t -> Sing (Apply (SconcatSym0 :: TyFun (NonEmpty (Last a)) (Last a) -> Type) t) Source #

PShow (First a) Source #

Instance details

PShow (Last a) Source #

Instance details

SShow (Maybe a) => SShow (First a) Source #

Instance details

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: First a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ShowsPrecSym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) t1) t2) t3) Source #

sShow_ :: forall (t :: First a). Sing t -> Sing (Apply (Show_Sym0 :: TyFun (First a) Symbol -> Type) t) Source #

sShowList :: forall (t1 :: [First a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply (ShowListSym0 :: TyFun [First a] (Symbol ~> Symbol) -> Type) t1) t2) Source #

SShow (Maybe a) => SShow (Last a) Source #

Instance details

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Last a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ShowsPrecSym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) t1) t2) t3) Source #

sShow_ :: forall (t :: Last a). Sing t -> Sing (Apply (Show_Sym0 :: TyFun (Last a) Symbol -> Type) t) Source #

sShowList :: forall (t1 :: [Last a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply (ShowListSym0 :: TyFun [Last a] (Symbol ~> Symbol) -> Type) t1) t2) Source #

SingI1 ('First :: Maybe a -> First a) Source #

Instance details

Methods

liftSing :: forall (x :: Maybe a). Sing x -> Sing ('First x) #

SingI1 ('Last :: Maybe a -> Last a) Source #

Instance details

Methods

liftSing :: forall (x :: Maybe a). Sing x -> Sing ('Last x) #

SingI n => SingI ('First n :: First a) Source #

Instance details

Methods

sing :: Sing ('First n) #

SingI n => SingI ('Last n :: Last a) Source #

Instance details

Methods

sing :: Sing ('Last n) #