GHC.TypeLits.Singletons

Defines and exports singletons useful for the Natural, Symbol, and Char kinds.

Documentation

data Natural

Natural number

Invariant: numbers <= 0xffffffffffffffff use the NS constructor

Instances

Data Natural

Since: base-4.8.0.0

Defined in Data.Data

Methods

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

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

toConstr :: Natural -> Constr

dataTypeOf :: Natural -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Natural -> Natural

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

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

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

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

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

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

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

Bits Natural

Since: base-4.8.0

Defined in GHC.Bits

Methods

(.&.) :: Natural -> Natural -> Natural

(.|.) :: Natural -> Natural -> Natural

xor :: Natural -> Natural -> Natural

complement :: Natural -> Natural

shift :: Natural -> Int -> Natural

rotate :: Natural -> Int -> Natural

zeroBits :: Natural

bit :: Int -> Natural

setBit :: Natural -> Int -> Natural

clearBit :: Natural -> Int -> Natural

complementBit :: Natural -> Int -> Natural

testBit :: Natural -> Int -> Bool

bitSizeMaybe :: Natural -> Maybe Int

bitSize :: Natural -> Int

isSigned :: Natural -> Bool

shiftL :: Natural -> Int -> Natural

unsafeShiftL :: Natural -> Int -> Natural

shiftR :: Natural -> Int -> Natural

unsafeShiftR :: Natural -> Int -> Natural

rotateL :: Natural -> Int -> Natural

rotateR :: Natural -> Int -> Natural

popCount :: Natural -> Int

Enum Natural

Since: base-4.8.0.0

Defined in GHC.Enum

Methods

succ :: Natural -> Natural

pred :: Natural -> Natural

toEnum :: Int -> Natural

fromEnum :: Natural -> Int

enumFrom :: Natural -> [Natural]

enumFromThen :: Natural -> Natural -> [Natural]

enumFromTo :: Natural -> Natural -> [Natural]

enumFromThenTo :: Natural -> Natural -> Natural -> [Natural]

Ix Natural

Since: base-4.8.0.0

Defined in GHC.Ix

Methods

range :: (Natural, Natural) -> [Natural]

index :: (Natural, Natural) -> Natural -> Int

unsafeIndex :: (Natural, Natural) -> Natural -> Int

inRange :: (Natural, Natural) -> Natural -> Bool

rangeSize :: (Natural, Natural) -> Int

unsafeRangeSize :: (Natural, Natural) -> Int

Num Natural

Note that Natural's Num instance isn't a ring: no element but 0 has an additive inverse. It is a semiring though.

Since: base-4.8.0.0

Defined in GHC.Num

Methods

(+) :: Natural -> Natural -> Natural

(-) :: Natural -> Natural -> Natural

(*) :: Natural -> Natural -> Natural

negate :: Natural -> Natural

abs :: Natural -> Natural

signum :: Natural -> Natural

fromInteger :: Integer -> Natural

Read Natural

Since: base-4.8.0.0

Defined in GHC.Read

Methods

readsPrec :: Int -> ReadS Natural

readList :: ReadS [Natural]

readPrec :: ReadPrec Natural

readListPrec :: ReadPrec [Natural]

Integral Natural

Since: base-4.8.0.0

Defined in GHC.Real

Methods

quot :: Natural -> Natural -> Natural

rem :: Natural -> Natural -> Natural

div :: Natural -> Natural -> Natural

mod :: Natural -> Natural -> Natural

quotRem :: Natural -> Natural -> (Natural, Natural)

divMod :: Natural -> Natural -> (Natural, Natural)

toInteger :: Natural -> Integer

Real Natural

Since: base-4.8.0.0

Defined in GHC.Real

Methods

toRational :: Natural -> Rational

Show Natural

Since: base-4.8.0.0

Defined in GHC.Show

Methods

showsPrec :: Int -> Natural -> ShowS

show :: Natural -> String

showList :: [Natural] -> ShowS

PrintfArg Natural

Since: base-4.8.0.0

Defined in Text.Printf

Methods

formatArg :: Natural -> FieldFormatter

parseFormat :: Natural -> ModifierParser

NFData Natural

Since: deepseq-1.4.0.0

Defined in Control.DeepSeq

Methods

rnf :: Natural -> ()

Eq Natural

Defined in GHC.Num.Natural

Methods

(==) :: Natural -> Natural -> Bool

(/=) :: Natural -> Natural -> Bool

Ord Natural

Defined in GHC.Num.Natural

Methods

compare :: Natural -> Natural -> Ordering

(<) :: Natural -> Natural -> Bool

(<=) :: Natural -> Natural -> Bool

(>) :: Natural -> Natural -> Bool

(>=) :: Natural -> Natural -> Bool

max :: Natural -> Natural -> Natural

min :: Natural -> Natural -> Natural

SingKind Natural

Defined in GHC.TypeLits.Singletons.Internal

Associated Types

type Demote Natural

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

PEq Natural

Defined in GHC.TypeLits.Singletons.Internal

Associated Types

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

SEq Natural

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

POrd Natural

Defined in GHC.TypeLits.Singletons.Internal

Associated Types

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

SOrd Natural

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

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

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

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

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

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

PEnum Natural

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (a :: Natural)

Defined in Data.Singletons.Base.Enum

type Succ (a :: Natural)

type Pred (a :: Natural)

Defined in Data.Singletons.Base.Enum

type Pred (a :: Natural)

type ToEnum a

Defined in Data.Singletons.Base.Enum

type ToEnum a

type FromEnum (a :: Natural)

Defined in Data.Singletons.Base.Enum

type FromEnum (a :: Natural)

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

Defined in Data.Singletons.Base.Enum

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

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

Defined in Data.Singletons.Base.Enum

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

SEnum Natural

Defined in Data.Singletons.Base.Enum

Methods

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

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

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

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

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

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)

PNum Natural

Defined in GHC.Num.Singletons

Associated Types

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

Defined in GHC.Num.Singletons

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

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

Defined in GHC.Num.Singletons

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

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

Defined in GHC.Num.Singletons

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

type Negate (a :: Natural)

Defined in GHC.Num.Singletons

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

type Abs (a :: Natural)

Defined in GHC.Num.Singletons

type Abs (a :: Natural) = a

type Signum (a :: Natural)

Defined in GHC.Num.Singletons

type Signum (a :: Natural)

type FromInteger a

Defined in GHC.Num.Singletons

type FromInteger a = a

SNum Natural

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)

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

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

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

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

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

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

PShow Natural

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec _1 (n :: Natural) x

Defined in Text.Show.Singletons

type ShowsPrec _1 (n :: Natural) x

type Show_ (arg :: Natural)

Defined in Text.Show.Singletons

type Show_ (arg :: Natural)

type ShowList (arg1 :: [Natural]) arg2

Defined in Text.Show.Singletons

type ShowList (arg1 :: [Natural]) arg2

SShow Natural

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)

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

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

KnownNat n => HasResolution (n :: Nat)

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

Defined in Data.Fixed

Methods

resolution :: p n -> Integer

TestCoercion SNat

Since: base-4.18.0.0

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

Defined in GHC.TypeNats

Methods

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

KnownNat n => SingI (n :: Nat)

Defined in GHC.TypeLits.Singletons.Internal

Methods

sing :: Sing n

Lift Natural

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)

Defined in Text.Show.Singletons

Methods

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

SingI1 DivSym1

Defined in GHC.TypeLits.Singletons

Methods

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

SingI1 ModSym1

Defined in GHC.TypeLits.Singletons

Methods

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

SingI1 (^@#@$$)

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

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)

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

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)

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)

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

SingI DivSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing DivSym0

SingI ModSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing ModSym0

SingI (^@#@$)

Defined in GHC.TypeLits.Singletons.Internal

Methods

sing :: Sing (^@#@$)

SingI Log2Sym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing Log2Sym0

SingI NatToCharSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing NatToCharSym0

SingI CharToNatSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing CharToNatSym0

SuppressUnusedWarnings KnownNatSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings DivSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ModSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings QuotSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings RemSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (^@#@$)

Defined in GHC.TypeLits.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings DivModSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings QuotRemSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings Log2Sym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings NatToCharSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings CharToNatSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Text.Show.Singletons

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.Singletons.Base.Enum

Methods

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

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

Defined in GHC.Num.Singletons

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.Singletons.Base.Enum

Methods

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

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing (DivSym1 x)

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

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing (ModSym1 x)

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (DivSym1 a6989586621679566965 :: TyFun Natural Natural -> Type)

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (QuotRemSym1 a6989586621679568017 :: TyFun Natural (Natural, Natural) -> Type)

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.Num.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

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

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)

Defined in Control.Monad.Singletons

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing (ElemIndexSym1 d)

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

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing (FindIndexSym1 d)

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

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing (ElemIndicesSym1 d)

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

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing (FindIndicesSym1 d)

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FindIndicesSym1 a6989586621679814996 :: TyFun [a] [Natural] -> Type)

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.Foldable.Singletons

Methods

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

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

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Demote Natural

Defined in GHC.TypeLits.Singletons.Internal

type Demote Natural = Natural

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SNat

type FromEnum (a :: Natural)

Defined in Data.Singletons.Base.Enum

type FromEnum (a :: Natural)

type Pred (a :: Natural)

Defined in Data.Singletons.Base.Enum

type Pred (a :: Natural)

type Succ (a :: Natural)

Defined in Data.Singletons.Base.Enum

type Succ (a :: Natural)

type ToEnum a

Defined in Data.Singletons.Base.Enum

type ToEnum a

type Abs (a :: Natural)

Defined in GHC.Num.Singletons

type Abs (a :: Natural) = a

type FromInteger a

Defined in GHC.Num.Singletons

type FromInteger a = a

type Negate (a :: Natural)

Defined in GHC.Num.Singletons

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

type Signum (a :: Natural)

Defined in GHC.Num.Singletons

type Signum (a :: Natural)

type Show_ (arg :: Natural)

Defined in Text.Show.Singletons

type Show_ (arg :: Natural)

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

Defined in Data.Type.Ord

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in Data.Singletons.Base.Enum

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

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

Defined in GHC.Num.Singletons

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

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

Defined in GHC.Num.Singletons

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

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

Defined in GHC.Num.Singletons

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

type ShowList (arg1 :: [Natural]) arg2

Defined in Text.Show.Singletons

type ShowList (arg1 :: [Natural]) arg2

type Apply KnownNatSym0 (a6989586621679566098 :: Nat)

Defined in GHC.TypeLits.Singletons

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

type Apply Log2Sym0 (a6989586621679566742 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply NatToCharSym0 (a6989586621679570244 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply CharToNatSym0 (a6989586621679570020 :: Char)

Defined in GHC.TypeLits.Singletons

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

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

Defined in Data.Singletons.Base.Enum

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

type ShowsPrec _1 (n :: Natural) x

Defined in Text.Show.Singletons

type ShowsPrec _1 (n :: Natural) x

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

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)

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)

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)

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)

Defined in GHC.TypeLits.Singletons.Internal

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

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

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)

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)

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)

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.Singletons.Internal

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

type Apply DivSym0 (a6989586621679566965 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply ModSym0 (a6989586621679567401 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply QuotSym0 (a6989586621679568006 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply RemSym0 (a6989586621679567995 :: Natural)

Defined in GHC.TypeLits.Singletons

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

type Apply DivModSym0 (a6989586621679568024 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply QuotRemSym0 (a6989586621679568017 :: Natural)

Defined in GHC.TypeLits.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

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)

Defined in Data.List.NonEmpty.Singletons

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)

Defined in Data.List.NonEmpty.Singletons

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)

Defined in Data.List.Singletons.Internal

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)

Defined in Data.List.Singletons.Internal

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)

Defined in Data.List.Singletons.Internal

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)

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)

Defined in Data.List.Singletons.Internal

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)

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)

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)

Defined in Data.List.Singletons.Internal

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

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

Defined in Data.List.Singletons.Internal

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

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

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)

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)

Defined in Data.List.NonEmpty.Singletons

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

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

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

Defined in Data.List.Singletons.Internal

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

Defined in Data.List.Singletons.Internal

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

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

Defined in Data.List.Singletons.Internal

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

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

Defined in Data.List.Singletons.Internal

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

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.Singletons.Internal

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

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

Defined in Data.List.Singletons.Internal

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)

Defined in Data.List.Singletons.Internal

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

IsString Symbol

Defined in GHC.TypeLits.Singletons

Methods

fromString :: String -> Symbol

Monoid Symbol

Defined in GHC.TypeLits.Singletons

Methods

mempty :: Symbol

mappend :: Symbol -> Symbol -> Symbol

mconcat :: [Symbol] -> Symbol

Semigroup Symbol

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

Defined in GHC.Generics

Associated Types

type DemoteRep Symbol

Defined in GHC.Generics

type DemoteRep Symbol = String

Methods

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

Show Symbol

Defined in GHC.TypeLits.Singletons

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS

Eq Symbol

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.

Defined in GHC.TypeLits.Singletons

Methods

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

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

Ord Symbol

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

Defined in Data.Singletons.Base.TypeError

Associated Types

type Demote PErrorMessage

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

Defined in GHC.TypeLits.Singletons.Internal

Associated Types

type Demote Symbol

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

PEq Symbol

Defined in GHC.TypeLits.Singletons.Internal

Associated Types

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

SEq Symbol

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

PMonoid Symbol

Defined in Data.Monoid.Singletons

Associated Types

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

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

Defined in Data.Monoid.Singletons

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

type Mconcat (arg :: [Symbol])

Defined in Data.Monoid.Singletons

type Mconcat (arg :: [Symbol])

SMonoid Symbol

Defined in Data.Monoid.Singletons

Methods

sMempty :: Sing (MemptySym0 :: Symbol)

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

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

POrd Symbol

Defined in GHC.TypeLits.Singletons.Internal

Associated Types

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

SOrd Symbol

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

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

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

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

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

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

PSemigroup Symbol

Defined in GHC.TypeLits.Singletons.Internal

Associated Types

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

Defined in GHC.TypeLits.Singletons.Internal

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

type Sconcat (arg :: NonEmpty Symbol)

Defined in GHC.TypeLits.Singletons.Internal

type Sconcat (arg :: NonEmpty Symbol)

SSemigroup Symbol

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

PIsString Symbol

Defined in Data.String.Singletons

Associated Types

type FromString a

Defined in Data.String.Singletons

type FromString a = a

SIsString Symbol

Defined in Data.String.Singletons

Methods

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

PShow Symbol

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec _1 (s :: Symbol) x

Defined in Text.Show.Singletons

type ShowsPrec _1 (s :: Symbol) x

type Show_ (arg :: Symbol)

Defined in Text.Show.Singletons

type Show_ (arg :: Symbol)

type ShowList (arg1 :: [Symbol]) arg2

Defined in Text.Show.Singletons

type ShowList (arg1 :: [Symbol]) arg2

SShow Symbol

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)

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

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

TestCoercion SSymbol

Since: base-4.18.0.0

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

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

Defined in GHC.Generics

Methods

sing :: Sing a

KnownSymbol n => SingI (n :: Symbol)

Defined in GHC.TypeLits.Singletons.Internal

Methods

sing :: Sing n

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

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)

Defined in Data.Singletons.Base.TypeError

Methods

sing :: Sing ('Text t)

SingI1 ShowParenSym1

Defined in Text.Show.Singletons

Methods

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

SingI1 ShowCharSym1

Defined in Text.Show.Singletons

Methods

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

SingI1 ConsSymbolSym1

Defined in GHC.TypeLits.Singletons

Methods

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

SingI1 ShowStringSym1

Defined in Text.Show.Singletons

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

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)

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)

Defined in Text.Show.Singletons

Methods

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

SingI2 ShowParenSym2

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)

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

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)

Defined in Text.Show.Singletons

Methods

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

SingI ShowParenSym0

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowParenSym0

SingI ShowCharSym0

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowCharSym0

SingI UnlinesSym0

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing UnlinesSym0

SingI UnwordsSym0

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing UnwordsSym0

SingI ShowStringSym0

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowStringSym0

SingI ShowCommaSpaceSym0

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowCommaSpaceSym0

SingI ShowSpaceSym0

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowSpaceSym0

SingI ConsSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing ConsSymbolSym0

SingI UnconsSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing UnconsSymbolSym0

SuppressUnusedWarnings ShowParenSym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ConsSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowCharSym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings UnlinesSym0

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings UnwordsSym0

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowStringSym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings UnconsSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings KnownSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowCommaSpaceSym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowSpaceSym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowParenSym1 d)

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

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)

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in Text.Show.Singletons

Methods

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

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

Defined in Text.Show.Singletons

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowCharSym1 d)

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowStringSym1 d)

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

Defined in Data.String.Singletons

Methods

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

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in Text.Show.Singletons

Methods

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

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

Defined in Text.Show.Singletons

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing (ConsSymbolSym1 x)

SuppressUnusedWarnings (ShowParenSym1 a6989586621680208653 :: TyFun (Symbol ~> Symbol) (Symbol ~> Symbol) -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Base.TypeError

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ConsSymbolSym1 a6989586621679569296 :: TyFun Symbol Symbol -> Type)

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowStringSym1 a6989586621680208669 :: TyFun Symbol Symbol -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.String.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

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)

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowListWithSym1 d)

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowListSym1 d)

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowParenSym2 d1 d2)

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

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowsSym1 d)

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

Defined in Text.Show.Singletons

Methods

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

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

Defined in Data.Singletons.Base.TypeError

Methods

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

SuppressUnusedWarnings (ShowListWithSym1 a6989586621680208688 :: TyFun [a] (Symbol ~> Symbol) -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrecSym1 a6989586621680208714 :: TyFun a (Symbol ~> Symbol) -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

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)

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)

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)

Defined in Text.Show.Singletons

Methods

sing :: Sing (ShowsPrecSym2 d1 d2)

SuppressUnusedWarnings (ShowListWithSym2 a6989586621680208688 a6989586621680208689 :: TyFun Symbol Symbol -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

type DemoteRep Symbol

Defined in GHC.Generics

type DemoteRep Symbol = String

data Sing (s :: Symbol)

Defined in GHC.Generics

data Sing (s :: Symbol) where

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

type Demote PErrorMessage

Defined in Data.Singletons.Base.TypeError

type Demote PErrorMessage = ErrorMessage

type Demote Symbol

Defined in GHC.TypeLits.Singletons.Internal

type Demote Symbol = Text

type Sing

Defined in Data.Singletons.Base.TypeError

type Sing = SErrorMessage

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SSymbol

type Mempty

Defined in Data.Monoid.Singletons

type Mempty

type Mconcat (arg :: [Symbol])

Defined in Data.Monoid.Singletons

type Mconcat (arg :: [Symbol])

type Sconcat (arg :: NonEmpty Symbol)

Defined in GHC.TypeLits.Singletons.Internal

type Sconcat (arg :: NonEmpty Symbol)

type FromString a

Defined in Data.String.Singletons

type FromString a = a

type Show_ (arg :: Symbol)

Defined in Text.Show.Singletons

type Show_ (arg :: Symbol)

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

Defined in Data.Type.Ord

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in Data.Monoid.Singletons

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

type ShowList (arg1 :: [Symbol]) arg2

Defined in Text.Show.Singletons

type ShowList (arg1 :: [Symbol]) arg2

type Apply KnownSymbolSym0 (a6989586621679566100 :: Symbol)

Defined in GHC.TypeLits.Singletons

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

type Apply ShowCommaSpaceSym0 (a6989586621680208635 :: Symbol)

Defined in Text.Show.Singletons

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

type Apply ShowSpaceSym0 (a6989586621680208641 :: Symbol)

Defined in Text.Show.Singletons

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

type ShowsPrec _1 (s :: Symbol) x

Defined in Text.Show.Singletons

type ShowsPrec _1 (s :: Symbol) x

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

Defined in Data.Singletons.Base.TypeError

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

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

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)

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)

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)

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)

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

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)

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)

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)

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)

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)

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)

Defined in GHC.TypeLits.Singletons

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

type Apply ShowParenSym0 (a6989586621680208653 :: Bool)

Defined in Text.Show.Singletons

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

type Apply ConsSymbolSym0 (a6989586621679569296 :: Char)

Defined in GHC.TypeLits.Singletons

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

type Apply ShowCharSym0 (a6989586621680208680 :: Char)

Defined in Text.Show.Singletons

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

type Apply ShowStringSym0 (a6989586621680208669 :: Symbol)

Defined in Text.Show.Singletons

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

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

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)

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)

Defined in Text.Show.Singletons

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

type Apply UnlinesSym0 (a6989586621679815198 :: [Symbol])

Defined in Data.List.Singletons.Internal

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

type Apply UnwordsSym0 (a6989586621679815188 :: [Symbol])

Defined in Data.List.Singletons.Internal

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

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

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

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)

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

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

Data Char

Since: base-4.0.0.0

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

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

Defined in GHC.Enum

Methods

minBound :: Char

maxBound :: Char

Enum Char

Since: base-2.1

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

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

Defined in GHC.Read

Methods

readsPrec :: Int -> ReadS Char

readList :: ReadS [Char]

readPrec :: ReadPrec Char

readListPrec :: ReadPrec [Char]

Show Char

Since: base-2.1

Defined in GHC.Show

Methods

showsPrec :: Int -> Char -> ShowS

show :: Char -> String

showList :: [Char] -> ShowS

IsChar Char

Since: base-2.1

Defined in Text.Printf

Methods

toChar :: Char -> Char

fromChar :: Char -> Char

PrintfArg Char

Since: base-2.1

Defined in Text.Printf

Methods

formatArg :: Char -> FieldFormatter

parseFormat :: Char -> ModifierParser

NFData Char

Defined in Control.DeepSeq

Methods

rnf :: Char -> ()

Eq Char

Defined in GHC.Classes

Methods

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

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

Ord Char

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

Defined in Text.PrettyPrint.Annotated.HughesPJClass

Methods

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

pPrint :: Char -> Doc ann

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

Pretty Char

Defined in Text.PrettyPrint.HughesPJClass

Methods

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

pPrint :: Char -> Doc

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

SingKind Char

Defined in GHC.TypeLits.Singletons.Internal

Associated Types

type Demote Char

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

PEq Char

Defined in GHC.TypeLits.Singletons.Internal

Associated Types

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

SEq Char

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

POrd Char

Defined in GHC.TypeLits.Singletons.Internal

Associated Types

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

SOrd Char

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

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

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

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

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

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

PBounded Char

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound

Defined in Data.Singletons.Base.Enum

type MinBound

type MaxBound

Defined in Data.Singletons.Base.Enum

type MaxBound

PEnum Char

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (arg :: Char)

Defined in Data.Singletons.Base.Enum

type Succ (arg :: Char)

type Pred (arg :: Char)

Defined in Data.Singletons.Base.Enum

type Pred (arg :: Char)

type ToEnum a

Defined in Data.Singletons.Base.Enum

type ToEnum a

type FromEnum (a :: Char)

Defined in Data.Singletons.Base.Enum

type FromEnum (a :: Char)

type EnumFromTo (arg1 :: Char) (arg2 :: Char)

Defined in Data.Singletons.Base.Enum

type EnumFromTo (arg1 :: Char) (arg2 :: Char)

type EnumFromThenTo (arg1 :: Char) (arg2 :: Char) (arg3 :: Char)

Defined in Data.Singletons.Base.Enum

type EnumFromThenTo (arg1 :: Char) (arg2 :: Char) (arg3 :: Char)

SBounded Char

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing (MinBoundSym0 :: Char)

sMaxBound :: Sing (MaxBoundSym0 :: Char)

SEnum Char

Defined in Data.Singletons.Base.Enum

Methods

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

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

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

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

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

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)

PShow Char

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec p (c :: Char) x

Defined in Text.Show.Singletons

type ShowsPrec p (c :: Char) x

type Show_ (arg :: Char)

Defined in Text.Show.Singletons

type Show_ (arg :: Char)

type ShowList (cs :: [Char]) x

Defined in Text.Show.Singletons

type ShowList (cs :: [Char]) x

SShow Char

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)

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

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

TestCoercion SChar

Since: base-4.18.0.0

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

Defined in GHC.TypeLits

Methods

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

KnownChar c => SingI (c :: Char)

Defined in GHC.TypeLits.Singletons.Internal

Methods

sing :: Sing c

Lift Char

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)

Defined in GHC.Generics

Associated Types

type Rep1 (URec Char :: k -> Type)

Since: base-4.9.0.0

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

Defined in Text.Show.Singletons

Methods

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

SingI1 ConsSymbolSym1

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

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

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

Defined in GHC.Generics

Methods

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

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

SingI ShowCharSym0

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowCharSym0

SingI NatToCharSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing NatToCharSym0

SingI ConsSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing ConsSymbolSym0

SingI CharToNatSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing CharToNatSym0

SingI UnconsSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing UnconsSymbolSym0

SuppressUnusedWarnings NatToCharSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ConsSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowCharSym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings CharToNatSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings KnownCharSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings UnconsSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Control.Monad.Fail.Singletons

Methods

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

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

Defined in Control.Monad.Fail.Singletons

Methods

suppressUnusedWarnings :: ()

Generic (URec Char p)

Defined in GHC.Generics

Associated Types

type Rep (URec Char p)

Since: base-4.9.0.0

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

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

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

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

Defined in GHC.TypeLits.Singletons.Internal

type Demote Char = Char

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SChar

type MaxBound

Defined in Data.Singletons.Base.Enum

type MaxBound

type MinBound

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

Defined in GHC.Generics

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

• uChar# :: Char#

}

type FromEnum (a :: Char)

Defined in Data.Singletons.Base.Enum

type FromEnum (a :: Char)

type Pred (arg :: Char)

Defined in Data.Singletons.Base.Enum

type Pred (arg :: Char)

type Succ (arg :: Char)

Defined in Data.Singletons.Base.Enum

type Succ (arg :: Char)

type ToEnum a

Defined in Data.Singletons.Base.Enum

type ToEnum a

type Show_ (arg :: Char)

Defined in Text.Show.Singletons

type Show_ (arg :: Char)

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

Defined in Data.Type.Ord

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

type EnumFromTo (arg1 :: Char) (arg2 :: Char)

Defined in Data.Singletons.Base.Enum

type EnumFromTo (arg1 :: Char) (arg2 :: Char)

type ShowList (cs :: [Char]) x

Defined in Text.Show.Singletons

type ShowList (cs :: [Char]) x

type Apply NatToCharSym0 (a6989586621679570244 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply CharToNatSym0 (a6989586621679570020 :: Char)

Defined in GHC.TypeLits.Singletons

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

type Apply KnownCharSym0 (a6989586621679566102 :: Char)

Defined in GHC.TypeLits.Singletons

type Apply KnownCharSym0 (a6989586621679566102 :: Char) = KnownChar a6989586621679566102

type EnumFromThenTo (arg1 :: Char) (arg2 :: Char) (arg3 :: Char)

Defined in Data.Singletons.Base.Enum

type EnumFromThenTo (arg1 :: Char) (arg2 :: Char) (arg3 :: Char)

type ShowsPrec p (c :: Char) x

Defined in Text.Show.Singletons

type ShowsPrec p (c :: Char) x

type Apply UnconsSymbolSym0 (a6989586621679569801 :: Symbol)

Defined in GHC.TypeLits.Singletons

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

type Rep1 (URec Char :: k -> Type)

Since: base-4.9.0.0

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

type Apply ConsSymbolSym0 (a6989586621679569296 :: Char)

Defined in GHC.TypeLits.Singletons

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

type Apply ShowCharSym0 (a6989586621680208680 :: Char)

Defined in Text.Show.Singletons

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

type Apply (FailSym0 :: TyFun [Char] (m a) -> Type) (a6989586621679549513 :: [Char])

Defined in Control.Monad.Fail.Singletons

type Apply (FailSym0 :: TyFun [Char] (m a) -> Type) (a6989586621679549513 :: [Char]) = Fail a6989586621679549513 :: m a

type Rep (URec Char p)

Since: base-4.9.0.0

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

type family Sing :: k -> Type

Instances

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SAll

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SAny

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SVoid

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SNat

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SOrdering

type Sing

Defined in Data.Singletons.Base.TypeError

type Sing = SErrorMessage

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple0

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SBool

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SChar

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SSymbol

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SIdentity :: Identity a -> Type

type Sing

Defined in Data.Monoid.Singletons

type Sing = SFirst :: First a -> Type

type Sing

Defined in Data.Monoid.Singletons

type Sing = SLast :: Last a -> Type

type Sing

Defined in Data.Ord.Singletons

type Sing = SDown :: Down a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SFirst :: First a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SLast :: Last a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SMax :: Max a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SMin :: Min a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SWrappedMonoid :: WrappedMonoid m -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SDual :: Dual a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SProduct :: Product a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SSum :: Sum a -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SNonEmpty :: NonEmpty a -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SMaybe :: Maybe a -> Type

type Sing

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

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

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

Defined in Data.Singletons.Base.TypeRepTYPE

type Sing = TypeRep :: TYPE rep -> Type

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Proxy.Singletons

type Sing = SProxy :: Proxy t -> Type

type Sing

Defined in Data.Semigroup.Singletons

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

type Sing

Defined in Data.Singletons

type Sing = SWrappedSing :: WrappedSing a -> Type

type Sing

Defined in Data.Singletons

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

type Sing

Defined in Data.Singletons.Sigma

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

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Functor.Const.Singletons

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

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Functor.Product.Singletons

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

type Sing

Defined in Data.Functor.Sum.Singletons

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

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Functor.Compose.Singletons

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

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Singletons.Base.Instances

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

type Sing

Defined in Data.Singletons.Base.Instances

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

data SNat (n :: Nat)

A value-level witness for a type-level natural number. This is commonly referred to as a singleton type, as for each n, there is a single value that inhabits the type SNat n (aside from bottom).

The definition of SNat is intentionally left abstract. To obtain an SNat value, use one of the following:

1. The natSing method of KnownNat.
2. The SNat pattern synonym.
3. The withSomeSNat function, which creates an SNat from a Natural number.

Since: base-4.18.0.0

Instances

TestCoercion SNat

Since: base-4.18.0.0

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

Defined in GHC.TypeNats

Methods

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

Show (SNat n)

Since: base-4.18.0.0

Defined in GHC.TypeNats

Methods

showsPrec :: Int -> SNat n -> ShowS

show :: SNat n -> String

showList :: [SNat n] -> ShowS

Eq (SNat n)

Since: base-4.19.0.0

Defined in GHC.TypeNats

Methods

(==) :: SNat n -> SNat n -> Bool

(/=) :: SNat n -> SNat n -> Bool

Ord (SNat n)

Since: base-4.19.0.0

Defined in GHC.TypeNats

Methods

compare :: SNat n -> SNat n -> Ordering

(<) :: SNat n -> SNat n -> Bool

(<=) :: SNat n -> SNat n -> Bool

(>) :: SNat n -> SNat n -> Bool

(>=) :: SNat n -> SNat n -> Bool

max :: SNat n -> SNat n -> SNat n

min :: SNat n -> SNat n -> SNat n

pattern SNat :: () => KnownNat n => SNat n

A explicitly bidirectional pattern synonym relating an SNat to a KnownNat constraint.

As an expression: Constructs an explicit SNat n value from an implicit KnownNat n constraint:

SNat @n :: KnownNat n => SNat n

As a pattern: Matches on an explicit SNat n value bringing an implicit KnownNat n constraint into scope:

f :: SNat n -> ..
f SNat = {- SNat n in scope -}

Since: base-4.18.0.0

data SSymbol (s :: Symbol)

A value-level witness for a type-level symbol. This is commonly referred to as a singleton type, as for each s, there is a single value that inhabits the type SSymbol s (aside from bottom).

The definition of SSymbol is intentionally left abstract. To obtain an SSymbol value, use one of the following:

1. The symbolSing method of KnownSymbol.
2. The SSymbol pattern synonym.
3. The withSomeSSymbol function, which creates an SSymbol from a String.

Since: base-4.18.0.0

Instances

TestCoercion SSymbol

Since: base-4.18.0.0

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

Defined in GHC.TypeLits

Methods

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

Show (SSymbol s)

Since: base-4.18.0.0

Defined in GHC.TypeLits

Methods

showsPrec :: Int -> SSymbol s -> ShowS

show :: SSymbol s -> String

showList :: [SSymbol s] -> ShowS

Eq (SSymbol s)

Since: base-4.19.0.0

Defined in GHC.TypeLits

Methods

(==) :: SSymbol s -> SSymbol s -> Bool

(/=) :: SSymbol s -> SSymbol s -> Bool

Ord (SSymbol s)

Since: base-4.19.0.0

Defined in GHC.TypeLits

Methods

compare :: SSymbol s -> SSymbol s -> Ordering

(<) :: SSymbol s -> SSymbol s -> Bool

(<=) :: SSymbol s -> SSymbol s -> Bool

(>) :: SSymbol s -> SSymbol s -> Bool

(>=) :: SSymbol s -> SSymbol s -> Bool

max :: SSymbol s -> SSymbol s -> SSymbol s

min :: SSymbol s -> SSymbol s -> SSymbol s

pattern SSymbol :: () => KnownSymbol s => SSymbol s

A explicitly bidirectional pattern synonym relating an SSymbol to a KnownSymbol constraint.

As an expression: Constructs an explicit SSymbol s value from an implicit KnownSymbol s constraint:

SSymbol @s :: KnownSymbol s => SSymbol s

As a pattern: Matches on an explicit SSymbol s value bringing an implicit KnownSymbol s constraint into scope:

f :: SSymbol s -> ..
f SSymbol = {- SSymbol s in scope -}

Since: base-4.18.0.0

pattern SSym :: () => KnownSymbol s => SSymbol s

An alias for the SSymbol pattern synonym.

data SChar (s :: Char)

A value-level witness for a type-level character. This is commonly referred to as a singleton type, as for each c, there is a single value that inhabits the type SChar c (aside from bottom).

The definition of SChar is intentionally left abstract. To obtain an SChar value, use one of the following:

1. The charSing method of KnownChar.
2. The SChar pattern synonym.
3. The withSomeSChar function, which creates an SChar from a Char.

Since: base-4.18.0.0

Instances

TestCoercion SChar

Since: base-4.18.0.0

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

Defined in GHC.TypeLits

Methods

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

Show (SChar c)

Since: base-4.18.0.0

Defined in GHC.TypeLits

Methods

showsPrec :: Int -> SChar c -> ShowS

show :: SChar c -> String

showList :: [SChar c] -> ShowS

Eq (SChar c)

Since: base-4.19.0.0

Defined in GHC.TypeLits

Methods

(==) :: SChar c -> SChar c -> Bool

(/=) :: SChar c -> SChar c -> Bool

Ord (SChar c)

Since: base-4.19.0.0

Defined in GHC.TypeLits

Methods

compare :: SChar c -> SChar c -> Ordering

(<) :: SChar c -> SChar c -> Bool

(<=) :: SChar c -> SChar c -> Bool

(>) :: SChar c -> SChar c -> Bool

(>=) :: SChar c -> SChar c -> Bool

max :: SChar c -> SChar c -> SChar c

min :: SChar c -> SChar c -> SChar c

pattern SChar :: () => KnownChar c => SChar c

A explicitly bidirectional pattern synonym relating an SChar to a KnownChar constraint.

As an expression: Constructs an explicit SChar c value from an implicit KnownChar c constraint:

SChar @c :: KnownChar c => SChar c

As a pattern: Matches on an explicit SChar c value bringing an implicit KnownChar c constraint into scope:

f :: SChar c -> ..
f SChar = {- SChar c in scope -}

Since: base-4.18.0.0

withKnownNat :: forall (n :: Nat) r. SNat n -> (KnownNat n => r) -> r

Convert an explicit SNat n value into an implicit KnownNat n constraint.

Since: base-4.18.0.0

withKnownSymbol :: forall (s :: Symbol) r. SSymbol s -> (KnownSymbol s => r) -> r

Convert an explicit SSymbol s value into an implicit KnownSymbol s constraint.

Since: base-4.18.0.0

withKnownChar :: forall (c :: Char) r. SChar c -> (KnownChar c => r) -> r

Convert an explicit SChar c value into an implicit KnownChar c constraint.

Since: base-4.18.0.0

type family Error (str :: Symbol) :: a where ...

A promoted version of error. This implements Error as a stuck type family with a Symbol argument. Depending on your needs, you might also consider the following alternatives:

• Data.Singletons.Base.PolyError provides PolyError, which generalizes the argument to be kind-polymorphic. This allows passing additional information to the error besides raw Symbols.
• Data.Singletons.Base.TypeError provides TypeError, a slightly modified version of the custom type error machinery found in GHC.TypeLits. This allows emitting error messages as compiler errors rather than as stuck type families.

sError :: forall (str :: Symbol) a. HasCallStack => Sing str -> a

The singleton for error.

type family ErrorWithoutStackTrace (str :: Symbol) :: a where ...

The promotion of errorWithoutStackTrace.

sErrorWithoutStackTrace :: forall (str :: Symbol) a. Sing str -> a

The singleton for errorWithoutStackTrace.

type family Undefined :: a where ...

The promotion of undefined.

sUndefined :: HasCallStack => a

The singleton for undefined.

class KnownNat (n :: Nat)

This class gives the integer associated with a type-level natural. There are instances of the class for every concrete literal: 0, 1, 2, etc.

Since: base-4.7.0.0

Minimal complete definition

natSing

natVal :: forall (n :: Nat) proxy. KnownNat n => proxy n -> Natural

Since: base-4.10.0.0

class KnownSymbol (n :: Symbol)

This class gives the string associated with a type-level symbol. There are instances of the class for every concrete literal: "hello", etc.

Since: base-4.7.0.0

Minimal complete definition

symbolSing

symbolVal :: forall (n :: Symbol) proxy. KnownSymbol n => proxy n -> String

Since: base-4.7.0.0

class KnownChar (n :: Char)

Since: base-4.16.0.0

Minimal complete definition

charSing

charVal :: forall (n :: Char) proxy. KnownChar n => proxy n -> Char

type family (a :: Natural) ^ (b :: Natural) :: Natural where ... infixr 8

Exponentiation of type-level naturals.

Since: base-4.7.0.0

(%^) :: forall (a :: Natural) (b :: Natural). Sing a -> Sing b -> Sing (a ^ b) infixr 8

The singleton analogue of (^) for Naturals.

type (<=?) (m :: k) (n :: k) = OrdCond (Compare m n) 'True 'True 'False infix 4

Comparison (<=) of comparable types, as a function.

Since: base-4.16.0.0

(%<=?) :: forall (a :: Natural) (b :: Natural). Sing a -> Sing b -> Sing (a <=? b) infix 4

The singleton analogue of <=?

Note that, because of historical reasons in GHC's Natural API, <=? is incompatible (unification-wise) with <= and the PEq, SEq, POrd, and SOrd instances for Natural. (a <=? b) ~ 'True does not imply anything about a <= b or any other PEq / POrd relationships.

(Be aware that <= in the paragraph above refers to <= from the POrd typeclass, exported from Data.Ord.Singletons, and not the <= from GHC.TypeNats. The latter is simply a type alias for (a <=? b) ~ 'True.)

This is provided here for the sake of completeness and for compatibility with libraries with APIs built around <=?. New code should use CmpNat, exposed through this library through the POrd and SOrd instances for Natural.

type family Log2 (a :: Natural) :: Natural where ...

Log base 2 (round down) of natural numbers. Log 0 is undefined (i.e., it cannot be reduced).

Since: base-4.11.0.0

sLog2 :: forall (x :: Natural). Sing x -> Sing (Log2 x)

type family Div (a :: Natural) (b :: Natural) :: Natural where ... infixl 7

Division (round down) of natural numbers. Div x 0 is undefined (i.e., it cannot be reduced).

Since: base-4.11.0.0

sDiv :: forall (x :: Natural) (y :: Natural). Sing x -> Sing y -> Sing (Div x y) infixl 7

type family Mod (a :: Natural) (b :: Natural) :: Natural where ... infixl 7

Modulus of natural numbers. Mod x 0 is undefined (i.e., it cannot be reduced).

Since: base-4.11.0.0

sMod :: forall (x :: Natural) (y :: Natural). Sing x -> Sing y -> Sing (Mod x y) infixl 7

type family DivMod (a :: Natural) (a1 :: Natural) :: (Natural, Natural) where ...

Equations

DivMod x y = Apply (Apply (Tuple2Sym0 :: TyFun Natural (Natural ~> (Natural, Natural)) -> Type) (Apply (Apply DivSym0 x) y)) (Apply (Apply ModSym0 x) y)

sDivMod :: forall (x :: Natural) (y :: Natural). Sing x -> Sing y -> Sing (DivMod x y)

type family Quot (a :: Natural) (a1 :: Natural) :: Natural where ... infixl 7

Equations

Quot a_6989586621679567999 a_6989586621679568001 = Apply (Apply DivSym0 a_6989586621679567999) a_6989586621679568001

sQuot :: forall (x :: Natural) (y :: Natural). Sing x -> Sing y -> Sing (Quot x y) infixl 7

type family Rem (a :: Natural) (a1 :: Natural) :: Natural where ... infixl 7

Equations

Rem a_6989586621679567988 a_6989586621679567990 = Apply (Apply ModSym0 a_6989586621679567988) a_6989586621679567990

sRem :: forall (x :: Natural) (y :: Natural). Sing x -> Sing y -> Sing (Rem x y) infixl 7

type family QuotRem (a :: Natural) (a1 :: Natural) :: (Natural, Natural) where ...

Equations

QuotRem a_6989586621679568010 a_6989586621679568012 = Apply (Apply DivModSym0 a_6989586621679568010) a_6989586621679568012

sQuotRem :: forall (x :: Natural) (y :: Natural). Sing x -> Sing y -> Sing (QuotRem x y)

consSymbol :: Char -> String -> String

type family ConsSymbol (a :: Char) (b :: Symbol) :: Symbol where ...

Extending a type-level symbol with a type-level character

Since: base-4.16.0.0

sConsSymbol :: forall (x :: Char) (y :: Symbol). Sing x -> Sing y -> Sing (ConsSymbol x y)

unconsSymbol :: String -> Maybe (Char, String)

type family UnconsSymbol (a :: Symbol) :: Maybe (Char, Symbol) where ...

This type family yields type-level Just storing the first character of a symbol and its tail if it is defined and Nothing otherwise.

Since: base-4.16.0.0

sUnconsSymbol :: forall (x :: Symbol). Sing x -> Sing (UnconsSymbol x)

charToNat :: Char -> Natural

type family CharToNat (a :: Char) :: Natural where ...

Convert a character to its Unicode code point (cf. ord)

Since: base-4.16.0.0

sCharToNat :: forall (x :: Char). Sing x -> Sing (CharToNat x)

natToChar :: Natural -> Char

type family NatToChar (a :: Natural) :: Char where ...

Convert a Unicode code point to a character (cf. chr)

Since: base-4.16.0.0

sNatToChar :: forall (x :: Natural). Sing x -> Sing (NatToChar x)

Defunctionalization symbols

data ErrorSym0 (a1 :: TyFun Symbol a)

Instances

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons.Internal

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

type family ErrorSym1 (a6989586621679555664 :: Symbol) :: a where ...

Equations

ErrorSym1 a6989586621679555664 = Error a6989586621679555664 :: a

data ErrorWithoutStackTraceSym0 (a1 :: TyFun Symbol a)

Instances

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons.Internal

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

type family ErrorWithoutStackTraceSym1 (a6989586621679555924 :: Symbol) :: a where ...

Equations

ErrorWithoutStackTraceSym1 a6989586621679555924 = ErrorWithoutStackTrace a6989586621679555924 :: a

type family UndefinedSym0 :: a where ...

Equations

UndefinedSym0 = Undefined :: a

data KnownNatSym0 (a :: TyFun Nat Constraint)

Instances

SuppressUnusedWarnings KnownNatSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply KnownNatSym0 (a6989586621679566098 :: Nat)

Defined in GHC.TypeLits.Singletons

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

type family KnownNatSym1 (a6989586621679566098 :: Nat) where ...

Equations

KnownNatSym1 a6989586621679566098 = KnownNat a6989586621679566098

data KnownSymbolSym0 (a :: TyFun Symbol Constraint)

Instances

SuppressUnusedWarnings KnownSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply KnownSymbolSym0 (a6989586621679566100 :: Symbol)

Defined in GHC.TypeLits.Singletons

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

type family KnownSymbolSym1 (a6989586621679566100 :: Symbol) where ...

Equations

KnownSymbolSym1 a6989586621679566100 = KnownSymbol a6989586621679566100

data KnownCharSym0 (a :: TyFun Char Constraint)

Instances

SuppressUnusedWarnings KnownCharSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply KnownCharSym0 (a6989586621679566102 :: Char)

Defined in GHC.TypeLits.Singletons

type Apply KnownCharSym0 (a6989586621679566102 :: Char) = KnownChar a6989586621679566102

type family KnownCharSym1 (a6989586621679566102 :: Char) where ...

Equations

KnownCharSym1 a6989586621679566102 = KnownChar a6989586621679566102

data (^@#@$) (a :: TyFun Natural (Natural ~> Natural)) infixr 8

Instances

SingI (^@#@$)

Defined in GHC.TypeLits.Singletons.Internal

Methods

sing :: Sing (^@#@$)

SuppressUnusedWarnings (^@#@$)

Defined in GHC.TypeLits.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons.Internal

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

data (a6989586621679556329 :: Natural) ^@#@$$ (b :: TyFun Natural Natural) infixr 8

Instances

SingI1 (^@#@$$)

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons.Internal

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

type family (a6989586621679556329 :: Natural) ^@#@$$$ (a6989586621679556330 :: Natural) :: Natural where ... infixr 8

Equations

a6989586621679556329 ^@#@$$$ a6989586621679556330 = a6989586621679556329 ^ a6989586621679556330

data (<=?@#@$) (a :: TyFun k (k ~> Bool)) infix 4

Instances

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

SuppressUnusedWarnings ((<=?@#@$) :: TyFun k (k ~> Bool) -> Type)

Defined in GHC.TypeLits.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

type Apply ((<=?@#@$) :: TyFun k (k ~> Bool) -> Type) (a6989586621679556760 :: k)

Defined in GHC.TypeLits.Singletons.Internal

type Apply ((<=?@#@$) :: TyFun k (k ~> Bool) -> Type) (a6989586621679556760 :: k) = (<=?@#@$$) a6989586621679556760

data (a6989586621679556760 :: k) <=?@#@$$ (b :: TyFun k Bool) infix 4

Instances

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

SuppressUnusedWarnings ((<=?@#@$$) a6989586621679556760 :: TyFun k Bool -> Type)

Defined in GHC.TypeLits.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

type Apply ((<=?@#@$$) a6989586621679556760 :: TyFun k Bool -> Type) (a6989586621679556761 :: k)

Defined in GHC.TypeLits.Singletons.Internal

type Apply ((<=?@#@$$) a6989586621679556760 :: TyFun k Bool -> Type) (a6989586621679556761 :: k) = a6989586621679556760 <=? a6989586621679556761

type family (a6989586621679556760 :: k) <=?@#@$$$ (a6989586621679556761 :: k) :: Bool where ... infix 4

Equations

(a6989586621679556760 :: k) <=?@#@$$$ (a6989586621679556761 :: k) = a6989586621679556760 <=? a6989586621679556761

data Log2Sym0 (a :: TyFun Natural Natural)

Instances

SingI Log2Sym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing Log2Sym0

SuppressUnusedWarnings Log2Sym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply Log2Sym0 (a6989586621679566742 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type family Log2Sym1 (a6989586621679566742 :: Natural) :: Natural where ...

Equations

Log2Sym1 a6989586621679566742 = Log2 a6989586621679566742

data DivSym0 (a :: TyFun Natural (Natural ~> Natural)) infixl 7

Instances

SingI DivSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing DivSym0

SuppressUnusedWarnings DivSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply DivSym0 (a6989586621679566965 :: Natural)

Defined in GHC.TypeLits.Singletons

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

data DivSym1 (a6989586621679566965 :: Natural) (b :: TyFun Natural Natural) infixl 7

Instances

SingI1 DivSym1

Defined in GHC.TypeLits.Singletons

Methods

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

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

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing (DivSym1 x)

SuppressUnusedWarnings (DivSym1 a6989586621679566965 :: TyFun Natural Natural -> Type)

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

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

type family DivSym2 (a6989586621679566965 :: Natural) (a6989586621679566966 :: Natural) :: Natural where ... infixl 7

Equations

DivSym2 a6989586621679566965 a6989586621679566966 = Div a6989586621679566965 a6989586621679566966

data ModSym0 (a :: TyFun Natural (Natural ~> Natural)) infixl 7

Instances

SingI ModSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing ModSym0

SuppressUnusedWarnings ModSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ModSym0 (a6989586621679567401 :: Natural)

Defined in GHC.TypeLits.Singletons

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

data ModSym1 (a6989586621679567401 :: Natural) (b :: TyFun Natural Natural) infixl 7

Instances

SingI1 ModSym1

Defined in GHC.TypeLits.Singletons

Methods

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

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

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing (ModSym1 x)

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

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

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

type family ModSym2 (a6989586621679567401 :: Natural) (a6989586621679567402 :: Natural) :: Natural where ... infixl 7

Equations

ModSym2 a6989586621679567401 a6989586621679567402 = Mod a6989586621679567401 a6989586621679567402

data DivModSym0 (a :: TyFun Natural (Natural ~> (Natural, Natural)))

Instances

SuppressUnusedWarnings DivModSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply DivModSym0 (a6989586621679568024 :: Natural)

Defined in GHC.TypeLits.Singletons

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

data DivModSym1 (a6989586621679568024 :: Natural) (b :: TyFun Natural (Natural, Natural))

Instances

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

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

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

type family DivModSym2 (a6989586621679568024 :: Natural) (a6989586621679568025 :: Natural) :: (Natural, Natural) where ...

Equations

DivModSym2 a6989586621679568024 a6989586621679568025 = DivMod a6989586621679568024 a6989586621679568025

data QuotSym0 (a :: TyFun Natural (Natural ~> Natural)) infixl 7

Instances

SuppressUnusedWarnings QuotSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply QuotSym0 (a6989586621679568006 :: Natural)

Defined in GHC.TypeLits.Singletons

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

data QuotSym1 (a6989586621679568006 :: Natural) (b :: TyFun Natural Natural) infixl 7

Instances

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

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

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

type family QuotSym2 (a6989586621679568006 :: Natural) (a6989586621679568007 :: Natural) :: Natural where ... infixl 7

Equations

QuotSym2 a6989586621679568006 a6989586621679568007 = Quot a6989586621679568006 a6989586621679568007

data RemSym0 (a :: TyFun Natural (Natural ~> Natural)) infixl 7

Instances

SuppressUnusedWarnings RemSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply RemSym0 (a6989586621679567995 :: Natural)

Defined in GHC.TypeLits.Singletons

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

data RemSym1 (a6989586621679567995 :: Natural) (b :: TyFun Natural Natural) infixl 7

Instances

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

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

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

type family RemSym2 (a6989586621679567995 :: Natural) (a6989586621679567996 :: Natural) :: Natural where ... infixl 7

Equations

RemSym2 a6989586621679567995 a6989586621679567996 = Rem a6989586621679567995 a6989586621679567996

data QuotRemSym0 (a :: TyFun Natural (Natural ~> (Natural, Natural)))

Instances

SuppressUnusedWarnings QuotRemSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply QuotRemSym0 (a6989586621679568017 :: Natural)

Defined in GHC.TypeLits.Singletons

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

data QuotRemSym1 (a6989586621679568017 :: Natural) (b :: TyFun Natural (Natural, Natural))

Instances

SuppressUnusedWarnings (QuotRemSym1 a6989586621679568017 :: TyFun Natural (Natural, Natural) -> Type)

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

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

type family QuotRemSym2 (a6989586621679568017 :: Natural) (a6989586621679568018 :: Natural) :: (Natural, Natural) where ...

Equations

QuotRemSym2 a6989586621679568017 a6989586621679568018 = QuotRem a6989586621679568017 a6989586621679568018

data ConsSymbolSym0 (a :: TyFun Char (Symbol ~> Symbol))

Instances

SingI ConsSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing ConsSymbolSym0

SuppressUnusedWarnings ConsSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ConsSymbolSym0 (a6989586621679569296 :: Char)

Defined in GHC.TypeLits.Singletons

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

data ConsSymbolSym1 (a6989586621679569296 :: Char) (b :: TyFun Symbol Symbol)

Instances

SingI1 ConsSymbolSym1

Defined in GHC.TypeLits.Singletons

Methods

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

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

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing (ConsSymbolSym1 x)

SuppressUnusedWarnings (ConsSymbolSym1 a6989586621679569296 :: TyFun Symbol Symbol -> Type)

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

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

type family ConsSymbolSym2 (a6989586621679569296 :: Char) (a6989586621679569297 :: Symbol) :: Symbol where ...

Equations

ConsSymbolSym2 a6989586621679569296 a6989586621679569297 = ConsSymbol a6989586621679569296 a6989586621679569297

data UnconsSymbolSym0 (a :: TyFun Symbol (Maybe (Char, Symbol)))

Instances

SingI UnconsSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing UnconsSymbolSym0

SuppressUnusedWarnings UnconsSymbolSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply UnconsSymbolSym0 (a6989586621679569801 :: Symbol)

Defined in GHC.TypeLits.Singletons

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

type family UnconsSymbolSym1 (a6989586621679569801 :: Symbol) :: Maybe (Char, Symbol) where ...

Equations

UnconsSymbolSym1 a6989586621679569801 = UnconsSymbol a6989586621679569801

data CharToNatSym0 (a :: TyFun Char Natural)

Instances

SingI CharToNatSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing CharToNatSym0

SuppressUnusedWarnings CharToNatSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply CharToNatSym0 (a6989586621679570020 :: Char)

Defined in GHC.TypeLits.Singletons

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

type family CharToNatSym1 (a6989586621679570020 :: Char) :: Natural where ...

Equations

CharToNatSym1 a6989586621679570020 = CharToNat a6989586621679570020

data NatToCharSym0 (a :: TyFun Natural Char)

Instances

SingI NatToCharSym0

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing NatToCharSym0

SuppressUnusedWarnings NatToCharSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply NatToCharSym0 (a6989586621679570244 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type family NatToCharSym1 (a6989586621679570244 :: Natural) :: Char where ...

Equations

NatToCharSym1 a6989586621679570244 = NatToChar a6989586621679570244

Orphan instances

IsString Symbol

Methods

fromString :: String -> Symbol

Monoid Symbol

Methods

mempty :: Symbol

mappend :: Symbol -> Symbol -> Symbol

mconcat :: [Symbol] -> Symbol

Semigroup Symbol

Methods

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

sconcat :: NonEmpty Symbol -> Symbol

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

Show Symbol

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS

Eq Symbol

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.

Methods

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

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

Ord Symbol

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