Data.Monoid.Singletons

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) (arg1 :: a) :: a

type Mappend (arg :: a) (arg1 :: a) = Mappend_6989586621679860753 arg arg1

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

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

Instances

PMonoid All

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

type Mappend (arg1 :: All) (arg2 :: All)

Defined in Data.Monoid.Singletons

type Mappend (arg1 :: All) (arg2 :: All)

type Mconcat (arg :: [All])

Defined in Data.Monoid.Singletons

type Mconcat (arg :: [All])

PMonoid Any

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

type Mappend (arg1 :: Any) (arg2 :: Any)

Defined in Data.Monoid.Singletons

type Mappend (arg1 :: Any) (arg2 :: Any)

type Mconcat (arg :: [Any])

Defined in Data.Monoid.Singletons

type Mconcat (arg :: [Any])

PMonoid Ordering

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

type Mappend (arg1 :: Ordering) (arg2 :: Ordering)

Defined in Data.Monoid.Singletons

type Mappend (arg1 :: Ordering) (arg2 :: Ordering)

type Mconcat (arg :: [Ordering])

Defined in Data.Monoid.Singletons

type Mconcat (arg :: [Ordering])

PMonoid ()

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

type Mappend (arg1 :: ()) (arg2 :: ())

Defined in Data.Monoid.Singletons

type Mappend (arg1 :: ()) (arg2 :: ())

type Mconcat (a :: [()])

Defined in Data.Monoid.Singletons

type Mconcat (a :: [()])

PMonoid Symbol

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

type Mappend (arg1 :: Symbol) (arg2 :: Symbol)

Defined in Data.Monoid.Singletons

type Mappend (arg1 :: Symbol) (arg2 :: Symbol)

type Mconcat (arg :: [Symbol])

Defined in Data.Monoid.Singletons

type Mconcat (arg :: [Symbol])

PMonoid (Max a)

Defined in Data.Semigroup.Singletons

Associated Types

type Mempty

Defined in Data.Semigroup.Singletons

type Mempty

PMonoid (Min a)

Defined in Data.Semigroup.Singletons

Associated Types

type Mempty

Defined in Data.Semigroup.Singletons

type Mempty

PMonoid (WrappedMonoid m)

Defined in Data.Semigroup.Singletons

Associated Types

type Mempty

Defined in Data.Semigroup.Singletons

type Mempty

PMonoid (Identity a)

Defined in Data.Functor.Identity.Singletons

Associated Types

type Mempty

Defined in Data.Functor.Identity.Singletons

type Mempty

PMonoid (First a)

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

PMonoid (Last a)

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

PMonoid (Down a)

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

PMonoid (Dual a)

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

PMonoid (Product a)

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

PMonoid (Sum a)

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

PMonoid (Maybe a)

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

PMonoid [a]

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

PMonoid (Proxy s)

Defined in Data.Proxy.Singletons

Associated Types

type Mempty

Defined in Data.Proxy.Singletons

type Mempty

PMonoid (a ~> b)

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

PMonoid (a, b)

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

PMonoid (Const a b)

Defined in Data.Functor.Const.Singletons

Associated Types

type Mempty

Defined in Data.Functor.Const.Singletons

type Mempty

PMonoid (a, b, c)

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

PMonoid (a, b, c, d)

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

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

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

class SSemigroup a => SMonoid a where

Minimal complete definition

sMempty

Methods

sMempty :: Sing (Mempty :: a)

sMappend :: forall (t1 :: a) (t2 :: a). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

default sMappend :: forall (t1 :: a) (t2 :: a). Mappend t1 t2 ~ Mappend_6989586621679860753 t1 t2 => Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

default sMconcat :: forall (t :: [a]). Mconcat t ~ Mconcat_6989586621679860767 t => Sing t -> Sing (Mconcat t)

Instances

SMonoid All

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: All)

sMappend :: forall (t1 :: All) (t2 :: All). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid Any

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: Any)

sMappend :: forall (t1 :: Any) (t2 :: Any). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid Ordering

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: Ordering)

sMappend :: forall (t1 :: Ordering) (t2 :: Ordering). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid ()

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: ())

sMappend :: forall (t1 :: ()) (t2 :: ()). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid Symbol

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: Symbol)

sMappend :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

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

Defined in Data.Semigroup.Singletons

Methods

sMempty :: Sing (Mempty :: Max a)

sMappend :: forall (t1 :: Max a) (t2 :: Max a). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

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

Defined in Data.Semigroup.Singletons

Methods

sMempty :: Sing (Mempty :: Min a)

sMappend :: forall (t1 :: Min a) (t2 :: Min a). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid m => SMonoid (WrappedMonoid m)

Defined in Data.Semigroup.Singletons

Methods

sMempty :: Sing (Mempty :: WrappedMonoid m)

sMappend :: forall (t1 :: WrappedMonoid m) (t2 :: WrappedMonoid m). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid a => SMonoid (Identity a)

Defined in Data.Functor.Identity.Singletons

Methods

sMempty :: Sing (Mempty :: Identity a)

sMappend :: forall (t1 :: Identity a) (t2 :: Identity a). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid (First a)

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: First a)

sMappend :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid (Last a)

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: Last a)

sMappend :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid a => SMonoid (Down a)

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: Down a)

sMappend :: forall (t1 :: Down a) (t2 :: Down a). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid a => SMonoid (Dual a)

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: Dual a)

sMappend :: forall (t1 :: Dual a) (t2 :: Dual a). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SNum a => SMonoid (Product a)

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: Product a)

sMappend :: forall (t1 :: Product a) (t2 :: Product a). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SNum a => SMonoid (Sum a)

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: Sum a)

sMappend :: forall (t1 :: Sum a) (t2 :: Sum a). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SSemigroup a => SMonoid (Maybe a)

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: Maybe a)

sMappend :: forall (t1 :: Maybe a) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid [a]

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: [a])

sMappend :: forall (t1 :: [a]) (t2 :: [a]). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid (Proxy s)

Defined in Data.Proxy.Singletons

Methods

sMempty :: Sing (Mempty :: Proxy s)

sMappend :: forall (t1 :: Proxy s) (t2 :: Proxy s). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid b => SMonoid (a ~> b)

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: a ~> b)

sMappend :: forall (t1 :: a ~> b) (t2 :: a ~> b). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

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

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: (a, b))

sMappend :: forall (t1 :: (a, b)) (t2 :: (a, b)). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

SMonoid a => SMonoid (Const a b)

Defined in Data.Functor.Const.Singletons

Methods

sMempty :: Sing (Mempty :: Const a b)

sMappend :: forall (t1 :: Const a b) (t2 :: Const a b). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

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

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: (a, b, c))

sMappend :: forall (t1 :: (a, b, c)) (t2 :: (a, b, c)). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

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

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: (a, b, c, d))

sMappend :: forall (t1 :: (a, b, c, d)) (t2 :: (a, b, c, d)). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

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

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (Mempty :: (a, b, c, d, e))

sMappend :: forall (t1 :: (a, b, c, d, e)) (t2 :: (a, b, c, d, e)). Sing t1 -> Sing t2 -> Sing (Mappend t1 t2)

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

type family Sing :: k -> Type

Instances

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SVoid

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SAll

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SAny

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SOrdering

type Sing

Defined in Data.Singletons.Base.TypeError

type Sing = SErrorMessage

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SNat

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple0

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SBool

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SChar

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SSymbol

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SFirst :: First a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SLast :: Last a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SMax :: Max a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SMin :: Min a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SWrappedMonoid :: WrappedMonoid m -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SNonEmpty :: NonEmpty a -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SIdentity :: Identity a -> Type

type Sing

Defined in Data.Monoid.Singletons

type Sing = SFirst :: First a -> Type

type Sing

Defined in Data.Monoid.Singletons

type Sing = SLast :: Last a -> Type

type Sing

Defined in Data.Ord.Singletons

type Sing = SDown :: Down a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SDual :: Dual a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SProduct :: Product a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SSum :: Sum a -> Type

type Sing

Defined in Data.Singletons.Base.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.Base.TypeRepTYPE

type Sing = TypeRep :: TYPE rep -> Type

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Semigroup.Singletons

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

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Proxy.Singletons

type Sing = SProxy :: Proxy t -> Type

type Sing

Defined in Data.Singletons

type Sing = SWrappedSing :: WrappedSing a -> Type

type Sing

Defined in Data.Singletons

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

type Sing

Defined in Data.Singletons.Sigma

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

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Functor.Const.Singletons

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

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Functor.Product.Singletons

type Sing = SProduct :: Product f g a -> Type

type Sing

Defined in Data.Functor.Sum.Singletons

type Sing = SSum :: Sum f g a -> Type

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Functor.Compose.Singletons

type Sing = SCompose :: Compose f g a -> Type

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Singletons.Base.Instances

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

data SDual (a1 :: Dual a) where

Constructors

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

Instances

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

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

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

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

ShowSing a => Show (SDual z)

Defined in Data.Semigroup.Singletons

Methods

showsPrec :: Int -> SDual z -> ShowS

show :: SDual z -> String

showList :: [SDual z] -> ShowS

Eq (SDual z)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

(==) :: SDual z -> SDual z -> Bool

(/=) :: SDual z -> SDual z -> Bool

data SAll (a :: All) where

Constructors

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

Instances

SDecide Bool => TestCoercion SAll

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

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

SDecide Bool => TestEquality SAll

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

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

ShowSing Bool => Show (SAll z)

Defined in Data.Semigroup.Singletons

Methods

showsPrec :: Int -> SAll z -> ShowS

show :: SAll z -> String

showList :: [SAll z] -> ShowS

Eq (SAll z)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

(==) :: SAll z -> SAll z -> Bool

(/=) :: SAll z -> SAll z -> Bool

data SAny (a :: Any) where

Constructors

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

Instances

SDecide Bool => TestCoercion SAny

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

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

SDecide Bool => TestEquality SAny

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

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

ShowSing Bool => Show (SAny z)

Defined in Data.Semigroup.Singletons

Methods

showsPrec :: Int -> SAny z -> ShowS

show :: SAny z -> String

showList :: [SAny z] -> ShowS

Eq (SAny z)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

(==) :: SAny z -> SAny z -> Bool

(/=) :: SAny z -> SAny z -> Bool

data SSum (a1 :: Sum a) where

Constructors

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

Instances

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

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

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

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

ShowSing a => Show (SSum z)

Defined in Data.Semigroup.Singletons

Methods

showsPrec :: Int -> SSum z -> ShowS

show :: SSum z -> String

showList :: [SSum z] -> ShowS

Eq (SSum z)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

(==) :: SSum z -> SSum z -> Bool

(/=) :: SSum z -> SSum z -> Bool

data SProduct (a1 :: Product a) where

Constructors

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

Instances

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

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

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

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

ShowSing a => Show (SProduct z)

Defined in Data.Semigroup.Singletons

Methods

showsPrec :: Int -> SProduct z -> ShowS

show :: SProduct z -> String

showList :: [SProduct z] -> ShowS

Eq (SProduct z)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

(==) :: SProduct z -> SProduct z -> Bool

(/=) :: SProduct z -> SProduct z -> Bool

data SFirst (a1 :: First a) where

Constructors

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

Instances

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

Defined in Data.Monoid.Singletons

Methods

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

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

Defined in Data.Monoid.Singletons

Methods

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

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

Defined in Data.Monoid.Singletons

Methods

showsPrec :: Int -> SFirst z -> ShowS

show :: SFirst z -> String

showList :: [SFirst z] -> ShowS

Eq (SFirst z)

Defined in Data.Monoid.Singletons

Methods

(==) :: SFirst z -> SFirst z -> Bool

(/=) :: SFirst z -> SFirst z -> Bool

data SLast (a1 :: Last a) where

Constructors

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

Instances

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

Defined in Data.Monoid.Singletons

Methods

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

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

Defined in Data.Monoid.Singletons

Methods

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

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

Defined in Data.Monoid.Singletons

Methods

showsPrec :: Int -> SLast z -> ShowS

show :: SLast z -> String

showList :: [SLast z] -> ShowS

Eq (SLast z)

Defined in Data.Monoid.Singletons

Methods

(==) :: SLast z -> SLast z -> Bool

(/=) :: SLast z -> SLast z -> Bool

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

Equations

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

Equations

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

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

Equations

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

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

Equations

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

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

Equations

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

sGetDual :: forall a (t :: Dual a). Sing t -> Sing (GetDual t)

sGetAll :: forall (t :: All). Sing t -> Sing (GetAll t)

sGetAny :: forall (t :: Any). Sing t -> Sing (GetAny t)

sGetSum :: forall a (t :: Sum a). Sing t -> Sing (GetSum t)

sGetProduct :: forall a (t :: Product a). Sing t -> Sing (GetProduct t)

sGetFirst :: forall a (t :: First a). Sing t -> Sing (GetFirst t)

sGetLast :: forall a (t :: Last a). Sing t -> Sing (GetLast t)

Defunctionalization symbols

type family MemptySym0 :: a where ...

Equations

MemptySym0 = Mempty :: a

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

Instances

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

Defined in Data.Monoid.Singletons

Methods

sing :: Sing (MappendSym0 :: TyFun a (a ~> a) -> Type)

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

Defined in Data.Monoid.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Monoid.Singletons

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

data MappendSym1 (a6989586621679860746 :: a) (b :: TyFun a a)

Instances

SMonoid a => SingI1 (MappendSym1 :: a -> TyFun a a -> Type)

Defined in Data.Monoid.Singletons

Methods

liftSing :: forall (x :: a). Sing x -> Sing (MappendSym1 x)

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

Defined in Data.Monoid.Singletons

Methods

sing :: Sing (MappendSym1 d)

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

Defined in Data.Monoid.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MappendSym1 a6989586621679860746 :: TyFun a a -> Type) (a6989586621679860747 :: a)

Defined in Data.Monoid.Singletons

type Apply (MappendSym1 a6989586621679860746 :: TyFun a a -> Type) (a6989586621679860747 :: a) = Mappend a6989586621679860746 a6989586621679860747

type family MappendSym2 (a6989586621679860746 :: a) (a6989586621679860747 :: a) :: a where ...

Equations

MappendSym2 (a6989586621679860746 :: a) (a6989586621679860747 :: a) = Mappend a6989586621679860746 a6989586621679860747

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

Instances

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

Defined in Data.Monoid.Singletons

Methods

sing :: Sing (MconcatSym0 :: TyFun [a] a -> Type)

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

Defined in Data.Monoid.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Monoid.Singletons

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

type family MconcatSym1 (a6989586621679860750 :: [a]) :: a where ...

Equations

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

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

Instances

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sing :: Sing (DualSym0 :: TyFun a (Dual a) -> Type)

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

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

type family DualSym1 (a6989586621679458575 :: a) :: Dual a where ...

Equations

DualSym1 (a6989586621679458575 :: a) = 'Dual a6989586621679458575

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

Instances

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sing :: Sing (GetDualSym0 :: TyFun (Dual a) a -> Type)

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

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

type family GetDualSym1 (a6989586621679458578 :: Dual a) :: a where ...

Equations

GetDualSym1 (a6989586621679458578 :: Dual a) = GetDual a6989586621679458578

data AllSym0 (a :: TyFun Bool All)

Instances

SingI AllSym0

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sing :: Sing AllSym0

SuppressUnusedWarnings AllSym0

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

suppressUnusedWarnings :: ()

type Apply AllSym0 (a6989586621679458591 :: Bool)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Apply AllSym0 (a6989586621679458591 :: Bool) = 'All a6989586621679458591

type family AllSym1 (a6989586621679458591 :: Bool) :: All where ...

Equations

AllSym1 a6989586621679458591 = 'All a6989586621679458591

data GetAllSym0 (a :: TyFun All Bool)

Instances

SingI GetAllSym0

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sing :: Sing GetAllSym0

SuppressUnusedWarnings GetAllSym0

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

suppressUnusedWarnings :: ()

type Apply GetAllSym0 (a6989586621679458594 :: All)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

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

type family GetAllSym1 (a6989586621679458594 :: All) :: Bool where ...

Equations

GetAllSym1 a6989586621679458594 = GetAll a6989586621679458594

data AnySym0 (a :: TyFun Bool Any)

Instances

SingI AnySym0

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sing :: Sing AnySym0

SuppressUnusedWarnings AnySym0

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

suppressUnusedWarnings :: ()

type Apply AnySym0 (a6989586621679458607 :: Bool)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Apply AnySym0 (a6989586621679458607 :: Bool) = 'Any a6989586621679458607

type family AnySym1 (a6989586621679458607 :: Bool) :: Any where ...

Equations

AnySym1 a6989586621679458607 = 'Any a6989586621679458607

data GetAnySym0 (a :: TyFun Any Bool)

Instances

SingI GetAnySym0

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sing :: Sing GetAnySym0

SuppressUnusedWarnings GetAnySym0

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

suppressUnusedWarnings :: ()

type Apply GetAnySym0 (a6989586621679458610 :: Any)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

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

type family GetAnySym1 (a6989586621679458610 :: Any) :: Bool where ...

Equations

GetAnySym1 a6989586621679458610 = GetAny a6989586621679458610

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

Instances

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sing :: Sing (SumSym0 :: TyFun a (Sum a) -> Type)

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

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

type family SumSym1 (a6989586621679458626 :: a) :: Sum a where ...

Equations

SumSym1 (a6989586621679458626 :: a) = 'Sum a6989586621679458626

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

Instances

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sing :: Sing (GetSumSym0 :: TyFun (Sum a) a -> Type)

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

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

type family GetSumSym1 (a6989586621679458629 :: Sum a) :: a where ...

Equations

GetSumSym1 (a6989586621679458629 :: Sum a) = GetSum a6989586621679458629

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

Instances

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sing :: Sing (ProductSym0 :: TyFun a (Product a) -> Type)

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

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

type family ProductSym1 (a6989586621679458645 :: a) :: Product a where ...

Equations

ProductSym1 (a6989586621679458645 :: a) = 'Product a6989586621679458645

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

Instances

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sing :: Sing (GetProductSym0 :: TyFun (Product a) a -> Type)

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Semigroup.Singletons.Internal.Wrappers

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

type family GetProductSym1 (a6989586621679458648 :: Product a) :: a where ...

Equations

GetProductSym1 (a6989586621679458648 :: Product a) = GetProduct a6989586621679458648

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

Instances

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

Defined in Data.Monoid.Singletons

Methods

sing :: Sing (FirstSym0 :: TyFun (Maybe a) (First a) -> Type)

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

Defined in Data.Monoid.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Monoid.Singletons

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

type family FirstSym1 (a6989586621679864297 :: Maybe a) :: First a where ...

Equations

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

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

Instances

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

Defined in Data.Monoid.Singletons

Methods

sing :: Sing (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type)

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

Defined in Data.Monoid.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Monoid.Singletons

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

type family GetFirstSym1 (a6989586621679864300 :: First a) :: Maybe a where ...

Equations

GetFirstSym1 (a6989586621679864300 :: First a) = GetFirst a6989586621679864300

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

Instances

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

Defined in Data.Monoid.Singletons

Methods

sing :: Sing (LastSym0 :: TyFun (Maybe a) (Last a) -> Type)

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

Defined in Data.Monoid.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Monoid.Singletons

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

type family LastSym1 (a6989586621679864320 :: Maybe a) :: Last a where ...

Equations

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

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

Instances

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

Defined in Data.Monoid.Singletons

Methods

sing :: Sing (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type)

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

Defined in Data.Monoid.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Monoid.Singletons

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

type family GetLastSym1 (a6989586621679864323 :: Last a) :: Maybe a where ...

Equations

GetLastSym1 (a6989586621679864323 :: Last a) = GetLast a6989586621679864323

Orphan instances

PApplicative First

Associated Types

type Pure (a2 :: a1)

Defined in Data.Monoid.Singletons

type Pure (a2 :: a1)

type (a2 :: First (a1 ~> b)) <*> (a3 :: First a1)

Defined in Data.Monoid.Singletons

type (a2 :: First (a1 ~> b)) <*> (a3 :: First a1)

type LiftA2 (arg :: a ~> (b ~> c)) (arg1 :: First a) (arg2 :: First b)

Defined in Data.Monoid.Singletons

type LiftA2 (arg :: a ~> (b ~> c)) (arg1 :: First a) (arg2 :: First b)

type (arg :: First a) *> (arg1 :: First b)

Defined in Data.Monoid.Singletons

type (arg :: First a) *> (arg1 :: First b)

type (arg :: First a) <* (arg1 :: First b)

Defined in Data.Monoid.Singletons

type (arg :: First a) <* (arg1 :: First b)

PApplicative Last

Associated Types

type Pure (a2 :: a1)

Defined in Data.Monoid.Singletons

type Pure (a2 :: a1)

type (a2 :: Last (a1 ~> b)) <*> (a3 :: Last a1)

Defined in Data.Monoid.Singletons

type (a2 :: Last (a1 ~> b)) <*> (a3 :: Last a1)

type LiftA2 (arg :: a ~> (b ~> c)) (arg1 :: Last a) (arg2 :: Last b)

Defined in Data.Monoid.Singletons

type LiftA2 (arg :: a ~> (b ~> c)) (arg1 :: Last a) (arg2 :: Last b)

type (arg :: Last a) *> (arg1 :: Last b)

Defined in Data.Monoid.Singletons

type (arg :: Last a) *> (arg1 :: Last b)

type (arg :: Last a) <* (arg1 :: Last b)

Defined in Data.Monoid.Singletons

type (arg :: Last a) <* (arg1 :: Last b)

PFunctor First

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: First a1)

Defined in Data.Monoid.Singletons

type Fmap (a2 :: a1 ~> b) (a3 :: First a1)

type (a2 :: a1) <$ (a3 :: First b)

Defined in Data.Monoid.Singletons

type (a2 :: a1) <$ (a3 :: First b)

PFunctor Last

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Last a1)

Defined in Data.Monoid.Singletons

type Fmap (a2 :: a1 ~> b) (a3 :: Last a1)

type (a2 :: a1) <$ (a3 :: Last b)

Defined in Data.Monoid.Singletons

type (a2 :: a1) <$ (a3 :: Last b)

PMonad First

Associated Types

type (a2 :: First a1) >>= (a3 :: a1 ~> First b)

Defined in Data.Monoid.Singletons

type (a2 :: First a1) >>= (a3 :: a1 ~> First b)

type (arg :: First a) >> (arg1 :: First b)

Defined in Data.Monoid.Singletons

type (arg :: First a) >> (arg1 :: First b)

type Return (arg :: a)

Defined in Data.Monoid.Singletons

type Return (arg :: a)

PMonad Last

Associated Types

type (a2 :: Last a1) >>= (a3 :: a1 ~> Last b)

Defined in Data.Monoid.Singletons

type (a2 :: Last a1) >>= (a3 :: a1 ~> Last b)

type (arg :: Last a) >> (arg1 :: Last b)

Defined in Data.Monoid.Singletons

type (arg :: Last a) >> (arg1 :: Last b)

type Return (arg :: a)

Defined in Data.Monoid.Singletons

type Return (arg :: a)

SApplicative First

Methods

sPure :: forall a (t :: a). Sing t -> Sing (Pure t :: First a)

(%<*>) :: forall a b (t1 :: First (a ~> b)) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (t1 <*> t2)

sLiftA2 :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: First a) (t3 :: First b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (LiftA2 t1 t2 t3)

(%*>) :: forall a b (t1 :: First a) (t2 :: First b). Sing t1 -> Sing t2 -> Sing (t1 *> t2)

(%<*) :: forall a b (t1 :: First a) (t2 :: First b). Sing t1 -> Sing t2 -> Sing (t1 <* t2)

SApplicative Last

Methods

sPure :: forall a (t :: a). Sing t -> Sing (Pure t :: Last a)

(%<*>) :: forall a b (t1 :: Last (a ~> b)) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (t1 <*> t2)

sLiftA2 :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: Last a) (t3 :: Last b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (LiftA2 t1 t2 t3)

(%*>) :: forall a b (t1 :: Last a) (t2 :: Last b). Sing t1 -> Sing t2 -> Sing (t1 *> t2)

(%<*) :: forall a b (t1 :: Last a) (t2 :: Last b). Sing t1 -> Sing t2 -> Sing (t1 <* t2)

SFunctor First

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: First b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor Last

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Last b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SMonad First

Methods

(%>>=) :: forall a b (t1 :: First a) (t2 :: a ~> First b). Sing t1 -> Sing t2 -> Sing (t1 >>= t2)

(%>>) :: forall a b (t1 :: First a) (t2 :: First b). Sing t1 -> Sing t2 -> Sing (t1 >> t2)

sReturn :: forall a (t :: a). Sing t -> Sing (Return t :: First a)

SMonad Last

Methods

(%>>=) :: forall a b (t1 :: Last a) (t2 :: a ~> Last b). Sing t1 -> Sing t2 -> Sing (t1 >>= t2)

(%>>) :: forall a b (t1 :: Last a) (t2 :: Last b). Sing t1 -> Sing t2 -> Sing (t1 >> t2)

sReturn :: forall a (t :: a). Sing t -> Sing (Return t :: Last a)

SingKind a => SingKind (First a)

Associated Types

type Demote (First a)

Defined in Data.Monoid.Singletons

type Demote (First a) = First (Demote a)

Methods

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

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

SingKind a => SingKind (Last a)

Associated Types

type Demote (Last a)

Defined in Data.Monoid.Singletons

type Demote (Last a) = Last (Demote a)

Methods

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

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

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

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)

PEq (Last a)

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

Methods

(%==) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (t1 == t2)

(%/=) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (t1 /= t2)

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

Methods

(%==) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (t1 == t2)

(%/=) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (t1 /= t2)

POrd (First a)

POrd (Last a)

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

Methods

sCompare :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Compare t1 t2)

(%<) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (t1 < t2)

(%<=) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (t1 <= t2)

(%>) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (t1 > t2)

(%>=) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (t1 >= t2)

sMax :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Max t1 t2)

sMin :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Min t1 t2)

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

Methods

sCompare :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Compare t1 t2)

(%<) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (t1 < t2)

(%<=) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (t1 <= t2)

(%>) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (t1 > t2)

(%>=) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (t1 >= t2)

sMax :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Max t1 t2)

sMin :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Min t1 t2)

PSemigroup (First a)

PSemigroup (Last a)

SSemigroup (First a)

Methods

(%<>) :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (t1 <> t2)

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

SSemigroup (Last a)

Methods

(%<>) :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (t1 <> t2)

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

PShow (First a)

PShow (Last a)

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

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: First a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

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

sShowList :: forall (t1 :: [First a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

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

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Last a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (ShowsPrec t1 t2 t3)

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

sShowList :: forall (t1 :: [Last a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (ShowList t1 t2)

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

Methods

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

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

Methods

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

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

Methods

sing :: Sing ('First n)

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

Methods

sing :: Sing ('Last n)