Data.Singletons.Prelude.Monoid

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

Documentation

class PMonoid a

Associated Types

type Mempty :: a

type Mappend (arg :: a) (arg :: a) :: a

type Mappend a a = Apply (Apply Mappend_6989586621680347251Sym0 a) a

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

type Mconcat a = Apply Mconcat_6989586621680347265Sym0 a

Instances

PMonoid Ordering

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid Symbol

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid ()

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid All

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid Any

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid [a]

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Maybe a)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Min a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Max a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (WrappedMonoid m)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Option a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Identity a)

Defined in Data.Singletons.Prelude.Identity

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (First a)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Last a)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Dual a)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Sum a)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Product a)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Down a)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (a, b)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Proxy s)

Defined in Data.Singletons.Prelude.Proxy

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (a ~> b)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (a, b, c)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Const a b)

Defined in Data.Singletons.Prelude.Const

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (a, b, c, d)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

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

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

class SSemigroup a => SMonoid a where

Minimal complete definition

sMempty

Methods

sMempty :: Sing (MemptySym0 :: a)

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

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

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

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

Instances

SMonoid Ordering

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

sMappend :: forall (t :: Ordering) (t :: Ordering). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: forall (t :: [Ordering]). Sing t -> Sing (Apply MconcatSym0 t)

SMonoid Symbol

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

sMappend :: forall (t :: Symbol) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: forall (t :: [Symbol]). Sing t -> Sing (Apply MconcatSym0 t)

SMonoid ()

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

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

SMonoid All

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

sMappend :: forall (t :: All) (t :: All). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: forall (t :: [All]). Sing t -> Sing (Apply MconcatSym0 t)

SMonoid Any

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

sMappend :: forall (t :: Any) (t :: Any). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: forall (t :: [Any]). Sing t -> Sing (Apply MconcatSym0 t)

SMonoid [a]

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

sMappend :: forall (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

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

SSemigroup a => SMonoid (Maybe a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

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

(SOrd a, SBounded a) => SMonoid (Min a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

sMempty :: Sing MemptySym0

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

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

(SOrd a, SBounded a) => SMonoid (Max a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

sMempty :: Sing MemptySym0

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

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

SMonoid m => SMonoid (WrappedMonoid m)

Defined in Data.Singletons.Prelude.Semigroup

Methods

sMempty :: Sing MemptySym0

sMappend :: forall (t :: WrappedMonoid m) (t :: WrappedMonoid m). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: forall (t :: [WrappedMonoid m]). Sing t -> Sing (Apply MconcatSym0 t)

SSemigroup a => SMonoid (Option a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

sMempty :: Sing MemptySym0

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

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

SMonoid a => SMonoid (Identity a)

Defined in Data.Singletons.Prelude.Identity

Methods

sMempty :: Sing MemptySym0

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

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

SMonoid (First a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

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

SMonoid (Last a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

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

SMonoid a => SMonoid (Dual a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

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

SNum a => SMonoid (Sum a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

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

SNum a => SMonoid (Product a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

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

SMonoid a => SMonoid (Down a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

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

(SMonoid a, SMonoid b) => SMonoid (a, b)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

sMappend :: forall (t :: (a, b)) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: forall (t :: [(a, b)]). Sing t -> Sing (Apply MconcatSym0 t)

SMonoid (Proxy s)

Defined in Data.Singletons.Prelude.Proxy

Methods

sMempty :: Sing MemptySym0

sMappend :: forall (t :: Proxy s) (t :: Proxy s). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: forall (t :: [Proxy s]). Sing t -> Sing (Apply MconcatSym0 t)

SMonoid b => SMonoid (a ~> b)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

sMappend :: forall (t :: a ~> b) (t :: a ~> b). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: forall (t :: [a ~> b]). Sing t -> Sing (Apply MconcatSym0 t)

(SMonoid a, SMonoid b, SMonoid c) => SMonoid (a, b, c)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

sMappend :: forall (t :: (a, b, c)) (t :: (a, b, c)). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: forall (t :: [(a, b, c)]). Sing t -> Sing (Apply MconcatSym0 t)

SMonoid a => SMonoid (Const a b)

Defined in Data.Singletons.Prelude.Const

Methods

sMempty :: Sing MemptySym0

sMappend :: forall (t :: Const a b) (t :: Const a b). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: forall (t :: [Const a b]). Sing t -> Sing (Apply MconcatSym0 t)

(SMonoid a, SMonoid b, SMonoid c, SMonoid d) => SMonoid (a, b, c, d)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

sMappend :: forall (t :: (a, b, c, d)) (t :: (a, b, c, d)). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: forall (t :: [(a, b, c, d)]). Sing t -> Sing (Apply MconcatSym0 t)

(SMonoid a, SMonoid b, SMonoid c, SMonoid d, SMonoid e) => SMonoid (a, b, c, d, e)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

sMappend :: forall (t :: (a, b, c, d, e)) (t :: (a, b, c, d, e)). Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: forall (t :: [(a, b, c, d, e)]). Sing t -> Sing (Apply MconcatSym0 t)

type family Sing

The singleton kind-indexed type family.

Instances

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = SBool

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = SOrdering

type Sing

Defined in Data.Singletons.TypeLits.Internal

type Sing = SNat

type Sing

Defined in Data.Singletons.TypeLits.Internal

type Sing = SSymbol

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple0

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = SVoid

type Sing

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SAll

type Sing

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SAny

type Sing

Defined in Data.Singletons.TypeError

type Sing = SErrorMessage

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = SList :: [a] -> Type

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = SMaybe :: Maybe a -> Type

type Sing

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 TypeReps (for instance, TypeReps 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.

Defined in Data.Singletons.TypeRepTYPE

type Sing = TypeRep :: TYPE rep -> Type

type Sing

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SMin :: Min a -> Type

type Sing

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SMax :: Max a -> Type

type Sing

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SFirst :: First a -> Type

type Sing

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SLast :: Last a -> Type

type Sing

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SWrappedMonoid :: WrappedMonoid m -> Type

type Sing

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SOption :: Option a -> Type

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = SIdentity :: Identity a -> Type

type Sing

Defined in Data.Singletons.Prelude.Monoid

type Sing = SFirst :: First a -> Type

type Sing

Defined in Data.Singletons.Prelude.Monoid

type Sing = SLast :: Last a -> Type

type Sing

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SDual :: Dual a -> Type

type Sing

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SSum :: Sum a -> Type

type Sing

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Sing = SProduct :: Product a -> Type

type Sing

Defined in Data.Singletons.Prelude.Ord

type Sing = SDown :: Down a -> Type

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = SNonEmpty :: NonEmpty a -> Type

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = SEither :: Either a b -> Type

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple2 :: (a, b) -> Type

type Sing

Defined in Data.Singletons.Prelude.Semigroup

type Sing = SArg :: Arg a b -> Type

type Sing

Defined in Data.Singletons.Prelude.Proxy

type Sing = SProxy :: Proxy t -> Type

type Sing

Defined in Data.Singletons.Internal

type Sing = SLambda :: (k1 ~> k2) -> Type

type Sing

Defined in Data.Singletons.Internal

type Sing = SWrappedSing :: WrappedSing a -> Type

type Sing

Defined in Data.Singletons.Sigma

type Sing = SSigma :: Sigma s t -> Type

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple3 :: (a, b, c) -> Type

type Sing

Defined in Data.Singletons.Prelude.Const

type Sing = SConst :: Const a b -> Type

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple4 :: (a, b, c, d) -> Type

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple5 :: (a, b, c, d, e) -> Type

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple6 :: (a, b, c, d, e, f) -> Type

type Sing

Defined in Data.Singletons.Prelude.Instances

type Sing = STuple7 :: (a, b, c, d, e, f, g) -> Type

data SDual z where

Constructors

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

Instances

SDecide a => TestCoercion (SDual :: Dual a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

testCoercion :: forall (a0 :: k) (b :: k). SDual a0 -> SDual b -> Maybe (Coercion a0 b)

SDecide a => TestEquality (SDual :: Dual a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

testEquality :: forall (a0 :: k) (b :: k). SDual a0 -> SDual b -> Maybe (a0 :~: b)

ShowSing a => Show (SDual z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> SDual z -> ShowS

show :: SDual z -> String

showList :: [SDual z] -> ShowS

data SAll z where

Constructors

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

Instances

SDecide Bool => TestCoercion SAll

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

testCoercion :: forall (a :: k) (b :: k). SAll a -> SAll b -> Maybe (Coercion a b)

SDecide Bool => TestEquality SAll

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

testEquality :: forall (a :: k) (b :: k). SAll a -> SAll b -> Maybe (a :~: b)

ShowSing Bool => Show (SAll z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> SAll z -> ShowS

show :: SAll z -> String

showList :: [SAll z] -> ShowS

data SAny z where

Constructors

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

Instances

SDecide Bool => TestCoercion SAny

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

testCoercion :: forall (a :: k) (b :: k). SAny a -> SAny b -> Maybe (Coercion a b)

SDecide Bool => TestEquality SAny

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

testEquality :: forall (a :: k) (b :: k). SAny a -> SAny b -> Maybe (a :~: b)

ShowSing Bool => Show (SAny z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> SAny z -> ShowS

show :: SAny z -> String

showList :: [SAny z] -> ShowS

data SSum z where

Constructors

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

Instances

SDecide a => TestCoercion (SSum :: Sum a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

testCoercion :: forall (a0 :: k) (b :: k). SSum a0 -> SSum b -> Maybe (Coercion a0 b)

SDecide a => TestEquality (SSum :: Sum a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

testEquality :: forall (a0 :: k) (b :: k). SSum a0 -> SSum b -> Maybe (a0 :~: b)

ShowSing a => Show (SSum z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> SSum z -> ShowS

show :: SSum z -> String

showList :: [SSum z] -> ShowS

data SProduct z where

Constructors

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

Instances

SDecide a => TestCoercion (SProduct :: Product a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

testCoercion :: forall (a0 :: k) (b :: k). SProduct a0 -> SProduct b -> Maybe (Coercion a0 b)

SDecide a => TestEquality (SProduct :: Product a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

testEquality :: forall (a0 :: k) (b :: k). SProduct a0 -> SProduct b -> Maybe (a0 :~: b)

ShowSing a => Show (SProduct z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> SProduct z -> ShowS

show :: SProduct z -> String

showList :: [SProduct z] -> ShowS

data SFirst z where

Constructors

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

Instances

SDecide (Maybe a) => TestCoercion (SFirst :: First a -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

testCoercion :: forall (a0 :: k) (b :: k). SFirst a0 -> SFirst b -> Maybe (Coercion a0 b)

SDecide (Maybe a) => TestEquality (SFirst :: First a -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

testEquality :: forall (a0 :: k) (b :: k). SFirst a0 -> SFirst b -> Maybe (a0 :~: b)

ShowSing (Maybe a) => Show (SFirst z)

Defined in Data.Singletons.Prelude.Monoid

Methods

showsPrec :: Int -> SFirst z -> ShowS

show :: SFirst z -> String

showList :: [SFirst z] -> ShowS

data SLast z where

Constructors

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

Instances

SDecide (Maybe a) => TestCoercion (SLast :: Last a -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

testCoercion :: forall (a0 :: k) (b :: k). SLast a0 -> SLast b -> Maybe (Coercion a0 b)

SDecide (Maybe a) => TestEquality (SLast :: Last a -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

testEquality :: forall (a0 :: k) (b :: k). SLast a0 -> SLast b -> Maybe (a0 :~: b)

ShowSing (Maybe a) => Show (SLast z)

Defined in Data.Singletons.Prelude.Monoid

Methods

showsPrec :: Int -> SLast z -> ShowS

show :: SLast z -> String

showList :: [SLast z] -> ShowS

type family GetDual a where ...

Equations

GetDual ('Dual field) = field

type family GetAll a where ...

Equations

GetAll ('All field) = field

type family GetAny a where ...

Equations

GetAny ('Any field) = field

type family GetSum a where ...

Equations

GetSum ('Sum field) = field

type family GetProduct a where ...

Equations

GetProduct ('Product field) = field

type family GetFirst a where ...

Equations

GetFirst ('First field) = field

type family GetLast a where ...

Equations

GetLast ('Last field) = field

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)

Defunctionalization symbols

type MemptySym0 = Mempty :: a

data MappendSym0 a6989586621680347244

Instances

SMonoid a => SingI (MappendSym0 :: TyFun a (a ~> a) -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

sing :: Sing MappendSym0

SuppressUnusedWarnings (MappendSym0 :: TyFun a (a ~> a) -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

type Apply (MappendSym0 :: TyFun a (a ~> a) -> Type) (a6989586621680347244 :: a)

Defined in Data.Singletons.Prelude.Monoid

type Apply (MappendSym0 :: TyFun a (a ~> a) -> Type) (a6989586621680347244 :: a) = MappendSym1 a6989586621680347244

data MappendSym1 a6989586621680347244 a6989586621680347245

Instances

(SMonoid a, SingI d) => SingI (MappendSym1 d :: TyFun a a -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

sing :: Sing (MappendSym1 d)

SuppressUnusedWarnings (MappendSym1 a6989586621680347244 :: TyFun a a -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

type Apply (MappendSym1 a6989586621680347244 :: TyFun a a -> Type) (a6989586621680347245 :: a)

Defined in Data.Singletons.Prelude.Monoid

type Apply (MappendSym1 a6989586621680347244 :: TyFun a a -> Type) (a6989586621680347245 :: a) = MappendSym2 a6989586621680347244 a6989586621680347245

type MappendSym2 (a6989586621680347244 :: a) (a6989586621680347245 :: a) = Mappend a6989586621680347244 a6989586621680347245 :: a

data MconcatSym0 a6989586621680347248

Instances

SMonoid a => SingI (MconcatSym0 :: TyFun [a] a -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

sing :: Sing MconcatSym0

SuppressUnusedWarnings (MconcatSym0 :: TyFun [a] a -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

type Apply (MconcatSym0 :: TyFun [a] a -> Type) (a6989586621680347248 :: [a])

Defined in Data.Singletons.Prelude.Monoid

type Apply (MconcatSym0 :: TyFun [a] a -> Type) (a6989586621680347248 :: [a]) = MconcatSym1 a6989586621680347248

type MconcatSym1 (a6989586621680347248 :: [a]) = Mconcat a6989586621680347248 :: a

data DualSym0 a6989586621679840113

Instances

SingI (DualSym0 :: TyFun a (Dual a) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing DualSym0

SuppressUnusedWarnings (DualSym0 :: TyFun a (Dual a) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (DualSym0 :: TyFun a (Dual a) -> Type) (a6989586621679840113 :: a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (DualSym0 :: TyFun a (Dual a) -> Type) (a6989586621679840113 :: a) = DualSym1 a6989586621679840113

type DualSym1 (a6989586621679840113 :: a) = 'Dual a6989586621679840113 :: Dual (a :: Type)

data GetDualSym0 a6989586621679840116

Instances

SingI (GetDualSym0 :: TyFun (Dual a) a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing GetDualSym0

SuppressUnusedWarnings (GetDualSym0 :: TyFun (Dual a) a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (GetDualSym0 :: TyFun (Dual a) a -> Type) (a6989586621679840116 :: Dual a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (GetDualSym0 :: TyFun (Dual a) a -> Type) (a6989586621679840116 :: Dual a) = GetDualSym1 a6989586621679840116

type GetDualSym1 (a6989586621679840116 :: Dual (a :: Type)) = GetDual a6989586621679840116 :: a

data AllSym0 a6989586621679840130

Instances

SingI AllSym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing AllSym0

SuppressUnusedWarnings AllSym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply AllSym0 (a6989586621679840130 :: Bool)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply AllSym0 (a6989586621679840130 :: Bool) = AllSym1 a6989586621679840130

type AllSym1 (a6989586621679840130 :: Bool) = 'All a6989586621679840130 :: All

data GetAllSym0 a6989586621679840133

Instances

SingI GetAllSym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing GetAllSym0

SuppressUnusedWarnings GetAllSym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply GetAllSym0 (a6989586621679840133 :: All)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply GetAllSym0 (a6989586621679840133 :: All) = GetAllSym1 a6989586621679840133

type GetAllSym1 (a6989586621679840133 :: All) = GetAll a6989586621679840133 :: Bool

data AnySym0 a6989586621679840147

Instances

SingI AnySym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing AnySym0

SuppressUnusedWarnings AnySym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply AnySym0 (a6989586621679840147 :: Bool)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply AnySym0 (a6989586621679840147 :: Bool) = AnySym1 a6989586621679840147

type AnySym1 (a6989586621679840147 :: Bool) = 'Any a6989586621679840147 :: Any

data GetAnySym0 a6989586621679840150

Instances

SingI GetAnySym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing GetAnySym0

SuppressUnusedWarnings GetAnySym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply GetAnySym0 (a6989586621679840150 :: Any)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply GetAnySym0 (a6989586621679840150 :: Any) = GetAnySym1 a6989586621679840150

type GetAnySym1 (a6989586621679840150 :: Any) = GetAny a6989586621679840150 :: Bool

data SumSym0 a6989586621679840169

Instances

SingI (SumSym0 :: TyFun a (Sum a) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing SumSym0

SuppressUnusedWarnings (SumSym0 :: TyFun a (Sum a) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (SumSym0 :: TyFun a (Sum a) -> Type) (a6989586621679840169 :: a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (SumSym0 :: TyFun a (Sum a) -> Type) (a6989586621679840169 :: a) = SumSym1 a6989586621679840169

type SumSym1 (a6989586621679840169 :: a) = 'Sum a6989586621679840169 :: Sum (a :: Type)

data GetSumSym0 a6989586621679840172

Instances

SingI (GetSumSym0 :: TyFun (Sum a) a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing GetSumSym0

SuppressUnusedWarnings (GetSumSym0 :: TyFun (Sum a) a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (GetSumSym0 :: TyFun (Sum a) a -> Type) (a6989586621679840172 :: Sum a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (GetSumSym0 :: TyFun (Sum a) a -> Type) (a6989586621679840172 :: Sum a) = GetSumSym1 a6989586621679840172

type GetSumSym1 (a6989586621679840172 :: Sum (a :: Type)) = GetSum a6989586621679840172 :: a

data ProductSym0 a6989586621679840191

Instances

SingI (ProductSym0 :: TyFun a (Product a) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing ProductSym0

SuppressUnusedWarnings (ProductSym0 :: TyFun a (Product a) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (ProductSym0 :: TyFun a (Product a) -> Type) (a6989586621679840191 :: a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (ProductSym0 :: TyFun a (Product a) -> Type) (a6989586621679840191 :: a) = ProductSym1 a6989586621679840191

type ProductSym1 (a6989586621679840191 :: a) = 'Product a6989586621679840191 :: Product (a :: Type)

data GetProductSym0 a6989586621679840194

Instances

SingI (GetProductSym0 :: TyFun (Product a) a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing GetProductSym0

SuppressUnusedWarnings (GetProductSym0 :: TyFun (Product a) a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (GetProductSym0 :: TyFun (Product a) a -> Type) (a6989586621679840194 :: Product a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (GetProductSym0 :: TyFun (Product a) a -> Type) (a6989586621679840194 :: Product a) = GetProductSym1 a6989586621679840194

type GetProductSym1 (a6989586621679840194 :: Product (a :: Type)) = GetProduct a6989586621679840194 :: a

data FirstSym0 a6989586621680350749

Instances

SingI (FirstSym0 :: TyFun (Maybe a) (First a) -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

sing :: Sing FirstSym0

SuppressUnusedWarnings (FirstSym0 :: TyFun (Maybe a) (First a) -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

type Apply (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) (a6989586621680350749 :: Maybe a)

Defined in Data.Singletons.Prelude.Monoid

type Apply (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) (a6989586621680350749 :: Maybe a) = FirstSym1 a6989586621680350749

type FirstSym1 (a6989586621680350749 :: Maybe a) = 'First a6989586621680350749 :: First (a :: Type)

data GetFirstSym0 a6989586621680350752

Instances

SingI (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

sing :: Sing GetFirstSym0

SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

type Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) (a6989586621680350752 :: First a)

Defined in Data.Singletons.Prelude.Monoid

type Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) (a6989586621680350752 :: First a) = GetFirstSym1 a6989586621680350752

type GetFirstSym1 (a6989586621680350752 :: First (a :: Type)) = GetFirst a6989586621680350752 :: Maybe a

data LastSym0 a6989586621680350776

Instances

SingI (LastSym0 :: TyFun (Maybe a) (Last a) -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

sing :: Sing LastSym0

SuppressUnusedWarnings (LastSym0 :: TyFun (Maybe a) (Last a) -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

type Apply (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) (a6989586621680350776 :: Maybe a)

Defined in Data.Singletons.Prelude.Monoid

type Apply (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) (a6989586621680350776 :: Maybe a) = LastSym1 a6989586621680350776

type LastSym1 (a6989586621680350776 :: Maybe a) = 'Last a6989586621680350776 :: Last (a :: Type)

data GetLastSym0 a6989586621680350779

Instances

SingI (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

sing :: Sing GetLastSym0

SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

type Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) (a6989586621680350779 :: Last a)

Defined in Data.Singletons.Prelude.Monoid

type Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) (a6989586621680350779 :: Last a) = GetLastSym1 a6989586621680350779

type GetLastSym1 (a6989586621680350779 :: Last (a :: Type)) = GetLast a6989586621680350779 :: Maybe a

Orphan instances

SMonad First

Methods

(%>>=) :: forall a b (t :: First a) (t :: a ~> First b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t)

(%>>) :: forall a b (t :: First a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t)

sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t)

SMonad Last

Methods

(%>>=) :: forall a b (t :: Last a) (t :: a ~> Last b). Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t)

(%>>) :: forall a b (t :: Last a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t)

sReturn :: forall a (t :: a). Sing t -> Sing (Apply ReturnSym0 t)

SApplicative First

Methods

sPure :: forall a (t :: a). Sing t -> Sing (Apply PureSym0 t)

(%<*>) :: forall a b (t :: First (a ~> b)) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply (<*>@#@$) t) t)

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)

(%*>) :: forall a b (t :: First a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (*>@#@$) t) t)

(%<*) :: forall a b (t :: First a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (<*@#@$) t) t)

SApplicative Last

Methods

sPure :: forall a (t :: a). Sing t -> Sing (Apply PureSym0 t)

(%<*>) :: forall a b (t :: Last (a ~> b)) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply (<*>@#@$) t) t)

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)

(%*>) :: forall a b (t :: Last a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (*>@#@$) t) t)

(%<*) :: forall a b (t :: Last a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (<*@#@$) t) t)

SFunctor First

Methods

sFmap :: forall a b (t :: a ~> b) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: forall a b (t :: a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor Last

Methods

sFmap :: forall a b (t :: a ~> b) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: forall a b (t :: a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

PMonad First

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

PMonad Last

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

PApplicative First

Associated Types

type Pure arg :: f a

type arg <*> arg :: f b

type LiftA2 arg arg arg :: f c

type arg *> arg :: f b

type arg <* arg :: f a

PApplicative Last

Associated Types

type Pure arg :: f a

type arg <*> arg :: f b

type LiftA2 arg arg arg :: f c

type arg *> arg :: f b

type arg <* arg :: f a

PFunctor First

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Last

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

SingKind a => SingKind (First a)

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)

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)

Methods

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

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

Methods

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

PEq (First a)

Associated Types

type x == y :: Bool

type x /= y :: Bool

PEq (Last a)

Associated Types

type x == y :: Bool

type x /= y :: Bool

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

Methods

(%==) :: forall (a0 :: First a) (b :: First a). Sing a0 -> Sing b -> Sing (a0 == b)

(%/=) :: forall (a0 :: First a) (b :: First a). Sing a0 -> Sing b -> Sing (a0 /= b)

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

Methods

(%==) :: forall (a0 :: Last a) (b :: Last a). Sing a0 -> Sing b -> Sing (a0 == b)

(%/=) :: forall (a0 :: Last a) (b :: Last a). Sing a0 -> Sing b -> Sing (a0 /= b)

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

Methods

sCompare :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t)

(%<) :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply (<@#@$) t) t)

(%<=) :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply (<=@#@$) t) t)

(%>) :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply (>@#@$) t) t)

(%>=) :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply (>=@#@$) t) t)

sMax :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t)

sMin :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t)

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

Methods

sCompare :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t)

(%<) :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply (<@#@$) t) t)

(%<=) :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply (<=@#@$) t) t)

(%>) :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply (>@#@$) t) t)

(%>=) :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply (>=@#@$) t) t)

sMax :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t)

sMin :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t)

POrd (First a)

Associated Types

type Compare arg arg :: Ordering

type arg < arg :: Bool

type arg <= arg :: Bool

type arg > arg :: Bool

type arg >= arg :: Bool

type Max arg arg :: a

type Min arg arg :: a

POrd (Last a)

Associated Types

type Compare arg arg :: Ordering

type arg < arg :: Bool

type arg <= arg :: Bool

type arg > arg :: Bool

type arg >= arg :: Bool

type Max arg arg :: a

type Min arg arg :: a

SSemigroup (First a)

Methods

(%<>) :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t)

sSconcat :: forall (t :: NonEmpty (First a)). Sing t -> Sing (Apply SconcatSym0 t)

SSemigroup (Last a)

Methods

(%<>) :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t)

sSconcat :: forall (t :: NonEmpty (Last a)). Sing t -> Sing (Apply SconcatSym0 t)

PSemigroup (First a)

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Last a)

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

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

Methods

sShowsPrec :: forall (t :: Nat) (t :: First a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t)

sShow_ :: forall (t :: First a). Sing t -> Sing (Apply Show_Sym0 t)

sShowList :: forall (t :: [First a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t)

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

Methods

sShowsPrec :: forall (t :: Nat) (t :: Last a) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t)

sShow_ :: forall (t :: Last a). Sing t -> Sing (Apply Show_Sym0 t)

sShowList :: forall (t :: [Last a]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t)

PShow (First a)

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Last a)

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

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

Methods

sing :: Sing ('First0 n)

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

Methods

sing :: Sing ('Last0 n)