Data.Singletons.Prelude.Monoid

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

Documentation

class PSemigroup a => PMonoid (a :: Type)

Associated Types

type Mempty :: a

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

type Mconcat (arg :: [a]) :: 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 (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)

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

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

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

Instances

SMonoid Ordering

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SMonoid Symbol

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SMonoid ()

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SMonoid All

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SMonoid Any

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SMonoid [a]

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SSemigroup a => SMonoid (Maybe a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

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

Defined in Data.Singletons.Prelude.Semigroup

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

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

Defined in Data.Singletons.Prelude.Semigroup

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SMonoid m => SMonoid (WrappedMonoid m)

Defined in Data.Singletons.Prelude.Semigroup

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SSemigroup a => SMonoid (Option a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SMonoid a => SMonoid (Identity a)

Defined in Data.Singletons.Prelude.Identity

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SMonoid (First a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SMonoid (Last a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SMonoid a => SMonoid (Dual a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SNum a => SMonoid (Sum a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SNum a => SMonoid (Product a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SMonoid a => SMonoid (Down a)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

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

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SMonoid b => SMonoid (a ~> b)

Defined in Data.Singletons.Prelude.Monoid

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: 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 :: Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

SMonoid a => SMonoid (Const a b)

Defined in Data.Singletons.Prelude.Const

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: 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 :: Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: 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 :: Sing t -> Sing t -> Sing (Apply (Apply MappendSym0 t) t)

sMconcat :: Sing t -> Sing (Apply MconcatSym0 t)

data family Sing :: k -> Type

The singleton kind-indexed data family.

Instances

SDecide k => TestCoercion (Sing :: k -> Type)

Defined in Data.Singletons.Decide

Methods

testCoercion :: Sing a -> Sing b -> Maybe (Coercion a b)

SDecide k => TestEquality (Sing :: k -> Type)

Defined in Data.Singletons.Decide

Methods

testEquality :: Sing a -> Sing b -> Maybe (a :~: b)

Show (SSymbol s)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> SSymbol s -> ShowS

show :: SSymbol s -> String

showList :: [SSymbol s] -> ShowS

Show (SNat n)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> SNat n -> ShowS

show :: SNat n -> String

showList :: [SNat n] -> ShowS

Eq (Sing a)

Defined in Data.Singletons.TypeRepTYPE

Methods

(==) :: Sing a -> Sing a -> Bool

(/=) :: Sing a -> Sing a -> Bool

Ord (Sing a)

Defined in Data.Singletons.TypeRepTYPE

Methods

compare :: Sing a -> Sing a -> Ordering

(<) :: Sing a -> Sing a -> Bool

(<=) :: Sing a -> Sing a -> Bool

(>) :: Sing a -> Sing a -> Bool

(>=) :: Sing a -> Sing a -> Bool

max :: Sing a -> Sing a -> Sing a

min :: Sing a -> Sing a -> Sing a

Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

(ShowSing a, ShowSing [a]) => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

(ShowSing a, ShowSing b) => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

Show (Sing a)

Defined in Data.Singletons.TypeRepTYPE

Methods

showsPrec :: Int -> Sing a -> ShowS

show :: Sing a -> String

showList :: [Sing a] -> ShowS

Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

(ShowSing a, ShowSing b) => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

(ShowSing a, ShowSing b) => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing m => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.Prelude.Monoid

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.Prelude.Monoid

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing Bool => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing Bool => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

(ShowSing a, ShowSing [a]) => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

data Sing (a :: Bool)

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Bool) where

• SFalse :: forall (a :: Bool). Sing False
• STrue :: forall (a :: Bool). Sing True

data Sing (a :: Ordering)

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Ordering) where

• SLT :: forall (a :: Ordering). Sing LT
• SEQ :: forall (a :: Ordering). Sing EQ
• SGT :: forall (a :: Ordering). Sing GT

data Sing (n :: Nat)

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Nat) where

• SNat :: forall (n :: Nat). KnownNat n => Sing n

data Sing (n :: Symbol)

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Symbol) where

• SSym :: forall (n :: Symbol). KnownSymbol n => Sing n

data Sing (a :: ())

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: ()) where

• STuple0 :: forall (a :: ()). Sing ()

data Sing (a :: Void)

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Void)

data Sing (a :: All)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: All) where

• SAll :: forall (a :: All) (n :: Bool). {..} -> Sing (All n)

data Sing (a :: Any)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: Any) where

• SAny :: forall (a :: Any) (n :: Bool). {..} -> Sing (Any n)

data Sing (a :: PErrorMessage)

Defined in Data.Singletons.TypeError

data Sing (a :: PErrorMessage) where

• SText :: forall (a :: PErrorMessage) (t :: Symbol). Sing t -> Sing (Text t)
• SShowType :: forall (a :: PErrorMessage) t (ty :: t). Sing ty -> Sing (ShowType ty :: ErrorMessage' Symbol)
• (:%<>:) :: forall (a :: PErrorMessage) (e1 :: ErrorMessage' Symbol) (e2 :: ErrorMessage' Symbol). Sing e1 -> Sing e2 -> Sing (e1 :<>: e2)
• (:%$$:) :: forall (a :: PErrorMessage) (e1 :: ErrorMessage' Symbol) (e2 :: ErrorMessage' Symbol). Sing e1 -> Sing e2 -> Sing (e1 :$$: e2)

data Sing (b :: [a])

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: [a]) where

• SNil :: forall k (b :: [k]). Sing ([] :: [k])
• SCons :: forall a (b :: [a]) (n :: a) (n :: [a]). Sing n -> Sing n -> Sing (n ': n)

data Sing (b :: Maybe a)

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: Maybe a) where

• SNothing :: forall a (b :: Maybe a). Sing (Nothing :: Maybe a)
• SJust :: forall a (b :: Maybe a) (n :: a). Sing n -> Sing (Just n)

data Sing (a :: TYPE rep)

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 -> Type` 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

data Sing (a :: TYPE rep) = STypeRep (TypeRep a)

data Sing (b :: Min a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Min a) where

• SMin :: forall a (b :: Min a) (n :: a). {..} -> Sing (Min n)

data Sing (b :: Max a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Max a) where

• SMax :: forall a (b :: Max a) (n :: a). {..} -> Sing (Max n)

data Sing (b :: First a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: First a) where

• SFirst :: forall a (b :: First a) (n :: a). {..} -> Sing (First n)

data Sing (b :: Last a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Last a) where

• SLast :: forall a (b :: Last a) (n :: a). {..} -> Sing (Last n)

data Sing (a :: WrappedMonoid m)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: WrappedMonoid m) where

• SWrapMonoid :: forall m (a :: WrappedMonoid m) (n :: m). {..} -> Sing (WrapMonoid n)

data Sing (b :: Option a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Option a) where

• SOption :: forall a (b :: Option a) (n :: Maybe a). {..} -> Sing (Option n)

data Sing (b :: Identity a)

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: Identity a) where

• SIdentity :: forall a (b :: Identity a) (n :: a). {..} -> Sing (Identity n)

data Sing (b :: First a)

Defined in Data.Singletons.Prelude.Monoid

data Sing (b :: First a) where

• SFirst :: forall a (b :: First a) (n :: Maybe a). {..} -> Sing (First n)

data Sing (b :: Last a)

Defined in Data.Singletons.Prelude.Monoid

data Sing (b :: Last a) where

• SLast :: forall a (b :: Last a) (n :: Maybe a). {..} -> Sing (Last n)

data Sing (b :: Dual a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Dual a) where

• SDual :: forall a (b :: Dual a) (n :: a). {..} -> Sing (Dual n)

data Sing (b :: Sum a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Sum a) where

• SSum :: forall a (b :: Sum a) (n :: a). {..} -> Sing (Sum n)

data Sing (b :: Product a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Product a) where

• SProduct :: forall a (b :: Product a) (n :: a). {..} -> Sing (Product n)

data Sing (b :: Down a)

Defined in Data.Singletons.Prelude.Ord

data Sing (b :: Down a) where

• SDown :: forall a (b :: Down a) (n :: a). Sing n -> Sing (Down n)

data Sing (b :: NonEmpty a)

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: NonEmpty a) where

• (:%|) :: forall a (b :: NonEmpty a) (n :: a) (n :: [a]). Sing n -> Sing n -> Sing (n :| n)

data Sing (c :: Either a b)

Defined in Data.Singletons.Prelude.Instances

data Sing (c :: Either a b) where

• SLeft :: forall a b (c :: Either a b) (n :: a). Sing n -> Sing (Left n :: Either a b)
• SRight :: forall a b (c :: Either a b) (n :: b). Sing n -> Sing (Right n :: Either a b)

data Sing (c :: (a, b))

Defined in Data.Singletons.Prelude.Instances

data Sing (c :: (a, b)) where

• STuple2 :: forall a b (c :: (a, b)) (n :: a) (n :: b). Sing n -> Sing n -> Sing ((,) n n)

data Sing (c :: Arg a b)

Defined in Data.Singletons.Prelude.Semigroup

data Sing (c :: Arg a b) where

• SArg :: forall a b (c :: Arg a b) (n :: a) (n :: b). Sing n -> Sing n -> Sing (Arg n n)

data Sing (f :: k1 ~> k2)

Defined in Data.Singletons.Internal

data Sing (f :: k1 ~> k2) = SLambda {

• applySing :: forall (t :: k1). Sing t -> Sing (f @@ t)

}

data Sing (d :: (a, b, c))

Defined in Data.Singletons.Prelude.Instances

data Sing (d :: (a, b, c)) where

• STuple3 :: forall a b c (d :: (a, b, c)) (n :: a) (n :: b) (n :: c). Sing n -> Sing n -> Sing n -> Sing ((,,) n n n)

data Sing (c :: Const a b)

Defined in Data.Singletons.Prelude.Const

data Sing (c :: Const a b) where

• SConst :: forall k a (b :: k) (c :: Const a b) (a :: a). {..} -> Sing (Const a :: Const a b)

data Sing (e :: (a, b, c, d))

Defined in Data.Singletons.Prelude.Instances

data Sing (e :: (a, b, c, d)) where

• STuple4 :: forall a b c d (e :: (a, b, c, d)) (n :: a) (n :: b) (n :: c) (n :: d). Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,) n n n n)

data Sing (f :: (a, b, c, d, e))

Defined in Data.Singletons.Prelude.Instances

data Sing (f :: (a, b, c, d, e)) where

• STuple5 :: forall a b c d e (f :: (a, b, c, d, e)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,) n n n n n)

data Sing (g :: (a, b, c, d, e, f))

Defined in Data.Singletons.Prelude.Instances

data Sing (g :: (a, b, c, d, e, f)) where

• STuple6 :: forall a b c d e f (g :: (a, b, c, d, e, f)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,,) n n n n n n)

data Sing (h :: (a, b, c, d, e, f, g))

Defined in Data.Singletons.Prelude.Instances

data Sing (h :: (a, b, c, d, e, f, g)) where

• STuple7 :: forall a b c d e f g (h :: (a, b, c, d, e, f, g)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f) (n :: g). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,,,) n n n n n n n)

type family GetDual (a :: Dual a) :: a where ...

Equations

GetDual (Dual field) = field

type family GetAll (a :: All) :: Bool where ...

Equations

GetAll (All field) = field

type family GetAny (a :: Any) :: Bool where ...

Equations

GetAny (Any field) = field

type family GetSum (a :: Sum a) :: a where ...

Equations

GetSum (Sum field) = field

type family GetProduct (a :: Product a) :: a where ...

Equations

GetProduct (Product field) = field

type family GetFirst (a :: First a) :: Maybe a where ...

Equations

GetFirst (First field) = field

type family GetLast (a :: Last a) :: Maybe a where ...

Equations

GetLast (Last field) = field

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)

Defunctionalization symbols

type MemptySym0 = Mempty

data MappendSym0 :: forall a6989586621680329525. (~>) a6989586621680329525 ((~>) a6989586621680329525 a6989586621680329525)

Instances

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

Defined in Data.Singletons.Prelude.Monoid

Methods

sing :: Sing MappendSym0

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

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

type Apply (MappendSym0 :: TyFun a6989586621680329525 (a6989586621680329525 ~> a6989586621680329525) -> Type) (arg6989586621680329910 :: a6989586621680329525)

Defined in Data.Singletons.Prelude.Monoid

type Apply (MappendSym0 :: TyFun a6989586621680329525 (a6989586621680329525 ~> a6989586621680329525) -> Type) (arg6989586621680329910 :: a6989586621680329525) = MappendSym1 arg6989586621680329910

data MappendSym1 (arg6989586621680329910 :: a6989586621680329525) :: (~>) a6989586621680329525 a6989586621680329525

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 arg6989586621680329910 :: TyFun a6989586621680329525 a6989586621680329525 -> Type)

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

type Apply (MappendSym1 arg6989586621680329910 :: TyFun a a -> Type) (arg6989586621680329911 :: a)

Defined in Data.Singletons.Prelude.Monoid

type Apply (MappendSym1 arg6989586621680329910 :: TyFun a a -> Type) (arg6989586621680329911 :: a) = Mappend arg6989586621680329910 arg6989586621680329911

type MappendSym2 (arg6989586621680329910 :: a6989586621680329525) (arg6989586621680329911 :: a6989586621680329525) = Mappend arg6989586621680329910 arg6989586621680329911

data MconcatSym0 :: forall a6989586621680329525. (~>) [a6989586621680329525] a6989586621680329525

Instances

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

Defined in Data.Singletons.Prelude.Monoid

Methods

sing :: Sing MconcatSym0

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

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Monoid

type Apply (MconcatSym0 :: TyFun [a] a -> Type) (arg6989586621680329914 :: [a]) = Mconcat arg6989586621680329914

type MconcatSym1 (arg6989586621680329914 :: [a6989586621680329525]) = Mconcat arg6989586621680329914

data DualSym0 :: forall (a6989586621679086865 :: Type). (~>) a6989586621679086865 (Dual (a6989586621679086865 :: Type))

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing DualSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type DualSym1 (t6989586621679820066 :: a6989586621679086865) = Dual t6989586621679820066

data GetDualSym0 :: forall a6989586621679086865. (~>) (Dual a6989586621679086865) a6989586621679086865

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (GetDualSym0 :: TyFun (Dual a) a -> Type) (a6989586621679820063 :: Dual a) = GetDual a6989586621679820063

type GetDualSym1 (a6989586621679820063 :: Dual a6989586621679086865) = GetDual a6989586621679820063

data AllSym0 :: (~>) Bool All

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 (t6989586621679820080 :: Bool)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply AllSym0 (t6989586621679820080 :: Bool) = All t6989586621679820080

type AllSym1 (t6989586621679820080 :: Bool) = All t6989586621679820080

data GetAllSym0 :: (~>) All Bool

Instances

SuppressUnusedWarnings GetAllSym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply GetAllSym0 (a6989586621679820077 :: All)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply GetAllSym0 (a6989586621679820077 :: All) = GetAll a6989586621679820077

type GetAllSym1 (a6989586621679820077 :: All) = GetAll a6989586621679820077

data AnySym0 :: (~>) Bool Any

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 (t6989586621679820094 :: Bool)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply AnySym0 (t6989586621679820094 :: Bool) = Any t6989586621679820094

type AnySym1 (t6989586621679820094 :: Bool) = Any t6989586621679820094

data GetAnySym0 :: (~>) Any Bool

Instances

SuppressUnusedWarnings GetAnySym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply GetAnySym0 (a6989586621679820091 :: Any)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply GetAnySym0 (a6989586621679820091 :: Any) = GetAny a6989586621679820091

type GetAnySym1 (a6989586621679820091 :: Any) = GetAny a6989586621679820091

data SumSym0 :: forall (a6989586621679086850 :: Type). (~>) a6989586621679086850 (Sum (a6989586621679086850 :: Type))

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing SumSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type SumSym1 (t6989586621679820111 :: a6989586621679086850) = Sum t6989586621679820111

data GetSumSym0 :: forall a6989586621679086850. (~>) (Sum a6989586621679086850) a6989586621679086850

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (GetSumSym0 :: TyFun (Sum a) a -> Type) (a6989586621679820108 :: Sum a) = GetSum a6989586621679820108

type GetSumSym1 (a6989586621679820108 :: Sum a6989586621679086850) = GetSum a6989586621679820108

data ProductSym0 :: forall (a6989586621679086855 :: Type). (~>) a6989586621679086855 (Product (a6989586621679086855 :: Type))

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing ProductSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type ProductSym1 (t6989586621679820128 :: a6989586621679086855) = Product t6989586621679820128

data GetProductSym0 :: forall a6989586621679086855. (~>) (Product a6989586621679086855) a6989586621679086855

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (GetProductSym0 :: TyFun (Product a) a -> Type) (a6989586621679820125 :: Product a) = GetProduct a6989586621679820125

type GetProductSym1 (a6989586621679820125 :: Product a6989586621679086855) = GetProduct a6989586621679820125

data FirstSym0 :: forall (a6989586621679086894 :: Type). (~>) (Maybe a6989586621679086894) (First (a6989586621679086894 :: Type))

Instances

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

Defined in Data.Singletons.Prelude.Monoid

Methods

sing :: Sing FirstSym0

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

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Monoid

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

type FirstSym1 (t6989586621680333440 :: Maybe a6989586621679086894) = First t6989586621680333440

data GetFirstSym0 :: forall a6989586621679086894. (~>) (First a6989586621679086894) (Maybe a6989586621679086894)

Instances

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

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Monoid

type Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) (a6989586621680333437 :: First a) = GetFirst a6989586621680333437

type GetFirstSym1 (a6989586621680333437 :: First a6989586621679086894) = GetFirst a6989586621680333437

data LastSym0 :: forall (a6989586621679086889 :: Type). (~>) (Maybe a6989586621679086889) (Last (a6989586621679086889 :: Type))

Instances

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

Defined in Data.Singletons.Prelude.Monoid

Methods

sing :: Sing LastSym0

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

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Monoid

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

type LastSym1 (t6989586621680333461 :: Maybe a6989586621679086889) = Last t6989586621680333461

data GetLastSym0 :: forall a6989586621679086889. (~>) (Last a6989586621679086889) (Maybe a6989586621679086889)

Instances

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

Defined in Data.Singletons.Prelude.Monoid

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Monoid

type Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) (a6989586621680333458 :: Last a) = GetLast a6989586621680333458

type GetLastSym1 (a6989586621680333458 :: Last a6989586621679086889) = GetLast a6989586621680333458

Orphan instances

SMonad First

Methods

(%>>=) :: Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t)

(%>>) :: Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t)

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SMonad Last

Methods

(%>>=) :: Sing t -> Sing t -> Sing (Apply (Apply (>>=@#@$) t) t)

(%>>) :: Sing t -> Sing t -> Sing (Apply (Apply (>>@#@$) t) t)

sReturn :: Sing t -> Sing (Apply ReturnSym0 t)

sFail :: Sing t -> Sing (Apply FailSym0 t)

SApplicative First

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t)

(%<*>) :: Sing t -> Sing t -> Sing (Apply (Apply (<*>@#@$) t) t)

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t)

(%*>) :: Sing t -> Sing t -> Sing (Apply (Apply (*>@#@$) t) t)

(%<*) :: Sing t -> Sing t -> Sing (Apply (Apply (<*@#@$) t) t)

SApplicative Last

Methods

sPure :: Sing t -> Sing (Apply PureSym0 t)

(%<*>) :: Sing t -> Sing t -> Sing (Apply (Apply (<*>@#@$) t) t)

sLiftA2 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t)

(%*>) :: Sing t -> Sing t -> Sing (Apply (Apply (*>@#@$) t) t)

(%<*) :: Sing t -> Sing t -> Sing (Apply (Apply (<*@#@$) t) t)

SFunctor First

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor Last

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: 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

type Fail arg :: m a

PMonad Last

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail 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 :: 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 :: Sing a0 -> Demote (Last a)

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

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

Methods

(%~) :: Sing a0 -> Sing b -> Decision (a0 :~: b)

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

Methods

(%~) :: 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

(%==) :: Sing a0 -> Sing b -> Sing (a0 == b)

(%/=) :: Sing a0 -> Sing b -> Sing (a0 /= b)

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

Methods

(%==) :: Sing a0 -> Sing b -> Sing (a0 == b)

(%/=) :: Sing a0 -> Sing b -> Sing (a0 /= b)

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

Methods

sCompare :: Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t)

(%<) :: Sing t -> Sing t -> Sing (Apply (Apply (<@#@$) t) t)

(%<=) :: Sing t -> Sing t -> Sing (Apply (Apply (<=@#@$) t) t)

(%>) :: Sing t -> Sing t -> Sing (Apply (Apply (>@#@$) t) t)

(%>=) :: Sing t -> Sing t -> Sing (Apply (Apply (>=@#@$) t) t)

sMax :: Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t)

sMin :: Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t)

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

Methods

sCompare :: Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t)

(%<) :: Sing t -> Sing t -> Sing (Apply (Apply (<@#@$) t) t)

(%<=) :: Sing t -> Sing t -> Sing (Apply (Apply (<=@#@$) t) t)

(%>) :: Sing t -> Sing t -> Sing (Apply (Apply (>@#@$) t) t)

(%>=) :: Sing t -> Sing t -> Sing (Apply (Apply (>=@#@$) t) t)

sMax :: Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t)

sMin :: 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

(%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t)

sSconcat :: Sing t -> Sing (Apply SconcatSym0 t)

SSemigroup (Last a)

Methods

(%<>) :: Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t)

sSconcat :: 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 :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t)

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t)

sShowList :: Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t)

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

Methods

sShowsPrec :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t)

sShow_ :: Sing t -> Sing (Apply Show_Sym0 t)

sShowList :: 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)

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

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

SingI (TyCon1 (Last :: Maybe a -> Last a) :: Maybe a ~> Last a)

Methods

sing :: Sing (TyCon1 Last0)

SingI (TyCon1 (First :: Maybe a -> First a) :: Maybe a ~> First a)

Methods

sing :: Sing (TyCon1 First0)