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