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.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.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 a6989586621679566965 :: TyFun Natural Natural -> Type) Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

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

Instance details

Defined in GHC.TypeLits.Singletons

Methods

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

Instance details

Defined in GHC.TypeLits.Singletons

Methods

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

Instance details

Defined in GHC.TypeLits.Singletons

Methods

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

Instance details

Methods

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

Instance details

Defined in GHC.TypeLits.Singletons

Methods

SuppressUnusedWarnings (QuotRemSym1 a6989586621679568017 :: 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 ((!!@#@$$) a6989586621681120384 :: TyFun Natural a -> Type) Source #

Instance details

Methods

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

Instance details

Methods

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

Instance details

Methods

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

Instance details

Methods

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

Instance details

Methods

SuppressUnusedWarnings (FindIndicesSym1 a6989586621679814996 :: 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 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 (a6989586621679566098 :: Nat) Source #

Instance details

Defined in GHC.TypeLits.Singletons

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

type Apply Log2Sym0 (a6989586621679566742 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

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

type Apply NatToCharSym0 (a6989586621679570244 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

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

type Apply CharToNatSym0 (a6989586621679570020 :: Char) Source #

Instance details

Defined in GHC.TypeLits.Singletons

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

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 a6989586621679566965 :: TyFun Natural Natural -> Type) (a6989586621679566966 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (DivSym1 a6989586621679566965 :: TyFun Natural Natural -> Type) (a6989586621679566966 :: Natural) = Div a6989586621679566965 a6989586621679566966

type Apply (ModSym1 a6989586621679567401 :: TyFun Natural Natural -> Type) (a6989586621679567402 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (ModSym1 a6989586621679567401 :: TyFun Natural Natural -> Type) (a6989586621679567402 :: Natural) = Mod a6989586621679567401 a6989586621679567402

type Apply (QuotSym1 a6989586621679568006 :: TyFun Natural Natural -> Type) (a6989586621679568007 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (QuotSym1 a6989586621679568006 :: TyFun Natural Natural -> Type) (a6989586621679568007 :: Natural) = Quot a6989586621679568006 a6989586621679568007

type Apply (RemSym1 a6989586621679567995 :: TyFun Natural Natural -> Type) (a6989586621679567996 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (RemSym1 a6989586621679567995 :: TyFun Natural Natural -> Type) (a6989586621679567996 :: Natural) = Rem a6989586621679567995 a6989586621679567996

type Apply ((^@#@$$) a6989586621679556329 :: TyFun Natural Natural -> Type) (a6989586621679556330 :: Natural) Source #

Instance details

type Apply ((^@#@$$) a6989586621679556329 :: TyFun Natural Natural -> Type) (a6989586621679556330 :: Natural) = a6989586621679556329 ^ a6989586621679556330

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

Instance details

Defined in Data.Singletons.Base.Enum

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

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

Instance details

Defined in GHC.Num.Singletons

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

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

Instance details

Defined in Data.Singletons.Base.Enum

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

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

Instance details

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

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

Instance details

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

type Apply DivSym0 (a6989586621679566965 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

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

type Apply ModSym0 (a6989586621679567401 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

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

type Apply QuotSym0 (a6989586621679568006 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

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

type Apply RemSym0 (a6989586621679567995 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

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

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

Instance details

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

type Apply DivModSym0 (a6989586621679568024 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

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

type Apply QuotRemSym0 (a6989586621679568017 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

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

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

Instance details

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

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

Instance details

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

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

Instance details

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

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

Instance details

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

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

Instance details

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

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

Instance details

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

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

Instance details

Defined in Text.Show.Singletons

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

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

Instance details

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

type Apply (DivModSym1 a6989586621679568024 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679568025 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (DivModSym1 a6989586621679568024 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679568025 :: Natural) = DivMod a6989586621679568024 a6989586621679568025

type Apply (QuotRemSym1 a6989586621679568017 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679568018 :: Natural) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (QuotRemSym1 a6989586621679568017 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679568018 :: Natural) = QuotRem a6989586621679568017 a6989586621679568018

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

Instance details

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

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

Instance details

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

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

Instance details

Defined in Control.Monad.Singletons

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

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

Instance details

Defined in Control.Monad.Singletons

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

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

Instance details

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

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

Instance details

Defined in Data.Foldable.Singletons

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

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

Instance details

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

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

Instance details

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

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

Instance details

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

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

Instance details

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

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

Instance details

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

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

Instance details

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

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

Instance details

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

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

Instance details

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

data Symbol #

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

Instances

Instances details

IsString Symbol Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

fromString :: String -> Symbol #

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 #

SingKind Symbol

Since: base-4.9.0.0

Instance details

Defined in GHC.Generics

Associated Types

type DemoteRep Symbol
Instance details Defined in GHC.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.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.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.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 a6989586621680208653 :: 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 a6989586621679569296 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in GHC.TypeLits.Singletons

Methods

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

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ShowStringSym1 a6989586621680208669 :: 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 a6989586621680208688 :: TyFun [a] (Symbol ~> Symbol) -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

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

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ShowParenSym2 a6989586621680208653 a6989586621680208654 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

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

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ShowsPrecSym1 a6989586621680208714 :: 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 a6989586621680208688 a6989586621680208689 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

SuppressUnusedWarnings (ShowsPrecSym2 a6989586621680208714 a6989586621680208715 :: TyFun Symbol Symbol -> Type) Source #

Instance details

Defined in Text.Show.Singletons

Methods

type DemoteRep Symbol

Instance details

Defined in GHC.Generics

type DemoteRep Symbol = String

data Sing (s :: Symbol)

Instance details

Defined in GHC.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 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 (a6989586621679566100 :: Symbol) Source #

Instance details

Defined in GHC.TypeLits.Singletons

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

type Apply ShowCommaSpaceSym0 (a6989586621680208635 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

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

type Apply ShowSpaceSym0 (a6989586621680208641 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

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

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) (a6989586621680205235 :: PErrorMessage) Source #

Instance details

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

type Apply (ConsSymbolSym1 a6989586621679569296 :: TyFun Symbol Symbol -> Type) (a6989586621679569297 :: Symbol) Source #

Instance details

Defined in GHC.TypeLits.Singletons

type Apply (ConsSymbolSym1 a6989586621679569296 :: TyFun Symbol Symbol -> Type) (a6989586621679569297 :: Symbol) = ConsSymbol a6989586621679569296 a6989586621679569297

type Apply (ShowCharSym1 a6989586621680208680 :: TyFun Symbol Symbol -> Type) (a6989586621680208681 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowCharSym1 a6989586621680208680 :: TyFun Symbol Symbol -> Type) (a6989586621680208681 :: Symbol) = ShowChar a6989586621680208680 a6989586621680208681

type Apply (ShowStringSym1 a6989586621680208669 :: TyFun Symbol Symbol -> Type) (a6989586621680208670 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowStringSym1 a6989586621680208669 :: TyFun Symbol Symbol -> Type) (a6989586621680208670 :: Symbol) = ShowString a6989586621680208669 a6989586621680208670

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

Instance details

Defined in Data.String.Singletons

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

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

Instance details

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

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

Instance details

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

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

Instance details

Defined in Text.Show.Singletons

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

type Apply (ShowListSym1 a6989586621680208723 :: TyFun Symbol Symbol -> Type) (a6989586621680208724 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowListSym1 a6989586621680208723 :: TyFun Symbol Symbol -> Type) (a6989586621680208724 :: Symbol) = ShowList a6989586621680208723 a6989586621680208724

type Apply (ShowParenSym2 a6989586621680208653 a6989586621680208654 :: TyFun Symbol Symbol -> Type) (a6989586621680208655 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowParenSym2 a6989586621680208653 a6989586621680208654 :: TyFun Symbol Symbol -> Type) (a6989586621680208655 :: Symbol) = ShowParen a6989586621680208653 a6989586621680208654 a6989586621680208655

type Apply (ShowsSym1 a6989586621680208706 :: TyFun Symbol Symbol -> Type) (a6989586621680208707 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowsSym1 a6989586621680208706 :: TyFun Symbol Symbol -> Type) (a6989586621680208707 :: Symbol) = Shows a6989586621680208706 a6989586621680208707

type Apply (ShowListWithSym2 a6989586621680208688 a6989586621680208689 :: TyFun Symbol Symbol -> Type) (a6989586621680208690 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowListWithSym2 a6989586621680208688 a6989586621680208689 :: TyFun Symbol Symbol -> Type) (a6989586621680208690 :: Symbol) = ShowListWith a6989586621680208688 a6989586621680208689 a6989586621680208690

type Apply (ShowsPrecSym2 a6989586621680208714 a6989586621680208715 :: TyFun Symbol Symbol -> Type) (a6989586621680208716 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrecSym2 a6989586621680208714 a6989586621680208715 :: TyFun Symbol Symbol -> Type) (a6989586621680208716 :: Symbol) = ShowsPrec a6989586621680208714 a6989586621680208715 a6989586621680208716

type Apply UnconsSymbolSym0 (a6989586621679569801 :: Symbol) Source #

Instance details

Defined in GHC.TypeLits.Singletons

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

type Apply ShowParenSym0 (a6989586621680208653 :: Bool) Source #

Instance details

Defined in Text.Show.Singletons

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

type Apply ConsSymbolSym0 (a6989586621679569296 :: Char) Source #

Instance details

Defined in GHC.TypeLits.Singletons

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

type Apply ShowCharSym0 (a6989586621680208680 :: Char) Source #

Instance details

Defined in Text.Show.Singletons

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

type Apply ShowStringSym0 (a6989586621680208669 :: Symbol) Source #

Instance details

Defined in Text.Show.Singletons

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

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

Instance details

Defined in Text.Show.Singletons

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

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

Instance details

Defined in Text.Show.Singletons

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

type Apply (ShowsPrecSym1 a6989586621680208714 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680208715 :: a) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrecSym1 a6989586621680208714 :: TyFun a (Symbol ~> Symbol) -> Type) (a6989586621680208715 :: a) = ShowsPrecSym2 a6989586621680208714 a6989586621680208715

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

Instance details

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

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

Instance details

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

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

Instance details

Defined in Text.Show.Singletons

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

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

Instance details

Defined in Text.Show.Singletons

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

type Apply (ShowParenSym1 a6989586621680208653 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680208654 :: Symbol ~> Symbol) Source #

Instance details

Defined in Text.Show.Singletons

type Apply (ShowParenSym1 a6989586621680208653 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type) (a6989586621680208654 :: Symbol ~> Symbol) = ShowParenSym2 a6989586621680208653 a6989586621680208654

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

Instance details

Defined in Text.Show.Singletons

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

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

Data Char

Since: base-4.0.0.0

Instance details

Defined in Data.Data

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Char -> c Char #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Char #

toConstr :: Char -> Constr #

dataTypeOf :: Char -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Char) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Char) #

gmapT :: (forall b. Data b => b -> b) -> Char -> Char #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Char -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Char -> r #

gmapQ :: (forall d. Data d => d -> u) -> Char -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Char -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Char -> m Char #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Char -> m Char #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Char -> m Char #

Storable Char

Since: base-2.1

Instance details

Defined in Foreign.Storable

Methods

sizeOf :: Char -> Int #

alignment :: Char -> Int #

peekElemOff :: Ptr Char -> Int -> IO Char #

pokeElemOff :: Ptr Char -> Int -> Char -> IO () #

peekByteOff :: Ptr b -> Int -> IO Char #

pokeByteOff :: Ptr b -> Int -> Char -> IO () #

peek :: Ptr Char -> IO Char #

poke :: Ptr Char -> Char -> IO () #

Bounded Char

Since: base-2.1

Instance details

Defined in GHC.Enum

Methods

minBound :: Char #

maxBound :: Char #

Enum Char

Since: base-2.1

Instance details

Defined in GHC.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.1

Instance details

Defined in GHC.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 #

Read Char

Since: base-2.1

Instance details

Defined in GHC.Read

Methods

readsPrec :: Int -> ReadS Char #

readList :: ReadS [Char] #

readPrec :: ReadPrec Char #

readListPrec :: ReadPrec [Char] #

Show Char

Since: base-2.1

Instance details

Defined in GHC.Show

Methods

showsPrec :: Int -> Char -> ShowS #

show :: Char -> String #

showList :: [Char] -> ShowS #

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 -> () #

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

Associated Types

type Rep1 (URec Char :: k -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep1 (URec Char :: k -> Type) = D1 ('MetaData "URec" "GHC.Generics" "base" '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 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 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.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.Generics

Associated Types

type Rep (URec Char p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics type Rep (URec Char p) = D1 ('MetaData "URec" "GHC.Generics" "base" '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.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.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.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.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 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