Documentation

Associated Types

type Demote Natural
Instance details Defined in GHC.TypeLits.Singletons.Internal type Demote Natural = Natural

Methods

fromSing :: forall (a :: Natural). Sing a -> Demote Natural #

toSing :: Demote Natural -> SomeSing Natural #

SDecide Natural Source #

Instance details

Methods

(%~) :: forall (a :: Natural) (b :: Natural). Sing a -> Sing b -> Decision (a :~: b) #

PEq Natural Source #

Instance details

Associated Types

type (x :: Natural) == (y :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (x :: Natural) == (y :: Natural) = DefaultEq x y
type (arg :: Natural) /= (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Natural) /= (arg1 :: Natural)

SEq Natural Source #

Instance details

Methods

(%==) :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((==@#@$) :: TyFun Natural (Natural ~> Bool) -> Type) t1) t2) Source #

(%/=) :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((/=@#@$) :: TyFun Natural (Natural ~> Bool) -> Type) t1) t2) Source #

POrd Natural Source #

Instance details

Associated Types

type Compare (a :: Natural) (b :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Compare (a :: Natural) (b :: Natural) = CmpNat a b
type (arg :: Natural) < (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Natural) < (arg1 :: Natural)
type (arg :: Natural) <= (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Natural) <= (arg1 :: Natural)
type (arg :: Natural) > (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Natural) > (arg1 :: Natural)
type (arg :: Natural) >= (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Natural) >= (arg1 :: Natural)
type Max (arg :: Natural) (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Max (arg :: Natural) (arg1 :: Natural)
type Min (arg :: Natural) (arg1 :: Natural)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Min (arg :: Natural) (arg1 :: Natural)

SOrd Natural Source #

Instance details

Methods

sCompare :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply (CompareSym0 :: TyFun Natural (Natural ~> Ordering) -> Type) t1) t2) Source #

(%<) :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<@#@$) :: TyFun Natural (Natural ~> Bool) -> Type) t1) t2) Source #

(%<=) :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<=@#@$) :: TyFun Natural (Natural ~> Bool) -> Type) t1) t2) Source #

(%>) :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>@#@$) :: TyFun Natural (Natural ~> Bool) -> Type) t1) t2) Source #

(%>=) :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>=@#@$) :: TyFun Natural (Natural ~> Bool) -> Type) t1) t2) Source #

sMax :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MaxSym0 :: TyFun Natural (Natural ~> Natural) -> Type) t1) t2) Source #

sMin :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MinSym0 :: TyFun Natural (Natural ~> Natural) -> Type) t1) t2) Source #

PEnum Natural Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (a :: Natural)
Instance details Defined in Data.Singletons.Base.Enum type Succ (a :: Natural)
type Pred (a :: Natural)
Instance details Defined in Data.Singletons.Base.Enum type Pred (a :: Natural)
type ToEnum a
Instance details Defined in Data.Singletons.Base.Enum type ToEnum a
type FromEnum (a :: Natural)
Instance details Defined in Data.Singletons.Base.Enum type FromEnum (a :: Natural)
type EnumFromTo (a1 :: Natural) (a2 :: Natural)
Instance details Defined in Data.Singletons.Base.Enum type EnumFromTo (a1 :: Natural) (a2 :: Natural)
type EnumFromThenTo (a1 :: Natural) (a2 :: Natural) (a3 :: Natural)
Instance details Defined in Data.Singletons.Base.Enum type EnumFromThenTo (a1 :: Natural) (a2 :: Natural) (a3 :: Natural)

SEnum Natural Source #

Instance details

Defined in Data.Singletons.Base.Enum

Methods

sSucc :: forall (t :: Natural). Sing t -> Sing (Apply (SuccSym0 :: TyFun Natural Natural -> Type) t) Source #

sPred :: forall (t :: Natural). Sing t -> Sing (Apply (PredSym0 :: TyFun Natural Natural -> Type) t) Source #

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural Natural -> Type) t) Source #

sFromEnum :: forall (t :: Natural). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun Natural Natural -> Type) t) Source #

sEnumFromTo :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun Natural (Natural ~> [Natural]) -> Type) t1) t2) Source #

sEnumFromThenTo :: forall (t1 :: Natural) (t2 :: Natural) (t3 :: Natural). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun Natural (Natural ~> (Natural ~> [Natural])) -> Type) t1) t2) t3) Source #

PNum Natural Source #

Instance details

Defined in GHC.Num.Singletons

Associated Types

type (a :: Natural) + (b :: Natural)
Instance details Defined in GHC.Num.Singletons type (a :: Natural) + (b :: Natural) = a + b
type (a :: Natural) - (b :: Natural)
Instance details Defined in GHC.Num.Singletons type (a :: Natural) - (b :: Natural) = a - b
type (a :: Natural) * (b :: Natural)
Instance details Defined in GHC.Num.Singletons type (a :: Natural) * (b :: Natural) = a * b
type Negate (a :: Natural)
Instance details Defined in GHC.Num.Singletons type Negate (a :: Natural) = Error "Cannot negate a natural number" :: Natural
type Abs (a :: Natural)
Instance details Defined in GHC.Num.Singletons type Abs (a :: Natural) = a
type Signum (a :: Natural)
Instance details Defined in GHC.Num.Singletons type Signum (a :: Natural)
type FromInteger a
Instance details Defined in GHC.Num.Singletons type FromInteger a = a

SNum Natural Source #

Instance details

Defined in GHC.Num.Singletons

Methods

(%+) :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((+@#@$) :: TyFun Natural (Natural ~> Natural) -> Type) t1) t2) Source #

(%-) :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((-@#@$) :: TyFun Natural (Natural ~> Natural) -> Type) t1) t2) Source #

(%*) :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((*@#@$) :: TyFun Natural (Natural ~> Natural) -> Type) t1) t2) Source #

sNegate :: forall (t :: Natural). Sing t -> Sing (Apply (NegateSym0 :: TyFun Natural Natural -> Type) t) Source #

sAbs :: forall (t :: Natural). Sing t -> Sing (Apply (AbsSym0 :: TyFun Natural Natural -> Type) t) Source #

sSignum :: forall (t :: Natural). Sing t -> Sing (Apply (SignumSym0 :: TyFun Natural Natural -> Type) t) Source #

sFromInteger :: forall (t :: Natural). Sing t -> Sing (Apply (FromIntegerSym0 :: TyFun Natural Natural -> Type) t) Source #

PShow Natural Source #

Instance details

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec _1 (n :: Natural) x
Instance details Defined in Text.Show.Singletons type ShowsPrec _1 (n :: Natural) x
type Show_ (arg :: Natural)
Instance details Defined in Text.Show.Singletons type Show_ (arg :: Natural)
type ShowList (arg1 :: [Natural]) arg2
Instance details Defined in Text.Show.Singletons type ShowList (arg1 :: [Natural]) arg2

SShow Natural Source #

Instance details

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Natural) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ShowsPrecSym0 :: TyFun Natural (Natural ~> (Symbol ~> Symbol)) -> Type) t1) t2) t3) Source #

sShow_ :: forall (t :: Natural). Sing t -> Sing (Apply (Show_Sym0 :: TyFun Natural Symbol -> Type) t) Source #

sShowList :: forall (t1 :: [Natural]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply (ShowListSym0 :: TyFun [Natural] (Symbol ~> Symbol) -> Type) t1) t2) Source #

KnownNat n => HasResolution (n :: Nat)

For example, Fixed 1000 will give you a Fixed with a resolution of 1000.

Instance details

Defined in Data.Fixed

Methods

resolution :: p n -> Integer #

TestCoercion SNat

@since base-4.18.0.0

Instance details

Defined in GHC.Internal.TypeNats

Methods

testCoercion :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (Coercion a b) #

TestEquality SNat

@since base-4.18.0.0

Instance details

Defined in GHC.Internal.TypeNats

Methods

testEquality :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (a :~: b) #

KnownNat n => SingI (n :: Nat) Source #

Instance details

Methods

sing :: Sing n #

Lift Natural

Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Natural -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Natural -> Code m Natural #

SShow a => SingI2 (ShowsPrecSym2 :: Natural -> a -> TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing2 :: forall (x :: Natural) (y :: a). Sing x -> Sing y -> Sing (ShowsPrecSym2 x y) #

SingI1 DivSym1 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (DivSym1 x) #

SingI1 ModSym1 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (ModSym1 x) #

SingI1 (^@#@$$) Source #

Instance details

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing ((^@#@$$) x) #

SingI1 (SplitAtSym1 :: Natural -> TyFun (NonEmpty a) ([a], [a]) -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (SplitAtSym1 x :: TyFun (NonEmpty a) ([a], [a]) -> Type) #

SingI1 (DropSym1 :: Natural -> TyFun (NonEmpty a) [a] -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (DropSym1 x :: TyFun (NonEmpty a) [a] -> Type) #

SingI1 (TakeSym1 :: Natural -> TyFun (NonEmpty a) [a] -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (TakeSym1 x :: TyFun (NonEmpty a) [a] -> Type) #

SingI1 (SplitAtSym1 :: Natural -> TyFun [a] ([a], [a]) -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (SplitAtSym1 x :: TyFun [a] ([a], [a]) -> Type) #

SingI1 (DropSym1 :: Natural -> TyFun [a] [a] -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (DropSym1 x :: TyFun [a] [a] -> Type) #

SingI1 (TakeSym1 :: Natural -> TyFun [a] [a] -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (TakeSym1 x :: TyFun [a] [a] -> Type) #

SShow a => SingI1 (ShowsPrecSym1 :: Natural -> TyFun a (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (ShowsPrecSym1 x :: TyFun a (Symbol ~> Symbol) -> Type) #

SingI1 (ReplicateSym1 :: Natural -> TyFun a [a] -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (ReplicateSym1 x :: TyFun a [a] -> Type) #

SingI1 ((<=?@#@$$) :: Natural -> TyFun Natural Bool -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing ((<=?@#@$$) x) #

SEq a => SingI1 (ElemIndexSym1 :: a -> TyFun [a] (Maybe Natural) -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: a). Sing x -> Sing (ElemIndexSym1 x) #

SEq a => SingI1 (ElemIndicesSym1 :: a -> TyFun [a] [Natural] -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: a). Sing x -> Sing (ElemIndicesSym1 x) #

SApplicative m => SingI1 (ReplicateM_Sym1 :: Natural -> TyFun (m a) (m ()) -> Type) Source #

Instance details

Defined in Control.Monad.Singletons

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (ReplicateM_Sym1 x :: TyFun (m a) (m ()) -> Type) #

SApplicative m => SingI1 (ReplicateMSym1 :: Natural -> TyFun (m a) (m [a]) -> Type) Source #

Instance details

Defined in Control.Monad.Singletons

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (ReplicateMSym1 x :: TyFun (m a) (m [a]) -> Type) #

SingI1 ((!!@#@$$) :: NonEmpty a -> TyFun Natural a -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: NonEmpty a). Sing x -> Sing ((!!@#@$$) x) #

SingI1 ((!!@#@$$) :: [a] -> TyFun Natural a -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: [a]). Sing x -> Sing ((!!@#@$$) x) #

SingI DivSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing DivSym0 #

SingI ModSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing ModSym0 #

SingI (^@#@$) Source #

Instance details

SuppressUnusedWarnings KnownNatSym0 Source #

Methods

sing :: Sing (^@#@$) #

SingI Log2Sym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing Log2Sym0 #

SingI NatToCharSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing NatToCharSym0 #

SingI CharToNatSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing CharToNatSym0 #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings DivSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings ModSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings QuotSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings RemSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings (^@#@$) Source #

Instance details

Methods

SuppressUnusedWarnings DivModSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings QuotRemSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings Log2Sym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings NatToCharSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings CharToNatSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SingI ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type) Source #

Instance details

Methods

sing :: Sing ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type) #

SingI (LengthSym0 :: TyFun (NonEmpty a) Natural -> Type) Source #

Instance details

Methods

sing :: Sing (LengthSym0 :: TyFun (NonEmpty a) Natural -> Type) #

SingI (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Natural) -> Type) Source #

Instance details

Methods

sing :: Sing (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Natural) -> Type) #

SingI (FindIndicesSym0 :: TyFun (a ~> Bool) ([a] ~> [Natural]) -> Type) Source #

Instance details

Methods

sing :: Sing (FindIndicesSym0 :: TyFun (a ~> Bool) ([a] ~> [Natural]) -> Type) #

SingI (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type) Source #

Instance details

Methods

sing :: Sing (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type) #

SingI (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) Source #

Instance details

Methods

sing :: Sing (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) #

SingI (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) Source #

Instance details

Methods

sing :: Sing (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) #

SingI (SplitAtSym0 :: TyFun Natural ([a] ~> ([a], [a])) -> Type) Source #

Instance details

Methods

sing :: Sing (SplitAtSym0 :: TyFun Natural ([a] ~> ([a], [a])) -> Type) #

SingI (DropSym0 :: TyFun Natural ([a] ~> [a]) -> Type) Source #

Instance details

Methods

sing :: Sing (DropSym0 :: TyFun Natural ([a] ~> [a]) -> Type) #

SingI (TakeSym0 :: TyFun Natural ([a] ~> [a]) -> Type) Source #

Instance details

Methods

sing :: Sing (TakeSym0 :: TyFun Natural ([a] ~> [a]) -> Type) #

SShow a => SingI (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) #

SingI (ReplicateSym0 :: TyFun Natural (a ~> [a]) -> Type) Source #

Instance details

Methods

sing :: Sing (ReplicateSym0 :: TyFun Natural (a ~> [a]) -> Type) #

SEnum a => SingI (ToEnumSym0 :: TyFun Natural a -> Type) Source #

Instance details

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (ToEnumSym0 :: TyFun Natural a -> Type) #

SNum a => SingI (FromIntegerSym0 :: TyFun Natural a -> Type) Source #

Instance details

Defined in GHC.Num.Singletons

Methods

sing :: Sing (FromIntegerSym0 :: TyFun Natural a -> Type) #

SingI ((!!@#@$) :: TyFun [a] (Natural ~> a) -> Type) Source #

Instance details

Methods

sing :: Sing ((!!@#@$) :: TyFun [a] (Natural ~> a) -> Type) #

SEq a => SingI (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Natural) -> Type) Source #

Instance details

Methods

sing :: Sing (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Natural) -> Type) #

SEq a => SingI (ElemIndicesSym0 :: TyFun a ([a] ~> [Natural]) -> Type) Source #

Instance details

Methods

sing :: Sing (ElemIndicesSym0 :: TyFun a ([a] ~> [Natural]) -> Type) #

SEnum a => SingI (FromEnumSym0 :: TyFun a Natural -> Type) Source #

Instance details

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (FromEnumSym0 :: TyFun a Natural -> Type) #

SingI ((<=?@#@$) :: TyFun Natural (Natural ~> Bool) -> Type) Source #

Instance details

Methods

sing :: Sing ((<=?@#@$) :: TyFun Natural (Natural ~> Bool) -> Type) #

SingI x => SingI (DivSym1 x :: TyFun Natural Natural -> Type) Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing (DivSym1 x) #

SingI x => SingI (ModSym1 x :: TyFun Natural Natural -> Type) Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing (ModSym1 x) #

SingI x => SingI ((^@#@$$) x :: TyFun Natural Natural -> Type) Source #

Instance details

Methods

sing :: Sing ((^@#@$$) x) #

SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a) Natural -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Natural) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (FindIndicesSym0 :: TyFun (a ~> Bool) ([a] ~> [Natural]) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (SplitAtSym0 :: TyFun Natural ([a] ~> ([a], [a])) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (DropSym0 :: TyFun Natural ([a] ~> [a]) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (TakeSym0 :: TyFun Natural ([a] ~> [a]) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ReplicateSym0 :: TyFun Natural (a ~> [a]) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (DivSym1 a6989586621679570671 :: TyFun Natural Natural -> Type) Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings (ModSym1 a6989586621679571114 :: TyFun Natural Natural -> Type) Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings (QuotSym1 a6989586621679571780 :: TyFun Natural Natural -> Type) Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings (RemSym1 a6989586621679571769 :: TyFun Natural Natural -> Type) Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings ((^@#@$$) a6989586621679559885 :: TyFun Natural Natural -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (DivModSym1 a6989586621679571798 :: TyFun Natural (Natural, Natural) -> Type) Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings (QuotRemSym1 a6989586621679571791 :: TyFun Natural (Natural, Natural) -> Type) Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings (ToEnumSym0 :: TyFun Natural a -> Type) Source #

Instance details

Defined in Data.Singletons.Base.Enum

Methods

SuppressUnusedWarnings (FromIntegerSym0 :: TyFun Natural a -> Type) Source #

Instance details

Defined in GHC.Num.Singletons

Methods

SuppressUnusedWarnings ((!!@#@$) :: TyFun [a] (Natural ~> a) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Natural) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (ElemIndicesSym0 :: TyFun a ([a] ~> [Natural]) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (FromEnumSym0 :: TyFun a Natural -> Type) Source #

Instance details

Defined in Data.Singletons.Base.Enum

Methods

SApplicative m => SingI (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) Source #

Instance details

Defined in Control.Monad.Singletons

Methods

sing :: Sing (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) #

SApplicative m => SingI (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) Source #

Instance details

Defined in Control.Monad.Singletons

Methods

sing :: Sing (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) #

SingI d => SingI ((!!@#@$$) d :: TyFun Natural a -> Type) Source #

Instance details

Methods

sing :: Sing ((!!@#@$$) d) #

SingI d => SingI ((!!@#@$$) d :: TyFun Natural a -> Type) Source #

Instance details

Methods

sing :: Sing ((!!@#@$$) d) #

(SEq a, SingI d) => SingI (ElemIndexSym1 d :: TyFun [a] (Maybe Natural) -> Type) Source #

Instance details

Methods

sing :: Sing (ElemIndexSym1 d) #

SingI d => SingI (FindIndexSym1 d :: TyFun [a] (Maybe Natural) -> Type) Source #

Instance details

Methods

sing :: Sing (FindIndexSym1 d) #

(SEq a, SingI d) => SingI (ElemIndicesSym1 d :: TyFun [a] [Natural] -> Type) Source #

Instance details

Methods

sing :: Sing (ElemIndicesSym1 d) #

SingI d => SingI (FindIndicesSym1 d :: TyFun [a] [Natural] -> Type) Source #

Instance details

Methods

sing :: Sing (FindIndicesSym1 d) #

SingI x => SingI ((<=?@#@$$) x :: TyFun Natural Bool -> Type) Source #

Instance details

Methods

sing :: Sing ((<=?@#@$$) x) #

SuppressUnusedWarnings (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) Source #

Instance details

Defined in Control.Monad.Singletons

Methods

SuppressUnusedWarnings (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) Source #

Instance details

Defined in Control.Monad.Singletons

Methods

SuppressUnusedWarnings ((!!@#@$$) a6989586621681138604 :: TyFun Natural a -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings ((!!@#@$$) a6989586621679823922 :: TyFun Natural a -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (ElemIndexSym1 a6989586621679824298 :: TyFun [a] (Maybe Natural) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (FindIndexSym1 a6989586621679824280 :: TyFun [a] (Maybe Natural) -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (ElemIndicesSym1 a6989586621679824289 :: TyFun [a] [Natural] -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (FindIndicesSym1 a6989586621679824257 :: TyFun [a] [Natural] -> Type) Source #

Instance details

Methods

SingI1 (FindIndexSym1 :: (a ~> Bool) -> TyFun [a] (Maybe Natural) -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (FindIndexSym1 x) #

SingI1 (FindIndicesSym1 :: (a ~> Bool) -> TyFun [a] [Natural] -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (FindIndicesSym1 x) #

SFoldable t => SingI (LengthSym0 :: TyFun (t a) Natural -> Type) Source #

Instance details

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (LengthSym0 :: TyFun (t a) Natural -> Type) #

SuppressUnusedWarnings (LengthSym0 :: TyFun (t a) Natural -> Type) Source #

Instance details

Defined in Data.Foldable.Singletons

Methods

type Demote Natural Source #

Instance details

type Demote Natural = Natural

type Sing Source #

Instance details

type Sing = SNat

type FromEnum (a :: Natural) Source #

Instance details

Defined in Data.Singletons.Base.Enum

type FromEnum (a :: Natural)

type Pred (a :: Natural) Source #

Instance details

Defined in Data.Singletons.Base.Enum

type Pred (a :: Natural)

type Succ (a :: Natural) Source #

Instance details

Defined in Data.Singletons.Base.Enum

type Succ (a :: Natural)

type ToEnum a Source #

Instance details

Defined in Data.Singletons.Base.Enum

type ToEnum a

type Abs (a :: Natural) Source #

Instance details

Defined in GHC.Num.Singletons

type Abs (a :: Natural) = a

type FromInteger a Source #

Instance details

Defined in GHC.Num.Singletons

type FromInteger a = a

type Negate (a :: Natural) Source #

Instance details

Defined in GHC.Num.Singletons

type Negate (a :: Natural) = Error "Cannot negate a natural number" :: Natural

type Signum (a :: Natural) Source #

Instance details

Defined in GHC.Num.Singletons

type Signum (a :: Natural)

type Show_ (arg :: Natural) Source #

Instance details

Defined in Text.Show.Singletons

type Show_ (arg :: Natural)

type Compare (a :: Natural) (b :: Natural)

Instance details

Defined in GHC.Internal.Data.Type.Ord

type Compare (a :: Natural) (b :: Natural) = CmpNat a b

type (arg :: Natural) /= (arg1 :: Natural) Source #

Instance details

type (arg :: Natural) /= (arg1 :: Natural)

type (x :: Natural) == (y :: Natural) Source #

Instance details

type (x :: Natural) == (y :: Natural) = DefaultEq x y

type (arg :: Natural) < (arg1 :: Natural) Source #

Instance details

type (arg :: Natural) < (arg1 :: Natural)

type (arg :: Natural) <= (arg1 :: Natural) Source #

Instance details

type (arg :: Natural) <= (arg1 :: Natural)

type (arg :: Natural) > (arg1 :: Natural) Source #

Instance details

type (arg :: Natural) > (arg1 :: Natural)

type (arg :: Natural) >= (arg1 :: Natural) Source #

Instance details

type (arg :: Natural) >= (arg1 :: Natural)

type Compare (a :: Natural) (b :: Natural) Source #

Instance details

type Compare (a :: Natural) (b :: Natural) = CmpNat a b

type Max (arg :: Natural) (arg1 :: Natural) Source #

Instance details

type Max (arg :: Natural) (arg1 :: Natural)

type Min (arg :: Natural) (arg1 :: Natural) Source #

Instance details

type Min (arg :: Natural) (arg1 :: Natural)

type EnumFromTo (a1 :: Natural) (a2 :: Natural) Source #

Instance details

Defined in Data.Singletons.Base.Enum

type EnumFromTo (a1 :: Natural) (a2 :: Natural)

type (a :: Natural) * (b :: Natural) Source #

Instance details

Defined in GHC.Num.Singletons

type (a :: Natural) * (b :: Natural) = a * b

type (a :: Natural) + (b :: Natural) Source #

Instance details

Defined in GHC.Num.Singletons

type (a :: Natural) + (b :: Natural) = a + b

type (a :: Natural) - (b :: Natural) Source #

Instance details

Defined in GHC.Num.Singletons

type (a :: Natural) - (b :: Natural) = a - b

type ShowList (arg1 :: [Natural]) arg2 Source #

Instance details

Defined in Text.Show.Singletons

type ShowList (arg1 :: [Natural]) arg2

type Apply KnownNatSym0 (a6989586621679569797 :: Nat) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply KnownNatSym0 (a6989586621679569797 :: Nat) = KnownNat a6989586621679569797

type Apply Log2Sym0 (a6989586621679570442 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply Log2Sym0 (a6989586621679570442 :: Natural) = Log2 a6989586621679570442

type Apply NatToCharSym0 (a6989586621679574046 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply NatToCharSym0 (a6989586621679574046 :: Natural) = NatToChar a6989586621679574046

type Apply CharToNatSym0 (a6989586621679573817 :: Char) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply CharToNatSym0 (a6989586621679573817 :: Char) = CharToNat a6989586621679573817

type EnumFromThenTo (a1 :: Natural) (a2 :: Natural) (a3 :: Natural) Source #

Instance details

Defined in Data.Singletons.Base.Enum

type EnumFromThenTo (a1 :: Natural) (a2 :: Natural) (a3 :: Natural)

type ShowsPrec _1 (n :: Natural) x Source #

Instance details

Defined in Text.Show.Singletons

type ShowsPrec _1 (n :: Natural) x

type Apply (DivSym1 a6989586621679570671 :: TyFun Natural Natural -> Type) (a6989586621679570672 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (DivSym1 a6989586621679570671 :: TyFun Natural Natural -> Type) (a6989586621679570672 :: Natural) = Div a6989586621679570671 a6989586621679570672

type Apply (ModSym1 a6989586621679571114 :: TyFun Natural Natural -> Type) (a6989586621679571115 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (ModSym1 a6989586621679571114 :: TyFun Natural Natural -> Type) (a6989586621679571115 :: Natural) = Mod a6989586621679571114 a6989586621679571115

type Apply (QuotSym1 a6989586621679571780 :: TyFun Natural Natural -> Type) (a6989586621679571781 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (QuotSym1 a6989586621679571780 :: TyFun Natural Natural -> Type) (a6989586621679571781 :: Natural) = Quot a6989586621679571780 a6989586621679571781

type Apply (RemSym1 a6989586621679571769 :: TyFun Natural Natural -> Type) (a6989586621679571770 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (RemSym1 a6989586621679571769 :: TyFun Natural Natural -> Type) (a6989586621679571770 :: Natural) = Rem a6989586621679571769 a6989586621679571770

type Apply ((^@#@$$) a6989586621679559885 :: TyFun Natural Natural -> Type) (a6989586621679559886 :: Natural) Source #

Instance details

type Apply ((^@#@$$) a6989586621679559885 :: TyFun Natural Natural -> Type) (a6989586621679559886 :: Natural) = a6989586621679559885 ^ a6989586621679559886

type Apply (ToEnumSym0 :: TyFun Natural k2 -> Type) (a6989586621679618564 :: Natural) Source #

Instance details

Defined in Data.Singletons.Base.Enum

type Apply (ToEnumSym0 :: TyFun Natural k2 -> Type) (a6989586621679618564 :: Natural) = ToEnum a6989586621679618564 :: k2

type Apply (FromIntegerSym0 :: TyFun Natural k2 -> Type) (a6989586621679596397 :: Natural) Source #

Instance details

Defined in GHC.Num.Singletons

type Apply (FromIntegerSym0 :: TyFun Natural k2 -> Type) (a6989586621679596397 :: Natural) = FromInteger a6989586621679596397 :: k2

type Apply (FromEnumSym0 :: TyFun a Natural -> Type) (a6989586621679618567 :: a) Source #

Instance details

Defined in Data.Singletons.Base.Enum

type Apply (FromEnumSym0 :: TyFun a Natural -> Type) (a6989586621679618567 :: a) = FromEnum a6989586621679618567

type Apply ((!!@#@$$) a6989586621681138604 :: TyFun Natural a -> Type) (a6989586621681138605 :: Natural) Source #

Instance details

type Apply ((!!@#@$$) a6989586621681138604 :: TyFun Natural a -> Type) (a6989586621681138605 :: Natural) = a6989586621681138604 !! a6989586621681138605

type Apply ((!!@#@$$) a6989586621679823922 :: TyFun Natural a -> Type) (a6989586621679823923 :: Natural) Source #

Instance details

type Apply ((!!@#@$$) a6989586621679823922 :: TyFun Natural a -> Type) (a6989586621679823923 :: Natural) = a6989586621679823922 !! a6989586621679823923

type Apply DivSym0 (a6989586621679570671 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply DivSym0 (a6989586621679570671 :: Natural) = DivSym1 a6989586621679570671

type Apply ModSym0 (a6989586621679571114 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply ModSym0 (a6989586621679571114 :: Natural) = ModSym1 a6989586621679571114

type Apply QuotSym0 (a6989586621679571780 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply QuotSym0 (a6989586621679571780 :: Natural) = QuotSym1 a6989586621679571780

type Apply RemSym0 (a6989586621679571769 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply RemSym0 (a6989586621679571769 :: Natural) = RemSym1 a6989586621679571769

type Apply (^@#@$) (a6989586621679559885 :: Natural) Source #

Instance details

type Apply (^@#@$) (a6989586621679559885 :: Natural) = (^@#@$$) a6989586621679559885

type Apply DivModSym0 (a6989586621679571798 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply DivModSym0 (a6989586621679571798 :: Natural) = DivModSym1 a6989586621679571798

type Apply QuotRemSym0 (a6989586621679571791 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply QuotRemSym0 (a6989586621679571791 :: Natural) = QuotRemSym1 a6989586621679571791

type Apply (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type) (a6989586621681138796 :: Natural) Source #

Instance details

type Apply (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type) (a6989586621681138796 :: Natural) = SplitAtSym1 a6989586621681138796 :: TyFun (NonEmpty a) ([a], [a]) -> Type

type Apply (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) (a6989586621681138805 :: Natural) Source #

Instance details

type Apply (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) (a6989586621681138805 :: Natural) = DropSym1 a6989586621681138805 :: TyFun (NonEmpty a) [a] -> Type

type Apply (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) (a6989586621681138814 :: Natural) Source #

Instance details

type Apply (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) (a6989586621681138814 :: Natural) = TakeSym1 a6989586621681138814 :: TyFun (NonEmpty a) [a] -> Type

type Apply (SplitAtSym0 :: TyFun Natural ([a] ~> ([a], [a])) -> Type) (a6989586621679824077 :: Natural) Source #

Instance details

type Apply (SplitAtSym0 :: TyFun Natural ([a] ~> ([a], [a])) -> Type) (a6989586621679824077 :: Natural) = SplitAtSym1 a6989586621679824077 :: TyFun [a] ([a], [a]) -> Type

type Apply (DropSym0 :: TyFun Natural ([a] ~> [a]) -> Type) (a6989586621679824084 :: Natural) Source #

Instance details

type Apply (DropSym0 :: TyFun Natural ([a] ~> [a]) -> Type) (a6989586621679824084 :: Natural) = DropSym1 a6989586621679824084 :: TyFun [a] [a] -> Type

type Apply (TakeSym0 :: TyFun Natural ([a] ~> [a]) -> Type) (a6989586621679824097 :: Natural) Source #

Instance details

type Apply (TakeSym0 :: TyFun Natural ([a] ~> [a]) -> Type) (a6989586621679824097 :: Natural) = TakeSym1 a6989586621679824097 :: TyFun [a] [a] -> Type

type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680220089 :: Natural) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680220089 :: Natural) = ShowsPrecSym1 a6989586621680220089 :: TyFun a (Symbol ~> Symbol) -> Type

type Apply (ReplicateSym0 :: TyFun Natural (a ~> [a]) -> Type) (a6989586621679823942 :: Natural) Source #

Instance details

type Apply (ReplicateSym0 :: TyFun Natural (a ~> [a]) -> Type) (a6989586621679823942 :: Natural) = ReplicateSym1 a6989586621679823942 :: TyFun a [a] -> Type

type Apply (DivModSym1 a6989586621679571798 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679571799 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (DivModSym1 a6989586621679571798 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679571799 :: Natural) = DivMod a6989586621679571798 a6989586621679571799

type Apply (QuotRemSym1 a6989586621679571791 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679571792 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (QuotRemSym1 a6989586621679571791 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679571792 :: Natural) = QuotRem a6989586621679571791 a6989586621679571792

type Apply (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Natural) -> Type) (a6989586621679824298 :: a) Source #

Instance details

type Apply (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Natural) -> Type) (a6989586621679824298 :: a) = ElemIndexSym1 a6989586621679824298

type Apply (ElemIndicesSym0 :: TyFun a ([a] ~> [Natural]) -> Type) (a6989586621679824289 :: a) Source #

Instance details

type Apply (ElemIndicesSym0 :: TyFun a ([a] ~> [Natural]) -> Type) (a6989586621679824289 :: a) = ElemIndicesSym1 a6989586621679824289

type Apply (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) (a6989586621681224001 :: Natural) Source #

Instance details

Defined in Control.Monad.Singletons

type Apply (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) (a6989586621681224001 :: Natural) = ReplicateM_Sym1 a6989586621681224001 :: TyFun (m a) (m ()) -> Type

type Apply (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) (a6989586621681224019 :: Natural) Source #

Instance details

Defined in Control.Monad.Singletons

type Apply (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) (a6989586621681224019 :: Natural) = ReplicateMSym1 a6989586621681224019 :: TyFun (m a) (m [a]) -> Type

type Apply (LengthSym0 :: TyFun (NonEmpty a) Natural -> Type) (a6989586621681139029 :: NonEmpty a) Source #

Instance details

type Apply (LengthSym0 :: TyFun (NonEmpty a) Natural -> Type) (a6989586621681139029 :: NonEmpty a) = Length a6989586621681139029

type Apply (LengthSym0 :: TyFun (t a) Natural -> Type) (a6989586621680404324 :: t a) Source #

Instance details

Defined in Data.Foldable.Singletons

type Apply (LengthSym0 :: TyFun (t a) Natural -> Type) (a6989586621680404324 :: t a) = Length a6989586621680404324

type Apply (ElemIndexSym1 a6989586621679824298 :: TyFun [a] (Maybe Natural) -> Type) (a6989586621679824299 :: [a]) Source #

Instance details

type Apply (ElemIndexSym1 a6989586621679824298 :: TyFun [a] (Maybe Natural) -> Type) (a6989586621679824299 :: [a]) = ElemIndex a6989586621679824298 a6989586621679824299

type Apply (FindIndexSym1 a6989586621679824280 :: TyFun [a] (Maybe Natural) -> Type) (a6989586621679824281 :: [a]) Source #

Instance details

type Apply (FindIndexSym1 a6989586621679824280 :: TyFun [a] (Maybe Natural) -> Type) (a6989586621679824281 :: [a]) = FindIndex a6989586621679824280 a6989586621679824281

type Apply (ElemIndicesSym1 a6989586621679824289 :: TyFun [a] [Natural] -> Type) (a6989586621679824290 :: [a]) Source #

Instance details

type Apply (ElemIndicesSym1 a6989586621679824289 :: TyFun [a] [Natural] -> Type) (a6989586621679824290 :: [a]) = ElemIndices a6989586621679824289 a6989586621679824290

type Apply (FindIndicesSym1 a6989586621679824257 :: TyFun [a] [Natural] -> Type) (a6989586621679824258 :: [a]) Source #

Instance details

type Apply (FindIndicesSym1 a6989586621679824257 :: TyFun [a] [Natural] -> Type) (a6989586621679824258 :: [a]) = FindIndices a6989586621679824257 a6989586621679824258

type Apply ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type) (a6989586621681138604 :: NonEmpty a) Source #

Instance details

type Apply ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type) (a6989586621681138604 :: NonEmpty a) = (!!@#@$$) a6989586621681138604

type Apply ((!!@#@$) :: TyFun [a] (Natural ~> a) -> Type) (a6989586621679823922 :: [a]) Source #

Instance details

type Apply ((!!@#@$) :: TyFun [a] (Natural ~> a) -> Type) (a6989586621679823922 :: [a]) = (!!@#@$$) a6989586621679823922

type Apply (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Natural) -> Type) (a6989586621679824280 :: a ~> Bool) Source #

Instance details

type Apply (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Natural) -> Type) (a6989586621679824280 :: a ~> Bool) = FindIndexSym1 a6989586621679824280

type Apply (FindIndicesSym0 :: TyFun (a ~> Bool) ([a] ~> [Natural]) -> Type) (a6989586621679824257 :: a ~> Bool) Source #

Instance details

type Apply (FindIndicesSym0 :: TyFun (a ~> Bool) ([a] ~> [Natural]) -> Type) (a6989586621679824257 :: a ~> Bool) = FindIndicesSym1 a6989586621679824257

data Symbol #

(Kind) This is the kind of type-level symbols.

Instances

Instances details

Monoid Symbol Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

mempty :: Symbol #

mappend :: Symbol -> Symbol -> Symbol #

mconcat :: [Symbol] -> Symbol #

Semigroup Symbol Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

(<>) :: Symbol -> Symbol -> Symbol #

sconcat :: NonEmpty Symbol -> Symbol #

stimes :: Integral b => b -> Symbol -> Symbol #

IsString Symbol Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

fromString :: String -> Symbol #

SingKind Symbol

@since base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Associated Types

type DemoteRep Symbol
Instance details Defined in GHC.Internal.Generics type DemoteRep Symbol = String

Methods

fromSing :: forall (a :: Symbol). Sing a -> DemoteRep Symbol

Show Symbol Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

showsPrec :: Int -> Symbol -> ShowS #

show :: Symbol -> String #

showList :: [Symbol] -> ShowS #

Eq Symbol Source #

This bogus instance is helpful for people who want to define functions over Symbols that will only be used at the type level or as singletons.

Instance details

Defined in GHC.TypeLits.Singletons

Methods

(==) :: Symbol -> Symbol -> Bool #

(/=) :: Symbol -> Symbol -> Bool #

Ord Symbol Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

compare :: Symbol -> Symbol -> Ordering #

(<) :: Symbol -> Symbol -> Bool #

(<=) :: Symbol -> Symbol -> Bool #

(>) :: Symbol -> Symbol -> Bool #

(>=) :: Symbol -> Symbol -> Bool #

max :: Symbol -> Symbol -> Symbol #

min :: Symbol -> Symbol -> Symbol #

SingKind PErrorMessage Source #

Instance details

Associated Types

type Demote PErrorMessage
Instance details Defined in Data.Singletons.Base.TypeError type Demote PErrorMessage = ErrorMessage

Methods

fromSing :: forall (a :: PErrorMessage). Sing a -> Demote PErrorMessage #

toSing :: Demote PErrorMessage -> SomeSing PErrorMessage #

SingKind Symbol Source #

Instance details

Associated Types

type Demote Symbol
Instance details Defined in GHC.TypeLits.Singletons.Internal type Demote Symbol = Text

Methods

fromSing :: forall (a :: Symbol). Sing a -> Demote Symbol #

toSing :: Demote Symbol -> SomeSing Symbol #

SDecide Symbol Source #

Instance details

Methods

(%~) :: forall (a :: Symbol) (b :: Symbol). Sing a -> Sing b -> Decision (a :~: b) #

PEq Symbol Source #

Instance details

Associated Types

type (x :: Symbol) == (y :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (x :: Symbol) == (y :: Symbol) = DefaultEq x y
type (arg :: Symbol) /= (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Symbol) /= (arg1 :: Symbol)

SEq Symbol Source #

Instance details

Methods

(%==) :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((==@#@$) :: TyFun Symbol (Symbol ~> Bool) -> Type) t1) t2) Source #

(%/=) :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((/=@#@$) :: TyFun Symbol (Symbol ~> Bool) -> Type) t1) t2) Source #

PMonoid Symbol Source #

Instance details

Defined in Data.Monoid.Singletons

Associated Types

type Mempty
Instance details Defined in Data.Monoid.Singletons type Mempty
type Mappend (arg1 :: Symbol) (arg2 :: Symbol)
Instance details Defined in Data.Monoid.Singletons type Mappend (arg1 :: Symbol) (arg2 :: Symbol)
type Mconcat (arg :: [Symbol])
Instance details Defined in Data.Monoid.Singletons type Mconcat (arg :: [Symbol])

SMonoid Symbol Source #

Instance details

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (MemptySym0 :: Symbol) Source #

sMappend :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MappendSym0 :: TyFun Symbol (Symbol ~> Symbol) -> Type) t1) t2) Source #

sMconcat :: forall (t :: [Symbol]). Sing t -> Sing (Apply (MconcatSym0 :: TyFun [Symbol] Symbol -> Type) t) Source #

POrd Symbol Source #

Instance details

Associated Types

type Compare (a :: Symbol) (b :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Compare (a :: Symbol) (b :: Symbol) = CmpSymbol a b
type (arg :: Symbol) < (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Symbol) < (arg1 :: Symbol)
type (arg :: Symbol) <= (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Symbol) <= (arg1 :: Symbol)
type (arg :: Symbol) > (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Symbol) > (arg1 :: Symbol)
type (arg :: Symbol) >= (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Symbol) >= (arg1 :: Symbol)
type Max (arg :: Symbol) (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Max (arg :: Symbol) (arg1 :: Symbol)
type Min (arg :: Symbol) (arg1 :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Min (arg :: Symbol) (arg1 :: Symbol)

SOrd Symbol Source #

Instance details

Methods

sCompare :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply (CompareSym0 :: TyFun Symbol (Symbol ~> Ordering) -> Type) t1) t2) Source #

(%<) :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<@#@$) :: TyFun Symbol (Symbol ~> Bool) -> Type) t1) t2) Source #

(%<=) :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<=@#@$) :: TyFun Symbol (Symbol ~> Bool) -> Type) t1) t2) Source #

(%>) :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>@#@$) :: TyFun Symbol (Symbol ~> Bool) -> Type) t1) t2) Source #

(%>=) :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>=@#@$) :: TyFun Symbol (Symbol ~> Bool) -> Type) t1) t2) Source #

sMax :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MaxSym0 :: TyFun Symbol (Symbol ~> Symbol) -> Type) t1) t2) Source #

sMin :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MinSym0 :: TyFun Symbol (Symbol ~> Symbol) -> Type) t1) t2) Source #

PSemigroup Symbol Source #

Instance details

Associated Types

type (a :: Symbol) <> (b :: Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (a :: Symbol) <> (b :: Symbol) = AppendSymbol a b
type Sconcat (arg :: NonEmpty Symbol)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Sconcat (arg :: NonEmpty Symbol)

SSemigroup Symbol Source #

Instance details

Methods

(%<>) :: forall (t1 :: Symbol) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<>@#@$) :: TyFun Symbol (Symbol ~> Symbol) -> Type) t1) t2) Source #

sSconcat :: forall (t :: NonEmpty Symbol). Sing t -> Sing (Apply (SconcatSym0 :: TyFun (NonEmpty Symbol) Symbol -> Type) t) Source #

PIsString Symbol Source #

Instance details

Defined in Data.String.Singletons

Associated Types

type FromString a
Instance details Defined in Data.String.Singletons type FromString a = a

SIsString Symbol Source #

Instance details

Defined in Data.String.Singletons

Methods

sFromString :: forall (t :: Symbol). Sing t -> Sing (Apply (FromStringSym0 :: TyFun Symbol Symbol -> Type) t) Source #

PShow Symbol Source #

Instance details

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec _1 (s :: Symbol) x
Instance details Defined in Text.Show.Singletons type ShowsPrec _1 (s :: Symbol) x
type Show_ (arg :: Symbol)
Instance details Defined in Text.Show.Singletons type Show_ (arg :: Symbol)
type ShowList (arg1 :: [Symbol]) arg2
Instance details Defined in Text.Show.Singletons type ShowList (arg1 :: [Symbol]) arg2

SShow Symbol Source #

Instance details

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Symbol) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ShowsPrecSym0 :: TyFun Natural (Symbol ~> (Symbol ~> Symbol)) -> Type) t1) t2) t3) Source #

sShow_ :: forall (t :: Symbol). Sing t -> Sing (Apply (Show_Sym0 :: TyFun Symbol Symbol -> Type) t) Source #

sShowList :: forall (t1 :: [Symbol]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply (ShowListSym0 :: TyFun [Symbol] (Symbol ~> Symbol) -> Type) t1) t2) Source #

TestCoercion SSymbol

@since base-4.18.0.0

Instance details

Defined in GHC.Internal.TypeLits

Methods

testCoercion :: forall (a :: Symbol) (b :: Symbol). SSymbol a -> SSymbol b -> Maybe (Coercion a b) #

TestEquality SSymbol

@since base-4.18.0.0

Instance details

Defined in GHC.Internal.TypeLits

Methods

testEquality :: forall (a :: Symbol) (b :: Symbol). SSymbol a -> SSymbol b -> Maybe (a :~: b) #

KnownSymbol a => SingI (a :: Symbol)

@since base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

sing :: Sing a

KnownSymbol n => SingI (n :: Symbol) Source #

Instance details

Methods

sing :: Sing n #

SingI2 ('(:$$:) :: ErrorMessage' Symbol -> ErrorMessage' Symbol -> ErrorMessage' Symbol) Source #

Instance details

Methods

liftSing2 :: forall (x :: PErrorMessage) (y :: PErrorMessage). Sing x -> Sing y -> Sing (x ':$$: y) #

SingI2 ('(:<>:) :: ErrorMessage' Symbol -> ErrorMessage' Symbol -> ErrorMessage' Symbol) Source #

Instance details

Methods

liftSing2 :: forall (x :: PErrorMessage) (y :: PErrorMessage). Sing x -> Sing y -> Sing (x ':<>: y) #

SingI1 ('Text :: Symbol -> ErrorMessage' Symbol) Source #

Instance details

Methods

liftSing :: forall (x :: Symbol). Sing x -> Sing ('Text x) #

SingI e1 => SingI1 ('(:$$:) e1 :: ErrorMessage' Symbol -> ErrorMessage' Symbol) Source #

Instance details

Methods

liftSing :: forall (x :: PErrorMessage). Sing x -> Sing (e1 ':$$: x) #

SingI e1 => SingI1 ('(:<>:) e1 :: ErrorMessage' Symbol -> ErrorMessage' Symbol) Source #

Instance details

Methods

liftSing :: forall (x :: PErrorMessage). Sing x -> Sing (e1 ':<>: x) #

SingI1 ('ShowType :: t -> ErrorMessage' Symbol) Source #

Instance details

Methods

liftSing :: forall (x :: t). Sing x -> Sing ('ShowType x :: ErrorMessage' Symbol) #

SShow a => SingI2 (ShowsPrecSym2 :: Natural -> a -> TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing2 :: forall (x :: Natural) (y :: a). Sing x -> Sing y -> Sing (ShowsPrecSym2 x y) #

SingI t => SingI ('Text t :: ErrorMessage' Symbol) Source #

Instance details

Methods

sing :: Sing ('Text t) #

SingI1 ShowParenSym1 Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: Bool). Sing x -> Sing (ShowParenSym1 x) #

SingI1 ShowCharSym1 Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: Char). Sing x -> Sing (ShowCharSym1 x) #

SingI1 ConsSymbolSym1 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

liftSing :: forall (x :: Char). Sing x -> Sing (ConsSymbolSym1 x) #

SingI1 ShowStringSym1 Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: Symbol). Sing x -> Sing (ShowStringSym1 x) #

SingI1 ((:$$:@#@$$) :: ErrorMessage' Symbol -> TyFun (ErrorMessage' Symbol) (ErrorMessage' Symbol) -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: PErrorMessage). Sing x -> Sing ((:$$:@#@$$) x) #

SingI1 ((:<>:@#@$$) :: ErrorMessage' Symbol -> TyFun (ErrorMessage' Symbol) (ErrorMessage' Symbol) -> Type) Source #

Instance details

Methods

liftSing :: forall (x :: PErrorMessage). Sing x -> Sing ((:<>:@#@$$) x) #

SShow a => SingI1 (ShowsPrecSym1 :: Natural -> TyFun a (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (ShowsPrecSym1 x :: TyFun a (Symbol ~> Symbol) -> Type) #

SShow a => SingI1 (ShowsSym1 :: a -> TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: a). Sing x -> Sing (ShowsSym1 x) #

(SShow a, SingI d) => SingI1 (ShowsPrecSym2 d :: a -> TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: a). Sing x -> Sing (ShowsPrecSym2 d x) #

SingI2 ShowParenSym2 Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing2 :: forall (x :: Bool) (y :: Symbol ~> Symbol). Sing x -> Sing y -> Sing (ShowParenSym2 x y) #

(SingI e1, SingI e2) => SingI (e1 ':$$: e2 :: ErrorMessage' Symbol) Source #

Instance details

Methods

sing :: Sing (e1 ':$$: e2) #

(SingI e1, SingI e2) => SingI (e1 ':<>: e2 :: ErrorMessage' Symbol) Source #

Instance details

Methods

sing :: Sing (e1 ':<>: e2) #

SingI ty => SingI ('ShowType ty :: ErrorMessage' Symbol) Source #

Instance details

Methods

sing :: Sing ('ShowType ty :: ErrorMessage' Symbol) #

SShow a => SingI1 (ShowListSym1 :: [a] -> TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: [a]). Sing x -> Sing (ShowListSym1 x) #

SingI d => SingI1 (ShowListWithSym2 d :: [a] -> TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: [a]). Sing x -> Sing (ShowListWithSym2 d x) #

SingI ShowParenSym0 Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowParenSym0 #

SingI ShowCharSym0 Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowCharSym0 #

SingI UnlinesSym0 Source #

Instance details

Methods

sing :: Sing UnlinesSym0 #

SingI UnwordsSym0 Source #

Instance details

SuppressUnusedWarnings ShowParenSym0 Source #

Methods

sing :: Sing UnwordsSym0 #

SingI ShowStringSym0 Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowStringSym0 #

SingI ShowCommaSpaceSym0 Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowCommaSpaceSym0 #

SingI ShowSpaceSym0 Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowSpaceSym0 #

SingI ConsSymbolSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing ConsSymbolSym0 #

SingI UnconsSymbolSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing UnconsSymbolSym0 #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings ConsSymbolSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings ShowCharSym0 Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings UnlinesSym0 Source #

Instance details

Methods

SuppressUnusedWarnings UnwordsSym0 Source #

Instance details

Methods

SuppressUnusedWarnings ShowStringSym0 Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings UnconsSymbolSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings KnownSymbolSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings ShowCommaSpaceSym0 Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings ShowSpaceSym0 Source #

Instance details

Defined in Text.Show.Singletons

Methods

SingI d => SingI (ShowParenSym1 d :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowParenSym1 d) #

SingI (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) #

SingI ((:$$:@#@$) :: TyFun (ErrorMessage' Symbol) (ErrorMessage' Symbol ~> ErrorMessage' Symbol) -> Type) Source #

Instance details

Methods

sing :: Sing ((:$$:@#@$) :: TyFun (ErrorMessage' Symbol) (ErrorMessage' Symbol ~> ErrorMessage' Symbol) -> Type) #

SingI ((:<>:@#@$) :: TyFun (ErrorMessage' Symbol) (ErrorMessage' Symbol ~> ErrorMessage' Symbol) -> Type) Source #

Instance details

Methods

sing :: Sing ((:<>:@#@$) :: TyFun (ErrorMessage' Symbol) (ErrorMessage' Symbol ~> ErrorMessage' Symbol) -> Type) #

SShow a => SingI (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) #

SShow a => SingI (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) #

SingI (TextSym0 :: TyFun Symbol (ErrorMessage' Symbol) -> Type) Source #

Instance details

Methods

sing :: Sing (TextSym0 :: TyFun Symbol (ErrorMessage' Symbol) -> Type) #

SingI d => SingI (ShowCharSym1 d :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowCharSym1 d) #

SingI d => SingI (ShowStringSym1 d :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowStringSym1 d) #

SIsString a => SingI (FromStringSym0 :: TyFun Symbol a -> Type) Source #

Instance details

Defined in Data.String.Singletons

Methods

sing :: Sing (FromStringSym0 :: TyFun Symbol a -> Type) #

SingI (ErrorSym0 :: TyFun Symbol a -> Type) Source #

Instance details

Methods

sing :: Sing (ErrorSym0 :: TyFun Symbol a -> Type) #

SingI (ErrorWithoutStackTraceSym0 :: TyFun Symbol a -> Type) Source #

Instance details

Methods

sing :: Sing (ErrorWithoutStackTraceSym0 :: TyFun Symbol a -> Type) #

SShow a => SingI (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) #

SShow a => SingI (Show_Sym0 :: TyFun a Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (Show_Sym0 :: TyFun a Symbol -> Type) #

SingI (TypeErrorSym0 :: TyFun PErrorMessage a -> Type) Source #

Instance details

Methods

sing :: Sing (TypeErrorSym0 :: TyFun PErrorMessage a -> Type) #

SingI x => SingI (ConsSymbolSym1 x :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing (ConsSymbolSym1 x) #

SuppressUnusedWarnings (ShowParenSym1 a6989586621680220028 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (TypeErrorSym0 :: TyFun PErrorMessage a -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ConsSymbolSym1 a6989586621679573081 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings (ShowCharSym1 a6989586621680220055 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ShowStringSym1 a6989586621680220044 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (FromStringSym0 :: TyFun Symbol a -> Type) Source #

Instance details

Defined in Data.String.Singletons

Methods

SuppressUnusedWarnings (ErrorSym0 :: TyFun Symbol a -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (ErrorWithoutStackTraceSym0 :: TyFun Symbol a -> Type) Source #

Instance details

Methods

SuppressUnusedWarnings (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (Show_Sym0 :: TyFun a Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SingI2 (ShowListWithSym2 :: (a ~> (Symbol ~> Symbol)) -> [a] -> TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing2 :: forall (x :: a ~> (Symbol ~> Symbol)) (y :: [a]). Sing x -> Sing y -> Sing (ShowListWithSym2 x y) #

SingI x => SingI ((:$$:@#@$$) x :: TyFun (ErrorMessage' Symbol) (ErrorMessage' Symbol) -> Type) Source #

Instance details

Methods

sing :: Sing ((:$$:@#@$$) x) #

SingI x => SingI ((:<>:@#@$$) x :: TyFun (ErrorMessage' Symbol) (ErrorMessage' Symbol) -> Type) Source #

Instance details

Methods

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

SingI d => SingI (ShowListWithSym1 d :: TyFun [a] (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowListWithSym1 d) #

(SShow a, SingI d) => SingI (ShowListSym1 d :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowListSym1 d) #

(SingI d1, SingI d2) => SingI (ShowParenSym2 d1 d2 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowParenSym2 d1 d2) #

(SShow a, SingI d) => SingI (ShowsSym1 d :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowsSym1 d) #

(SShow a, SingI d) => SingI (ShowsPrecSym1 d :: TyFun a (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowsPrecSym1 d :: TyFun a (Symbol ~> Symbol) -> Type) #

SingI (ShowTypeSym0 :: TyFun t (ErrorMessage' Symbol) -> Type) Source #

Instance details

Methods

sing :: Sing (ShowTypeSym0 :: TyFun t (ErrorMessage' Symbol) -> Type) #

SuppressUnusedWarnings (ShowListWithSym1 a6989586621680220063 :: TyFun [a] (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ShowListSym1 a6989586621680220098 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ShowParenSym2 a6989586621680220028 a6989586621680220029 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ShowsSym1 a6989586621680220081 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ShowsPrecSym1 a6989586621680220089 :: TyFun a (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SingI d => SingI1 (ShowParenSym2 d :: (Symbol ~> Symbol) -> TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: Symbol ~> Symbol). Sing x -> Sing (ShowParenSym2 d x) #

SingI1 (ShowListWithSym1 :: (a ~> (Symbol ~> Symbol)) -> TyFun [a] (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: a ~> (Symbol ~> Symbol)). Sing x -> Sing (ShowListWithSym1 x) #

(SingI d1, SingI d2) => SingI (ShowListWithSym2 d1 d2 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowListWithSym2 d1 d2) #

(SShow a, SingI d1, SingI d2) => SingI (ShowsPrecSym2 d1 d2 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowsPrecSym2 d1 d2) #

SuppressUnusedWarnings (ShowListWithSym2 a6989586621680220063 a6989586621680220064 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ShowsPrecSym2 a6989586621680220089 a6989586621680220090 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

type DemoteRep Symbol

Instance details

Defined in GHC.Internal.Generics

type DemoteRep Symbol = String

data Sing (s :: Symbol)

Instance details

Defined in GHC.Internal.Generics

data Sing (s :: Symbol) where

SSym :: forall (s :: Symbol). KnownSymbol s => Sing s

type Demote PErrorMessage Source #

Instance details

type Demote PErrorMessage = ErrorMessage

type Demote Symbol Source #

Instance details

type Demote Symbol = Text

type Sing Source #

Instance details

type Sing = SErrorMessage

type Sing Source #

Instance details

type Sing = SSymbol

type Mempty Source #

Instance details

Defined in Data.Monoid.Singletons

type Mempty

type Mconcat (arg :: [Symbol]) Source #

Instance details

Defined in Data.Monoid.Singletons

type Mconcat (arg :: [Symbol])

type Sconcat (arg :: NonEmpty Symbol) Source #

Instance details

type Sconcat (arg :: NonEmpty Symbol)

type FromString a Source #

Instance details

Defined in Data.String.Singletons

type FromString a = a

type Show_ (arg :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Show_ (arg :: Symbol)

type Compare (a :: Symbol) (b :: Symbol)

Instance details

Defined in GHC.Internal.Data.Type.Ord

type Compare (a :: Symbol) (b :: Symbol) = CmpSymbol a b

type (arg :: Symbol) /= (arg1 :: Symbol) Source #

Instance details

type (arg :: Symbol) /= (arg1 :: Symbol)

type (x :: Symbol) == (y :: Symbol) Source #

Instance details

type (x :: Symbol) == (y :: Symbol) = DefaultEq x y

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

Instance details

Defined in Data.Monoid.Singletons

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

type (arg :: Symbol) < (arg1 :: Symbol) Source #

Instance details

type (arg :: Symbol) < (arg1 :: Symbol)

type (arg :: Symbol) <= (arg1 :: Symbol) Source #

Instance details

type (arg :: Symbol) <= (arg1 :: Symbol)

type (arg :: Symbol) > (arg1 :: Symbol) Source #

Instance details

type (arg :: Symbol) > (arg1 :: Symbol)

type (arg :: Symbol) >= (arg1 :: Symbol) Source #

Instance details

type (arg :: Symbol) >= (arg1 :: Symbol)

type Compare (a :: Symbol) (b :: Symbol) Source #

Instance details

type Compare (a :: Symbol) (b :: Symbol) = CmpSymbol a b

type Max (arg :: Symbol) (arg1 :: Symbol) Source #

Instance details

type Max (arg :: Symbol) (arg1 :: Symbol)

type Min (arg :: Symbol) (arg1 :: Symbol) Source #

Instance details

type Min (arg :: Symbol) (arg1 :: Symbol)

type (a :: Symbol) <> (b :: Symbol) Source #

Instance details

type (a :: Symbol) <> (b :: Symbol) = AppendSymbol a b

type ShowList (arg1 :: [Symbol]) arg2 Source #

Instance details

Defined in Text.Show.Singletons

type ShowList (arg1 :: [Symbol]) arg2

type Apply KnownSymbolSym0 (a6989586621679569799 :: Symbol) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply KnownSymbolSym0 (a6989586621679569799 :: Symbol) = KnownSymbol a6989586621679569799

type Apply ShowCommaSpaceSym0 (a6989586621680220010 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply ShowCommaSpaceSym0 (a6989586621680220010 :: Symbol) = ShowCommaSpace a6989586621680220010

type Apply ShowSpaceSym0 (a6989586621680220016 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply ShowSpaceSym0 (a6989586621680220016 :: Symbol) = ShowSpace a6989586621680220016

type ShowsPrec _1 (s :: Symbol) x Source #

Instance details

Defined in Text.Show.Singletons

type ShowsPrec _1 (s :: Symbol) x

type Apply (TypeErrorSym0 :: TyFun PErrorMessage k2 -> Type) (a6989586621680216371 :: PErrorMessage) Source #

Instance details

type Apply (TypeErrorSym0 :: TyFun PErrorMessage k2 -> Type) (a6989586621680216371 :: PErrorMessage) = TypeError a6989586621680216371 :: k2

type Apply (ConsSymbolSym1 a6989586621679573081 :: TyFun Symbol Symbol -> Type) (a6989586621679573082 :: Symbol) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (ConsSymbolSym1 a6989586621679573081 :: TyFun Symbol Symbol -> Type) (a6989586621679573082 :: Symbol) = ConsSymbol a6989586621679573081 a6989586621679573082

type Apply (ShowCharSym1 a6989586621680220055 :: TyFun Symbol Symbol -> Type) (a6989586621680220056 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowCharSym1 a6989586621680220055 :: TyFun Symbol Symbol -> Type) (a6989586621680220056 :: Symbol) = ShowChar a6989586621680220055 a6989586621680220056

type Apply (ShowStringSym1 a6989586621680220044 :: TyFun Symbol Symbol -> Type) (a6989586621680220045 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowStringSym1 a6989586621680220044 :: TyFun Symbol Symbol -> Type) (a6989586621680220045 :: Symbol) = ShowString a6989586621680220044 a6989586621680220045

type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (a6989586621681198181 :: Symbol) Source #

Instance details

Defined in Data.String.Singletons

type Apply (FromStringSym0 :: TyFun Symbol k2 -> Type) (a6989586621681198181 :: Symbol) = FromString a6989586621681198181 :: k2

type Apply (ErrorSym0 :: TyFun Symbol k2 -> Type) (a6989586621679559199 :: Symbol) Source #

Instance details

type Apply (ErrorSym0 :: TyFun Symbol k2 -> Type) (a6989586621679559199 :: Symbol) = Error a6989586621679559199 :: k2

type Apply (ErrorWithoutStackTraceSym0 :: TyFun Symbol k2 -> Type) (a6989586621679559465 :: Symbol) Source #

Instance details

type Apply (ErrorWithoutStackTraceSym0 :: TyFun Symbol k2 -> Type) (a6989586621679559465 :: Symbol) = ErrorWithoutStackTrace a6989586621679559465 :: k2

type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (a6989586621680220094 :: a) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (Show_Sym0 :: TyFun a Symbol -> Type) (a6989586621680220094 :: a) = Show_ a6989586621680220094

type Apply (ShowListSym1 a6989586621680220098 :: TyFun Symbol Symbol -> Type) (a6989586621680220099 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowListSym1 a6989586621680220098 :: TyFun Symbol Symbol -> Type) (a6989586621680220099 :: Symbol) = ShowList a6989586621680220098 a6989586621680220099

type Apply (ShowParenSym2 a6989586621680220028 a6989586621680220029 :: TyFun Symbol Symbol -> Type) (a6989586621680220030 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowParenSym2 a6989586621680220028 a6989586621680220029 :: TyFun Symbol Symbol -> Type) (a6989586621680220030 :: Symbol) = ShowParen a6989586621680220028 a6989586621680220029 a6989586621680220030

type Apply (ShowsSym1 a6989586621680220081 :: TyFun Symbol Symbol -> Type) (a6989586621680220082 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowsSym1 a6989586621680220081 :: TyFun Symbol Symbol -> Type) (a6989586621680220082 :: Symbol) = Shows a6989586621680220081 a6989586621680220082

type Apply (ShowListWithSym2 a6989586621680220063 a6989586621680220064 :: TyFun Symbol Symbol -> Type) (a6989586621680220065 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowListWithSym2 a6989586621680220063 a6989586621680220064 :: TyFun Symbol Symbol -> Type) (a6989586621680220065 :: Symbol) = ShowListWith a6989586621680220063 a6989586621680220064 a6989586621680220065

type Apply (ShowsPrecSym2 a6989586621680220089 a6989586621680220090 :: TyFun Symbol Symbol -> Type) (a6989586621680220091 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrecSym2 a6989586621680220089 a6989586621680220090 :: TyFun Symbol Symbol -> Type) (a6989586621680220091 :: Symbol) = ShowsPrec a6989586621680220089 a6989586621680220090 a6989586621680220091

type Apply UnconsSymbolSym0 (a6989586621679573593 :: Symbol) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply UnconsSymbolSym0 (a6989586621679573593 :: Symbol) = UnconsSymbol a6989586621679573593

type Apply ShowParenSym0 (a6989586621680220028 :: Bool) Source #

Instance details

Defined in Text.Show.Singletons

type Apply ShowParenSym0 (a6989586621680220028 :: Bool) = ShowParenSym1 a6989586621680220028

type Apply ConsSymbolSym0 (a6989586621679573081 :: Char) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply ConsSymbolSym0 (a6989586621679573081 :: Char) = ConsSymbolSym1 a6989586621679573081

type Apply ShowCharSym0 (a6989586621680220055 :: Char) Source #

Instance details

Defined in Text.Show.Singletons

type Apply ShowCharSym0 (a6989586621680220055 :: Char) = ShowCharSym1 a6989586621680220055

type Apply ShowStringSym0 (a6989586621680220044 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply ShowStringSym0 (a6989586621680220044 :: Symbol) = ShowStringSym1 a6989586621680220044

type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680220089 :: Natural) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680220089 :: Natural) = ShowsPrecSym1 a6989586621680220089 :: TyFun a (Symbol ~> Symbol) -> Type

type Apply (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680220081 :: a) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowsSym0 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680220081 :: a) = ShowsSym1 a6989586621680220081

type Apply (ShowsPrecSym1 a6989586621680220089 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680220090 :: a) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrecSym1 a6989586621680220089 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680220090 :: a) = ShowsPrecSym2 a6989586621680220089 a6989586621680220090

type Apply UnlinesSym0 (a6989586621679824459 :: [Symbol]) Source #

Instance details

type Apply UnlinesSym0 (a6989586621679824459 :: [Symbol]) = Unlines a6989586621679824459

type Apply UnwordsSym0 (a6989586621679824449 :: [Symbol]) Source #

Instance details

type Apply UnwordsSym0 (a6989586621679824449 :: [Symbol]) = Unwords a6989586621679824449

type Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680220098 :: [a]) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowListSym0 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680220098 :: [a]) = ShowListSym1 a6989586621680220098

type Apply (ShowListWithSym1 a6989586621680220063 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680220064 :: [a]) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowListWithSym1 a6989586621680220063 :: TyFun [a] (Symbol ~> Symbol) -> Type) (a6989586621680220064 :: [a]) = ShowListWithSym2 a6989586621680220063 a6989586621680220064

type Apply (ShowParenSym1 a6989586621680220028 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680220029 :: Symbol ~> Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowParenSym1 a6989586621680220028 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680220029 :: Symbol ~> Symbol) = ShowParenSym2 a6989586621680220028 a6989586621680220029

type Apply (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680220063 :: a ~> (Symbol ~> Symbol)) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowListWithSym0 :: TyFun (a ~> (Symbol ~> Symbol)) ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680220063 :: a ~> (Symbol ~> Symbol)) = ShowListWithSym1 a6989586621680220063

data Char #

The character type Char represents Unicode codespace and its elements are code points as in definitions D9 and D10 of the Unicode Standard.

Character literals in Haskell are single-quoted: 'Q', 'Я' or 'Ω'. To represent a single quote itself use '\'', and to represent a backslash use '\\'. The full grammar can be found in the section 2.6 of the Haskell 2010 Language Report.

To specify a character by its code point one can use decimal, hexadecimal or octal notation: '\65', '\x41' and '\o101' are all alternative forms of 'A'. The largest code point is '\x10ffff'.

There is a special escape syntax for ASCII control characters:

Escape	Alternatives	Meaning
`'\NUL'`	`'\0'`	null character
`'\SOH'`	`'\1'`	start of heading
`'\STX'`	`'\2'`	start of text
`'\ETX'`	`'\3'`	end of text
`'\EOT'`	`'\4'`	end of transmission
`'\ENQ'`	`'\5'`	enquiry
`'\ACK'`	`'\6'`	acknowledge
`'\BEL'`	`'\7'`, `'\a'`	bell (alert)
`'\BS'`	`'\8'`, `'\b'`	backspace
`'\HT'`	`'\9'`, `'\t'`	horizontal tab
`'\LF'`	`'\10'`, `'\n'`	line feed (new line)
`'\VT'`	`'\11'`, `'\v'`	vertical tab
`'\FF'`	`'\12'`, `'\f'`	form feed
`'\CR'`	`'\13'`, `'\r'`	carriage return
`'\SO'`	`'\14'`	shift out
`'\SI'`	`'\15'`	shift in
`'\DLE'`	`'\16'`	data link escape
`'\DC1'`	`'\17'`	device control 1
`'\DC2'`	`'\18'`	device control 2
`'\DC3'`	`'\19'`	device control 3
`'\DC4'`	`'\20'`	device control 4
`'\NAK'`	`'\21'`	negative acknowledge
`'\SYN'`	`'\22'`	synchronous idle
`'\ETB'`	`'\23'`	end of transmission block
`'\CAN'`	`'\24'`	cancel
`'\EM'`	`'\25'`	end of medium
`'\SUB'`	`'\26'`	substitute
`'\ESC'`	`'\27'`	escape
`'\FS'`	`'\28'`	file separator
`'\GS'`	`'\29'`	group separator
`'\RS'`	`'\30'`	record separator
`'\US'`	`'\31'`	unit separator
`'\SP'`	`'\32'`, `' '`	space
`'\DEL'`	`'\127'`	delete

Data.Char provides utilities to work with Char.

Instances

Instances details

IsChar Char

Since: base-2.1

Instance details

Defined in Text.Printf

Methods

toChar :: Char -> Char #

fromChar :: Char -> Char #

PrintfArg Char

Since: base-2.1

Instance details

Defined in Text.Printf

Methods

formatArg :: Char -> FieldFormatter #

parseFormat :: Char -> ModifierParser #

NFData Char

Instance details

Defined in Control.DeepSeq

Methods

rnf :: Char -> () #

Bounded Char

@since base-2.01

Instance details

Defined in GHC.Internal.Enum

Methods

minBound :: Char #

maxBound :: Char #

Enum Char

@since base-2.01

Instance details

Defined in GHC.Internal.Enum

Methods

succ :: Char -> Char #

pred :: Char -> Char #

toEnum :: Int -> Char #

fromEnum :: Char -> Int #

enumFrom :: Char -> [Char] #

enumFromThen :: Char -> Char -> [Char] #

enumFromTo :: Char -> Char -> [Char] #

enumFromThenTo :: Char -> Char -> Char -> [Char] #

Ix Char

@since base-2.01

Instance details

Defined in GHC.Internal.Ix

Methods

range :: (Char, Char) -> [Char] #

index :: (Char, Char) -> Char -> Int #

unsafeIndex :: (Char, Char) -> Char -> Int #

inRange :: (Char, Char) -> Char -> Bool #

rangeSize :: (Char, Char) -> Int #

unsafeRangeSize :: (Char, Char) -> Int #

Show Char

@since base-2.01

Instance details

Defined in GHC.Internal.Show

Methods

showsPrec :: Int -> Char -> ShowS #

show :: Char -> String #

showList :: [Char] -> ShowS #

Eq Char

Instance details

Defined in GHC.Classes

Methods

(==) :: Char -> Char -> Bool #

(/=) :: Char -> Char -> Bool #

Ord Char

Instance details

Defined in GHC.Classes

Methods

compare :: Char -> Char -> Ordering #

(<) :: Char -> Char -> Bool #

(<=) :: Char -> Char -> Bool #

(>) :: Char -> Char -> Bool #

(>=) :: Char -> Char -> Bool #

max :: Char -> Char -> Char #

min :: Char -> Char -> Char #

Pretty Char

Instance details

Defined in Text.PrettyPrint.Annotated.HughesPJClass

Methods

pPrintPrec :: PrettyLevel -> Rational -> Char -> Doc ann #

pPrint :: Char -> Doc ann #

pPrintList :: PrettyLevel -> [Char] -> Doc ann #

Pretty Char

Instance details

Defined in Text.PrettyPrint.HughesPJClass

Methods

pPrintPrec :: PrettyLevel -> Rational -> Char -> Doc #

pPrint :: Char -> Doc #

pPrintList :: PrettyLevel -> [Char] -> Doc #

SingKind Char Source #

Instance details

Associated Types

type Demote Char
Instance details Defined in GHC.TypeLits.Singletons.Internal type Demote Char = Char

Methods

fromSing :: forall (a :: Char). Sing a -> Demote Char #

toSing :: Demote Char -> SomeSing Char #

SDecide Char Source #

Instance details

Methods

(%~) :: forall (a :: Char) (b :: Char). Sing a -> Sing b -> Decision (a :~: b) #

PEq Char Source #

Instance details

Associated Types

type (x :: Char) == (y :: Char)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (x :: Char) == (y :: Char) = DefaultEq x y
type (arg :: Char) /= (arg1 :: Char)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Char) /= (arg1 :: Char)

SEq Char Source #

Instance details

Methods

(%==) :: forall (t1 :: Char) (t2 :: Char). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((==@#@$) :: TyFun Char (Char ~> Bool) -> Type) t1) t2) Source #

(%/=) :: forall (t1 :: Char) (t2 :: Char). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((/=@#@$) :: TyFun Char (Char ~> Bool) -> Type) t1) t2) Source #

POrd Char Source #

Instance details

Associated Types

type Compare (a :: Char) (b :: Char)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Compare (a :: Char) (b :: Char) = CmpChar a b
type (arg :: Char) < (arg1 :: Char)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Char) < (arg1 :: Char)
type (arg :: Char) <= (arg1 :: Char)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Char) <= (arg1 :: Char)
type (arg :: Char) > (arg1 :: Char)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Char) > (arg1 :: Char)
type (arg :: Char) >= (arg1 :: Char)
Instance details Defined in GHC.TypeLits.Singletons.Internal type (arg :: Char) >= (arg1 :: Char)
type Max (arg :: Char) (arg1 :: Char)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Max (arg :: Char) (arg1 :: Char)
type Min (arg :: Char) (arg1 :: Char)
Instance details Defined in GHC.TypeLits.Singletons.Internal type Min (arg :: Char) (arg1 :: Char)

SOrd Char Source #

Instance details

Methods

sCompare :: forall (t1 :: Char) (t2 :: Char). Sing t1 -> Sing t2 -> Sing (Apply (Apply (CompareSym0 :: TyFun Char (Char ~> Ordering) -> Type) t1) t2) Source #

(%<) :: forall (t1 :: Char) (t2 :: Char). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<@#@$) :: TyFun Char (Char ~> Bool) -> Type) t1) t2) Source #

(%<=) :: forall (t1 :: Char) (t2 :: Char). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<=@#@$) :: TyFun Char (Char ~> Bool) -> Type) t1) t2) Source #

(%>) :: forall (t1 :: Char) (t2 :: Char). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>@#@$) :: TyFun Char (Char ~> Bool) -> Type) t1) t2) Source #

(%>=) :: forall (t1 :: Char) (t2 :: Char). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((>=@#@$) :: TyFun Char (Char ~> Bool) -> Type) t1) t2) Source #

sMax :: forall (t1 :: Char) (t2 :: Char). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MaxSym0 :: TyFun Char (Char ~> Char) -> Type) t1) t2) Source #

sMin :: forall (t1 :: Char) (t2 :: Char). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MinSym0 :: TyFun Char (Char ~> Char) -> Type) t1) t2) Source #

PBounded Char Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound
Instance details Defined in Data.Singletons.Base.Enum type MinBound
type MaxBound
Instance details Defined in Data.Singletons.Base.Enum type MaxBound

PEnum Char Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (arg :: Char)
Instance details Defined in Data.Singletons.Base.Enum type Succ (arg :: Char)
type Pred (arg :: Char)
Instance details Defined in Data.Singletons.Base.Enum type Pred (arg :: Char)
type ToEnum a
Instance details Defined in Data.Singletons.Base.Enum type ToEnum a
type FromEnum (a :: Char)
Instance details Defined in Data.Singletons.Base.Enum type FromEnum (a :: Char)
type EnumFromTo (arg1 :: Char) (arg2 :: Char)
Instance details Defined in Data.Singletons.Base.Enum type EnumFromTo (arg1 :: Char) (arg2 :: Char)
type EnumFromThenTo (arg1 :: Char) (arg2 :: Char) (arg3 :: Char)
Instance details Defined in Data.Singletons.Base.Enum type EnumFromThenTo (arg1 :: Char) (arg2 :: Char) (arg3 :: Char)

SBounded Char Source #

Instance details

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing (MinBoundSym0 :: Char) Source #

sMaxBound :: Sing (MaxBoundSym0 :: Char) Source #

SEnum Char Source #

Instance details

Defined in Data.Singletons.Base.Enum

Methods

sSucc :: forall (t :: Char). Sing t -> Sing (Apply (SuccSym0 :: TyFun Char Char -> Type) t) Source #

sPred :: forall (t :: Char). Sing t -> Sing (Apply (PredSym0 :: TyFun Char Char -> Type) t) Source #

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural Char -> Type) t) Source #

sFromEnum :: forall (t :: Char). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun Char Natural -> Type) t) Source #

sEnumFromTo :: forall (t1 :: Char) (t2 :: Char). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun Char (Char ~> [Char]) -> Type) t1) t2) Source #

sEnumFromThenTo :: forall (t1 :: Char) (t2 :: Char) (t3 :: Char). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun Char (Char ~> (Char ~> [Char])) -> Type) t1) t2) t3) Source #

PShow Char Source #

Instance details

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec p (c :: Char) x
Instance details Defined in Text.Show.Singletons type ShowsPrec p (c :: Char) x
type Show_ (arg :: Char)
Instance details Defined in Text.Show.Singletons type Show_ (arg :: Char)
type ShowList (cs :: [Char]) x
Instance details Defined in Text.Show.Singletons type ShowList (cs :: [Char]) x

SShow Char Source #

Instance details

Defined in Text.Show.Singletons

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: Char) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ShowsPrecSym0 :: TyFun Natural (Char ~> (Symbol ~> Symbol)) -> Type) t1) t2) t3) Source #

sShow_ :: forall (t :: Char). Sing t -> Sing (Apply (Show_Sym0 :: TyFun Char Symbol -> Type) t) Source #

sShowList :: forall (t1 :: [Char]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply (ShowListSym0 :: TyFun [Char] (Symbol ~> Symbol) -> Type) t1) t2) Source #

TestCoercion SChar

@since base-4.18.0.0

Instance details

Defined in GHC.Internal.TypeLits

Methods

testCoercion :: forall (a :: Char) (b :: Char). SChar a -> SChar b -> Maybe (Coercion a b) #

TestEquality SChar

@since base-4.18.0.0

Instance details

Defined in GHC.Internal.TypeLits

Methods

testEquality :: forall (a :: Char) (b :: Char). SChar a -> SChar b -> Maybe (a :~: b) #

KnownChar c => SingI (c :: Char) Source #

Instance details

SuppressUnusedWarnings NatToCharSym0 Source #

Methods

sing :: Sing c #

Lift Char

Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Char -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Char -> Code m Char #

Generic1 (URec Char :: k -> Type)

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep1 (URec Char :: k -> Type)	@since base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep1 (URec Char :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UChar" 'PrefixI 'True) (S1 ('MetaSel ('Just "uChar#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UChar :: k -> Type)))

Methods

from1 :: forall (a :: k). URec Char a -> Rep1 (URec Char :: k -> Type) a #

to1 :: forall (a :: k). Rep1 (URec Char :: k -> Type) a -> URec Char a #

SingI1 ShowCharSym1 Source #

Instance details

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: Char). Sing x -> Sing (ShowCharSym1 x) #

SingI1 ConsSymbolSym1 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

liftSing :: forall (x :: Char). Sing x -> Sing (ConsSymbolSym1 x) #

Foldable (UChar :: Type -> Type)

@since base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Foldable

Methods

fold :: Monoid m => UChar m -> m #

foldMap :: Monoid m => (a -> m) -> UChar a -> m #

foldMap' :: Monoid m => (a -> m) -> UChar a -> m #

foldr :: (a -> b -> b) -> b -> UChar a -> b #

foldr' :: (a -> b -> b) -> b -> UChar a -> b #

foldl :: (b -> a -> b) -> b -> UChar a -> b #

foldl' :: (b -> a -> b) -> b -> UChar a -> b #

foldr1 :: (a -> a -> a) -> UChar a -> a #

foldl1 :: (a -> a -> a) -> UChar a -> a #

toList :: UChar a -> [a] #

null :: UChar a -> Bool #

length :: UChar a -> Int #

elem :: Eq a => a -> UChar a -> Bool #

maximum :: Ord a => UChar a -> a #

minimum :: Ord a => UChar a -> a #

sum :: Num a => UChar a -> a #

product :: Num a => UChar a -> a #

Traversable (UChar :: Type -> Type)

@since base-4.9.0.0

Instance details

Defined in GHC.Internal.Data.Traversable

Methods

traverse :: Applicative f => (a -> f b) -> UChar a -> f (UChar b) #

sequenceA :: Applicative f => UChar (f a) -> f (UChar a) #

mapM :: Monad m => (a -> m b) -> UChar a -> m (UChar b) #

sequence :: Monad m => UChar (m a) -> m (UChar a) #

Functor (URec Char :: Type -> Type)

@since base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

fmap :: (a -> b) -> URec Char a -> URec Char b #

(<$) :: a -> URec Char b -> URec Char a #

SingI ShowCharSym0 Source #

Instance details

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowCharSym0 #

SingI NatToCharSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing NatToCharSym0 #

SingI ConsSymbolSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing ConsSymbolSym0 #

SingI CharToNatSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing CharToNatSym0 #

SingI UnconsSymbolSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing UnconsSymbolSym0 #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings ConsSymbolSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings ShowCharSym0 Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings CharToNatSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings KnownCharSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings UnconsSymbolSym0 Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SMonadFail m => SingI (FailSym0 :: TyFun [Char] (m a) -> Type) Source #

Instance details

Defined in Control.Monad.Fail.Singletons

Methods

sing :: Sing (FailSym0 :: TyFun [Char] (m a) -> Type) #

SuppressUnusedWarnings (FailSym0 :: TyFun [Char] (m a) -> Type) Source #

Instance details

Defined in Control.Monad.Fail.Singletons

Methods

Generic (URec Char p)

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep (URec Char p)	@since base-4.9.0.0
Instance details Defined in GHC.Internal.Generics type Rep (URec Char p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UChar" 'PrefixI 'True) (S1 ('MetaSel ('Just "uChar#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UChar :: Type -> Type)))

Methods

from :: URec Char p -> Rep (URec Char p) x #

to :: Rep (URec Char p) x -> URec Char p #

Show (URec Char p)

@since base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

showsPrec :: Int -> URec Char p -> ShowS #

show :: URec Char p -> String #

showList :: [URec Char p] -> ShowS #

Eq (URec Char p)

@since base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

(==) :: URec Char p -> URec Char p -> Bool #

(/=) :: URec Char p -> URec Char p -> Bool #

Ord (URec Char p)

@since base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

Methods

compare :: URec Char p -> URec Char p -> Ordering #

(<) :: URec Char p -> URec Char p -> Bool #

(<=) :: URec Char p -> URec Char p -> Bool #

(>) :: URec Char p -> URec Char p -> Bool #

(>=) :: URec Char p -> URec Char p -> Bool #

max :: URec Char p -> URec Char p -> URec Char p #

min :: URec Char p -> URec Char p -> URec Char p #

type Demote Char Source #

Instance details

type Demote Char = Char

type Sing Source #

Instance details

type Sing = SChar

type MaxBound Source #

Instance details

Defined in Data.Singletons.Base.Enum

type MaxBound

type MinBound Source #

Instance details

Defined in Data.Singletons.Base.Enum

type MinBound

data URec Char (p :: k)

Used for marking occurrences of Char#

@since base-4.9.0.0

Instance details

Defined in GHC.Internal.Generics

data URec Char (p :: k) = UChar {

uChar# :: Char#

}

type FromEnum (a :: Char) Source #

Instance details

Defined in Data.Singletons.Base.Enum

type FromEnum (a :: Char)

type Pred (arg :: Char) Source #

Instance details

Defined in Data.Singletons.Base.Enum

type Pred (arg :: Char)

type Succ (arg :: Char) Source #

Instance details

Defined in Data.Singletons.Base.Enum

type Succ (arg :: Char)

type ToEnum a Source #

Instance details

Defined in Data.Singletons.Base.Enum

type ToEnum a

type Show_ (arg :: Char) Source #

Instance details

Defined in Text.Show.Singletons

type Show_ (arg :: Char)

type Compare (a :: Char) (b :: Char)

Instance details

Defined in GHC.Internal.Data.Type.Ord

type Compare (a :: Char) (b :: Char) = CmpChar a b

type (arg :: Char) /= (arg1 :: Char) Source #

Instance details

type (arg :: Char) /= (arg1 :: Char)

type (x :: Char) == (y :: Char) Source #

Instance details

type (x :: Char) == (y :: Char) = DefaultEq x y

type (arg :: Char) < (arg1 :: Char) Source #

Instance details

type (arg :: Char) < (arg1 :: Char)

type (arg :: Char) <= (arg1 :: Char) Source #

Instance details

type (arg :: Char) <= (arg1 :: Char)

type (arg :: Char) > (arg1 :: Char) Source #

Instance details

type (arg :: Char) > (arg1 :: Char)

type (arg :: Char) >= (arg1 :: Char) Source #

Instance details

type (arg :: Char) >= (arg1 :: Char)

type Compare (a :: Char) (b :: Char) Source #

Instance details

type Compare (a :: Char) (b :: Char) = CmpChar a b

type Max (arg :: Char) (arg1 :: Char) Source #

Instance details

type Max (arg :: Char) (arg1 :: Char)

type Min (arg :: Char) (arg1 :: Char) Source #

Instance details