Copyright | (C) 2018 Ryan Scott |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Singletons.Prelude.Monoid
Synopsis
- class PSemigroup a => PMonoid (a :: Type) where
- 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)
- data family Sing :: k -> Type
- type family GetDual (a :: Dual a) :: a where ...
- type family GetAll (a :: All) :: Bool where ...
- type family GetAny (a :: Any) :: Bool where ...
- type family GetSum (a :: Sum a) :: a where ...
- type family GetProduct (a :: Product a) :: a where ...
- type family GetFirst (a :: First a) :: Maybe a where ...
- type family GetLast (a :: Last a) :: Maybe a where ...
- type SDual = (Sing :: Dual a -> Type)
- type SAll = (Sing :: All -> Type)
- type SAny = (Sing :: Any -> Type)
- type SSum = (Sing :: Sum a -> Type)
- type SProduct = (Sing :: Product a -> Type)
- type SFirst = (Sing :: First a -> Type)
- type SLast = (Sing :: Last a -> Type)
- type MemptySym0 = Mempty
- data MappendSym0 :: forall a6989586621680326608. (~>) a6989586621680326608 ((~>) a6989586621680326608 a6989586621680326608)
- data MappendSym1 (arg6989586621680326993 :: a6989586621680326608) :: (~>) a6989586621680326608 a6989586621680326608
- type MappendSym2 (arg6989586621680326993 :: a6989586621680326608) (arg6989586621680326994 :: a6989586621680326608) = Mappend arg6989586621680326993 arg6989586621680326994
- data MconcatSym0 :: forall a6989586621680326608. (~>) [a6989586621680326608] a6989586621680326608
- type MconcatSym1 (arg6989586621680326997 :: [a6989586621680326608]) = Mconcat arg6989586621680326997
- data DualSym0 :: forall (a6989586621679085203 :: Type). (~>) a6989586621679085203 (Dual (a6989586621679085203 :: Type))
- type DualSym1 (t6989586621679820145 :: a6989586621679085203) = Dual t6989586621679820145
- data GetDualSym0 :: forall a6989586621679085203. (~>) (Dual a6989586621679085203) a6989586621679085203
- type GetDualSym1 (a6989586621679820142 :: Dual a6989586621679085203) = GetDual a6989586621679820142
- data AllSym0 :: (~>) Bool All
- type AllSym1 (t6989586621679820159 :: Bool) = All t6989586621679820159
- data GetAllSym0 :: (~>) All Bool
- type GetAllSym1 (a6989586621679820156 :: All) = GetAll a6989586621679820156
- data AnySym0 :: (~>) Bool Any
- type AnySym1 (t6989586621679820173 :: Bool) = Any t6989586621679820173
- data GetAnySym0 :: (~>) Any Bool
- type GetAnySym1 (a6989586621679820170 :: Any) = GetAny a6989586621679820170
- data SumSym0 :: forall (a6989586621679085188 :: Type). (~>) a6989586621679085188 (Sum (a6989586621679085188 :: Type))
- type SumSym1 (t6989586621679820190 :: a6989586621679085188) = Sum t6989586621679820190
- data GetSumSym0 :: forall a6989586621679085188. (~>) (Sum a6989586621679085188) a6989586621679085188
- type GetSumSym1 (a6989586621679820187 :: Sum a6989586621679085188) = GetSum a6989586621679820187
- data ProductSym0 :: forall (a6989586621679085193 :: Type). (~>) a6989586621679085193 (Product (a6989586621679085193 :: Type))
- type ProductSym1 (t6989586621679820207 :: a6989586621679085193) = Product t6989586621679820207
- data GetProductSym0 :: forall a6989586621679085193. (~>) (Product a6989586621679085193) a6989586621679085193
- type GetProductSym1 (a6989586621679820204 :: Product a6989586621679085193) = GetProduct a6989586621679820204
- data FirstSym0 :: forall (a6989586621679085232 :: Type). (~>) (Maybe a6989586621679085232) (First (a6989586621679085232 :: Type))
- type FirstSym1 (t6989586621680330523 :: Maybe a6989586621679085232) = First t6989586621680330523
- data GetFirstSym0 :: forall a6989586621679085232. (~>) (First a6989586621679085232) (Maybe a6989586621679085232)
- type GetFirstSym1 (a6989586621680330520 :: First a6989586621679085232) = GetFirst a6989586621680330520
- data LastSym0 :: forall (a6989586621679085227 :: Type). (~>) (Maybe a6989586621679085227) (Last (a6989586621679085227 :: Type))
- type LastSym1 (t6989586621680330544 :: Maybe a6989586621679085227) = Last t6989586621680330544
- data GetLastSym0 :: forall a6989586621679085227. (~>) (Last a6989586621679085227) (Maybe a6989586621679085227)
- type GetLastSym1 (a6989586621680330541 :: Last a6989586621679085227) = GetLast a6989586621680330541
Documentation
class PSemigroup a => PMonoid (a :: Type) Source #
Instances
PMonoid Ordering Source # | |
PMonoid Symbol Source # | |
PMonoid () Source # | |
PMonoid All Source # | |
PMonoid Any Source # | |
PMonoid [a] Source # | |
PMonoid (Maybe a) Source # | |
PMonoid (Min a) Source # | |
PMonoid (Max a) Source # | |
PMonoid (WrappedMonoid m) Source # | |
PMonoid (Option a) Source # | |
PMonoid (Identity a) Source # | |
PMonoid (First a) Source # | |
PMonoid (Last a) Source # | |
PMonoid (Dual a) Source # | |
PMonoid (Sum a) Source # | |
PMonoid (Product a) Source # | |
PMonoid (Down a) Source # | |
PMonoid (a, b) Source # | |
PMonoid (a ~> b) Source # | |
PMonoid (a, b, c) Source # | |
PMonoid (Const a b) Source # | |
PMonoid (a, b, c, d) Source # | |
PMonoid (a, b, c, d, e) Source # | |
class SSemigroup a => SMonoid a where Source #
Minimal complete definition
Methods
sMempty :: Sing (MemptySym0 :: a) Source #
sMappend :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t :: a) Source #
sMconcat :: forall (t :: [a]). Sing t -> Sing (Apply MconcatSym0 t :: a) Source #
sMappend :: forall (t :: a) (t :: a). (Apply (Apply MappendSym0 t) t :: a) ~ Apply (Apply Mappend_6989586621680327011Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t :: a) Source #
sMconcat :: forall (t :: [a]). (Apply MconcatSym0 t :: a) ~ Apply Mconcat_6989586621680327021Sym0 t => Sing t -> Sing (Apply MconcatSym0 t :: a) Source #
Instances
SMonoid Ordering Source # | |
SMonoid Symbol Source # | |
SMonoid () Source # | |
SMonoid All Source # | |
SMonoid Any Source # | |
SMonoid [a] Source # | |
SSemigroup a => SMonoid (Maybe a) Source # | |
(SOrd a, SBounded a) => SMonoid (Min a) Source # | |
(SOrd a, SBounded a) => SMonoid (Max a) Source # | |
SMonoid m => SMonoid (WrappedMonoid m) Source # | |
SSemigroup a => SMonoid (Option a) Source # | |
SMonoid a => SMonoid (Identity a) Source # | |
SMonoid (First a) Source # | |
SMonoid (Last a) Source # | |
SMonoid a => SMonoid (Dual a) Source # | |
SNum a => SMonoid (Sum a) Source # | |
SNum a => SMonoid (Product a) Source # | |
SMonoid a => SMonoid (Down a) Source # | |
(SMonoid a, SMonoid b) => SMonoid (a, b) Source # | |
SMonoid b => SMonoid (a ~> b) Source # | |
(SMonoid a, SMonoid b, SMonoid c) => SMonoid (a, b, c) Source # | |
SMonoid a => SMonoid (Const a b) Source # | |
(SMonoid a, SMonoid b, SMonoid c, SMonoid d) => SMonoid (a, b, c, d) Source # | |
(SMonoid a, SMonoid b, SMonoid c, SMonoid d, SMonoid e) => SMonoid (a, b, c, d, e) Source # | |
data family Sing :: k -> Type Source #
The singleton kind-indexed data family.
Instances
SDecide k => TestCoercion (Sing :: k -> Type) Source # | |
Defined in Data.Singletons.Decide | |
SDecide k => TestEquality (Sing :: k -> Type) Source # | |
Defined in Data.Singletons.Decide | |
Show (SSymbol s) Source # | |
Show (SNat n) Source # | |
Eq (Sing a) Source # | |
Ord (Sing a) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
Show (Sing a) Source # | |
Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z) Source # | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z) Source # | |
Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
(ShowSing a, ShowSing b) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing m => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing (Maybe a) => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing Bool => Show (Sing z) Source # | |
ShowSing Bool => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
ShowSing a => Show (Sing z) Source # | |
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # | |
data Sing (a :: Bool) Source # | |
data Sing (a :: Ordering) Source # | |
data Sing (n :: Nat) Source # | |
data Sing (n :: Symbol) Source # | |
Defined in Data.Singletons.TypeLits.Internal | |
data Sing (a :: ()) Source # | |
Defined in Data.Singletons.Prelude.Instances | |
data Sing (a :: Void) Source # | |
Defined in Data.Singletons.Prelude.Instances | |
data Sing (a :: All) Source # | |
data Sing (a :: Any) Source # | |
data Sing (a :: PErrorMessage) Source # | |
Defined in Data.Singletons.TypeError data Sing (a :: PErrorMessage) where
| |
data Sing (b :: [a]) Source # | |
data Sing (b :: Maybe a) Source # | |
newtype Sing (a :: TYPE rep) Source # | A choice of singleton for the kind Conceivably, one could generalize this instance to `Sing :: k -> Type` for
any kind We cannot produce explicit singleton values for everything in |
Defined in Data.Singletons.TypeRepTYPE | |
data Sing (b :: Min a) Source # | |
data Sing (b :: Max a) Source # | |
data Sing (b :: First a) Source # | |
data Sing (b :: Last a) Source # | |
data Sing (a :: WrappedMonoid m) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: WrappedMonoid m) where
| |
data Sing (b :: Option a) Source # | |
data Sing (b :: Identity a) Source # | |
data Sing (b :: First a) Source # | |
data Sing (b :: Last a) Source # | |
data Sing (b :: Dual a) Source # | |
data Sing (b :: Sum a) Source # | |
data Sing (b :: Product a) Source # | |
data Sing (b :: Down a) Source # | |
data Sing (b :: NonEmpty a) Source # | |
data Sing (c :: Either a b) Source # | |
data Sing (c :: (a, b)) Source # | |
data Sing (c :: Arg a b) Source # | |
newtype Sing (f :: k1 ~> k2) Source # | |
data Sing (d :: (a, b, c)) Source # | |
data Sing (c :: Const a b) Source # | |
data Sing (e :: (a, b, c, d)) Source # | |
data Sing (f :: (a, b, c, d, e)) Source # | |
data Sing (g :: (a, b, c, d, e, f)) Source # | |
data Sing (h :: (a, b, c, d, e, f, g)) Source # | |
Defined in Data.Singletons.Prelude.Instances |
type family GetProduct (a :: Product a) :: a where ... Source #
Equations
GetProduct (Product field) = field |
Defunctionalization symbols
type MemptySym0 = Mempty Source #
data MappendSym0 :: forall a6989586621680326608. (~>) a6989586621680326608 ((~>) a6989586621680326608 a6989586621680326608) Source #
Instances
SMonoid a => SingI (MappendSym0 :: TyFun a (a ~> a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monoid Methods sing :: Sing MappendSym0 Source # | |
SuppressUnusedWarnings (MappendSym0 :: TyFun a6989586621680326608 (a6989586621680326608 ~> a6989586621680326608) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source # | |
type Apply (MappendSym0 :: TyFun a6989586621680326608 (a6989586621680326608 ~> a6989586621680326608) -> Type) (arg6989586621680326993 :: a6989586621680326608) Source # | |
Defined in Data.Singletons.Prelude.Monoid type Apply (MappendSym0 :: TyFun a6989586621680326608 (a6989586621680326608 ~> a6989586621680326608) -> Type) (arg6989586621680326993 :: a6989586621680326608) = MappendSym1 arg6989586621680326993 |
data MappendSym1 (arg6989586621680326993 :: a6989586621680326608) :: (~>) a6989586621680326608 a6989586621680326608 Source #
Instances
(SMonoid a, SingI d) => SingI (MappendSym1 d :: TyFun a a -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monoid Methods sing :: Sing (MappendSym1 d) Source # | |
SuppressUnusedWarnings (MappendSym1 arg6989586621680326993 :: TyFun a6989586621680326608 a6989586621680326608 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source # | |
type Apply (MappendSym1 arg6989586621680326993 :: TyFun a a -> Type) (arg6989586621680326994 :: a) Source # | |
Defined in Data.Singletons.Prelude.Monoid type Apply (MappendSym1 arg6989586621680326993 :: TyFun a a -> Type) (arg6989586621680326994 :: a) = Mappend arg6989586621680326993 arg6989586621680326994 |
type MappendSym2 (arg6989586621680326993 :: a6989586621680326608) (arg6989586621680326994 :: a6989586621680326608) = Mappend arg6989586621680326993 arg6989586621680326994 Source #
data MconcatSym0 :: forall a6989586621680326608. (~>) [a6989586621680326608] a6989586621680326608 Source #
Instances
SMonoid a => SingI (MconcatSym0 :: TyFun [a] a -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monoid Methods sing :: Sing MconcatSym0 Source # | |
SuppressUnusedWarnings (MconcatSym0 :: TyFun [a6989586621680326608] a6989586621680326608 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source # | |
type Apply (MconcatSym0 :: TyFun [a] a -> Type) (arg6989586621680326997 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.Monoid type Apply (MconcatSym0 :: TyFun [a] a -> Type) (arg6989586621680326997 :: [a]) = Mconcat arg6989586621680326997 |
type MconcatSym1 (arg6989586621680326997 :: [a6989586621680326608]) = Mconcat arg6989586621680326997 Source #
data DualSym0 :: forall (a6989586621679085203 :: Type). (~>) a6989586621679085203 (Dual (a6989586621679085203 :: Type)) Source #
Instances
SingI (DualSym0 :: TyFun a (Dual a) -> Type) Source # | |
SuppressUnusedWarnings (DualSym0 :: TyFun a6989586621679085203 (Dual a6989586621679085203) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (DualSym0 :: TyFun a (Dual a) -> Type) (t6989586621679820145 :: a) Source # | |
data GetDualSym0 :: forall a6989586621679085203. (~>) (Dual a6989586621679085203) a6989586621679085203 Source #
Instances
SuppressUnusedWarnings (GetDualSym0 :: TyFun (Dual a6989586621679085203) a6989586621679085203 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetDualSym0 :: TyFun (Dual a) a -> Type) (a6989586621679820142 :: Dual a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type GetDualSym1 (a6989586621679820142 :: Dual a6989586621679085203) = GetDual a6989586621679820142 Source #
data AllSym0 :: (~>) Bool All Source #
Instances
SingI AllSym0 Source # | |
SuppressUnusedWarnings AllSym0 Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply AllSym0 (t6989586621679820159 :: Bool) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
data GetAllSym0 :: (~>) All Bool Source #
Instances
SuppressUnusedWarnings GetAllSym0 Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply GetAllSym0 (a6989586621679820156 :: All) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type GetAllSym1 (a6989586621679820156 :: All) = GetAll a6989586621679820156 Source #
data AnySym0 :: (~>) Bool Any Source #
Instances
SingI AnySym0 Source # | |
SuppressUnusedWarnings AnySym0 Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply AnySym0 (t6989586621679820173 :: Bool) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
data GetAnySym0 :: (~>) Any Bool Source #
Instances
SuppressUnusedWarnings GetAnySym0 Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply GetAnySym0 (a6989586621679820170 :: Any) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type GetAnySym1 (a6989586621679820170 :: Any) = GetAny a6989586621679820170 Source #
data SumSym0 :: forall (a6989586621679085188 :: Type). (~>) a6989586621679085188 (Sum (a6989586621679085188 :: Type)) Source #
Instances
SingI (SumSym0 :: TyFun a (Sum a) -> Type) Source # | |
SuppressUnusedWarnings (SumSym0 :: TyFun a6989586621679085188 (Sum a6989586621679085188) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (SumSym0 :: TyFun a (Sum a) -> Type) (t6989586621679820190 :: a) Source # | |
data GetSumSym0 :: forall a6989586621679085188. (~>) (Sum a6989586621679085188) a6989586621679085188 Source #
Instances
SuppressUnusedWarnings (GetSumSym0 :: TyFun (Sum a6989586621679085188) a6989586621679085188 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetSumSym0 :: TyFun (Sum a) a -> Type) (a6989586621679820187 :: Sum a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type GetSumSym1 (a6989586621679820187 :: Sum a6989586621679085188) = GetSum a6989586621679820187 Source #
data ProductSym0 :: forall (a6989586621679085193 :: Type). (~>) a6989586621679085193 (Product (a6989586621679085193 :: Type)) Source #
Instances
SingI (ProductSym0 :: TyFun a (Product a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sing :: Sing ProductSym0 Source # | |
SuppressUnusedWarnings (ProductSym0 :: TyFun a6989586621679085193 (Product a6989586621679085193) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (ProductSym0 :: TyFun a (Product a) -> Type) (t6989586621679820207 :: a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal |
type ProductSym1 (t6989586621679820207 :: a6989586621679085193) = Product t6989586621679820207 Source #
data GetProductSym0 :: forall a6989586621679085193. (~>) (Product a6989586621679085193) a6989586621679085193 Source #
Instances
SuppressUnusedWarnings (GetProductSym0 :: TyFun (Product a6989586621679085193) a6989586621679085193 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetProductSym0 :: TyFun (Product a) a -> Type) (a6989586621679820204 :: Product a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (GetProductSym0 :: TyFun (Product a) a -> Type) (a6989586621679820204 :: Product a) = GetProduct a6989586621679820204 |
type GetProductSym1 (a6989586621679820204 :: Product a6989586621679085193) = GetProduct a6989586621679820204 Source #
data FirstSym0 :: forall (a6989586621679085232 :: Type). (~>) (Maybe a6989586621679085232) (First (a6989586621679085232 :: Type)) Source #
Instances
SingI (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) Source # | |
SuppressUnusedWarnings (FirstSym0 :: TyFun (Maybe a6989586621679085232) (First a6989586621679085232) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source # | |
type Apply (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) (t6989586621680330523 :: Maybe a) Source # | |
type FirstSym1 (t6989586621680330523 :: Maybe a6989586621679085232) = First t6989586621680330523 Source #
data GetFirstSym0 :: forall a6989586621679085232. (~>) (First a6989586621679085232) (Maybe a6989586621679085232) Source #
Instances
SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679085232) (Maybe a6989586621679085232) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) (a6989586621680330520 :: First a) Source # | |
Defined in Data.Singletons.Prelude.Monoid |
type GetFirstSym1 (a6989586621680330520 :: First a6989586621679085232) = GetFirst a6989586621680330520 Source #
data LastSym0 :: forall (a6989586621679085227 :: Type). (~>) (Maybe a6989586621679085227) (Last (a6989586621679085227 :: Type)) Source #
Instances
SingI (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) Source # | |
SuppressUnusedWarnings (LastSym0 :: TyFun (Maybe a6989586621679085227) (Last a6989586621679085227) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source # | |
type Apply (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) (t6989586621680330544 :: Maybe a) Source # | |
type LastSym1 (t6989586621680330544 :: Maybe a6989586621679085227) = Last t6989586621680330544 Source #
data GetLastSym0 :: forall a6989586621679085227. (~>) (Last a6989586621679085227) (Maybe a6989586621679085227) Source #
Instances
SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679085227) (Maybe a6989586621679085227) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monoid Methods suppressUnusedWarnings :: () Source # | |
type Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) (a6989586621680330541 :: Last a) Source # | |
Defined in Data.Singletons.Prelude.Monoid |
type GetLastSym1 (a6989586621680330541 :: Last a6989586621679085227) = GetLast a6989586621680330541 Source #