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

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) (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 :: Type). Dual a -> Type where
- SDual :: forall (a :: Type) (n :: a). (Sing n) -> SDual ('Dual n :: Dual (a :: Type))
data SAll :: All -> Type where
- SAll :: forall (n :: Bool). (Sing n) -> SAll ('All n :: All)
data SAny :: Any -> Type where
- SAny :: forall (n :: Bool). (Sing n) -> SAny ('Any n :: Any)
data SSum :: forall (a :: Type). Sum a -> Type where
- SSum :: forall (a :: Type) (n :: a). (Sing n) -> SSum ('Sum n :: Sum (a :: Type))
data SProduct :: forall (a :: Type). Product a -> Type where
- SProduct :: forall (a :: Type) (n :: a). (Sing n) -> SProduct ('Product n :: Product (a :: Type))
data SFirst :: forall (a :: Type). First a -> Type where
- SFirst :: forall (a :: Type) (n :: Maybe a). (Sing n) -> SFirst ('First n :: First (a :: Type))
data SLast :: forall (a :: Type). Last a -> Type where
- SLast :: forall (a :: Type) (n :: Maybe a). (Sing n) -> SLast ('Last n :: Last (a :: Type))
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 ...
sGetDual :: forall (a :: Type) (t :: Dual (a :: Type)). Sing t -> Sing (Apply GetDualSym0 t :: a)
sGetAll :: forall (t :: All). Sing t -> Sing (Apply GetAllSym0 t :: Bool)
sGetAny :: forall (t :: Any). Sing t -> Sing (Apply GetAnySym0 t :: Bool)
sGetSum :: forall (a :: Type) (t :: Sum (a :: Type)). Sing t -> Sing (Apply GetSumSym0 t :: a)
sGetProduct :: forall (a :: Type) (t :: Product (a :: Type)). Sing t -> Sing (Apply GetProductSym0 t :: a)
sGetFirst :: forall (a :: Type) (t :: First (a :: Type)). Sing t -> Sing (Apply GetFirstSym0 t :: Maybe a)
sGetLast :: forall (a :: Type) (t :: Last (a :: Type)). Sing t -> Sing (Apply GetLastSym0 t :: Maybe a)
type family MemptySym0 :: a where ...
data MappendSym0 :: (~>) a ((~>) a a)
data MappendSym1 (a6989586621680329555 :: a) :: (~>) a a
type family MappendSym2 (a6989586621680329555 :: a) (a6989586621680329556 :: a) :: a where ...
data MconcatSym0 :: (~>) [a] a
type family MconcatSym1 (a6989586621680329559 :: [a]) :: a where ...
data DualSym0 :: (~>) a (Dual (a :: Type))
type family DualSym1 (a6989586621679700095 :: a) :: Dual (a :: Type) where ...
data GetDualSym0 :: (~>) (Dual (a :: Type)) a
type family GetDualSym1 (a6989586621679700098 :: Dual (a :: Type)) :: a where ...
data AllSym0 :: (~>) Bool All
type family AllSym1 (a6989586621679700112 :: Bool) :: All where ...
data GetAllSym0 :: (~>) All Bool
type family GetAllSym1 (a6989586621679700115 :: All) :: Bool where ...
data AnySym0 :: (~>) Bool Any
type family AnySym1 (a6989586621679700128 :: Bool) :: Any where ...
data GetAnySym0 :: (~>) Any Bool
type family GetAnySym1 (a6989586621679700131 :: Any) :: Bool where ...
data SumSym0 :: (~>) a (Sum (a :: Type))
type family SumSym1 (a6989586621679700147 :: a) :: Sum (a :: Type) where ...
data GetSumSym0 :: (~>) (Sum (a :: Type)) a
type family GetSumSym1 (a6989586621679700150 :: Sum (a :: Type)) :: a where ...
data ProductSym0 :: (~>) a (Product (a :: Type))
type family ProductSym1 (a6989586621679700166 :: a) :: Product (a :: Type) where ...
data GetProductSym0 :: (~>) (Product (a :: Type)) a
type family GetProductSym1 (a6989586621679700169 :: Product (a :: Type)) :: a where ...
data FirstSym0 :: (~>) (Maybe a) (First (a :: Type))
type family FirstSym1 (a6989586621680333800 :: Maybe a) :: First (a :: Type) where ...
data GetFirstSym0 :: (~>) (First (a :: Type)) (Maybe a)
type family GetFirstSym1 (a6989586621680333803 :: First (a :: Type)) :: Maybe a where ...
data LastSym0 :: (~>) (Maybe a) (Last (a :: Type))
type family LastSym1 (a6989586621680333824 :: Maybe a) :: Last (a :: Type) where ...
data GetLastSym0 :: (~>) (Last (a :: Type)) (Maybe a)
type family GetLastSym1 (a6989586621680333827 :: Last (a :: Type)) :: Maybe a where ...

Documentation

class PMonoid a Source #

Associated Types

type Mempty :: a Source #

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

type Mappend a a = Apply (Apply Mappend_6989586621680329562Sym0 a) a

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

type Mconcat a = Apply Mconcat_6989586621680329576Sym0 a

Instances

Instances details

PMonoid All Source #
Instance details Defined in Data.Monoid.Singletons 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.Monoid.Singletons Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid Ordering Source #
Instance details Defined in Data.Monoid.Singletons Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid () Source #
Instance details Defined in Data.Monoid.Singletons 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.Monoid.Singletons 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.Functor.Identity.Singletons 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.Monoid.Singletons 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.Monoid.Singletons 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.Monoid.Singletons 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.Semigroup.Singletons 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.Semigroup.Singletons 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.Semigroup.Singletons 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.Monoid.Singletons 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.Monoid.Singletons 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.Monoid.Singletons 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.Monoid.Singletons 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.Monoid.Singletons Associated Types type Mempty :: a Source # type Mappend arg arg :: a Source # type Mconcat arg :: a Source #
PMonoid (Proxy s) Source #
Instance details Defined in Data.Proxy.Singletons 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.Monoid.Singletons 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.Monoid.Singletons 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.Functor.Const.Singletons 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.Monoid.Singletons 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.Monoid.Singletons 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.Monoid.Singletons 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_6989586621680329562Sym0 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_6989586621680329576Sym0 t => Sing t -> Sing (Apply MconcatSym0 t :: a) Source #

Instances

Instances details

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

Instances

Instances details

type Sing Source #
Instance details Defined in Data.Semigroup.Singletons.Internal type Sing = SAll
type Sing Source #
Instance details Defined in Data.Semigroup.Singletons.Internal type Sing = SAny
type Sing Source #
Instance details Defined in Data.Singletons.Base.Instances type Sing = SVoid
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 GHC.TypeLits.Singletons.Internal type Sing = SNat
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 type Sing = SFirst :: First a -> Type
type Sing Source #
Instance details Defined in Data.Semigroup.Singletons.Internal type Sing = SLast :: Last a -> Type
type Sing Source #
Instance details Defined in Data.Semigroup.Singletons.Internal type Sing = SMax :: Max a -> Type
type Sing Source #
Instance details Defined in Data.Semigroup.Singletons.Internal type Sing = SMin :: Min a -> Type
type Sing Source #
Instance details Defined in Data.Semigroup.Singletons.Internal type Sing = SWrappedMonoid :: WrappedMonoid m -> Type
type Sing Source #
Instance details Defined in Data.Semigroup.Singletons.Internal type Sing = SDual :: Dual a -> Type
type Sing Source #
Instance details Defined in Data.Semigroup.Singletons.Internal type Sing = SProduct :: Product a -> Type
type Sing Source #
Instance details Defined in Data.Semigroup.Singletons.Internal 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 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 :: forall (a :: Type). Dual a -> Type where Source #

Constructors

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

Instances

Instances details

SDecide a => TestCoercion (SDual :: Dual a -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.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.Semigroup.Singletons.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.Semigroup.Singletons Methods showsPrec :: Int -> SDual z -> ShowS # show :: SDual z -> String # showList :: [SDual z] -> ShowS #

data SAll :: All -> Type where Source #

Constructors

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

Instances

Instances details

SDecide Bool => TestCoercion SAll Source #
Instance details Defined in Data.Semigroup.Singletons.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.Semigroup.Singletons.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.Semigroup.Singletons Methods showsPrec :: Int -> SAll z -> ShowS # show :: SAll z -> String # showList :: [SAll z] -> ShowS #

data SAny :: Any -> Type where Source #

Constructors

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

Instances

Instances details

SDecide Bool => TestCoercion SAny Source #
Instance details Defined in Data.Semigroup.Singletons.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.Semigroup.Singletons.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.Semigroup.Singletons Methods showsPrec :: Int -> SAny z -> ShowS # show :: SAny z -> String # showList :: [SAny z] -> ShowS #

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

Constructors

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

Instances

Instances details

SDecide a => TestCoercion (SSum :: Sum a -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.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.Semigroup.Singletons.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.Semigroup.Singletons Methods showsPrec :: Int -> SSum z -> ShowS # show :: SSum z -> String # showList :: [SSum z] -> ShowS #

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

Constructors

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

Instances

Instances details

SDecide a => TestCoercion (SProduct :: Product a -> Type) Source #
Instance details Defined in Data.Semigroup.Singletons.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.Semigroup.Singletons.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.Semigroup.Singletons Methods showsPrec :: Int -> SProduct z -> ShowS # show :: SProduct z -> String # showList :: [SProduct z] -> ShowS #

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

Constructors

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

Instances

Instances details

SDecide (Maybe a) => TestCoercion (SFirst :: First a -> Type) Source #
Instance details Defined in Data.Monoid.Singletons 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.Monoid.Singletons 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.Monoid.Singletons Methods showsPrec :: Int -> SFirst z -> ShowS # show :: SFirst z -> String # showList :: [SFirst z] -> ShowS #

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

Constructors

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

Instances

Instances details

SDecide (Maybe a) => TestCoercion (SLast :: Last a -> Type) Source #
Instance details Defined in Data.Monoid.Singletons 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.Monoid.Singletons 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.Monoid.Singletons 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

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

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

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

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

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

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

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

Defunctionalization symbols

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

Equations

MemptySym0 = Mempty

data MappendSym0 :: (~>) 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
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) (a6989586621680329555 :: a) Source #
Instance details Defined in Data.Monoid.Singletons type Apply (MappendSym0 :: TyFun a (a ~> a) -> Type) (a6989586621680329555 :: a) = MappendSym1 a6989586621680329555

data MappendSym1 (a6989586621680329555 :: a) :: (~>) 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 :: k1). 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 a6989586621680329555 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Monoid.Singletons Methods suppressUnusedWarnings :: () #
type Apply (MappendSym1 a6989586621680329555 :: TyFun a a -> Type) (a6989586621680329556 :: a) Source #
Instance details Defined in Data.Monoid.Singletons type Apply (MappendSym1 a6989586621680329555 :: TyFun a a -> Type) (a6989586621680329556 :: a) = Mappend a6989586621680329555 a6989586621680329556

type family MappendSym2 (a6989586621680329555 :: a) (a6989586621680329556 :: a) :: a where ... Source #

Equations

MappendSym2 a6989586621680329555 a6989586621680329556 = Mappend a6989586621680329555 a6989586621680329556

data MconcatSym0 :: (~>) [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
SuppressUnusedWarnings (MconcatSym0 :: TyFun [a] a -> Type) Source #
Instance details Defined in Data.Monoid.Singletons Methods suppressUnusedWarnings :: () #
type Apply (MconcatSym0 :: TyFun [a] a -> Type) (a6989586621680329559 :: [a]) Source #
Instance details Defined in Data.Monoid.Singletons type Apply (MconcatSym0 :: TyFun [a] a -> Type) (a6989586621680329559 :: [a]) = Mconcat a6989586621680329559

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

Equations

MconcatSym1 a6989586621680329559 = Mconcat a6989586621680329559

data DualSym0 :: (~>) a (Dual (a :: Type)) Source #

Instances

Instances details

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

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

Equations

DualSym1 a6989586621679700095 = 'Dual a6989586621679700095

data GetDualSym0 :: (~>) (Dual (a :: Type)) a Source #

Instances

Instances details

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

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

Equations

GetDualSym1 a6989586621679700098 = GetDual a6989586621679700098

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

Instances

Instances details

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

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

Equations

AllSym1 a6989586621679700112 = 'All a6989586621679700112

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

Instances

Instances details

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

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

Equations

GetAllSym1 a6989586621679700115 = GetAll a6989586621679700115

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

Instances

Instances details

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

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

Equations

AnySym1 a6989586621679700128 = 'Any a6989586621679700128

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

Instances

Instances details

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

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

Equations

GetAnySym1 a6989586621679700131 = GetAny a6989586621679700131

data SumSym0 :: (~>) a (Sum (a :: Type)) Source #

Instances

Instances details

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

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

Equations

SumSym1 a6989586621679700147 = 'Sum a6989586621679700147

data GetSumSym0 :: (~>) (Sum (a :: Type)) a Source #

Instances

Instances details

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

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

Equations

GetSumSym1 a6989586621679700150 = GetSum a6989586621679700150

data ProductSym0 :: (~>) a (Product (a :: Type)) Source #

Instances

Instances details

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

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

Equations

ProductSym1 a6989586621679700166 = 'Product a6989586621679700166

data GetProductSym0 :: (~>) (Product (a :: Type)) a Source #

Instances

Instances details

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

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

Equations

GetProductSym1 a6989586621679700169 = GetProduct a6989586621679700169

data FirstSym0 :: (~>) (Maybe a) (First (a :: Type)) Source #

Instances

Instances details

SingI (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) Source #
Instance details Defined in Data.Monoid.Singletons Methods sing :: Sing FirstSym0
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) (a6989586621680333800 :: Maybe a) Source #
Instance details Defined in Data.Monoid.Singletons type Apply (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) (a6989586621680333800 :: Maybe a) = 'First a6989586621680333800

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

Equations

FirstSym1 a6989586621680333800 = 'First a6989586621680333800

data GetFirstSym0 :: (~>) (First (a :: Type)) (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
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) (a6989586621680333803 :: First a) Source #
Instance details Defined in Data.Monoid.Singletons type Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) (a6989586621680333803 :: First a) = GetFirst a6989586621680333803

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

Equations

GetFirstSym1 a6989586621680333803 = GetFirst a6989586621680333803

data LastSym0 :: (~>) (Maybe a) (Last (a :: Type)) Source #

Instances

Instances details

SingI (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) Source #
Instance details Defined in Data.Monoid.Singletons Methods sing :: Sing LastSym0
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) (a6989586621680333824 :: Maybe a) Source #
Instance details Defined in Data.Monoid.Singletons type Apply (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) (a6989586621680333824 :: Maybe a) = 'Last a6989586621680333824

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

Equations

LastSym1 a6989586621680333824 = 'Last a6989586621680333824

data GetLastSym0 :: (~>) (Last (a :: Type)) (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
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) (a6989586621680333827 :: Last a) Source #
Instance details Defined in Data.Monoid.Singletons type Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) (a6989586621680333827 :: Last a) = GetLast a6989586621680333827

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

Equations

GetLastSym1 a6989586621680333827 = GetLast a6989586621680333827

Orphan instances

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 #
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 #
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 #
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 #
SingKind a => SingKind (First a) Source #
Instance details Associated Types type Demote (First a) = (r :: Type) 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) = (r :: Type) 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 Associated Types type arg == arg :: Bool Source # type arg /= arg :: Bool Source #
PEq (Last a) Source #
Instance details Associated Types type arg == arg :: Bool Source # type arg /= arg :: Bool Source #
SEq (Maybe a) => SEq (First a) Source #
Instance details Methods (%==) :: 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 #
SEq (Maybe a) => SEq (Last a) Source #
Instance details Methods (%==) :: 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 #
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 #
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 #
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 #
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 #
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 #
SShow (Maybe a) => SShow (First a) Source #
Instance details Methods sShowsPrec :: forall (t :: Natural) (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 :: Natural) (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 #
SingI1 ('First :: Maybe a -> First a) Source #
Instance details Methods liftSing :: forall (x :: k1). Sing x -> Sing ('First0 x)
SingI1 ('Last :: Maybe a -> Last a) Source #
Instance details Methods liftSing :: forall (x :: k1). Sing x -> Sing ('Last0 x)
SingI n => SingI ('First n :: First a) Source #
Instance details Methods sing :: Sing ('First0 n)
SingI n => SingI ('Last n :: Last a) Source #
Instance details Methods sing :: Sing ('Last0 n)