Data.Singletons.Prelude.Semigroup

Defines the promoted version of Semigroup, PSemigroup, and the singleton version, SSemigroup.

Documentation

class PSemigroup (a :: Type)

Associated Types

type (arg :: a) <> (arg :: a) :: a infixr 6

type Sconcat (arg :: NonEmpty a) :: a

type Sconcat a = Apply Sconcat_6989586621679840854Sym0 a

Instances

PSemigroup Ordering

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup Symbol

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup ()

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup Void

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup All

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup Any

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup [a]

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Maybe a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Min a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Max a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (First a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Last a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (WrappedMonoid m)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Option a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Identity a)

Defined in Data.Singletons.Prelude.Identity

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (First a)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Last a)

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Dual a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Sum a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Product a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Down a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (NonEmpty a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Either a b)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (a, b)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (a ~> b)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (a, b, c)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Const a b)

Defined in Data.Singletons.Prelude.Const

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (a, b, c, d)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

class SSemigroup a where

Minimal complete definition

(%<>)

Methods

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

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

default sSconcat :: forall (t :: NonEmpty a). (Apply SconcatSym0 t :: a) ~ Apply Sconcat_6989586621679840854Sym0 t => Sing t -> Sing (Apply SconcatSym0 t :: a)

Instances

SSemigroup Ordering

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup Symbol

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup ()

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup Void

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup All

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup Any

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup [a]

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup a => SSemigroup (Maybe a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SOrd a => SSemigroup (Min a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SOrd a => SSemigroup (Max a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SSemigroup (First a)

Defined in Data.Singletons.Prelude.Semigroup

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)

Defined in Data.Singletons.Prelude.Semigroup

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)

SMonoid m => SSemigroup (WrappedMonoid m)

Defined in Data.Singletons.Prelude.Semigroup

Methods

(%<>) :: forall (t :: WrappedMonoid m) (t :: WrappedMonoid m). Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t)

sSconcat :: forall (t :: NonEmpty (WrappedMonoid m)). Sing t -> Sing (Apply SconcatSym0 t)

SSemigroup a => SSemigroup (Option a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SSemigroup a => SSemigroup (Identity a)

Defined in Data.Singletons.Prelude.Identity

Methods

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

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

SSemigroup (First a)

Defined in Data.Singletons.Prelude.Monoid

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)

Defined in Data.Singletons.Prelude.Monoid

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)

SSemigroup a => SSemigroup (Dual a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SNum a => SSemigroup (Sum a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SNum a => SSemigroup (Product a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup a => SSemigroup (Down a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup (NonEmpty a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup (Either a b)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

(SSemigroup a, SSemigroup b) => SSemigroup (a, b)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup b => SSemigroup (a ~> b)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

sSconcat :: forall (t :: NonEmpty (a, b, c)). Sing t -> Sing (Apply SconcatSym0 t)

SSemigroup a => SSemigroup (Const a b)

Defined in Data.Singletons.Prelude.Const

Methods

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

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

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

sSconcat :: forall (t :: NonEmpty (a, b, c, d)). Sing t -> Sing (Apply SconcatSym0 t)

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

(%<>) :: forall (t :: (a, b, c, d, e)) (t :: (a, b, c, d, e)). Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t)

sSconcat :: forall (t :: NonEmpty (a, b, c, d, e)). Sing t -> Sing (Apply SconcatSym0 t)

type family Sing :: k -> Type

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.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 SMin :: forall a. Min a -> Type where

Constructors

SMin

Fields

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

Instances

SDecide a => TestCoercion (SMin :: Min a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

SDecide a => TestEquality (SMin :: Min a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

ShowSing a => Show (SMin z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> SMin z -> ShowS

show :: SMin z -> String

showList :: [SMin z] -> ShowS

data SMax :: forall a. Max a -> Type where

Constructors

SMax

Fields

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

Instances

SDecide a => TestCoercion (SMax :: Max a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

SDecide a => TestEquality (SMax :: Max a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

ShowSing a => Show (SMax z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> SMax z -> ShowS

show :: SMax z -> String

showList :: [SMax z] -> ShowS

data SFirst :: forall a. First a -> Type where

Constructors

SFirst

Fields

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

ShowSing a => Show (SFirst z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> SFirst z -> ShowS

show :: SFirst z -> String

showList :: [SFirst z] -> ShowS

data SLast :: forall a. Last a -> Type where

Constructors

SLast

Fields

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

ShowSing a => Show (SLast z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> SLast z -> ShowS

show :: SLast z -> String

showList :: [SLast z] -> ShowS

data SWrappedMonoid :: forall m. WrappedMonoid m -> Type where

Constructors

SWrapMonoid

Fields

• :: forall m (n :: m). { sUnwrapMonoid :: (Sing (n :: m))
•    } -> SWrappedMonoid ('WrapMonoid n)

Instances

SDecide m => TestCoercion (SWrappedMonoid :: WrappedMonoid m -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

SDecide m => TestEquality (SWrappedMonoid :: WrappedMonoid m -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

ShowSing m => Show (SWrappedMonoid z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> SWrappedMonoid z -> ShowS

show :: SWrappedMonoid z -> String

showList :: [SWrappedMonoid z] -> ShowS

data SDual :: forall a. Dual a -> Type where

Constructors

SDual

Fields

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

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 :: All -> Type where

Constructors

SAll

Fields

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

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 :: Any -> Type where

Constructors

SAny

Fields

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

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 :: forall a. Sum a -> Type where

Constructors

SSum

Fields

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

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 :: forall a. Product a -> Type where

Constructors

SProduct

Fields

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

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 SOption :: forall a. Option a -> Type where

Constructors

SOption

Fields

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

Instances

SDecide (Maybe a) => TestCoercion (SOption :: Option a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

SDecide (Maybe a) => TestEquality (SOption :: Option a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> SOption z -> ShowS

show :: SOption z -> String

showList :: [SOption z] -> ShowS

data SArg :: forall a b. Arg a b -> Type where

Constructors

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> SArg z -> ShowS

show :: SArg z -> String

showList :: [SArg z] -> ShowS

type family GetMin (a :: Min (a :: Type)) :: a where ...

Equations

GetMin ('Min field) = field

type family GetMax (a :: Max (a :: Type)) :: a where ...

Equations

GetMax ('Max field) = field

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

Equations

GetFirst ('First field) = field

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

Equations

GetLast ('Last field) = field

type family UnwrapMonoid (a :: WrappedMonoid (m :: Type)) :: m where ...

Equations

UnwrapMonoid ('WrapMonoid field) = field

type family GetDual (a :: Dual (a :: Type)) :: 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 :: Type)) :: a where ...

Equations

GetSum ('Sum field) = field

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

Equations

GetProduct ('Product field) = field

type family GetOption (a :: Option (a :: Type)) :: Maybe a where ...

Equations

GetOption ('Option field) = field

option_ :: b -> (a -> b) -> Option a -> b

sOption_ :: forall b a (t :: b) (t :: (~>) a b) (t :: Option a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Option_Sym0 t) t) t :: b)

type family Option_ (a :: b) (a :: (~>) a b) (a :: Option a) :: b where ...

Equations

Option_ n j ('Option m) = Apply (Apply (Apply Maybe_Sym0 n) j) m

Defunctionalization symbols

data (<>@#@$) :: forall a6989586621679840612. (~>) a6989586621679840612 ((~>) a6989586621679840612 a6989586621679840612) infixr 6

Instances

SSemigroup a => SingI ((<>@#@$) :: TyFun a (a ~> a) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing (<>@#@$)

SuppressUnusedWarnings ((<>@#@$) :: TyFun a6989586621679840612 (a6989586621679840612 ~> a6989586621679840612) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply ((<>@#@$) :: TyFun a6989586621679840612 (a6989586621679840612 ~> a6989586621679840612) -> Type) (arg6989586621679840847 :: a6989586621679840612)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply ((<>@#@$) :: TyFun a6989586621679840612 (a6989586621679840612 ~> a6989586621679840612) -> Type) (arg6989586621679840847 :: a6989586621679840612) = (<>@#@$$) arg6989586621679840847

data (<>@#@$$) (arg6989586621679840847 :: a6989586621679840612) :: (~>) a6989586621679840612 a6989586621679840612 infixr 6

Instances

(SSemigroup a, SingI d) => SingI ((<>@#@$$) d :: TyFun a a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing ((<>@#@$$) d)

SuppressUnusedWarnings ((<>@#@$$) arg6989586621679840847 :: TyFun a6989586621679840612 a6989586621679840612 -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply ((<>@#@$$) arg6989586621679840847 :: TyFun a a -> Type) (arg6989586621679840848 :: a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply ((<>@#@$$) arg6989586621679840847 :: TyFun a a -> Type) (arg6989586621679840848 :: a) = arg6989586621679840847 <> arg6989586621679840848

type (<>@#@$$$) (arg6989586621679840847 :: a6989586621679840612) (arg6989586621679840848 :: a6989586621679840612) = (<>) arg6989586621679840847 arg6989586621679840848

data SconcatSym0 :: forall a6989586621679840612. (~>) (NonEmpty a6989586621679840612) a6989586621679840612

Instances

SSemigroup a => SingI (SconcatSym0 :: TyFun (NonEmpty a) a -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing SconcatSym0

SuppressUnusedWarnings (SconcatSym0 :: TyFun (NonEmpty a6989586621679840612) a6989586621679840612 -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (SconcatSym0 :: TyFun (NonEmpty a) a -> Type) (arg6989586621679840851 :: NonEmpty a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (SconcatSym0 :: TyFun (NonEmpty a) a -> Type) (arg6989586621679840851 :: NonEmpty a) = Sconcat arg6989586621679840851

type SconcatSym1 (arg6989586621679840851 :: NonEmpty a6989586621679840612) = Sconcat arg6989586621679840851

data MinSym0 :: forall (a6989586621679069715 :: Type). (~>) a6989586621679069715 (Min (a6989586621679069715 :: Type))

Instances

SingI (MinSym0 :: TyFun a (Min a) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing MinSym0

SuppressUnusedWarnings (MinSym0 :: TyFun a6989586621679069715 (Min a6989586621679069715) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (MinSym0 :: TyFun a (Min a) -> Type) (t6989586621679850232 :: a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (MinSym0 :: TyFun a (Min a) -> Type) (t6989586621679850232 :: a) = 'Min t6989586621679850232

type MinSym1 (t6989586621679850232 :: a6989586621679069715) = 'Min t6989586621679850232

data GetMinSym0 :: forall (a6989586621679069715 :: Type). (~>) (Min (a6989586621679069715 :: Type)) a6989586621679069715

Instances

SuppressUnusedWarnings (GetMinSym0 :: TyFun (Min a6989586621679069715) a6989586621679069715 -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (GetMinSym0 :: TyFun (Min a) a -> Type) (a6989586621679850229 :: Min a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (GetMinSym0 :: TyFun (Min a) a -> Type) (a6989586621679850229 :: Min a) = GetMin a6989586621679850229

type GetMinSym1 (a6989586621679850229 :: Min (a6989586621679069715 :: Type)) = GetMin a6989586621679850229

data MaxSym0 :: forall (a6989586621679069719 :: Type). (~>) a6989586621679069719 (Max (a6989586621679069719 :: Type))

Instances

SingI (MaxSym0 :: TyFun a (Max a) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing MaxSym0

SuppressUnusedWarnings (MaxSym0 :: TyFun a6989586621679069719 (Max a6989586621679069719) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (MaxSym0 :: TyFun a (Max a) -> Type) (t6989586621679850251 :: a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (MaxSym0 :: TyFun a (Max a) -> Type) (t6989586621679850251 :: a) = 'Max t6989586621679850251

type MaxSym1 (t6989586621679850251 :: a6989586621679069719) = 'Max t6989586621679850251

data GetMaxSym0 :: forall (a6989586621679069719 :: Type). (~>) (Max (a6989586621679069719 :: Type)) a6989586621679069719

Instances

SuppressUnusedWarnings (GetMaxSym0 :: TyFun (Max a6989586621679069719) a6989586621679069719 -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (GetMaxSym0 :: TyFun (Max a) a -> Type) (a6989586621679850248 :: Max a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (GetMaxSym0 :: TyFun (Max a) a -> Type) (a6989586621679850248 :: Max a) = GetMax a6989586621679850248

type GetMaxSym1 (a6989586621679850248 :: Max (a6989586621679069719 :: Type)) = GetMax a6989586621679850248

data FirstSym0 :: forall (a6989586621679069727 :: Type). (~>) a6989586621679069727 (First (a6989586621679069727 :: Type))

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing FirstSym0

SuppressUnusedWarnings (FirstSym0 :: TyFun a6989586621679069727 (First a6989586621679069727) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type FirstSym1 (t6989586621679850270 :: a6989586621679069727) = 'First t6989586621679850270

data GetFirstSym0 :: forall (a6989586621679069727 :: Type). (~>) (First (a6989586621679069727 :: Type)) a6989586621679069727

Instances

SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a6989586621679069727) a6989586621679069727 -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetFirstSym1 (a6989586621679850267 :: First (a6989586621679069727 :: Type)) = GetFirst a6989586621679850267

data LastSym0 :: forall (a6989586621679069723 :: Type). (~>) a6989586621679069723 (Last (a6989586621679069723 :: Type))

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing LastSym0

SuppressUnusedWarnings (LastSym0 :: TyFun a6989586621679069723 (Last a6989586621679069723) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type LastSym1 (t6989586621679850289 :: a6989586621679069723) = 'Last t6989586621679850289

data GetLastSym0 :: forall (a6989586621679069723 :: Type). (~>) (Last (a6989586621679069723 :: Type)) a6989586621679069723

Instances

SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a6989586621679069723) a6989586621679069723 -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetLastSym1 (a6989586621679850286 :: Last (a6989586621679069723 :: Type)) = GetLast a6989586621679850286

data WrapMonoidSym0 :: forall (m6989586621679093626 :: Type). (~>) m6989586621679093626 (WrappedMonoid (m6989586621679093626 :: Type))

Instances

SingI (WrapMonoidSym0 :: TyFun m (WrappedMonoid m) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing WrapMonoidSym0

SuppressUnusedWarnings (WrapMonoidSym0 :: TyFun m6989586621679093626 (WrappedMonoid m6989586621679093626) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (WrapMonoidSym0 :: TyFun m (WrappedMonoid m) -> Type) (t6989586621679850308 :: m)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (WrapMonoidSym0 :: TyFun m (WrappedMonoid m) -> Type) (t6989586621679850308 :: m) = 'WrapMonoid t6989586621679850308

type WrapMonoidSym1 (t6989586621679850308 :: m6989586621679093626) = 'WrapMonoid t6989586621679850308

data UnwrapMonoidSym0 :: forall (m6989586621679093626 :: Type). (~>) (WrappedMonoid (m6989586621679093626 :: Type)) m6989586621679093626

Instances

SuppressUnusedWarnings (UnwrapMonoidSym0 :: TyFun (WrappedMonoid m6989586621679093626) m6989586621679093626 -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (UnwrapMonoidSym0 :: TyFun (WrappedMonoid m) m -> Type) (a6989586621679850305 :: WrappedMonoid m)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (UnwrapMonoidSym0 :: TyFun (WrappedMonoid m) m -> Type) (a6989586621679850305 :: WrappedMonoid m) = UnwrapMonoid a6989586621679850305

type UnwrapMonoidSym1 (a6989586621679850305 :: WrappedMonoid (m6989586621679093626 :: Type)) = UnwrapMonoid a6989586621679850305

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing DualSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type DualSym1 (t6989586621679850147 :: a6989586621679091700) = 'Dual t6989586621679850147

data GetDualSym0 :: forall (a6989586621679091700 :: Type). (~>) (Dual (a6989586621679091700 :: Type)) a6989586621679091700

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetDualSym1 (a6989586621679850144 :: Dual (a6989586621679091700 :: Type)) = GetDual a6989586621679850144

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

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

data GetAllSym0 :: (~>) All Bool

Instances

SuppressUnusedWarnings GetAllSym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply GetAllSym0 (a6989586621679850158 :: All)

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetAllSym1 (a6989586621679850158 :: All) = GetAll a6989586621679850158

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

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

data GetAnySym0 :: (~>) Any Bool

Instances

SuppressUnusedWarnings GetAnySym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply GetAnySym0 (a6989586621679850172 :: Any)

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetAnySym1 (a6989586621679850172 :: Any) = GetAny a6989586621679850172

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing SumSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type SumSym1 (t6989586621679850194 :: a6989586621679091685) = 'Sum t6989586621679850194

data GetSumSym0 :: forall (a6989586621679091685 :: Type). (~>) (Sum (a6989586621679091685 :: Type)) a6989586621679091685

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetSumSym1 (a6989586621679850191 :: Sum (a6989586621679091685 :: Type)) = GetSum a6989586621679850191

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing ProductSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type ProductSym1 (t6989586621679850213 :: a6989586621679091690) = 'Product t6989586621679850213

data GetProductSym0 :: forall (a6989586621679091690 :: Type). (~>) (Product (a6989586621679091690 :: Type)) a6989586621679091690

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetProductSym1 (a6989586621679850210 :: Product (a6989586621679091690 :: Type)) = GetProduct a6989586621679850210

data OptionSym0 :: forall (a6989586621679069711 :: Type). (~>) (Maybe a6989586621679069711) (Option (a6989586621679069711 :: Type))

Instances

SingI (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing OptionSym0

SuppressUnusedWarnings (OptionSym0 :: TyFun (Maybe a6989586621679069711) (Option a6989586621679069711) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) (t6989586621679850128 :: Maybe a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) (t6989586621679850128 :: Maybe a) = 'Option t6989586621679850128

type OptionSym1 (t6989586621679850128 :: Maybe a6989586621679069711) = 'Option t6989586621679850128

data GetOptionSym0 :: forall (a6989586621679069711 :: Type). (~>) (Option (a6989586621679069711 :: Type)) (Maybe a6989586621679069711)

Instances

SuppressUnusedWarnings (GetOptionSym0 :: TyFun (Option a6989586621679069711) (Maybe a6989586621679069711) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (GetOptionSym0 :: TyFun (Option a) (Maybe a) -> Type) (a6989586621679850125 :: Option a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply (GetOptionSym0 :: TyFun (Option a) (Maybe a) -> Type) (a6989586621679850125 :: Option a) = GetOption a6989586621679850125

type GetOptionSym1 (a6989586621679850125 :: Option (a6989586621679069711 :: Type)) = GetOption a6989586621679850125

data ArgSym0 :: forall (a6989586621679070612 :: Type) (b6989586621679070613 :: Type). (~>) a6989586621679070612 ((~>) b6989586621679070613 (Arg (a6989586621679070612 :: Type) (b6989586621679070613 :: Type)))

Instances

SingI (ArgSym0 :: TyFun a (b ~> Arg a b) -> Type)

Defined in Data.Singletons.Prelude.Semigroup

Methods

sing :: Sing ArgSym0

SuppressUnusedWarnings (ArgSym0 :: TyFun a6989586621679070612 (b6989586621679070613 ~> Arg a6989586621679070612 b6989586621679070613) -> Type)

Defined in Data.Singletons.Prelude.Semigroup

Methods

suppressUnusedWarnings :: ()

type Apply (ArgSym0 :: TyFun a6989586621679070612 (b6989586621679070613 ~> Arg a6989586621679070612 b6989586621679070613) -> Type) (t6989586621680915597 :: a6989586621679070612)

Defined in Data.Singletons.Prelude.Semigroup

type Apply (ArgSym0 :: TyFun a6989586621679070612 (b6989586621679070613 ~> Arg a6989586621679070612 b6989586621679070613) -> Type) (t6989586621680915597 :: a6989586621679070612) = ArgSym1 t6989586621680915597 b6989586621679070613 :: TyFun b6989586621679070613 (Arg a6989586621679070612 b6989586621679070613) -> Type

data ArgSym1 (t6989586621680915597 :: a6989586621679070612 :: Type) :: forall (b6989586621679070613 :: Type). (~>) b6989586621679070613 (Arg (a6989586621679070612 :: Type) (b6989586621679070613 :: Type))

Instances

SingI d => SingI (ArgSym1 d b :: TyFun b (Arg a b) -> Type)

Defined in Data.Singletons.Prelude.Semigroup

Methods

sing :: Sing (ArgSym1 d b)

SuppressUnusedWarnings (ArgSym1 t6989586621680915597 b6989586621679070613 :: TyFun b6989586621679070613 (Arg a6989586621679070612 b6989586621679070613) -> Type)

Defined in Data.Singletons.Prelude.Semigroup

Methods

suppressUnusedWarnings :: ()

type Apply (ArgSym1 t6989586621680915597 b :: TyFun b (Arg a b) -> Type) (t6989586621680915598 :: b)

Defined in Data.Singletons.Prelude.Semigroup

type Apply (ArgSym1 t6989586621680915597 b :: TyFun b (Arg a b) -> Type) (t6989586621680915598 :: b) = 'Arg t6989586621680915597 t6989586621680915598

type ArgSym2 (t6989586621680915597 :: a6989586621679070612) (t6989586621680915598 :: b6989586621679070613) = 'Arg t6989586621680915597 t6989586621680915598

Orphan instances

SMonadPlus Option

Methods

sMzero :: Sing MzeroSym0

sMplus :: forall a (t :: Option a) (t :: Option a). Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t)

SAlternative Option

Methods

sEmpty :: Sing EmptySym0

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

SMonad Min

Methods

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

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

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

SMonad Max

Methods

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

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

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

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)

SMonad Option

Methods

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

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

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

SApplicative Min

Methods

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

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

sLiftA2 :: forall a b c (t :: a ~> (b ~> c)) (t :: Min a) (t :: Min b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t)

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

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

SApplicative Max

Methods

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

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

sLiftA2 :: forall a b c (t :: a ~> (b ~> c)) (t :: Max a) (t :: Max b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t)

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

(%<*) :: forall a b (t :: Max a) (t :: Max b). Sing t -> Sing t -> Sing (Apply (Apply (<*@#@$) t) 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)

SApplicative Option

Methods

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

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

sLiftA2 :: forall a b c (t :: a ~> (b ~> c)) (t :: Option a) (t :: Option b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply LiftA2Sym0 t) t) t)

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

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

SFunctor Min

Methods

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

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

SFunctor Max

Methods

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

(%<$) :: forall a b (t :: a) (t :: Max 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)

SFunctor Option

Methods

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

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

PMonadPlus Option

Associated Types

type Mzero :: m a

type Mplus arg arg :: m a

PAlternative Option

Associated Types

type Empty :: f a

type arg <|> arg :: f a

PMonad Min

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

PMonad Max

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

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

PMonad Option

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

PApplicative Min

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 Max

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

PApplicative Option

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 Min

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Max

Associated Types

type Fmap 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

PFunctor Option

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

SShow Bool => SShow All

Methods

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

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

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

SShow Bool => SShow Any

Methods

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

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

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

PShow All

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow Any

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

SFoldable Min

Methods

sFold :: forall m (t :: Min m). SMonoid m => Sing t -> Sing (Apply FoldSym0 t)

sFoldMap :: forall a m (t :: a ~> m) (t :: Min a). SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t)

sFoldr :: forall a b (t :: a ~> (b ~> b)) (t :: b) (t :: Min a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t)

sFoldr' :: forall a b (t :: a ~> (b ~> b)) (t :: b) (t :: Min a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t)

sFoldl :: forall b a (t :: b ~> (a ~> b)) (t :: b) (t :: Min a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t)

sFoldl' :: forall b a (t :: b ~> (a ~> b)) (t :: b) (t :: Min a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t)

sFoldr1 :: forall a (t :: a ~> (a ~> a)) (t :: Min a). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t)

sFoldl1 :: forall a (t :: a ~> (a ~> a)) (t :: Min a). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t)

sToList :: forall a (t :: Min a). Sing t -> Sing (Apply ToListSym0 t)

sNull :: forall a (t :: Min a). Sing t -> Sing (Apply NullSym0 t)

sLength :: forall a (t :: Min a). Sing t -> Sing (Apply LengthSym0 t)

sElem :: forall a (t :: a) (t :: Min a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t)

sMaximum :: forall a (t :: Min a). SOrd a => Sing t -> Sing (Apply MaximumSym0 t)

sMinimum :: forall a (t :: Min a). SOrd a => Sing t -> Sing (Apply MinimumSym0 t)

sSum :: forall a (t :: Min a). SNum a => Sing t -> Sing (Apply SumSym0 t)

sProduct :: forall a (t :: Min a). SNum a => Sing t -> Sing (Apply ProductSym0 t)

SFoldable Max

Methods

sFold :: forall m (t :: Max m). SMonoid m => Sing t -> Sing (Apply FoldSym0 t)

sFoldMap :: forall a m (t :: a ~> m) (t :: Max a). SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t)

sFoldr :: forall a b (t :: a ~> (b ~> b)) (t :: b) (t :: Max a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t)

sFoldr' :: forall a b (t :: a ~> (b ~> b)) (t :: b) (t :: Max a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t)

sFoldl :: forall b a (t :: b ~> (a ~> b)) (t :: b) (t :: Max a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t)

sFoldl' :: forall b a (t :: b ~> (a ~> b)) (t :: b) (t :: Max a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t)

sFoldr1 :: forall a (t :: a ~> (a ~> a)) (t :: Max a). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t)

sFoldl1 :: forall a (t :: a ~> (a ~> a)) (t :: Max a). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t)

sToList :: forall a (t :: Max a). Sing t -> Sing (Apply ToListSym0 t)

sNull :: forall a (t :: Max a). Sing t -> Sing (Apply NullSym0 t)

sLength :: forall a (t :: Max a). Sing t -> Sing (Apply LengthSym0 t)

sElem :: forall a (t :: a) (t :: Max a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t)

sMaximum :: forall a (t :: Max a). SOrd a => Sing t -> Sing (Apply MaximumSym0 t)

sMinimum :: forall a (t :: Max a). SOrd a => Sing t -> Sing (Apply MinimumSym0 t)

sSum :: forall a (t :: Max a). SNum a => Sing t -> Sing (Apply SumSym0 t)

sProduct :: forall a (t :: Max a). SNum a => Sing t -> Sing (Apply ProductSym0 t)

SFoldable First

Methods

sFold :: forall m (t :: First m). SMonoid m => Sing t -> Sing (Apply FoldSym0 t)

sFoldMap :: forall a m (t :: a ~> m) (t :: First a). SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t)

sFoldr :: forall a b (t :: a ~> (b ~> b)) (t :: b) (t :: First a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t)

sFoldr' :: forall a b (t :: a ~> (b ~> b)) (t :: b) (t :: First a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t)

sFoldl :: forall b a (t :: b ~> (a ~> b)) (t :: b) (t :: First a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t)

sFoldl' :: forall b a (t :: b ~> (a ~> b)) (t :: b) (t :: First a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t)

sFoldr1 :: forall a (t :: a ~> (a ~> a)) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t)

sFoldl1 :: forall a (t :: a ~> (a ~> a)) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t)

sToList :: forall a (t :: First a). Sing t -> Sing (Apply ToListSym0 t)

sNull :: forall a (t :: First a). Sing t -> Sing (Apply NullSym0 t)

sLength :: forall a (t :: First a). Sing t -> Sing (Apply LengthSym0 t)

sElem :: forall a (t :: a) (t :: First a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t)

sMaximum :: forall a (t :: First a). SOrd a => Sing t -> Sing (Apply MaximumSym0 t)

sMinimum :: forall a (t :: First a). SOrd a => Sing t -> Sing (Apply MinimumSym0 t)

sSum :: forall a (t :: First a). SNum a => Sing t -> Sing (Apply SumSym0 t)

sProduct :: forall a (t :: First a). SNum a => Sing t -> Sing (Apply ProductSym0 t)

SFoldable Last

Methods

sFold :: forall m (t :: Last m). SMonoid m => Sing t -> Sing (Apply FoldSym0 t)

sFoldMap :: forall a m (t :: a ~> m) (t :: Last a). SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t)

sFoldr :: forall a b (t :: a ~> (b ~> b)) (t :: b) (t :: Last a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t)

sFoldr' :: forall a b (t :: a ~> (b ~> b)) (t :: b) (t :: Last a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t)

sFoldl :: forall b a (t :: b ~> (a ~> b)) (t :: b) (t :: Last a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t)

sFoldl' :: forall b a (t :: b ~> (a ~> b)) (t :: b) (t :: Last a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t)

sFoldr1 :: forall a (t :: a ~> (a ~> a)) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t)

sFoldl1 :: forall a (t :: a ~> (a ~> a)) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t)

sToList :: forall a (t :: Last a). Sing t -> Sing (Apply ToListSym0 t)

sNull :: forall a (t :: Last a). Sing t -> Sing (Apply NullSym0 t)

sLength :: forall a (t :: Last a). Sing t -> Sing (Apply LengthSym0 t)

sElem :: forall a (t :: a) (t :: Last a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t)

sMaximum :: forall a (t :: Last a). SOrd a => Sing t -> Sing (Apply MaximumSym0 t)

sMinimum :: forall a (t :: Last a). SOrd a => Sing t -> Sing (Apply MinimumSym0 t)

sSum :: forall a (t :: Last a). SNum a => Sing t -> Sing (Apply SumSym0 t)

sProduct :: forall a (t :: Last a). SNum a => Sing t -> Sing (Apply ProductSym0 t)

SFoldable Option

Methods

sFold :: forall m (t :: Option m). SMonoid m => Sing t -> Sing (Apply FoldSym0 t)

sFoldMap :: forall a m (t :: a ~> m) (t :: Option a). SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t)

sFoldr :: forall a b (t :: a ~> (b ~> b)) (t :: b) (t :: Option a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t)

sFoldr' :: forall a b (t :: a ~> (b ~> b)) (t :: b) (t :: Option a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t)

sFoldl :: forall b a (t :: b ~> (a ~> b)) (t :: b) (t :: Option a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t)

sFoldl' :: forall b a (t :: b ~> (a ~> b)) (t :: b) (t :: Option a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t)

sFoldr1 :: forall a (t :: a ~> (a ~> a)) (t :: Option a). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t)

sFoldl1 :: forall a (t :: a ~> (a ~> a)) (t :: Option a). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t)

sToList :: forall a (t :: Option a). Sing t -> Sing (Apply ToListSym0 t)

sNull :: forall a (t :: Option a). Sing t -> Sing (Apply NullSym0 t)

sLength :: forall a (t :: Option a). Sing t -> Sing (Apply LengthSym0 t)

sElem :: forall a (t :: a) (t :: Option a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t)

sMaximum :: forall a (t :: Option a). SOrd a => Sing t -> Sing (Apply MaximumSym0 t)

sMinimum :: forall a (t :: Option a). SOrd a => Sing t -> Sing (Apply MinimumSym0 t)

sSum :: forall a (t :: Option a). SNum a => Sing t -> Sing (Apply SumSym0 t)

sProduct :: forall a (t :: Option a). SNum a => Sing t -> Sing (Apply ProductSym0 t)

PFoldable Min

Associated Types

type Fold arg :: m

type FoldMap arg arg :: m

type Foldr arg arg arg :: b

type Foldr' arg arg arg :: b

type Foldl arg arg arg :: b

type Foldl' arg arg arg :: b

type Foldr1 arg arg :: a

type Foldl1 arg arg :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Nat

type Elem arg arg :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable Max

Associated Types

type Fold arg :: m

type FoldMap arg arg :: m

type Foldr arg arg arg :: b

type Foldr' arg arg arg :: b

type Foldl arg arg arg :: b

type Foldl' arg arg arg :: b

type Foldr1 arg arg :: a

type Foldl1 arg arg :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Nat

type Elem arg arg :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable First

Associated Types

type Fold arg :: m

type FoldMap arg arg :: m

type Foldr arg arg arg :: b

type Foldr' arg arg arg :: b

type Foldl arg arg arg :: b

type Foldl' arg arg arg :: b

type Foldr1 arg arg :: a

type Foldl1 arg arg :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Nat

type Elem arg arg :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable Last

Associated Types

type Fold arg :: m

type FoldMap arg arg :: m

type Foldr arg arg arg :: b

type Foldr' arg arg arg :: b

type Foldl arg arg arg :: b

type Foldl' arg arg arg :: b

type Foldr1 arg arg :: a

type Foldl1 arg arg :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Nat

type Elem arg arg :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable Option

Associated Types

type Fold arg :: m

type FoldMap arg arg :: m

type Foldr arg arg arg :: b

type Foldr' arg arg arg :: b

type Foldl arg arg arg :: b

type Foldl' arg arg arg :: b

type Foldr1 arg arg :: a

type Foldl1 arg arg :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Nat

type Elem arg arg :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

STraversable Min

Methods

sTraverse :: forall a (f :: Type -> Type) b (t :: a ~> f b) (t :: Min a). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

sSequenceA :: forall (f :: Type -> Type) a (t :: Min (f a)). SApplicative f => Sing t -> Sing (Apply SequenceASym0 t)

sMapM :: forall a (m :: Type -> Type) b (t :: a ~> m b) (t :: Min a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

sSequence :: forall (m :: Type -> Type) a (t :: Min (m a)). SMonad m => Sing t -> Sing (Apply SequenceSym0 t)

STraversable Max

Methods

sTraverse :: forall a (f :: Type -> Type) b (t :: a ~> f b) (t :: Max a). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

sSequenceA :: forall (f :: Type -> Type) a (t :: Max (f a)). SApplicative f => Sing t -> Sing (Apply SequenceASym0 t)

sMapM :: forall a (m :: Type -> Type) b (t :: a ~> m b) (t :: Max a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

sSequence :: forall (m :: Type -> Type) a (t :: Max (m a)). SMonad m => Sing t -> Sing (Apply SequenceSym0 t)

STraversable First

Methods

sTraverse :: forall a (f :: Type -> Type) b (t :: a ~> f b) (t :: First a). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

sSequenceA :: forall (f :: Type -> Type) a (t :: First (f a)). SApplicative f => Sing t -> Sing (Apply SequenceASym0 t)

sMapM :: forall a (m :: Type -> Type) b (t :: a ~> m b) (t :: First a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

sSequence :: forall (m :: Type -> Type) a (t :: First (m a)). SMonad m => Sing t -> Sing (Apply SequenceSym0 t)

STraversable Last

Methods

sTraverse :: forall a (f :: Type -> Type) b (t :: a ~> f b) (t :: Last a). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

sSequenceA :: forall (f :: Type -> Type) a (t :: Last (f a)). SApplicative f => Sing t -> Sing (Apply SequenceASym0 t)

sMapM :: forall a (m :: Type -> Type) b (t :: a ~> m b) (t :: Last a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

sSequence :: forall (m :: Type -> Type) a (t :: Last (m a)). SMonad m => Sing t -> Sing (Apply SequenceSym0 t)

STraversable Option

Methods

sTraverse :: forall a (f :: Type -> Type) b (t :: a ~> f b) (t :: Option a). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

sSequenceA :: forall (f :: Type -> Type) a (t :: Option (f a)). SApplicative f => Sing t -> Sing (Apply SequenceASym0 t)

sMapM :: forall a (m :: Type -> Type) b (t :: a ~> m b) (t :: Option a). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

sSequence :: forall (m :: Type -> Type) a (t :: Option (m a)). SMonad m => Sing t -> Sing (Apply SequenceSym0 t)

PTraversable Min

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Max

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable First

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Last

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

PTraversable Option

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

ShowSing Bool => Show (SAny z)

Methods

showsPrec :: Int -> SAny z -> ShowS

show :: SAny z -> String

showList :: [SAny z] -> ShowS

ShowSing Bool => Show (SAll z)

Methods

showsPrec :: Int -> SAll z -> ShowS

show :: SAll z -> String

showList :: [SAll z] -> ShowS

SNum a => SNum (Min a)

Methods

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

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

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

sNegate :: forall (t :: Min a). Sing t -> Sing (Apply NegateSym0 t)

sAbs :: forall (t :: Min a). Sing t -> Sing (Apply AbsSym0 t)

sSignum :: forall (t :: Min a). Sing t -> Sing (Apply SignumSym0 t)

sFromInteger :: forall (t :: Nat). Sing t -> Sing (Apply FromIntegerSym0 t)

SNum a => SNum (Max a)

Methods

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

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

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

sNegate :: forall (t :: Max a). Sing t -> Sing (Apply NegateSym0 t)

sAbs :: forall (t :: Max a). Sing t -> Sing (Apply AbsSym0 t)

sSignum :: forall (t :: Max a). Sing t -> Sing (Apply SignumSym0 t)

sFromInteger :: forall (t :: Nat). Sing t -> Sing (Apply FromIntegerSym0 t)

PNum (Min a)

Associated Types

type arg + arg :: a

type arg - arg :: a

type arg * arg :: a

type Negate arg :: a

type Abs arg :: a

type Signum arg :: a

type FromInteger arg :: a

PNum (Max a)

Associated Types

type arg + arg :: a

type arg - arg :: a

type arg * arg :: a

type Negate arg :: a

type Abs arg :: a

type Signum arg :: a

type FromInteger arg :: a

SFunctor (Arg a)

Methods

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

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

PFunctor (Arg a)

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

SEnum a => SEnum (Min a)

Methods

sSucc :: forall (t :: Min a). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: Min a). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: Min a). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t :: Min a) (t :: Min a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: forall (t :: Min a) (t :: Min a) (t :: Min a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (Max a)

Methods

sSucc :: forall (t :: Max a). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: Max a). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: Max a). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t :: Max a) (t :: Max a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: forall (t :: Max a) (t :: Max a) (t :: Max a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (First a)

Methods

sSucc :: forall (t :: First a). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: First a). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: First a). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: forall (t :: First a) (t :: First a) (t :: First a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (Last a)

Methods

sSucc :: forall (t :: Last a). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: Last a). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: Last a). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: forall (t :: Last a) (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (WrappedMonoid a)

Methods

sSucc :: forall (t :: WrappedMonoid a). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: WrappedMonoid a). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: WrappedMonoid a). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t :: WrappedMonoid a) (t :: WrappedMonoid a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: forall (t :: WrappedMonoid a) (t :: WrappedMonoid a) (t :: WrappedMonoid a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

PEnum (Min a)

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum (Max a)

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum (First a)

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum (Last a)

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum (WrappedMonoid a)

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

SOrd a => SSemigroup (Min a)

Methods

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

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

SOrd a => SSemigroup (Max a)

Methods

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

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

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)

SMonoid m => SSemigroup (WrappedMonoid m)

Methods

(%<>) :: forall (t :: WrappedMonoid m) (t :: WrappedMonoid m). Sing t -> Sing t -> Sing (Apply (Apply (<>@#@$) t) t)

sSconcat :: forall (t :: NonEmpty (WrappedMonoid m)). Sing t -> Sing (Apply SconcatSym0 t)

SSemigroup a => SSemigroup (Option a)

Methods

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

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

PSemigroup (Min a)

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Max a)

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

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

PSemigroup (WrappedMonoid m)

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

PSemigroup (Option a)

Associated Types

type arg <> arg :: a

type Sconcat arg :: a

SShow a => SShow (Min a)

Methods

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

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

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

SShow a => SShow (Max a)

Methods

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

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

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

SShow 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 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)

SShow m => SShow (WrappedMonoid m)

Methods

sShowsPrec :: forall (t :: Nat) (t :: WrappedMonoid m) (t :: Symbol). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ShowsPrecSym0 t) t) t)

sShow_ :: forall (t :: WrappedMonoid m). Sing t -> Sing (Apply Show_Sym0 t)

sShowList :: forall (t :: [WrappedMonoid m]) (t :: Symbol). Sing t -> Sing t -> Sing (Apply (Apply ShowListSym0 t) t)

SShow (Maybe a) => SShow (Option a)

Methods

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

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

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

SShow a => SShow (Dual a)

Methods

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

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

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

SShow a => SShow (Sum a)

Methods

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

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

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

SShow a => SShow (Product a)

Methods

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

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

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

PShow (Min a)

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Max a)

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

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

PShow (WrappedMonoid m)

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Option a)

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Dual a)

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Sum a)

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

PShow (Product a)

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

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

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)

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)

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)

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)

PMonoid (Min a)

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Max a)

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (WrappedMonoid m)

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

PMonoid (Option a)

Associated Types

type Mempty :: a

type Mappend arg arg :: a

type Mconcat arg :: a

SFoldable (Arg a)

Methods

sFold :: forall m (t :: Arg a m). SMonoid m => Sing t -> Sing (Apply FoldSym0 t)

sFoldMap :: forall a0 m (t :: a0 ~> m) (t :: Arg a a0). SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t)

sFoldr :: forall a0 b (t :: a0 ~> (b ~> b)) (t :: b) (t :: Arg a a0). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t)

sFoldr' :: forall a0 b (t :: a0 ~> (b ~> b)) (t :: b) (t :: Arg a a0). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t)

sFoldl :: forall b a0 (t :: b ~> (a0 ~> b)) (t :: b) (t :: Arg a a0). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t)

sFoldl' :: forall b a0 (t :: b ~> (a0 ~> b)) (t :: b) (t :: Arg a a0). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t)

sFoldr1 :: forall a0 (t :: a0 ~> (a0 ~> a0)) (t :: Arg a a0). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t)

sFoldl1 :: forall a0 (t :: a0 ~> (a0 ~> a0)) (t :: Arg a a0). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t)

sToList :: forall a0 (t :: Arg a a0). Sing t -> Sing (Apply ToListSym0 t)

sNull :: forall a0 (t :: Arg a a0). Sing t -> Sing (Apply NullSym0 t)

sLength :: forall a0 (t :: Arg a a0). Sing t -> Sing (Apply LengthSym0 t)

sElem :: forall a0 (t :: a0) (t :: Arg a a0). SEq a0 => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t)

sMaximum :: forall a0 (t :: Arg a a0). SOrd a0 => Sing t -> Sing (Apply MaximumSym0 t)

sMinimum :: forall a0 (t :: Arg a a0). SOrd a0 => Sing t -> Sing (Apply MinimumSym0 t)

sSum :: forall a0 (t :: Arg a a0). SNum a0 => Sing t -> Sing (Apply SumSym0 t)

sProduct :: forall a0 (t :: Arg a a0). SNum a0 => Sing t -> Sing (Apply ProductSym0 t)

PFoldable (Arg a)

Associated Types

type Fold arg :: m

type FoldMap arg arg :: m

type Foldr arg arg arg :: b

type Foldr' arg arg arg :: b

type Foldl arg arg arg :: b

type Foldl' arg arg arg :: b

type Foldr1 arg arg :: a

type Foldl1 arg arg :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Nat

type Elem arg arg :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

STraversable (Arg a)

Methods

sTraverse :: forall a0 (f :: Type -> Type) b (t :: a0 ~> f b) (t :: Arg a a0). SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

sSequenceA :: forall (f :: Type -> Type) a0 (t :: Arg a (f a0)). SApplicative f => Sing t -> Sing (Apply SequenceASym0 t)

sMapM :: forall a0 (m :: Type -> Type) b (t :: a0 ~> m b) (t :: Arg a a0). SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

sSequence :: forall (m :: Type -> Type) a0 (t :: Arg a (m a0)). SMonad m => Sing t -> Sing (Apply SequenceSym0 t)

PTraversable (Arg a)

Associated Types

type Traverse arg arg :: f (t b)

type SequenceA arg :: f (t a)

type MapM arg arg :: m (t b)

type Sequence arg :: m (t a)

ShowSing m => Show (SWrappedMonoid z)

Methods

showsPrec :: Int -> SWrappedMonoid z -> ShowS

show :: SWrappedMonoid z -> String

showList :: [SWrappedMonoid z] -> ShowS

ShowSing a => Show (SLast z)

Methods

showsPrec :: Int -> SLast z -> ShowS

show :: SLast z -> String

showList :: [SLast z] -> ShowS

ShowSing a => Show (SFirst z)

Methods

showsPrec :: Int -> SFirst z -> ShowS

show :: SFirst z -> String

showList :: [SFirst z] -> ShowS

ShowSing a => Show (SMax z)

Methods

showsPrec :: Int -> SMax z -> ShowS

show :: SMax z -> String

showList :: [SMax z] -> ShowS

ShowSing a => Show (SMin z)

Methods

showsPrec :: Int -> SMin z -> ShowS

show :: SMin z -> String

showList :: [SMin z] -> ShowS

ShowSing a => Show (SProduct z)

Methods

showsPrec :: Int -> SProduct z -> ShowS

show :: SProduct z -> String

showList :: [SProduct z] -> ShowS

ShowSing a => Show (SSum z)

Methods

showsPrec :: Int -> SSum z -> ShowS

show :: SSum z -> String

showList :: [SSum z] -> ShowS

ShowSing a => Show (SDual z)

Methods

showsPrec :: Int -> SDual z -> ShowS

show :: SDual z -> String

showList :: [SDual z] -> ShowS

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

Methods

showsPrec :: Int -> SOption z -> ShowS

show :: SOption z -> String

showList :: [SOption z] -> ShowS

(SingKind a, SingKind b) => SingKind (Arg a b)

Associated Types

type Demote (Arg a b) = (r :: Type)

Methods

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

toSing :: Demote (Arg a b) -> SomeSing (Arg a b)

PEq (Arg a b)

Associated Types

type x == y :: Bool

type x /= y :: Bool

SEq a => SEq (Arg a b)

Methods

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

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

SOrd a => SOrd (Arg a b)

Methods

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

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

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

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

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

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

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

POrd (Arg a b)

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

(SShow a, SShow b) => SShow (Arg a b)

Methods

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

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

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

PShow (Arg a b)

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

(SingI n1, SingI n2) => SingI ('Arg n1 n2 :: Arg a b)

Methods

sing :: Sing ('Arg0 n1 n2)