Language.Fortran.Repr.Compat.Natural

Compatibility definitions for working with term and type level natural numbers across multiple GHC versions.

Prior to GHC 9.2:

• Term level natural numbers: Natural :: Type
• Type level natural numbers: n :: Nat

As of GHC 9.2:

• Term level natural numbers: Natural :: Type
• Type level natural numbers: n :: Natural

To avoid issues, we export a NaturalK kind that will refer to the correct definition for your platform.

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

Binary Natural

Since: binary-0.7.3.0

Defined in Data.Binary.Class

Methods

put :: Natural -> Put

get :: Get Natural

putList :: [Natural] -> Put

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

Hashable Natural

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Natural -> Int

hash :: Natural -> Int

PEnum Natural

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

SEnum Natural

Defined in Data.Singletons.Base.Enum

Methods

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

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

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

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

sEnumFromTo :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: Natural) (t2 :: Natural) (t3 :: Natural). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

PNum Natural

Defined in GHC.Num.Singletons

Associated Types

type arg + arg1 :: a

type arg - arg1 :: a

type arg * arg1 :: a

type Negate arg :: a

type Abs arg :: a

type Signum arg :: a

type FromInteger arg :: a

SNum Natural

Defined in GHC.Num.Singletons

Methods

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

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

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

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

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

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

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

PShow Natural

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec arg arg1 arg2 :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg1 :: Symbol

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 t1) t2) t3)

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

sShowList :: forall (t1 :: [Natural]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 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

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

SingI2 EfdtNatDnSym2

Defined in Data.Singletons.Base.Enum

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (EfdtNatDnSym2 x y)

SingI2 EfdtNatSym2

Defined in Data.Singletons.Base.Enum

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (EfdtNatSym2 x y)

SingI2 EfdtNatUpSym2

Defined in Data.Singletons.Base.Enum

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (EfdtNatUpSym2 x y)

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

Defined in Text.Show.Singletons

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (ShowsPrecSym2 x y)

SingI1 EfdtNatDnSym1

Defined in Data.Singletons.Base.Enum

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (EfdtNatDnSym1 x)

SingI1 EfdtNatSym1

Defined in Data.Singletons.Base.Enum

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (EfdtNatSym1 x)

SingI1 EfdtNatUpSym1

Defined in Data.Singletons.Base.Enum

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (EfdtNatUpSym1 x)

SingI1 EftNatSym1

Defined in Data.Singletons.Base.Enum

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (EftNatSym1 x)

SingI1 DivSym1

Defined in GHC.TypeLits.Singletons

Methods

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

SingI1 ModSym1

Defined in GHC.TypeLits.Singletons

Methods

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

SingI1 (^@#@$$)

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

SingI d => SingI1 (EfdtNatDnSym2 d :: Natural -> TyFun Natural [Natural] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (EfdtNatDnSym2 d x)

SingI d => SingI1 (EfdtNatSym2 d :: Natural -> TyFun Natural [Natural] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (EfdtNatSym2 d x)

SingI d => SingI1 (EfdtNatUpSym2 d :: Natural -> TyFun Natural [Natural] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (EfdtNatUpSym2 d x)

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

Defined in Data.List.Singletons.Internal

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (SplitAtSym1 x)

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

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (ListsplitAtSym1 x)

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

Defined in Data.List.Singletons.Internal

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (DropSym1 x)

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

Defined in Data.List.Singletons.Internal

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (TakeSym1 x)

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

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (ListdropSym1 x)

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

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (ListtakeSym1 x)

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

Defined in Text.Show.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (ShowsPrecSym1 x)

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

Defined in Data.List.Singletons.Internal

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (ReplicateSym1 x)

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal

Methods

liftSing :: forall (x :: k1). 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 :: k1). Sing x -> Sing (ReplicateM_Sym1 x)

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

Defined in Control.Monad.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (ReplicateMSym1 x)

KnownNats ('[] :: [NaturalK])

Defined in Language.Fortran.Repr.Value.Array.Machine

Methods

natVals :: [Natural]

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (ListindexSym1 x)

Show (SomeFVA NaturalK FString)

Defined in Language.Fortran.Repr.Value.Array.Machine

Methods

showsPrec :: Int -> SomeFVA NaturalK FString -> ShowS

show :: SomeFVA NaturalK FString -> String

showList :: [SomeFVA NaturalK FString] -> ShowS

SingI EfdtNatDnSym0

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing EfdtNatDnSym0

SingI EfdtNatSym0

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing EfdtNatSym0

SingI EfdtNatUpSym0

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing EfdtNatUpSym0

SingI EftNatSym0

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing EftNatSym0

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 FromEnum_6989586621679561186Sym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ToEnum_6989586621679561170Sym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621680588986Sym0

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621680589010Sym0

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621680091185Sym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621679161580Sym0

Defined in Language.Fortran.Repr.Type.Scalar.Int

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621679101166Sym0

Defined in Language.Fortran.Repr.Type.Scalar.Real

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621680091157Sym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings EfdtNatDnSym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings EfdtNatSym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings EfdtNatUpSym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings EnumFromThenTo_6989586621679533803Sym0

Defined in Data.Singletons.Base.Enum

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 EftNatSym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings EnumFromTo_6989586621679533787Sym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621680090995Sym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621680091135Sym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsCharPrecSym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsNatSym0

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings FromEnum_6989586621679533779Sym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings Pred_6989586621679533765Sym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings Succ_6989586621679533758Sym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ToEnum_6989586621679533772Sym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings Log2Sym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ToEnum_6989586621679561193Sym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ToEnum_6989586621679561149Sym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ToEnum_6989586621679533822Sym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings NatToCharSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings FromEnum_6989586621679561203Sym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings FromEnum_6989586621679561162Sym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings FromEnum_6989586621679533831Sym0

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings CharToNatSym0

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing FindIndexSym0

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

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing FindIndicesSym0

SingI d => SingI (EfdtNatDnSym1 d :: TyFun Natural (Natural ~> [Natural]) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EfdtNatDnSym1 d)

SingI d => SingI (EfdtNatSym1 d :: TyFun Natural (Natural ~> [Natural]) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EfdtNatSym1 d)

SingI d => SingI (EfdtNatUpSym1 d :: TyFun Natural (Natural ~> [Natural]) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EfdtNatUpSym1 d)

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

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing SplitAtSym0

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

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

sing :: Sing ListsplitAtSym0

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

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing DropSym0

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

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing TakeSym0

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

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

sing :: Sing ListdropSym0

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

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

sing :: Sing ListtakeSym0

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

Defined in Text.Show.Singletons

Methods

sing :: Sing ShowsPrecSym0

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

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing ReplicateSym0

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EftNatSym1 d)

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing ToEnumSym0

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

Defined in GHC.Num.Singletons

Methods

sing :: Sing FromIntegerSym0

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

Defined in Data.List.Singletons.Internal

Methods

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

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

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

sing :: Sing ListindexSym0

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

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing LengthSym0

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

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

sing :: Sing ListlengthSym0

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

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing ElemIndexSym0

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

Defined in Data.List.Singletons.Internal

Methods

sing :: Sing ElemIndicesSym0

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing FromEnumSym0

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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 (FromEnum_6989586621680405226Sym0 :: TyFun (Identity a) Natural -> Type)

Defined in Data.Functor.Identity.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Length_6989586621680406779Sym0 :: TyFun (Identity a) Natural -> Type)

Defined in Data.Functor.Identity.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromEnum_6989586621680611837Sym0 :: TyFun (First a) Natural -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromEnum_6989586621680612045Sym0 :: TyFun (Last a) Natural -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromEnum_6989586621680611313Sym0 :: TyFun (Max a) Natural -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromEnum_6989586621680610344Sym0 :: TyFun (Min a) Natural -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromEnum_6989586621680612214Sym0 :: TyFun (WrappedMonoid a) Natural -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Length_6989586621680215193Sym0 :: TyFun (Dual a) Natural -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Length_6989586621680215543Sym0 :: TyFun (Product a) Natural -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Length_6989586621680215368Sym0 :: TyFun (Sum a) Natural -> Type)

Defined in Data.Foldable.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 (FromInteger_6989586621680405400Sym0 :: TyFun Natural (Identity a) -> Type)

Defined in Data.Functor.Identity.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ToEnum_6989586621680405219Sym0 :: TyFun Natural (Identity a) -> Type)

Defined in Data.Functor.Identity.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromInteger_6989586621679514189Sym0 :: TyFun Natural (Down a) -> Type)

Defined in GHC.Num.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ToEnum_6989586621680611828Sym0 :: TyFun Natural (First a) -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ToEnum_6989586621680612036Sym0 :: TyFun Natural (Last a) -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromInteger_6989586621680611466Sym0 :: TyFun Natural (Max a) -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ToEnum_6989586621680611304Sym0 :: TyFun Natural (Max a) -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromInteger_6989586621680610697Sym0 :: TyFun Natural (Min a) -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ToEnum_6989586621680610335Sym0 :: TyFun Natural (Min a) -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ToEnum_6989586621680612205Sym0 :: TyFun Natural (WrappedMonoid a) -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromInteger_6989586621679638138Sym0 :: TyFun Natural (Product a) -> Type)

Defined in Data.Semigroup.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromInteger_6989586621679638009Sym0 :: TyFun Natural (Sum a) -> Type)

Defined in Data.Semigroup.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Functor.Identity.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Monoid.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Monoid.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621680589199Sym0 :: TyFun Natural (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EfdtNatDnSym1 a6989586621679533572 :: TyFun Natural (Natural ~> [Natural]) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EfdtNatSym1 a6989586621679533646 :: TyFun Natural (Natural ~> [Natural]) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EfdtNatUpSym1 a6989586621679533609 :: TyFun Natural (Natural ~> [Natural]) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EnumFromThenTo_6989586621679533803Sym1 a6989586621679533815 :: TyFun Natural (Natural ~> [Natural]) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal.Disambiguation

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 (ListdropSym0 :: TyFun Natural ([a] ~> [a]) -> Type)

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

suppressUnusedWarnings :: ()

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621680059107Sym0 :: 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 a6989586621679492165 :: TyFun Natural Natural -> Type)

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EftNatSym1 a6989586621679533664 :: TyFun Natural [Natural] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EnumFromTo_6989586621679533787Sym1 a6989586621679533796 :: TyFun Natural [Natural] -> Type)

Defined in Data.Singletons.Base.Enum

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 (ListindexSym0 :: TyFun [a] (Natural ~> a) -> Type)

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal.Disambiguation

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

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

Defined in Control.Monad.Singletons

Methods

sing :: Sing ReplicateMSym0

(SingI d1, SingI d2) => SingI (EfdtNatDnSym2 d1 d2 :: TyFun Natural [Natural] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EfdtNatDnSym2 d1 d2)

(SingI d1, SingI d2) => SingI (EfdtNatSym2 d1 d2 :: TyFun Natural [Natural] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EfdtNatSym2 d1 d2)

(SingI d1, SingI d2) => SingI (EfdtNatUpSym2 d1 d2 :: TyFun Natural [Natural] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EfdtNatUpSym2 d1 d2)

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

Defined in Data.List.Singletons.Internal

Methods

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

SingI d => SingI (ListindexSym1 d :: TyFun Natural a -> Type)

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

sing :: Sing (ListindexSym1 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 (Length_6989586621680214966Sym0 :: TyFun (Either a1 a2) Natural -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Length_6989586621680215040Sym0 :: TyFun (Proxy a) Natural -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromEnum_6989586621680185409Sym0 :: TyFun (Proxy s) Natural -> Type)

Defined in Data.Proxy.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ToEnum_6989586621680185415Sym0 :: TyFun Natural (Proxy s) -> Type)

Defined in Data.Proxy.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621680091075Sym0 :: TyFun Natural (Either a b ~> (Symbol ~> Symbol)) -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621680185339Sym0 :: TyFun Natural (Proxy s ~> (Symbol ~> Symbol)) -> Type)

Defined in Data.Proxy.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621680611696Sym0 :: TyFun Natural (Arg a b ~> (Symbol ~> Symbol)) -> Type)

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621680059157Sym0 :: TyFun Natural ((a, b) ~> (Symbol ~> Symbol)) -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

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 (EfdtNatDnSym2 a6989586621679533572 a6989586621679533573 :: TyFun Natural [Natural] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EfdtNatSym2 a6989586621679533646 a6989586621679533647 :: TyFun Natural [Natural] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EfdtNatUpSym2 a6989586621679533609 a6989586621679533610 :: TyFun Natural [Natural] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (EnumFromThenTo_6989586621679533803Sym2 a6989586621679533815 a6989586621679533816 :: TyFun Natural [Natural] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ListindexSym1 a6989586621680037038 :: TyFun Natural a -> Type)

Defined in Data.List.Singletons.Internal.Disambiguation

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FindIndicesSym1 a6989586621679733273 :: 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 :: k1). Sing x -> Sing (FindIndexSym1 x)

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

Defined in Data.List.Singletons.Internal

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (FindIndicesSym1 x)

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

Defined in Data.Foldable.Singletons

Methods

sing :: Sing LengthSym0

SuppressUnusedWarnings (FromEnum_6989586621680440949Sym0 :: TyFun (Const a b) Natural -> Type)

Defined in Data.Functor.Const.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (FromInteger_6989586621680441039Sym0 :: TyFun Natural (Const a b) -> Type)

Defined in Data.Functor.Const.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ToEnum_6989586621680440942Sym0 :: TyFun Natural (Const a b) -> Type)

Defined in Data.Functor.Const.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621680441059Sym0 :: TyFun Natural (Const a b ~> (Symbol ~> Symbol)) -> Type)

Defined in Data.Functor.Const.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621680059172Sym0 :: TyFun Natural ((a, b, c) ~> (Symbol ~> Symbol)) -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Let6989586621680923429LoopSym0 :: TyFun k (TyFun (m6989586621680923039 a) (TyFun Natural (m6989586621680923039 ()) -> Type) -> Type) -> Type)

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Let6989586621680923447LoopSym0 :: TyFun k (TyFun (m6989586621680923041 a6989586621680923042) (TyFun Natural (m6989586621680923041 [a6989586621680923042]) -> Type) -> Type) -> Type)

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Let6989586621679733277BuildListSym0 :: TyFun k1 (TyFun k2 (TyFun Natural ([b6989586621679729188] ~> [Natural]) -> Type) -> Type) -> Type)

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621680059188Sym0 :: TyFun Natural ((a, b, c, d) ~> (Symbol ~> Symbol)) -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Let6989586621679733277BuildListSym1 p6989586621679733275 :: TyFun k2 (TyFun Natural ([b6989586621679729188] ~> [Natural]) -> Type) -> Type)

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Let6989586621680923429LoopSym1 cnt06989586621680923427 :: TyFun (m6989586621680923039 a) (TyFun Natural (m6989586621680923039 ()) -> Type) -> Type)

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Let6989586621680923447LoopSym1 cnt06989586621680923445 :: TyFun (m6989586621680923041 a6989586621680923042) (TyFun Natural (m6989586621680923041 [a6989586621680923042]) -> Type) -> Type)

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621680059205Sym0 :: TyFun Natural ((a, b, c, d, e) ~> (Symbol ~> Symbol)) -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Let6989586621679733277BuildListSym2 p6989586621679733275 xs6989586621679733276 :: TyFun Natural ([b6989586621679729188] ~> [Natural]) -> Type)

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Let6989586621680923429LoopSym2 cnt06989586621680923427 f6989586621680923428 :: TyFun Natural (m6989586621680923039 ()) -> Type)

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Let6989586621680923447LoopSym2 cnt06989586621680923445 f6989586621680923446 :: TyFun Natural (m6989586621680923041 [a6989586621680923042]) -> Type)

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621680059223Sym0 :: TyFun Natural ((a, b, c, d, e, f) ~> (Symbol ~> Symbol)) -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Let6989586621679733277BuildListSym3 p6989586621679733275 xs6989586621679733276 a6989586621679733278 :: TyFun [b6989586621679729188] [Natural] -> Type)

Defined in Data.List.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621680059242Sym0 :: TyFun Natural ((a, b, c, d, e, f, g) ~> (Symbol ~> Symbol)) -> Type)

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: ()

(KnownNat n, KnownNats ns) => KnownNats (n ': ns)

Defined in Language.Fortran.Repr.Value.Array.Machine

Methods

natVals :: [Natural]

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) = Apply FromEnum_6989586621679533779Sym0 a

type Pred (a :: Natural)

Defined in Data.Singletons.Base.Enum

type Pred (a :: Natural) = Apply Pred_6989586621679533765Sym0 a

type Succ (a :: Natural)

Defined in Data.Singletons.Base.Enum

type Succ (a :: Natural) = Apply Succ_6989586621679533758Sym0 a

type ToEnum a

Defined in Data.Singletons.Base.Enum

type ToEnum a = Apply ToEnum_6989586621679533772Sym0 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) = SignumNat a

type Show_ (arg :: Natural)

Defined in Text.Show.Singletons

type Show_ (arg :: Natural) = Apply (Show__6989586621680059119Sym0 :: TyFun Natural Symbol -> Type) arg

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) = Apply (Apply (TFHelper_6989586621679129971Sym0 :: TyFun Natural (Natural ~> Bool) -> Type) arg) arg1

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) = Apply (Apply (TFHelper_6989586621679167373Sym0 :: TyFun Natural (Natural ~> Bool) -> Type) arg) arg1

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

Defined in GHC.TypeLits.Singletons.Internal

type (arg :: Natural) <= (arg1 :: Natural) = Apply (Apply (TFHelper_6989586621679167389Sym0 :: TyFun Natural (Natural ~> Bool) -> Type) arg) arg1

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

Defined in GHC.TypeLits.Singletons.Internal

type (arg :: Natural) > (arg1 :: Natural) = Apply (Apply (TFHelper_6989586621679167405Sym0 :: TyFun Natural (Natural ~> Bool) -> Type) arg) arg1

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

Defined in GHC.TypeLits.Singletons.Internal

type (arg :: Natural) >= (arg1 :: Natural) = Apply (Apply (TFHelper_6989586621679167421Sym0 :: TyFun Natural (Natural ~> Bool) -> Type) arg) arg1

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) = Apply (Apply (Max_6989586621679167437Sym0 :: TyFun Natural (Natural ~> Natural) -> Type) arg) arg1

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

Defined in GHC.TypeLits.Singletons.Internal

type Min (arg :: Natural) (arg1 :: Natural) = Apply (Apply (Min_6989586621679167453Sym0 :: TyFun Natural (Natural ~> Natural) -> Type) arg) arg1

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

Defined in Data.Singletons.Base.Enum

type EnumFromTo (a1 :: Natural) (a2 :: Natural) = Apply (Apply EnumFromTo_6989586621679533787Sym0 a1) a2

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 = Apply (Apply (ShowList_6989586621680059127Sym0 :: TyFun [Natural] (Symbol ~> Symbol) -> Type) arg1) arg2

type Apply KnownNatSym0 (a6989586621679491177 :: Nat)

Defined in GHC.TypeLits.Singletons

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

type Apply FromEnum_6989586621679561186Sym0 (a6989586621679561190 :: Ordering)

Defined in Data.Singletons.Base.Enum

type Apply FromEnum_6989586621679561186Sym0 (a6989586621679561190 :: Ordering) = FromEnum_6989586621679561186 a6989586621679561190

type Apply ToEnum_6989586621679561170Sym0 (a6989586621679561174 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply ToEnum_6989586621679561170Sym0 (a6989586621679561174 :: Natural) = ToEnum_6989586621679561170 a6989586621679561174

type Apply FromEnum_6989586621679533779Sym0 (a6989586621679533783 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply FromEnum_6989586621679533779Sym0 (a6989586621679533783 :: Natural) = FromEnum_6989586621679533779 a6989586621679533783

type Apply Pred_6989586621679533765Sym0 (a6989586621679533769 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply Pred_6989586621679533765Sym0 (a6989586621679533769 :: Natural) = Pred_6989586621679533765 a6989586621679533769

type Apply Succ_6989586621679533758Sym0 (a6989586621679533762 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply Succ_6989586621679533758Sym0 (a6989586621679533762 :: Natural) = Succ_6989586621679533758 a6989586621679533762

type Apply ToEnum_6989586621679533772Sym0 (a6989586621679533776 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply ToEnum_6989586621679533772Sym0 (a6989586621679533776 :: Natural) = ToEnum_6989586621679533772 a6989586621679533776

type Apply Log2Sym0 (a6989586621679491903 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply ToEnum_6989586621679561193Sym0 (a6989586621679561197 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply ToEnum_6989586621679561193Sym0 (a6989586621679561197 :: Natural) = ToEnum_6989586621679561193 a6989586621679561197

type Apply ToEnum_6989586621679561149Sym0 (a6989586621679561153 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply ToEnum_6989586621679561149Sym0 (a6989586621679561153 :: Natural) = ToEnum_6989586621679561149 a6989586621679561153

type Apply ToEnum_6989586621679533822Sym0 (a6989586621679533828 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply ToEnum_6989586621679533822Sym0 (a6989586621679533828 :: Natural) = ToEnum_6989586621679533822 a6989586621679533828

type Apply NatToCharSym0 (a6989586621679495326 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply FromEnum_6989586621679561203Sym0 (a6989586621679561207 :: ())

Defined in Data.Singletons.Base.Enum

type Apply FromEnum_6989586621679561203Sym0 (a6989586621679561207 :: ()) = FromEnum_6989586621679561203 a6989586621679561207

type Apply FromEnum_6989586621679561162Sym0 (a6989586621679561166 :: Bool)

Defined in Data.Singletons.Base.Enum

type Apply FromEnum_6989586621679561162Sym0 (a6989586621679561166 :: Bool) = FromEnum_6989586621679561162 a6989586621679561166

type Apply FromEnum_6989586621679533831Sym0 (a6989586621679533837 :: Char)

Defined in Data.Singletons.Base.Enum

type Apply FromEnum_6989586621679533831Sym0 (a6989586621679533837 :: Char) = FromEnum_6989586621679533831 a6989586621679533837

type Apply CharToNatSym0 (a6989586621679495097 :: Char)

Defined in GHC.TypeLits.Singletons

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

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

Defined in Data.Singletons.Base.Enum

type EnumFromThenTo (a1 :: Natural) (a2 :: Natural) (a3 :: Natural) = Apply (Apply (Apply EnumFromThenTo_6989586621679533803Sym0 a1) a2) a3

type ShowsPrec _1 (n :: Natural) x

Defined in Text.Show.Singletons

type ShowsPrec _1 (n :: Natural) x = ShowsNat n x

type Apply (DivSym1 a6989586621679492165 :: TyFun Natural Natural -> Type) (a6989586621679492166 :: Natural)

Defined in GHC.TypeLits.Singletons

type Apply (DivSym1 a6989586621679492165 :: TyFun Natural Natural -> Type) (a6989586621679492166 :: Natural) = Div a6989586621679492165 a6989586621679492166

type Apply (ModSym1 a6989586621679492607 :: TyFun Natural Natural -> Type) (a6989586621679492608 :: Natural)

Defined in GHC.TypeLits.Singletons

type Apply (ModSym1 a6989586621679492607 :: TyFun Natural Natural -> Type) (a6989586621679492608 :: Natural) = Mod a6989586621679492607 a6989586621679492608

type Apply (QuotSym1 a6989586621679493204 :: TyFun Natural Natural -> Type) (a6989586621679493205 :: Natural)

Defined in GHC.TypeLits.Singletons

type Apply (QuotSym1 a6989586621679493204 :: TyFun Natural Natural -> Type) (a6989586621679493205 :: Natural) = Quot a6989586621679493204 a6989586621679493205

type Apply (RemSym1 a6989586621679493193 :: TyFun Natural Natural -> Type) (a6989586621679493194 :: Natural)

Defined in GHC.TypeLits.Singletons

type Apply (RemSym1 a6989586621679493193 :: TyFun Natural Natural -> Type) (a6989586621679493194 :: Natural) = Rem a6989586621679493193 a6989586621679493194

type Apply ((^@#@$$) a6989586621679477654 :: TyFun Natural Natural -> Type) (a6989586621679477655 :: Natural)

Defined in GHC.TypeLits.Singletons.Internal

type Apply ((^@#@$$) a6989586621679477654 :: TyFun Natural Natural -> Type) (a6989586621679477655 :: Natural) = a6989586621679477654 ^ a6989586621679477655

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

Defined in Data.Singletons.Base.Enum

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

type Apply (FromIntegerSym0 :: TyFun Natural k2 -> Type) (a6989586621679514115 :: Natural)

Defined in GHC.Num.Singletons

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

type Apply (FromEnumSym0 :: TyFun a Natural -> Type) (a6989586621679533696 :: a)

Defined in Data.Singletons.Base.Enum

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

type Apply ((!!@#@$$) a6989586621679732938 :: TyFun Natural a -> Type) (a6989586621679732939 :: Natural)

Defined in Data.List.Singletons.Internal

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

type Apply (ListindexSym1 a6989586621680037038 :: TyFun Natural a -> Type) (a6989586621680037039 :: Natural)

Defined in Data.List.Singletons.Internal.Disambiguation

type Apply (ListindexSym1 a6989586621680037038 :: TyFun Natural a -> Type) (a6989586621680037039 :: Natural) = Listindex a6989586621680037038 a6989586621680037039

type Apply (FromInteger_6989586621680405400Sym0 :: TyFun Natural (Identity a) -> Type) (a6989586621680405404 :: Natural)

Defined in Data.Functor.Identity.Singletons

type Apply (FromInteger_6989586621680405400Sym0 :: TyFun Natural (Identity a) -> Type) (a6989586621680405404 :: Natural) = FromInteger_6989586621680405400 a6989586621680405404 :: Identity a

type Apply (ToEnum_6989586621680405219Sym0 :: TyFun Natural (Identity a) -> Type) (a6989586621680405223 :: Natural)

Defined in Data.Functor.Identity.Singletons

type Apply (ToEnum_6989586621680405219Sym0 :: TyFun Natural (Identity a) -> Type) (a6989586621680405223 :: Natural) = ToEnum_6989586621680405219 a6989586621680405223 :: Identity a

type Apply (FromInteger_6989586621679514189Sym0 :: TyFun Natural (Down a) -> Type) (a6989586621679514193 :: Natural)

Defined in GHC.Num.Singletons

type Apply (FromInteger_6989586621679514189Sym0 :: TyFun Natural (Down a) -> Type) (a6989586621679514193 :: Natural) = FromInteger_6989586621679514189 a6989586621679514193 :: Down a

type Apply (ToEnum_6989586621680611828Sym0 :: TyFun Natural (First a) -> Type) (a6989586621680611834 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ToEnum_6989586621680611828Sym0 :: TyFun Natural (First a) -> Type) (a6989586621680611834 :: Natural) = ToEnum_6989586621680611828 a6989586621680611834 :: First a

type Apply (ToEnum_6989586621680612036Sym0 :: TyFun Natural (Last a) -> Type) (a6989586621680612042 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ToEnum_6989586621680612036Sym0 :: TyFun Natural (Last a) -> Type) (a6989586621680612042 :: Natural) = ToEnum_6989586621680612036 a6989586621680612042 :: Last a

type Apply (FromInteger_6989586621680611466Sym0 :: TyFun Natural (Max a) -> Type) (a6989586621680611472 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (FromInteger_6989586621680611466Sym0 :: TyFun Natural (Max a) -> Type) (a6989586621680611472 :: Natural) = FromInteger_6989586621680611466 a6989586621680611472 :: Max a

type Apply (ToEnum_6989586621680611304Sym0 :: TyFun Natural (Max a) -> Type) (a6989586621680611310 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ToEnum_6989586621680611304Sym0 :: TyFun Natural (Max a) -> Type) (a6989586621680611310 :: Natural) = ToEnum_6989586621680611304 a6989586621680611310 :: Max a

type Apply (FromInteger_6989586621680610697Sym0 :: TyFun Natural (Min a) -> Type) (a6989586621680610703 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (FromInteger_6989586621680610697Sym0 :: TyFun Natural (Min a) -> Type) (a6989586621680610703 :: Natural) = FromInteger_6989586621680610697 a6989586621680610703 :: Min a

type Apply (ToEnum_6989586621680610335Sym0 :: TyFun Natural (Min a) -> Type) (a6989586621680610341 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ToEnum_6989586621680610335Sym0 :: TyFun Natural (Min a) -> Type) (a6989586621680610341 :: Natural) = ToEnum_6989586621680610335 a6989586621680610341 :: Min a

type Apply (ToEnum_6989586621680612205Sym0 :: TyFun Natural (WrappedMonoid a) -> Type) (a6989586621680612211 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ToEnum_6989586621680612205Sym0 :: TyFun Natural (WrappedMonoid a) -> Type) (a6989586621680612211 :: Natural) = ToEnum_6989586621680612205 a6989586621680612211 :: WrappedMonoid a

type Apply (FromInteger_6989586621679638138Sym0 :: TyFun Natural (Product a) -> Type) (a6989586621679638142 :: Natural)

Defined in Data.Semigroup.Singletons.Internal

type Apply (FromInteger_6989586621679638138Sym0 :: TyFun Natural (Product a) -> Type) (a6989586621679638142 :: Natural) = FromInteger_6989586621679638138 a6989586621679638142 :: Product a

type Apply (FromInteger_6989586621679638009Sym0 :: TyFun Natural (Sum a) -> Type) (a6989586621679638013 :: Natural)

Defined in Data.Semigroup.Singletons.Internal

type Apply (FromInteger_6989586621679638009Sym0 :: TyFun Natural (Sum a) -> Type) (a6989586621679638013 :: Natural) = FromInteger_6989586621679638009 a6989586621679638013 :: Sum a

type Apply (EftNatSym1 a6989586621679533664 :: TyFun Natural [Natural] -> Type) (a6989586621679533665 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply (EftNatSym1 a6989586621679533664 :: TyFun Natural [Natural] -> Type) (a6989586621679533665 :: Natural) = EftNat a6989586621679533664 a6989586621679533665

type Apply (EnumFromTo_6989586621679533787Sym1 a6989586621679533796 :: TyFun Natural [Natural] -> Type) (a6989586621679533797 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply (EnumFromTo_6989586621679533787Sym1 a6989586621679533796 :: TyFun Natural [Natural] -> Type) (a6989586621679533797 :: Natural) = EnumFromTo_6989586621679533787 a6989586621679533796 a6989586621679533797

type Apply (EfdtNatDnSym2 a6989586621679533572 a6989586621679533573 :: TyFun Natural [Natural] -> Type) (a6989586621679533574 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply (EfdtNatDnSym2 a6989586621679533572 a6989586621679533573 :: TyFun Natural [Natural] -> Type) (a6989586621679533574 :: Natural) = EfdtNatDn a6989586621679533572 a6989586621679533573 a6989586621679533574

type Apply (EfdtNatSym2 a6989586621679533646 a6989586621679533647 :: TyFun Natural [Natural] -> Type) (a6989586621679533648 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply (EfdtNatSym2 a6989586621679533646 a6989586621679533647 :: TyFun Natural [Natural] -> Type) (a6989586621679533648 :: Natural) = EfdtNat a6989586621679533646 a6989586621679533647 a6989586621679533648

type Apply (EfdtNatUpSym2 a6989586621679533609 a6989586621679533610 :: TyFun Natural [Natural] -> Type) (a6989586621679533611 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply (EfdtNatUpSym2 a6989586621679533609 a6989586621679533610 :: TyFun Natural [Natural] -> Type) (a6989586621679533611 :: Natural) = EfdtNatUp a6989586621679533609 a6989586621679533610 a6989586621679533611

type Apply (EnumFromThenTo_6989586621679533803Sym2 a6989586621679533815 a6989586621679533816 :: TyFun Natural [Natural] -> Type) (a6989586621679533817 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply (EnumFromThenTo_6989586621679533803Sym2 a6989586621679533815 a6989586621679533816 :: TyFun Natural [Natural] -> Type) (a6989586621679533817 :: Natural) = EnumFromThenTo_6989586621679533803 a6989586621679533815 a6989586621679533816 a6989586621679533817

type Apply (Let6989586621680923429LoopSym2 cnt06989586621680923427 f6989586621680923428 :: TyFun Natural (m ()) -> Type) (a6989586621680923430 :: Natural)

Defined in Control.Monad.Singletons

type Apply (Let6989586621680923429LoopSym2 cnt06989586621680923427 f6989586621680923428 :: TyFun Natural (m ()) -> Type) (a6989586621680923430 :: Natural) = Let6989586621680923429Loop cnt06989586621680923427 f6989586621680923428 a6989586621680923430

type Apply (Let6989586621680923447LoopSym2 cnt06989586621680923445 f6989586621680923446 :: TyFun Natural (m [a]) -> Type) (a6989586621680923448 :: Natural)

Defined in Control.Monad.Singletons

type Apply (Let6989586621680923447LoopSym2 cnt06989586621680923445 f6989586621680923446 :: TyFun Natural (m [a]) -> Type) (a6989586621680923448 :: Natural) = Let6989586621680923447Loop cnt06989586621680923445 f6989586621680923446 a6989586621680923448

type Apply ShowsPrec_6989586621680588986Sym0 (a6989586621680588994 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply ShowsPrec_6989586621680588986Sym0 (a6989586621680588994 :: Natural) = ShowsPrec_6989586621680588986Sym1 a6989586621680588994

type Apply ShowsPrec_6989586621680589010Sym0 (a6989586621680589018 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply ShowsPrec_6989586621680589010Sym0 (a6989586621680589018 :: Natural) = ShowsPrec_6989586621680589010Sym1 a6989586621680589018

type Apply ShowsPrec_6989586621680091185Sym0 (a6989586621680091193 :: Natural)

Defined in Text.Show.Singletons

type Apply ShowsPrec_6989586621680091185Sym0 (a6989586621680091193 :: Natural) = ShowsPrec_6989586621680091185Sym1 a6989586621680091193

type Apply ShowsPrec_6989586621679161580Sym0 (a6989586621679161596 :: Natural)

Defined in Language.Fortran.Repr.Type.Scalar.Int

type Apply ShowsPrec_6989586621679161580Sym0 (a6989586621679161596 :: Natural) = ShowsPrec_6989586621679161580Sym1 a6989586621679161596

type Apply ShowsPrec_6989586621679101166Sym0 (a6989586621679101176 :: Natural)

Defined in Language.Fortran.Repr.Type.Scalar.Real

type Apply ShowsPrec_6989586621679101166Sym0 (a6989586621679101176 :: Natural) = ShowsPrec_6989586621679101166Sym1 a6989586621679101176

type Apply ShowsPrec_6989586621680091157Sym0 (a6989586621680091169 :: Natural)

Defined in Text.Show.Singletons

type Apply ShowsPrec_6989586621680091157Sym0 (a6989586621680091169 :: Natural) = ShowsPrec_6989586621680091157Sym1 a6989586621680091169

type Apply EfdtNatDnSym0 (a6989586621679533572 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply EfdtNatDnSym0 (a6989586621679533572 :: Natural) = EfdtNatDnSym1 a6989586621679533572

type Apply EfdtNatSym0 (a6989586621679533646 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply EfdtNatSym0 (a6989586621679533646 :: Natural) = EfdtNatSym1 a6989586621679533646

type Apply EfdtNatUpSym0 (a6989586621679533609 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply EfdtNatUpSym0 (a6989586621679533609 :: Natural) = EfdtNatUpSym1 a6989586621679533609

type Apply EnumFromThenTo_6989586621679533803Sym0 (a6989586621679533815 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply EnumFromThenTo_6989586621679533803Sym0 (a6989586621679533815 :: Natural) = EnumFromThenTo_6989586621679533803Sym1 a6989586621679533815

type Apply DivSym0 (a6989586621679492165 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply ModSym0 (a6989586621679492607 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply QuotSym0 (a6989586621679493204 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply RemSym0 (a6989586621679493193 :: Natural)

Defined in GHC.TypeLits.Singletons

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

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

Defined in GHC.TypeLits.Singletons.Internal

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

type Apply DivModSym0 (a6989586621679493222 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply QuotRemSym0 (a6989586621679493215 :: Natural)

Defined in GHC.TypeLits.Singletons

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

type Apply EftNatSym0 (a6989586621679533664 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply EftNatSym0 (a6989586621679533664 :: Natural) = EftNatSym1 a6989586621679533664

type Apply EnumFromTo_6989586621679533787Sym0 (a6989586621679533796 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply EnumFromTo_6989586621679533787Sym0 (a6989586621679533796 :: Natural) = EnumFromTo_6989586621679533787Sym1 a6989586621679533796

type Apply ShowsPrec_6989586621680090995Sym0 (a6989586621680091003 :: Natural)

Defined in Text.Show.Singletons

type Apply ShowsPrec_6989586621680090995Sym0 (a6989586621680091003 :: Natural) = ShowsPrec_6989586621680090995Sym1 a6989586621680091003

type Apply ShowsPrec_6989586621680091135Sym0 (a6989586621680091145 :: Natural)

Defined in Text.Show.Singletons

type Apply ShowsPrec_6989586621680091135Sym0 (a6989586621680091145 :: Natural) = ShowsPrec_6989586621680091135Sym1 a6989586621680091145

type Apply ShowsCharPrecSym0 (a6989586621680083126 :: Natural)

Defined in Text.Show.Singletons

type Apply ShowsCharPrecSym0 (a6989586621680083126 :: Natural) = ShowsCharPrecSym1 a6989586621680083126

type Apply ShowsNatSym0 (a6989586621680081241 :: Natural)

Defined in Text.Show.Singletons

type Apply ShowsNatSym0 (a6989586621680081241 :: Natural) = ShowsNatSym1 a6989586621680081241

type Apply (ShowsPrec_6989586621680405453Sym0 :: TyFun Natural (Identity a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680405461 :: Natural)

Defined in Data.Functor.Identity.Singletons

type Apply (ShowsPrec_6989586621680405453Sym0 :: TyFun Natural (Identity a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680405461 :: Natural) = ShowsPrec_6989586621680405453Sym1 a6989586621680405461 :: TyFun (Identity a) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680139176Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680139184 :: Natural)

Defined in Data.Monoid.Singletons

type Apply (ShowsPrec_6989586621680139176Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680139184 :: Natural) = ShowsPrec_6989586621680139176Sym1 a6989586621680139184 :: TyFun (First a) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680139214Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680139222 :: Natural)

Defined in Data.Monoid.Singletons

type Apply (ShowsPrec_6989586621680139214Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680139222 :: Natural) = ShowsPrec_6989586621680139214Sym1 a6989586621680139222 :: TyFun (Last a) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680589145Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589153 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680589145Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589153 :: Natural) = ShowsPrec_6989586621680589145Sym1 a6989586621680589153 :: TyFun (First a) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680589172Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589180 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680589172Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589180 :: Natural) = ShowsPrec_6989586621680589172Sym1 a6989586621680589180 :: TyFun (Last a) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680589118Sym0 :: TyFun Natural (Max a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589126 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680589118Sym0 :: TyFun Natural (Max a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589126 :: Natural) = ShowsPrec_6989586621680589118Sym1 a6989586621680589126 :: TyFun (Max a) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680589091Sym0 :: TyFun Natural (Min a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589099 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680589091Sym0 :: TyFun Natural (Min a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589099 :: Natural) = ShowsPrec_6989586621680589091Sym1 a6989586621680589099 :: TyFun (Min a) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680589199Sym0 :: TyFun Natural (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589207 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680589199Sym0 :: TyFun Natural (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589207 :: Natural) = ShowsPrec_6989586621680589199Sym1 a6989586621680589207 :: TyFun (WrappedMonoid m) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680588962Sym0 :: TyFun Natural (Dual a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680588970 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680588962Sym0 :: TyFun Natural (Dual a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680588970 :: Natural) = ShowsPrec_6989586621680588962Sym1 a6989586621680588970 :: TyFun (Dual a) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680589064Sym0 :: TyFun Natural (Product a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589072 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680589064Sym0 :: TyFun Natural (Product a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589072 :: Natural) = ShowsPrec_6989586621680589064Sym1 a6989586621680589072 :: TyFun (Product a) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680589037Sym0 :: TyFun Natural (Sum a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589045 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680589037Sym0 :: TyFun Natural (Sum a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680589045 :: Natural) = ShowsPrec_6989586621680589037Sym1 a6989586621680589045 :: TyFun (Sum a) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680091111Sym0 :: TyFun Natural (NonEmpty a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680091119 :: Natural)

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680091111Sym0 :: TyFun Natural (NonEmpty a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680091119 :: Natural) = ShowsPrec_6989586621680091111Sym1 a6989586621680091119 :: TyFun (NonEmpty a) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680091025Sym0 :: TyFun Natural (Maybe a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680091035 :: Natural)

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680091025Sym0 :: TyFun Natural (Maybe a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680091035 :: Natural) = ShowsPrec_6989586621680091025Sym1 a6989586621680091035 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type

type Apply (EfdtNatDnSym1 a6989586621679533572 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679533573 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply (EfdtNatDnSym1 a6989586621679533572 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679533573 :: Natural) = EfdtNatDnSym2 a6989586621679533572 a6989586621679533573

type Apply (EfdtNatSym1 a6989586621679533646 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679533647 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply (EfdtNatSym1 a6989586621679533646 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679533647 :: Natural) = EfdtNatSym2 a6989586621679533646 a6989586621679533647

type Apply (EfdtNatUpSym1 a6989586621679533609 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679533610 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply (EfdtNatUpSym1 a6989586621679533609 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679533610 :: Natural) = EfdtNatUpSym2 a6989586621679533609 a6989586621679533610

type Apply (EnumFromThenTo_6989586621679533803Sym1 a6989586621679533815 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679533816 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply (EnumFromThenTo_6989586621679533803Sym1 a6989586621679533815 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679533816 :: Natural) = EnumFromThenTo_6989586621679533803Sym2 a6989586621679533815 a6989586621679533816

type Apply (ShowsPrec_6989586621680059139Sym0 :: TyFun Natural ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059149 :: Natural)

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680059139Sym0 :: TyFun Natural ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059149 :: Natural) = ShowsPrec_6989586621680059139Sym1 a6989586621680059149 :: TyFun [a] (Symbol ~> Symbol) -> Type

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

Defined in Data.List.Singletons.Internal

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

type Apply (ListsplitAtSym0 :: TyFun Natural ([a] ~> ([a], [a])) -> Type) (a6989586621680037049 :: Natural)

Defined in Data.List.Singletons.Internal.Disambiguation

type Apply (ListsplitAtSym0 :: TyFun Natural ([a] ~> ([a], [a])) -> Type) (a6989586621680037049 :: Natural) = ListsplitAtSym1 a6989586621680037049 :: TyFun [a] ([a], [a]) -> Type

type Apply (DropSym0 :: TyFun Natural ([a] ~> [a]) -> Type) (a6989586621679733100 :: Natural)

Defined in Data.List.Singletons.Internal

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

type Apply (TakeSym0 :: TyFun Natural ([a] ~> [a]) -> Type) (a6989586621679733113 :: Natural)

Defined in Data.List.Singletons.Internal

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

type Apply (ListdropSym0 :: TyFun Natural ([a] ~> [a]) -> Type) (a6989586621680037060 :: Natural)

Defined in Data.List.Singletons.Internal.Disambiguation

type Apply (ListdropSym0 :: TyFun Natural ([a] ~> [a]) -> Type) (a6989586621680037060 :: Natural) = ListdropSym1 a6989586621680037060 :: TyFun [a] [a] -> Type

type Apply (ListtakeSym0 :: TyFun Natural ([a] ~> [a]) -> Type) (a6989586621680037071 :: Natural)

Defined in Data.List.Singletons.Internal.Disambiguation

type Apply (ListtakeSym0 :: TyFun Natural ([a] ~> [a]) -> Type) (a6989586621680037071 :: Natural) = ListtakeSym1 a6989586621680037071 :: TyFun [a] [a] -> Type

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

Defined in Text.Show.Singletons

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

type Apply (ShowsPrec_6989586621680059107Sym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059113 :: Natural)

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680059107Sym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059113 :: Natural) = ShowsPrec_6989586621680059107Sym1 a6989586621680059113 :: TyFun a (Symbol ~> Symbol) -> Type

type Apply (ReplicateSym0 :: TyFun Natural (a ~> [a]) -> Type) (a6989586621679732958 :: Natural)

Defined in Data.List.Singletons.Internal

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

type Apply (DivModSym1 a6989586621679493222 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679493223 :: Natural)

Defined in GHC.TypeLits.Singletons

type Apply (DivModSym1 a6989586621679493222 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679493223 :: Natural) = DivMod a6989586621679493222 a6989586621679493223

type Apply (QuotRemSym1 a6989586621679493215 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679493216 :: Natural)

Defined in GHC.TypeLits.Singletons

type Apply (QuotRemSym1 a6989586621679493215 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679493216 :: Natural) = QuotRem a6989586621679493215 a6989586621679493216

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

Defined in Data.List.Singletons.Internal

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

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

Defined in Data.List.Singletons.Internal

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

type Apply (ToEnum_6989586621680185415Sym0 :: TyFun Natural (Proxy s) -> Type) (a6989586621680185419 :: Natural)

Defined in Data.Proxy.Singletons

type Apply (ToEnum_6989586621680185415Sym0 :: TyFun Natural (Proxy s) -> Type) (a6989586621680185419 :: Natural) = ToEnum_6989586621680185415 a6989586621680185419 :: Proxy s

type Apply (ShowsPrec_6989586621680091075Sym0 :: TyFun Natural (Either a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680091085 :: Natural)

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680091075Sym0 :: TyFun Natural (Either a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680091085 :: Natural) = ShowsPrec_6989586621680091075Sym1 a6989586621680091085 :: TyFun (Either a b) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680185339Sym0 :: TyFun Natural (Proxy s ~> (Symbol ~> Symbol)) -> Type) (a6989586621680185347 :: Natural)

Defined in Data.Proxy.Singletons

type Apply (ShowsPrec_6989586621680185339Sym0 :: TyFun Natural (Proxy s ~> (Symbol ~> Symbol)) -> Type) (a6989586621680185347 :: Natural) = ShowsPrec_6989586621680185339Sym1 a6989586621680185347 :: TyFun (Proxy s) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680611696Sym0 :: TyFun Natural (Arg a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680611704 :: Natural)

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680611696Sym0 :: TyFun Natural (Arg a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680611704 :: Natural) = ShowsPrec_6989586621680611696Sym1 a6989586621680611704 :: TyFun (Arg a b) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680059157Sym0 :: TyFun Natural ((a, b) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059163 :: Natural)

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680059157Sym0 :: TyFun Natural ((a, b) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059163 :: Natural) = ShowsPrec_6989586621680059157Sym1 a6989586621680059163 :: TyFun (a, b) (Symbol ~> Symbol) -> Type

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

Defined in Control.Monad.Singletons

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

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

Defined in Control.Monad.Singletons

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

type Apply (ShowsPrec_6989586621680441059Sym0 :: TyFun Natural (Const a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680441067 :: Natural)

Defined in Data.Functor.Const.Singletons

type Apply (ShowsPrec_6989586621680441059Sym0 :: TyFun Natural (Const a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680441067 :: Natural) = ShowsPrec_6989586621680441059Sym1 a6989586621680441067 :: TyFun (Const a b) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680059172Sym0 :: TyFun Natural ((a, b, c) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059178 :: Natural)

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680059172Sym0 :: TyFun Natural ((a, b, c) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059178 :: Natural) = ShowsPrec_6989586621680059172Sym1 a6989586621680059178 :: TyFun (a, b, c) (Symbol ~> Symbol) -> Type

type Apply (Let6989586621680923429LoopSym0 :: TyFun k (TyFun (m6989586621680923039 a) (TyFun Natural (m6989586621680923039 ()) -> Type) -> Type) -> Type) (cnt06989586621680923427 :: k)

Defined in Control.Monad.Singletons

type Apply (Let6989586621680923429LoopSym0 :: TyFun k (TyFun (m6989586621680923039 a) (TyFun Natural (m6989586621680923039 ()) -> Type) -> Type) -> Type) (cnt06989586621680923427 :: k) = Let6989586621680923429LoopSym1 cnt06989586621680923427 :: TyFun (m6989586621680923039 a) (TyFun Natural (m6989586621680923039 ()) -> Type) -> Type

type Apply (Let6989586621680923447LoopSym0 :: TyFun k (TyFun (m6989586621680923041 a6989586621680923042) (TyFun Natural (m6989586621680923041 [a6989586621680923042]) -> Type) -> Type) -> Type) (cnt06989586621680923445 :: k)

Defined in Control.Monad.Singletons

type Apply (Let6989586621680923447LoopSym0 :: TyFun k (TyFun (m6989586621680923041 a6989586621680923042) (TyFun Natural (m6989586621680923041 [a6989586621680923042]) -> Type) -> Type) -> Type) (cnt06989586621680923445 :: k) = Let6989586621680923447LoopSym1 cnt06989586621680923445 :: TyFun (m6989586621680923041 a6989586621680923042) (TyFun Natural (m6989586621680923041 [a6989586621680923042]) -> Type) -> Type

type Apply (Let6989586621679733277BuildListSym0 :: TyFun k1 (TyFun k2 (TyFun Natural ([b6989586621679729188] ~> [Natural]) -> Type) -> Type) -> Type) (p6989586621679733275 :: k1)

Defined in Data.List.Singletons.Internal

type Apply (Let6989586621679733277BuildListSym0 :: TyFun k1 (TyFun k2 (TyFun Natural ([b6989586621679729188] ~> [Natural]) -> Type) -> Type) -> Type) (p6989586621679733275 :: k1) = Let6989586621679733277BuildListSym1 p6989586621679733275 :: TyFun k2 (TyFun Natural ([b6989586621679729188] ~> [Natural]) -> Type) -> Type

type Apply (ShowsPrec_6989586621680059188Sym0 :: TyFun Natural ((a, b, c, d) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059194 :: Natural)

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680059188Sym0 :: TyFun Natural ((a, b, c, d) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059194 :: Natural) = ShowsPrec_6989586621680059188Sym1 a6989586621680059194 :: TyFun (a, b, c, d) (Symbol ~> Symbol) -> Type

type Apply (Let6989586621679733277BuildListSym1 p6989586621679733275 :: TyFun k1 (TyFun Natural ([b6989586621679729188] ~> [Natural]) -> Type) -> Type) (xs6989586621679733276 :: k1)

Defined in Data.List.Singletons.Internal

type Apply (Let6989586621679733277BuildListSym1 p6989586621679733275 :: TyFun k1 (TyFun Natural ([b6989586621679729188] ~> [Natural]) -> Type) -> Type) (xs6989586621679733276 :: k1) = Let6989586621679733277BuildListSym2 p6989586621679733275 xs6989586621679733276 :: TyFun Natural ([b6989586621679729188] ~> [Natural]) -> Type

type Apply (ShowsPrec_6989586621680059205Sym0 :: TyFun Natural ((a, b, c, d, e) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059211 :: Natural)

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680059205Sym0 :: TyFun Natural ((a, b, c, d, e) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059211 :: Natural) = ShowsPrec_6989586621680059205Sym1 a6989586621680059211 :: TyFun (a, b, c, d, e) (Symbol ~> Symbol) -> Type

type Apply (Let6989586621679733277BuildListSym2 p6989586621679733275 xs6989586621679733276 :: TyFun Natural ([b6989586621679729188] ~> [Natural]) -> Type) (a6989586621679733278 :: Natural)

Defined in Data.List.Singletons.Internal

type Apply (Let6989586621679733277BuildListSym2 p6989586621679733275 xs6989586621679733276 :: TyFun Natural ([b6989586621679729188] ~> [Natural]) -> Type) (a6989586621679733278 :: Natural) = Let6989586621679733277BuildListSym3 p6989586621679733275 xs6989586621679733276 a6989586621679733278 :: TyFun [b6989586621679729188] [Natural] -> Type

type Apply (ShowsPrec_6989586621680059223Sym0 :: TyFun Natural ((a, b, c, d, e, f) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059229 :: Natural)

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680059223Sym0 :: TyFun Natural ((a, b, c, d, e, f) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059229 :: Natural) = ShowsPrec_6989586621680059223Sym1 a6989586621680059229 :: TyFun (a, b, c, d, e, f) (Symbol ~> Symbol) -> Type

type Apply (ShowsPrec_6989586621680059242Sym0 :: TyFun Natural ((a, b, c, d, e, f, g) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059248 :: Natural)

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680059242Sym0 :: TyFun Natural ((a, b, c, d, e, f, g) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680059248 :: Natural) = ShowsPrec_6989586621680059242Sym1 a6989586621680059248 :: TyFun (a, b, c, d, e, f, g) (Symbol ~> Symbol) -> Type

type Apply (FromInteger_6989586621680441039Sym0 :: TyFun Natural (Const a b) -> Type) (a6989586621680441043 :: Natural)

Defined in Data.Functor.Const.Singletons

type Apply (FromInteger_6989586621680441039Sym0 :: TyFun Natural (Const a b) -> Type) (a6989586621680441043 :: Natural) = FromInteger_6989586621680441039 a6989586621680441043 :: Const a b

type Apply (ToEnum_6989586621680440942Sym0 :: TyFun Natural (Const a b) -> Type) (a6989586621680440946 :: Natural)

Defined in Data.Functor.Const.Singletons

type Apply (ToEnum_6989586621680440942Sym0 :: TyFun Natural (Const a b) -> Type) (a6989586621680440946 :: Natural) = ToEnum_6989586621680440942 a6989586621680440946 :: Const a b

type Apply (FromEnum_6989586621680405226Sym0 :: TyFun (Identity a) Natural -> Type) (a6989586621680405230 :: Identity a)

Defined in Data.Functor.Identity.Singletons

type Apply (FromEnum_6989586621680405226Sym0 :: TyFun (Identity a) Natural -> Type) (a6989586621680405230 :: Identity a) = FromEnum_6989586621680405226 a6989586621680405230

type Apply (Length_6989586621680406779Sym0 :: TyFun (Identity a) Natural -> Type) (a6989586621680406783 :: Identity a)

Defined in Data.Functor.Identity.Singletons

type Apply (Length_6989586621680406779Sym0 :: TyFun (Identity a) Natural -> Type) (a6989586621680406783 :: Identity a) = Length_6989586621680406779 a6989586621680406783

type Apply (FromEnum_6989586621680611837Sym0 :: TyFun (First a) Natural -> Type) (a6989586621680611841 :: First a)

Defined in Data.Semigroup.Singletons

type Apply (FromEnum_6989586621680611837Sym0 :: TyFun (First a) Natural -> Type) (a6989586621680611841 :: First a) = FromEnum_6989586621680611837 a6989586621680611841

type Apply (FromEnum_6989586621680612045Sym0 :: TyFun (Last a) Natural -> Type) (a6989586621680612049 :: Last a)

Defined in Data.Semigroup.Singletons

type Apply (FromEnum_6989586621680612045Sym0 :: TyFun (Last a) Natural -> Type) (a6989586621680612049 :: Last a) = FromEnum_6989586621680612045 a6989586621680612049

type Apply (FromEnum_6989586621680611313Sym0 :: TyFun (Max a) Natural -> Type) (a6989586621680611317 :: Max a)

Defined in Data.Semigroup.Singletons

type Apply (FromEnum_6989586621680611313Sym0 :: TyFun (Max a) Natural -> Type) (a6989586621680611317 :: Max a) = FromEnum_6989586621680611313 a6989586621680611317

type Apply (FromEnum_6989586621680610344Sym0 :: TyFun (Min a) Natural -> Type) (a6989586621680610348 :: Min a)

Defined in Data.Semigroup.Singletons

type Apply (FromEnum_6989586621680610344Sym0 :: TyFun (Min a) Natural -> Type) (a6989586621680610348 :: Min a) = FromEnum_6989586621680610344 a6989586621680610348

type Apply (FromEnum_6989586621680612214Sym0 :: TyFun (WrappedMonoid a) Natural -> Type) (a6989586621680612218 :: WrappedMonoid a)

Defined in Data.Semigroup.Singletons

type Apply (FromEnum_6989586621680612214Sym0 :: TyFun (WrappedMonoid a) Natural -> Type) (a6989586621680612218 :: WrappedMonoid a) = FromEnum_6989586621680612214 a6989586621680612218

type Apply (Length_6989586621680215193Sym0 :: TyFun (Dual a) Natural -> Type) (a6989586621680215197 :: Dual a)

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680215193Sym0 :: TyFun (Dual a) Natural -> Type) (a6989586621680215197 :: Dual a) = Length_6989586621680215193 a6989586621680215197

type Apply (Length_6989586621680215543Sym0 :: TyFun (Product a) Natural -> Type) (a6989586621680215547 :: Product a)

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680215543Sym0 :: TyFun (Product a) Natural -> Type) (a6989586621680215547 :: Product a) = Length_6989586621680215543 a6989586621680215547

type Apply (Length_6989586621680215368Sym0 :: TyFun (Sum a) Natural -> Type) (a6989586621680215372 :: Sum a)

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680215368Sym0 :: TyFun (Sum a) Natural -> Type) (a6989586621680215372 :: Sum a) = Length_6989586621680215368 a6989586621680215372

type Apply (Length_6989586621680214784Sym0 :: TyFun [a] Natural -> Type) (a6989586621680214790 :: [a])

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680214784Sym0 :: TyFun [a] Natural -> Type) (a6989586621680214790 :: [a]) = Length_6989586621680214784 a6989586621680214790

type Apply (LengthSym0 :: TyFun [a] Natural -> Type) (a6989586621679732969 :: [a])

Defined in Data.List.Singletons.Internal

type Apply (LengthSym0 :: TyFun [a] Natural -> Type) (a6989586621679732969 :: [a]) = Length a6989586621679732969

type Apply (ListlengthSym0 :: TyFun [a] Natural -> Type) (a6989586621680037029 :: [a])

Defined in Data.List.Singletons.Internal.Disambiguation

type Apply (ListlengthSym0 :: TyFun [a] Natural -> Type) (a6989586621680037029 :: [a]) = Listlength a6989586621680037029

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

Defined in Data.Foldable.Singletons

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

type Apply (Length_6989586621680214548Sym0 :: TyFun (t a) Natural -> Type) (a6989586621680214554 :: t a)

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680214548Sym0 :: TyFun (t a) Natural -> Type) (a6989586621680214554 :: t a) = Length_6989586621680214548 a6989586621680214554

type Apply (ElemIndexSym1 a6989586621679733314 :: TyFun [a] (Maybe Natural) -> Type) (a6989586621679733315 :: [a])

Defined in Data.List.Singletons.Internal

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

type Apply (FindIndexSym1 a6989586621679733296 :: TyFun [a] (Maybe Natural) -> Type) (a6989586621679733297 :: [a])

Defined in Data.List.Singletons.Internal

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

type Apply (ElemIndicesSym1 a6989586621679733305 :: TyFun [a] [Natural] -> Type) (a6989586621679733306 :: [a])

Defined in Data.List.Singletons.Internal

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

type Apply (FindIndicesSym1 a6989586621679733273 :: TyFun [a] [Natural] -> Type) (a6989586621679733274 :: [a])

Defined in Data.List.Singletons.Internal

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

type Apply (Let6989586621679733277BuildListSym3 p6989586621679733275 xs6989586621679733276 a6989586621679733278 :: TyFun [b] [Natural] -> Type) (a6989586621679733279 :: [b])

Defined in Data.List.Singletons.Internal

type Apply (Let6989586621679733277BuildListSym3 p6989586621679733275 xs6989586621679733276 a6989586621679733278 :: TyFun [b] [Natural] -> Type) (a6989586621679733279 :: [b]) = Let6989586621679733277BuildList p6989586621679733275 xs6989586621679733276 a6989586621679733278 a6989586621679733279

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

Defined in Data.List.Singletons.Internal

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

type Apply (ListindexSym0 :: TyFun [a] (Natural ~> a) -> Type) (a6989586621680037038 :: [a])

Defined in Data.List.Singletons.Internal.Disambiguation

type Apply (ListindexSym0 :: TyFun [a] (Natural ~> a) -> Type) (a6989586621680037038 :: [a]) = ListindexSym1 a6989586621680037038

type Apply (Let6989586621680923429LoopSym1 cnt06989586621680923427 :: TyFun (m6989586621680923039 a) (TyFun Natural (m6989586621680923039 ()) -> Type) -> Type) (f6989586621680923428 :: m6989586621680923039 a)

Defined in Control.Monad.Singletons

type Apply (Let6989586621680923429LoopSym1 cnt06989586621680923427 :: TyFun (m6989586621680923039 a) (TyFun Natural (m6989586621680923039 ()) -> Type) -> Type) (f6989586621680923428 :: m6989586621680923039 a) = Let6989586621680923429LoopSym2 cnt06989586621680923427 f6989586621680923428

type Apply (Let6989586621680923447LoopSym1 cnt06989586621680923445 :: TyFun (m6989586621680923041 a6989586621680923042) (TyFun Natural (m6989586621680923041 [a6989586621680923042]) -> Type) -> Type) (f6989586621680923446 :: m6989586621680923041 a6989586621680923042)

Defined in Control.Monad.Singletons

type Apply (Let6989586621680923447LoopSym1 cnt06989586621680923445 :: TyFun (m6989586621680923041 a6989586621680923042) (TyFun Natural (m6989586621680923041 [a6989586621680923042]) -> Type) -> Type) (f6989586621680923446 :: m6989586621680923041 a6989586621680923042) = Let6989586621680923447LoopSym2 cnt06989586621680923445 f6989586621680923446

type Apply (Length_6989586621680214966Sym0 :: TyFun (Either a1 a2) Natural -> Type) (a6989586621680214970 :: Either a1 a2)

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680214966Sym0 :: TyFun (Either a1 a2) Natural -> Type) (a6989586621680214970 :: Either a1 a2) = Length_6989586621680214966 a6989586621680214970

type Apply (Length_6989586621680215040Sym0 :: TyFun (Proxy a) Natural -> Type) (a6989586621680215044 :: Proxy a)

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680215040Sym0 :: TyFun (Proxy a) Natural -> Type) (a6989586621680215044 :: Proxy a) = Length_6989586621680215040 a6989586621680215044

type Apply (FromEnum_6989586621680185409Sym0 :: TyFun (Proxy s) Natural -> Type) (a6989586621680185413 :: Proxy s)

Defined in Data.Proxy.Singletons

type Apply (FromEnum_6989586621680185409Sym0 :: TyFun (Proxy s) Natural -> Type) (a6989586621680185413 :: Proxy s) = FromEnum_6989586621680185409 a6989586621680185413

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

Defined in Data.List.Singletons.Internal

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

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

Defined in Data.List.Singletons.Internal

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

type Apply (FromEnum_6989586621680440949Sym0 :: TyFun (Const a b) Natural -> Type) (a6989586621680440953 :: Const a b)

Defined in Data.Functor.Const.Singletons

type Apply (FromEnum_6989586621680440949Sym0 :: TyFun (Const a b) Natural -> Type) (a6989586621680440953 :: Const a b) = FromEnum_6989586621680440949 a6989586621680440953

type NaturalK = Natural