fortran-src-0.16.5: Parsers and analyses for Fortran standards 66, 77, 90, 95 and 2003 (partial).
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Fortran.Repr.Compat.Natural

Description

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.

Synopsis

Documentation

data Natural #

Natural number

Invariant: numbers <= 0xffffffffffffffff use the NS constructor

Instances

Instances details
Out Natural Source # 
Instance details

Defined in Text.PrettyPrint.GenericPretty.Orphans

Methods

docPrec :: Int -> Natural -> Doc #

doc :: Natural -> Doc #

docList :: [Natural] -> Doc #

Data Natural

Since: base-4.8.0.0

Instance details

Defined in Data.Data

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> 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

Instance details

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

Instance details

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

Instance details

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

Instance details

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

Instance details

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

Instance details

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

Instance details

Defined in GHC.Real

Methods

toRational :: Natural -> Rational #

Show Natural

Since: base-4.8.0.0

Instance details

Defined in GHC.Show

Methods

showsPrec :: Int -> Natural -> ShowS #

show :: Natural -> String #

showList :: [Natural] -> ShowS #

PrintfArg Natural

Since: base-4.8.0.0

Instance details

Defined in Text.Printf

Methods

formatArg :: Natural -> FieldFormatter #

parseFormat :: Natural -> ModifierParser #

Binary Natural

Since: binary-0.7.3.0

Instance details

Defined in Data.Binary.Class

Methods

put :: Natural -> Put #

get :: Get Natural #

putList :: [Natural] -> Put #

NFData Natural

Since: deepseq-1.4.0.0

Instance details

Defined in Control.DeepSeq

Methods

rnf :: Natural -> () #

Eq Natural 
Instance details

Defined in GHC.Num.Natural

Methods

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

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

Ord Natural 
Instance details

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 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Natural -> Int #

hash :: Natural -> Int #

UniformRange Natural 
Instance details

Defined in System.Random.Internal

Methods

uniformRM :: StatefulGen g m => (Natural, Natural) -> g -> m Natural #

isInRange :: (Natural, Natural) -> Natural -> Bool #

PEnum Natural 
Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (a :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Succ (a :: Natural) = Apply Succ_6989586621679610474Sym0 a
type Pred (a :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Pred (a :: Natural) = Apply Pred_6989586621679610481Sym0 a
type ToEnum a 
Instance details

Defined in Data.Singletons.Base.Enum

type ToEnum a = Apply ToEnum_6989586621679610488Sym0 a
type FromEnum (a :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type FromEnum (a :: Natural) = Apply FromEnum_6989586621679610495Sym0 a
type EnumFromTo (a1 :: Natural) (a2 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type EnumFromTo (a1 :: Natural) (a2 :: Natural) = Apply (Apply EnumFromTo_6989586621679610503Sym0 a1) a2
type EnumFromThenTo (a1 :: Natural) (a2 :: Natural) (a3 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type EnumFromThenTo (a1 :: Natural) (a2 :: Natural) (a3 :: Natural) = Apply (Apply (Apply EnumFromThenTo_6989586621679610519Sym0 a1) a2) a3
SEnum Natural 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

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

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

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

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

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

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

PShow Natural 
Instance details

Defined in Text.Show.Singletons

Associated Types

type ShowsPrec _1 (n :: Natural) x 
Instance details

Defined in Text.Show.Singletons

type ShowsPrec _1 (n :: Natural) x = ShowsNat n x
type Show_ (arg :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Show_ (arg :: Natural) = Apply (Show__6989586621680212330Sym0 :: TyFun Natural Symbol -> Type) arg
type ShowList (arg1 :: [Natural]) arg2 
Instance details

Defined in Text.Show.Singletons

type ShowList (arg1 :: [Natural]) arg2 = Apply (Apply (ShowList_6989586621680212338Sym0 :: TyFun [Natural] (Symbol ~> Symbol) -> Type) arg1) arg2
SShow Natural 
Instance details

Defined in Text.Show.Singletons

Methods

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

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

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

KnownNat n => HasResolution (n :: Nat)

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

Instance details

Defined in Data.Fixed

Methods

resolution :: p n -> Integer #

TestCoercion SNat

Since: base-4.18.0.0

Instance details

Defined in GHC.TypeNats

Methods

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

TestEquality SNat

Since: base-4.18.0.0

Instance details

Defined in GHC.TypeNats

Methods

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

Lift Natural 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

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

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

SingI2 EfdtNatDnSym2 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

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

SingI2 EfdtNatSym2 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

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

SingI2 EfdtNatUpSym2 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

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

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

Defined in Text.Show.Singletons

Methods

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

SingI1 EfdtNatDnSym1 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

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

SingI1 EfdtNatSym1 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

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

SingI1 EfdtNatUpSym1 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

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

SingI1 EftNatSym1 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

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

SingI1 DivSym1 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

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

SingI1 ModSym1 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

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

SingI1 (^@#@$$) 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.Singletons.Base.Enum

Methods

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

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

Defined in Data.Singletons.Base.Enum

Methods

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

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

Defined in Data.Singletons.Base.Enum

Methods

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

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

Defined in Text.Show.Singletons

Methods

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

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in Control.Monad.Singletons

Methods

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

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

Defined in Control.Monad.Singletons

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

SingI EfdtNatDnSym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing EfdtNatDnSym0 #

SingI EfdtNatSym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing EfdtNatSym0 #

SingI EfdtNatUpSym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing EfdtNatUpSym0 #

SingI EftNatSym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing EftNatSym0 #

SingI DivSym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing DivSym0 #

SingI ModSym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing ModSym0 #

SingI (^@#@$) 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

SingI Log2Sym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing Log2Sym0 #

SingI NatToCharSym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing NatToCharSym0 #

SingI CharToNatSym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing CharToNatSym0 #

SuppressUnusedWarnings KnownNatSym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings FromEnum_6989586621679638224Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ToEnum_6989586621679638208Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ShowsPrec_6989586621680870199Sym0 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ShowsPrec_6989586621680870220Sym0 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ShowsPrec_6989586621680242786Sym0 
Instance details

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ShowsPrec_6989586621680242761Sym0 
Instance details

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings EfdtNatDnSym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings EfdtNatSym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings EfdtNatUpSym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings EnumFromThenTo_6989586621679610519Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings DivSym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ModSym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings QuotSym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings RemSym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (^@#@$) 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings DivModSym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings QuotRemSym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings EftNatSym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings EnumFromTo_6989586621679610503Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ShowsPrec_6989586621680242615Sym0 
Instance details

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ShowsPrec_6989586621680242741Sym0 
Instance details

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ShowsCharPrecSym0 
Instance details

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ShowsNatSym0 
Instance details

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings FromEnum_6989586621679610495Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings Pred_6989586621679610481Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings Succ_6989586621679610474Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ToEnum_6989586621679610488Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings Log2Sym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ToEnum_6989586621679638231Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ToEnum_6989586621679638188Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ToEnum_6989586621679610538Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings NatToCharSym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings FromEnum_6989586621679638241Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings FromEnum_6989586621679638201Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings FromEnum_6989586621679610547Sym0 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings CharToNatSym0 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EfdtNatDnSym1 d) #

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EfdtNatSym1 d) #

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EfdtNatUpSym1 d) #

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

Defined in Text.Show.Singletons

Methods

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

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EftNatSym1 d) #

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

Defined in Data.Singletons.Base.Enum

Methods

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

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

Defined in Data.Singletons.Base.Enum

Methods

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

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

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

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing (DivSym1 x) #

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

Defined in GHC.TypeLits.Singletons

Methods

sing :: Sing (ModSym1 x) #

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

SuppressUnusedWarnings (FromEnum_6989586621680647218Sym0 :: TyFun (Identity a) Natural -> Type) 
Instance details

Defined in Data.Functor.Identity.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Length_6989586621680648801Sym0 :: TyFun (Identity a) Natural -> Type) 
Instance details

Defined in Data.Functor.Identity.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (FromEnum_6989586621680889815Sym0 :: TyFun (First a) Natural -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (FromEnum_6989586621680890023Sym0 :: TyFun (Last a) Natural -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (FromEnum_6989586621680889296Sym0 :: TyFun (Max a) Natural -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (FromEnum_6989586621680888348Sym0 :: TyFun (Min a) Natural -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (FromEnum_6989586621680890192Sym0 :: TyFun (WrappedMonoid a) Natural -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Length_6989586621680395427Sym0 :: TyFun (Dual a) Natural -> Type) 
Instance details

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Length_6989586621680395777Sym0 :: TyFun (Product a) Natural -> Type) 
Instance details

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Length_6989586621680395602Sym0 :: TyFun (Sum a) Natural -> Type) 
Instance details

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (FromInteger_6989586621680647427Sym0 :: TyFun Natural (Identity a) -> Type) 
Instance details

Defined in Data.Functor.Identity.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ToEnum_6989586621680647211Sym0 :: TyFun Natural (Identity a) -> Type) 
Instance details

Defined in Data.Functor.Identity.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ToEnum_6989586621680889806Sym0 :: TyFun Natural (First a) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ToEnum_6989586621680890014Sym0 :: TyFun Natural (Last a) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (FromInteger_6989586621680889449Sym0 :: TyFun Natural (Max a) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ToEnum_6989586621680889287Sym0 :: TyFun Natural (Max a) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (FromInteger_6989586621680888684Sym0 :: TyFun Natural (Min a) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ToEnum_6989586621680888339Sym0 :: TyFun Natural (Min a) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ToEnum_6989586621680890183Sym0 :: TyFun Natural (WrappedMonoid a) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680647477Sym0 :: TyFun Natural (Identity a ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Functor.Identity.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680305877Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Monoid.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680305922Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Monoid.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680870340Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680870364Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680870316Sym0 :: TyFun Natural (Max a ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680870292Sym0 :: TyFun Natural (Min a ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680870388Sym0 :: TyFun Natural (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680870178Sym0 :: TyFun Natural (Dual a ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680870268Sym0 :: TyFun Natural (Product a ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680870244Sym0 :: TyFun Natural (Sum a ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680242721Sym0 :: TyFun Natural (NonEmpty a ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680242644Sym0 :: TyFun Natural (Maybe a ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (EfdtNatDnSym1 a6989586621679610288 :: TyFun Natural (Natural ~> [Natural]) -> Type) 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (EfdtNatSym1 a6989586621679610362 :: TyFun Natural (Natural ~> [Natural]) -> Type) 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (EfdtNatUpSym1 a6989586621679610325 :: TyFun Natural (Natural ~> [Natural]) -> Type) 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (EnumFromThenTo_6989586621679610519Sym1 a6989586621679610531 :: TyFun Natural (Natural ~> [Natural]) -> Type) 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680212350Sym0 :: TyFun Natural ([a] ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680212318Sym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (DivSym1 a6989586621679564295 :: TyFun Natural Natural -> Type) 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ModSym1 a6989586621679564731 :: TyFun Natural Natural -> Type) 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (QuotSym1 a6989586621679565336 :: TyFun Natural Natural -> Type) 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (RemSym1 a6989586621679565325 :: TyFun Natural Natural -> Type) 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ((^@#@$$) a6989586621679553326 :: TyFun Natural Natural -> Type) 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (DivModSym1 a6989586621679565354 :: TyFun Natural (Natural, Natural) -> Type) 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (QuotRemSym1 a6989586621679565347 :: TyFun Natural (Natural, Natural) -> Type) 
Instance details

Defined in GHC.TypeLits.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (EftNatSym1 a6989586621679610380 :: TyFun Natural [Natural] -> Type) 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (EnumFromTo_6989586621679610503Sym1 a6989586621679610512 :: TyFun Natural [Natural] -> Type) 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

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

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Length_6989586621680395018Sym0 :: TyFun [a] Natural -> Type) 
Instance details

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

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

Defined in Control.Monad.Singletons

Methods

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

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

Defined in Control.Monad.Singletons

Methods

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

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EfdtNatDnSym2 d1 d2) #

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EfdtNatSym2 d1 d2) #

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EfdtNatUpSym2 d1 d2) #

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

Defined in Data.List.NonEmpty.Singletons

Methods

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

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

Defined in GHC.TypeLits.Singletons.Internal

Methods

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

SuppressUnusedWarnings (Length_6989586621680395200Sym0 :: TyFun (Either a1 a2) Natural -> Type) 
Instance details

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Length_6989586621680395274Sym0 :: TyFun (Proxy a) Natural -> Type) 
Instance details

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (FromEnum_6989586621680360303Sym0 :: TyFun (Proxy s) Natural -> Type) 
Instance details

Defined in Data.Proxy.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ToEnum_6989586621680360309Sym0 :: TyFun Natural (Proxy s) -> Type) 
Instance details

Defined in Data.Proxy.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680242690Sym0 :: TyFun Natural (Either a b ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680360233Sym0 :: TyFun Natural (Proxy s ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Proxy.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680889674Sym0 :: TyFun Natural (Arg a b ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Semigroup.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680212368Sym0 :: TyFun Natural ((a, b) ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (EfdtNatDnSym2 a6989586621679610288 a6989586621679610289 :: TyFun Natural [Natural] -> Type) 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (EfdtNatSym2 a6989586621679610362 a6989586621679610363 :: TyFun Natural [Natural] -> Type) 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (EfdtNatUpSym2 a6989586621679610325 a6989586621679610326 :: TyFun Natural [Natural] -> Type) 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (EnumFromThenTo_6989586621679610519Sym2 a6989586621679610531 a6989586621679610532 :: TyFun Natural [Natural] -> Type) 
Instance details

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings ((!!@#@$$) a6989586621681126560 :: TyFun Natural a -> Type) 
Instance details

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Data.Foldable.Singletons

Methods

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

SuppressUnusedWarnings (FromEnum_6989586621680687143Sym0 :: TyFun (Const a b) Natural -> Type) 
Instance details

Defined in Data.Functor.Const.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (FromInteger_6989586621680687233Sym0 :: TyFun Natural (Const a b) -> Type) 
Instance details

Defined in Data.Functor.Const.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ToEnum_6989586621680687136Sym0 :: TyFun Natural (Const a b) -> Type) 
Instance details

Defined in Data.Functor.Const.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680687253Sym0 :: TyFun Natural (Const a b ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Data.Functor.Const.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (ShowsPrec_6989586621680212383Sym0 :: TyFun Natural ((a, b, c) ~> (Symbol ~> Symbol)) -> Type) 
Instance details

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Let6989586621681302691LoopSym0 :: TyFun (Type -> Type) (TyFun Type (TyFun k (TyFun (m6989586621681302314 a6989586621681302315) (TyFun Natural (m6989586621681302314 [a6989586621681302315]) -> Type) -> Type) -> Type) -> Type) -> Type) 
Instance details

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Length_6989586621680394782Sym0 :: TyFun (t a) Natural -> Type) 
Instance details

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Let6989586621681302673LoopSym0 :: TyFun (Type -> Type) (TyFun k1 (TyFun k2 (TyFun (m6989586621681302312 a) (TyFun Natural (m6989586621681302312 ()) -> Type) -> Type) -> Type) -> Type) -> Type) 
Instance details

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Let6989586621681302691LoopSym1 m2 :: TyFun Type (TyFun k (TyFun (m1 a6989586621681302315) (TyFun Natural (m1 [a6989586621681302315]) -> Type) -> Type) -> Type) -> Type) 
Instance details

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Let6989586621681302691LoopSym4 m6989586621681302314 a6989586621681302315 cnt06989586621681302689 f6989586621681302690 :: TyFun Natural (m6989586621681302314 [a6989586621681302315]) -> Type) 
Instance details

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Let6989586621681302691LoopSym2 m2 a2 :: TyFun k (TyFun (m1 a1) (TyFun Natural (m1 [a1]) -> Type) -> Type) -> Type) 
Instance details

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Let6989586621681302673LoopSym1 m2 :: TyFun k1 (TyFun k2 (TyFun (m1 a) (TyFun Natural (m1 ()) -> Type) -> Type) -> Type) -> Type) 
Instance details

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Let6989586621681302673LoopSym2 m2 a6989586621681302313 :: TyFun k2 (TyFun (m1 a) (TyFun Natural (m1 ()) -> Type) -> Type) -> Type) 
Instance details

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Let6989586621681302691LoopSym3 m2 a2 cnt06989586621681302689 :: TyFun (m1 a1) (TyFun Natural (m1 [a1]) -> Type) -> Type) 
Instance details

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: () #

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

Defined in Text.Show.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Let6989586621681302673LoopSym4 m6989586621681302312 a6989586621681302313 cnt06989586621681302671 f6989586621681302672 :: TyFun Natural (m6989586621681302312 ()) -> Type) 
Instance details

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: () #

SuppressUnusedWarnings (Let6989586621681302673LoopSym3 m2 a6989586621681302313 cnt06989586621681302671 :: TyFun (m1 a) (TyFun Natural (m1 ()) -> Type) -> Type) 
Instance details

Defined in Control.Monad.Singletons

Methods

suppressUnusedWarnings :: () #

type Demote Natural 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

type Demote Natural = Natural
type Sing 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SNat
type FromEnum (a :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type FromEnum (a :: Natural) = Apply FromEnum_6989586621679610495Sym0 a
type Pred (a :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Pred (a :: Natural) = Apply Pred_6989586621679610481Sym0 a
type Succ (a :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Succ (a :: Natural) = Apply Succ_6989586621679610474Sym0 a
type ToEnum a 
Instance details

Defined in Data.Singletons.Base.Enum

type ToEnum a = Apply ToEnum_6989586621679610488Sym0 a
type Show_ (arg :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Show_ (arg :: Natural) = Apply (Show__6989586621680212330Sym0 :: TyFun Natural Symbol -> Type) arg
type Compare (a :: Natural) (b :: Natural) 
Instance details

Defined in Data.Type.Ord

type Compare (a :: Natural) (b :: Natural) = CmpNat a b
type (arg :: Natural) /= (arg1 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

type (arg :: Natural) /= (arg1 :: Natural) = Apply (Apply (TFHelper_6989586621679131771Sym0 :: TyFun Natural (Natural ~> Bool) -> Type) arg) arg1
type (x :: Natural) == (y :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

type (x :: Natural) == (y :: Natural) = DefaultEq x y
type (arg :: Natural) < (arg1 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

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

Defined in GHC.TypeLits.Singletons.Internal

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

Defined in GHC.TypeLits.Singletons.Internal

type (arg :: Natural) > (arg1 :: Natural) = Apply (Apply (TFHelper_6989586621679234367Sym0 :: TyFun Natural (Natural ~> Bool) -> Type) arg) arg1
type (arg :: Natural) >= (arg1 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

type (arg :: Natural) >= (arg1 :: Natural) = Apply (Apply (TFHelper_6989586621679234383Sym0 :: TyFun Natural (Natural ~> Bool) -> Type) arg) arg1
type Compare (a :: Natural) (b :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

type Compare (a :: Natural) (b :: Natural) = CmpNat a b
type Max (arg :: Natural) (arg1 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

type Max (arg :: Natural) (arg1 :: Natural) = Apply (Apply (Max_6989586621679234399Sym0 :: TyFun Natural (Natural ~> Natural) -> Type) arg) arg1
type Min (arg :: Natural) (arg1 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

type Min (arg :: Natural) (arg1 :: Natural) = Apply (Apply (Min_6989586621679234415Sym0 :: TyFun Natural (Natural ~> Natural) -> Type) arg) arg1
type EnumFromTo (a1 :: Natural) (a2 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type EnumFromTo (a1 :: Natural) (a2 :: Natural) = Apply (Apply EnumFromTo_6989586621679610503Sym0 a1) a2
type ShowList (arg1 :: [Natural]) arg2 
Instance details

Defined in Text.Show.Singletons

type ShowList (arg1 :: [Natural]) arg2 = Apply (Apply (ShowList_6989586621680212338Sym0 :: TyFun [Natural] (Symbol ~> Symbol) -> Type) arg1) arg2
type Apply KnownNatSym0 (a6989586621679563428 :: Nat) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply KnownNatSym0 (a6989586621679563428 :: Nat) = KnownNat a6989586621679563428
type Apply FromEnum_6989586621679638224Sym0 (a6989586621679638228 :: Ordering) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply FromEnum_6989586621679638224Sym0 (a6989586621679638228 :: Ordering) = FromEnum_6989586621679638224 a6989586621679638228
type Apply ToEnum_6989586621679638208Sym0 (a6989586621679638212 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply ToEnum_6989586621679638208Sym0 (a6989586621679638212 :: Natural) = ToEnum_6989586621679638208 a6989586621679638212
type Apply FromEnum_6989586621679610495Sym0 (a6989586621679610499 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply FromEnum_6989586621679610495Sym0 (a6989586621679610499 :: Natural) = FromEnum_6989586621679610495 a6989586621679610499
type Apply Pred_6989586621679610481Sym0 (a6989586621679610485 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply Pred_6989586621679610481Sym0 (a6989586621679610485 :: Natural) = Pred_6989586621679610481 a6989586621679610485
type Apply Succ_6989586621679610474Sym0 (a6989586621679610478 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply Succ_6989586621679610474Sym0 (a6989586621679610478 :: Natural) = Succ_6989586621679610474 a6989586621679610478
type Apply ToEnum_6989586621679610488Sym0 (a6989586621679610492 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply ToEnum_6989586621679610488Sym0 (a6989586621679610492 :: Natural) = ToEnum_6989586621679610488 a6989586621679610492
type Apply Log2Sym0 (a6989586621679564072 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply Log2Sym0 (a6989586621679564072 :: Natural) = Log2 a6989586621679564072
type Apply ToEnum_6989586621679638231Sym0 (a6989586621679638235 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply ToEnum_6989586621679638231Sym0 (a6989586621679638235 :: Natural) = ToEnum_6989586621679638231 a6989586621679638235
type Apply ToEnum_6989586621679638188Sym0 (a6989586621679638192 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply ToEnum_6989586621679638188Sym0 (a6989586621679638192 :: Natural) = ToEnum_6989586621679638188 a6989586621679638192
type Apply ToEnum_6989586621679610538Sym0 (a6989586621679610544 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply ToEnum_6989586621679610538Sym0 (a6989586621679610544 :: Natural) = ToEnum_6989586621679610538 a6989586621679610544
type Apply NatToCharSym0 (a6989586621679567583 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply NatToCharSym0 (a6989586621679567583 :: Natural) = NatToChar a6989586621679567583
type Apply FromEnum_6989586621679638241Sym0 (a6989586621679638245 :: ()) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply FromEnum_6989586621679638241Sym0 (a6989586621679638245 :: ()) = FromEnum_6989586621679638241 a6989586621679638245
type Apply FromEnum_6989586621679638201Sym0 (a6989586621679638205 :: Bool) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply FromEnum_6989586621679638201Sym0 (a6989586621679638205 :: Bool) = FromEnum_6989586621679638201 a6989586621679638205
type Apply FromEnum_6989586621679610547Sym0 (a6989586621679610553 :: Char) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply FromEnum_6989586621679610547Sym0 (a6989586621679610553 :: Char) = FromEnum_6989586621679610547 a6989586621679610553
type Apply CharToNatSym0 (a6989586621679567359 :: Char) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply CharToNatSym0 (a6989586621679567359 :: Char) = CharToNat a6989586621679567359
type EnumFromThenTo (a1 :: Natural) (a2 :: Natural) (a3 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type EnumFromThenTo (a1 :: Natural) (a2 :: Natural) (a3 :: Natural) = Apply (Apply (Apply EnumFromThenTo_6989586621679610519Sym0 a1) a2) a3
type ShowsPrec _1 (n :: Natural) x 
Instance details

Defined in Text.Show.Singletons

type ShowsPrec _1 (n :: Natural) x = ShowsNat n x
type Apply (DivSym1 a6989586621679564295 :: TyFun Natural Natural -> Type) (a6989586621679564296 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply (DivSym1 a6989586621679564295 :: TyFun Natural Natural -> Type) (a6989586621679564296 :: Natural) = Div a6989586621679564295 a6989586621679564296
type Apply (ModSym1 a6989586621679564731 :: TyFun Natural Natural -> Type) (a6989586621679564732 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply (ModSym1 a6989586621679564731 :: TyFun Natural Natural -> Type) (a6989586621679564732 :: Natural) = Mod a6989586621679564731 a6989586621679564732
type Apply (QuotSym1 a6989586621679565336 :: TyFun Natural Natural -> Type) (a6989586621679565337 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply (QuotSym1 a6989586621679565336 :: TyFun Natural Natural -> Type) (a6989586621679565337 :: Natural) = Quot a6989586621679565336 a6989586621679565337
type Apply (RemSym1 a6989586621679565325 :: TyFun Natural Natural -> Type) (a6989586621679565326 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply (RemSym1 a6989586621679565325 :: TyFun Natural Natural -> Type) (a6989586621679565326 :: Natural) = Rem a6989586621679565325 a6989586621679565326
type Apply ((^@#@$$) a6989586621679553326 :: TyFun Natural Natural -> Type) (a6989586621679553327 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

type Apply ((^@#@$$) a6989586621679553326 :: TyFun Natural Natural -> Type) (a6989586621679553327 :: Natural) = a6989586621679553326 ^ a6989586621679553327
type Apply (ToEnumSym0 :: TyFun Natural k2 -> Type) (a6989586621679610409 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply (ToEnumSym0 :: TyFun Natural k2 -> Type) (a6989586621679610409 :: Natural) = ToEnum a6989586621679610409 :: k2
type Apply (FromEnumSym0 :: TyFun a Natural -> Type) (a6989586621679610412 :: a) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply (FromEnumSym0 :: TyFun a Natural -> Type) (a6989586621679610412 :: a) = FromEnum a6989586621679610412
type Apply ((!!@#@$$) a6989586621681126560 :: TyFun Natural a -> Type) (a6989586621681126561 :: Natural) 
Instance details

Defined in Data.List.NonEmpty.Singletons

type Apply ((!!@#@$$) a6989586621681126560 :: TyFun Natural a -> Type) (a6989586621681126561 :: Natural) = a6989586621681126560 !! a6989586621681126561
type Apply (FromInteger_6989586621680647427Sym0 :: TyFun Natural (Identity a) -> Type) (a6989586621680647431 :: Natural) 
Instance details

Defined in Data.Functor.Identity.Singletons

type Apply (FromInteger_6989586621680647427Sym0 :: TyFun Natural (Identity a) -> Type) (a6989586621680647431 :: Natural) = FromInteger_6989586621680647427 a6989586621680647431 :: Identity a
type Apply (ToEnum_6989586621680647211Sym0 :: TyFun Natural (Identity a) -> Type) (a6989586621680647215 :: Natural) 
Instance details

Defined in Data.Functor.Identity.Singletons

type Apply (ToEnum_6989586621680647211Sym0 :: TyFun Natural (Identity a) -> Type) (a6989586621680647215 :: Natural) = ToEnum_6989586621680647211 a6989586621680647215 :: Identity a
type Apply (ToEnum_6989586621680889806Sym0 :: TyFun Natural (First a) -> Type) (a6989586621680889812 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ToEnum_6989586621680889806Sym0 :: TyFun Natural (First a) -> Type) (a6989586621680889812 :: Natural) = ToEnum_6989586621680889806 a6989586621680889812 :: First a
type Apply (ToEnum_6989586621680890014Sym0 :: TyFun Natural (Last a) -> Type) (a6989586621680890020 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ToEnum_6989586621680890014Sym0 :: TyFun Natural (Last a) -> Type) (a6989586621680890020 :: Natural) = ToEnum_6989586621680890014 a6989586621680890020 :: Last a
type Apply (FromInteger_6989586621680889449Sym0 :: TyFun Natural (Max a) -> Type) (a6989586621680889455 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (FromInteger_6989586621680889449Sym0 :: TyFun Natural (Max a) -> Type) (a6989586621680889455 :: Natural) = FromInteger_6989586621680889449 a6989586621680889455 :: Max a
type Apply (ToEnum_6989586621680889287Sym0 :: TyFun Natural (Max a) -> Type) (a6989586621680889293 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ToEnum_6989586621680889287Sym0 :: TyFun Natural (Max a) -> Type) (a6989586621680889293 :: Natural) = ToEnum_6989586621680889287 a6989586621680889293 :: Max a
type Apply (FromInteger_6989586621680888684Sym0 :: TyFun Natural (Min a) -> Type) (a6989586621680888690 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (FromInteger_6989586621680888684Sym0 :: TyFun Natural (Min a) -> Type) (a6989586621680888690 :: Natural) = FromInteger_6989586621680888684 a6989586621680888690 :: Min a
type Apply (ToEnum_6989586621680888339Sym0 :: TyFun Natural (Min a) -> Type) (a6989586621680888345 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ToEnum_6989586621680888339Sym0 :: TyFun Natural (Min a) -> Type) (a6989586621680888345 :: Natural) = ToEnum_6989586621680888339 a6989586621680888345 :: Min a
type Apply (ToEnum_6989586621680890183Sym0 :: TyFun Natural (WrappedMonoid a) -> Type) (a6989586621680890189 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ToEnum_6989586621680890183Sym0 :: TyFun Natural (WrappedMonoid a) -> Type) (a6989586621680890189 :: Natural) = ToEnum_6989586621680890183 a6989586621680890189 :: WrappedMonoid a
type Apply (EftNatSym1 a6989586621679610380 :: TyFun Natural [Natural] -> Type) (a6989586621679610381 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply (EftNatSym1 a6989586621679610380 :: TyFun Natural [Natural] -> Type) (a6989586621679610381 :: Natural) = EftNat a6989586621679610380 a6989586621679610381
type Apply (EnumFromTo_6989586621679610503Sym1 a6989586621679610512 :: TyFun Natural [Natural] -> Type) (a6989586621679610513 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply (EnumFromTo_6989586621679610503Sym1 a6989586621679610512 :: TyFun Natural [Natural] -> Type) (a6989586621679610513 :: Natural) = EnumFromTo_6989586621679610503 a6989586621679610512 a6989586621679610513
type Apply (EfdtNatDnSym2 a6989586621679610288 a6989586621679610289 :: TyFun Natural [Natural] -> Type) (a6989586621679610290 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply (EfdtNatDnSym2 a6989586621679610288 a6989586621679610289 :: TyFun Natural [Natural] -> Type) (a6989586621679610290 :: Natural) = EfdtNatDn a6989586621679610288 a6989586621679610289 a6989586621679610290
type Apply (EfdtNatSym2 a6989586621679610362 a6989586621679610363 :: TyFun Natural [Natural] -> Type) (a6989586621679610364 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply (EfdtNatSym2 a6989586621679610362 a6989586621679610363 :: TyFun Natural [Natural] -> Type) (a6989586621679610364 :: Natural) = EfdtNat a6989586621679610362 a6989586621679610363 a6989586621679610364
type Apply (EfdtNatUpSym2 a6989586621679610325 a6989586621679610326 :: TyFun Natural [Natural] -> Type) (a6989586621679610327 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply (EfdtNatUpSym2 a6989586621679610325 a6989586621679610326 :: TyFun Natural [Natural] -> Type) (a6989586621679610327 :: Natural) = EfdtNatUp a6989586621679610325 a6989586621679610326 a6989586621679610327
type Apply (EnumFromThenTo_6989586621679610519Sym2 a6989586621679610531 a6989586621679610532 :: TyFun Natural [Natural] -> Type) (a6989586621679610533 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply (EnumFromThenTo_6989586621679610519Sym2 a6989586621679610531 a6989586621679610532 :: TyFun Natural [Natural] -> Type) (a6989586621679610533 :: Natural) = EnumFromThenTo_6989586621679610519 a6989586621679610531 a6989586621679610532 a6989586621679610533
type Apply (Let6989586621681302691LoopSym4 m6989586621681302314 a6989586621681302315 cnt06989586621681302689 f6989586621681302690 :: TyFun Natural (m6989586621681302314 [a6989586621681302315]) -> Type) (a6989586621681302692 :: Natural) 
Instance details

Defined in Control.Monad.Singletons

type Apply (Let6989586621681302691LoopSym4 m6989586621681302314 a6989586621681302315 cnt06989586621681302689 f6989586621681302690 :: TyFun Natural (m6989586621681302314 [a6989586621681302315]) -> Type) (a6989586621681302692 :: Natural) = Let6989586621681302691Loop m6989586621681302314 a6989586621681302315 cnt06989586621681302689 f6989586621681302690 a6989586621681302692
type Apply (Let6989586621681302673LoopSym4 m6989586621681302312 a6989586621681302313 cnt06989586621681302671 f6989586621681302672 :: TyFun Natural (m6989586621681302312 ()) -> Type) (a6989586621681302674 :: Natural) 
Instance details

Defined in Control.Monad.Singletons

type Apply (Let6989586621681302673LoopSym4 m6989586621681302312 a6989586621681302313 cnt06989586621681302671 f6989586621681302672 :: TyFun Natural (m6989586621681302312 ()) -> Type) (a6989586621681302674 :: Natural) = Let6989586621681302673Loop m6989586621681302312 a6989586621681302313 cnt06989586621681302671 f6989586621681302672 a6989586621681302674
type Apply ShowsPrec_6989586621680870199Sym0 (a6989586621680870207 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply ShowsPrec_6989586621680870199Sym0 (a6989586621680870207 :: Natural) = ShowsPrec_6989586621680870199Sym1 a6989586621680870207
type Apply ShowsPrec_6989586621680870220Sym0 (a6989586621680870228 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply ShowsPrec_6989586621680870220Sym0 (a6989586621680870228 :: Natural) = ShowsPrec_6989586621680870220Sym1 a6989586621680870228
type Apply ShowsPrec_6989586621680242786Sym0 (a6989586621680242794 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply ShowsPrec_6989586621680242786Sym0 (a6989586621680242794 :: Natural) = ShowsPrec_6989586621680242786Sym1 a6989586621680242794
type Apply ShowsPrec_6989586621680242761Sym0 (a6989586621680242773 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply ShowsPrec_6989586621680242761Sym0 (a6989586621680242773 :: Natural) = ShowsPrec_6989586621680242761Sym1 a6989586621680242773
type Apply EfdtNatDnSym0 (a6989586621679610288 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply EfdtNatDnSym0 (a6989586621679610288 :: Natural) = EfdtNatDnSym1 a6989586621679610288
type Apply EfdtNatSym0 (a6989586621679610362 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply EfdtNatSym0 (a6989586621679610362 :: Natural) = EfdtNatSym1 a6989586621679610362
type Apply EfdtNatUpSym0 (a6989586621679610325 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply EfdtNatUpSym0 (a6989586621679610325 :: Natural) = EfdtNatUpSym1 a6989586621679610325
type Apply EnumFromThenTo_6989586621679610519Sym0 (a6989586621679610531 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply EnumFromThenTo_6989586621679610519Sym0 (a6989586621679610531 :: Natural) = EnumFromThenTo_6989586621679610519Sym1 a6989586621679610531
type Apply DivSym0 (a6989586621679564295 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply DivSym0 (a6989586621679564295 :: Natural) = DivSym1 a6989586621679564295
type Apply ModSym0 (a6989586621679564731 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply ModSym0 (a6989586621679564731 :: Natural) = ModSym1 a6989586621679564731
type Apply QuotSym0 (a6989586621679565336 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply QuotSym0 (a6989586621679565336 :: Natural) = QuotSym1 a6989586621679565336
type Apply RemSym0 (a6989586621679565325 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply RemSym0 (a6989586621679565325 :: Natural) = RemSym1 a6989586621679565325
type Apply (^@#@$) (a6989586621679553326 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons.Internal

type Apply (^@#@$) (a6989586621679553326 :: Natural) = (^@#@$$) a6989586621679553326
type Apply DivModSym0 (a6989586621679565354 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply DivModSym0 (a6989586621679565354 :: Natural) = DivModSym1 a6989586621679565354
type Apply QuotRemSym0 (a6989586621679565347 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply QuotRemSym0 (a6989586621679565347 :: Natural) = QuotRemSym1 a6989586621679565347
type Apply EftNatSym0 (a6989586621679610380 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply EftNatSym0 (a6989586621679610380 :: Natural) = EftNatSym1 a6989586621679610380
type Apply EnumFromTo_6989586621679610503Sym0 (a6989586621679610512 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply EnumFromTo_6989586621679610503Sym0 (a6989586621679610512 :: Natural) = EnumFromTo_6989586621679610503Sym1 a6989586621679610512
type Apply ShowsPrec_6989586621680242615Sym0 (a6989586621680242623 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply ShowsPrec_6989586621680242615Sym0 (a6989586621680242623 :: Natural) = ShowsPrec_6989586621680242615Sym1 a6989586621680242623
type Apply ShowsPrec_6989586621680242741Sym0 (a6989586621680242751 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply ShowsPrec_6989586621680242741Sym0 (a6989586621680242751 :: Natural) = ShowsPrec_6989586621680242741Sym1 a6989586621680242751
type Apply ShowsCharPrecSym0 (a6989586621680235256 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply ShowsCharPrecSym0 (a6989586621680235256 :: Natural) = ShowsCharPrecSym1 a6989586621680235256
type Apply ShowsNatSym0 (a6989586621680233300 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply ShowsNatSym0 (a6989586621680233300 :: Natural) = ShowsNatSym1 a6989586621680233300
type Apply (ShowsPrec_6989586621680647477Sym0 :: TyFun Natural (Identity a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647485 :: Natural) 
Instance details

Defined in Data.Functor.Identity.Singletons

type Apply (ShowsPrec_6989586621680647477Sym0 :: TyFun Natural (Identity a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680647485 :: Natural) = ShowsPrec_6989586621680647477Sym1 a6989586621680647485 :: TyFun (Identity a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680305877Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680305885 :: Natural) 
Instance details

Defined in Data.Monoid.Singletons

type Apply (ShowsPrec_6989586621680305877Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680305885 :: Natural) = ShowsPrec_6989586621680305877Sym1 a6989586621680305885 :: TyFun (First a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680305922Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680305930 :: Natural) 
Instance details

Defined in Data.Monoid.Singletons

type Apply (ShowsPrec_6989586621680305922Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680305930 :: Natural) = ShowsPrec_6989586621680305922Sym1 a6989586621680305930 :: TyFun (Last a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680870340Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870348 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680870340Sym0 :: TyFun Natural (First a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870348 :: Natural) = ShowsPrec_6989586621680870340Sym1 a6989586621680870348 :: TyFun (First a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680870364Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870372 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680870364Sym0 :: TyFun Natural (Last a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870372 :: Natural) = ShowsPrec_6989586621680870364Sym1 a6989586621680870372 :: TyFun (Last a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680870316Sym0 :: TyFun Natural (Max a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870324 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680870316Sym0 :: TyFun Natural (Max a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870324 :: Natural) = ShowsPrec_6989586621680870316Sym1 a6989586621680870324 :: TyFun (Max a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680870292Sym0 :: TyFun Natural (Min a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870300 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680870292Sym0 :: TyFun Natural (Min a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870300 :: Natural) = ShowsPrec_6989586621680870292Sym1 a6989586621680870300 :: TyFun (Min a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680870388Sym0 :: TyFun Natural (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870396 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680870388Sym0 :: TyFun Natural (WrappedMonoid m ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870396 :: Natural) = ShowsPrec_6989586621680870388Sym1 a6989586621680870396 :: TyFun (WrappedMonoid m) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680870178Sym0 :: TyFun Natural (Dual a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870186 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680870178Sym0 :: TyFun Natural (Dual a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870186 :: Natural) = ShowsPrec_6989586621680870178Sym1 a6989586621680870186 :: TyFun (Dual a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680870268Sym0 :: TyFun Natural (Product a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870276 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680870268Sym0 :: TyFun Natural (Product a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870276 :: Natural) = ShowsPrec_6989586621680870268Sym1 a6989586621680870276 :: TyFun (Product a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680870244Sym0 :: TyFun Natural (Sum a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870252 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680870244Sym0 :: TyFun Natural (Sum a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680870252 :: Natural) = ShowsPrec_6989586621680870244Sym1 a6989586621680870252 :: TyFun (Sum a) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680242721Sym0 :: TyFun Natural (NonEmpty a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680242729 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680242721Sym0 :: TyFun Natural (NonEmpty a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680242729 :: Natural) = ShowsPrec_6989586621680242721Sym1 a6989586621680242729 :: TyFun (NonEmpty a) (Symbol ~> Symbol) -> Type
type Apply (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type) (a6989586621681126752 :: Natural) 
Instance details

Defined in Data.List.NonEmpty.Singletons

type Apply (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type) (a6989586621681126752 :: Natural) = SplitAtSym1 a6989586621681126752 :: TyFun (NonEmpty a) ([a], [a]) -> Type
type Apply (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) (a6989586621681126761 :: Natural) 
Instance details

Defined in Data.List.NonEmpty.Singletons

type Apply (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) (a6989586621681126761 :: Natural) = DropSym1 a6989586621681126761 :: TyFun (NonEmpty a) [a] -> Type
type Apply (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) (a6989586621681126770 :: Natural) 
Instance details

Defined in Data.List.NonEmpty.Singletons

type Apply (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) (a6989586621681126770 :: Natural) = TakeSym1 a6989586621681126770 :: TyFun (NonEmpty a) [a] -> Type
type Apply (ShowsPrec_6989586621680242644Sym0 :: TyFun Natural (Maybe a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680242654 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680242644Sym0 :: TyFun Natural (Maybe a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680242654 :: Natural) = ShowsPrec_6989586621680242644Sym1 a6989586621680242654 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type
type Apply (EfdtNatDnSym1 a6989586621679610288 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679610289 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply (EfdtNatDnSym1 a6989586621679610288 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679610289 :: Natural) = EfdtNatDnSym2 a6989586621679610288 a6989586621679610289
type Apply (EfdtNatSym1 a6989586621679610362 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679610363 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply (EfdtNatSym1 a6989586621679610362 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679610363 :: Natural) = EfdtNatSym2 a6989586621679610362 a6989586621679610363
type Apply (EfdtNatUpSym1 a6989586621679610325 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679610326 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply (EfdtNatUpSym1 a6989586621679610325 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679610326 :: Natural) = EfdtNatUpSym2 a6989586621679610325 a6989586621679610326
type Apply (EnumFromThenTo_6989586621679610519Sym1 a6989586621679610531 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679610532 :: Natural) 
Instance details

Defined in Data.Singletons.Base.Enum

type Apply (EnumFromThenTo_6989586621679610519Sym1 a6989586621679610531 :: TyFun Natural (Natural ~> [Natural]) -> Type) (a6989586621679610532 :: Natural) = EnumFromThenTo_6989586621679610519Sym2 a6989586621679610531 a6989586621679610532
type Apply (ShowsPrec_6989586621680212350Sym0 :: TyFun Natural ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212360 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680212350Sym0 :: TyFun Natural ([a] ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212360 :: Natural) = ShowsPrec_6989586621680212350Sym1 a6989586621680212360 :: TyFun [a] (Symbol ~> Symbol) -> Type
type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212304 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrecSym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212304 :: Natural) = ShowsPrecSym1 a6989586621680212304 :: TyFun a (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680212318Sym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212324 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680212318Sym0 :: TyFun Natural (a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212324 :: Natural) = ShowsPrec_6989586621680212318Sym1 a6989586621680212324 :: TyFun a (Symbol ~> Symbol) -> Type
type Apply (DivModSym1 a6989586621679565354 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679565355 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply (DivModSym1 a6989586621679565354 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679565355 :: Natural) = DivMod a6989586621679565354 a6989586621679565355
type Apply (QuotRemSym1 a6989586621679565347 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679565348 :: Natural) 
Instance details

Defined in GHC.TypeLits.Singletons

type Apply (QuotRemSym1 a6989586621679565347 :: TyFun Natural (Natural, Natural) -> Type) (a6989586621679565348 :: Natural) = QuotRem a6989586621679565347 a6989586621679565348
type Apply (ToEnum_6989586621680360309Sym0 :: TyFun Natural (Proxy s) -> Type) (a6989586621680360313 :: Natural) 
Instance details

Defined in Data.Proxy.Singletons

type Apply (ToEnum_6989586621680360309Sym0 :: TyFun Natural (Proxy s) -> Type) (a6989586621680360313 :: Natural) = ToEnum_6989586621680360309 a6989586621680360313 :: Proxy s
type Apply (ShowsPrec_6989586621680242690Sym0 :: TyFun Natural (Either a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680242700 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680242690Sym0 :: TyFun Natural (Either a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680242700 :: Natural) = ShowsPrec_6989586621680242690Sym1 a6989586621680242700 :: TyFun (Either a b) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680360233Sym0 :: TyFun Natural (Proxy s ~> (Symbol ~> Symbol)) -> Type) (a6989586621680360241 :: Natural) 
Instance details

Defined in Data.Proxy.Singletons

type Apply (ShowsPrec_6989586621680360233Sym0 :: TyFun Natural (Proxy s ~> (Symbol ~> Symbol)) -> Type) (a6989586621680360241 :: Natural) = ShowsPrec_6989586621680360233Sym1 a6989586621680360241 :: TyFun (Proxy s) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680889674Sym0 :: TyFun Natural (Arg a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680889682 :: Natural) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (ShowsPrec_6989586621680889674Sym0 :: TyFun Natural (Arg a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680889682 :: Natural) = ShowsPrec_6989586621680889674Sym1 a6989586621680889682 :: TyFun (Arg a b) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680212368Sym0 :: TyFun Natural ((a, b) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212374 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680212368Sym0 :: TyFun Natural ((a, b) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212374 :: Natural) = ShowsPrec_6989586621680212368Sym1 a6989586621680212374 :: TyFun (a, b) (Symbol ~> Symbol) -> Type
type Apply (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) (a6989586621681302669 :: Natural) 
Instance details

Defined in Control.Monad.Singletons

type Apply (ReplicateM_Sym0 :: TyFun Natural (m a ~> m ()) -> Type) (a6989586621681302669 :: Natural) = ReplicateM_Sym1 a6989586621681302669 :: TyFun (m a) (m ()) -> Type
type Apply (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) (a6989586621681302687 :: Natural) 
Instance details

Defined in Control.Monad.Singletons

type Apply (ReplicateMSym0 :: TyFun Natural (m a ~> m [a]) -> Type) (a6989586621681302687 :: Natural) = ReplicateMSym1 a6989586621681302687 :: TyFun (m a) (m [a]) -> Type
type Apply (ShowsPrec_6989586621680687253Sym0 :: TyFun Natural (Const a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680687261 :: Natural) 
Instance details

Defined in Data.Functor.Const.Singletons

type Apply (ShowsPrec_6989586621680687253Sym0 :: TyFun Natural (Const a b ~> (Symbol ~> Symbol)) -> Type) (a6989586621680687261 :: Natural) = ShowsPrec_6989586621680687253Sym1 a6989586621680687261 :: TyFun (Const a b) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680212383Sym0 :: TyFun Natural ((a, b, c) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212389 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680212383Sym0 :: TyFun Natural ((a, b, c) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212389 :: Natural) = ShowsPrec_6989586621680212383Sym1 a6989586621680212389 :: TyFun (a, b, c) (Symbol ~> Symbol) -> Type
type Apply (ShowsPrec_6989586621680212399Sym0 :: TyFun Natural ((a, b, c, d) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212405 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680212399Sym0 :: TyFun Natural ((a, b, c, d) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212405 :: Natural) = ShowsPrec_6989586621680212399Sym1 a6989586621680212405 :: TyFun (a, b, c, d) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621681302691LoopSym1 m2 :: TyFun Type (TyFun k (TyFun (m1 a1) (TyFun Natural (m1 [a1]) -> Type) -> Type) -> Type) -> Type) (a2 :: Type) 
Instance details

Defined in Control.Monad.Singletons

type Apply (Let6989586621681302691LoopSym1 m2 :: TyFun Type (TyFun k (TyFun (m1 a1) (TyFun Natural (m1 [a1]) -> Type) -> Type) -> Type) -> Type) (a2 :: Type) = Let6989586621681302691LoopSym2 m2 a2 :: TyFun k (TyFun (m1 a1) (TyFun Natural (m1 [a1]) -> Type) -> Type) -> Type
type Apply (ShowsPrec_6989586621680212416Sym0 :: TyFun Natural ((a, b, c, d, e) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212422 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680212416Sym0 :: TyFun Natural ((a, b, c, d, e) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212422 :: Natural) = ShowsPrec_6989586621680212416Sym1 a6989586621680212422 :: TyFun (a, b, c, d, e) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621681302691LoopSym2 m2 a2 :: TyFun k (TyFun (m1 a1) (TyFun Natural (m1 [a1]) -> Type) -> Type) -> Type) (cnt06989586621681302689 :: k) 
Instance details

Defined in Control.Monad.Singletons

type Apply (Let6989586621681302691LoopSym2 m2 a2 :: TyFun k (TyFun (m1 a1) (TyFun Natural (m1 [a1]) -> Type) -> Type) -> Type) (cnt06989586621681302689 :: k) = Let6989586621681302691LoopSym3 m2 a2 cnt06989586621681302689 :: TyFun (m1 a1) (TyFun Natural (m1 [a1]) -> Type) -> Type
type Apply (Let6989586621681302673LoopSym1 m2 :: TyFun k1 (TyFun k2 (TyFun (m1 a) (TyFun Natural (m1 ()) -> Type) -> Type) -> Type) -> Type) (a6989586621681302313 :: k1) 
Instance details

Defined in Control.Monad.Singletons

type Apply (Let6989586621681302673LoopSym1 m2 :: TyFun k1 (TyFun k2 (TyFun (m1 a) (TyFun Natural (m1 ()) -> Type) -> Type) -> Type) -> Type) (a6989586621681302313 :: k1) = Let6989586621681302673LoopSym2 m2 a6989586621681302313 :: TyFun k2 (TyFun (m1 a) (TyFun Natural (m1 ()) -> Type) -> Type) -> Type
type Apply (ShowsPrec_6989586621680212434Sym0 :: TyFun Natural ((a, b, c, d, e, f) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212440 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680212434Sym0 :: TyFun Natural ((a, b, c, d, e, f) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212440 :: Natural) = ShowsPrec_6989586621680212434Sym1 a6989586621680212440 :: TyFun (a, b, c, d, e, f) (Symbol ~> Symbol) -> Type
type Apply (Let6989586621681302673LoopSym2 m2 a6989586621681302313 :: TyFun k2 (TyFun (m1 a) (TyFun Natural (m1 ()) -> Type) -> Type) -> Type) (cnt06989586621681302671 :: k2) 
Instance details

Defined in Control.Monad.Singletons

type Apply (Let6989586621681302673LoopSym2 m2 a6989586621681302313 :: TyFun k2 (TyFun (m1 a) (TyFun Natural (m1 ()) -> Type) -> Type) -> Type) (cnt06989586621681302671 :: k2) = Let6989586621681302673LoopSym3 m2 a6989586621681302313 cnt06989586621681302671 :: TyFun (m1 a) (TyFun Natural (m1 ()) -> Type) -> Type
type Apply (ShowsPrec_6989586621680212453Sym0 :: TyFun Natural ((a, b, c, d, e, f, g) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212459 :: Natural) 
Instance details

Defined in Text.Show.Singletons

type Apply (ShowsPrec_6989586621680212453Sym0 :: TyFun Natural ((a, b, c, d, e, f, g) ~> (Symbol ~> Symbol)) -> Type) (a6989586621680212459 :: Natural) = ShowsPrec_6989586621680212453Sym1 a6989586621680212459 :: TyFun (a, b, c, d, e, f, g) (Symbol ~> Symbol) -> Type
type Apply (FromInteger_6989586621680687233Sym0 :: TyFun Natural (Const a b) -> Type) (a6989586621680687237 :: Natural) 
Instance details

Defined in Data.Functor.Const.Singletons

type Apply (FromInteger_6989586621680687233Sym0 :: TyFun Natural (Const a b) -> Type) (a6989586621680687237 :: Natural) = FromInteger_6989586621680687233 a6989586621680687237 :: Const a b
type Apply (ToEnum_6989586621680687136Sym0 :: TyFun Natural (Const a b) -> Type) (a6989586621680687140 :: Natural) 
Instance details

Defined in Data.Functor.Const.Singletons

type Apply (ToEnum_6989586621680687136Sym0 :: TyFun Natural (Const a b) -> Type) (a6989586621680687140 :: Natural) = ToEnum_6989586621680687136 a6989586621680687140 :: Const a b
type Apply (FromEnum_6989586621680647218Sym0 :: TyFun (Identity a) Natural -> Type) (a6989586621680647222 :: Identity a) 
Instance details

Defined in Data.Functor.Identity.Singletons

type Apply (FromEnum_6989586621680647218Sym0 :: TyFun (Identity a) Natural -> Type) (a6989586621680647222 :: Identity a) = FromEnum_6989586621680647218 a6989586621680647222
type Apply (Length_6989586621680648801Sym0 :: TyFun (Identity a) Natural -> Type) (a6989586621680648805 :: Identity a) 
Instance details

Defined in Data.Functor.Identity.Singletons

type Apply (Length_6989586621680648801Sym0 :: TyFun (Identity a) Natural -> Type) (a6989586621680648805 :: Identity a) = Length_6989586621680648801 a6989586621680648805
type Apply (FromEnum_6989586621680889815Sym0 :: TyFun (First a) Natural -> Type) (a6989586621680889819 :: First a) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (FromEnum_6989586621680889815Sym0 :: TyFun (First a) Natural -> Type) (a6989586621680889819 :: First a) = FromEnum_6989586621680889815 a6989586621680889819
type Apply (FromEnum_6989586621680890023Sym0 :: TyFun (Last a) Natural -> Type) (a6989586621680890027 :: Last a) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (FromEnum_6989586621680890023Sym0 :: TyFun (Last a) Natural -> Type) (a6989586621680890027 :: Last a) = FromEnum_6989586621680890023 a6989586621680890027
type Apply (FromEnum_6989586621680889296Sym0 :: TyFun (Max a) Natural -> Type) (a6989586621680889300 :: Max a) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (FromEnum_6989586621680889296Sym0 :: TyFun (Max a) Natural -> Type) (a6989586621680889300 :: Max a) = FromEnum_6989586621680889296 a6989586621680889300
type Apply (FromEnum_6989586621680888348Sym0 :: TyFun (Min a) Natural -> Type) (a6989586621680888352 :: Min a) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (FromEnum_6989586621680888348Sym0 :: TyFun (Min a) Natural -> Type) (a6989586621680888352 :: Min a) = FromEnum_6989586621680888348 a6989586621680888352
type Apply (FromEnum_6989586621680890192Sym0 :: TyFun (WrappedMonoid a) Natural -> Type) (a6989586621680890196 :: WrappedMonoid a) 
Instance details

Defined in Data.Semigroup.Singletons

type Apply (FromEnum_6989586621680890192Sym0 :: TyFun (WrappedMonoid a) Natural -> Type) (a6989586621680890196 :: WrappedMonoid a) = FromEnum_6989586621680890192 a6989586621680890196
type Apply (Length_6989586621680395427Sym0 :: TyFun (Dual a) Natural -> Type) (a6989586621680395431 :: Dual a) 
Instance details

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680395427Sym0 :: TyFun (Dual a) Natural -> Type) (a6989586621680395431 :: Dual a) = Length_6989586621680395427 a6989586621680395431
type Apply (Length_6989586621680395777Sym0 :: TyFun (Product a) Natural -> Type) (a6989586621680395781 :: Product a) 
Instance details

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680395777Sym0 :: TyFun (Product a) Natural -> Type) (a6989586621680395781 :: Product a) = Length_6989586621680395777 a6989586621680395781
type Apply (Length_6989586621680395602Sym0 :: TyFun (Sum a) Natural -> Type) (a6989586621680395606 :: Sum a) 
Instance details

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680395602Sym0 :: TyFun (Sum a) Natural -> Type) (a6989586621680395606 :: Sum a) = Length_6989586621680395602 a6989586621680395606
type Apply (LengthSym0 :: TyFun (NonEmpty a) Natural -> Type) (a6989586621681126985 :: NonEmpty a) 
Instance details

Defined in Data.List.NonEmpty.Singletons

type Apply (LengthSym0 :: TyFun (NonEmpty a) Natural -> Type) (a6989586621681126985 :: NonEmpty a) = Length a6989586621681126985
type Apply (Length_6989586621680395018Sym0 :: TyFun [a] Natural -> Type) (a6989586621680395024 :: [a]) 
Instance details

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680395018Sym0 :: TyFun [a] Natural -> Type) (a6989586621680395024 :: [a]) = Length_6989586621680395018 a6989586621680395024
type Apply (LengthSym0 :: TyFun (t a) Natural -> Type) (a6989586621680394597 :: t a) 
Instance details

Defined in Data.Foldable.Singletons

type Apply (LengthSym0 :: TyFun (t a) Natural -> Type) (a6989586621680394597 :: t a) = Length a6989586621680394597
type Apply (Length_6989586621680394782Sym0 :: TyFun (t a) Natural -> Type) (a6989586621680394788 :: t a) 
Instance details

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680394782Sym0 :: TyFun (t a) Natural -> Type) (a6989586621680394788 :: t a) = Length_6989586621680394782 a6989586621680394788
type Apply ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type) (a6989586621681126560 :: NonEmpty a) 
Instance details

Defined in Data.List.NonEmpty.Singletons

type Apply ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type) (a6989586621681126560 :: NonEmpty a) = (!!@#@$$) a6989586621681126560
type Apply (Let6989586621681302691LoopSym3 m6989586621681302314 a6989586621681302315 cnt06989586621681302689 :: TyFun (m6989586621681302314 a6989586621681302315) (TyFun Natural (m6989586621681302314 [a6989586621681302315]) -> Type) -> Type) (f6989586621681302690 :: m6989586621681302314 a6989586621681302315) 
Instance details

Defined in Control.Monad.Singletons

type Apply (Let6989586621681302691LoopSym3 m6989586621681302314 a6989586621681302315 cnt06989586621681302689 :: TyFun (m6989586621681302314 a6989586621681302315) (TyFun Natural (m6989586621681302314 [a6989586621681302315]) -> Type) -> Type) (f6989586621681302690 :: m6989586621681302314 a6989586621681302315) = Let6989586621681302691LoopSym4 m6989586621681302314 a6989586621681302315 cnt06989586621681302689 f6989586621681302690
type Apply (Let6989586621681302673LoopSym3 m6989586621681302312 a6989586621681302313 cnt06989586621681302671 :: TyFun (m6989586621681302312 a) (TyFun Natural (m6989586621681302312 ()) -> Type) -> Type) (f6989586621681302672 :: m6989586621681302312 a) 
Instance details

Defined in Control.Monad.Singletons

type Apply (Let6989586621681302673LoopSym3 m6989586621681302312 a6989586621681302313 cnt06989586621681302671 :: TyFun (m6989586621681302312 a) (TyFun Natural (m6989586621681302312 ()) -> Type) -> Type) (f6989586621681302672 :: m6989586621681302312 a) = Let6989586621681302673LoopSym4 m6989586621681302312 a6989586621681302313 cnt06989586621681302671 f6989586621681302672
type Apply (Length_6989586621680395200Sym0 :: TyFun (Either a1 a2) Natural -> Type) (a6989586621680395204 :: Either a1 a2) 
Instance details

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680395200Sym0 :: TyFun (Either a1 a2) Natural -> Type) (a6989586621680395204 :: Either a1 a2) = Length_6989586621680395200 a6989586621680395204
type Apply (Length_6989586621680395274Sym0 :: TyFun (Proxy a) Natural -> Type) (a6989586621680395278 :: Proxy a) 
Instance details

Defined in Data.Foldable.Singletons

type Apply (Length_6989586621680395274Sym0 :: TyFun (Proxy a) Natural -> Type) (a6989586621680395278 :: Proxy a) = Length_6989586621680395274 a6989586621680395278
type Apply (FromEnum_6989586621680360303Sym0 :: TyFun (Proxy s) Natural -> Type) (a6989586621680360307 :: Proxy s) 
Instance details

Defined in Data.Proxy.Singletons

type Apply (FromEnum_6989586621680360303Sym0 :: TyFun (Proxy s) Natural -> Type) (a6989586621680360307 :: Proxy s) = FromEnum_6989586621680360303 a6989586621680360307
type Apply (Let6989586621681302691LoopSym0 :: TyFun (Type -> Type) (TyFun Type (TyFun k (TyFun (m1 a6989586621681302315) (TyFun Natural (m1 [a6989586621681302315]) -> Type) -> Type) -> Type) -> Type) -> Type) (m2 :: Type -> Type) 
Instance details

Defined in Control.Monad.Singletons

type Apply (Let6989586621681302691LoopSym0 :: TyFun (Type -> Type) (TyFun Type (TyFun k (TyFun (m1 a6989586621681302315) (TyFun Natural (m1 [a6989586621681302315]) -> Type) -> Type) -> Type) -> Type) -> Type) (m2 :: Type -> Type) = Let6989586621681302691LoopSym1 m2 :: TyFun Type (TyFun k (TyFun (m1 a6989586621681302315) (TyFun Natural (m1 [a6989586621681302315]) -> Type) -> Type) -> Type) -> Type
type Apply (Let6989586621681302673LoopSym0 :: TyFun (Type -> Type) (TyFun k1 (TyFun k2 (TyFun (m1 a) (TyFun Natural (m1 ()) -> Type) -> Type) -> Type) -> Type) -> Type) (m2 :: Type -> Type) 
Instance details

Defined in Control.Monad.Singletons

type Apply (Let6989586621681302673LoopSym0 :: TyFun (Type -> Type) (TyFun k1 (TyFun k2 (TyFun (m1 a) (TyFun Natural (m1 ()) -> Type) -> Type) -> Type) -> Type) -> Type) (m2 :: Type -> Type) = Let6989586621681302673LoopSym1 m2 :: TyFun k1 (TyFun k2 (TyFun (m1 a) (TyFun Natural (m1 ()) -> Type) -> Type) -> Type) -> Type
type Apply (FromEnum_6989586621680687143Sym0 :: TyFun (Const a b) Natural -> Type) (a6989586621680687147 :: Const a b) 
Instance details

Defined in Data.Functor.Const.Singletons

type Apply (FromEnum_6989586621680687143Sym0 :: TyFun (Const a b) Natural -> Type) (a6989586621680687147 :: Const a b) = FromEnum_6989586621680687143 a6989586621680687147

type NaturalK = Natural Source #