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

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)

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

Instances

SSemigroup Ordering

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup Symbol

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup ()

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup Void

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup All

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup Any

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup [a]

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup a => SSemigroup (Maybe a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SOrd a => SSemigroup (Min a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SOrd a => SSemigroup (Max a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SSemigroup (First a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SSemigroup (Last a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SMonoid m => SSemigroup (WrappedMonoid m)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SSemigroup a => SSemigroup (Option a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

SSemigroup a => SSemigroup (Identity a)

Defined in Data.Singletons.Prelude.Identity

Methods

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

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

SSemigroup (First a)

Defined in Data.Singletons.Prelude.Monoid

Methods

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

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

SSemigroup (Last a)

Defined in Data.Singletons.Prelude.Monoid

Methods

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

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

SSemigroup a => SSemigroup (Dual a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SNum a => SSemigroup (Sum a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SNum a => SSemigroup (Product a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup a => SSemigroup (Down a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup (NonEmpty a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup (Either a b)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup b => SSemigroup (a ~> b)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

SSemigroup a => SSemigroup (Const a b)

Defined in Data.Singletons.Prelude.Const

Methods

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

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

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

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

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

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

data family Sing :: k -> Type

The singleton kind-indexed data family.

Instances

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

Defined in Data.Singletons.Decide

Methods

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

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

Defined in Data.Singletons.Decide

Methods

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

Show (SSymbol s)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> SSymbol s -> ShowS

show :: SSymbol s -> String

showList :: [SSymbol s] -> ShowS

Show (SNat n)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> SNat n -> ShowS

show :: SNat n -> String

showList :: [SNat n] -> ShowS

Eq (Sing a)

Defined in Data.Singletons.TypeRepTYPE

Methods

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

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

Ord (Sing a)

Defined in Data.Singletons.TypeRepTYPE

Methods

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

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

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

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

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

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

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

Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

Show (Sing a)

Defined in Data.Singletons.TypeRepTYPE

Methods

showsPrec :: Int -> Sing a -> ShowS

show :: Sing a -> String

showList :: [Sing a] -> ShowS

Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing m => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.Prelude.Monoid

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.Prelude.Monoid

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing Bool => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing Bool => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.Prelude.Semigroup

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

data Sing (a :: Bool)

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Bool) where

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

data Sing (a :: Ordering)

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Ordering) where

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

data Sing (n :: Nat)

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Nat) where

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

data Sing (n :: Symbol)

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Symbol) where

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

data Sing (a :: ())

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: ()) where

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

data Sing (a :: Void)

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Void)

data Sing (a :: All)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: All) where

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

data Sing (a :: Any)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: Any) where

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

data Sing (a :: PErrorMessage)

Defined in Data.Singletons.TypeError

data Sing (a :: PErrorMessage) where

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

data Sing (b :: [a])

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: [a]) where

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

data Sing (b :: Maybe a)

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: Maybe a) where

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

data Sing (a :: TYPE rep)

A choice of singleton for the kind TYPE rep (for some RuntimeRep rep), an instantiation of which is the famous kind Type.

Conceivably, one could generalize this instance to `Sing :: k -> Type` for any kind k, and remove all other Sing instances. We don't adopt this design, however, since it is far more convenient in practice to work with explicit singleton values than TypeReps (for instance, TypeReps are more difficult to pattern match on, and require extra runtime checks).

We cannot produce explicit singleton values for everything in TYPE rep, however, since it is an open kind, so we reach for TypeRep in this one particular case.

Defined in Data.Singletons.TypeRepTYPE

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

data Sing (b :: Min a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Min a) where

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

data Sing (b :: Max a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Max a) where

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

data Sing (b :: First a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: First a) where

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

data Sing (b :: Last a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Last a) where

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

data Sing (a :: WrappedMonoid m)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: WrappedMonoid m) where

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

data Sing (b :: Option a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Option a) where

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

data Sing (b :: Identity a)

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: Identity a) where

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

data Sing (b :: First a)

Defined in Data.Singletons.Prelude.Monoid

data Sing (b :: First a) where

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

data Sing (b :: Last a)

Defined in Data.Singletons.Prelude.Monoid

data Sing (b :: Last a) where

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

data Sing (b :: Dual a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Dual a) where

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

data Sing (b :: Sum a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Sum a) where

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

data Sing (b :: Product a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Product a) where

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

data Sing (b :: Down a)

Defined in Data.Singletons.Prelude.Ord

data Sing (b :: Down a) where

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

data Sing (b :: NonEmpty a)

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: NonEmpty a) where

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

data Sing (c :: Either a b)

Defined in Data.Singletons.Prelude.Instances

data Sing (c :: Either a b) where

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

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

Defined in Data.Singletons.Prelude.Instances

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

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

data Sing (c :: Arg a b)

Defined in Data.Singletons.Prelude.Semigroup

data Sing (c :: Arg a b) where

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

data Sing (f :: k1 ~> k2)

Defined in Data.Singletons.Internal

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

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

}

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

Defined in Data.Singletons.Prelude.Instances

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

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

data Sing (c :: Const a b)

Defined in Data.Singletons.Prelude.Const

data Sing (c :: Const a b) where

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

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

Defined in Data.Singletons.Prelude.Instances

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

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

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

Defined in Data.Singletons.Prelude.Instances

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

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

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

Defined in Data.Singletons.Prelude.Instances

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

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

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

Defined in Data.Singletons.Prelude.Instances

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

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

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

Equations

GetMin (Min field) = field

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

Equations

GetMax (Max field) = field

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

Equations

GetFirst (First field) = field

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

Equations

GetLast (Last field) = field

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

Equations

GetDual (Dual field) = field

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

Equations

GetAll (All field) = field

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

Equations

GetAny (Any field) = field

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

Equations

GetSum (Sum field) = field

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

Equations

GetProduct (Product field) = field

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

Equations

GetOption (Option field) = field

type SMin = (Sing :: Min a -> Type)

type SMax = (Sing :: Max a -> Type)

type SFirst = (Sing :: First a -> Type)

type SLast = (Sing :: Last a -> Type)

type SWrappedMonoid = (Sing :: WrappedMonoid m -> Type)

type SDual = (Sing :: Dual a -> Type)

type SAll = (Sing :: All -> Type)

type SAny = (Sing :: Any -> Type)

type SSum = (Sing :: Sum a -> Type)

type SProduct = (Sing :: Product a -> Type)

type SOption = (Sing :: Option a -> Type)

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

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 a6989586621679810357. (~>) a6989586621679810357 ((~>) a6989586621679810357 a6989586621679810357) infixr 6

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

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

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply ((<>@#@$) :: TyFun a6989586621679810357 (a6989586621679810357 ~> a6989586621679810357) -> Type) (arg6989586621679810842 :: a6989586621679810357)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply ((<>@#@$) :: TyFun a6989586621679810357 (a6989586621679810357 ~> a6989586621679810357) -> Type) (arg6989586621679810842 :: a6989586621679810357) = (<>@#@$$) arg6989586621679810842

data (<>@#@$$) (arg6989586621679810842 :: a6989586621679810357) :: (~>) a6989586621679810357 a6989586621679810357 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 ((<>@#@$$) arg6989586621679810842 :: TyFun a6989586621679810357 a6989586621679810357 -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply ((<>@#@$$) arg6989586621679810842 :: TyFun a a -> Type) (arg6989586621679810843 :: a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

type Apply ((<>@#@$$) arg6989586621679810842 :: TyFun a a -> Type) (arg6989586621679810843 :: a) = arg6989586621679810842 <> arg6989586621679810843

type (<>@#@$$$) (arg6989586621679810842 :: a6989586621679810357) (arg6989586621679810843 :: a6989586621679810357) = (<>) arg6989586621679810842 arg6989586621679810843

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

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 a6989586621679810357) a6989586621679810357 -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type SconcatSym1 (arg6989586621679810846 :: NonEmpty a6989586621679810357) = Sconcat arg6989586621679810846

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing MinSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type MinSym1 (t6989586621679820145 :: a6989586621679063560) = Min t6989586621679820145

data GetMinSym0 :: forall a6989586621679063560. (~>) (Min a6989586621679063560) a6989586621679063560

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetMinSym1 (a6989586621679820142 :: Min a6989586621679063560) = GetMin a6989586621679820142

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing MaxSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type MaxSym1 (t6989586621679820162 :: a6989586621679063566) = Max t6989586621679820162

data GetMaxSym0 :: forall a6989586621679063566. (~>) (Max a6989586621679063566) a6989586621679063566

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetMaxSym1 (a6989586621679820159 :: Max a6989586621679063566) = GetMax a6989586621679820159

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing FirstSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type FirstSym1 (t6989586621679820179 :: a6989586621679063580) = First t6989586621679820179

data GetFirstSym0 :: forall a6989586621679063580. (~>) (First a6989586621679063580) a6989586621679063580

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetFirstSym1 (a6989586621679820176 :: First a6989586621679063580) = GetFirst a6989586621679820176

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing LastSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type LastSym1 (t6989586621679820196 :: a6989586621679063586) = Last t6989586621679820196

data GetLastSym0 :: forall a6989586621679063586. (~>) (Last a6989586621679063586) a6989586621679063586

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetLastSym1 (a6989586621679820193 :: Last a6989586621679063586) = GetLast a6989586621679820193

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing WrapMonoidSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type WrapMonoidSym1 (t6989586621679820213 :: m6989586621679063592) = WrapMonoid t6989586621679820213

data UnwrapMonoidSym0 :: forall m6989586621679063592. (~>) (WrappedMonoid m6989586621679063592) m6989586621679063592

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type UnwrapMonoidSym1 (a6989586621679820210 :: WrappedMonoid m6989586621679063592) = UnwrapMonoid a6989586621679820210

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing DualSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type DualSym1 (t6989586621679820066 :: a6989586621679086865) = Dual t6989586621679820066

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

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

data AllSym0 :: (~>) Bool All

Instances

SingI AllSym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing AllSym0

SuppressUnusedWarnings AllSym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply AllSym0 (t6989586621679820080 :: Bool)

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type AllSym1 (t6989586621679820080 :: Bool) = All t6989586621679820080

data GetAllSym0 :: (~>) All Bool

Instances

SuppressUnusedWarnings GetAllSym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply GetAllSym0 (a6989586621679820077 :: All)

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetAllSym1 (a6989586621679820077 :: All) = GetAll a6989586621679820077

data AnySym0 :: (~>) Bool Any

Instances

SingI AnySym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing AnySym0

SuppressUnusedWarnings AnySym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply AnySym0 (t6989586621679820094 :: Bool)

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type AnySym1 (t6989586621679820094 :: Bool) = Any t6989586621679820094

data GetAnySym0 :: (~>) Any Bool

Instances

SuppressUnusedWarnings GetAnySym0

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

type Apply GetAnySym0 (a6989586621679820091 :: Any)

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetAnySym1 (a6989586621679820091 :: Any) = GetAny a6989586621679820091

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing SumSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type SumSym1 (t6989586621679820111 :: a6989586621679086850) = Sum t6989586621679820111

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

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

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sing :: Sing ProductSym0

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type ProductSym1 (t6989586621679820128 :: a6989586621679086855) = Product t6989586621679820128

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

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

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

data OptionSym0 :: forall (a6989586621679063598 :: Type). (~>) (Maybe a6989586621679063598) (Option (a6989586621679063598 :: 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 a6989586621679063598) (Option a6989586621679063598) -> Type)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type OptionSym1 (t6989586621679820049 :: Maybe a6989586621679063598) = Option t6989586621679820049

data GetOptionSym0 :: forall a6989586621679063598. (~>) (Option a6989586621679063598) (Maybe a6989586621679063598)

Instances

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Semigroup.Internal

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

type GetOptionSym1 (a6989586621679820046 :: Option a6989586621679063598) = GetOption a6989586621679820046

data ArgSym0 :: forall (a6989586621679063573 :: Type) (b6989586621679063574 :: Type). (~>) a6989586621679063573 ((~>) b6989586621679063574 (Arg (a6989586621679063573 :: Type) (b6989586621679063574 :: Type)))

Instances

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

Defined in Data.Singletons.Prelude.Semigroup

Methods

sing :: Sing ArgSym0

SuppressUnusedWarnings (ArgSym0 :: TyFun a6989586621679063573 (b6989586621679063574 ~> Arg a6989586621679063573 b6989586621679063574) -> Type)

Defined in Data.Singletons.Prelude.Semigroup

Methods

suppressUnusedWarnings :: ()

type Apply (ArgSym0 :: TyFun a6989586621679063573 (b6989586621679063574 ~> Arg a6989586621679063573 b6989586621679063574) -> Type) (t6989586621680866677 :: a6989586621679063573)

Defined in Data.Singletons.Prelude.Semigroup

type Apply (ArgSym0 :: TyFun a6989586621679063573 (b6989586621679063574 ~> Arg a6989586621679063573 b6989586621679063574) -> Type) (t6989586621680866677 :: a6989586621679063573) = (ArgSym1 t6989586621680866677 b6989586621679063574 :: TyFun b6989586621679063574 (Arg a6989586621679063573 b6989586621679063574) -> Type)

data ArgSym1 (t6989586621680866677 :: (a6989586621679063573 :: Type)) :: forall (b6989586621679063574 :: Type). (~>) b6989586621679063574 (Arg (a6989586621679063573 :: Type) (b6989586621679063574 :: 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 t6989586621680866677 b6989586621679063574 :: TyFun b6989586621679063574 (Arg a6989586621679063573 b6989586621679063574) -> Type)

Defined in Data.Singletons.Prelude.Semigroup

Methods

suppressUnusedWarnings :: ()

type Apply (ArgSym1 t6989586621680866677 b :: TyFun b (Arg a b) -> Type) (t6989586621680866678 :: b)

Defined in Data.Singletons.Prelude.Semigroup

type Apply (ArgSym1 t6989586621680866677 b :: TyFun b (Arg a b) -> Type) (t6989586621680866678 :: b) = Arg t6989586621680866677 t6989586621680866678

type ArgSym2 (t6989586621680866677 :: a6989586621679063573) (t6989586621680866678 :: b6989586621679063574) = Arg t6989586621680866677 t6989586621680866678

Orphan instances

SMonadPlus Option

Methods

sMzero :: Sing MzeroSym0

sMplus :: Sing t -> Sing t -> Sing (Apply (Apply MplusSym0 t) t)

SAlternative Option

Methods

sEmpty :: Sing EmptySym0

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

SMonad Min

Methods

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

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

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

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

SMonad Max

Methods

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

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

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

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

SMonad First

Methods

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

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

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

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

SMonad Last

Methods

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

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

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

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

SMonad Option

Methods

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

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

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

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

SApplicative Min

Methods

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

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

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

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

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

SApplicative Max

Methods

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

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

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

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

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

SApplicative First

Methods

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

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

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

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

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

SApplicative Last

Methods

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

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

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

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

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

SApplicative Option

Methods

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

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

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

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

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

SFunctor Min

Methods

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

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

SFunctor Max

Methods

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

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

SFunctor First

Methods

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

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

SFunctor Last

Methods

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

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

SFunctor Option

Methods

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

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

type Fail arg :: m a

PMonad Max

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad First

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad Last

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

type Fail arg :: m a

PMonad Option

Associated Types

type arg >>= arg :: m b

type arg >> arg :: m b

type Return arg :: m a

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

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

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

SShow Bool => SShow Any

Methods

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

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

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

PShow 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 :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t)

sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t)

sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t)

sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t)

sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t)

sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t)

sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t)

sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t)

sToList :: Sing t -> Sing (Apply ToListSym0 t)

sNull :: Sing t -> Sing (Apply NullSym0 t)

sLength :: Sing t -> Sing (Apply LengthSym0 t)

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

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

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

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

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

SFoldable Max

Methods

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

sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t)

sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t)

sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t)

sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t)

sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t)

sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t)

sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t)

sToList :: Sing t -> Sing (Apply ToListSym0 t)

sNull :: Sing t -> Sing (Apply NullSym0 t)

sLength :: Sing t -> Sing (Apply LengthSym0 t)

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

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

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

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

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

SFoldable First

Methods

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

sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t)

sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t)

sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t)

sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t)

sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t)

sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t)

sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t)

sToList :: Sing t -> Sing (Apply ToListSym0 t)

sNull :: Sing t -> Sing (Apply NullSym0 t)

sLength :: Sing t -> Sing (Apply LengthSym0 t)

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

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

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

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

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

SFoldable Last

Methods

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

sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t)

sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t)

sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t)

sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t)

sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t)

sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t)

sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t)

sToList :: Sing t -> Sing (Apply ToListSym0 t)

sNull :: Sing t -> Sing (Apply NullSym0 t)

sLength :: Sing t -> Sing (Apply LengthSym0 t)

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

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

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

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

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

SFoldable Option

Methods

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

sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t)

sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t)

sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t)

sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t)

sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t)

sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t)

sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t)

sToList :: Sing t -> Sing (Apply ToListSym0 t)

sNull :: Sing t -> Sing (Apply NullSym0 t)

sLength :: Sing t -> Sing (Apply LengthSym0 t)

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

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

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

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

sProduct :: 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 :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t)

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t)

STraversable Max

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t)

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t)

STraversable First

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t)

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t)

STraversable Last

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t)

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

sSequence :: SMonad m => Sing t -> Sing (Apply SequenceSym0 t)

STraversable Option

Methods

sTraverse :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t)

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

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

SNum a => SNum (Min a)

Methods

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

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

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

sNegate :: Sing t -> Sing (Apply NegateSym0 t)

sAbs :: Sing t -> Sing (Apply AbsSym0 t)

sSignum :: Sing t -> Sing (Apply SignumSym0 t)

sFromInteger :: Sing t -> Sing (Apply FromIntegerSym0 t)

SNum a => SNum (Max a)

Methods

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

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

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

sNegate :: Sing t -> Sing (Apply NegateSym0 t)

sAbs :: Sing t -> Sing (Apply AbsSym0 t)

sSignum :: Sing t -> Sing (Apply SignumSym0 t)

sFromInteger :: 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 :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: 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 :: Sing t -> Sing (Apply SuccSym0 t)

sPred :: Sing t -> Sing (Apply PredSym0 t)

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (Max a)

Methods

sSucc :: Sing t -> Sing (Apply SuccSym0 t)

sPred :: Sing t -> Sing (Apply PredSym0 t)

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (First a)

Methods

sSucc :: Sing t -> Sing (Apply SuccSym0 t)

sPred :: Sing t -> Sing (Apply PredSym0 t)

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (Last a)

Methods

sSucc :: Sing t -> Sing (Apply SuccSym0 t)

sPred :: Sing t -> Sing (Apply PredSym0 t)

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (WrappedMonoid a)

Methods

sSucc :: Sing t -> Sing (Apply SuccSym0 t)

sPred :: Sing t -> Sing (Apply PredSym0 t)

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

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

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

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

SOrd a => SSemigroup (Max a)

Methods

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

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

SSemigroup (First a)

Methods

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

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

SSemigroup (Last a)

Methods

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

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

SMonoid m => SSemigroup (WrappedMonoid m)

Methods

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

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

SSemigroup a => SSemigroup (Option a)

Methods

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

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

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

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

SShow a => SShow (Max a)

Methods

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

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

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

SShow a => SShow (First a)

Methods

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

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

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

SShow a => SShow (Last a)

Methods

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

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

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

SShow m => SShow (WrappedMonoid m)

Methods

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

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

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

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

Methods

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

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

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

SShow a => SShow (Dual a)

Methods

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

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

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

SShow a => SShow (Sum a)

Methods

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

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

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

SShow a => SShow (Product a)

Methods

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

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

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

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

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

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

Methods

sMempty :: Sing MemptySym0

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

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

SMonoid m => SMonoid (WrappedMonoid m)

Methods

sMempty :: Sing MemptySym0

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

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

SSemigroup a => SMonoid (Option a)

Methods

sMempty :: Sing MemptySym0

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

sMconcat :: 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 :: SMonoid m => Sing t -> Sing (Apply FoldSym0 t)

sFoldMap :: SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t)

sFoldr :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t)

sFoldr' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t)

sFoldl :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t)

sFoldl' :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t)

sFoldr1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t)

sFoldl1 :: Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t)

sToList :: Sing t -> Sing (Apply ToListSym0 t)

sNull :: Sing t -> Sing (Apply NullSym0 t)

sLength :: Sing t -> Sing (Apply LengthSym0 t)

sElem :: SEq a0 => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t)

sMaximum :: SOrd a0 => Sing t -> Sing (Apply MaximumSym0 t)

sMinimum :: SOrd a0 => Sing t -> Sing (Apply MinimumSym0 t)

sSum :: SNum a0 => Sing t -> Sing (Apply SumSym0 t)

sProduct :: 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 :: SApplicative f => Sing t -> Sing t -> Sing (Apply (Apply TraverseSym0 t) t)

sSequenceA :: SApplicative f => Sing t -> Sing (Apply SequenceASym0 t)

sMapM :: SMonad m => Sing t -> Sing t -> Sing (Apply (Apply MapMSym0 t) t)

sSequence :: 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 a => Show (Sing z)

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing m => Show (Sing z)

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing Bool => Show (Sing z)

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing Bool => Show (Sing z)

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

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

Associated Types

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

Methods

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

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

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

SOrd a => SOrd (Arg a b)

Methods

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

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

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

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

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

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

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

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

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

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

PShow (Arg a b)

Associated Types

type ShowsPrec arg arg arg :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg :: Symbol

SingI d => SingI (TyCon1 (Arg d :: b -> Arg a b) :: b ~> Arg a b)

Methods

sing :: Sing (TyCon1 (Arg0 d))

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

Methods

sing :: Sing (Arg0 n1 n2)

SingI (TyCon2 (Arg :: a -> b -> Arg a b) :: a ~> (b ~> Arg a b))

Methods

sing :: Sing (TyCon2 Arg0)