blob: 3482d54ba4d6236ca0e3c6fa7c2767f5b1eb17d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
type family (GHC.TypeLits.*) (a :: GHC.Types.Nat)
(b :: GHC.Types.Nat)
Kind: GHC.Types.Nat -> GHC.Types.Nat -> GHC.Types.Nat
type family (GHC.TypeLits.+) (a :: GHC.Types.Nat)
(b :: GHC.Types.Nat)
Kind: GHC.Types.Nat -> GHC.Types.Nat -> GHC.Types.Nat
type family (GHC.TypeLits.-) (a :: GHC.Types.Nat)
(b :: GHC.Types.Nat)
Kind: GHC.Types.Nat -> GHC.Types.Nat -> GHC.Types.Nat
type (GHC.TypeLits.<=) (x :: GHC.Types.Nat) (y :: GHC.Types.Nat) =
(x GHC.TypeLits.<=? y) ~ 'True
type family (GHC.TypeLits.<=?) (a :: GHC.Types.Nat)
(b :: GHC.Types.Nat)
Kind: GHC.Types.Nat -> GHC.Types.Nat -> Bool
type family GHC.TypeLits.CmpNat (a :: GHC.Types.Nat)
(b :: GHC.Types.Nat)
Kind: GHC.Types.Nat -> GHC.Types.Nat -> Ordering
type family GHC.TypeLits.CmpSymbol (a :: GHC.Types.Symbol)
(b :: GHC.Types.Symbol)
Kind: GHC.Types.Symbol -> GHC.Types.Symbol -> Ordering
data GHC.TypeLits.ErrorMessage where
GHC.TypeLits.Text :: GHC.Types.Symbol -> GHC.TypeLits.ErrorMessage
GHC.TypeLits.ShowType :: t -> GHC.TypeLits.ErrorMessage
(GHC.TypeLits.:<>:) :: GHC.TypeLits.ErrorMessage
-> GHC.TypeLits.ErrorMessage -> GHC.TypeLits.ErrorMessage
(GHC.TypeLits.:$$:) :: GHC.TypeLits.ErrorMessage
-> GHC.TypeLits.ErrorMessage -> GHC.TypeLits.ErrorMessage
class GHC.TypeLits.KnownNat (n :: GHC.Types.Nat) where
GHC.TypeLits.natSing :: GHC.TypeLits.SNat n
{-# MINIMAL natSing #-}
class GHC.TypeLits.KnownSymbol (n :: GHC.Types.Symbol) where
GHC.TypeLits.symbolSing :: GHC.TypeLits.SSymbol n
{-# MINIMAL symbolSing #-}
data GHC.TypeLits.SomeNat where
GHC.TypeLits.SomeNat :: GHC.TypeLits.KnownNat n =>
(Data.Proxy.Proxy n) -> GHC.TypeLits.SomeNat
data GHC.TypeLits.SomeSymbol where
GHC.TypeLits.SomeSymbol :: GHC.TypeLits.KnownSymbol n =>
(Data.Proxy.Proxy n) -> GHC.TypeLits.SomeSymbol
type family GHC.TypeLits.TypeError (a :: GHC.TypeLits.ErrorMessage)
Kind: forall b1. GHC.TypeLits.ErrorMessage -> b1
type family (GHC.TypeLits.^) (a :: GHC.Types.Nat)
(b :: GHC.Types.Nat)
Kind: GHC.Types.Nat -> GHC.Types.Nat -> GHC.Types.Nat
GHC.TypeLits.natVal ::
GHC.TypeLits.KnownNat n => proxy n -> Integer
GHC.TypeLits.natVal' ::
GHC.TypeLits.KnownNat n => GHC.Prim.Proxy# n -> Integer
GHC.TypeLits.sameNat ::
(GHC.TypeLits.KnownNat a, GHC.TypeLits.KnownNat b) =>
Data.Proxy.Proxy a
-> Data.Proxy.Proxy b -> Maybe (a Data.Type.Equality.:~: b)
GHC.TypeLits.sameSymbol ::
(GHC.TypeLits.KnownSymbol a, GHC.TypeLits.KnownSymbol b) =>
Data.Proxy.Proxy a
-> Data.Proxy.Proxy b -> Maybe (a Data.Type.Equality.:~: b)
GHC.TypeLits.someNatVal :: Integer -> Maybe GHC.TypeLits.SomeNat
GHC.TypeLits.someSymbolVal :: String -> GHC.TypeLits.SomeSymbol
GHC.TypeLits.symbolVal ::
GHC.TypeLits.KnownSymbol n => proxy n -> String
GHC.TypeLits.symbolVal' ::
GHC.TypeLits.KnownSymbol n => GHC.Prim.Proxy# n -> String
data GHC.Types.Nat
data GHC.Types.Symbol
|
